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-chnl50_51_pb.cnf.cr.opb
MD5SUM	00bdc6bb9bafd4b1100d8bfa4f886626
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	52
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.156976
Number of variables	5100
Total number of constraints	202
Number of constraints which are clauses	102
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	51
Trace number 38258

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 05:36:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26290 boxname=wulflinc6 idbench=20 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  00bdc6bb9bafd4b1100d8bfa4f886626  /oldhome/oroussel/tmp/wulflinc6/normalized-chnl50_51_pb.cnf.cr.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl50_51_pb.cnf.cr.opb
IDLAUNCH: 26290
/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:        778972 kB
Buffers:         33004 kB
Cached:         201860 kB
SwapCached:        552 kB
Active:          55488 kB
Inactive:       181484 kB
HighTotal:      131008 kB
HighFree:        48664 kB
LowTotal:       903652 kB
LowFree:        730308 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            12968 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 05:56:06 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 26290 7 1200.42 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.84 0.94 0.90 1/54 12507
Raw data (stat): 12507 (runsolver) R 12506 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847313024 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.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 883 0 0 0 997 1 0 0 25 0 1 0 847313024 9510912 857 4294967295 134512640 134581267 3221224576 3221223680 134562887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2322 857 566 18 0 2304 0
vsize: 9288
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 883 0 0 0 1998 1 0 0 25 0 1 0 847313024 9510912 857 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2322 857 566 18 0 2304 0
vsize: 9288
[startup+30.0004 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 883 0 0 0 2998 1 0 0 25 0 1 0 847313024 9510912 857 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2322 857 566 18 0 2304 0
vsize: 9288
[startup+39.9999 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 883 0 0 0 3998 1 0 0 25 0 1 0 847313024 9510912 857 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2322 857 566 18 0 2304 0
vsize: 9288
[startup+50 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 886 0 0 0 4999 1 0 0 25 0 1 0 847313024 9510912 860 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2322 860 566 18 0 2304 0
vsize: 9288
[startup+59.9999 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 923 0 0 0 5999 2 0 0 25 0 1 0 847313024 9633792 897 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 897 566 18 0 2334 0
vsize: 9408
[startup+70.0003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 964 0 0 0 6999 2 0 0 25 0 1 0 847313024 9756672 938 4294967295 134512640 134581267 3221224576 3221223616 134565083 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2382 938 566 18 0 2364 0
vsize: 9528
[startup+80.0005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 964 0 0 0 7999 2 0 0 25 0 1 0 847313024 9752576 938 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2381 938 566 18 0 2363 0
vsize: 9524
[startup+90.0003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 964 0 0 0 9000 2 0 0 25 0 1 0 847313024 9740288 938 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2378 938 566 18 0 2360 0
vsize: 9512
[startup+99.9998 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 1334 0 0 0 9999 2 0 0 25 0 1 0 847313024 11288576 1308 4294967295 134512640 134581267 3221224576 3221223472 134517525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2756 1308 566 18 0 2738 0
vsize: 11024
[startup+110 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 1641 0 0 0 10999 3 0 0 25 0 1 0 847313024 12550144 1615 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3064 1615 566 18 0 3046 0
vsize: 12256
[startup+120 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 1643 0 0 0 11999 3 0 0 25 0 1 0 847313024 12550144 1617 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3064 1617 566 18 0 3046 0
vsize: 12256
[startup+129.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 1643 0 0 0 13000 3 0 0 25 0 1 0 847313024 12541952 1617 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3062 1617 566 18 0 3044 0
vsize: 12248
[startup+139.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 1643 0 0 0 14000 3 0 0 25 0 1 0 847313024 12541952 1617 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3062 1617 566 18 0 3044 0
vsize: 12248
[startup+149.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 1643 0 0 0 15000 3 0 0 25 0 1 0 847313024 12529664 1617 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3059 1617 566 18 0 3041 0
vsize: 12236
[startup+159.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 1643 0 0 0 16000 3 0 0 25 0 1 0 847313024 12525568 1617 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3058 1617 566 18 0 3040 0
vsize: 12232
[startup+169.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 1809 0 0 0 17000 4 0 0 25 0 1 0 847313024 13205504 1783 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3224 1783 566 18 0 3206 0
vsize: 12896
[startup+179.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2142 0 0 0 17999 5 0 0 25 0 1 0 847313024 14630912 2116 4294967295 134512640 134581267 3221224576 3221223656 134564973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2116 566 18 0 3554 0
vsize: 14288
[startup+189.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2142 0 0 0 19000 5 0 0 25 0 1 0 847313024 14626816 2116 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3571 2116 566 18 0 3553 0
vsize: 14284
[startup+199.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2142 0 0 0 20000 5 0 0 25 0 1 0 847313024 14626816 2116 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3571 2116 566 18 0 3553 0
vsize: 14284
[startup+209.999 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2142 0 0 0 21000 5 0 0 25 0 1 0 847313024 14626816 2116 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3571 2116 566 18 0 3553 0
vsize: 14284
[startup+220 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2142 0 0 0 22001 5 0 0 25 0 1 0 847313024 14626816 2116 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3571 2116 566 18 0 3553 0
vsize: 14284
[startup+230 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2334 0 0 0 23001 5 0 0 25 0 1 0 847313024 15429632 2308 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3767 2308 566 18 0 3749 0
vsize: 15068
[startup+240 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 24000 6 0 0 25 0 1 0 847313024 17559552 2832 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4287 2832 566 18 0 4269 0
vsize: 17148
[startup+250 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 25000 6 0 0 25 0 1 0 847313024 17387520 2810 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4245 2810 566 18 0 4227 0
vsize: 16980
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 26001 6 0 0 25 0 1 0 847313024 17387520 2810 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4245 2810 566 18 0 4227 0
vsize: 16980
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 27001 7 0 0 25 0 1 0 847313024 17059840 2730 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 2730 566 18 0 4147 0
vsize: 16660
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 28001 7 0 0 25 0 1 0 847313024 17059840 2730 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 2730 566 18 0 4147 0
vsize: 16660
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 29001 7 0 0 25 0 1 0 847313024 17059840 2730 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 2730 566 18 0 4147 0
vsize: 16660
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 30001 7 0 0 25 0 1 0 847313024 17059840 2730 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 2730 566 18 0 4147 0
vsize: 16660
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 31001 7 0 0 25 0 1 0 847313024 17059840 2730 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 2730 566 18 0 4147 0
vsize: 16660
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 32002 7 0 0 25 0 1 0 847313024 17059840 2730 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 2730 566 18 0 4147 0
vsize: 16660
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 33002 7 0 0 25 0 1 0 847313024 17059840 2730 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 2730 566 18 0 4147 0
vsize: 16660
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 34002 7 0 0 25 0 1 0 847313024 17059840 2730 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 2730 566 18 0 4147 0
vsize: 16660
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 2858 0 0 0 35002 8 0 0 25 0 1 0 847313024 17059840 2730 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4165 2730 566 18 0 4147 0
vsize: 16660
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 3765 0 0 0 36000 10 0 0 25 0 1 0 847313024 20811776 3637 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3637 566 18 0 5063 0
vsize: 20324
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 36999 11 0 0 25 0 1 0 847313024 23896064 4388 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4388 566 18 0 5816 0
vsize: 23336
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 38000 11 0 0 25 0 1 0 847313024 23896064 4388 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4388 566 18 0 5816 0
vsize: 23336
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 39000 11 0 0 25 0 1 0 847313024 23896064 4388 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5834 4388 566 18 0 5816 0
vsize: 23336
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 40000 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 41001 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 42001 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 43001 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 44002 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 45002 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 46002 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 47003 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223612 134565058 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 48003 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 49003 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 50004 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 51004 11 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 52004 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 53005 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+540.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 54005 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 55005 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 56006 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 57006 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 58006 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 59007 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 60007 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 61007 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 62008 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 63008 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 64008 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 65009 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 66009 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4516 0 0 0 67009 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4670 0 0 0 68009 12 0 0 25 0 1 0 847313024 24432640 4509 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5965 4509 566 18 0 5947 0
vsize: 23860
[startup+690.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4670 0 0 0 69009 12 0 0 25 0 1 0 847313024 24432640 4509 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5965 4509 566 18 0 5947 0
vsize: 23860
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4670 0 0 0 70010 12 0 0 25 0 1 0 847313024 24432640 4509 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5965 4509 566 18 0 5947 0
vsize: 23860
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4670 0 0 0 71010 12 0 0 25 0 1 0 847313024 24432640 4509 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5965 4509 566 18 0 5947 0
vsize: 23860
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4670 0 0 0 72010 12 0 0 25 0 1 0 847313024 24432640 4509 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5965 4509 566 18 0 5947 0
vsize: 23860
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4670 0 0 0 73011 12 0 0 25 0 1 0 847313024 24432640 4509 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5965 4509 566 18 0 5947 0
vsize: 23860
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4670 0 0 0 74011 12 0 0 25 0 1 0 847313024 24432640 4509 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5965 4509 566 18 0 5947 0
vsize: 23860
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4670 0 0 0 75011 12 0 0 25 0 1 0 847313024 24432640 4509 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5965 4509 566 18 0 5947 0
vsize: 23860
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 76012 12 0 0 25 0 1 0 847313024 24551424 4541 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5994 4541 566 18 0 5976 0
vsize: 23976
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 77012 12 0 0 25 0 1 0 847313024 24543232 4541 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5992 4541 566 18 0 5974 0
vsize: 23968
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 78012 12 0 0 25 0 1 0 847313024 24449024 4533 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5969 4533 566 18 0 5951 0
vsize: 23876
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 79013 12 0 0 25 0 1 0 847313024 24412160 4524 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5960 4524 566 18 0 5942 0
vsize: 23840
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 80013 12 0 0 25 0 1 0 847313024 24006656 4425 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5861 4425 566 18 0 5843 0
vsize: 23444
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 81013 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 82014 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 83014 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 84014 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 85015 12 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+860.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 86015 13 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+870.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 87015 13 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+880.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 88016 13 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 89016 13 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+900.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 90016 13 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223632 134555956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 91016 13 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 92016 13 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 93017 13 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+940.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 94017 13 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+950.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 95017 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+960.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 96018 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 97018 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+980.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 98018 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+990.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 99018 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 100019 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 101019 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 102019 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 103020 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 104020 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 105020 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 106021 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 107021 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 108021 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 109022 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 110022 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 111022 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 112023 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 113023 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 114023 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 115024 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 116024 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 117024 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 118025 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 119025 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12507
Raw data (stat): 12507 (Pueblo-v2) R 12506 25568 25567 0 -1 0 4702 0 0 0 120025 14 0 0 25 0 1 0 847313024 23719936 4355 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4355 566 18 0 5773 0
vsize: 23164
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12507
Raw data (stat): 12507 (Pueblo-v2) Z 12506 25568 25567 0 -1 1036 4702 0 0 0 120025 15 0 0 25 0 1 0 847313024 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.02
CPU time (s): 1200.42
CPU user time (s): 1200.26
CPU system time (s): 0.156976
CPU usage (%): 100.033
Max. virtual memory (Kb): 23976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####