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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
MD5SUM	ed1ca962177baf0f135b785abad8adea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	1150
Total number of constraints	80072
Number of constraints which are clauses	80072
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 38538

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        698784 kB
Buffers:         34228 kB
Cached:         279228 kB
SwapCached:        228 kB
Active:          62492 kB
Inactive:       253576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        698532 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6336 kB
Slab:            14172 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 13:07:07 (client local time) WITH STATUS 0 IN 1200.56 SECONDS
stats: 26604 7 1200.56 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.98 0.94 1/54 10131
Raw data (stat): 10131 (runsolver) R 10130 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849892250 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99967 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 4238 0 0 0 988 10 0 0 25 0 1 0 849892250 23166976 4212 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5656 4212 566 18 0 5638 0
vsize: 22624
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 7618 0 0 0 1980 19 0 0 25 0 1 0 849892250 37097472 7592 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9057 7592 566 18 0 9039 0
vsize: 36228
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 10556 0 0 0 2973 25 0 0 25 0 1 0 849892250 49143808 10530 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11998 10530 566 18 0 11980 0
vsize: 47992
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 12675 0 0 0 3967 31 0 0 25 0 1 0 849892250 57933824 12649 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14177 12650 566 18 0 14159 0
vsize: 56576
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 15227 0 0 0 4960 39 0 0 25 0 1 0 849892250 68501504 15201 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16724 15201 566 18 0 16706 0
vsize: 66896
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 16796 0 0 0 5957 42 0 0 25 0 1 0 849892250 74919936 16770 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18291 16770 566 18 0 18273 0
vsize: 73164
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 18857 0 0 0 6952 47 0 0 25 0 1 0 849892250 83329024 18831 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20344 18831 566 18 0 20326 0
vsize: 81376
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 21063 0 0 0 7947 53 0 0 25 0 1 0 849892250 92516352 21037 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22587 21037 566 18 0 22569 0
vsize: 90348
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 23410 0 0 0 8940 60 0 0 25 0 1 0 849892250 102150144 23384 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24939 23384 566 18 0 24921 0
vsize: 99756
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 25362 0 0 0 9935 65 0 0 25 0 1 0 849892250 110178304 25336 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26899 25336 566 18 0 26881 0
vsize: 107596
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 27253 0 0 0 10931 69 0 0 25 0 1 0 849892250 117833728 27227 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28768 27227 566 18 0 28750 0
vsize: 115072
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 29361 0 0 0 11927 73 0 0 25 0 1 0 849892250 126554112 29335 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30897 29335 566 18 0 30879 0
vsize: 123588
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 31429 0 0 0 12921 79 0 0 25 0 1 0 849892250 134971392 31403 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32952 31403 566 18 0 32934 0
vsize: 131808
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 32588 0 0 0 13918 82 0 0 25 0 1 0 849892250 139796480 32562 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34130 32562 566 18 0 34112 0
vsize: 136520
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 33533 0 0 0 14917 85 0 0 25 0 1 0 849892250 143618048 33507 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35063 33508 566 18 0 35045 0
vsize: 140252
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 35302 0 0 0 15912 89 0 0 25 0 1 0 849892250 150917120 35276 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36845 35276 566 18 0 36827 0
vsize: 147380
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 37622 0 0 0 16907 95 0 0 25 0 1 0 849892250 160448512 37596 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39172 37596 566 18 0 39154 0
vsize: 156688
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 39429 0 0 0 17903 99 0 0 25 0 1 0 849892250 167956480 39403 4294967295 134512640 134581267 3221224592 3221223472 134520212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41005 39403 566 18 0 40987 0
vsize: 164020
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 40693 0 0 0 18898 103 0 0 25 0 1 0 849892250 173150208 40667 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42273 40667 566 18 0 42255 0
vsize: 169092
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 42156 0 0 0 19896 106 0 0 25 0 1 0 849892250 179097600 42130 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43725 42130 566 18 0 43707 0
vsize: 174900
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 44154 0 0 0 20891 111 0 0 25 0 1 0 849892250 187408384 44128 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45754 44128 566 18 0 45736 0
vsize: 183016
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 45283 0 0 0 21888 114 0 0 25 0 1 0 849892250 191987712 45257 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46872 45257 566 18 0 46854 0
vsize: 187488
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 46871 0 0 0 22885 118 0 0 25 0 1 0 849892250 198782976 46845 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48531 46845 566 18 0 48513 0
vsize: 194124
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 48942 0 0 0 23879 124 0 0 25 0 1 0 849892250 207196160 48916 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50585 48916 566 18 0 50567 0
vsize: 202340
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 50347 0 0 0 24875 128 0 0 25 0 1 0 849892250 213024768 50321 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52008 50321 566 18 0 51990 0
vsize: 208032
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 51369 0 0 0 25873 130 0 0 25 0 1 0 849892250 217415680 51343 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53080 51343 566 18 0 53062 0
vsize: 212320
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 51833 0 0 0 26872 132 0 0 25 0 1 0 849892250 219480064 51807 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53584 51807 566 18 0 53566 0
vsize: 214336
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 53736 0 0 0 27868 136 0 0 25 0 1 0 849892250 227274752 53710 4294967295 134512640 134581267 3221224592 3221223488 134517779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55487 53710 566 18 0 55469 0
vsize: 221948
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 55158 0 0 0 28864 140 0 0 25 0 1 0 849892250 233091072 55132 4294967295 134512640 134581267 3221224592 3221223488 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56907 55134 566 18 0 56889 0
vsize: 227628
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 56563 0 0 0 29862 142 0 0 25 0 1 0 849892250 238895104 56537 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58324 56537 566 18 0 58306 0
vsize: 233296
[startup+310.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 58620 0 0 0 30858 147 0 0 25 0 1 0 849892250 247312384 58594 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60379 58594 566 18 0 60361 0
vsize: 241516
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 59797 0 0 0 31855 150 0 0 25 0 1 0 849892250 252137472 59771 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61557 59771 566 18 0 61539 0
vsize: 246228
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 61135 0 0 0 32852 153 0 0 25 0 1 0 849892250 257667072 61109 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62907 61109 566 18 0 62889 0
vsize: 251628
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 63097 0 0 0 33847 158 0 0 25 0 1 0 849892250 265723904 63071 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64874 63071 566 18 0 64856 0
vsize: 259496
[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 64285 0 0 0 34845 161 0 0 25 0 1 0 849892250 270553088 64259 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66053 64259 566 18 0 66035 0
vsize: 264212
[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 65748 0 0 0 35841 164 0 0 25 0 1 0 849892250 276680704 65722 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67549 65722 566 18 0 67531 0
vsize: 270196
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 67609 0 0 0 36837 169 0 0 25 0 1 0 849892250 284180480 67583 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69380 67583 566 18 0 69362 0
vsize: 277520
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 68826 0 0 0 37834 172 0 0 25 0 1 0 849892250 289255424 68800 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70619 68800 566 18 0 70601 0
vsize: 282476
[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 70383 0 0 0 38831 176 0 0 25 0 1 0 849892250 295567360 70357 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72160 70357 566 18 0 72142 0
vsize: 288640
[startup+400.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 71820 0 0 0 39828 179 0 0 25 0 1 0 849892250 301510656 71794 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73611 71794 566 18 0 73593 0
vsize: 294444
[startup+410.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 73102 0 0 0 40825 182 0 0 25 0 1 0 849892250 307269632 73076 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75017 73076 566 18 0 74999 0
vsize: 300068
[startup+420.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 74321 0 0 0 41821 186 0 0 25 0 1 0 849892250 312217600 74295 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76225 74295 566 18 0 76207 0
vsize: 304900
[startup+430.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 75372 0 0 0 42819 188 0 0 25 0 1 0 849892250 316739584 75346 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77329 75346 566 18 0 77311 0
vsize: 309316
[startup+440.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 77445 0 0 0 43813 194 0 0 25 0 1 0 849892250 325414912 77419 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79447 77420 566 18 0 79429 0
vsize: 317788
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 78669 0 0 0 44811 197 0 0 25 0 1 0 849892250 330366976 78643 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80656 78643 566 18 0 80638 0
vsize: 322624
[startup+460.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 79797 0 0 0 45808 200 0 0 25 0 1 0 849892250 335265792 79771 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81852 79771 566 18 0 81834 0
vsize: 327408
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 81553 0 0 0 46803 205 0 0 25 0 1 0 849892250 342458368 81527 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83608 81527 566 18 0 83590 0
vsize: 334432
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 82782 0 0 0 47802 207 0 0 25 0 1 0 849892250 347529216 82756 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84846 82756 566 18 0 84828 0
vsize: 339384
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 84128 0 0 0 48798 210 0 0 25 0 1 0 849892250 353046528 84102 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86193 84102 566 18 0 86175 0
vsize: 344772
[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 85751 0 0 0 49795 214 0 0 25 0 1 0 849892250 359768064 85693 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87834 85693 566 18 0 87816 0
vsize: 351336
[startup+510.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 87022 0 0 0 50792 217 0 0 25 0 1 0 849892250 365088768 86964 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89133 86964 566 18 0 89115 0
vsize: 356532
[startup+520.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 88530 0 0 0 51788 221 0 0 25 0 1 0 849892250 371150848 88472 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90613 88472 566 18 0 90595 0
vsize: 362452
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 89401 0 0 0 52786 223 0 0 25 0 1 0 849892250 375029760 89343 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91560 89343 566 18 0 91542 0
vsize: 366240
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 90940 0 0 0 53783 226 0 0 25 0 1 0 849892250 381341696 90882 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93101 90882 566 18 0 93083 0
vsize: 372404
[startup+550.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 92230 0 0 0 54780 230 0 0 25 0 1 0 849892250 386662400 92172 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94400 92172 566 18 0 94382 0
vsize: 377600
[startup+560.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 93458 0 0 0 55777 233 0 0 25 0 1 0 849892250 391831552 93400 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95662 93400 566 18 0 95644 0
vsize: 382648
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 96627 0 0 0 56771 239 0 0 25 0 1 0 849892250 404807680 96569 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98830 96569 566 18 0 98812 0
vsize: 395320
[startup+580.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 99439 0 0 0 57764 246 0 0 25 0 1 0 849892250 416296960 99381 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101635 99381 566 18 0 101617 0
vsize: 406540
[startup+590.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 101781 0 0 0 58760 250 0 0 25 0 1 0 849892250 425934848 101723 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103988 101724 566 18 0 103970 0
vsize: 415952
[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 104221 0 0 0 59756 255 0 0 25 0 1 0 849892250 435937280 104163 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106430 104163 566 18 0 106412 0
vsize: 425720
[startup+610.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 105745 0 0 0 60753 258 0 0 25 0 1 0 849892250 443203584 105655 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108204 105655 566 18 0 108186 0
vsize: 432816
[startup+620.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 106602 0 0 0 61752 260 0 0 25 0 1 0 849892250 448970752 106512 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109612 106512 566 18 0 109594 0
vsize: 438448
[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 107448 0 0 0 62750 261 0 0 25 0 1 0 849892250 454737920 107358 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111020 107358 566 18 0 111002 0
vsize: 444080
[startup+640.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 108143 0 0 0 63749 262 0 0 25 0 1 0 849892250 459456512 108053 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112172 108053 566 18 0 112154 0
vsize: 448688
[startup+650.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 108914 0 0 0 64748 264 0 0 25 0 1 0 849892250 464699392 108824 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113452 108824 566 18 0 113434 0
vsize: 453808
[startup+660.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 109683 0 0 0 65747 265 0 0 25 0 1 0 849892250 469942272 109593 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114732 109593 566 18 0 114714 0
vsize: 458928
[startup+670.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 109757 0 0 0 66747 265 0 0 25 0 1 0 849892250 470466560 109667 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114860 109667 566 18 0 114842 0
vsize: 459440
[startup+680.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 109842 0 0 0 67747 265 0 0 25 0 1 0 849892250 470990848 109752 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114988 109752 566 18 0 114970 0
vsize: 459952
[startup+690.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 109969 0 0 0 68746 266 0 0 25 0 1 0 849892250 471625728 109879 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115143 109879 566 18 0 115125 0
vsize: 460572
[startup+700.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 110079 0 0 0 69746 266 0 0 25 0 1 0 849892250 472121344 109989 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115264 109989 566 18 0 115246 0
vsize: 461056
[startup+710.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 110200 0 0 0 70746 267 0 0 25 0 1 0 849892250 472616960 110110 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115385 110110 566 18 0 115367 0
vsize: 461540
[startup+720.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 110403 0 0 0 71746 267 0 0 25 0 1 0 849892250 473481216 110313 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115596 110313 566 18 0 115578 0
vsize: 462384
[startup+730.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 110518 0 0 0 72746 267 0 0 25 0 1 0 849892250 473853952 110428 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115687 110428 566 18 0 115669 0
vsize: 462748
[startup+740.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 111109 0 0 0 73745 268 0 0 25 0 1 0 849892250 476434432 111019 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116317 111019 566 18 0 116299 0
vsize: 465268
[startup+750.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 111633 0 0 0 74744 269 0 0 25 0 1 0 849892250 478662656 111543 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116861 111543 566 18 0 116843 0
vsize: 467444
[startup+760.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 112039 0 0 0 75743 271 0 0 25 0 1 0 849892250 480272384 111949 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117254 111949 566 18 0 117236 0
vsize: 469016
[startup+770.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 112421 0 0 0 76742 272 0 0 25 0 1 0 849892250 481878016 112331 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117646 112331 566 18 0 117628 0
vsize: 470584
[startup+780.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 10131
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 112811 0 0 0 77742 272 0 0 25 0 1 0 849892250 483364864 112721 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118009 112721 566 18 0 117991 0
vsize: 472036
[startup+790.109 s]
Raw data (loadavg): 1.07 1.00 0.94 2/58 10174
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 113184 0 0 0 78744 277 0 0 25 0 1 0 849892250 484970496 113094 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118401 113094 566 18 0 118383 0
vsize: 473604
[startup+800.149 s]
Raw data (loadavg): 1.14 1.02 0.95 3/58 10184
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 113542 0 0 0 79744 281 0 0 25 0 1 0 849892250 486457344 113452 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118764 113452 566 18 0 118746 0
vsize: 475056
[startup+810.149 s]
Raw data (loadavg): 1.19 1.03 0.95 2/54 10184
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 113919 0 0 0 80742 283 0 0 25 0 1 0 849892250 487940096 113829 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119126 113829 566 18 0 119108 0
vsize: 476504
[startup+820.15 s]
Raw data (loadavg): 1.16 1.03 0.95 2/54 10184
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 114273 0 0 0 81742 283 0 0 25 0 1 0 849892250 489426944 114183 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119489 114183 566 18 0 119471 0
vsize: 477956
[startup+830.15 s]
Raw data (loadavg): 1.14 1.03 0.95 2/54 10184
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 114663 0 0 0 82741 285 0 0 25 0 1 0 849892250 491036672 114573 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119882 114573 566 18 0 119864 0
vsize: 479528
[startup+840.149 s]
Raw data (loadavg): 1.12 1.03 0.95 2/54 10184
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 115049 0 0 0 83740 286 0 0 25 0 1 0 849892250 492642304 114959 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120274 114959 566 18 0 120256 0
vsize: 481096
[startup+850.15 s]
Raw data (loadavg): 1.10 1.03 0.95 2/54 10184
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 115438 0 0 0 84739 287 0 0 25 0 1 0 849892250 494129152 115348 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120637 115348 566 18 0 120619 0
vsize: 482548
[startup+860.15 s]
Raw data (loadavg): 1.08 1.03 0.95 2/54 10184
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 115810 0 0 0 85738 288 0 0 25 0 1 0 849892250 495738880 115720 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121030 115720 566 18 0 121012 0
vsize: 484120
[startup+870.151 s]
Raw data (loadavg): 1.07 1.02 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 116628 0 0 0 86736 290 0 0 25 0 1 0 849892250 499077120 116538 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121845 116538 566 18 0 121827 0
vsize: 487380
[startup+880.151 s]
Raw data (loadavg): 1.06 1.02 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 118899 0 0 0 87731 295 0 0 25 0 1 0 849892250 508346368 118809 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124108 118809 566 18 0 124090 0
vsize: 496432
[startup+890.151 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 120297 0 0 0 88728 298 0 0 25 0 1 0 849892250 514031616 120207 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125496 120207 566 18 0 125478 0
vsize: 501984
[startup+900.151 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 120620 0 0 0 89727 299 0 0 25 0 1 0 849892250 515813376 120530 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125931 120530 566 18 0 125913 0
vsize: 503724
[startup+910.151 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 123504 0 0 0 90721 306 0 0 25 0 1 0 849892250 527552512 123414 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128797 123414 566 18 0 128779 0
vsize: 515188
[startup+920.152 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 125982 0 0 0 91715 312 0 0 25 0 1 0 849892250 537686016 125892 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131271 125892 566 18 0 131253 0
vsize: 525084
[startup+930.152 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 127874 0 0 0 92712 315 0 0 25 0 1 0 849892250 545468416 127784 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133171 127784 566 18 0 133153 0
vsize: 532684
[startup+940.152 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 128510 0 0 0 93710 317 0 0 25 0 1 0 849892250 548065280 128420 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133805 128420 566 18 0 133787 0
vsize: 535220
[startup+950.153 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 128914 0 0 0 94709 318 0 0 25 0 1 0 849892250 549670912 128824 4294967295 134512640 134581267 3221224592 3221223488 134517806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134197 128824 566 18 0 134179 0
vsize: 536788
[startup+960.153 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 129114 0 0 0 95709 319 0 0 25 0 1 0 849892250 550535168 129024 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134408 129024 566 18 0 134390 0
vsize: 537632
[startup+970.153 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 129376 0 0 0 96709 319 0 0 25 0 1 0 849892250 551649280 129286 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134680 129286 566 18 0 134662 0
vsize: 538720
[startup+980.153 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 129590 0 0 0 97709 319 0 0 25 0 1 0 849892250 552509440 129500 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134890 129500 566 18 0 134872 0
vsize: 539560
[startup+990.153 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 129787 0 0 0 98708 320 0 0 25 0 1 0 849892250 553250816 129697 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135071 129697 566 18 0 135053 0
vsize: 540284
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 130046 0 0 0 99707 321 0 0 25 0 1 0 849892250 554364928 129956 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135343 129956 566 18 0 135325 0
vsize: 541372
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 130244 0 0 0 100707 321 0 0 25 0 1 0 849892250 555106304 130154 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135524 130154 566 18 0 135506 0
vsize: 542096
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 130527 0 0 0 101706 322 0 0 25 0 1 0 849892250 556339200 130437 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135825 130437 566 18 0 135807 0
vsize: 543300
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 130674 0 0 0 102706 323 0 0 25 0 1 0 849892250 556974080 130584 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135980 130584 566 18 0 135962 0
vsize: 543920
[startup+1040.15 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 130780 0 0 0 103706 323 0 0 25 0 1 0 849892250 557637632 130690 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136142 130690 566 18 0 136124 0
vsize: 544568
[startup+1050.15 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 130800 0 0 0 104705 324 0 0 25 0 1 0 849892250 557637632 130710 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136142 130710 566 18 0 136124 0
vsize: 544568
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 131051 0 0 0 105705 324 0 0 25 0 1 0 849892250 558628864 130961 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136384 130961 566 18 0 136366 0
vsize: 545536
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 131395 0 0 0 106703 326 0 0 25 0 1 0 849892250 559984640 131305 4294967295 134512640 134581267 3221224592 3221223536 134558800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136715 131305 566 18 0 136697 0
vsize: 546860
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 131770 0 0 0 107702 327 0 0 25 0 1 0 849892250 561467392 131680 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137077 131680 566 18 0 137059 0
vsize: 548308
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 132143 0 0 0 108701 329 0 0 25 0 1 0 849892250 563073024 132053 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137469 132053 566 18 0 137451 0
vsize: 549876
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 132492 0 0 0 109700 330 0 0 25 0 1 0 849892250 564432896 132402 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137801 132402 566 18 0 137783 0
vsize: 551204
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 132828 0 0 0 110698 332 0 0 25 0 1 0 849892250 565788672 132738 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138132 132738 566 18 0 138114 0
vsize: 552528
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 133162 0 0 0 111697 333 0 0 25 0 1 0 849892250 567267328 133072 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138493 133072 566 18 0 138475 0
vsize: 553972
[startup+1130.16 s]
Raw data (loadavg): 1.07 1.02 0.96 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 133491 0 0 0 112697 333 0 0 25 0 1 0 849892250 568504320 133401 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138795 133401 566 18 0 138777 0
vsize: 555180
[startup+1140.16 s]
Raw data (loadavg): 1.06 1.01 0.96 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 133865 0 0 0 113695 335 0 0 25 0 1 0 849892250 570105856 133775 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139186 133775 566 18 0 139168 0
vsize: 556744
[startup+1150.16 s]
Raw data (loadavg): 1.05 1.01 0.96 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 134215 0 0 0 114694 336 0 0 25 0 1 0 849892250 571461632 134125 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139517 134125 566 18 0 139499 0
vsize: 558068
[startup+1160.16 s]
Raw data (loadavg): 1.04 1.01 0.96 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 134504 0 0 0 115692 338 0 0 25 0 1 0 849892250 572694528 134414 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139818 134414 566 18 0 139800 0
vsize: 559272
[startup+1170.16 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 10186
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 134504 0 0 0 116692 338 0 0 25 0 1 0 849892250 572694528 134414 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139818 134414 566 18 0 139800 0
vsize: 559272
[startup+1180.16 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 10188
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 134504 0 0 0 117691 339 0 0 25 0 1 0 849892250 572694528 134414 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139818 134414 566 18 0 139800 0
vsize: 559272
[startup+1190.16 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 10188
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 134504 0 0 0 118691 339 0 0 25 0 1 0 849892250 572694528 134414 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139818 134414 566 18 0 139800 0
vsize: 559272
[startup+1200.16 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 10188
Raw data (stat): 10131 (Pueblo-v2) R 10130 20224 20223 0 -1 0 134504 0 0 0 119691 339 0 0 25 0 1 0 849892250 572694528 134414 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139818 134414 566 18 0 139800 0
vsize: 559272
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.41 s]
Raw data (loadavg): 1.02 1.01 0.96 1/54 10188
Raw data (stat): 10131 (Pueblo-v2) Z 10130 20224 20223 0 -1 1036 134504 0 0 0 119691 364 0 0 25 0 1 0 849892250 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.41
CPU time (s): 1200.56
CPU user time (s): 1196.91
CPU system time (s): 3.64845
CPU usage (%): 100.012
Max. virtual memory (Kb): 559272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####