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-par32-3-c.opb
MD5SUM	b552ff39062b6c42ea64365c815cbd78
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	2650
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	2650
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	2650
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	2650
Total number of constraints	6619
Number of constraints which are clauses	6619
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 38411

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 09:11:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26477 boxname=wulflinc6 idbench=207 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b552ff39062b6c42ea64365c815cbd78  /oldhome/oroussel/tmp/wulflinc6/normalized-par32-3-c.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-par32-3-c.opb
IDLAUNCH: 26477
/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:        775680 kB
Buffers:         33200 kB
Cached:         204860 kB
SwapCached:        552 kB
Active:          56252 kB
Inactive:       183960 kB
HighTotal:      131008 kB
HighFree:        45668 kB
LowTotal:       903652 kB
LowFree:        730012 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13120 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 09:31:48 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 26477 7 1200.41 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.92 0.98 0.98 1/54 13849
Raw data (stat): 13849 (runsolver) R 13848 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848607353 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+9.99991 s]
Raw data (loadavg): 0.93 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 746 0 0 0 998 1 0 0 25 0 1 0 848607353 8712192 720 4294967295 134512640 134581267 3221224592 3221223564 134554668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2127 720 566 18 0 2109 0
vsize: 8508
[startup+19.9997 s]
Raw data (loadavg): 0.94 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 852 0 0 0 1998 1 0 0 25 0 1 0 848607353 9240576 826 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2256 826 566 18 0 2238 0
vsize: 9024
[startup+29.9999 s]
Raw data (loadavg): 0.95 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 913 0 0 0 2998 1 0 0 25 0 1 0 848607353 9371648 887 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2288 887 566 18 0 2270 0
vsize: 9152
[startup+39.9993 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 973 0 0 0 3998 2 0 0 25 0 1 0 848607353 9641984 947 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2354 947 566 18 0 2336 0
vsize: 9416
[startup+49.9992 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 977 0 0 0 4999 2 0 0 25 0 1 0 848607353 9641984 951 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2354 951 566 18 0 2336 0
vsize: 9416
[startup+59.9998 s]
Raw data (loadavg): 0.97 0.98 0.98 3/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1047 0 0 0 5999 2 0 0 25 0 1 0 848607353 10043392 1021 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2452 1021 566 18 0 2434 0
vsize: 9808
[startup+69.9998 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1067 0 0 0 6999 2 0 0 25 0 1 0 848607353 10043392 1041 4294967295 134512640 134581267 3221224592 3221223472 134560290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2452 1041 566 18 0 2434 0
vsize: 9808
[startup+79.9996 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1084 0 0 0 7999 2 0 0 25 0 1 0 848607353 10211328 1058 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2493 1058 566 18 0 2475 0
vsize: 9972
[startup+89.9987 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1187 0 0 0 8999 2 0 0 25 0 1 0 848607353 10620928 1161 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2593 1161 566 18 0 2575 0
vsize: 10372
[startup+99.9982 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1224 0 0 0 9999 3 0 0 25 0 1 0 848607353 10752000 1198 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1198 566 18 0 2607 0
vsize: 10500
[startup+109.998 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1224 0 0 0 11000 3 0 0 25 0 1 0 848607353 10752000 1198 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1198 566 18 0 2607 0
vsize: 10500
[startup+119.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1227 0 0 0 12000 3 0 0 25 0 1 0 848607353 10752000 1201 4294967295 134512640 134581267 3221224592 3221223536 134558930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1201 566 18 0 2607 0
vsize: 10500
[startup+129.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1345 0 0 0 13000 3 0 0 25 0 1 0 848607353 11284480 1319 4294967295 134512640 134581267 3221224592 3221223520 134519826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2755 1319 566 18 0 2737 0
vsize: 11020
[startup+139.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1421 0 0 0 14000 3 0 0 25 0 1 0 848607353 11546624 1395 4294967295 134512640 134581267 3221224592 3221223536 134559225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2819 1395 566 18 0 2801 0
vsize: 11276
[startup+149.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1545 0 0 0 15000 3 0 0 25 0 1 0 848607353 12087296 1519 4294967295 134512640 134581267 3221224592 3221223576 134561049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2951 1519 566 18 0 2933 0
vsize: 11804
[startup+159.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1606 0 0 0 16000 4 0 0 25 0 1 0 848607353 12349440 1580 4294967295 134512640 134581267 3221224592 3221223536 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3015 1580 566 18 0 2997 0
vsize: 12060
[startup+169.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1690 0 0 0 17000 4 0 0 25 0 1 0 848607353 12615680 1664 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3080 1664 566 18 0 3062 0
vsize: 12320
[startup+179.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1826 0 0 0 18000 5 0 0 25 0 1 0 848607353 13271040 1800 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3240 1800 566 18 0 3222 0
vsize: 12960
[startup+189.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 18999 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+199.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 20000 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+209.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 21000 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+219.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 22000 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+229.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 23001 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223564 134554608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+240 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 24001 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 25002 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+260 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 26002 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+269.999 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 27002 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+279.999 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 28002 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+289.999 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1898 0 0 0 29003 5 0 0 25 0 1 0 848607353 13533184 1872 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1872 566 18 0 3286 0
vsize: 13216
[startup+299.999 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 30003 5 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+309.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 31003 5 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223472 134520182 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+319.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 32004 5 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+329.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 33004 5 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223472 134560252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+339.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 34004 5 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+349.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 35004 6 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+359.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 36005 6 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+369.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 37005 6 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223584 134560929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+379.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 38005 6 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223648 134556074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+389.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 39006 6 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+399.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 40006 6 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223536 134559270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+409.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 41006 6 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+419.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 42007 6 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+429.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 43007 6 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+439.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1899 0 0 0 44007 6 0 0 25 0 1 0 848607353 13533184 1873 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1873 566 18 0 3286 0
vsize: 13216
[startup+449.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 45008 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223536 134558698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+459.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 46008 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223504 134519980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+469.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 47008 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+479.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 48009 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223648 134556028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+489.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 49009 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+499.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 50009 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+509.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 51010 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+519.996 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 52010 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+529.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 53010 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+539.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 54010 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+549.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 55010 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+559.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 56010 6 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+569.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1901 0 0 0 57011 7 0 0 25 0 1 0 848607353 13533184 1875 4294967295 134512640 134581267 3221224592 3221223536 134559006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1875 566 18 0 3286 0
vsize: 13216
[startup+579.996 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1907 0 0 0 58011 7 0 0 25 0 1 0 848607353 13533184 1881 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3304 1881 566 18 0 3286 0
vsize: 13216
[startup+589.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1912 0 0 0 59011 7 0 0 25 0 1 0 848607353 13680640 1886 4294967295 134512640 134581267 3221224592 3221223520 134519880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1886 566 18 0 3322 0
vsize: 13360
[startup+599.996 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1912 0 0 0 60012 7 0 0 25 0 1 0 848607353 13680640 1886 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1886 566 18 0 3322 0
vsize: 13360
[startup+609.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1917 0 0 0 61012 7 0 0 25 0 1 0 848607353 13680640 1891 4294967295 134512640 134581267 3221224592 3221223576 134561049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1891 566 18 0 3322 0
vsize: 13360
[startup+619.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1917 0 0 0 62012 7 0 0 25 0 1 0 848607353 13680640 1891 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1891 566 18 0 3322 0
vsize: 13360
[startup+629.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1917 0 0 0 63012 7 0 0 25 0 1 0 848607353 13680640 1891 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1891 566 18 0 3322 0
vsize: 13360
[startup+639.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1917 0 0 0 64013 7 0 0 25 0 1 0 848607353 13680640 1891 4294967295 134512640 134581267 3221224592 3221223536 134559248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1891 566 18 0 3322 0
vsize: 13360
[startup+649.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1922 0 0 0 65013 7 0 0 25 0 1 0 848607353 13680640 1896 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1896 566 18 0 3322 0
vsize: 13360
[startup+659.997 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1922 0 0 0 66013 7 0 0 25 0 1 0 848607353 13680640 1896 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1896 566 18 0 3322 0
vsize: 13360
[startup+669.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1922 0 0 0 67014 7 0 0 25 0 1 0 848607353 13680640 1896 4294967295 134512640 134581267 3221224592 3221223472 134560453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1896 566 18 0 3322 0
vsize: 13360
[startup+679.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1922 0 0 0 68014 7 0 0 25 0 1 0 848607353 13680640 1896 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1896 566 18 0 3322 0
vsize: 13360
[startup+689.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1929 0 0 0 69014 7 0 0 25 0 1 0 848607353 13680640 1903 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1903 566 18 0 3322 0
vsize: 13360
[startup+699.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1929 0 0 0 70015 7 0 0 25 0 1 0 848607353 13680640 1903 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1903 566 18 0 3322 0
vsize: 13360
[startup+709.999 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1929 0 0 0 71015 7 0 0 25 0 1 0 848607353 13680640 1903 4294967295 134512640 134581267 3221224592 3221223384 1075288331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1903 566 18 0 3322 0
vsize: 13360
[startup+719.998 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1929 0 0 0 72015 7 0 0 25 0 1 0 848607353 13680640 1903 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1903 566 18 0 3322 0
vsize: 13360
[startup+729.999 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1929 0 0 0 73016 7 0 0 25 0 1 0 848607353 13680640 1903 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1903 566 18 0 3322 0
vsize: 13360
[startup+739.999 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1929 0 0 0 74016 7 0 0 25 0 1 0 848607353 13680640 1903 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1903 566 18 0 3322 0
vsize: 13360
[startup+749.999 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1934 0 0 0 75016 7 0 0 25 0 1 0 848607353 13680640 1908 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1908 566 18 0 3322 0
vsize: 13360
[startup+759.999 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1934 0 0 0 76017 7 0 0 25 0 1 0 848607353 13680640 1908 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1908 566 18 0 3322 0
vsize: 13360
[startup+769.999 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1934 0 0 0 77017 7 0 0 25 0 1 0 848607353 13680640 1908 4294967295 134512640 134581267 3221224592 3221223584 134561012 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 1908 566 18 0 3322 0
vsize: 13360
[startup+780 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1939 0 0 0 78017 7 0 0 25 0 1 0 848607353 13844480 1913 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1913 566 18 0 3362 0
vsize: 13520
[startup+790 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1939 0 0 0 79018 7 0 0 25 0 1 0 848607353 13844480 1913 4294967295 134512640 134581267 3221224592 3221223568 134560965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1913 566 18 0 3362 0
vsize: 13520
[startup+800.001 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1945 0 0 0 80018 7 0 0 25 0 1 0 848607353 13844480 1919 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1919 566 18 0 3362 0
vsize: 13520
[startup+810 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1945 0 0 0 81018 7 0 0 25 0 1 0 848607353 13844480 1919 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1919 566 18 0 3362 0
vsize: 13520
[startup+820.001 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1945 0 0 0 82019 7 0 0 25 0 1 0 848607353 13844480 1919 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1919 566 18 0 3362 0
vsize: 13520
[startup+830.001 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1945 0 0 0 83019 7 0 0 25 0 1 0 848607353 13844480 1919 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1919 566 18 0 3362 0
vsize: 13520
[startup+840.001 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1945 0 0 0 84019 7 0 0 25 0 1 0 848607353 13844480 1919 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1919 566 18 0 3362 0
vsize: 13520
[startup+850.001 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1946 0 0 0 85020 7 0 0 25 0 1 0 848607353 13844480 1920 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1920 566 18 0 3362 0
vsize: 13520
[startup+860.001 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1946 0 0 0 86020 7 0 0 25 0 1 0 848607353 13844480 1920 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1920 566 18 0 3362 0
vsize: 13520
[startup+870.001 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1946 0 0 0 87020 7 0 0 25 0 1 0 848607353 13844480 1920 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1920 566 18 0 3362 0
vsize: 13520
[startup+880.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1946 0 0 0 88021 7 0 0 25 0 1 0 848607353 13844480 1920 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1920 566 18 0 3362 0
vsize: 13520
[startup+890.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 1993 0 0 0 89021 8 0 0 25 0 1 0 848607353 13979648 1967 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3413 1967 566 18 0 3395 0
vsize: 13652
[startup+900.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 90021 8 0 0 25 0 1 0 848607353 14114816 1976 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3446 1976 566 18 0 3428 0
vsize: 13784
[startup+910.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 91021 8 0 0 25 0 1 0 848607353 14114816 1976 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3446 1976 566 18 0 3428 0
vsize: 13784
[startup+920.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 92022 8 0 0 25 0 1 0 848607353 14106624 1976 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3444 1976 566 18 0 3426 0
vsize: 13776
[startup+930.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 93022 8 0 0 25 0 1 0 848607353 14106624 1976 4294967295 134512640 134581267 3221224592 3221223504 134519975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3444 1976 566 18 0 3426 0
vsize: 13776
[startup+940.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 94023 8 0 0 25 0 1 0 848607353 14106624 1976 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3444 1976 566 18 0 3426 0
vsize: 13776
[startup+950.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 95023 8 0 0 25 0 1 0 848607353 14106624 1976 4294967295 134512640 134581267 3221224592 3221223472 134560409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3444 1976 566 18 0 3426 0
vsize: 13776
[startup+960.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 96023 8 0 0 25 0 1 0 848607353 14102528 1976 4294967295 134512640 134581267 3221224592 3221223520 134520021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1976 566 18 0 3425 0
vsize: 13772
[startup+970.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 97023 8 0 0 25 0 1 0 848607353 14102528 1976 4294967295 134512640 134581267 3221224592 3221223472 134560160 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1976 566 18 0 3425 0
vsize: 13772
[startup+980.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 98024 8 0 0 25 0 1 0 848607353 14102528 1976 4294967295 134512640 134581267 3221224592 3221223564 134554668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1976 566 18 0 3425 0
vsize: 13772
[startup+990.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 99024 8 0 0 25 0 1 0 848607353 14102528 1976 4294967295 134512640 134581267 3221224592 3221223520 134519820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1976 566 18 0 3425 0
vsize: 13772
[startup+1000 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 100024 8 0 0 25 0 1 0 848607353 14102528 1976 4294967295 134512640 134581267 3221224592 3221223584 134560619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1976 566 18 0 3425 0
vsize: 13772
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2002 0 0 0 101025 8 0 0 25 0 1 0 848607353 14102528 1976 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1976 566 18 0 3425 0
vsize: 13772
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2003 0 0 0 102025 8 0 0 25 0 1 0 848607353 14102528 1977 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1977 566 18 0 3425 0
vsize: 13772
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2003 0 0 0 103025 8 0 0 25 0 1 0 848607353 14102528 1977 4294967295 134512640 134581267 3221224592 3221223496 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1977 566 18 0 3425 0
vsize: 13772
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2003 0 0 0 104026 8 0 0 25 0 1 0 848607353 14102528 1977 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1977 566 18 0 3425 0
vsize: 13772
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2003 0 0 0 105026 8 0 0 25 0 1 0 848607353 14102528 1977 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1977 566 18 0 3425 0
vsize: 13772
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2011 0 0 0 106026 8 0 0 25 0 1 0 848607353 14102528 1985 4294967295 134512640 134581267 3221224592 3221223584 134561111 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1985 566 18 0 3425 0
vsize: 13772
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2016 0 0 0 107027 8 0 0 25 0 1 0 848607353 14102528 1990 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1990 566 18 0 3425 0
vsize: 13772
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2022 0 0 0 108027 8 0 0 25 0 1 0 848607353 14102528 1996 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 1996 566 18 0 3425 0
vsize: 13772
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2113 0 0 0 109027 8 0 0 25 0 1 0 848607353 14495744 2087 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2087 566 18 0 3521 0
vsize: 14156
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2113 0 0 0 110028 8 0 0 25 0 1 0 848607353 14495744 2087 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2087 566 18 0 3521 0
vsize: 14156
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2113 0 0 0 111028 8 0 0 25 0 1 0 848607353 14495744 2087 4294967295 134512640 134581267 3221224592 3221223584 134561120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2087 566 18 0 3521 0
vsize: 14156
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2113 0 0 0 112028 8 0 0 25 0 1 0 848607353 14495744 2087 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2087 566 18 0 3521 0
vsize: 14156
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2113 0 0 0 113029 8 0 0 25 0 1 0 848607353 14495744 2087 4294967295 134512640 134581267 3221224592 3221223576 134560634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2087 566 18 0 3521 0
vsize: 14156
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2113 0 0 0 114029 8 0 0 25 0 1 0 848607353 14495744 2087 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2087 566 18 0 3521 0
vsize: 14156
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2114 0 0 0 115029 9 0 0 25 0 1 0 848607353 14495744 2088 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2088 566 18 0 3521 0
vsize: 14156
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2114 0 0 0 116029 9 0 0 25 0 1 0 848607353 14495744 2088 4294967295 134512640 134581267 3221224592 3221223584 134560926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2088 566 18 0 3521 0
vsize: 14156
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2114 0 0 0 117029 9 0 0 25 0 1 0 848607353 14495744 2088 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2088 566 18 0 3521 0
vsize: 14156
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2114 0 0 0 118030 9 0 0 25 0 1 0 848607353 14495744 2088 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2088 566 18 0 3521 0
vsize: 14156
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2115 0 0 0 119030 9 0 0 25 0 1 0 848607353 14495744 2089 4294967295 134512640 134581267 3221224592 3221221840 134566758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2089 566 18 0 3521 0
vsize: 14156
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 13849
Raw data (stat): 13849 (Pueblo-v2) R 13848 25568 25567 0 -1 0 2115 0 0 0 120030 9 0 0 25 0 1 0 848607353 14495744 2089 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3539 2089 566 18 0 3521 0
vsize: 14156
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.98 1/54 13849
Raw data (stat): 13849 (Pueblo-v2) Z 13848 25568 25567 0 -1 1036 2115 0 0 0 120030 10 0 0 25 0 1 0 848607353 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.01
CPU time (s): 1200.41
CPU user time (s): 1200.31
CPU system time (s): 0.100984
CPU usage (%): 100.033
Max. virtual memory (Kb): 14156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####