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_60_pb.cnf.cr.opb
MD5SUM	6968a43b42bba7df68b13fdfd3b616a1
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	61
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.187971
Number of variables	6000
Total number of constraints	220
Number of constraints which are clauses	120
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	60
Trace number 38260

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 05:36:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26292 boxname=wulflinc2 idbench=22 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  6968a43b42bba7df68b13fdfd3b616a1  /oldhome/oroussel/tmp/wulflinc2/normalized-chnl50_60_pb.cnf.cr.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl50_60_pb.cnf.cr.opb
IDLAUNCH: 26292
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        719112 kB
Buffers:         33496 kB
Cached:         260284 kB
SwapCached:       1136 kB
Active:          53852 kB
Inactive:       242356 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        718860 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            13680 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 05:56:32 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 26292 7 1200.24 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.91 0.97 0.90 2/54 19275
Raw data (stat): 19275 (runsolver) R 19274 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847319929 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.97 0.90 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 979 0 0 0 997 1 0 0 25 0 1 0 847319929 9715712 953 4294967295 134512640 134581267 3221224576 3221223632 134555956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2372 953 566 18 0 2354 0
vsize: 9488
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 979 0 0 0 1997 1 0 0 25 0 1 0 847319929 9715712 953 4294967295 134512640 134581267 3221224576 3221223568 134560911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2372 953 566 18 0 2354 0
vsize: 9488
[startup+30.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 979 0 0 0 2997 2 0 0 25 0 1 0 847319929 9715712 953 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2372 953 566 18 0 2354 0
vsize: 9488
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 979 0 0 0 3997 2 0 0 25 0 1 0 847319929 9715712 953 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2372 953 566 18 0 2354 0
vsize: 9488
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 982 0 0 0 4998 2 0 0 25 0 1 0 847319929 9846784 956 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2404 956 566 18 0 2386 0
vsize: 9616
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1057 0 0 0 5998 2 0 0 25 0 1 0 847319929 10088448 1031 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2463 1031 566 18 0 2445 0
vsize: 9852
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1245 0 0 0 6997 2 0 0 25 0 1 0 847319929 10870784 1219 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2654 1219 566 18 0 2636 0
vsize: 10616
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1847 0 0 0 7995 4 0 0 25 0 1 0 847319929 13361152 1821 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3262 1821 566 18 0 3244 0
vsize: 13048
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1847 0 0 0 8996 4 0 0 25 0 1 0 847319929 13357056 1821 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3261 1821 566 18 0 3243 0
vsize: 13044
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1847 0 0 0 9996 4 0 0 25 0 1 0 847319929 13357056 1821 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3261 1821 566 18 0 3243 0
vsize: 13044
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1872 0 0 0 10996 4 0 0 25 0 1 0 847319929 13479936 1846 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 1846 566 18 0 3273 0
vsize: 13164
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1984 0 0 0 11996 4 0 0 25 0 1 0 847319929 13946880 1958 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3405 1958 566 18 0 3387 0
vsize: 13620
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1984 0 0 0 12996 4 0 0 25 0 1 0 847319929 13914112 1958 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3397 1958 566 18 0 3379 0
vsize: 13588
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1984 0 0 0 13996 4 0 0 25 0 1 0 847319929 13905920 1958 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1958 566 18 0 3377 0
vsize: 13580
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1984 0 0 0 14997 4 0 0 25 0 1 0 847319929 13905920 1958 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1958 566 18 0 3377 0
vsize: 13580
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1984 0 0 0 15997 4 0 0 25 0 1 0 847319929 13905920 1958 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1958 566 18 0 3377 0
vsize: 13580
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 1984 0 0 0 16997 4 0 0 25 0 1 0 847319929 13905920 1958 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1958 566 18 0 3377 0
vsize: 13580
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 2271 0 0 0 17996 5 0 0 25 0 1 0 847319929 15024128 2245 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2245 566 18 0 3650 0
vsize: 14672
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 2271 0 0 0 18997 5 0 0 25 0 1 0 847319929 15024128 2245 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2245 566 18 0 3650 0
vsize: 14672
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 2429 0 0 0 19996 6 0 0 25 0 1 0 847319929 15716352 2403 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2403 566 18 0 3819 0
vsize: 15348
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 2750 0 0 0 20996 6 0 0 25 0 1 0 847319929 16998400 2724 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4150 2724 566 18 0 4132 0
vsize: 16600
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3043 0 0 0 21995 7 0 0 25 0 1 0 847319929 18214912 3017 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4447 3017 566 18 0 4429 0
vsize: 17788
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3085 0 0 0 22995 7 0 0 25 0 1 0 847319929 18452480 3059 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4505 3059 566 18 0 4487 0
vsize: 18020
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3086 0 0 0 23995 7 0 0 25 0 1 0 847319929 18452480 3060 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4505 3060 566 18 0 4487 0
vsize: 18020
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3086 0 0 0 24995 7 0 0 25 0 1 0 847319929 18370560 3060 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4485 3060 566 18 0 4467 0
vsize: 17940
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3086 0 0 0 25996 7 0 0 25 0 1 0 847319929 18370560 3060 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4485 3060 566 18 0 4467 0
vsize: 17940
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3086 0 0 0 26996 7 0 0 25 0 1 0 847319929 18370560 3060 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4485 3060 566 18 0 4467 0
vsize: 17940
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3086 0 0 0 27996 7 0 0 25 0 1 0 847319929 18214912 3028 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4447 3028 566 18 0 4429 0
vsize: 17788
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3086 0 0 0 28996 7 0 0 25 0 1 0 847319929 18214912 3028 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4447 3028 566 18 0 4429 0
vsize: 17788
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3086 0 0 0 29996 7 0 0 25 0 1 0 847319929 18214912 3028 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4447 3028 566 18 0 4429 0
vsize: 17788
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3086 0 0 0 30996 7 0 0 25 0 1 0 847319929 18198528 3024 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3024 566 18 0 4425 0
vsize: 17772
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3086 0 0 0 31997 7 0 0 25 0 1 0 847319929 18198528 3024 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3024 566 18 0 4425 0
vsize: 17772
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3087 0 0 0 32997 7 0 0 25 0 1 0 847319929 18198528 3025 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3025 566 18 0 4425 0
vsize: 17772
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3133 0 0 0 33997 8 0 0 25 0 1 0 847319929 18456576 3071 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3071 566 18 0 4488 0
vsize: 18024
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3142 0 0 0 34997 8 0 0 25 0 1 0 847319929 18456576 3080 4294967295 134512640 134581267 3221224576 3221223584 134560319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3080 566 18 0 4488 0
vsize: 18024
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3142 0 0 0 35997 8 0 0 25 0 1 0 847319929 18456576 3080 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3080 566 18 0 4488 0
vsize: 18024
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3142 0 0 0 36998 8 0 0 25 0 1 0 847319929 18456576 3080 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3080 566 18 0 4488 0
vsize: 18024
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3142 0 0 0 37998 8 0 0 25 0 1 0 847319929 18456576 3080 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3080 566 18 0 4488 0
vsize: 18024
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3142 0 0 0 38998 8 0 0 25 0 1 0 847319929 18456576 3080 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3080 566 18 0 4488 0
vsize: 18024
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3142 0 0 0 39998 8 0 0 25 0 1 0 847319929 18456576 3080 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3080 566 18 0 4488 0
vsize: 18024
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3142 0 0 0 40998 8 0 0 25 0 1 0 847319929 18456576 3080 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3080 566 18 0 4488 0
vsize: 18024
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3142 0 0 0 41999 8 0 0 25 0 1 0 847319929 18456576 3080 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3080 566 18 0 4488 0
vsize: 18024
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3504 0 0 0 42999 8 0 0 25 0 1 0 847319929 19939328 3442 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4868 3442 566 18 0 4850 0
vsize: 19472
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3574 0 0 0 43999 8 0 0 25 0 1 0 847319929 20254720 3512 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4945 3512 566 18 0 4927 0
vsize: 19780
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3574 0 0 0 44999 8 0 0 25 0 1 0 847319929 20254720 3512 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4945 3512 566 18 0 4927 0
vsize: 19780
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3643 0 0 0 45999 8 0 0 25 0 1 0 847319929 20561920 3581 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5020 3581 566 18 0 5002 0
vsize: 20080
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3643 0 0 0 46999 8 0 0 25 0 1 0 847319929 20561920 3581 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5020 3581 566 18 0 5002 0
vsize: 20080
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3643 0 0 0 48000 8 0 0 25 0 1 0 847319929 20561920 3581 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5020 3581 566 18 0 5002 0
vsize: 20080
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 3690 0 0 0 49000 8 0 0 25 0 1 0 847319929 20680704 3628 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5049 3628 566 18 0 5031 0
vsize: 20196
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4125 0 0 0 49999 8 0 0 25 0 1 0 847319929 22532096 4063 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5501 4063 566 18 0 5483 0
vsize: 22004
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4609 0 0 0 50998 10 0 0 25 0 1 0 847319929 24522752 4547 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5987 4547 566 18 0 5969 0
vsize: 23948
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 51998 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 52998 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 53998 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 54999 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 55999 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 56999 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 57999 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 58999 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 60000 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 61000 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 62000 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 63000 10 0 0 25 0 1 0 847319929 24477696 4558 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 4558 566 18 0 5958 0
vsize: 23904
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 64000 10 0 0 25 0 1 0 847319929 24408064 4541 4294967295 134512640 134581267 3221224576 3221223584 134560198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 4541 566 18 0 5941 0
vsize: 23836
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 65000 10 0 0 25 0 1 0 847319929 24408064 4541 4294967295 134512640 134581267 3221224576 3221223472 134517779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 4541 566 18 0 5941 0
vsize: 23836
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 66001 10 0 0 25 0 1 0 847319929 24408064 4541 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 4541 566 18 0 5941 0
vsize: 23836
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 67001 10 0 0 25 0 1 0 847319929 24408064 4541 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 4541 566 18 0 5941 0
vsize: 23836
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 68001 10 0 0 25 0 1 0 847319929 24408064 4541 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 4541 566 18 0 5941 0
vsize: 23836
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 69001 10 0 0 25 0 1 0 847319929 24408064 4541 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 4541 566 18 0 5941 0
vsize: 23836
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 70001 10 0 0 25 0 1 0 847319929 24408064 4541 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 4541 566 18 0 5941 0
vsize: 23836
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 71002 10 0 0 25 0 1 0 847319929 24408064 4541 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 4541 566 18 0 5941 0
vsize: 23836
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 72002 10 0 0 25 0 1 0 847319929 24371200 4532 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5950 4532 566 18 0 5932 0
vsize: 23800
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 73002 10 0 0 25 0 1 0 847319929 24371200 4532 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5950 4532 566 18 0 5932 0
vsize: 23800
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 74002 10 0 0 25 0 1 0 847319929 24330240 4522 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5940 4522 566 18 0 5922 0
vsize: 23760
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 75002 10 0 0 25 0 1 0 847319929 24330240 4522 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5940 4522 566 18 0 5922 0
vsize: 23760
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 76002 10 0 0 25 0 1 0 847319929 23670784 4361 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5779 4361 566 18 0 5761 0
vsize: 23116
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 77003 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 78003 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 79003 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 80003 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 81003 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 82004 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 83004 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 84004 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 85004 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 86004 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 87005 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 88005 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 89005 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 90005 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 91005 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 92006 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 93006 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 94006 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 95006 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 96007 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223616 134565018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 97007 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 98007 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 99007 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 100007 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 101007 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 102008 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 103008 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 104008 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 105008 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 106008 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 107009 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4771 0 0 0 108009 10 0 0 25 0 1 0 847319929 23007232 4199 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5617 4199 566 18 0 5599 0
vsize: 22468
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4864 0 0 0 109009 10 0 0 25 0 1 0 847319929 23474176 4292 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5731 4292 566 18 0 5713 0
vsize: 22924
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4864 0 0 0 110009 10 0 0 25 0 1 0 847319929 23474176 4292 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5731 4292 566 18 0 5713 0
vsize: 22924
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4864 0 0 0 111009 10 0 0 25 0 1 0 847319929 23474176 4292 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5731 4292 566 18 0 5713 0
vsize: 22924
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4864 0 0 0 112010 10 0 0 25 0 1 0 847319929 23474176 4292 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5731 4292 566 18 0 5713 0
vsize: 22924
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4864 0 0 0 113010 10 0 0 25 0 1 0 847319929 23474176 4292 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5731 4292 566 18 0 5713 0
vsize: 22924
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4864 0 0 0 114010 10 0 0 25 0 1 0 847319929 23474176 4292 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5731 4292 566 18 0 5713 0
vsize: 22924
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 4864 0 0 0 115010 10 0 0 25 0 1 0 847319929 23474176 4292 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5731 4292 566 18 0 5713 0
vsize: 22924
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 5071 0 0 0 116010 11 0 0 25 0 1 0 847319929 24260608 4499 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5923 4499 566 18 0 5905 0
vsize: 23692
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 5461 0 0 0 117010 11 0 0 25 0 1 0 847319929 25866240 4889 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6315 4889 566 18 0 6297 0
vsize: 25260
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 5811 0 0 0 118009 12 0 0 25 0 1 0 847319929 27328512 5239 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5239 566 18 0 6654 0
vsize: 26688
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 6173 0 0 0 119009 13 0 0 25 0 1 0 847319929 28848128 5601 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7043 5601 566 18 0 7025 0
vsize: 28172
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19275
Raw data (stat): 19275 (Pueblo-v2) R 19274 31399 31398 0 -1 0 6174 0 0 0 120009 13 0 0 25 0 1 0 847319929 28848128 5602 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7043 5602 566 18 0 7025 0
vsize: 28172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19275
Raw data (stat): 19275 (Pueblo-v2) Z 19274 31399 31398 0 -1 1036 6174 0 0 0 120009 14 0 0 25 0 1 0 847319929 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.03
CPU time (s): 1200.24
CPU user time (s): 1200.09
CPU system time (s): 0.142978
CPU usage (%): 100.017
Max. virtual memory (Kb): 28172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####