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/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM	f6c01aa815aa7b4a79652c8bfa8bef11
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-44
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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.14
Number of variables	1534
Total number of constraints	127011
Number of constraints which are clauses	127011
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 38556

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 13:47:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26622 boxname=wulflinc3 idbench=352 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f6c01aa815aa7b4a79652c8bfa8bef11  /oldhome/oroussel/tmp/wulflinc3/normalized-frb59-26-4.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb59-26-4.opb
IDLAUNCH: 26622
/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:        689784 kB
Buffers:         34284 kB
Cached:         288012 kB
SwapCached:        228 kB
Active:          63648 kB
Inactive:       261236 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        689532 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6336 kB
Slab:            14180 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:06:29 (client local time) WITH STATUS 0 IN 1146.24 SECONDS
stats: 26622 7 1146.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
Pueblo-v2: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc3/normalized-frb59-26-4.opb
c #variables read: 1534 - #constraints read: 127012
#### 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.99 0.96 2/54 10466
Raw data (stat): 10466 (runsolver) R 10465 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850253912 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+10.0009 s]
Raw data (loadavg): 0.94 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 4606 0 0 0 988 10 0 0 25 0 1 0 850253912 24326144 4548 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5939 4548 566 18 0 5921 0
vsize: 23756
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 7886 0 0 0 1980 18 0 0 25 0 1 0 850253912 37769216 7828 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9221 7828 566 18 0 9203 0
vsize: 36884
[startup+30.0022 s]
Raw data (loadavg): 0.96 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 11247 0 0 0 2974 24 0 0 25 0 1 0 850253912 51630080 11189 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12605 11189 566 18 0 12587 0
vsize: 50420
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 14034 0 0 0 3968 30 0 0 25 0 1 0 850253912 63008768 13976 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15383 13976 566 18 0 15365 0
vsize: 61532
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 17457 0 0 0 4961 38 0 0 25 0 1 0 850253912 77053952 17399 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18812 17399 566 18 0 18794 0
vsize: 75248
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 20132 0 0 0 5955 43 0 0 25 0 1 0 850253912 88039424 20074 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21494 20074 566 18 0 21476 0
vsize: 85976
[startup+70.0029 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 22936 0 0 0 6950 49 0 0 25 0 1 0 850253912 99651584 22878 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24329 22878 566 18 0 24311 0
vsize: 97316
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 25796 0 0 0 7945 55 0 0 25 0 1 0 850253912 111386624 25738 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27194 25738 566 18 0 27176 0
vsize: 108776
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 28599 0 0 0 8941 59 0 0 25 0 1 0 850253912 122933248 28541 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30013 28541 566 18 0 29995 0
vsize: 120052
[startup+100.003 s]
Raw data (loadavg): 0.98 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 30418 0 0 0 9937 63 0 0 25 0 1 0 850253912 130662400 30360 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31900 30360 566 18 0 31882 0
vsize: 127600
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 32241 0 0 0 10933 67 0 0 25 0 1 0 850253912 138158080 32183 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33730 32183 566 18 0 33712 0
vsize: 134920
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 35118 0 0 0 11925 75 0 0 25 0 1 0 850253912 149901312 35060 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36597 35060 566 18 0 36579 0
vsize: 146388
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 37318 0 0 0 12920 80 0 0 25 0 1 0 850253912 159006720 37260 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38820 37260 566 18 0 38802 0
vsize: 155280
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 39414 0 0 0 13916 85 0 0 25 0 1 0 850253912 167686144 39356 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40939 39356 566 18 0 40921 0
vsize: 163756
[startup+150.005 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 42823 0 0 0 14910 91 0 0 25 0 1 0 850253912 181690368 42765 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44358 42765 566 18 0 44340 0
vsize: 177432
[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 44343 0 0 0 15907 94 0 0 25 0 1 0 850253912 187944960 44285 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45885 44285 566 18 0 45867 0
vsize: 183540
[startup+170.005 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 45630 0 0 0 16904 97 0 0 25 0 1 0 850253912 193232896 45572 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47176 45572 566 18 0 47158 0
vsize: 188704
[startup+180.006 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 47784 0 0 0 17901 100 0 0 25 0 1 0 850253912 202178560 47726 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49360 47726 566 18 0 49342 0
vsize: 197440
[startup+190.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 49865 0 0 0 18897 105 0 0 25 0 1 0 850253912 210644992 49807 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51427 49807 566 18 0 51409 0
vsize: 205708
[startup+200.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 51458 0 0 0 19893 109 0 0 25 0 1 0 850253912 217124864 51400 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53009 51400 566 18 0 52991 0
vsize: 212036
[startup+210.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 54065 0 0 0 20889 113 0 0 25 0 1 0 850253912 228126720 54007 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55695 54007 566 18 0 55677 0
vsize: 222780
[startup+220.007 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 55983 0 0 0 21886 116 0 0 25 0 1 0 850253912 236122112 55925 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57647 55925 566 18 0 57629 0
vsize: 230588
[startup+230.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 58047 0 0 0 22882 120 0 0 25 0 1 0 850253912 244785152 57989 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59762 57989 566 18 0 59744 0
vsize: 239048
[startup+240.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 60251 0 0 0 23877 125 0 0 25 0 1 0 850253912 253747200 60193 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61950 60193 566 18 0 61932 0
vsize: 247800
[startup+250.008 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 61767 0 0 0 24875 128 0 0 25 0 1 0 850253912 259964928 61709 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63468 61709 566 18 0 63450 0
vsize: 253872
[startup+260.009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 62979 0 0 0 25873 130 0 0 25 0 1 0 850253912 264933376 62921 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64681 62921 566 18 0 64663 0
vsize: 258724
[startup+270.009 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 64153 0 0 0 26871 132 0 0 25 0 1 0 850253912 269676544 64095 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65839 64095 566 18 0 65821 0
vsize: 263356
[startup+280.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 66042 0 0 0 27868 135 0 0 25 0 1 0 850253912 277512192 65984 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67752 65984 566 18 0 67734 0
vsize: 271008
[startup+290.01 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 67722 0 0 0 28864 139 0 0 25 0 1 0 850253912 284332032 67664 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69417 67664 566 18 0 69399 0
vsize: 277668
[startup+300.011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 71285 0 0 0 29856 147 0 0 25 0 1 0 850253912 299016192 71227 4294967295 134512640 134581267 3221224592 3221223432 134563584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73002 71227 566 18 0 72984 0
vsize: 292008
[startup+310.011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 74590 0 0 0 30850 154 0 0 25 0 1 0 850253912 312422400 74532 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76275 74532 566 18 0 76257 0
vsize: 305100
[startup+320.011 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 76888 0 0 0 31845 159 0 0 25 0 1 0 850253912 321994752 76830 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78612 76830 566 18 0 78594 0
vsize: 314448
[startup+330.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 78925 0 0 0 32841 163 0 0 25 0 1 0 850253912 330469376 78867 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80681 78867 566 18 0 80663 0
vsize: 322724
[startup+340.013 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 80672 0 0 0 33838 166 0 0 25 0 1 0 850253912 337727488 80614 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82453 80614 566 18 0 82435 0
vsize: 329812
[startup+350.012 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 82608 0 0 0 34834 171 0 0 25 0 1 0 850253912 345612288 82550 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84378 82550 566 18 0 84360 0
vsize: 337512
[startup+360.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 83773 0 0 0 35832 173 0 0 25 0 1 0 850253912 350507008 83715 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85573 83715 566 18 0 85555 0
vsize: 342292
[startup+370.013 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 85099 0 0 0 36829 176 0 0 25 0 1 0 850253912 355876864 85041 4294967295 134512640 134581267 3221224592 3221223584 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86884 85041 566 18 0 86866 0
vsize: 347536
[startup+380.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 86911 0 0 0 37825 180 0 0 25 0 1 0 850253912 363331584 86853 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88704 86853 566 18 0 88686 0
vsize: 354816
[startup+390.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 87509 0 0 0 38823 182 0 0 25 0 1 0 850253912 365789184 87451 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89304 87451 566 18 0 89286 0
vsize: 357216
[startup+400.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 88318 0 0 0 39822 184 0 0 25 0 1 0 850253912 369184768 88260 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90133 88260 566 18 0 90115 0
vsize: 360532
[startup+410.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 89401 0 0 0 40819 186 0 0 25 0 1 0 850253912 373563392 89343 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91202 89343 566 18 0 91184 0
vsize: 364808
[startup+420.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 90498 0 0 0 41817 189 0 0 25 0 1 0 850253912 378048512 90440 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92297 90440 566 18 0 92279 0
vsize: 369188
[startup+430.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 91479 0 0 0 42815 191 0 0 25 0 1 0 850253912 382058496 91421 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93276 91421 566 18 0 93258 0
vsize: 373104
[startup+440.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 93489 0 0 0 43812 195 0 0 25 0 1 0 850253912 390291456 93431 4294967295 134512640 134581267 3221224592 3221223384 1075289306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95286 93431 566 18 0 95268 0
vsize: 381144
[startup+450.014 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 95121 0 0 0 44809 197 0 0 25 0 1 0 850253912 397041664 95063 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96934 95063 566 18 0 96916 0
vsize: 387736
[startup+460.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 96886 0 0 0 45806 200 0 0 25 0 1 0 850253912 404287488 96828 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98703 96828 566 18 0 98685 0
vsize: 394812
[startup+470.015 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 98084 0 0 0 46804 203 0 0 25 0 1 0 850253912 409186304 98026 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99899 98026 566 18 0 99881 0
vsize: 399596
[startup+480.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 98996 0 0 0 47803 204 0 0 25 0 1 0 850253912 412844032 98938 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100792 98938 566 18 0 100774 0
vsize: 403168
[startup+490.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 100978 0 0 0 48798 209 0 0 25 0 1 0 850253912 421117952 100920 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102812 100920 566 18 0 102794 0
vsize: 411248
[startup+500.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 102263 0 0 0 49795 212 0 0 25 0 1 0 850253912 426496000 102205 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104125 102205 566 18 0 104107 0
vsize: 416500
[startup+510.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 103966 0 0 0 50793 214 0 0 25 0 1 0 850253912 433770496 103908 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105901 103908 566 18 0 105883 0
vsize: 423604
[startup+520.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 105194 0 0 0 51791 217 0 0 25 0 1 0 850253912 439037952 105136 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107187 105136 566 18 0 107169 0
vsize: 428748
[startup+530.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 106695 0 0 0 52788 220 0 0 25 0 1 0 850253912 445186048 106637 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108688 106637 566 18 0 108670 0
vsize: 434752
[startup+540.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 106889 0 0 0 53787 221 0 0 25 0 1 0 850253912 445943808 106831 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108873 106831 566 18 0 108855 0
vsize: 435492
[startup+550.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 107048 0 0 0 54787 221 0 0 25 0 1 0 850253912 446447616 106990 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108996 106990 566 18 0 108978 0
vsize: 435984
[startup+560.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 107224 0 0 0 55786 222 0 0 25 0 1 0 850253912 447217664 107166 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109184 107166 566 18 0 109166 0
vsize: 436736
[startup+570.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 107327 0 0 0 56787 222 0 0 25 0 1 0 850253912 447590400 107269 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109275 107269 566 18 0 109257 0
vsize: 437100
[startup+580.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 107561 0 0 0 57786 222 0 0 25 0 1 0 850253912 448598016 107503 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109521 107503 566 18 0 109503 0
vsize: 438084
[startup+590.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 109174 0 0 0 58783 226 0 0 25 0 1 0 850253912 455487488 109084 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111203 109084 566 18 0 111185 0
vsize: 444812
[startup+600.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 110290 0 0 0 59781 228 0 0 25 0 1 0 850253912 460185600 110168 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112350 110168 566 18 0 112332 0
vsize: 449400
[startup+610.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 111560 0 0 0 60779 230 0 0 25 0 1 0 850253912 465334272 111438 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113607 111438 566 18 0 113589 0
vsize: 454428
[startup+620.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 113160 0 0 0 61775 234 0 0 25 0 1 0 850253912 471982080 113006 4294967295 134512640 134581267 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115263 113008 566 18 0 115245 0
vsize: 460920
[startup+630.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 114261 0 0 0 62774 236 0 0 25 0 1 0 850253912 476651520 114075 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116370 114076 566 18 0 116352 0
vsize: 465480
[startup+640.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 115340 0 0 0 63771 239 0 0 25 0 1 0 850253912 481107968 115122 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117458 115122 566 18 0 117440 0
vsize: 469832
[startup+650.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 116631 0 0 0 64769 241 0 0 25 0 1 0 850253912 486494208 116413 4294967295 134512640 134581267 3221224592 3221223520 134520041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118773 116413 566 18 0 118755 0
vsize: 475092
[startup+660.016 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 117914 0 0 0 65768 242 0 0 25 0 1 0 850253912 491876352 117696 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120087 117696 566 18 0 120069 0
vsize: 480348
[startup+670.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 118983 0 0 0 66766 244 0 0 25 0 1 0 850253912 496418816 118733 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121196 118733 566 18 0 121178 0
vsize: 484784
[startup+680.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 120465 0 0 0 67763 247 0 0 25 0 1 0 850253912 502415360 120215 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122660 120215 566 18 0 122642 0
vsize: 490640
[startup+690.017 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 124034 0 0 0 68757 253 0 0 25 0 1 0 850253912 517218304 123784 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126274 123784 566 18 0 126256 0
vsize: 505096
[startup+700.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 128959 0 0 0 69747 264 0 0 25 0 1 0 850253912 537382912 128709 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131197 128709 566 18 0 131179 0
vsize: 524788
[startup+710.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 133247 0 0 0 70738 273 0 0 25 0 1 0 850253912 554926080 132997 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135480 132997 566 18 0 135462 0
vsize: 541920
[startup+720.018 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 137464 0 0 0 71730 281 0 0 25 0 1 0 850253912 572305408 137214 4294967295 134512640 134581267 3221224592 3221223368 1075291637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139723 137214 566 18 0 139705 0
vsize: 558892
[startup+730.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 141978 0 0 0 72719 292 0 0 25 0 1 0 850253912 590688256 141728 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144211 141728 566 18 0 144193 0
vsize: 576844
[startup+740.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 145825 0 0 0 73713 299 0 0 25 0 1 0 850253912 606441472 145575 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148057 145575 566 18 0 148039 0
vsize: 592228
[startup+750.019 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 146785 0 0 0 74711 301 0 0 25 0 1 0 850253912 610557952 146535 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149062 146535 566 18 0 149044 0
vsize: 596248
[startup+760.02 s]
Raw data (loadavg): 0.99 0.99 0.96 2/54 10466
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 151116 0 0 0 75702 310 0 0 25 0 1 0 850253912 628215808 150866 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153373 150866 566 18 0 153355 0
vsize: 613492
[startup+770.375 s]
Raw data (loadavg): 1.07 1.00 0.96 3/57 10507
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 151558 0 0 0 76737 311 0 0 25 0 1 0 850253912 630308864 151308 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153884 151308 566 18 0 153866 0
vsize: 615536
[startup+780.374 s]
Raw data (loadavg): 1.22 1.03 0.97 2/54 10520
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 152803 0 0 0 77734 314 0 0 25 0 1 0 850253912 635338752 152553 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155112 152553 566 18 0 155094 0
vsize: 620448
[startup+790.374 s]
Raw data (loadavg): 1.18 1.03 0.97 2/54 10520
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 155100 0 0 0 78730 318 0 0 25 0 1 0 850253912 644714496 154850 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157401 154850 566 18 0 157383 0
vsize: 629604
[startup+800.664 s]
Raw data (loadavg): 1.15 1.03 0.97 2/54 10520
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 157645 0 0 0 79753 323 0 0 25 0 1 0 850253912 655200256 157395 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159961 157395 566 18 0 159943 0
vsize: 639844
[startup+810.664 s]
Raw data (loadavg): 1.13 1.03 0.97 2/54 10520
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 160053 0 0 0 80748 329 0 0 25 0 1 0 850253912 664965120 159803 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 162345 159803 566 18 0 162327 0
vsize: 649380
[startup+820.664 s]
Raw data (loadavg): 1.11 1.03 0.97 2/54 10520
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 161404 0 0 0 81745 332 0 0 25 0 1 0 850253912 670724096 161154 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163751 161154 566 18 0 163733 0
vsize: 655004
[startup+830.663 s]
Raw data (loadavg): 1.09 1.03 0.97 2/54 10520
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 164225 0 0 0 82740 337 0 0 25 0 1 0 850253912 682209280 163975 4294967295 134512640 134581267 3221224592 3221223504 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166555 163975 566 18 0 166537 0
vsize: 666220
[startup+840.664 s]
Raw data (loadavg): 1.08 1.03 0.97 2/54 10520
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 167368 0 0 0 83733 344 0 0 25 0 1 0 850253912 695099392 167118 4294967295 134512640 134581267 3221224592 3221223472 134520302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169702 167118 566 18 0 169684 0
vsize: 678808
[startup+850.664 s]
Raw data (loadavg): 1.06 1.02 0.97 2/54 10520
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 170545 0 0 0 84725 353 0 0 25 0 1 0 850253912 708091904 170295 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172874 170295 566 18 0 172856 0
vsize: 691496
[startup+860.664 s]
Raw data (loadavg): 1.05 1.02 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 173562 0 0 0 85717 360 0 0 25 0 1 0 850253912 720351232 173312 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175867 173312 566 18 0 175849 0
vsize: 703468
[startup+870.665 s]
Raw data (loadavg): 1.05 1.02 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 176648 0 0 0 86710 366 0 0 25 0 1 0 850253912 732995584 176398 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178954 176398 566 18 0 178936 0
vsize: 715816
[startup+880.665 s]
Raw data (loadavg): 1.04 1.02 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 179394 0 0 0 87702 372 0 0 25 0 1 0 850253912 744230912 179144 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 181697 179144 566 18 0 181679 0
vsize: 726788
[startup+890.665 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 182334 0 0 0 88694 380 0 0 25 0 1 0 850253912 756371456 182084 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184661 182084 566 18 0 184643 0
vsize: 738644
[startup+900.664 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 183317 0 0 0 89691 382 0 0 25 0 1 0 850253912 760311808 183035 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185623 183035 566 18 0 185605 0
vsize: 742492
[startup+910.665 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 186309 0 0 0 90683 389 0 0 25 0 1 0 850253912 772546560 186027 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188610 186027 566 18 0 188592 0
vsize: 754440
[startup+920.665 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 188985 0 0 0 91676 395 0 0 25 0 1 0 850253912 783511552 188703 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191287 188703 566 18 0 191269 0
vsize: 765148
[startup+930.665 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 194101 0 0 0 92664 405 0 0 25 0 1 0 850253912 804352000 193819 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196375 193819 566 18 0 196357 0
vsize: 785500
[startup+940.666 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 194606 0 0 0 93662 406 0 0 25 0 1 0 850253912 806604800 194324 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 196925 194324 566 18 0 196907 0
vsize: 787700
[startup+950.666 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 195920 0 0 0 94658 409 0 0 25 0 1 0 850253912 811855872 195638 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198207 195638 566 18 0 198189 0
vsize: 792828
[startup+960.665 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 198117 0 0 0 95652 414 0 0 25 0 1 0 850253912 820838400 197834 4294967295 134512640 134581267 3221224592 3221223228 1075288331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200400 197835 566 18 0 200382 0
vsize: 801600
[startup+970.666 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 200003 0 0 0 96647 418 0 0 25 0 1 0 850253912 828567552 199656 4294967295 134512640 134581267 3221224592 3221223488 134517589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202287 199656 566 18 0 202269 0
vsize: 809148
[startup+980.666 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 201049 0 0 0 97645 420 0 0 25 0 1 0 850253912 832815104 200670 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203324 200670 566 18 0 203306 0
vsize: 813296
[startup+990.667 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 202440 0 0 0 98641 423 0 0 25 0 1 0 850253912 839061504 201997 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 204849 201997 566 18 0 204831 0
vsize: 819396
[startup+1000.67 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 203821 0 0 0 99636 426 0 0 25 0 1 0 850253912 844681216 203314 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 206221 203314 566 18 0 206203 0
vsize: 824884
[startup+1010.67 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 205369 0 0 0 100632 430 0 0 25 0 1 0 850253912 851038208 204766 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207773 204766 566 18 0 207755 0
vsize: 831092
[startup+1020.67 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 206681 0 28 0 101603 434 0 0 25 0 1 0 850253912 855609344 205991 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208889 205991 566 18 0 208871 0
vsize: 835556
[startup+1030.67 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 207426 0 55 0 102579 435 0 0 25 0 1 0 850253912 857772032 206595 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 209417 206595 566 18 0 209399 0
vsize: 837668
[startup+1040.67 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 209348 0 55 0 103573 439 0 0 25 0 1 0 850253912 865652736 208517 4294967295 134512640 134581267 3221224592 3221223228 1075289104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211341 208518 566 18 0 211323 0
vsize: 845364
[startup+1050.67 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 210429 0 55 0 104570 442 0 0 25 0 1 0 850253912 870023168 209598 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212408 209598 566 18 0 212390 0
vsize: 849632
[startup+1060.67 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 212095 0 56 0 105564 446 0 0 25 0 1 0 850253912 876867584 211198 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214079 211198 566 18 0 214061 0
vsize: 856316
[startup+1070.67 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 213533 0 56 0 106561 450 0 0 25 0 1 0 850253912 882733056 212553 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215511 212553 566 18 0 215493 0
vsize: 862044
[startup+1080.67 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 10522
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 214976 0 56 0 107557 454 0 0 25 0 1 0 850253912 888713216 213900 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216971 213900 566 18 0 216953 0
vsize: 867884
[startup+1090.67 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 10524
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 215754 0 56 0 108555 456 0 0 25 0 1 0 850253912 891830272 214589 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217732 214589 566 18 0 217714 0
vsize: 870928
[startup+1100.67 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 10524
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 217465 0 62 0 109545 461 0 0 24 0 1 0 850253912 898695168 216238 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219408 216238 566 18 0 219390 0
vsize: 877632
[startup+1110.67 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 10524
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 217992 0 107 0 110501 463 0 0 25 0 1 0 850253912 899293184 216753 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219554 216753 566 18 0 219536 0
vsize: 878216
[startup+1120.67 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 10524
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 220302 0 107 0 111494 470 0 0 25 0 1 0 850253912 909209600 219063 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221975 219063 566 18 0 221957 0
vsize: 887900
[startup+1130.67 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 10524
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 223191 0 107 0 112485 478 0 0 25 0 1 0 850253912 921071616 221680 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224871 221680 566 18 0 224853 0
vsize: 899484
[startup+1140.67 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 10524
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 226422 0 134 0 113453 487 0 0 18 0 1 0 850253912 933466112 224538 4294967295 134512640 134581267 3221224592 3221223536 134559415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227897 224538 566 18 0 227879 0
vsize: 911588
[startup+1147.5 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 10524
Raw data (stat): 10466 (Pueblo-v2) R 10465 20224 20223 0 -1 0 226422 0 134 0 113453 487 0 0 18 0 1 0 850253912 933466112 224538 4294967295 134512640 134581267 3221224592 3221223536 134559415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227897 224538 566 18 0 227879 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1147.5
CPU time (s): 1146.24
CPU user time (s): 1140.86
CPU system time (s): 5.38118
CPU usage (%): 99.8902
Max. virtual memory (Kb): 911588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####