PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
MD5SUM	452acf9ed3adc2d2cfe293dad01c0934
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167110
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.02
Number of variables	280
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	130
Trace number 38937

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 18:53:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26986 boxname=wulflinc3 idbench=1114 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  452acf9ed3adc2d2cfe293dad01c0934  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-markshare1_1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-markshare1_1.opb
IDLAUNCH: 26986
/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:        544552 kB
Buffers:         14936 kB
Cached:         452528 kB
SwapCached:        240 kB
Active:          25140 kB
Inactive:       444840 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        544300 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14524 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 19:13:36 (client local time) WITH STATUS 10 IN 1189.28 SECONDS
stats: 26986 6 1189.28 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
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-mps-v2-20-10-markshare1_1.opb
c #variables read: 280 - #constraints read: 63
s SATISFIABLE
v -s01_bit_10 -s01_bit_9 -s01_bit_8 -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 -s01_bit0 -s01_bit1 -s01_bit2 -s01_bit3 -s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 s01_bit18 -s01_bit19 -s11_bit_10 -s11_bit_9 -s11_bit_8 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 -s11_bit0 -s11_bit1 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 s11_bit18 -s11_bit19 -s21_bit_10 -s21_bit_9 -s21_bit_8 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 -s21_bit0 -s21_bit1 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 s21_bit18 -s21_bit19 -s31_bit_10 -s31_bit_9 -s31_bit_8 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 -s31_bit1 -s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 s31_bit18 -s31_bit19 -s41_bit_10 -s41_bit_9 -s41_bit_8 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 -s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 s41_bit18 -s41_bit19 -s51_bit_10 -s51_bit_9 -s51_bit_8 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 -s51_bit0 -s51_bit1 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 s51_bit18 -s51_bit19 -x0_bit_10 -x0_bit_9 -x0_bit_8 -x0_bit_7 -x0_bit_6 -x0_bit_5 -x0_bit_4 -x0_bit_3 -x0_bit_2 -x0_bit_1 -x0_bit0 -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit_10 -x45_bit_9 -x45_bit_8 -x45_bit_7 -x45_bit_6 -x45_bit_5 -x45_bit_4 -x45_bit_3 -x45_bit_2 -x45_bit_1 -x45_bit0 -x46_bit_10 -x46_bit_9 -x46_bit_8 -x46_bit_7 -x46_bit_6 -x46_bit_5 -x46_bit_4 -x46_bit_3 -x46_bit_2 -x46_bit_1 -x46_bit0 -x47_bit_10 -x47_bit_9 -x47_bit_8 -x47_bit_7 -x47_bit_6 -x47_bit_5 -x47_bit_4 -x47_bit_3 -x47_bit_2 -x47_bit_1 -x47_bit0 -x48_bit0 -x49_bit_10 -x49_bit_9 -x49_bit_8 -x49_bit_7 -x49_bit_6 -x49_bit_5 -x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1 -x49_bit0 
#### 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.79 0.77 0.82 2/54 16796
Raw data (stat): 16796 (runsolver) R 16795 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852092665 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0004 s]
Raw data (loadavg): 0.82 0.77 0.82 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 1759 0 0 0 961 38 0 0 25 0 1 0 852092665 13631488 1733 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1733 566 18 0 3310 0
vsize: 13312
[startup+20.0012 s]
Raw data (loadavg): 0.85 0.78 0.82 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 3164 0 0 0 1918 81 0 0 25 0 1 0 852092665 20533248 3138 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5013 3138 566 18 0 4995 0
vsize: 20052
[startup+30.002 s]
Raw data (loadavg): 0.87 0.79 0.82 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 3848 0 0 0 2876 123 0 0 25 0 1 0 852092665 22630400 3822 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5525 3822 566 18 0 5507 0
vsize: 22100
[startup+40.0019 s]
Raw data (loadavg): 0.89 0.79 0.82 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 5915 0 0 0 3832 167 0 0 25 0 1 0 852092665 34152448 5889 4294967295 134512640 134581267 3221224576 3221223536 134554635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8338 5889 566 18 0 8320 0
vsize: 33352
[startup+50.0027 s]
Raw data (loadavg): 0.91 0.80 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 6590 0 0 0 4792 207 0 0 25 0 1 0 852092665 38346752 6564 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9362 6564 566 18 0 9344 0
vsize: 37448
[startup+60.0035 s]
Raw data (loadavg): 0.92 0.81 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 7265 0 0 0 5754 246 0 0 25 0 1 0 852092665 38346752 7239 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9362 7239 566 18 0 9344 0
vsize: 37448
[startup+70.0044 s]
Raw data (loadavg): 0.93 0.81 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 10787 0 0 0 6703 297 0 0 25 0 1 0 852092665 61788160 10724 4294967295 134512640 134581267 3221224576 3221223584 134529989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15085 10724 566 18 0 15067 0
vsize: 60340
[startup+80.0052 s]
Raw data (loadavg): 0.94 0.82 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 11477 0 0 0 7663 336 0 0 25 0 1 0 852092665 61788160 11414 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15085 11414 566 18 0 15067 0
vsize: 60340
[startup+90.0051 s]
Raw data (loadavg): 0.95 0.82 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 12168 0 0 0 8621 379 0 0 25 0 1 0 852092665 70176768 12105 4294967295 134512640 134581267 3221224576 3221223440 134527004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17133 12105 566 18 0 17115 0
vsize: 68532
[startup+100.005 s]
Raw data (loadavg): 0.96 0.83 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 12769 0 0 0 9580 419 0 0 25 0 1 0 852092665 70176768 12706 4294967295 134512640 134581267 3221224576 3221223440 134527056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17133 12706 566 18 0 17115 0
vsize: 68532
[startup+110.006 s]
Raw data (loadavg): 0.96 0.83 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 13460 0 0 0 10538 462 0 0 25 0 1 0 852092665 70176768 13397 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17133 13397 566 18 0 17115 0
vsize: 68532
[startup+120.007 s]
Raw data (loadavg): 0.97 0.84 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 14150 0 0 0 11496 504 0 0 25 0 1 0 852092665 70176768 14087 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17133 14087 566 18 0 17115 0
vsize: 68532
[startup+130.007 s]
Raw data (loadavg): 0.97 0.84 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 14841 0 0 0 12457 543 0 0 25 0 1 0 852092665 70176768 14778 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17133 14778 566 18 0 17115 0
vsize: 68532
[startup+140.007 s]
Raw data (loadavg): 0.98 0.85 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 18632 0 0 0 13405 594 0 0 25 0 1 0 852092665 116867072 18448 4294967295 134512640 134581267 3221224576 3221223648 134555721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28532 18448 566 18 0 28514 0
vsize: 114128
[startup+150.008 s]
Raw data (loadavg): 0.98 0.85 0.83 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 19547 0 0 0 14364 636 0 0 25 0 1 0 852092665 116867072 19363 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28532 19363 566 18 0 28514 0
vsize: 114128
[startup+160.009 s]
Raw data (loadavg): 0.98 0.86 0.84 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 20463 0 0 0 15323 677 0 0 25 0 1 0 852092665 116867072 20279 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28532 20279 566 18 0 28514 0
vsize: 114128
[startup+170.009 s]
Raw data (loadavg): 0.98 0.86 0.84 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 21378 0 0 0 16282 718 0 0 25 0 1 0 852092665 116867072 21194 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28532 21194 566 18 0 28514 0
vsize: 114128
[startup+180.01 s]
Raw data (loadavg): 0.99 0.86 0.84 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 22293 0 0 0 17240 760 0 0 25 0 1 0 852092665 133644288 22109 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32628 22109 566 18 0 32610 0
vsize: 130512
[startup+190.016 s]
Raw data (loadavg): 0.99 0.87 0.84 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 23209 0 0 0 18201 799 0 0 25 0 1 0 852092665 133644288 23025 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32628 23025 566 18 0 32610 0
vsize: 130512
[startup+200.015 s]
Raw data (loadavg): 0.99 0.87 0.84 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 23988 0 0 0 19157 843 0 0 25 0 1 0 852092665 133644288 23804 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32628 23804 566 18 0 32610 0
vsize: 130512
[startup+210.016 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 24904 0 0 0 20118 883 0 0 25 0 1 0 852092665 133644288 24720 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32628 24720 566 18 0 32610 0
vsize: 130512
[startup+220.017 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 25819 0 0 0 21076 925 0 0 25 0 1 0 852092665 133644288 25635 4294967295 134512640 134581267 3221224576 3221223468 134526884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32628 25635 566 18 0 32610 0
vsize: 130512
[startup+230.018 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 26734 0 0 0 22033 968 0 0 25 0 1 0 852092665 133644288 26550 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32628 26550 566 18 0 32610 0
vsize: 130512
[startup+240.019 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 27649 0 0 0 22991 1010 0 0 25 0 1 0 852092665 133644288 27465 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32628 27465 566 18 0 32610 0
vsize: 130512
[startup+250.019 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 28565 0 0 0 23948 1053 0 0 25 0 1 0 852092665 133644288 28381 4294967295 134512640 134581267 3221224576 3221223536 134554628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32628 28381 566 18 0 32610 0
vsize: 130512
[startup+260.02 s]
Raw data (loadavg): 0.99 0.89 0.85 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 29480 0 0 0 24904 1097 0 0 25 0 1 0 852092665 133644288 29296 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32628 29296 566 18 0 32610 0
vsize: 130512
[startup+270.02 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 33317 0 0 0 25858 1143 0 0 25 0 1 0 852092665 226918400 32993 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55400 32993 566 18 0 55382 0
vsize: 221600
[startup+280.021 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 34342 0 0 0 26819 1182 0 0 25 0 1 0 852092665 226918400 34018 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55400 34018 566 18 0 55382 0
vsize: 221600
[startup+290.022 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 35210 0 0 0 27773 1229 0 0 25 0 1 0 852092665 226918400 34886 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55400 34886 566 18 0 55382 0
vsize: 221600
[startup+300.022 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 36235 0 0 0 28730 1272 0 0 25 0 1 0 852092665 226918400 35911 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55400 35911 566 18 0 55382 0
vsize: 221600
[startup+310.023 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 37260 0 0 0 29684 1317 0 0 25 0 1 0 852092665 226918400 36936 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55400 36936 566 18 0 55382 0
vsize: 221600
[startup+320.023 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 38285 0 0 0 30642 1359 0 0 25 0 1 0 852092665 226918400 37961 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55400 37961 566 18 0 55382 0
vsize: 221600
[startup+330.024 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 39310 0 0 0 31602 1399 0 0 25 0 1 0 852092665 226918400 38986 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55400 38986 566 18 0 55382 0
vsize: 221600
[startup+340.024 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 40335 0 0 0 32562 1439 0 0 25 0 1 0 852092665 226918400 40011 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55400 40011 566 18 0 55382 0
vsize: 221600
[startup+350.024 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 41359 0 0 0 33516 1485 0 0 25 0 1 0 852092665 260472832 41035 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63592 41035 566 18 0 63574 0
vsize: 254368
[startup+360.025 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 42384 0 0 0 34473 1528 0 0 25 0 1 0 852092665 260472832 42060 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63592 42060 566 18 0 63574 0
vsize: 254368
[startup+370.026 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 16796
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 43409 0 0 0 35430 1572 0 0 25 0 1 0 852092665 260472832 43085 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63592 43085 566 18 0 63574 0
vsize: 254368
[startup+380.03 s]
Raw data (loadavg): 1.07 0.94 0.86 2/54 16849
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 44435 0 0 0 36381 1621 0 0 25 0 1 0 852092665 260472832 44111 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 44111 566 18 0 63574 0
vsize: 254368
[startup+390.03 s]
Raw data (loadavg): 1.06 0.94 0.86 2/54 16849
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 45464 0 0 0 37340 1662 0 0 25 0 1 0 852092665 260472832 45140 4294967295 134512640 134581267 3221224576 3221223584 134560451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 45140 566 18 0 63574 0
vsize: 254368
[startup+400.031 s]
Raw data (loadavg): 1.05 0.94 0.86 2/54 16849
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 46492 0 0 0 38299 1703 0 0 25 0 1 0 852092665 260472832 46168 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 46168 566 18 0 63574 0
vsize: 254368
[startup+410.032 s]
Raw data (loadavg): 1.04 0.94 0.87 2/54 16849
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 47363 0 0 0 39254 1749 0 0 25 0 1 0 852092665 260472832 47039 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 47039 566 18 0 63574 0
vsize: 254368
[startup+420.032 s]
Raw data (loadavg): 1.04 0.94 0.87 2/54 16849
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 48392 0 0 0 40211 1792 0 0 25 0 1 0 852092665 260472832 48068 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 48068 566 18 0 63574 0
vsize: 254368
[startup+430.034 s]
Raw data (loadavg): 1.03 0.95 0.87 2/54 16849
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 49420 0 0 0 41166 1837 0 0 25 0 1 0 852092665 260472832 49096 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 49096 566 18 0 63574 0
vsize: 254368
[startup+440.034 s]
Raw data (loadavg): 1.03 0.95 0.87 2/54 16849
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 50448 0 0 0 42124 1879 0 0 25 0 1 0 852092665 260472832 50124 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 50124 566 18 0 63574 0
vsize: 254368
[startup+450.033 s]
Raw data (loadavg): 1.02 0.95 0.87 2/54 16849
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 51476 0 0 0 43083 1920 0 0 25 0 1 0 852092665 260472832 51152 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 51152 566 18 0 63574 0
vsize: 254368
[startup+460.034 s]
Raw data (loadavg): 1.02 0.95 0.87 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 52504 0 0 0 44038 1966 0 0 25 0 1 0 852092665 260472832 52180 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 52180 566 18 0 63574 0
vsize: 254368
[startup+470.035 s]
Raw data (loadavg): 1.01 0.95 0.87 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 53533 0 0 0 44995 2009 0 0 25 0 1 0 852092665 260472832 53209 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 53209 566 18 0 63574 0
vsize: 254368
[startup+480.036 s]
Raw data (loadavg): 1.01 0.95 0.87 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 54561 0 0 0 45948 2056 0 0 25 0 1 0 852092665 260472832 54237 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 54237 566 18 0 63574 0
vsize: 254368
[startup+490.037 s]
Raw data (loadavg): 1.01 0.95 0.87 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 55589 0 0 0 46908 2097 0 0 25 0 1 0 852092665 260472832 55265 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 55265 566 18 0 63574 0
vsize: 254368
[startup+500.037 s]
Raw data (loadavg): 1.01 0.95 0.87 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 56617 0 0 0 47867 2138 0 0 25 0 1 0 852092665 260472832 56293 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 56293 566 18 0 63574 0
vsize: 254368
[startup+510.037 s]
Raw data (loadavg): 1.01 0.95 0.88 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 57645 0 0 0 48820 2184 0 0 25 0 1 0 852092665 260472832 57321 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 57321 566 18 0 63574 0
vsize: 254368
[startup+520.037 s]
Raw data (loadavg): 1.00 0.95 0.88 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 58674 0 0 0 49781 2224 0 0 25 0 1 0 852092665 260472832 58350 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63592 58350 566 18 0 63574 0
vsize: 254368
[startup+530.038 s]
Raw data (loadavg): 1.00 0.95 0.88 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 62569 0 0 0 50726 2279 0 0 25 0 1 0 852092665 445104128 61497 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 61497 566 18 0 108650 0
vsize: 434672
[startup+540.039 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 63652 0 0 0 51686 2320 0 0 25 0 1 0 852092665 445104128 62580 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 62580 566 18 0 108650 0
vsize: 434672
[startup+550.039 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 64735 0 0 0 52643 2362 0 0 25 0 1 0 852092665 445104128 63663 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 63663 566 18 0 108650 0
vsize: 434672
[startup+560.04 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 65818 0 0 0 53597 2409 0 0 25 0 1 0 852092665 445104128 64746 4294967295 134512640 134581267 3221224576 3221223360 1075288589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 64746 566 18 0 108650 0
vsize: 434672
[startup+570.04 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 66901 0 0 0 54557 2449 0 0 25 0 1 0 852092665 445104128 65829 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 65829 566 18 0 108650 0
vsize: 434672
[startup+580.041 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 67984 0 0 0 55517 2489 0 0 25 0 1 0 852092665 445104128 66912 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 66912 566 18 0 108650 0
vsize: 434672
[startup+590.049 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 69067 0 0 0 56476 2532 0 0 25 0 1 0 852092665 445104128 67995 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 67995 566 18 0 108650 0
vsize: 434672
[startup+600.049 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 70150 0 0 0 57429 2578 0 0 25 0 1 0 852092665 445104128 69078 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 69078 566 18 0 108650 0
vsize: 434672
[startup+610.05 s]
Raw data (loadavg): 1.00 0.96 0.89 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 71233 0 0 0 58386 2622 0 0 25 0 1 0 852092665 445104128 70161 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 70161 566 18 0 108650 0
vsize: 434672
[startup+620.05 s]
Raw data (loadavg): 1.00 0.96 0.89 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 72316 0 0 0 59345 2663 0 0 25 0 1 0 852092665 445104128 71244 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 71244 566 18 0 108650 0
vsize: 434672
[startup+630.051 s]
Raw data (loadavg): 1.00 0.96 0.89 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 73399 0 0 0 60301 2707 0 0 25 0 1 0 852092665 445104128 72327 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 72327 566 18 0 108650 0
vsize: 434672
[startup+640.051 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 74482 0 0 0 61259 2749 0 0 25 0 1 0 852092665 445104128 73410 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 73410 566 18 0 108650 0
vsize: 434672
[startup+650.051 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 75397 0 0 0 62218 2791 0 0 25 0 1 0 852092665 445104128 74325 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 74325 566 18 0 108650 0
vsize: 434672
[startup+660.052 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 76480 0 0 0 63171 2838 0 0 25 0 1 0 852092665 445104128 75408 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 75408 566 18 0 108650 0
vsize: 434672
[startup+670.053 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 77563 0 0 0 64130 2879 0 0 25 0 1 0 852092665 445104128 76491 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108668 76491 566 18 0 108650 0
vsize: 434672
[startup+680.054 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 78645 0 0 0 65079 2931 0 0 25 0 1 0 852092665 512212992 77573 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 77573 566 18 0 125034 0
vsize: 500208
[startup+690.053 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 16851
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 79728 0 0 0 66034 2975 0 0 25 0 1 0 852092665 512212992 78656 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 78656 566 18 0 125034 0
vsize: 500208
[startup+700.06 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 80811 0 0 0 66994 3016 0 0 25 0 1 0 852092665 512212992 79739 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 79739 566 18 0 125034 0
vsize: 500208
[startup+710.068 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 81894 0 0 0 67950 3061 0 0 25 0 1 0 852092665 512212992 80822 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 80822 566 18 0 125034 0
vsize: 500208
[startup+720.068 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 82977 0 0 0 68912 3100 0 0 25 0 1 0 852092665 512212992 81905 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 81905 566 18 0 125034 0
vsize: 500208
[startup+730.069 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 84060 0 0 0 69870 3142 0 0 25 0 1 0 852092665 512212992 82988 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 82988 566 18 0 125034 0
vsize: 500208
[startup+740.069 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 85143 0 0 0 70828 3184 0 0 25 0 1 0 852092665 512212992 84071 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 84071 566 18 0 125034 0
vsize: 500208
[startup+750.069 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 86226 0 0 0 71786 3226 0 0 25 0 1 0 852092665 512212992 85154 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 85154 566 18 0 125034 0
vsize: 500208
[startup+760.07 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 87309 0 0 0 72739 3273 0 0 25 0 1 0 852092665 512212992 86237 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 86237 566 18 0 125034 0
vsize: 500208
[startup+770.07 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 88391 0 0 0 73700 3313 0 0 25 0 1 0 852092665 512212992 87319 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 87319 566 18 0 125034 0
vsize: 500208
[startup+780.071 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 89475 0 0 0 74656 3357 0 0 25 0 1 0 852092665 512212992 88403 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 88403 566 18 0 125034 0
vsize: 500208
[startup+790.072 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 90558 0 0 0 75615 3397 0 0 25 0 1 0 852092665 512212992 89486 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 89486 566 18 0 125034 0
vsize: 500208
[startup+800.072 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 91641 0 0 0 76574 3439 0 0 25 0 1 0 852092665 512212992 90569 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 90569 566 18 0 125034 0
vsize: 500208
[startup+810.072 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 92724 0 0 0 77527 3486 0 0 25 0 1 0 852092665 512212992 91652 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 91652 566 18 0 125034 0
vsize: 500208
[startup+820.101 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 93808 0 0 0 78489 3527 0 0 25 0 1 0 852092665 512212992 92736 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 92736 566 18 0 125034 0
vsize: 500208
[startup+830.101 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 94891 0 0 0 79446 3571 0 0 25 0 1 0 852092665 512212992 93819 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 93819 566 18 0 125034 0
vsize: 500208
[startup+840.102 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 95974 0 0 0 80407 3609 0 0 25 0 1 0 852092665 512212992 94902 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 94902 566 18 0 125034 0
vsize: 500208
[startup+850.103 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 97056 0 0 0 81364 3653 0 0 25 0 1 0 852092665 512212992 95984 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 95984 566 18 0 125034 0
vsize: 500208
[startup+860.104 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 98139 0 0 0 82317 3701 0 0 25 0 1 0 852092665 512212992 97067 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 97067 566 18 0 125034 0
vsize: 500208
[startup+870.104 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 99222 0 0 0 83274 3743 0 0 25 0 1 0 852092665 512212992 98150 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 98150 566 18 0 125034 0
vsize: 500208
[startup+880.104 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 100305 0 0 0 84228 3790 0 0 25 0 1 0 852092665 512212992 99233 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 99233 566 18 0 125034 0
vsize: 500208
[startup+890.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 101220 0 0 0 85189 3828 0 0 25 0 1 0 852092665 512212992 100148 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 100148 566 18 0 125034 0
vsize: 500208
[startup+900.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 102303 0 0 0 86145 3873 0 0 25 0 1 0 852092665 512212992 101231 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 101231 566 18 0 125034 0
vsize: 500208
[startup+910.106 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 103386 0 0 0 87098 3920 0 0 25 0 1 0 852092665 512212992 102314 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 102314 566 18 0 125034 0
vsize: 500208
[startup+920.107 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 104469 0 0 0 88057 3962 0 0 25 0 1 0 852092665 512212992 103397 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 103397 566 18 0 125034 0
vsize: 500208
[startup+930.108 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 105552 0 0 0 89010 4008 0 0 25 0 1 0 852092665 512212992 104480 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 104480 566 18 0 125034 0
vsize: 500208
[startup+940.109 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 106636 0 0 0 89968 4051 0 0 25 0 1 0 852092665 512212992 105564 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 105564 566 18 0 125034 0
vsize: 500208
[startup+950.108 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 107718 0 0 0 90928 4091 0 0 25 0 1 0 852092665 512212992 106646 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 106646 566 18 0 125034 0
vsize: 500208
[startup+960.109 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 108802 0 0 0 91881 4138 0 0 25 0 1 0 852092665 512212992 107730 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 107730 566 18 0 125034 0
vsize: 500208
[startup+970.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 109885 0 0 0 92840 4179 0 0 25 0 1 0 852092665 512212992 108813 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 108813 566 18 0 125034 0
vsize: 500208
[startup+980.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 110968 0 0 0 93797 4223 0 0 25 0 1 0 852092665 512212992 109896 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 109896 566 18 0 125034 0
vsize: 500208
[startup+990.112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 112051 0 0 0 94758 4262 0 0 25 0 1 0 852092665 512212992 110979 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 110979 566 18 0 125034 0
vsize: 500208
[startup+1000.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 113133 0 0 0 95716 4304 0 0 25 0 1 0 852092665 512212992 112061 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 112061 566 18 0 125034 0
vsize: 500208
[startup+1010.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 114216 0 0 0 96672 4348 0 0 25 0 1 0 852092665 512212992 113144 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 113144 566 18 0 125034 0
vsize: 500208
[startup+1020.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 115299 0 0 0 97633 4387 0 0 25 0 1 0 852092665 512212992 114227 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 114227 566 18 0 125034 0
vsize: 500208
[startup+1030.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 116382 0 0 0 98588 4433 0 0 25 0 1 0 852092665 512212992 115310 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125052 115310 566 18 0 125034 0
vsize: 500208
[startup+1040.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 120030 0 0 0 99534 4487 0 0 25 0 1 0 852092665 879460352 117482 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 117482 566 18 0 214694 0
vsize: 858848
[startup+1050.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 121138 0 0 0 100491 4530 0 0 25 0 1 0 852092665 879460352 118590 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 118590 566 18 0 214694 0
vsize: 858848
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 122246 0 0 0 101445 4577 0 0 25 0 1 0 852092665 879460352 119698 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 119698 566 18 0 214694 0
vsize: 858848
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 123353 0 0 0 102404 4618 0 0 25 0 1 0 852092665 879460352 120805 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 120805 566 18 0 214694 0
vsize: 858848
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 124460 0 0 0 103359 4663 0 0 25 0 1 0 852092665 879460352 121912 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 121912 566 18 0 214694 0
vsize: 858848
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 125568 0 0 0 104315 4708 0 0 25 0 1 0 852092665 879460352 123020 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 123020 566 18 0 214694 0
vsize: 858848
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 126503 0 0 0 105272 4751 0 0 25 0 1 0 852092665 879460352 123955 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 123955 566 18 0 214694 0
vsize: 858848
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 127610 0 0 0 106227 4795 0 0 25 0 1 0 852092665 879460352 125062 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 125062 566 18 0 214694 0
vsize: 858848
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 128718 0 0 0 107188 4835 0 0 25 0 1 0 852092665 879460352 126170 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 126170 566 18 0 214694 0
vsize: 858848
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 129825 0 0 0 108145 4878 0 0 25 0 1 0 852092665 879460352 127277 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 127277 566 18 0 214694 0
vsize: 858848
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 130933 0 0 0 109102 4921 0 0 25 0 1 0 852092665 879460352 128385 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 128385 566 18 0 214694 0
vsize: 858848
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 132040 0 0 0 110061 4963 0 0 25 0 1 0 852092665 879460352 129492 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 129492 566 18 0 214694 0
vsize: 858848
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 133147 0 0 0 111016 5008 0 0 25 0 1 0 852092665 879460352 130599 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 130599 566 18 0 214694 0
vsize: 858848
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 134254 0 0 0 111972 5052 0 0 25 0 1 0 852092665 879460352 131706 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 131706 566 18 0 214694 0
vsize: 858848
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 135362 0 0 0 112928 5096 0 0 25 0 1 0 852092665 879460352 132814 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 132814 566 18 0 214694 0
vsize: 858848
[startup+1189.15 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 16853
Raw data (stat): 16796 (Pueblo-v2) R 16795 20224 20223 0 -1 0 135362 0 0 0 112928 5096 0 0 25 0 1 0 852092665 879460352 132814 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214712 132814 566 18 0 214694 0
vsize: 0

Child status: 10
Real time (s): 1189.15
CPU time (s): 1189.28
CPU user time (s): 1137.67
CPU system time (s): 51.6132
CPU usage (%): 100.011
Max. virtual memory (Kb): 858848
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	FAILED
ERROR: unsatisfied constraint on line 117
#### END VERIFIER DATA ####