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-chnl10_11_pb.cnf.cr.opb
MD5SUM	49b1c3edd36dd2ed7e6daee563a7bd24
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	12
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.008998
Number of variables	220
Total number of constraints	42
Number of constraints which are clauses	22
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	11
Trace number 38210

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 04:35:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26272 boxname=wulflinc6 idbench=2 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  49b1c3edd36dd2ed7e6daee563a7bd24  /oldhome/oroussel/tmp/wulflinc6/normalized-chnl10_11_pb.cnf.cr.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl10_11_pb.cnf.cr.opb
IDLAUNCH: 26272
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        779020 kB
Buffers:         32956 kB
Cached:         201568 kB
SwapCached:        552 kB
Active:          43724 kB
Inactive:       192948 kB
HighTotal:      131008 kB
HighFree:        48888 kB
LowTotal:       903652 kB
LowFree:        730132 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13188 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 04:55:37 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 26272 7 1200.43 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.07 0.02 0.00 1/54 12174
Raw data (stat): 12174 (runsolver) R 12173 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846950068 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0008 s]
Raw data (loadavg): 0.21 0.05 0.01 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 278 0 0 0 998 0 0 0 25 0 1 0 846950068 6823936 252 4294967295 134512640 134581267 3221224576 3221223504 134560024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 252 566 18 0 1648 0
vsize: 6664
[startup+20.0012 s]
Raw data (loadavg): 0.33 0.08 0.02 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 280 0 0 0 1998 0 0 0 25 0 1 0 846950068 6823936 254 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 254 566 18 0 1648 0
vsize: 6664
[startup+30.0024 s]
Raw data (loadavg): 0.44 0.11 0.03 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 283 0 0 0 2999 0 0 0 25 0 1 0 846950068 6823936 257 4294967295 134512640 134581267 3221224576 3221223228 1075288695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 257 566 18 0 1648 0
vsize: 6664
[startup+40.0025 s]
Raw data (loadavg): 0.52 0.14 0.04 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 284 0 0 0 3999 0 0 0 25 0 1 0 846950068 6823936 258 4294967295 134512640 134581267 3221224576 3221223552 134560643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 258 566 18 0 1648 0
vsize: 6664
[startup+50.0037 s]
Raw data (loadavg): 0.60 0.16 0.05 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 284 0 0 0 5000 0 0 0 25 0 1 0 846950068 6823936 258 4294967295 134512640 134581267 3221224576 3221223456 134520304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 258 566 18 0 1648 0
vsize: 6664
[startup+60.0041 s]
Raw data (loadavg): 0.66 0.19 0.06 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 285 0 0 0 6000 0 0 0 25 0 1 0 846950068 6823936 259 4294967295 134512640 134581267 3221224576 3221223536 1074910621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 259 566 18 0 1648 0
vsize: 6664
[startup+70.005 s]
Raw data (loadavg): 0.71 0.22 0.07 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 285 0 0 0 7000 0 0 0 25 0 1 0 846950068 6823936 259 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 259 566 18 0 1648 0
vsize: 6664
[startup+80.0061 s]
Raw data (loadavg): 0.75 0.24 0.08 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 285 0 0 0 8001 0 0 0 25 0 1 0 846950068 6823936 259 4294967295 134512640 134581267 3221224576 3221223264 1075289396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 259 566 18 0 1648 0
vsize: 6664
[startup+90.0063 s]
Raw data (loadavg): 0.79 0.27 0.09 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 286 0 0 0 9001 0 0 0 25 0 1 0 846950068 6823936 260 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 260 566 18 0 1648 0
vsize: 6664
[startup+100.006 s]
Raw data (loadavg): 0.82 0.29 0.10 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 286 0 0 0 10002 0 0 0 25 0 1 0 846950068 6823936 260 4294967295 134512640 134581267 3221224576 3221223568 134561096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 260 566 18 0 1648 0
vsize: 6664
[startup+110.007 s]
Raw data (loadavg): 0.85 0.31 0.11 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 287 0 0 0 11002 0 0 0 25 0 1 0 846950068 6823936 261 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 261 566 18 0 1648 0
vsize: 6664
[startup+120.008 s]
Raw data (loadavg): 0.87 0.34 0.12 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 287 0 0 0 12002 0 0 0 25 0 1 0 846950068 6823936 261 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 261 566 18 0 1648 0
vsize: 6664
[startup+130.009 s]
Raw data (loadavg): 0.89 0.36 0.13 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 287 0 0 0 13003 1 0 0 25 0 1 0 846950068 6823936 261 4294967295 134512640 134581267 3221224576 3221223556 134561056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 261 566 18 0 1648 0
vsize: 6664
[startup+140.009 s]
Raw data (loadavg): 0.91 0.38 0.14 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 287 0 0 0 14003 1 0 0 25 0 1 0 846950068 6823936 261 4294967295 134512640 134581267 3221224576 3221223440 134560340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 261 566 18 0 1648 0
vsize: 6664
[startup+150.01 s]
Raw data (loadavg): 0.92 0.40 0.15 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 287 0 0 0 15004 1 0 0 25 0 1 0 846950068 6823936 261 4294967295 134512640 134581267 3221224576 3221223344 134566351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 261 566 18 0 1648 0
vsize: 6664
[startup+160.01 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 288 0 0 0 16004 1 0 0 25 0 1 0 846950068 6823936 262 4294967295 134512640 134581267 3221224576 3221223520 134559410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 262 566 18 0 1648 0
vsize: 6664
[startup+170.01 s]
Raw data (loadavg): 0.94 0.44 0.16 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 288 0 0 0 17004 1 0 0 25 0 1 0 846950068 6823936 262 4294967295 134512640 134581267 3221224576 3221223648 134562529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 262 566 18 0 1648 0
vsize: 6664
[startup+180.011 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 290 0 0 0 18005 1 0 0 25 0 1 0 846950068 6823936 264 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 264 566 18 0 1648 0
vsize: 6664
[startup+190.012 s]
Raw data (loadavg): 0.96 0.47 0.18 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 290 0 0 0 19005 1 0 0 25 0 1 0 846950068 6823936 264 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 264 566 18 0 1648 0
vsize: 6664
[startup+200.012 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 291 0 0 0 20005 1 0 0 25 0 1 0 846950068 6823936 265 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 265 566 18 0 1648 0
vsize: 6664
[startup+210.012 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 291 0 0 0 21006 1 0 0 25 0 1 0 846950068 6823936 265 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 265 566 18 0 1648 0
vsize: 6664
[startup+220.013 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 292 0 0 0 22006 1 0 0 25 0 1 0 846950068 6823936 266 4294967295 134512640 134581267 3221224576 3221223504 134520021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 266 566 18 0 1648 0
vsize: 6664
[startup+230.013 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 292 0 0 0 23007 1 0 0 25 0 1 0 846950068 6823936 266 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 266 566 18 0 1648 0
vsize: 6664
[startup+240.014 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 292 0 0 0 24007 1 0 0 25 0 1 0 846950068 6823936 266 4294967295 134512640 134581267 3221224576 3221223256 1075289627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 266 566 18 0 1648 0
vsize: 6664
[startup+250.015 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 293 0 0 0 25007 1 0 0 25 0 1 0 846950068 6823936 267 4294967295 134512640 134581267 3221224576 3221223520 134558806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+260.016 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 293 0 0 0 26008 1 0 0 25 0 1 0 846950068 6823936 267 4294967295 134512640 134581267 3221224576 3221223472 134517521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+270.016 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 293 0 0 0 27008 1 0 0 25 0 1 0 846950068 6823936 267 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 267 566 18 0 1648 0
vsize: 6664
[startup+280.016 s]
Raw data (loadavg): 0.99 0.61 0.25 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 294 0 0 0 28008 1 0 0 25 0 1 0 846950068 6823936 268 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+290.017 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 294 0 0 0 29009 1 0 0 25 0 1 0 846950068 6823936 268 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+300.018 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 294 0 0 0 30009 1 0 0 25 0 1 0 846950068 6823936 268 4294967295 134512640 134581267 3221224576 3221223444 1075285623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+310.019 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 294 0 0 0 31010 1 0 0 25 0 1 0 846950068 6823936 268 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 268 566 18 0 1648 0
vsize: 6664
[startup+320.02 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 295 0 0 0 32010 1 0 0 25 0 1 0 846950068 6823936 269 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 269 566 18 0 1648 0
vsize: 6664
[startup+330.02 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 295 0 0 0 33010 1 0 0 25 0 1 0 846950068 6823936 269 4294967295 134512640 134581267 3221224576 3221223440 134560306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 269 566 18 0 1648 0
vsize: 6664
[startup+340.02 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 295 0 0 0 34010 1 0 0 25 0 1 0 846950068 6823936 269 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 269 566 18 0 1648 0
vsize: 6664
[startup+350.021 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 297 0 0 0 35011 1 0 0 25 0 1 0 846950068 6823936 271 4294967295 134512640 134581267 3221224576 3221223440 134560427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 271 566 18 0 1648 0
vsize: 6664
[startup+360.022 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 297 0 0 0 36011 1 0 0 25 0 1 0 846950068 6823936 271 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 271 566 18 0 1648 0
vsize: 6664
[startup+370.022 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 297 0 0 0 37011 1 0 0 25 0 1 0 846950068 6823936 271 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 271 566 18 0 1648 0
vsize: 6664
[startup+380.024 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 297 0 0 0 38012 1 0 0 25 0 1 0 846950068 6823936 271 4294967295 134512640 134581267 3221224576 3221223456 134520212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 271 566 18 0 1648 0
vsize: 6664
[startup+390.024 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 297 0 0 0 39012 1 0 0 25 0 1 0 846950068 6823936 271 4294967295 134512640 134581267 3221224576 3221223504 134520039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 271 566 18 0 1648 0
vsize: 6664
[startup+400.024 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 298 0 0 0 40012 2 0 0 25 0 1 0 846950068 6823936 272 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 272 566 18 0 1648 0
vsize: 6664
[startup+410.025 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 300 0 0 0 41013 2 0 0 25 0 1 0 846950068 6823936 274 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+420.026 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 300 0 0 0 42013 2 0 0 25 0 1 0 846950068 6823936 274 4294967295 134512640 134581267 3221224576 3221223568 134561076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+430.027 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 300 0 0 0 43013 2 0 0 25 0 1 0 846950068 6823936 274 4294967295 134512640 134581267 3221224576 3221223612 134560148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+440.028 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 300 0 0 0 44014 2 0 0 25 0 1 0 846950068 6823936 274 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+450.03 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 300 0 0 0 45014 2 0 0 25 0 1 0 846950068 6823936 274 4294967295 134512640 134581267 3221224576 3221223200 134566336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 274 566 18 0 1648 0
vsize: 6664
[startup+460.031 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 302 0 0 0 46015 2 0 0 25 0 1 0 846950068 6823936 276 4294967295 134512640 134581267 3221224576 3221223520 134558884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 276 566 18 0 1648 0
vsize: 6664
[startup+470.032 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 303 0 0 0 47015 2 0 0 25 0 1 0 846950068 6823936 277 4294967295 134512640 134581267 3221224576 3221223568 134560825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 277 566 18 0 1648 0
vsize: 6664
[startup+480.033 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 303 0 0 0 48016 2 0 0 25 0 1 0 846950068 6823936 277 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 277 566 18 0 1648 0
vsize: 6664
[startup+490.034 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 303 0 0 0 49016 2 0 0 25 0 1 0 846950068 6823936 277 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 277 566 18 0 1648 0
vsize: 6664
[startup+500.035 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 303 0 0 0 50016 2 0 0 25 0 1 0 846950068 6823936 277 4294967295 134512640 134581267 3221224576 3221223620 134556351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 277 566 18 0 1648 0
vsize: 6664
[startup+510.036 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 303 0 0 0 51017 2 0 0 25 0 1 0 846950068 6823936 277 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 277 566 18 0 1648 0
vsize: 6664
[startup+520.038 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 303 0 0 0 52017 2 0 0 25 0 1 0 846950068 6823936 277 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 277 566 18 0 1648 0
vsize: 6664
[startup+530.039 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 303 0 0 0 53018 2 0 0 25 0 1 0 846950068 6823936 277 4294967295 134512640 134581267 3221224576 3221223520 134558762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 277 566 18 0 1648 0
vsize: 6664
[startup+540.041 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 304 0 0 0 54018 2 0 0 25 0 1 0 846950068 6823936 278 4294967295 134512640 134581267 3221224576 3221223456 134560360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+550.041 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 305 0 0 0 55018 2 0 0 25 0 1 0 846950068 6823936 279 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 279 566 18 0 1648 0
vsize: 6664
[startup+560.042 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 306 0 0 0 56019 2 0 0 25 0 1 0 846950068 6823936 280 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 280 566 18 0 1648 0
vsize: 6664
[startup+570.044 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 306 0 0 0 57019 2 0 0 25 0 1 0 846950068 6823936 280 4294967295 134512640 134581267 3221224576 3221223568 134561027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 280 566 18 0 1648 0
vsize: 6664
[startup+580.044 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 306 0 0 0 58020 2 0 0 25 0 1 0 846950068 6823936 280 4294967295 134512640 134581267 3221224576 3221223404 1075285165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 280 566 18 0 1648 0
vsize: 6664
[startup+590.046 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 59020 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223456 134520448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+600.047 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 60021 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223456 134560297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+610.048 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 61021 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223612 134565053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+620.048 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 62021 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223520 134558834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+630.048 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 63022 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+640.048 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 64022 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+650.047 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 65022 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223456 134560198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+660.048 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 66023 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223264 1075288614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+670.048 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 67023 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223456 134520271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+680.047 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 68023 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223456 134520222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+690.046 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 69023 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+700.046 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 70024 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223504 134519880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+710.046 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 71024 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223368 1075288805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+720.046 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 72024 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223504 134520099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+730.045 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 73025 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223504 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+740.045 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 74025 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223504 134519809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+750.045 s]
Raw data (loadavg): 1.15 0.94 0.54 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 75025 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223368 1075288574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+760.045 s]
Raw data (loadavg): 1.12 0.94 0.55 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 76026 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223568 134561096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+770.045 s]
Raw data (loadavg): 1.10 0.94 0.55 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 77026 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223444 1075289647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+780.046 s]
Raw data (loadavg): 1.09 0.94 0.55 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 78026 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+790.045 s]
Raw data (loadavg): 1.07 0.94 0.56 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 79027 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223548 134554608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+800.046 s]
Raw data (loadavg): 1.06 0.95 0.56 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 80027 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+810.046 s]
Raw data (loadavg): 1.05 0.95 0.57 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 81027 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223228 1075288760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+820.046 s]
Raw data (loadavg): 1.04 0.95 0.57 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 82028 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223488 134531352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+830.045 s]
Raw data (loadavg): 1.04 0.95 0.57 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 83028 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223456 134520328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+840.046 s]
Raw data (loadavg): 1.03 0.95 0.58 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 84028 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+850.045 s]
Raw data (loadavg): 1.03 0.95 0.58 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 85028 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223612 134560148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+860.045 s]
Raw data (loadavg): 1.02 0.95 0.58 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 86029 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223480 134560258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+870.045 s]
Raw data (loadavg): 1.02 0.95 0.59 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 87029 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+880.045 s]
Raw data (loadavg): 1.01 0.95 0.59 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 88029 2 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223292 1075288438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+890.044 s]
Raw data (loadavg): 1.01 0.95 0.60 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 89030 3 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223504 134519817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+900.044 s]
Raw data (loadavg): 1.01 0.95 0.60 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 90030 3 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223568 134560926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+910.044 s]
Raw data (loadavg): 1.01 0.96 0.60 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 91030 3 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223368 1075285796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+920.043 s]
Raw data (loadavg): 1.01 0.96 0.61 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 307 0 0 0 92030 3 0 0 25 0 1 0 846950068 6942720 281 4294967295 134512640 134581267 3221224576 3221223520 134558875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 281 566 18 0 1677 0
vsize: 6780
[startup+930.044 s]
Raw data (loadavg): 1.00 0.96 0.61 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 93030 3 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+940.043 s]
Raw data (loadavg): 1.00 0.96 0.62 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 94031 3 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223456 134520222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+950.043 s]
Raw data (loadavg): 1.00 0.96 0.62 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 95031 3 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+960.043 s]
Raw data (loadavg): 1.00 0.96 0.62 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 96031 3 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223520 134558878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+970.043 s]
Raw data (loadavg): 1.00 0.96 0.63 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 97031 3 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+980.043 s]
Raw data (loadavg): 1.00 0.96 0.63 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 98032 3 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223456 134520258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+990.044 s]
Raw data (loadavg): 1.00 0.96 0.64 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 99032 3 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223568 134560794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.96 0.64 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 100032 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223440 134560345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.64 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 101033 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.64 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 102033 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.65 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 103033 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223548 134554668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.65 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 104033 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.65 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 105034 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223104 134566341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.66 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 106034 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223536 134554618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.66 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 107034 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223568 134560619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.66 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 108035 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223508 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 109035 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223488 134531400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 110035 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 111035 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223264 1075288736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 112036 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223360 1075291137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 113036 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223456 134520439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 114036 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223472 134517824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 115037 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223304 1075288187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 116037 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 117037 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223368 1075288408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 118038 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 119038 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 12174
Raw data (stat): 12174 (Pueblo-v2) R 12173 25568 25567 0 -1 0 309 0 0 0 120038 4 0 0 25 0 1 0 846950068 6942720 283 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1695 283 566 18 0 1677 0
vsize: 6780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 0.70 1/54 12174
Raw data (stat): 12174 (Pueblo-v2) Z 12173 25568 25567 0 -1 1036 309 0 0 0 120038 4 0 0 25 0 1 0 846950068 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.04
CPU time (s): 1200.43
CPU user time (s): 1200.39
CPU system time (s): 0.045993
CPU usage (%): 100.032
Max. virtual memory (Kb): 6780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####