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/manquinho/primes-dimacs-cnf/normalized-f2000.opb
MD5SUM	4675a5d50c7e04c9a0597ae768da1a88
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4000
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4000
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4000
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4000
Total number of constraints	10500
Number of constraints which are clauses	10500
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 38332

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        732536 kB
Buffers:         33740 kB
Cached:         246124 kB
SwapCached:        228 kB
Active:          60704 kB
Inactive:       221720 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        732284 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6328 kB
Slab:            14016 kB
Committed_AS:    71756 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 07:05:42 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 26398 7 1200.27 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.18 0.55 0.75 1/54 6445
Raw data (stat): 6445 (runsolver) D 6444 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 847723468 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.31 0.56 0.75 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 1506 0 0 0 996 2 0 0 25 0 1 0 847723468 11767808 1480 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2873 1480 566 18 0 2855 0
vsize: 11492
[startup+20.0021 s]
Raw data (loadavg): 0.41 0.58 0.75 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 1945 0 0 0 1995 3 0 0 25 0 1 0 847723468 13615104 1919 4294967295 134512640 134581267 3221224592 3221223568 134560965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 1919 566 18 0 3306 0
vsize: 13296
[startup+30.0016 s]
Raw data (loadavg): 0.50 0.59 0.75 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2139 0 0 0 2995 4 0 0 25 0 1 0 847723468 14405632 2113 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3517 2113 566 18 0 3499 0
vsize: 14068
[startup+40.0018 s]
Raw data (loadavg): 0.58 0.60 0.76 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2140 0 0 0 3995 4 0 0 25 0 1 0 847723468 14405632 2114 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3517 2114 566 18 0 3499 0
vsize: 14068
[startup+50.0029 s]
Raw data (loadavg): 0.64 0.62 0.76 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2410 0 0 0 4994 4 0 0 25 0 1 0 847723468 15462400 2384 4294967295 134512640 134581267 3221224592 3221223472 134560435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3775 2384 566 18 0 3757 0
vsize: 15100
[startup+60.0031 s]
Raw data (loadavg): 0.70 0.63 0.76 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2472 0 0 0 5995 5 0 0 25 0 1 0 847723468 15728640 2446 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3840 2446 566 18 0 3822 0
vsize: 15360
[startup+70.0046 s]
Raw data (loadavg): 0.74 0.64 0.76 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2548 0 0 0 6995 5 0 0 25 0 1 0 847723468 15990784 2522 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3904 2522 566 18 0 3886 0
vsize: 15616
[startup+80.0054 s]
Raw data (loadavg): 0.78 0.65 0.76 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2678 0 0 0 7995 5 0 0 25 0 1 0 847723468 16646144 2652 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4064 2652 566 18 0 4046 0
vsize: 16256
[startup+90.0056 s]
Raw data (loadavg): 0.82 0.66 0.77 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2752 0 0 0 8995 5 0 0 25 0 1 0 847723468 16908288 2726 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4128 2726 566 18 0 4110 0
vsize: 16512
[startup+100.006 s]
Raw data (loadavg): 0.84 0.67 0.77 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2752 0 0 0 9995 5 0 0 25 0 1 0 847723468 16908288 2726 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4128 2726 566 18 0 4110 0
vsize: 16512
[startup+110.006 s]
Raw data (loadavg): 0.87 0.68 0.77 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2800 0 0 0 10995 5 0 0 25 0 1 0 847723468 17039360 2774 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 2774 566 18 0 4142 0
vsize: 16640
[startup+120.006 s]
Raw data (loadavg): 0.89 0.69 0.77 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2800 0 0 0 11995 5 0 0 25 0 1 0 847723468 17039360 2774 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 2774 566 18 0 4142 0
vsize: 16640
[startup+130.006 s]
Raw data (loadavg): 0.90 0.70 0.77 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2837 0 0 0 12995 5 0 0 25 0 1 0 847723468 17170432 2811 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4192 2811 566 18 0 4174 0
vsize: 16768
[startup+140.007 s]
Raw data (loadavg): 0.92 0.71 0.78 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2837 0 0 0 13996 5 0 0 25 0 1 0 847723468 17170432 2811 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4192 2811 566 18 0 4174 0
vsize: 16768
[startup+150.007 s]
Raw data (loadavg): 0.93 0.72 0.78 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 2969 0 0 0 14996 5 0 0 25 0 1 0 847723468 17829888 2943 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4353 2943 566 18 0 4335 0
vsize: 17412
[startup+160.007 s]
Raw data (loadavg): 0.94 0.73 0.78 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3092 0 0 0 15995 6 0 0 25 0 1 0 847723468 18223104 3066 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4449 3066 566 18 0 4431 0
vsize: 17796
[startup+170.008 s]
Raw data (loadavg): 0.95 0.74 0.78 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3092 0 0 0 16996 6 0 0 25 0 1 0 847723468 18223104 3066 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4449 3066 566 18 0 4431 0
vsize: 17796
[startup+180.007 s]
Raw data (loadavg): 0.96 0.75 0.78 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3165 0 0 0 17996 6 0 0 25 0 1 0 847723468 18620416 3139 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4546 3139 566 18 0 4528 0
vsize: 18184
[startup+190.008 s]
Raw data (loadavg): 0.96 0.75 0.79 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3168 0 0 0 18996 6 0 0 25 0 1 0 847723468 18620416 3142 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4546 3142 566 18 0 4528 0
vsize: 18184
[startup+200.008 s]
Raw data (loadavg): 0.97 0.76 0.79 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3263 0 0 0 19996 6 0 0 25 0 1 0 847723468 19013632 3237 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3237 566 18 0 4624 0
vsize: 18568
[startup+210.008 s]
Raw data (loadavg): 0.97 0.77 0.79 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3268 0 0 0 20996 6 0 0 25 0 1 0 847723468 19013632 3242 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3242 566 18 0 4624 0
vsize: 18568
[startup+220.009 s]
Raw data (loadavg): 0.98 0.78 0.79 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3268 0 0 0 21996 6 0 0 25 0 1 0 847723468 19013632 3242 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3242 566 18 0 4624 0
vsize: 18568
[startup+230.009 s]
Raw data (loadavg): 0.98 0.78 0.79 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3268 0 0 0 22996 6 0 0 25 0 1 0 847723468 19013632 3242 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 3242 566 18 0 4624 0
vsize: 18568
[startup+240.009 s]
Raw data (loadavg): 0.98 0.79 0.80 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3432 0 0 0 23996 6 0 0 25 0 1 0 847723468 19771392 3406 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4827 3406 566 18 0 4809 0
vsize: 19308
[startup+250.009 s]
Raw data (loadavg): 0.98 0.80 0.80 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3432 0 0 0 24996 6 0 0 25 0 1 0 847723468 19771392 3406 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4827 3406 566 18 0 4809 0
vsize: 19308
[startup+260.009 s]
Raw data (loadavg): 0.99 0.80 0.80 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3432 0 0 0 25997 6 0 0 25 0 1 0 847723468 19771392 3406 4294967295 134512640 134581267 3221224592 3221223472 134560372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4827 3406 566 18 0 4809 0
vsize: 19308
[startup+270.009 s]
Raw data (loadavg): 0.99 0.81 0.80 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3444 0 0 0 26997 6 0 0 25 0 1 0 847723468 19771392 3418 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4827 3418 566 18 0 4809 0
vsize: 19308
[startup+280.009 s]
Raw data (loadavg): 0.99 0.81 0.80 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3444 0 0 0 27997 6 0 0 25 0 1 0 847723468 19771392 3418 4294967295 134512640 134581267 3221224592 3221223512 134531345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4827 3418 566 18 0 4809 0
vsize: 19308
[startup+290.01 s]
Raw data (loadavg): 0.99 0.82 0.81 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3444 0 0 0 28997 6 0 0 25 0 1 0 847723468 19771392 3418 4294967295 134512640 134581267 3221224592 3221223548 134519782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4827 3418 566 18 0 4809 0
vsize: 19308
[startup+300.009 s]
Raw data (loadavg): 0.99 0.83 0.81 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3457 0 0 0 29997 6 0 0 25 0 1 0 847723468 19771392 3431 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4827 3431 566 18 0 4809 0
vsize: 19308
[startup+310.01 s]
Raw data (loadavg): 0.99 0.83 0.81 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3604 0 0 0 30997 7 0 0 25 0 1 0 847723468 20426752 3578 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4987 3578 566 18 0 4969 0
vsize: 19948
[startup+320.01 s]
Raw data (loadavg): 0.99 0.84 0.81 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3604 0 0 0 31997 7 0 0 25 0 1 0 847723468 20426752 3578 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4987 3578 566 18 0 4969 0
vsize: 19948
[startup+330.01 s]
Raw data (loadavg): 0.99 0.84 0.81 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3628 0 0 0 32997 7 0 0 25 0 1 0 847723468 20557824 3602 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 3602 566 18 0 5001 0
vsize: 20076
[startup+340.01 s]
Raw data (loadavg): 0.99 0.85 0.81 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3628 0 0 0 33998 7 0 0 25 0 1 0 847723468 20557824 3602 4294967295 134512640 134581267 3221224592 3221223472 134560435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 3602 566 18 0 5001 0
vsize: 20076
[startup+350.01 s]
Raw data (loadavg): 0.99 0.85 0.82 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3628 0 0 0 34998 7 0 0 25 0 1 0 847723468 20557824 3602 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 3602 566 18 0 5001 0
vsize: 20076
[startup+360.009 s]
Raw data (loadavg): 0.99 0.85 0.82 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3674 0 0 0 35998 7 0 0 25 0 1 0 847723468 20688896 3648 4294967295 134512640 134581267 3221224592 3221223568 134560956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5051 3648 566 18 0 5033 0
vsize: 20204
[startup+370.01 s]
Raw data (loadavg): 0.99 0.86 0.82 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3682 0 0 0 36998 7 0 0 25 0 1 0 847723468 20688896 3656 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5051 3656 566 18 0 5033 0
vsize: 20204
[startup+380.009 s]
Raw data (loadavg): 0.99 0.86 0.82 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3878 0 0 0 37997 8 0 0 25 0 1 0 847723468 21504000 3852 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5250 3852 566 18 0 5232 0
vsize: 21000
[startup+390.009 s]
Raw data (loadavg): 0.99 0.87 0.82 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3883 0 0 0 38997 9 0 0 25 0 1 0 847723468 21651456 3857 4294967295 134512640 134581267 3221224592 3221223496 134560258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5286 3857 566 18 0 5268 0
vsize: 21144
[startup+400.009 s]
Raw data (loadavg): 0.99 0.87 0.82 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3923 0 0 0 39997 9 0 0 25 0 1 0 847723468 21782528 3897 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5318 3897 566 18 0 5300 0
vsize: 21272
[startup+410.009 s]
Raw data (loadavg): 0.99 0.87 0.82 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3923 0 0 0 40997 9 0 0 25 0 1 0 847723468 21782528 3897 4294967295 134512640 134581267 3221224592 3221223584 134560942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5318 3897 566 18 0 5300 0
vsize: 21272
[startup+420.01 s]
Raw data (loadavg): 0.99 0.88 0.82 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3923 0 0 0 41997 9 0 0 25 0 1 0 847723468 21782528 3897 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5318 3897 566 18 0 5300 0
vsize: 21272
[startup+430.01 s]
Raw data (loadavg): 0.99 0.88 0.83 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3923 0 0 0 42997 9 0 0 25 0 1 0 847723468 21782528 3897 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5318 3897 566 18 0 5300 0
vsize: 21272
[startup+440.01 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3923 0 0 0 43997 9 0 0 25 0 1 0 847723468 21782528 3897 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5318 3897 566 18 0 5300 0
vsize: 21272
[startup+450.01 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3923 0 0 0 44997 9 0 0 25 0 1 0 847723468 21782528 3897 4294967295 134512640 134581267 3221224592 3221223472 134560331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5318 3897 566 18 0 5300 0
vsize: 21272
[startup+460.01 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3923 0 0 0 45997 9 0 0 25 0 1 0 847723468 21782528 3897 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5318 3897 566 18 0 5300 0
vsize: 21272
[startup+470.011 s]
Raw data (loadavg): 0.99 0.89 0.83 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3923 0 0 0 46998 9 0 0 25 0 1 0 847723468 21782528 3897 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5318 3897 566 18 0 5300 0
vsize: 21272
[startup+480.011 s]
Raw data (loadavg): 0.99 0.90 0.83 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 3923 0 0 0 47998 9 0 0 25 0 1 0 847723468 21782528 3897 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5318 3897 566 18 0 5300 0
vsize: 21272
[startup+490.011 s]
Raw data (loadavg): 0.99 0.90 0.83 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4017 0 0 0 48998 9 0 0 25 0 1 0 847723468 22175744 3991 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5414 3991 566 18 0 5396 0
vsize: 21656
[startup+500.011 s]
Raw data (loadavg): 0.99 0.90 0.83 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4022 0 0 0 49998 9 0 0 25 0 1 0 847723468 22175744 3996 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5414 3996 566 18 0 5396 0
vsize: 21656
[startup+510.011 s]
Raw data (loadavg): 0.99 0.91 0.83 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4022 0 0 0 50998 9 0 0 25 0 1 0 847723468 22175744 3996 4294967295 134512640 134581267 3221224592 3221223520 134520021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5414 3996 566 18 0 5396 0
vsize: 21656
[startup+520.011 s]
Raw data (loadavg): 0.99 0.91 0.83 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4022 0 0 0 51998 9 0 0 25 0 1 0 847723468 22175744 3996 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5414 3996 566 18 0 5396 0
vsize: 21656
[startup+530.011 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4022 0 0 0 52998 9 0 0 25 0 1 0 847723468 22175744 3996 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5414 3996 566 18 0 5396 0
vsize: 21656
[startup+540.012 s]
Raw data (loadavg): 0.99 0.91 0.84 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4022 0 0 0 53998 9 0 0 25 0 1 0 847723468 22175744 3996 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5414 3996 566 18 0 5396 0
vsize: 21656
[startup+550.012 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4169 0 0 0 54998 10 0 0 25 0 1 0 847723468 22700032 4143 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5542 4143 566 18 0 5524 0
vsize: 22168
[startup+560.011 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4169 0 0 0 55999 10 0 0 25 0 1 0 847723468 22700032 4143 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5542 4143 566 18 0 5524 0
vsize: 22168
[startup+570.012 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4169 0 0 0 56999 10 0 0 25 0 1 0 847723468 22700032 4143 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5542 4143 566 18 0 5524 0
vsize: 22168
[startup+580.012 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4169 0 0 0 57999 10 0 0 25 0 1 0 847723468 22700032 4143 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5542 4143 566 18 0 5524 0
vsize: 22168
[startup+590.013 s]
Raw data (loadavg): 0.99 0.92 0.84 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4272 0 0 0 58999 10 0 0 25 0 1 0 847723468 23224320 4246 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5670 4246 566 18 0 5652 0
vsize: 22680
[startup+600.014 s]
Raw data (loadavg): 0.99 0.93 0.84 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4275 0 0 0 59999 10 0 0 25 0 1 0 847723468 23224320 4249 4294967295 134512640 134581267 3221224592 3221223536 134559333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5670 4249 566 18 0 5652 0
vsize: 22680
[startup+610.014 s]
Raw data (loadavg): 0.99 0.93 0.84 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4308 0 0 0 60999 10 0 0 25 0 1 0 847723468 23355392 4282 4294967295 134512640 134581267 3221224592 3221223568 134560677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5702 4282 566 18 0 5684 0
vsize: 22808
[startup+620.014 s]
Raw data (loadavg): 0.99 0.93 0.84 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4308 0 0 0 61999 10 0 0 25 0 1 0 847723468 23355392 4282 4294967295 134512640 134581267 3221224592 3221223568 134560680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5702 4282 566 18 0 5684 0
vsize: 22808
[startup+630.014 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4368 0 0 0 62999 10 0 0 25 0 1 0 847723468 23625728 4342 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4342 566 18 0 5750 0
vsize: 23072
[startup+640.015 s]
Raw data (loadavg): 0.99 0.93 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4368 0 0 0 64000 10 0 0 25 0 1 0 847723468 23625728 4342 4294967295 134512640 134581267 3221224592 3221223488 134517824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4342 566 18 0 5750 0
vsize: 23072
[startup+650.016 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4383 0 0 0 65000 10 0 0 25 0 1 0 847723468 23625728 4357 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4357 566 18 0 5750 0
vsize: 23072
[startup+660.016 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4383 0 0 0 66000 10 0 0 25 0 1 0 847723468 23625728 4357 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4357 566 18 0 5750 0
vsize: 23072
[startup+670.017 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4428 0 0 0 67000 11 0 0 25 0 1 0 847723468 23764992 4402 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5802 4402 566 18 0 5784 0
vsize: 23208
[startup+680.016 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4428 0 0 0 68000 11 0 0 25 0 1 0 847723468 23764992 4402 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5802 4402 566 18 0 5784 0
vsize: 23208
[startup+690.016 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4449 0 0 0 69000 11 0 0 25 0 1 0 847723468 23900160 4423 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4423 566 18 0 5817 0
vsize: 23340
[startup+700.016 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4449 0 0 0 70000 11 0 0 25 0 1 0 847723468 23900160 4423 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4423 566 18 0 5817 0
vsize: 23340
[startup+710.017 s]
Raw data (loadavg): 0.99 0.94 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4449 0 0 0 71000 11 0 0 25 0 1 0 847723468 23900160 4423 4294967295 134512640 134581267 3221224592 3221223504 134531349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4423 566 18 0 5817 0
vsize: 23340
[startup+720.017 s]
Raw data (loadavg): 0.99 0.95 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4449 0 0 0 72001 11 0 0 25 0 1 0 847723468 23900160 4423 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4423 566 18 0 5817 0
vsize: 23340
[startup+730.017 s]
Raw data (loadavg): 0.99 0.95 0.85 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4449 0 0 0 73001 11 0 0 25 0 1 0 847723468 23900160 4423 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4423 566 18 0 5817 0
vsize: 23340
[startup+740.018 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4449 0 0 0 74001 11 0 0 25 0 1 0 847723468 23900160 4423 4294967295 134512640 134581267 3221224592 3221223520 134520039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4423 566 18 0 5817 0
vsize: 23340
[startup+750.017 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4449 0 0 0 75001 11 0 0 25 0 1 0 847723468 23900160 4423 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4423 566 18 0 5817 0
vsize: 23340
[startup+760.018 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4449 0 0 0 76001 11 0 0 25 0 1 0 847723468 23900160 4423 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4423 566 18 0 5817 0
vsize: 23340
[startup+770.019 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4449 0 0 0 77001 11 0 0 25 0 1 0 847723468 23900160 4423 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4423 566 18 0 5817 0
vsize: 23340
[startup+780.018 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4449 0 0 0 78002 11 0 0 25 0 1 0 847723468 23900160 4423 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4423 566 18 0 5817 0
vsize: 23340
[startup+790.018 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4455 0 0 0 79001 11 0 0 25 0 1 0 847723468 23900160 4429 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4429 566 18 0 5817 0
vsize: 23340
[startup+800.018 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4459 0 0 0 80002 11 0 0 25 0 1 0 847723468 23900160 4433 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 4433 566 18 0 5817 0
vsize: 23340
[startup+810.017 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4477 0 0 0 81002 11 0 0 25 0 1 0 847723468 24039424 4451 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5869 4451 566 18 0 5851 0
vsize: 23476
[startup+820.017 s]
Raw data (loadavg): 0.99 0.95 0.86 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4477 0 0 0 82002 11 0 0 25 0 1 0 847723468 24039424 4451 4294967295 134512640 134581267 3221224592 3221223472 134560306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5869 4451 566 18 0 5851 0
vsize: 23476
[startup+830.018 s]
Raw data (loadavg): 0.99 0.96 0.86 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4477 0 0 0 83002 11 0 0 25 0 1 0 847723468 24039424 4451 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5869 4451 566 18 0 5851 0
vsize: 23476
[startup+840.018 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4477 0 0 0 84002 11 0 0 25 0 1 0 847723468 24039424 4451 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5869 4451 566 18 0 5851 0
vsize: 23476
[startup+850.018 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4664 0 0 0 85002 12 0 0 25 0 1 0 847723468 24842240 4638 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4638 566 18 0 6047 0
vsize: 24260
[startup+860.018 s]
Raw data (loadavg): 0.99 0.96 0.87 2/54 6445
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4667 0 0 0 86002 12 0 0 25 0 1 0 847723468 24842240 4641 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4641 566 18 0 6047 0
vsize: 24260
[startup+870.04 s]
Raw data (loadavg): 0.99 0.96 0.87 3/57 6480
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4797 0 0 0 87003 13 0 0 25 0 1 0 847723468 25370624 4771 4294967295 134512640 134581267 3221224592 3221223572 134561052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6194 4771 566 18 0 6176 0
vsize: 24776
[startup+880.041 s]
Raw data (loadavg): 1.07 0.98 0.87 2/57 6489
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4797 0 0 0 88003 13 0 0 25 0 1 0 847723468 25370624 4771 4294967295 134512640 134581267 3221224592 3221223472 134520258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6194 4771 566 18 0 6176 0
vsize: 24776
[startup+890.069 s]
Raw data (loadavg): 1.29 1.03 0.89 2/54 6498
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4797 0 0 0 89006 13 0 0 25 0 1 0 847723468 25370624 4771 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6194 4771 566 18 0 6176 0
vsize: 24776
[startup+900.069 s]
Raw data (loadavg): 1.25 1.03 0.89 2/54 6498
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4987 0 0 0 90006 13 0 0 25 0 1 0 847723468 26152960 4961 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6385 4961 566 18 0 6367 0
vsize: 25540
[startup+910.068 s]
Raw data (loadavg): 1.21 1.02 0.89 2/54 6498
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 4987 0 0 0 91006 13 0 0 25 0 1 0 847723468 26152960 4961 4294967295 134512640 134581267 3221224592 3221223648 134556093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6385 4961 566 18 0 6367 0
vsize: 25540
[startup+920.069 s]
Raw data (loadavg): 1.17 1.02 0.89 2/54 6498
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5048 0 0 0 92006 14 0 0 25 0 1 0 847723468 26415104 5022 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5022 566 18 0 6431 0
vsize: 25796
[startup+930.069 s]
Raw data (loadavg): 1.15 1.02 0.90 2/54 6498
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5048 0 0 0 93006 14 0 0 25 0 1 0 847723468 26415104 5022 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5022 566 18 0 6431 0
vsize: 25796
[startup+940.069 s]
Raw data (loadavg): 1.12 1.02 0.90 2/54 6498
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5048 0 0 0 94006 14 0 0 25 0 1 0 847723468 26415104 5022 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5022 566 18 0 6431 0
vsize: 25796
[startup+950.069 s]
Raw data (loadavg): 1.10 1.02 0.90 2/54 6498
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5048 0 0 0 95006 14 0 0 25 0 1 0 847723468 26415104 5022 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5022 566 18 0 6431 0
vsize: 25796
[startup+960.069 s]
Raw data (loadavg): 1.09 1.02 0.90 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5048 0 0 0 96007 14 0 0 25 0 1 0 847723468 26415104 5022 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5022 566 18 0 6431 0
vsize: 25796
[startup+970.07 s]
Raw data (loadavg): 1.07 1.02 0.90 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5048 0 0 0 97007 14 0 0 25 0 1 0 847723468 26415104 5022 4294967295 134512640 134581267 3221224592 3221223520 134519913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5022 566 18 0 6431 0
vsize: 25796
[startup+980.07 s]
Raw data (loadavg): 1.06 1.02 0.90 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5048 0 0 0 98007 14 0 0 25 0 1 0 847723468 26415104 5022 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5022 566 18 0 6431 0
vsize: 25796
[startup+990.071 s]
Raw data (loadavg): 1.05 1.02 0.90 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5048 0 0 0 99007 14 0 0 25 0 1 0 847723468 26415104 5022 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5022 566 18 0 6431 0
vsize: 25796
[startup+1000.07 s]
Raw data (loadavg): 1.04 1.02 0.90 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5048 0 0 0 100007 14 0 0 25 0 1 0 847723468 26415104 5022 4294967295 134512640 134581267 3221224592 3221223584 134560926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5022 566 18 0 6431 0
vsize: 25796
[startup+1010.07 s]
Raw data (loadavg): 1.04 1.02 0.90 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5048 0 0 0 101007 15 0 0 25 0 1 0 847723468 26415104 5022 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6449 5022 566 18 0 6431 0
vsize: 25796
[startup+1020.07 s]
Raw data (loadavg): 1.03 1.01 0.90 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 102007 15 0 0 25 0 1 0 847723468 26546176 5051 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6481 5051 566 18 0 6463 0
vsize: 25924
[startup+1030.07 s]
Raw data (loadavg): 1.02 1.01 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 103007 15 0 0 25 0 1 0 847723468 26546176 5051 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6481 5051 566 18 0 6463 0
vsize: 25924
[startup+1040.07 s]
Raw data (loadavg): 1.02 1.01 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 104007 15 0 0 25 0 1 0 847723468 26546176 5051 4294967295 134512640 134581267 3221224592 3221223560 134519777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6481 5051 566 18 0 6463 0
vsize: 25924
[startup+1050.07 s]
Raw data (loadavg): 1.02 1.01 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 105007 15 0 0 25 0 1 0 847723468 26521600 5051 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6475 5051 566 18 0 6457 0
vsize: 25900
[startup+1060.07 s]
Raw data (loadavg): 1.01 1.01 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 106007 15 0 0 25 0 1 0 847723468 26521600 5051 4294967295 134512640 134581267 3221224592 3221223556 134519893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6475 5051 566 18 0 6457 0
vsize: 25900
[startup+1070.07 s]
Raw data (loadavg): 1.01 1.01 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 107007 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1080.07 s]
Raw data (loadavg): 1.01 1.01 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 108008 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1090.07 s]
Raw data (loadavg): 1.01 1.01 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 109008 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1100.07 s]
Raw data (loadavg): 1.01 1.01 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 110008 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.01 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 111008 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 112008 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 113008 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 114009 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 115009 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 116009 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5077 0 0 0 117009 15 0 0 25 0 1 0 847723468 26505216 5051 4294967295 134512640 134581267 3221224592 3221223520 134519826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5051 566 18 0 6453 0
vsize: 25884
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 6500
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5086 0 0 0 118009 15 0 0 25 0 1 0 847723468 26505216 5060 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5060 566 18 0 6453 0
vsize: 25884
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 6502
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5091 0 0 0 119009 15 0 0 25 0 1 0 847723468 26505216 5065 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5065 566 18 0 6453 0
vsize: 25884
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 6502
Raw data (stat): 6445 (Pueblo-v2) R 6444 20224 20223 0 -1 0 5092 0 0 0 120009 15 0 0 25 0 1 0 847723468 26505216 5066 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 5066 566 18 0 6453 0
vsize: 25884
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 6502
Raw data (stat): 6445 (Pueblo-v2) Z 6444 20224 20223 0 -1 1036 5092 0 0 0 120009 16 0 0 25 0 1 0 847723468 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.09
CPU time (s): 1200.27
CPU user time (s): 1200.1
CPU system time (s): 0.168974
CPU usage (%): 100.015
Max. virtual memory (Kb): 25924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####