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/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM	9136d330eaa53552ba154b6915193b35
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
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	7560
Biggest coefficient in the objective function	2097152
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	876993750
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	2097152
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	876993750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.131979
Number of variables	14760
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	252
Trace number 39374

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-03 04:22:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27433 boxname=wulflinc5 idbench=1561 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  9136d330eaa53552ba154b6915193b35  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-tr12-30.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-tr12-30.opb
IDLAUNCH: 27433
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        353040 kB
Buffers:         33308 kB
Cached:         624500 kB
SwapCached:        568 kB
Active:          42304 kB
Inactive:       617564 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        352788 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            16092 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 04:42:27 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 27433 7 1200.23 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.95 0.96 0.91 1/54 18067
Raw data (stat): 18067 (runsolver) R 18066 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855512976 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2322 0 0 0 992 6 0 0 25 0 1 0 855512976 15024128 2296 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2296 566 18 0 3650 0
vsize: 14672
[startup+20.0011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2526 0 0 0 1992 7 0 0 25 0 1 0 855512976 15826944 2500 4294967295 134512640 134581267 3221224576 3221223320 1074910621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3864 2500 566 18 0 3846 0
vsize: 15456
[startup+30.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2647 0 0 0 2992 7 0 0 25 0 1 0 855512976 16351232 2621 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3992 2621 566 18 0 3974 0
vsize: 15968
[startup+40.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 3992 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223472 134517478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+50.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 4992 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+60.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 5992 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+70.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 6993 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223440 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+80.0036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 7993 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+90.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 8993 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 9993 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223440 134528390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 10993 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 11993 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 12994 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 13994 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223396 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 14994 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2702 0 0 0 15994 7 0 0 25 0 1 0 855512976 16601088 2676 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2676 566 18 0 4035 0
vsize: 16212
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2703 0 0 0 16994 7 0 0 25 0 1 0 855512976 16601088 2677 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2677 566 18 0 4035 0
vsize: 16212
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2703 0 0 0 17994 7 0 0 25 0 1 0 855512976 16601088 2677 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2677 566 18 0 4035 0
vsize: 16212
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2703 0 0 0 18995 7 0 0 25 0 1 0 855512976 16601088 2677 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2677 566 18 0 4035 0
vsize: 16212
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2703 0 0 0 19995 7 0 0 25 0 1 0 855512976 16601088 2677 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2677 566 18 0 4035 0
vsize: 16212
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2703 0 0 0 20995 7 0 0 25 0 1 0 855512976 16601088 2677 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2677 566 18 0 4035 0
vsize: 16212
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2703 0 0 0 21995 8 0 0 25 0 1 0 855512976 16601088 2677 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2677 566 18 0 4035 0
vsize: 16212
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2703 0 0 0 22995 8 0 0 25 0 1 0 855512976 16601088 2677 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2677 566 18 0 4035 0
vsize: 16212
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2703 0 0 0 23995 8 0 0 25 0 1 0 855512976 16601088 2677 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2677 566 18 0 4035 0
vsize: 16212
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2703 0 0 0 24996 8 0 0 25 0 1 0 855512976 16601088 2677 4294967295 134512640 134581267 3221224576 3221223504 134519809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2677 566 18 0 4035 0
vsize: 16212
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2706 0 0 0 25996 8 0 0 25 0 1 0 855512976 16601088 2680 4294967295 134512640 134581267 3221224576 3221223568 134561081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2680 566 18 0 4035 0
vsize: 16212
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2706 0 0 0 26996 8 0 0 25 0 1 0 855512976 16601088 2680 4294967295 134512640 134581267 3221224576 3221223568 134561024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2680 566 18 0 4035 0
vsize: 16212
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2706 0 0 0 27996 8 0 0 25 0 1 0 855512976 16601088 2680 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2680 566 18 0 4035 0
vsize: 16212
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2717 0 0 0 28996 8 0 0 25 0 1 0 855512976 16601088 2691 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2691 566 18 0 4035 0
vsize: 16212
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2717 0 0 0 29996 8 0 0 25 0 1 0 855512976 16601088 2691 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2691 566 18 0 4035 0
vsize: 16212
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2717 0 0 0 30996 8 0 0 25 0 1 0 855512976 16601088 2691 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2691 566 18 0 4035 0
vsize: 16212
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2717 0 0 0 31997 8 0 0 25 0 1 0 855512976 16601088 2691 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2691 566 18 0 4035 0
vsize: 16212
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2717 0 0 0 32997 8 0 0 25 0 1 0 855512976 16601088 2691 4294967295 134512640 134581267 3221224576 3221223456 134520448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2691 566 18 0 4035 0
vsize: 16212
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2717 0 0 0 33997 8 0 0 25 0 1 0 855512976 16601088 2691 4294967295 134512640 134581267 3221224576 3221223472 134517754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2691 566 18 0 4035 0
vsize: 16212
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 2717 0 0 0 34997 8 0 0 25 0 1 0 855512976 16601088 2691 4294967295 134512640 134581267 3221224576 3221223408 134531779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4053 2691 566 18 0 4035 0
vsize: 16212
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3338 0 0 0 35996 9 0 0 25 0 1 0 855512976 19243008 3312 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4698 3312 566 18 0 4680 0
vsize: 18792
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3338 0 0 0 36996 9 0 0 25 0 1 0 855512976 19243008 3312 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4698 3312 566 18 0 4680 0
vsize: 18792
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3339 0 0 0 37996 9 0 0 25 0 1 0 855512976 19243008 3313 4294967295 134512640 134581267 3221224576 3221223504 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4698 3313 566 18 0 4680 0
vsize: 18792
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3339 0 0 0 38996 9 0 0 25 0 1 0 855512976 19243008 3313 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4698 3313 566 18 0 4680 0
vsize: 18792
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3339 0 0 0 39997 9 0 0 25 0 1 0 855512976 19243008 3313 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4698 3313 566 18 0 4680 0
vsize: 18792
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3339 0 0 0 40997 9 0 0 25 0 1 0 855512976 19243008 3313 4294967295 134512640 134581267 3221224576 3221223456 134520291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4698 3313 566 18 0 4680 0
vsize: 18792
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3587 0 0 0 41996 10 0 0 25 0 1 0 855512976 20164608 3561 4294967295 134512640 134581267 3221224576 3221223336 1075289605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3561 566 18 0 4905 0
vsize: 19692
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3587 0 0 0 42996 10 0 0 25 0 1 0 855512976 20164608 3561 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3561 566 18 0 4905 0
vsize: 19692
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3587 0 0 0 43996 10 0 0 25 0 1 0 855512976 20164608 3561 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3561 566 18 0 4905 0
vsize: 19692
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3587 0 0 0 44996 10 0 0 25 0 1 0 855512976 20164608 3561 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3561 566 18 0 4905 0
vsize: 19692
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3633 0 0 0 45997 10 0 0 25 0 1 0 855512976 20430848 3607 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4988 3607 566 18 0 4970 0
vsize: 19952
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3633 0 0 0 46997 10 0 0 25 0 1 0 855512976 20369408 3607 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4973 3607 566 18 0 4955 0
vsize: 19892
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3633 0 0 0 47996 11 0 0 25 0 1 0 855512976 20369408 3607 4294967295 134512640 134581267 3221224576 3221223556 134561056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4973 3607 566 18 0 4955 0
vsize: 19892
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3633 0 0 0 48996 11 0 0 25 0 1 0 855512976 20369408 3607 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4973 3607 566 18 0 4955 0
vsize: 19892
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3633 0 0 0 49997 11 0 0 25 0 1 0 855512976 20369408 3607 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4973 3607 566 18 0 4955 0
vsize: 19892
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3633 0 0 0 50997 11 0 0 25 0 1 0 855512976 20369408 3607 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4973 3607 566 18 0 4955 0
vsize: 19892
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3633 0 0 0 51997 11 0 0 25 0 1 0 855512976 20369408 3607 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4973 3607 566 18 0 4955 0
vsize: 19892
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 3946 0 0 0 52996 12 0 0 25 0 1 0 855512976 21700608 3920 4294967295 134512640 134581267 3221224576 3221223396 1075289714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5298 3920 566 18 0 5280 0
vsize: 21192
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4798 0 0 0 53995 14 0 0 25 0 1 0 855512976 25243648 4772 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4772 566 18 0 6145 0
vsize: 24652
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 54995 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 55995 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 56995 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 57995 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 58995 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 59996 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 60996 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223536 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 61996 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 62996 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 63996 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 64996 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 65996 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 66997 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 67997 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 68997 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223532 134519782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 69997 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223472 134517735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 70997 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223440 134528340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 71997 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 72998 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223560 134561049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 73998 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223516 1075285472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 74998 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 75998 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 76998 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 77998 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223488 134527492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 78998 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 79999 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 80999 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 81999 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 82999 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 83999 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 84999 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 86000 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+870.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 87000 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223520 134558834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 88000 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 89000 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 90000 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 91000 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 92001 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223568 134561024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4815 0 0 0 93001 14 0 0 25 0 1 0 855512976 25243648 4789 4294967295 134512640 134581267 3221224576 3221223396 1075289723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 4789 566 18 0 6145 0
vsize: 24652
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4822 0 0 0 94001 15 0 0 25 0 1 0 855512976 25378816 4796 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 4796 566 18 0 6178 0
vsize: 24784
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 4822 0 0 0 95001 15 0 0 25 0 1 0 855512976 25378816 4796 4294967295 134512640 134581267 3221224576 3221223536 134554632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6196 4796 566 18 0 6178 0
vsize: 24784
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 96001 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 97001 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 98001 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 99001 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 100001 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 101001 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 102002 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223440 134526912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 103002 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 104002 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 105002 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 106002 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223504 134519939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 107002 15 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 108002 16 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 109002 16 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223504 134520003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5116 0 0 0 110002 16 0 0 25 0 1 0 855512976 26570752 5090 4294967295 134512640 134581267 3221224576 3221223424 134527203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6487 5090 566 18 0 6469 0
vsize: 25948
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5432 0 0 0 111002 17 0 0 25 0 1 0 855512976 27754496 5406 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6776 5406 566 18 0 6758 0
vsize: 27104
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5512 0 0 0 112001 17 0 0 25 0 1 0 855512976 28147712 5486 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 5486 566 18 0 6854 0
vsize: 27488
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5512 0 0 0 113002 17 0 0 25 0 1 0 855512976 28147712 5486 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 5486 566 18 0 6854 0
vsize: 27488
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5512 0 0 0 114002 17 0 0 25 0 1 0 855512976 28147712 5486 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 5486 566 18 0 6854 0
vsize: 27488
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5512 0 0 0 115002 17 0 0 25 0 1 0 855512976 28147712 5486 4294967295 134512640 134581267 3221224576 3221223292 1075288510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 5486 566 18 0 6854 0
vsize: 27488
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5512 0 0 0 116002 17 0 0 25 0 1 0 855512976 28147712 5486 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 5486 566 18 0 6854 0
vsize: 27488
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5512 0 0 0 117002 17 0 0 25 0 1 0 855512976 28147712 5486 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 5486 566 18 0 6854 0
vsize: 27488
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5513 0 0 0 118002 17 0 0 25 0 1 0 855512976 28147712 5487 4294967295 134512640 134581267 3221224576 3221223568 134561027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 5487 566 18 0 6854 0
vsize: 27488
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5513 0 0 0 119002 18 0 0 25 0 1 0 855512976 28147712 5487 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 5487 566 18 0 6854 0
vsize: 27488
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18067
Raw data (stat): 18067 (Pueblo-v2) R 18066 7266 7265 0 -1 0 5513 0 0 0 120003 18 0 0 25 0 1 0 855512976 28147712 5487 4294967295 134512640 134581267 3221224576 3221223504 134519855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 5487 566 18 0 6854 0
vsize: 27488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18067
Raw data (stat): 18067 (Pueblo-v2) Z 18066 7266 7265 0 -1 1036 5513 0 0 0 120003 19 0 0 25 0 1 0 855512976 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.03
CPU time (s): 1200.23
CPU user time (s): 1200.03
CPU system time (s): 0.19297
CPU usage (%): 100.017
Max. virtual memory (Kb): 27488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####