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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12098
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 38711

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 15:46:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26769 boxname=wulflinc5 idbench=897 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 26769
/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:        577552 kB
Buffers:         35116 kB
Cached:         398020 kB
SwapCached:        568 kB
Active:          30684 kB
Inactive:       404496 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        577300 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            16208 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 16:06:58 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 26769 7 1200.32 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.69 0.72 0.81 1/54 9045
Raw data (stat): 9045 (runsolver) R 9044 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850979485 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.0009 s]
Raw data (loadavg): 0.73 0.72 0.81 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 2156 0 0 0 995 4 0 0 25 0 1 0 850979485 14852096 2130 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3626 2130 566 18 0 3608 0
vsize: 14504
[startup+20.0011 s]
Raw data (loadavg): 0.77 0.73 0.81 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 2388 0 0 0 1994 5 0 0 25 0 1 0 850979485 15773696 2362 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3851 2362 566 18 0 3833 0
vsize: 15404
[startup+30.0012 s]
Raw data (loadavg): 0.81 0.74 0.81 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 2981 0 0 0 2993 6 0 0 25 0 1 0 850979485 18132992 2955 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4427 2955 566 18 0 4409 0
vsize: 17708
[startup+40.0016 s]
Raw data (loadavg): 0.84 0.75 0.82 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 3475 0 0 0 3992 7 0 0 25 0 1 0 850979485 20230144 3449 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4939 3449 566 18 0 4921 0
vsize: 19756
[startup+50.0023 s]
Raw data (loadavg): 0.86 0.76 0.82 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 3797 0 0 0 4992 7 0 0 25 0 1 0 850979485 21540864 3771 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5259 3771 566 18 0 5241 0
vsize: 21036
[startup+60.0025 s]
Raw data (loadavg): 0.88 0.77 0.82 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 3974 0 0 0 5991 8 0 0 25 0 1 0 850979485 22200320 3948 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 3948 566 18 0 5402 0
vsize: 21680
[startup+70.0032 s]
Raw data (loadavg): 0.90 0.77 0.82 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 4089 0 0 0 6991 8 0 0 25 0 1 0 850979485 22728704 4063 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5549 4063 566 18 0 5531 0
vsize: 22196
[startup+80.0035 s]
Raw data (loadavg): 0.91 0.78 0.82 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 4409 0 0 0 7991 9 0 0 25 0 1 0 850979485 24043520 4383 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5870 4383 566 18 0 5852 0
vsize: 23480
[startup+90.0037 s]
Raw data (loadavg): 0.93 0.79 0.82 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 4705 0 0 0 8990 10 0 0 25 0 1 0 850979485 25231360 4679 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6160 4679 566 18 0 6142 0
vsize: 24640
[startup+100.003 s]
Raw data (loadavg): 0.94 0.79 0.82 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 4705 0 0 0 9991 10 0 0 25 0 1 0 850979485 25231360 4679 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6160 4679 566 18 0 6142 0
vsize: 24640
[startup+110.003 s]
Raw data (loadavg): 0.95 0.80 0.82 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5003 0 0 0 10990 10 0 0 25 0 1 0 850979485 26435584 4977 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6454 4977 566 18 0 6436 0
vsize: 25816
[startup+120.004 s]
Raw data (loadavg): 0.95 0.81 0.82 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5039 0 0 0 11990 10 0 0 25 0 1 0 850979485 26566656 5013 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+130.004 s]
Raw data (loadavg): 0.96 0.81 0.83 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5039 0 0 0 12991 10 0 0 25 0 1 0 850979485 26566656 5013 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+140.004 s]
Raw data (loadavg): 0.97 0.82 0.83 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5039 0 0 0 13991 10 0 0 25 0 1 0 850979485 26566656 5013 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6486 5013 566 18 0 6468 0
vsize: 25944
[startup+150.005 s]
Raw data (loadavg): 0.97 0.82 0.83 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5149 0 0 0 14991 10 0 0 25 0 1 0 850979485 27099136 5123 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6616 5123 566 18 0 6598 0
vsize: 26464
[startup+160.005 s]
Raw data (loadavg): 0.98 0.83 0.83 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 15991 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+170.004 s]
Raw data (loadavg): 0.98 0.83 0.83 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 16991 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+180.004 s]
Raw data (loadavg): 0.98 0.84 0.83 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 17991 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+190.005 s]
Raw data (loadavg): 0.98 0.84 0.83 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 18991 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+200.006 s]
Raw data (loadavg): 0.99 0.85 0.83 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 19991 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+210.006 s]
Raw data (loadavg): 0.99 0.85 0.83 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 20992 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223536 134554618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+220.006 s]
Raw data (loadavg): 0.99 0.86 0.83 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 21992 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223552 134560702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+230.006 s]
Raw data (loadavg): 0.99 0.86 0.84 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 22992 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+240.007 s]
Raw data (loadavg): 0.99 0.86 0.84 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 23992 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+250.008 s]
Raw data (loadavg): 0.99 0.87 0.84 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 24993 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+260.008 s]
Raw data (loadavg): 0.99 0.87 0.84 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 25993 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223468 134560148 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+270.008 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 26993 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+280.009 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 27993 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223568 134561117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+290.009 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 28993 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+300.009 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5297 0 0 0 29993 11 0 0 25 0 1 0 850979485 27619328 5271 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5271 566 18 0 6725 0
vsize: 26972
[startup+310.009 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5298 0 0 0 30993 11 0 0 25 0 1 0 850979485 27619328 5272 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5272 566 18 0 6725 0
vsize: 26972
[startup+320.009 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5298 0 0 0 31994 11 0 0 25 0 1 0 850979485 27619328 5272 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6743 5272 566 18 0 6725 0
vsize: 26972
[startup+330.01 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5571 0 0 0 32993 12 0 0 25 0 1 0 850979485 28790784 5545 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7029 5545 566 18 0 7011 0
vsize: 28116
[startup+340.01 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5575 0 0 0 33993 12 0 0 25 0 1 0 850979485 28790784 5549 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7029 5549 566 18 0 7011 0
vsize: 28116
[startup+350.01 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5575 0 0 0 34993 12 0 0 25 0 1 0 850979485 28790784 5549 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7029 5549 566 18 0 7011 0
vsize: 28116
[startup+360.01 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5575 0 0 0 35993 12 0 0 25 0 1 0 850979485 28790784 5549 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7029 5549 566 18 0 7011 0
vsize: 28116
[startup+370.01 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5646 0 0 0 36993 12 0 0 25 0 1 0 850979485 29057024 5620 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7094 5620 566 18 0 7076 0
vsize: 28376
[startup+380.01 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5646 0 0 0 37993 12 0 0 25 0 1 0 850979485 29057024 5620 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7094 5620 566 18 0 7076 0
vsize: 28376
[startup+390.011 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5876 0 0 0 38993 12 0 0 25 0 1 0 850979485 29970432 5850 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7317 5850 566 18 0 7299 0
vsize: 29268
[startup+400.012 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5876 0 0 0 39993 12 0 0 25 0 1 0 850979485 29970432 5850 4294967295 134512640 134581267 3221224576 3221223440 134560403 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7317 5850 566 18 0 7299 0
vsize: 29268
[startup+410.011 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5876 0 0 0 40993 12 0 0 25 0 1 0 850979485 29970432 5850 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7317 5850 566 18 0 7299 0
vsize: 29268
[startup+420.011 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5885 0 0 0 41994 12 0 0 25 0 1 0 850979485 30158848 5859 4294967295 134512640 134581267 3221224576 3221223536 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+430.012 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5885 0 0 0 42994 12 0 0 25 0 1 0 850979485 30158848 5859 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+440.012 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5885 0 0 0 43994 12 0 0 25 0 1 0 850979485 30158848 5859 4294967295 134512640 134581267 3221224576 3221223264 1075289350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+450.012 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5885 0 0 0 44994 12 0 0 25 0 1 0 850979485 30158848 5859 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7363 5859 566 18 0 7345 0
vsize: 29452
[startup+460.012 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5924 0 0 0 45994 13 0 0 25 0 1 0 850979485 30289920 5898 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 5898 566 18 0 7377 0
vsize: 29580
[startup+470.013 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5924 0 0 0 46994 13 0 0 25 0 1 0 850979485 30289920 5898 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 5898 566 18 0 7377 0
vsize: 29580
[startup+480.013 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5924 0 0 0 47995 13 0 0 25 0 1 0 850979485 30289920 5898 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 5898 566 18 0 7377 0
vsize: 29580
[startup+490.014 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5941 0 0 0 48995 13 0 0 25 0 1 0 850979485 30449664 5915 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+500.014 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5941 0 0 0 49995 13 0 0 25 0 1 0 850979485 30449664 5915 4294967295 134512640 134581267 3221224576 3221223488 134527355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+510.014 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5941 0 0 0 50995 13 0 0 25 0 1 0 850979485 30449664 5915 4294967295 134512640 134581267 3221224576 3221223632 134556093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+520.014 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5941 0 0 0 51995 13 0 0 25 0 1 0 850979485 30449664 5915 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+530.014 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5941 0 0 0 52996 13 0 0 25 0 1 0 850979485 30449664 5915 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+540.015 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5941 0 0 0 53996 13 0 0 25 0 1 0 850979485 30449664 5915 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+550.015 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5941 0 0 0 54996 13 0 0 25 0 1 0 850979485 30449664 5915 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5915 566 18 0 7416 0
vsize: 29736
[startup+560.014 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5942 0 0 0 55996 13 0 0 25 0 1 0 850979485 30449664 5916 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5916 566 18 0 7416 0
vsize: 29736
[startup+570.015 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 5942 0 0 0 56996 13 0 0 25 0 1 0 850979485 30449664 5916 4294967295 134512640 134581267 3221224576 3221223568 134560858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 5916 566 18 0 7416 0
vsize: 29736
[startup+580.015 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 6300 0 0 0 57995 14 0 0 25 0 1 0 850979485 31875072 6274 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7782 6275 566 18 0 7764 0
vsize: 31128
[startup+590.016 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 6678 0 0 0 58994 15 0 0 25 0 1 0 850979485 33431552 6652 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8162 6652 566 18 0 8144 0
vsize: 32648
[startup+600.016 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 7033 0 0 0 59994 16 0 0 25 0 1 0 850979485 34873344 7007 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8514 7007 566 18 0 8496 0
vsize: 34056
[startup+610.016 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 7686 0 0 0 60992 18 0 0 25 0 1 0 850979485 37588992 7660 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9177 7660 566 18 0 9159 0
vsize: 36708
[startup+620.017 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8327 0 0 0 61990 20 0 0 25 0 1 0 850979485 40153088 8301 4294967295 134512640 134581267 3221224576 3221223504 134520049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9803 8301 566 18 0 9785 0
vsize: 39212
[startup+630.017 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8550 0 0 0 62990 20 0 0 25 0 1 0 850979485 41066496 8524 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+640.017 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8550 0 0 0 63990 20 0 0 25 0 1 0 850979485 41066496 8524 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+650.017 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8550 0 0 0 64990 20 0 0 25 0 1 0 850979485 41066496 8524 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+660.017 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8550 0 0 0 65990 20 0 0 25 0 1 0 850979485 41066496 8524 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+670.018 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8550 0 0 0 66990 21 0 0 25 0 1 0 850979485 41066496 8524 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8524 566 18 0 10008 0
vsize: 40104
[startup+680.018 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 67991 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+690.019 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 68991 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+700.019 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 69991 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223440 134560451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+710.019 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 70991 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+720.02 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 71991 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134520003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+730.019 s]
Raw data (loadavg): 0.99 0.96 0.88 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 72992 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+740.02 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 73992 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223520 134559033 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+750.021 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 74992 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+760.02 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 75992 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+770.02 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 76992 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 9045
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 77993 21 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 9046
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 78990 24 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+800.027 s]
Raw data (loadavg): 1.15 1.00 0.90 2/54 9098
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 79990 24 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+810.106 s]
Raw data (loadavg): 1.12 1.00 0.90 2/54 9098
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 80998 24 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+820.107 s]
Raw data (loadavg): 1.10 1.00 0.90 2/54 9098
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 81998 24 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+830.107 s]
Raw data (loadavg): 1.09 1.00 0.90 2/54 9098
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 82999 24 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223568 134560771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+840.108 s]
Raw data (loadavg): 1.07 1.00 0.91 2/54 9098
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 83999 24 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+850.108 s]
Raw data (loadavg): 1.06 1.00 0.91 2/54 9098
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 84999 24 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+860.108 s]
Raw data (loadavg): 1.05 1.00 0.91 2/54 9098
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 85999 24 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134520015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+870.109 s]
Raw data (loadavg): 1.04 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 86999 24 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+880.108 s]
Raw data (loadavg): 1.04 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8552 0 0 0 88000 24 0 0 25 0 1 0 850979485 41066496 8526 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8526 566 18 0 10008 0
vsize: 40104
[startup+890.109 s]
Raw data (loadavg): 1.03 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8553 0 0 0 89000 24 0 0 25 0 1 0 850979485 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+900.109 s]
Raw data (loadavg): 1.03 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8553 0 0 0 90000 24 0 0 25 0 1 0 850979485 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+910.109 s]
Raw data (loadavg): 1.02 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8553 0 0 0 91000 24 0 0 25 0 1 0 850979485 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+920.11 s]
Raw data (loadavg): 1.02 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8553 0 0 0 92000 24 0 0 25 0 1 0 850979485 41066496 8527 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+930.109 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8553 0 0 0 93000 24 0 0 25 0 1 0 850979485 41066496 8527 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+940.11 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8553 0 0 0 94001 24 0 0 25 0 1 0 850979485 41066496 8527 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+950.11 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8553 0 0 0 95001 24 0 0 25 0 1 0 850979485 41066496 8527 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+960.11 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8553 0 0 0 96001 24 0 0 25 0 1 0 850979485 41066496 8527 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+970.11 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8553 0 0 0 97001 24 0 0 25 0 1 0 850979485 41066496 8527 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+980.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8553 0 0 0 98001 24 0 0 25 0 1 0 850979485 41066496 8527 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8527 566 18 0 10008 0
vsize: 40104
[startup+990.111 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8554 0 0 0 99002 24 0 0 25 0 1 0 850979485 41066496 8528 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8554 0 0 0 100002 24 0 0 25 0 1 0 850979485 41066496 8528 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8554 0 0 0 101002 24 0 0 25 0 1 0 850979485 41066496 8528 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8554 0 0 0 102002 24 0 0 25 0 1 0 850979485 41066496 8528 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8528 566 18 0 10008 0
vsize: 40104
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 103002 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 104003 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 105003 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 106003 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 107003 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 108003 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 109003 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 110004 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 111004 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 112004 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 9100
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8555 0 0 0 113004 24 0 0 25 0 1 0 850979485 41066496 8529 4294967295 134512640 134581267 3221224576 3221223504 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10026 8529 566 18 0 10008 0
vsize: 40104
[startup+1140.11 s]
Raw data (loadavg): 1.15 1.03 0.92 2/54 9102
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8629 0 0 0 114004 24 0 0 25 0 1 0 850979485 41459712 8603 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 8603 566 18 0 10104 0
vsize: 40488
[startup+1150.11 s]
Raw data (loadavg): 1.12 1.03 0.92 2/54 9102
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8693 0 0 0 115005 24 0 0 25 0 1 0 850979485 41758720 8667 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 8667 566 18 0 10177 0
vsize: 40780
[startup+1160.11 s]
Raw data (loadavg): 1.10 1.03 0.92 2/54 9102
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8714 0 0 0 116005 24 0 0 25 0 1 0 850979485 41955328 8688 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10243 8688 566 18 0 10225 0
vsize: 40972
[startup+1170.12 s]
Raw data (loadavg): 1.09 1.03 0.92 2/54 9102
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8984 0 0 0 117004 25 0 0 25 0 1 0 850979485 43008000 8958 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 8958 566 18 0 10482 0
vsize: 42000
[startup+1180.11 s]
Raw data (loadavg): 1.07 1.03 0.92 2/54 9102
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8984 0 0 0 118004 25 0 0 25 0 1 0 850979485 43008000 8958 4294967295 134512640 134581267 3221224576 3221223504 134520024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 8958 566 18 0 10482 0
vsize: 42000
[startup+1190.12 s]
Raw data (loadavg): 1.06 1.03 0.92 2/54 9102
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8985 0 0 0 119005 25 0 0 25 0 1 0 850979485 43008000 8959 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 8959 566 18 0 10482 0
vsize: 42000
[startup+1200.12 s]
Raw data (loadavg): 1.05 1.02 0.92 2/54 9102
Raw data (stat): 9045 (Pueblo-v2) R 9044 7266 7265 0 -1 0 8997 0 0 0 120005 25 0 0 25 0 1 0 850979485 43008000 8971 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 8971 566 18 0 10482 0
vsize: 42000
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.05 1.02 0.92 1/54 9102
Raw data (stat): 9045 (Pueblo-v2) Z 9044 7266 7265 0 -1 1036 8997 0 0 0 120005 27 0 0 25 0 1 0 850979485 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.14
CPU time (s): 1200.32
CPU user time (s): 1200.05
CPU system time (s): 0.270958
CPU usage (%): 100.016
Max. virtual memory (Kb): 42000
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####