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/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb
MD5SUM	b6a39917c8daf46435ad718b26e9c6f0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
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	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	555744750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	266924
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	600
Number of constraints which are nor clauses,nor cardinality constraints	3178
Minimum length of a constraint	1
Maximum length of a constraint	10600
Trace number 39156

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 21:53:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27218 boxname=wulflinc5 idbench=1346 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b6a39917c8daf46435ad718b26e9c6f0  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-dano3mip.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-dano3mip.opb
IDLAUNCH: 27218
/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:        618728 kB
Buffers:         28568 kB
Cached:         363360 kB
SwapCached:        568 kB
Active:          46984 kB
Inactive:       347004 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        618476 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            16224 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 22:13:31 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 27218 7 1200.31 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.93 0.95 0.90 2/54 14126
Raw data (stat): 14126 (runsolver) R 14125 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853179087 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.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 8655 0 0 0 978 21 0 0 25 0 1 0 853179087 41074688 8630 4294967295 134512640 134581267 3221224576 3217028840 1075245149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10028 8630 566 18 0 10010 0
vsize: 40112
[startup+20.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 11508 0 0 0 1967 32 0 0 25 0 1 0 853179087 52670464 11483 4294967295 134512640 134581267 3221224576 3217028812 1075310620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12859 11483 566 18 0 12841 0
vsize: 51436
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 181285 0 0 0 2601 398 0 0 25 0 1 0 853179087 106270720 18648 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25945 18655 566 18 0 25927 0
vsize: 103780
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 436427 0 0 0 3049 951 0 0 25 0 1 0 853179087 118968320 21664 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29045 21672 566 18 0 29027 0
vsize: 116180
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 705621 0 0 0 3481 1519 0 0 25 0 1 0 853179087 127488000 23855 4294967295 134512640 134581267 3221224576 3221223568 134531692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31125 23863 566 18 0 31107 0
vsize: 124500
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 979174 0 0 0 3898 2101 0 0 25 0 1 0 853179087 133099520 25185 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32495 25192 566 18 0 32477 0
vsize: 129980
[startup+70.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1225861 0 0 0 4367 2633 0 0 25 0 1 0 853179087 161382400 32013 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39400 32021 566 18 0 39382 0
vsize: 157600
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338732 0 0 0 5123 2877 0 0 25 0 1 0 853179087 163303424 32654 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32654 566 18 0 39851 0
vsize: 159476
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338732 0 0 0 6123 2877 0 0 25 0 1 0 853179087 163303424 32654 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32654 566 18 0 39851 0
vsize: 159476
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338732 0 0 0 7123 2877 0 0 25 0 1 0 853179087 163303424 32654 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32654 566 18 0 39851 0
vsize: 159476
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338732 0 0 0 8123 2877 0 0 25 0 1 0 853179087 163303424 32654 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32654 566 18 0 39851 0
vsize: 159476
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338732 0 0 0 9123 2878 0 0 25 0 1 0 853179087 163303424 32654 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32654 566 18 0 39851 0
vsize: 159476
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338732 0 0 0 10123 2878 0 0 25 0 1 0 853179087 163303424 32654 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32654 566 18 0 39851 0
vsize: 159476
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338742 0 0 0 11123 2878 0 0 25 0 1 0 853179087 163303424 32664 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32664 566 18 0 39851 0
vsize: 159476
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338742 0 0 0 12123 2878 0 0 25 0 1 0 853179087 163303424 32664 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32664 566 18 0 39851 0
vsize: 159476
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338742 0 0 0 13123 2878 0 0 25 0 1 0 853179087 163303424 32664 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32664 566 18 0 39851 0
vsize: 159476
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338742 0 0 0 14123 2878 0 0 25 0 1 0 853179087 163303424 32664 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32664 566 18 0 39851 0
vsize: 159476
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338742 0 0 0 15123 2879 0 0 25 0 1 0 853179087 163303424 32664 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32664 566 18 0 39851 0
vsize: 159476
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338742 0 0 0 16123 2879 0 0 25 0 1 0 853179087 163303424 32664 4294967295 134512640 134581267 3221224576 3221223520 134559225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32664 566 18 0 39851 0
vsize: 159476
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338742 0 0 0 17123 2879 0 0 25 0 1 0 853179087 163303424 32664 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39869 32664 566 18 0 39851 0
vsize: 159476
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1338836 0 0 0 18122 2880 0 0 25 0 1 0 853179087 163696640 32758 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39965 32758 566 18 0 39947 0
vsize: 159860
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1339059 0 0 0 19122 2881 0 0 25 0 1 0 853179087 164614144 32981 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40189 32981 566 18 0 40171 0
vsize: 160756
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1339262 0 0 0 20122 2881 0 0 25 0 1 0 853179087 165400576 33184 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40381 33184 566 18 0 40363 0
vsize: 161524
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1339443 0 0 0 21120 2883 0 0 25 0 1 0 853179087 166113280 33365 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40555 33365 566 18 0 40537 0
vsize: 162220
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1339597 0 0 0 22120 2883 0 0 25 0 1 0 853179087 166768640 33519 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40715 33519 566 18 0 40697 0
vsize: 162860
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1339792 0 0 0 23120 2884 0 0 25 0 1 0 853179087 167555072 33714 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40907 33714 566 18 0 40889 0
vsize: 163628
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1339943 0 0 0 24119 2885 0 0 25 0 1 0 853179087 168210432 33865 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41067 33865 566 18 0 41049 0
vsize: 164268
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1340100 0 0 0 25119 2885 0 0 25 0 1 0 853179087 168878080 34022 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41230 34022 566 18 0 41212 0
vsize: 164920
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1340220 0 0 0 26118 2886 0 0 25 0 1 0 853179087 169271296 34142 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41326 34142 566 18 0 41308 0
vsize: 165304
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1340366 0 0 0 27118 2887 0 0 25 0 1 0 853179087 169926656 34288 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41486 34288 566 18 0 41468 0
vsize: 165944
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1340505 0 0 0 28118 2887 0 0 25 0 1 0 853179087 170459136 34427 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41616 34427 566 18 0 41598 0
vsize: 166464
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1340715 0 0 0 29117 2888 0 0 25 0 1 0 853179087 171376640 34637 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41840 34637 566 18 0 41822 0
vsize: 167360
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1340973 0 0 0 30116 2889 0 0 25 0 1 0 853179087 172429312 34895 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42097 34895 566 18 0 42079 0
vsize: 168388
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1341225 0 0 0 31115 2890 0 0 25 0 1 0 853179087 173477888 35147 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42353 35147 566 18 0 42335 0
vsize: 169412
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1341578 0 0 0 32114 2891 0 0 25 0 1 0 853179087 175050752 35500 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42737 35500 566 18 0 42719 0
vsize: 170948
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1341886 0 0 0 33114 2892 0 0 25 0 1 0 853179087 176230400 35808 4294967295 134512640 134581267 3221224576 3221223440 134560331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43025 35808 566 18 0 43007 0
vsize: 172100
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1342161 0 0 0 34113 2893 0 0 25 0 1 0 853179087 177414144 36083 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43314 36083 566 18 0 43296 0
vsize: 173256
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1342419 0 0 0 35112 2894 0 0 25 0 1 0 853179087 178503680 36341 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43580 36341 566 18 0 43562 0
vsize: 174320
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14126
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1342658 0 0 0 36111 2895 0 0 25 0 1 0 853179087 179568640 36580 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43840 36580 566 18 0 43822 0
vsize: 175360
[startup+400.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14179
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1342863 0 0 0 37106 2899 0 0 25 0 1 0 853179087 180490240 36785 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44065 36785 566 18 0 44047 0
vsize: 176260
[startup+410.022 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14179
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1343143 0 0 0 38105 2900 0 0 25 0 1 0 853179087 181891072 37065 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44407 37065 566 18 0 44389 0
vsize: 177628
[startup+420.022 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14179
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1343433 0 0 0 39104 2902 0 0 25 0 1 0 853179087 183074816 37355 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44696 37355 566 18 0 44678 0
vsize: 178784
[startup+430.023 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14179
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1343698 0 0 0 40103 2903 0 0 25 0 1 0 853179087 184123392 37620 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44952 37620 566 18 0 44934 0
vsize: 179808
[startup+440.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14179
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1343967 0 0 0 41103 2904 0 0 25 0 1 0 853179087 185171968 37889 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45208 37889 566 18 0 45190 0
vsize: 180832
[startup+450.023 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 14179
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1344204 0 0 0 42102 2904 0 0 25 0 1 0 853179087 186220544 38126 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45464 38126 566 18 0 45446 0
vsize: 181856
[startup+460.024 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 14179
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1344409 0 0 0 43102 2905 0 0 25 0 1 0 853179087 187035648 38331 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45663 38331 566 18 0 45645 0
vsize: 182652
[startup+470.025 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1344599 0 0 0 44101 2905 0 0 25 0 1 0 853179087 187834368 38521 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45858 38521 566 18 0 45840 0
vsize: 183432
[startup+480.025 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1344790 0 0 0 45101 2906 0 0 25 0 1 0 853179087 188620800 38712 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46050 38712 566 18 0 46032 0
vsize: 184200
[startup+490.025 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1344986 0 0 0 46100 2907 0 0 25 0 1 0 853179087 189407232 38908 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46242 38908 566 18 0 46224 0
vsize: 184968
[startup+500.025 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1345203 0 0 0 47100 2907 0 0 25 0 1 0 853179087 190328832 39125 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46467 39125 566 18 0 46449 0
vsize: 185868
[startup+510.026 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1345421 0 0 0 48100 2907 0 0 25 0 1 0 853179087 191246336 39343 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46691 39343 566 18 0 46673 0
vsize: 186764
[startup+520.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1345627 0 0 0 49100 2908 0 0 25 0 1 0 853179087 192053248 39549 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46888 39549 566 18 0 46870 0
vsize: 187552
[startup+530.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1345847 0 0 0 50099 2909 0 0 25 0 1 0 853179087 193101824 39769 4294967295 134512640 134581267 3221224576 3221223488 134527332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47144 39769 566 18 0 47126 0
vsize: 188576
[startup+540.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1346052 0 0 0 51098 2910 0 0 25 0 1 0 853179087 193912832 39974 4294967295 134512640 134581267 3221224576 3221223440 134560394 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47342 39974 566 18 0 47324 0
vsize: 189368
[startup+550.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1346256 0 0 0 52098 2910 0 0 25 0 1 0 853179087 194961408 40178 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47598 40178 566 18 0 47580 0
vsize: 190392
[startup+560.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1346457 0 0 0 53098 2910 0 0 25 0 1 0 853179087 195751936 40379 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47791 40379 566 18 0 47773 0
vsize: 191164
[startup+570.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1346662 0 0 0 54098 2911 0 0 25 0 1 0 853179087 196554752 40584 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47987 40584 566 18 0 47969 0
vsize: 191948
[startup+580.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1346875 0 0 0 55097 2912 0 0 25 0 1 0 853179087 197476352 40797 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48212 40797 566 18 0 48194 0
vsize: 192848
[startup+590.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1347091 0 0 0 56097 2912 0 0 25 0 1 0 853179087 198402048 41013 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48438 41013 566 18 0 48420 0
vsize: 193752
[startup+600.028 s]
Raw data (loadavg): 1.16 1.03 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1347316 0 0 0 57096 2913 0 0 25 0 1 0 853179087 199340032 41238 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48667 41238 566 18 0 48649 0
vsize: 194668
[startup+610.028 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1347547 0 0 0 58096 2914 0 0 25 0 1 0 853179087 200310784 41469 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48904 41469 566 18 0 48886 0
vsize: 195616
[startup+620.028 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1347764 0 0 0 59096 2914 0 0 25 0 1 0 853179087 201097216 41686 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49096 41686 566 18 0 49078 0
vsize: 196384
[startup+630.028 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1347956 0 0 0 60095 2914 0 0 25 0 1 0 853179087 202002432 41878 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49317 41878 566 18 0 49299 0
vsize: 197268
[startup+640.028 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1348109 0 0 0 61095 2915 0 0 25 0 1 0 853179087 202665984 42031 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49479 42031 566 18 0 49461 0
vsize: 197916
[startup+650.029 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1348274 0 0 0 62095 2915 0 0 25 0 1 0 853179087 203321344 42196 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49639 42196 566 18 0 49621 0
vsize: 198556
[startup+660.029 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1348470 0 0 0 63095 2916 0 0 25 0 1 0 853179087 204107776 42392 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49831 42392 566 18 0 49813 0
vsize: 199324
[startup+670.028 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1348654 0 0 0 64095 2916 0 0 25 0 1 0 853179087 204894208 42576 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50023 42576 566 18 0 50005 0
vsize: 200092
[startup+680.029 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1348853 0 0 0 65094 2916 0 0 25 0 1 0 853179087 205680640 42775 4294967295 134512640 134581267 3221224576 3221223324 1075285120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50215 42775 566 18 0 50197 0
vsize: 200860
[startup+690.029 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1349081 0 0 0 66094 2917 0 0 25 0 1 0 853179087 206602240 43003 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50440 43003 566 18 0 50422 0
vsize: 201760
[startup+700.029 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1349322 0 0 0 67093 2918 0 0 25 0 1 0 853179087 207720448 43244 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50713 43244 566 18 0 50695 0
vsize: 202852
[startup+710.03 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1349593 0 0 0 68093 2918 0 0 25 0 1 0 853179087 208769024 43515 4294967295 134512640 134581267 3221224576 3221223460 134560152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50969 43515 566 18 0 50951 0
vsize: 203876
[startup+720.03 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1349837 0 0 0 69093 2918 0 0 25 0 1 0 853179087 209817600 43759 4294967295 134512640 134581267 3221224576 3221223492 1075285486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51225 43759 566 18 0 51207 0
vsize: 204900
[startup+730.03 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 14181
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350044 0 0 0 70093 2919 0 0 25 0 1 0 853179087 210604032 43966 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51417 43966 566 18 0 51399 0
vsize: 205668
[startup+740.03 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350232 0 0 0 71093 2919 0 0 25 0 1 0 853179087 211394560 44154 4294967295 134512640 134581267 3221224576 3221223536 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44154 566 18 0 51592 0
vsize: 206440
[startup+750.031 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350232 0 0 0 72093 2919 0 0 25 0 1 0 853179087 211394560 44154 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44154 566 18 0 51592 0
vsize: 206440
[startup+760.031 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350232 0 0 0 73093 2919 0 0 25 0 1 0 853179087 211394560 44154 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44154 566 18 0 51592 0
vsize: 206440
[startup+770.032 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350233 0 0 0 74093 2919 0 0 25 0 1 0 853179087 211394560 44155 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44155 566 18 0 51592 0
vsize: 206440
[startup+780.032 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350233 0 0 0 75093 2919 0 0 25 0 1 0 853179087 211394560 44155 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44155 566 18 0 51592 0
vsize: 206440
[startup+790.032 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350233 0 0 0 76094 2919 0 0 25 0 1 0 853179087 211394560 44155 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44155 566 18 0 51592 0
vsize: 206440
[startup+800.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350236 0 0 0 77094 2919 0 0 25 0 1 0 853179087 211394560 44158 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44158 566 18 0 51592 0
vsize: 206440
[startup+810.032 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350236 0 0 0 78094 2919 0 0 25 0 1 0 853179087 211394560 44158 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44158 566 18 0 51592 0
vsize: 206440
[startup+820.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350236 0 0 0 79094 2919 0 0 25 0 1 0 853179087 211394560 44158 4294967295 134512640 134581267 3221224576 3221223520 134559013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44158 566 18 0 51592 0
vsize: 206440
[startup+830.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 80094 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+840.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 81095 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+850.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 82095 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+860.034 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 83095 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 84095 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223488 134527941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 85095 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 86096 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 87096 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 88096 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 89096 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223440 134560319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 90096 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 91097 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 92097 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350237 0 0 0 93097 2919 0 0 25 0 1 0 853179087 211394560 44159 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44159 566 18 0 51592 0
vsize: 206440
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350238 0 0 0 94097 2919 0 0 25 0 1 0 853179087 211394560 44160 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44160 566 18 0 51592 0
vsize: 206440
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350240 0 0 0 95097 2919 0 0 25 0 1 0 853179087 211394560 44162 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44162 566 18 0 51592 0
vsize: 206440
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350240 0 0 0 96097 2920 0 0 25 0 1 0 853179087 211394560 44162 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44162 566 18 0 51592 0
vsize: 206440
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350242 0 0 0 97098 2920 0 0 25 0 1 0 853179087 211394560 44164 4294967295 134512640 134581267 3221224576 3221223568 134560619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44164 566 18 0 51592 0
vsize: 206440
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350242 0 0 0 98098 2920 0 0 25 0 1 0 853179087 211394560 44164 4294967295 134512640 134581267 3221224576 3221223520 134559046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44164 566 18 0 51592 0
vsize: 206440
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350242 0 0 0 99098 2920 0 0 25 0 1 0 853179087 211394560 44164 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44164 566 18 0 51592 0
vsize: 206440
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350243 0 0 0 100098 2920 0 0 25 0 1 0 853179087 211394560 44165 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44165 566 18 0 51592 0
vsize: 206440
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350243 0 0 0 101098 2920 0 0 25 0 1 0 853179087 211394560 44165 4294967295 134512640 134581267 3221224576 3221223520 134559205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44165 566 18 0 51592 0
vsize: 206440
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350243 0 0 0 102098 2920 0 0 25 0 1 0 853179087 211394560 44165 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44165 566 18 0 51592 0
vsize: 206440
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350244 0 0 0 103098 2920 0 0 25 0 1 0 853179087 211394560 44166 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44166 566 18 0 51592 0
vsize: 206440
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350244 0 0 0 104098 2920 0 0 25 0 1 0 853179087 211394560 44166 4294967295 134512640 134581267 3221224576 3221223520 134559225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44166 566 18 0 51592 0
vsize: 206440
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350245 0 0 0 105098 2921 0 0 25 0 1 0 853179087 211394560 44167 4294967295 134512640 134581267 3221224576 3221223440 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44167 566 18 0 51592 0
vsize: 206440
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350246 0 0 0 106098 2921 0 0 25 0 1 0 853179087 211394560 44168 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44168 566 18 0 51592 0
vsize: 206440
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350247 0 0 0 107099 2921 0 0 25 0 1 0 853179087 211394560 44169 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44169 566 18 0 51592 0
vsize: 206440
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350247 0 0 0 108099 2921 0 0 25 0 1 0 853179087 211394560 44169 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44169 566 18 0 51592 0
vsize: 206440
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350247 0 0 0 109099 2921 0 0 25 0 1 0 853179087 211394560 44169 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44169 566 18 0 51592 0
vsize: 206440
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350248 0 0 0 110099 2921 0 0 25 0 1 0 853179087 211394560 44170 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44170 566 18 0 51592 0
vsize: 206440
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350248 0 0 0 111099 2921 0 0 25 0 1 0 853179087 211394560 44170 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44170 566 18 0 51592 0
vsize: 206440
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350248 0 0 0 112100 2921 0 0 25 0 1 0 853179087 211394560 44170 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44170 566 18 0 51592 0
vsize: 206440
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350248 0 0 0 113100 2921 0 0 25 0 1 0 853179087 211394560 44170 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44170 566 18 0 51592 0
vsize: 206440
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350249 0 0 0 114100 2921 0 0 25 0 1 0 853179087 211394560 44171 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44171 566 18 0 51592 0
vsize: 206440
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350249 0 0 0 115100 2921 0 0 25 0 1 0 853179087 211394560 44171 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44171 566 18 0 51592 0
vsize: 206440
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350249 0 0 0 116100 2921 0 0 25 0 1 0 853179087 211394560 44171 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44171 566 18 0 51592 0
vsize: 206440
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14183
Raw data (stat): 14126 (Pueblo-v2) R 14125 7266 7265 0 -1 0 1350249 0 0 0 117100 2921 0 0 25 0 1 0 853179087 211394560 44171 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51610 44171 566 18 0 51592 0
vsize: 206440
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 14183
Raw data (stat): 14126 (Pueblo-v2) Z 14125 7266 7265 0 -1 1036 1350249 0 0 0 117100 2929 0 0 25 0 1 0 853179087 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.31
CPU user time (s): 1171.01
CPU system time (s): 29.2975
CPU usage (%): 100.015
Max. virtual memory (Kb): 206440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####