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/milp/normalized-mps-v2-13-7-neos6.opb
MD5SUM	0633214154e8bab02f648560b9bfa54f
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	4460
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	233832225
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	233832225
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.18697
Number of variables	17260
Total number of constraints	9376
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	9095
Number of constraints which are nor clauses,nor cardinality constraints	233
Minimum length of a constraint	1
Maximum length of a constraint	834
Trace number 39332

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        373080 kB
Buffers:         33964 kB
Cached:         604688 kB
SwapCached:       1160 kB
Active:          65896 kB
Inactive:       575204 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        372828 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14680 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 04:01:43 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27390 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 1/54 3511
Raw data (stat): 3511 (runsolver) R 3510 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855272076 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.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 4307 0 0 0 986 13 0 0 25 0 1 0 855272076 24317952 4281 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 4281 566 18 0 5919 0
vsize: 23748
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 4307 0 0 0 1986 13 0 0 25 0 1 0 855272076 24317952 4281 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 4281 566 18 0 5919 0
vsize: 23748
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 4877 0 0 0 2985 14 0 0 25 0 1 0 855272076 26660864 4851 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6509 4851 566 18 0 6491 0
vsize: 26036
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 5373 0 0 0 3983 15 0 0 25 0 1 0 855272076 28758016 5347 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7021 5347 566 18 0 7003 0
vsize: 28084
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 5836 0 0 0 4983 17 0 0 25 0 1 0 855272076 30633984 5810 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7479 5810 566 18 0 7461 0
vsize: 29916
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 7293 0 0 0 5979 20 0 0 25 0 1 0 855272076 36507648 7267 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8913 7267 566 18 0 8895 0
vsize: 35652
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 7420 0 0 0 6979 21 0 0 25 0 1 0 855272076 37031936 7394 4294967295 134512640 134581267 3221224576 3221223408 134531724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9041 7394 566 18 0 9023 0
vsize: 36164
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 7489 0 0 0 7978 22 0 0 25 0 1 0 855272076 37425152 7463 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9137 7463 566 18 0 9119 0
vsize: 36548
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 7604 0 0 0 8977 23 0 0 25 0 1 0 855272076 37847040 7578 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9240 7578 566 18 0 9222 0
vsize: 36960
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 7766 0 0 0 9976 24 0 0 25 0 1 0 855272076 38502400 7740 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9400 7740 566 18 0 9382 0
vsize: 37600
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 8471 0 0 0 10976 25 0 0 25 0 1 0 855272076 41377792 8445 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10102 8445 566 18 0 10084 0
vsize: 40408
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 8471 0 0 0 11975 25 0 0 25 0 1 0 855272076 41377792 8445 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10102 8445 566 18 0 10084 0
vsize: 40408
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 8471 0 0 0 12975 26 0 0 25 0 1 0 855272076 41377792 8445 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10102 8445 566 18 0 10084 0
vsize: 40408
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 8471 0 0 0 13975 26 0 0 25 0 1 0 855272076 41377792 8445 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10102 8445 566 18 0 10084 0
vsize: 40408
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 8651 0 0 0 14974 27 0 0 25 0 1 0 855272076 42160128 8625 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10293 8625 566 18 0 10275 0
vsize: 41172
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 9243 0 0 0 15973 29 0 0 25 0 1 0 855272076 44605440 9217 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10890 9217 566 18 0 10872 0
vsize: 43560
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 10543 0 0 0 16970 32 0 0 25 0 1 0 855272076 49934336 10517 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12191 10517 566 18 0 12173 0
vsize: 48764
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 10625 0 0 0 17969 32 0 0 25 0 1 0 855272076 50323456 10599 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12286 10599 566 18 0 12268 0
vsize: 49144
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 10625 0 0 0 18969 33 0 0 25 0 1 0 855272076 50204672 10596 4294967295 134512640 134581267 3221224576 3221223440 134560322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12257 10596 566 18 0 12239 0
vsize: 49028
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 10625 0 0 0 19970 33 0 0 25 0 1 0 855272076 50204672 10596 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12257 10596 566 18 0 12239 0
vsize: 49028
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 10860 0 0 0 20969 33 0 0 25 0 1 0 855272076 51228672 10831 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12507 10831 566 18 0 12489 0
vsize: 50028
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 11318 0 0 0 21969 34 0 0 25 0 1 0 855272076 53166080 11289 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12980 11289 566 18 0 12962 0
vsize: 51920
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 11319 0 0 0 22969 34 0 0 25 0 1 0 855272076 53166080 11290 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12980 11290 566 18 0 12962 0
vsize: 51920
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 11319 0 0 0 23969 34 0 0 25 0 1 0 855272076 53166080 11290 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12980 11290 566 18 0 12962 0
vsize: 51920
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 11587 0 0 0 24969 35 0 0 25 0 1 0 855272076 54202368 11558 4294967295 134512640 134581267 3221224576 3221223488 134527689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13233 11558 566 18 0 13215 0
vsize: 52932
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 12379 0 0 0 25966 37 0 0 25 0 1 0 855272076 57446400 12350 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14025 12350 566 18 0 14007 0
vsize: 56100
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 12379 0 0 0 26966 37 0 0 25 0 1 0 855272076 57446400 12350 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14025 12350 566 18 0 14007 0
vsize: 56100
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 12379 0 0 0 27967 38 0 0 25 0 1 0 855272076 57446400 12350 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14025 12350 566 18 0 14007 0
vsize: 56100
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13135 0 0 0 28964 40 0 0 25 0 1 0 855272076 60567552 13106 4294967295 134512640 134581267 3221224576 3221223456 134520278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14787 13106 566 18 0 14769 0
vsize: 59148
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13166 0 0 0 29964 40 0 0 25 0 1 0 855272076 60698624 13137 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14819 13137 566 18 0 14801 0
vsize: 59276
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13166 0 0 0 30965 40 0 0 25 0 1 0 855272076 60698624 13137 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14819 13137 566 18 0 14801 0
vsize: 59276
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13166 0 0 0 31965 40 0 0 25 0 1 0 855272076 60698624 13137 4294967295 134512640 134581267 3221224576 3221223472 134517907 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14819 13137 566 18 0 14801 0
vsize: 59276
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13166 0 0 0 32965 40 0 0 25 0 1 0 855272076 60698624 13137 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14819 13137 566 18 0 14801 0
vsize: 59276
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13166 0 0 0 33965 40 0 0 25 0 1 0 855272076 60698624 13137 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14819 13137 566 18 0 14801 0
vsize: 59276
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13166 0 0 0 34965 40 0 0 25 0 1 0 855272076 60698624 13137 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14819 13137 566 18 0 14801 0
vsize: 59276
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13166 0 0 0 35965 40 0 0 25 0 1 0 855272076 60698624 13137 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14819 13137 566 18 0 14801 0
vsize: 59276
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13219 0 0 0 36965 40 0 0 25 0 1 0 855272076 60956672 13190 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14882 13190 566 18 0 14864 0
vsize: 59528
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13219 0 0 0 37966 40 0 0 25 0 1 0 855272076 60956672 13190 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14882 13190 566 18 0 14864 0
vsize: 59528
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13219 0 0 0 38966 40 0 0 25 0 1 0 855272076 60956672 13190 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14882 13190 566 18 0 14864 0
vsize: 59528
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13219 0 0 0 39966 40 0 0 25 0 1 0 855272076 60956672 13190 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14882 13190 566 18 0 14864 0
vsize: 59528
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 13775 0 0 0 40964 42 0 0 25 0 1 0 855272076 63168512 13746 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15422 13746 566 18 0 15404 0
vsize: 61688
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 41964 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 42964 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 43964 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 44965 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 45965 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 46965 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 47965 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 48965 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 49966 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 50966 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 51966 43 0 0 25 0 1 0 855272076 64208896 14014 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15676 14014 566 18 0 15658 0
vsize: 62704
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 52966 43 0 0 25 0 1 0 855272076 64188416 14009 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15671 14009 566 18 0 15653 0
vsize: 62684
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 53966 43 0 0 25 0 1 0 855272076 64188416 14009 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15671 14009 566 18 0 15653 0
vsize: 62684
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 54966 43 0 0 25 0 1 0 855272076 64188416 14009 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15671 14009 566 18 0 15653 0
vsize: 62684
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14043 0 0 0 55967 43 0 0 25 0 1 0 855272076 64188416 14009 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15671 14009 566 18 0 15653 0
vsize: 62684
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14794 0 0 0 56965 44 0 0 25 0 1 0 855272076 67317760 14760 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16435 14760 566 18 0 16417 0
vsize: 65740
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14881 0 0 0 57965 45 0 0 25 0 1 0 855272076 67702784 14847 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16529 14847 566 18 0 16511 0
vsize: 66116
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14882 0 0 0 58965 45 0 0 25 0 1 0 855272076 67702784 14848 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16529 14848 566 18 0 16511 0
vsize: 66116
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14884 0 0 0 59965 45 0 0 25 0 1 0 855272076 67702784 14850 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16529 14850 566 18 0 16511 0
vsize: 66116
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14886 0 0 0 60966 45 0 0 25 0 1 0 855272076 67702784 14852 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16529 14852 566 18 0 16511 0
vsize: 66116
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14887 0 0 0 61966 45 0 0 25 0 1 0 855272076 67702784 14853 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16529 14853 566 18 0 16511 0
vsize: 66116
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 14887 0 0 0 62966 45 0 0 25 0 1 0 855272076 67702784 14853 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16529 14853 566 18 0 16511 0
vsize: 66116
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 15429 0 0 0 63965 46 0 0 25 0 1 0 855272076 69914624 15395 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17069 15395 566 18 0 17051 0
vsize: 68276
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 15429 0 0 0 64965 46 0 0 25 0 1 0 855272076 69914624 15395 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17069 15395 566 18 0 17051 0
vsize: 68276
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 15429 0 0 0 65965 46 0 0 25 0 1 0 855272076 69914624 15395 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17069 15395 566 18 0 17051 0
vsize: 68276
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 15429 0 0 0 66966 46 0 0 25 0 1 0 855272076 69914624 15395 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17069 15395 566 18 0 17051 0
vsize: 68276
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 15429 0 0 0 67966 46 0 0 25 0 1 0 855272076 69914624 15395 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17069 15395 566 18 0 17051 0
vsize: 68276
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16070 0 0 0 68964 47 0 0 25 0 1 0 855272076 72617984 16036 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16036 566 18 0 17711 0
vsize: 70916
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16072 0 0 0 69964 47 0 0 25 0 1 0 855272076 72617984 16038 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16038 566 18 0 17711 0
vsize: 70916
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 70965 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 71965 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 72965 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 73965 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 74965 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 75965 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 76965 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 77966 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 78966 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 79966 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 80966 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 81966 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16073 0 0 0 82966 47 0 0 25 0 1 0 855272076 72617984 16039 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17729 16039 566 18 0 17711 0
vsize: 70916
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16155 0 0 0 83966 48 0 0 25 0 1 0 855272076 72880128 16121 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17793 16121 566 18 0 17775 0
vsize: 71172
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16166 0 0 0 84967 48 0 0 25 0 1 0 855272076 73011200 16132 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17825 16132 566 18 0 17807 0
vsize: 71300
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16166 0 0 0 85967 48 0 0 25 0 1 0 855272076 73011200 16132 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17825 16132 566 18 0 17807 0
vsize: 71300
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16166 0 0 0 86967 48 0 0 25 0 1 0 855272076 73011200 16132 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17825 16132 566 18 0 17807 0
vsize: 71300
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16167 0 0 0 87967 48 0 0 25 0 1 0 855272076 73011200 16133 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17825 16133 566 18 0 17807 0
vsize: 71300
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16357 0 0 0 88967 48 0 0 25 0 1 0 855272076 73785344 16323 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18014 16323 566 18 0 17996 0
vsize: 72056
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16796 0 0 0 89966 49 0 0 25 0 1 0 855272076 75603968 16762 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16762 566 18 0 18440 0
vsize: 73832
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16796 0 0 0 90966 49 0 0 25 0 1 0 855272076 75603968 16762 4294967295 134512640 134581267 3221224576 3221223520 134558744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16762 566 18 0 18440 0
vsize: 73832
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 91966 49 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 92966 49 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 93966 49 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223456 134520299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 94966 49 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 95967 49 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 96967 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 97967 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 98967 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223616 134561522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 99967 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 100967 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 101967 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 102968 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 103968 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 104968 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 105968 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 106968 50 0 0 25 0 1 0 855272076 75603968 16763 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18458 16763 566 18 0 18440 0
vsize: 73832
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 107969 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 108969 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3511
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 109969 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3564
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 110969 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3564
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 111968 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3564
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 112968 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3564
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 113968 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3564
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 114969 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3564
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 115969 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3566
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 116969 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3566
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 117969 50 0 0 25 0 1 0 855272076 75591680 16763 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18455 16763 566 18 0 18437 0
vsize: 73820
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3566
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 118969 50 0 0 25 0 1 0 855272076 75575296 16763 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18451 16763 566 18 0 18433 0
vsize: 73804
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3566
Raw data (stat): 3511 (Pueblo-v2) R 3510 31399 31398 0 -1 0 16797 0 0 0 119970 50 0 0 25 0 1 0 855272076 75575296 16763 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18451 16763 566 18 0 18433 0
vsize: 73804
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3566
Raw data (stat): 3511 (Pueblo-v2) Z 3510 31399 31398 0 -1 1036 16797 0 0 0 119970 53 0 0 25 0 1 0 855272076 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.04
CPU time (s): 1200.24
CPU user time (s): 1199.7
CPU system time (s): 0.537918
CPU usage (%): 100.016
Max. virtual memory (Kb): 73832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####