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-usAbbrv.8.25_70.opb
MD5SUM	0b6e5fd99af8bfe5c5be00124c8da261
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20736
Optimality of the best value was proved	NO
Number of terms in the objective function	125
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1062015
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268444670
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1201.16
Number of variables	18711
Total number of constraints	5602
Number of constraints which are clauses	563
Number of constraints which are cardinality constraints (but not clauses)	1681
Number of constraints which are nor clauses,nor cardinality constraints	3358
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 39375

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        289116 kB
Buffers:         26540 kB
Cached:         696196 kB
SwapCached:        240 kB
Active:          33632 kB
Inactive:       691496 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        288836 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14524 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 04:43:33 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 27436 7 1200.25 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.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (runsolver) R 23776 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855511550 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 2974 0 0 0 991 7 0 0 25 0 1 0 855511550 18919424 2948 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 2948 566 18 0 4601 0
vsize: 18476
[startup+20.0022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 3251 0 0 0 1990 8 0 0 25 0 1 0 855511550 19972096 3225 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4876 3225 566 18 0 4858 0
vsize: 19504
[startup+30.0035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 3439 0 0 0 2989 10 0 0 25 0 1 0 855511550 20766720 3413 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5070 3413 566 18 0 5052 0
vsize: 20280
[startup+40.0033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 3677 0 0 0 3989 11 0 0 25 0 1 0 855511550 21831680 3651 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5330 3651 566 18 0 5312 0
vsize: 21320
[startup+50.0106 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 3957 0 0 0 4989 11 0 0 25 0 1 0 855511550 22867968 3931 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5583 3931 566 18 0 5565 0
vsize: 22332
[startup+60.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 4272 0 0 0 5987 13 0 0 25 0 1 0 855511550 24174592 4246 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5902 4246 566 18 0 5884 0
vsize: 23608
[startup+70.0119 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 4651 0 0 0 6986 14 0 0 25 0 1 0 855511550 25739264 4625 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6284 4625 566 18 0 6266 0
vsize: 25136
[startup+80.0131 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 4763 0 0 0 7986 14 0 0 25 0 1 0 855511550 26275840 4737 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6415 4737 566 18 0 6397 0
vsize: 25660
[startup+90.0135 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 4763 0 0 0 8986 15 0 0 25 0 1 0 855511550 26275840 4737 4294967295 134512640 134581267 3221224576 3221223520 134554678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6415 4737 566 18 0 6397 0
vsize: 25660
[startup+100.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 4763 0 0 0 9986 15 0 0 25 0 1 0 855511550 26275840 4737 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6415 4737 566 18 0 6397 0
vsize: 25660
[startup+110.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 4999 0 0 0 10990 16 0 0 25 0 1 0 855511550 27172864 4973 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6634 4973 566 18 0 6616 0
vsize: 26536
[startup+120.055 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 5261 0 0 0 11989 16 0 0 25 0 1 0 855511550 28225536 5235 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6891 5235 566 18 0 6873 0
vsize: 27564
[startup+130.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 5468 0 0 0 12989 17 0 0 25 0 1 0 855511550 29155328 5442 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7118 5442 566 18 0 7100 0
vsize: 28472
[startup+140.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 5468 0 0 0 13988 17 0 0 25 0 1 0 855511550 29155328 5442 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7118 5442 566 18 0 7100 0
vsize: 28472
[startup+150.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 5468 0 0 0 14988 18 0 0 25 0 1 0 855511550 29155328 5442 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7118 5442 566 18 0 7100 0
vsize: 28472
[startup+160.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 5468 0 0 0 15988 18 0 0 25 0 1 0 855511550 29155328 5442 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7118 5442 566 18 0 7100 0
vsize: 28472
[startup+170.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 5674 0 0 0 16987 19 0 0 25 0 1 0 855511550 29945856 5648 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7311 5648 566 18 0 7293 0
vsize: 29244
[startup+180.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 6043 0 0 0 17986 21 0 0 25 0 1 0 855511550 31420416 6017 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7671 6017 566 18 0 7653 0
vsize: 30684
[startup+190.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 6291 0 0 0 18985 21 0 0 25 0 1 0 855511550 32485376 6265 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7931 6265 566 18 0 7913 0
vsize: 31724
[startup+200.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 6291 0 0 0 19985 22 0 0 25 0 1 0 855511550 32485376 6265 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7931 6265 566 18 0 7913 0
vsize: 31724
[startup+210.059 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 6291 0 0 0 20985 22 0 0 25 0 1 0 855511550 32485376 6265 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7931 6265 566 18 0 7913 0
vsize: 31724
[startup+220.059 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 6291 0 0 0 21985 22 0 0 25 0 1 0 855511550 32485376 6265 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7931 6265 566 18 0 7913 0
vsize: 31724
[startup+230.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 6291 0 0 0 22985 23 0 0 25 0 1 0 855511550 32485376 6265 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7931 6265 566 18 0 7913 0
vsize: 31724
[startup+240.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 6291 0 0 0 23984 23 0 0 25 0 1 0 855511550 32485376 6265 4294967295 134512640 134581267 3221224576 3221223540 134554612 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7931 6265 566 18 0 7913 0
vsize: 31724
[startup+250.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 6351 0 0 0 24984 23 0 0 25 0 1 0 855511550 32739328 6325 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7993 6325 566 18 0 7975 0
vsize: 31972
[startup+260.062 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 6568 0 0 0 25984 24 0 0 25 0 1 0 855511550 33656832 6542 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8217 6542 566 18 0 8199 0
vsize: 32868
[startup+270.063 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 6776 0 0 0 26983 25 0 0 25 0 1 0 855511550 34451456 6750 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8411 6750 566 18 0 8393 0
vsize: 33644
[startup+280.063 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 7040 0 0 0 27982 26 0 0 25 0 1 0 855511550 35524608 7014 4294967295 134512640 134581267 3221224576 3221223484 1075289690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8673 7014 566 18 0 8655 0
vsize: 34692
[startup+290.065 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 7348 0 0 0 28982 27 0 0 25 0 1 0 855511550 36847616 7322 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8996 7322 566 18 0 8978 0
vsize: 35984
[startup+300.064 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 7530 0 0 0 29981 28 0 0 25 0 1 0 855511550 37507072 7504 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9157 7504 566 18 0 9139 0
vsize: 36628
[startup+310.065 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 7718 0 0 0 30980 29 0 0 25 0 1 0 855511550 38301696 7692 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9351 7692 566 18 0 9333 0
vsize: 37404
[startup+320.066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 7922 0 0 0 31979 29 0 0 25 0 1 0 855511550 39223296 7896 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9576 7896 566 18 0 9558 0
vsize: 38304
[startup+330.067 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8162 0 0 0 32979 30 0 0 25 0 1 0 855511550 40136704 8136 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9799 8136 566 18 0 9781 0
vsize: 39196
[startup+340.066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8371 0 0 0 33979 31 0 0 25 0 1 0 855511550 41058304 8345 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10024 8345 566 18 0 10006 0
vsize: 40096
[startup+350.067 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 34978 31 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223536 134554633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+360.067 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 35978 32 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+370.067 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 36978 32 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+380.068 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 37978 32 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+390.069 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 38977 33 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+400.068 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 39977 33 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223488 134527670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+410.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 40977 33 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+420.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 41977 33 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+430.071 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 42977 33 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223476 134528024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+440.072 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 43977 33 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+450.072 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 44977 34 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+460.072 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 45976 35 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+470.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8488 0 0 0 46976 35 0 0 25 0 1 0 855511550 41451520 8462 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10120 8462 566 18 0 10102 0
vsize: 40480
[startup+480.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8558 0 0 0 47976 35 0 0 25 0 1 0 855511550 41836544 8532 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10214 8532 566 18 0 10196 0
vsize: 40856
[startup+490.073 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8746 0 0 0 48975 36 0 0 25 0 1 0 855511550 42610688 8720 4294967295 134512640 134581267 3221224576 3221223456 134520448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10403 8720 566 18 0 10385 0
vsize: 41612
[startup+500.074 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 8983 0 0 0 49974 37 0 0 25 0 1 0 855511550 43511808 8957 4294967295 134512640 134581267 3221224576 3221223460 134526888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10623 8957 566 18 0 10605 0
vsize: 42492
[startup+510.075 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9221 0 0 0 50973 38 0 0 25 0 1 0 855511550 44548096 9195 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10876 9195 566 18 0 10858 0
vsize: 43504
[startup+520.074 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9455 0 0 0 51972 39 0 0 25 0 1 0 855511550 45457408 9429 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11098 9429 566 18 0 11080 0
vsize: 44392
[startup+530.076 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9699 0 0 0 52972 40 0 0 25 0 1 0 855511550 46510080 9673 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11355 9673 566 18 0 11337 0
vsize: 45420
[startup+540.076 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9945 0 0 0 53970 42 0 0 25 0 1 0 855511550 47427584 9919 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11579 9919 566 18 0 11561 0
vsize: 46316
[startup+550.076 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 54970 42 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+560.077 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 55970 43 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+570.078 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 56970 43 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+580.078 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 57970 43 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+590.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 58970 43 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223440 134527222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+600.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 59969 44 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+610.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 60969 44 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+620.081 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 61969 44 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+630.082 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 62969 44 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+640.082 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 63969 45 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+650.083 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 64969 45 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+660.083 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 65969 45 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+670.084 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 66969 46 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+680.085 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 67969 46 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+690.086 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 68968 46 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+700.086 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 69968 47 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+710.087 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 70968 47 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+720.087 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 71968 47 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+730.087 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9953 0 0 0 72968 47 0 0 25 0 1 0 855511550 47562752 9927 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11612 9927 566 18 0 11594 0
vsize: 46448
[startup+740.088 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 73968 48 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+750.088 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 74967 48 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+760.089 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 75967 48 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+770.089 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 76967 49 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+780.089 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 77967 49 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+790.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 78967 49 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223440 134528331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+800.089 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 79967 49 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+810.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 80967 50 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+820.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 81967 50 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+830.089 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 82967 50 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+840.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 83967 50 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223396 1075289770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+850.091 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9954 0 0 0 84966 51 0 0 25 0 1 0 855511550 47292416 9890 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9890 566 18 0 11528 0
vsize: 46184
[startup+860.091 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 85966 51 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+870.091 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 86966 52 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+880.092 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 87965 52 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223324 1075285124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+890.091 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 88965 53 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+900.092 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 89965 53 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+910.093 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 90964 53 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+920.093 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 91964 54 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+930.093 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 92964 54 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+940.094 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 93964 55 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+950.093 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 94964 55 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+960.095 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 95964 55 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223440 134560418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+970.096 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 96964 55 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+980.095 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 97964 55 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+990.096 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 98964 55 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 99963 56 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 100963 56 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 101964 56 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 102963 57 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 103963 57 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 104963 57 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 105962 57 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 106962 58 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 107962 58 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 108962 59 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 109962 59 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 110961 59 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 111961 60 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 112961 61 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 9955 0 0 0 113960 61 0 0 25 0 1 0 855511550 47292416 9891 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9891 566 18 0 11528 0
vsize: 46184
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 10053 0 0 0 114959 62 0 0 25 0 1 0 855511550 47812608 9989 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11673 9989 566 18 0 11655 0
vsize: 46692
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 10227 0 0 0 115959 63 0 0 25 0 1 0 855511550 48459776 10163 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11831 10163 566 18 0 11813 0
vsize: 47324
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 10416 0 0 0 116958 63 0 0 25 0 1 0 855511550 49246208 10352 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12023 10352 566 18 0 12005 0
vsize: 48092
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 10592 0 0 0 117957 64 0 0 25 0 1 0 855511550 49901568 10528 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12183 10528 566 18 0 12165 0
vsize: 48732
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 10769 0 0 0 118957 65 0 0 25 0 1 0 855511550 50692096 10705 4294967295 134512640 134581267 3221224576 3221223440 134528336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12376 10705 566 18 0 12358 0
vsize: 49504
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23777
Raw data (stat): 23777 (Pueblo-v2) R 23776 20224 20223 0 -1 0 10943 0 0 0 119956 66 0 0 25 0 1 0 855511550 51347456 10879 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12536 10879 566 18 0 12518 0
vsize: 50144
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 23777
Raw data (stat): 23777 (Pueblo-v2) Z 23776 20224 20223 0 -1 1036 10943 0 0 0 119956 68 0 0 25 0 1 0 855511550 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.13
CPU time (s): 1200.25
CPU user time (s): 1199.57
CPU system time (s): 0.681896
CPU usage (%): 100.01
Max. virtual memory (Kb): 50144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####