PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	8c44064d4224b1d41c28f152218dd39f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	98
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 27180

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        867900 kB
Buffers:         31020 kB
Cached:         115264 kB
SwapCached:        868 kB
Active:          33264 kB
Inactive:       115560 kB
HighTotal:      131008 kB
HighFree:        12544 kB
LowTotal:       903652 kB
LowFree:        855356 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12124 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:08:43 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 18129 0 1189.02 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/wulflinc2/normalized-mps-v2-13-7-vpm2.opb
c #variables read: 2124 - #constraints read: 655
s SATISFIABLE
v x169_bit0 -x170_bit0 x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 x175_bit0 -x176_bit0 x177_bit0 -x178_bit0 -x179_bit0 x180_bit0 x181_bit0 x182_bit0 x183_bit0 -x184_bit0 -x185_bit0 x186_bit0 -x187_bit0 x188_bit0 x189_bit0 -x190_bit0 -x191_bit0 -x192_bit0 -x193_bit0 x194_bit0 x195_bit0 x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 x202_bit0 -x203_bit0 -x204_bit0 -x205_bit0 -x206_bit0 x207_bit0 -x208_bit0 -x209_bit0 -x210_bit0 -x211_bit0 -x212_bit0 x213_bit0 x214_bit0 x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 x245_bit0 x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 -x250_bit0 x251_bit0 x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 x257_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 x263_bit0 x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 x269_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 x274_bit0 -x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x287_bit0 -x288_bit0 -x289_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 x332_bit0 x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 x1_bit_7 -x1_bit_6 x1_bit_5 -x1_bit_4 x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x2_bit_7 -x2_bit_6 -x2_bit_5 -x2_bit_4 -x2_bit_3 -x2_bit_2 -x2_bit_1 -x2_bit0 x3_bit_7 x3_bit_6 x3_bit_5 x3_bit_4 x3_bit_3 x3_bit_2 -x3_bit_1 -x3_bit0 -x4_bit_7 -x4_bit_6 -x4_bit_5 -x4_bit_4 -x4_bit_3 -x4_bit_2 -x4_bit_1 -x4_bit0 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 -x5_bit0 -x6_bit_7 -x6_bit_6 -x6_bit_5 -x6_bit_4 -x6_bit_3 -x6_bit_2 -x6_bit_1 -x6_bit0 -x7_bit_7 x7_bit_6 x7_bit_5 x7_bit_4 x7_bit_3 x7_bit_2 -x7_bit_1 -x7_bit0 -x8_bit_7 -x8_bit_6 -x8_bit_5 -x8_bit_4 -x8_bit_3 -x8_bit_2 -x8_bit_1 -x8_bit0 x9_bit_7 x9_bit_6 x9_bit_5 x9_bit_4 x9_bit_3 -x9_bit_2 -x9_bit_1 -x9_bit0 -x10_bit_7 -x10_bit_6 -x10_bit_5 -x10_bit_4 -x10_bit_3 -x10_bit_2 -x10_bit_1 -x10_bit0 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 -x11_bit0 -x12_bit_7 x12_bit_6 -x12_bit_5 -x12_bit_4 x12_bit_3 -x12_bit_2 -x12_bit_1 -x12_bit0 x13_bit_7 x13_bit_6 x13_bit_5 -x13_bit_4 -x13_bit_3 x13_bit_2 -x13_bit_1 -x13_bit0 x14_bit_7 -x14_bit_6 x14_bit_5 x14_bit_4 -x14_bit_3 x14_bit_2 x14_bit_1 -x14_bit0 x15_bit_7 x15_bit_6 x15_bit_5 x15_bit_4 x15_bit_3 -x15_bit_2 -x15_bit_1 -x15_bit0 -x16_bit_7 -x16_bit_6 -x16_bit_5 -x16_bit_4 -x16_bit_3 -x16_bit_2 -x16_bit_1 -x16_bit0 -x17_bit_7 -x17_bit_6 -x17_bit_5 -x17_bit_4 -x17_bit_3 -x17_bit_2 -x17_bit_1 -x17_bit0 x18_bit_7 x18_bit_6 -x18_bit_5 -x18_bit_4 x18_bit_3 x18_bit_2 x18_bit_1 -x18_bit0 -x19_bit_7 -x19_bit_6 -x19_bit_5 -x19_bit_4 -x19_bit_3 -x19_bit_2 -x19_bit_1 -x19_bit0 x20_bit_7 -x20_bit_6 x20_bit_5 -x20_bit_4 -x20_bit_3 x20_bit_2 -x20_bit_1 -x20_bit0 -x21_bit_7 -x21_bit_6 x21_bit_5 x21_bit_4 -x21_bit_3 x21_bit_2 -x21_bit_1 -x21_bit0 -x22_bit_7 -x22_bit_6 -x22_bit_5 -x22_bit_4 -x22_bit_3 -x22_bit_2 -x22_bit_1 -x22_bit0 -x23_bit_7 -x23_bit_6 -x23_bit_5 -x23_bit_4 -x23_bit_3 -x23_bit_2 -x23_bit_1 -x23_bit0 -x24_bit_7 -x24_bit_6 -x24_bit_5 -x24_bit_4 -x24_bit_3 -x24_bit_2 -x24_bit_1 -x24_bit0 -x25_bit_7 -x25_bit_6 -x25_bit_5 -x25_bit_4 -x25_bit_3 -x25_bit_2 -x25_bit_1 -x25_bit0 -x26_bit_7 -x26_bit_6 -x26_bit_5 -x26_bit_4 -x26_bit_3 x26_bit_2 x26_bit_1 -x26_bit0 x27_bit_7 -x27_bit_6 -x27_bit_5 x27_bit_4 x27_bit_3 -x27_bit_2 -x27_bit_1 -x27_bit0 x28_bit_7 x28_bit_6 x28_bit_5 -x28_bit_4 x28_bit_3 x28_bit_2 -x28_bit_1 -x28_bit0 -x29_bit_7 -x29_bit_6 -x29_bit_5 -x29_bit_4 -x29_bit_3 -x29_bit_2 -x29_bit_1 -x29_bit0 -x30_bit_7 -x30_bit_6 -x30_bit_5 -x30_bit_4 -x30_bit_3 -x30_bit_2 -x30_bit_1 -x30_bit0 -x31_bit_7 -x31_bit_6 -x31_bit_5 -x31_bit_4 -x31_bit_3 -x31_bit_2 -x31_bit_1 -x31_bit0 -x32_bit_7 -x32_bit_6 -x32_bit_5 -x32_bit_4 -x32_bit_3 -x32_bit_2 -x32_bit_1 -x32_bit0 -x33_bit_7 -x33_bit_6 -x33_bit_5 -x33_bit_4 -x33_bit_3 -x33_bit_2 -x33_bit_1 -x33_bit0 -x34_bit_7 x34_bit_6 -x34_bit_5 -x34_bit_4 -x34_bit_3 x34_bit_2 -x34_bit_1 -x34_bit0 -x35_bit_7 -x35_bit_6 -x35_bit_5 -x35_bit_4 -x35_bit_3 -x35_bit_2 -x35_bit_1 -x35_bit0 -x36_bit_7 -x36_bit_6 -x36_bit_5 -x36_bit_4 -x36_bit_3 -x36_bit_2 -x36_bit_1 -x36_bit0 -x37_bit_7 -x37_bit_6 -x37_bit_5 -x37_bit_4 -x37_bit_3 -x37_bit_2 -x37_bit_1 -x37_bit0 -x38_bit_7 -x38_bit_6 -x38_bit_5 -x38_bit_4 -x38_bit_3 -x38_bit_2 -x38_bit_1 -x38_bit0 -x39_bit_7 -x39_bit_6 -x39_bit_5 -x39_bit_4 -x39_bit_3 -x39_bit_2 x39_bit_1 -x39_bit0 -x40_bit_7 -x40_bit_6 -x40_bit_5 -x40_bit_4 -x40_bit_3 -x40_bit_2 -x40_bit_1 -x40_bit0 -x41_bit_7 -x41_bit_6 -x41_bit_5 -x41_bit_4 -x41_bit_3 -x41_bit_2 -x41_bit_1 -x41_bit0 -x42_bit_7 -x42_bit_6 -x42_bit_5 -x42_bit_4 -x42_bit_3 -x42_bit_2 -x42_bit_1 -x42_bit0 -x43_bit_7 -x43_bit_6 -x43_bit_5 -x43_bit_4 -x43_bit_3 -x43_bit_2 -x43_bit_1 -x43_bit0 -x44_bit_7 -x44_bit_6 -x44_bit_5 -x44_bit_4 -x44_bit_3 -x44_bit_2 -x44_bit_1 -x44_bit0 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_7 x46_bit_6 x46_bit_5 x46_bit_4 x46_bit_3 x46_bit_2 -x46_bit_1 -x46_bit0 x47_bit_7 -x47_bit_6 -x47_bit_5 -x47_bit_4 -x47_bit_3 -x47_bit_2 x47_bit_1 -x47_bit0 -x48_bit_7 -x48_bit_6 -x48_bit_5 -x48_bit_4 -x48_bit_3 -x48_bit_2 -x48_bit_1 -x48_bit0 -x49_bit_7 -x49_bit_6 -x49_bit_5 -x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1 -x49_bit0 -x50_bit_7 -x50_bit_6 -x50_bit_5 -x50_bit_4 -x50_bit_3 -x50_bit_2 -x50_bit_1 -x50_bit0 -x51_bit_7 -x51_bit_6 -x51_bit_5 -x51_bit_4 -x51_bit_3 -x51_bit_2 -x51_bit_1 -x51_bit0 x52_bit_7 -x52_bit_6 -x52_bit_5 -x52_bit_4 -x52_bit_3 -x52_bit_2 x52_bit_1 -x52_bit0 -x53_bit_7 -x53_bit_6 -x53_bit_5 -x53_bit_4 -x53_bit_3 -x53_bit_2 -x53_bit_1 -x53_bit0 -x54_bit_7 -x54_bit_6 -x54_bit_5 -x54_bit_4 -x54_bit_3 -x54_bit_2 -x54_bit_1 -x54_bit0 -x55_bit_7 -x55_bit_6 -x55_bit_5 -x55_bit_4 -x55_bit_3 -x55_bit_2 -x55_bit_1 -x55_bit0 -x56_bit_7 -x56_bit_6 -x56_bit_5 -x56_bit_4 -x56_bit_3 -x56_bit_2 -x56_bit_1 -x56_bit0 -x57_bit_7 -x57_bit_6 -x57_bit_5 -x57_bit_4 -x57_bit_3 -x57_bit_2 -x57_bit_1 -x57_bit0 -x58_bit_7 -x58_bit_6 -x58_bit_5 -x58_bit_4 -x58_bit_3 -x58_bit_2 -x58_bit_1 -x58_bit0 x59_bit_7 -x59_bit_6 -x59_bit_5 -x59_bit_4 x59_bit_3 x59_bit_2 x59_bit_1 -x59_bit0 -x60_bit_7 -x60_bit_6 -x60_bit_5 -x60_bit_4 -x60_bit_3 -x60_bit_2 -x60_bit_1 -x60_bit0 -x61_bit_7 -x61_bit_6 -x61_bit_5 -x61_bit_4 -x61_bit_3 -x61_bit_2 -x61_bit_1 -x61_bit0 -x62_bit_7 -x62_bit_6 -x62_bit_5 -x62_bit_4 -x62_bit_3 -x62_bit_2 -x62_bit_1 -x62_bit0 -x63_bit_7 -x63_bit_6 -x63_bit_5 -x63_bit_4 -x63_bit_3 -x63_bit_2 -x63_bit_1 -x63_bit0 -x64_bit_7 -x64_bit_6 -x64_bit_5 -x64_bit_4 -x64_bit_3 -x64_bit_2 -x64_bit_1 -x64_bit0 x65_bit_7 x65_bit_6 x65_bit_5 x65_bit_4 x65_bit_3 x65_bit_2 -x65_bit_1 -x65_bit0 -x66_bit_7 -x66_bit_6 -x66_bit_5 -x66_bit_4 -x66_bit_3 -x66_bit_2 -x66_bit_1 -x66_bit0 -x67_bit_7 -x67_bit_6 -x67_bit_5 -x67_bit_4 -x67_bit_3 -x67_bit_2 -x67_bit_1 -x67_bit0 -x68_bit_7 -x68_bit_6 -x68_bit_5 -x68_bit_4 -x68_bit_3 -x68_bit_2 -x68_bit_1 -x68_bit0 -x69_bit_7 -x69_bit_6 -x69_bit_5 -x69_bit_4 -x69_bit_3 -x69_bit_2 -x69_bit_1 -x69_bit0 x70_bit_7 x70_bit_6 x70_bit_5 x70_bit_4 x70_bit_3 -x70_bit_2 -x70_bit_1 -x70_bit0 -x71_bit_7 -x71_bit_6 -x71_bit_5 -x71_bit_4 -x71_bit_3 -x71_bit_2 -x71_bit_1 -x71_bit0 -x72_bit_7 -x72_bit_6 -x72_bit_5 -x72_bit_4 -x72_bit_3 -x72_bit_2 -x72_bit_1 -x72_bit0 -x73_bit_7 -x73_bit_6 -x73_bit_5 -x73_bit_4 -x73_bit_3 -x73_bit_2 -x73_bit_1 -x73_bit0 -x74_bit_7 -x74_bit_6 -x74_bit_5 -x74_bit_4 -x74_bit_3 -x74_bit_2 -x74_bit_1 -x74_bit0 -x75_bit_7 -x75_bit_6 -x75_bit_5 -x75_bit_4 -x75_bit_3 -x75_bit_2 -x75_bit_1 -x75_bit0 -x76_bit_7 -x76_bit_6 -x76_bit_5 -x76_bit_4 -x76_bit_3 -x76_bit_2 -x76_bit_1 -x76_bit0 x77_bit_7 x77_bit_6 x77_bit_5 x77_bit_4 x77_bit_3 -x77_bit_2 -x77_bit_1 -x77_bit0 x78_bit_7 -x78_bit_6 x78_bit_5 x78_bit_4 x78_bit_3 x78_bit_2 x78_bit_1 -x78_bit0 -x79_bit_7 -x79_bit_6 -x79_bit_5 -x79_bit_4 -x79_bit_3 -x79_bit_2 -x79_bit_1 -x79_bit0 -x80_bit_7 -x80_bit_6 -x80_bit_5 -x80_bit_4 -x80_bit_3 -x80_bit_2 -x80_bit_1 -x80_bit0 -x81_bit_7 -x81_bit_6 -x81_bit_5 -x81_bit_4 -x81_bit_3 -x81_bit_2 -x81_bit_1 -x81_bit0 -x82_bit_7 -x82_bit_6 -x82_bit_5 -x82_bit_4 -x82_bit_3 -x82_bit_2 -x82_bit_1 -x82_bit0 -x83_bit_7 x83_bit_6 -x83_bit_5 -x83_bit_4 -x83_bit_3 -x83_bit_2 -x83_bit_1 -x83_bit0 x84_bit_7 x84_bit_6 -x84_bit_5 x84_bit_4 x84_bit_3 -x84_bit_2 x84_bit_1 -x84_bit0 -x85_bit_7 -x85_bit_6 -x85_bit_5 -x85_bit_4 -x85_bit_3 -x85_bit_2 -x85_bit_1 -x85_bit0 -x86_bit_7 -x86_bit_6 -x86_bit_5 -x86_bit_4 -x86_bit_3 -x86_bit_2 -x86_bit_1 -x86_bit0 -x87_bit_7 -x87_bit_6 -x87_bit_5 -x87_bit_4 -x87_bit_3 -x87_bit_2 -x87_bit_1 -x87_bit0 -x88_bit_7 -x88_bit_6 -x88_bit_5 -x88_bit_4 -x88_bit_3 -x88_bit_2 -x88_bit_1 -x88_bit0 x89_bit_7 x89_bit_6 x89_bit_5 x89_bit_4 x89_bit_3 -x89_bit_2 -x89_bit_1 -x89_bit0 -x90_bit_7 -x90_bit_6 -x90_bit_5 -x90_bit_4 -x90_bit_3 -x90_bit_2 -x90_bit_1 -x90_bit0 -x91_bit_7 -x91_bit_6 -x91_bit_5 -x91_bit_4 -x91_bit_3 -x91_bit_2 -x91_bit_1 -x91_bit0 -x92_bit_7 -x92_bit_6 -x92_bit_5 -x92_bit_4 -x92_bit_3 -x92_bit_2 -x92_bit_1 -x92_bit0 -x93_bit_7 -x93_bit_6 -x93_bit_5 -x93_bit_4 -x93_bit_3 -x93_bit_2 -x93_bit_1 -x93_bit0 -x94_bit_7 -x94_bit_6 -x94_bit_5 -x94_bit_4 -x94_bit_3 -x94_bit_2 -x94_bit_1 -x94_bit0 x95_bit_7 x95_bit_6 x95_bit_5 x95_bit_4 x95_bit_3 -x95_bit_2 -x95_bit_1 -x95_bit0 x96_bit_7 x96_bit_6 x96_bit_5 x96_bit_4 x96_bit_3 -x96_bit_2 x96_bit_1 -x96_bit0 -x97_bit_7 -x97_bit_6 -x97_bit_5 -x97_bit_4 -x97_bit_3 -x97_bit_2 -x97_bit_1 -x97_bit0 -x98_bit_7 -x98_bit_6 -x98_bit_5 -x98_bit_4 -x98_bit_3 -x98_bit_2 -x98_bit_1 -x98_bit0 -x99_bit_7 -x99_bit_6 -x99_bit_5 -x99_bit_4 -x99_bit_3 -x99_bit_2 -x99_bit_1 -x99_bit0 -x100_bit_7 -x100_bit_6 -x100_bit_5 -x100_bit_4 -x100_bit_3 -x100_bit_2 -x100_bit_1 -x100_bit0 -x101_bit_7 x101_bit_6 -x101_bit_5 -x101_bit_4 x101_bit_3 -x101_bit_2 x101_bit_1 -x101_bit0 -x102_bit_7 -x102_bit_6 -x102_bit_5 -x102_bit_4 -x102_bit_3 -x102_bit_2 -x102_bit_1 -x102_bit0 -x103_bit_7 -x103_bit_6 -x103_bit_5 -x103_bit_4 -x103_bit_3 -x103_bit_2 -x103_bit_1 -x103_bit0 -x104_bit_7 -x104_bit_6 -x104_bit_5 -x104_bit_4 -x104_bit_3 -x104_bit_2 -x104_bit_1 -x104_bit0 -x105_bit_7 -x105_bit_6 -x105_bit_5 -x105_bit_4 -x105_bit_3 -x105_bit_2 -x105_bit_1 -x105_bit0 x106_bit_7 x106_bit_6 x106_bit_5 -x106_bit_4 -x106_bit_3 -x106_bit_2 x106_bit_1 -x106_bit0 -x107_bit_7 -x107_bit_6 -x107_bit_5 -x107_bit_4 -x107_bit_3 -x107_bit_2 -x107_bit_1 -x107_bit0 -x108_bit_7 -x108_bit_6 -x108_bit_5 -x108_bit_4 -x108_bit_3 -x108_bit_2 -x108_bit_1 -x108_bit0 -x109_bit_7 -x109_bit_6 -x109_bit_5 -x109_bit_4 -x109_bit_3 -x109_bit_2 -x109_bit_1 -x109_bit0 -x110_bit_7 -x110_bit_6 -x110_bit_5 -x110_bit_4 -x110_bit_3 -x110_bit_2 -x110_bit_1 -x110_bit0 -x111_bit_7 -x111_bit_6 -x111_bit_5 -x111_bit_4 -x111_bit_3 -x111_bit_2 -x111_bit_1 -x111_bit0 -x112_bit_7 x112_bit_6 -x112_bit_5 -x112_bit_4 x112_bit_3 x112_bit_2 x112_bit_1 -x112_bit0 -x113_bit_7 -x113_bit_6 -x113_bit_5 -x113_bit_4 -x113_bit_3 -x113_bit_2 -x113_bit_1 -x113_bit0 -x114_bit_7 -x114_bit_6 -x114_bit_5 -x114_bit_4 -x114_bit_3 -x114_bit_2 -x114_bit_1 -x114_bit0 -x115_bit_7 -x115_bit_6 -x115_bit_5 -x115_bit_4 -x115_bit_3 -x115_bit_2 -x115_bit_1 -x115_bit0 -x116_bit_7 -x116_bit_6 -x116_bit_5 -x116_bit_4 -x116_bit_3 -x116_bit_2 -x116_bit_1 -x116_bit0 -x117_bit_7 -x117_bit_6 -x117_bit_5 -x117_bit_4 -x117_bit_3 -x117_bit_2 -x117_bit_1 -x117_bit0 -x118_bit_7 -x118_bit_6 -x118_bit_5 -x118_bit_4 -x118_bit_3 -x118_bit_2 -x118_bit_1 -x118_bit0 -x119_bit_7 -x119_bit_6 -x119_bit_5 -x119_bit_4 -x119_bit_3 -x119_bit_2 -x119_bit_1 -x119_bit0 -x120_bit_7 -x120_bit_6 -x120_bit_5 -x120_bit_4 -x120_bit_3 -x120_bit_2 -x120_bit_1 -x120_bit0 -x121_bit_7 -x121_bit_6 -x121_bit_5 -x121_bit_4 -x121_bit_3 -x121_bit_2 -x121_bit_1 -x121_bit0 -x122_bit_7 -x122_bit_6 -x122_bit_5 -x122_bit_4 -x122_bit_3 -x122_bit_2 -x122_bit_1 -x122_bit0 -x123_bit_7 -x123_bit_6 -x123_bit_5 -x123_bit_4 -x123_bit_3 -x123_bit_2 -x123_bit_1 -x123_bit0 -x124_bit_7 -x124_bit_6 -x124_bit_5 -x124_bit_4 -x124_bit_3 -x124_bit_2 -x124_bit_1 -x124_bit0 -x125_bit_7 -x125_bit_6 -x125_bit_5 -x125_bit_4 -x125_bit_3 -x125_bit_2 -x125_bit_1 -x125_bit0 -x126_bit_7 -x126_bit_6 -x126_bit_5 -x126_bit_4 -x126_bit_3 -x126_bit_2 -x126_bit_1 -x126_bit0 -x127_bit_7 -x127_bit_6 -x127_bit_5 -x127_bit_4 -x127_bit_3 -x127_bit_2 -x127_bit_1 -x127_bit0 -x128_bit_7 -x128_bit_6 -x128_bit_5 -x128_bit_4 -x128_bit_3 -x128_bit_2 x128_bit_1 -x128_bit0 -x129_bit_7 -x129_bit_6 -x129_bit_5 -x129_bit_4 -x129_bit_3 -x129_bit_2 -x129_bit_1 -x129_bit0 -x130_bit_7 -x130_bit_6 -x130_bit_5 -x130_bit_4 -x130_bit_3 -x130_bit_2 -x130_bit_1 -x130_bit0 -x131_bit_7 -x131_bit_6 -x131_bit_5 -x131_bit_4 -x131_bit_3 -x131_bit_2 -x131_bit_1 -x131_bit0 -x132_bit_7 -x132_bit_6 -x132_bit_5 -x132_bit_4 -x132_bit_3 -x132_bit_2 -x132_bit_1 -x132_bit0 -x133_bit_7 x133_bit_6 x133_bit_5 x133_bit_4 x133_bit_3 x133_bit_2 -x133_bit_1 -x133_bit0 -x134_bit_7 -x134_bit_6 -x134_bit_5 -x134_bit_4 -x134_bit_3 -x134_bit_2 -x134_bit_1 -x134_bit0 -x135_bit_7 -x135_bit_6 -x135_bit_5 -x135_bit_4 -x135_bit_3 -x135_bit_2 -x135_bit_1 -x135_bit0 -x136_bit_7 -x136_bit_6 -x136_bit_5 -x136_bit_4 -x136_bit_3 -x136_bit_2 -x136_bit_1 -x136_bit0 -x137_bit_7 -x137_bit_6 -x137_bit_5 -x137_bit_4 -x137_bit_3 -x137_bit_2 -x137_bit_1 -x137_bit0 -x138_bit_7 -x138_bit_6 -x138_bit_5 -x138_bit_4 -x138_bit_3 -x138_bit_2 -x138_bit_1 -x138_bit0 -x139_bit_7 -x139_bit_6 -x139_bit_5 x139_bit_4 x139_bit_3 -x139_bit_2 x139_bit_1 -x139_bit0 -x140_bit_7 -x140_bit_6 -x140_bit_5 -x140_bit_4 -x140_bit_3 -x140_bit_2 -x140_bit_1 -x140_bit0 -x141_bit_7 -x141_bit_6 -x141_bit_5 -x141_bit_4 -x141_bit_3 -x141_bit_2 -x141_bit_1 -x141_bit0 -x142_bit_7 -x142_bit_6 -x142_bit_5 -x142_bit_4 -x142_bit_3 -x142_bit_2 -x142_bit_1 -x142_bit0 -x143_bit_7 -x143_bit_6 -x143_bit_5 -x143_bit_4 -x143_bit_3 -x143_bit_2 -x143_bit_1 -x143_bit0 -x144_bit_7 -x144_bit_6 -x144_bit_5 -x144_bit_4 -x144_bit_3 -x144_bit_2 -x144_bit_1 -x144_bit0 -x145_bit_7 -x145_bit_6 -x145_bit_5 -x145_bit_4 -x145_bit_3 -x145_bit_2 -x145_bit_1 -x145_bit0 -x146_bit_7 -x146_bit_6 -x146_bit_5 -x146_bit_4 -x146_bit_3 -x146_bit_2 -x146_bit_1 -x146_bit0 x147_bit_7 x147_bit_6 x147_bit_5 x147_bit_4 x147_bit_3 -x147_bit_2 -x147_bit_1 -x147_bit0 -x148_bit_7 -x148_bit_6 -x148_bit_5 -x148_bit_4 -x148_bit_3 -x148_bit_2 -x148_bit_1 -x148_bit0 -x149_bit_7 -x149_bit_6 -x149_bit_5 -x149_bit_4 -x149_bit_3 -x149_bit_2 -x149_bit_1 -x149_bit0 -x150_bit_7 -x150_bit_6 -x150_bit_5 -x150_bit_4 -x150_bit_3 -x150_bit_2 -x150_bit_1 -x150_bit0 -x151_bit_7 -x151_bit_6 -x151_bit_5 -x151_bit_4 -x151_bit_3 -x151_bit_2 -x151_bit_1 -x151_bit0 -x152_bit_7 -x152_bit_6 -x152_bit_5 -x152_bit_4 -x152_bit_3 -x152_bit_2 -x152_bit_1 -x152_bit0 x153_bit_7 x153_bit_6 x153_bit_5 x153_bit_4 x153_bit_3 x153_bit_2 -x153_bit_1 -x153_bit0 -x154_bit_7 -x154_bit_6 -x154_bit_5 -x154_bit_4 -x154_bit_3 -x154_bit_2 -x154_bit_1 -x154_bit0 -x155_bit_7 -x155_bit_6 -x155_bit_5 -x155_bit_4 -x155_bit_3 -x155_bit_2 -x155_bit_1 -x155_bit0 -x156_bit_7 -x156_bit_6 -x156_bit_5 -x156_bit_4 -x156_bit_3 -x156_bit_2 -x156_bit_1 -x156_bit0 -x157_bit_7 -x157_bit_6 -x157_bit_5 -x157_bit_4 -x157_bit_3 -x157_bit_2 -x157_bit_1 -x157_bit0 -x158_bit_7 -x158_bit_6 -x158_bit_5 -x158_bit_4 -x158_bit_3 -x158_bit_2 -x158_bit_1 -x158_bit0 -x159_bit_7 -x159_bit_6 -x159_bit_5 -x159_bit_4 -x159_bit_3 -x159_bit_2 -x159_bit_1 -x159_bit0 -x160_bit_7 -x160_bit_6 -x160_bit_5 -x160_bit_4 -x160_bit_3 -x160_bit_2 -x160_bit_1 -x160_bit0 -x161_bit_7 -x161_bit_6 -x161_bit_5 -x161_bit_4 -x161_bit_3 -x161_bit_2 -x161_bit_1 -x161_bit0 -x162_bit_7 -x162_bit_6 -x162_bit_5 -x162_bit_4 -x162_bit_3 -x162_bit_2 -x162_bit_1 -x162_bit0 -x163_bit_7 -x163_bit_6 -x163_bit_5 -x163_bit_4 -x163_bit_3 -x163_bit_2 -x163_bit_1 -x163_bit0 -x164_bit_7 -x164_bit_6 -x164_bit_5 x164_bit_4 x164_bit_3 x164_bit_2 -x164_bit_1 -x164_bit0 x165_bit_7 x165_bit_6 x165_bit_5 x165_bit_4 -x165_bit_3 -x165_bit_2 -x165_bit_1 -x165_bit0 -x166_bit_7 -x166_bit_6 -x166_bit_5 -x166_bit_4 -x166_bit_3 -x166_bit_2 -x166_bit_1 -x166_bit0 -x167_bit_7 -x167_bit_6 -x167_bit_5 -x167_bit_4 -x167_bit_3 -x167_bit_2 -x167_bit_1 -x167_bit0 -x168_bit_7 -x168_bit_6 -x168_bit_5 -x168_bit_4 -x168_bit_3 -x168_bit_2 -x168_bit_1 -x168_bit0 -x337_bit_7 -x337_bit_6 -x337_bit_5 -x337_bit_4 -x337_bit_3 -x337_bit_2 -x337_bit_1 -x337_bit0 -x337_bit1 -x337_bit2 -x337_bit3 -x337_bit4 -x337_bit5 -x337_bit6 -x337_bit7 -x338_bit_7 -x338_bit_6 x338_bit_5 x338_bit_4 -x338_bit_3 x338_bit_2 -x338_bit_1 x338_bit0 x338_bit1 x338_bit2 x338_bit3 x338_bit4 x338_bit5 x338_bit6 -x338_bit7 -x339_bit_7 -x339_bit_6 -x339_bit_5 x339_bit_4 x339_bit_3 x339_bit_2 -x339_bit_1 -x339_bit0 x339_bit1 x339_bit2 -x339_bit3 -x339_bit4 -x339_bit5 x339_bit6 x339_bit7 -x340_bit_7 -x340_bit_6 -x340_bit_5 x340_bit_4 x340_bit_3 x340_bit_2 -x340_bit_1 -x340_bit0 x340_bit1 x340_bit2 -x340_bit3 -x340_bit4 -x340_bit5 x340_bit6 x340_bit7 -x341_bit_7 -x341_bit_6 -x341_bit_5 x341_bit_4 x341_bit_3 x341_bit_2 -x341_bit_1 -x341_bit0 x341_bit1 x341_bit2 -x341_bit3 -x341_bit4 -x341_bit5 x341_bit6 x341_bit7 -x342_bit_7 -x342_bit_6 -x342_bit_5 -x342_bit_4 -x342_bit_3 -x342_bit_2 -x342_bit_1 -x342_bit0 -x342_bit1 -x342_bit2 -x342_bit3 -x342_bit4 -x342_bit5 -x342_bit6 -x342_bit7 -x343_bit_7 -x343_bit_6 -x343_bit_5 -x343_bit_4 -x343_bit_3 -x343_bit_2 -x343_bit_1 -x343_bit0 -x343_bit1 -x343_bit2 x343_bit3 -x343_bit4 -x343_bit5 x343_bit6 x343_bit7 -x344_bit_7 -x344_bit_6 -x344_bit_5 -x344_bit_4 -x344_bit_3 -x344_bit_2 -x344_bit_1 -x344_bit0 -x344_bit1 -x344_bit2 x344_bit3 -x344_bit4 -x344_bit5 x344_bit6 x344_bit7 -x345_bit_7 -x345_bit_6 -x345_bit_5 -x345_bit_4 -x345_bit_3 -x345_bit_2 -x345_bit_1 x345_bit0 x345_bit1 x345_bit2 x345_bit3 -x345_bit4 x345_bit5 -x345_bit6 x345_bit7 -x346_bit_7 -x346_bit_6 -x346_bit_5 -x346_bit_4 x346_bit_3 x346_bit_2 x346_bit_1 -x346_bit0 -x346_bit1 x346_bit2 -x346_bit3 -x346_bit4 -x346_bit5 x346_bit6 x346_bit7 -x347_bit_7 -x347_bit_6 -x347_bit_5 -x347_bit_4 -x347_bit_3 -x347_bit_2 -x347_bit_1 -x347_bit0 -x347_bit1 -x347_bit2 -x347_bit3 -x347_bit4 -x347_bit5 -x347_bit6 -x347_bit7 -x348_bit_7 -x348_bit_6 -x348_bit_5 -x348_bit_4 -x348_bit_3 -x348_bit_2 -x348_bit_1 -x348_bit0 -x348_bit1 -x348_bit2 -x348_bit3 -x348_bit4 -x348_bit5 -x348_bit6 -x348_bit7 -x349_bit_7 -x349_bit_6 -x349_bit_5 -x349_bit_4 -x349_bit_3 -x349_bit_2 -x349_bit_1 -x349_bit0 -x349_bit1 x349_bit2 -x349_bit3 -x349_bit4 x349_bit5 x349_bit6 -x350_bit_7 -x350_bit_6 -x350_bit_5 -x350_bit_4 -x350_bit_3 -x350_bit_2 -x350_bit_1 -x350_bit0 -x350_bit1 x350_bit2 -x350_bit3 -x350_bit4 x350_bit5 x350_bit6 -x351_bit_7 -x351_bit_6 -x351_bit_5 -x351_bit_4 -x351_bit_3 -x351_bit_2 -x351_bit_1 -x351_bit0 -x351_bit1 x351_bit2 -x351_bit3 -x351_bit4 x351_bit5 x351_bit6 -x352_bit_7 -x352_bit_6 -x352_bit_5 -x352_bit_4 -x352_bit_3 -x352_bit_2 -x352_bit_1 -x352_bit0 -x352_bit1 x352_bit2 -x352_bit3 -x352_bit4 x352_bit5 x352_bit6 -x353_bit_7 -x353_bit_6 x353_bit_5 -x353_bit_4 -x353_bit_3 x353_bit_2 x353_bit_1 -x353_bit0 -x353_bit1 -x353_bit2 -x353_bit3 -x353_bit4 -x353_bit5 -x353_bit6 -x354_bit_7 -x354_bit_6 x354_bit_5 -x354_bit_4 -x354_bit_3 x354_bit_2 x354_bit_1 -x354_bit0 -x354_bit1 -x354_bit2 -x354_bit3 -x354_bit4 -x354_bit5 -x354_bit6 -x355_bit_7 -x355_bit_6 -x355_bit_5 -x355_bit_4 -x355_bit_3 -x355_bit_2 -x355_bit_1 -x355_bit0 -x355_bit1 x355_bit2 -x355_bit3 -x355_bit4 x355_bit5 x355_bit6 -x356_bit_7 -x356_bit_6 -x356_bit_5 -x356_bit_4 -x356_bit_3 -x356_bit_2 -x356_bit_1 -x356_bit0 -x356_bit1 x356_bit2 -x356_bit3 -x356_bit4 x356_bit5 x356_bit6 -x357_bit_7 -x357_bit_6 -x357_bit_5 -x357_bit_4 -x357_bit_3 -x357_bit_2 -x357_bit_1 -x357_bit0 -x357_bit1 x357_bit2 -x357_bit3 -x357_bit4 x357_bit5 x357_bit6 -x358_bit_7 -x358_bit_6 -x358_bit_5 -x358_bit_4 -x358_bit_3 -x358_bit_2 -x358_bit_1 -x358_bit0 -x358_bit1 x358_bit2 -x358_bit3 -x358_bit4 x358_bit5 x358_bit6 -x359_bit_7 -x359_bit_6 -x359_bit_5 -x359_bit_4 -x359_bit_3 -x359_bit_2 -x359_bit_1 -x359_bit0 -x359_bit1 -x359_bit2 -x359_bit3 -x359_bit4 -x359_bit5 -x359_bit6 -x360_bit_7 -x360_bit_6 -x360_bit_5 -x360_bit_4 -x360_bit_3 -x360_bit_2 -x360_bit_1 -x360_bit0 -x360_bit1 -x360_bit2 -x360_bit3 -x360_bit4 -x360_bit5 -x360_bit6 -x361_bit_7 -x361_bit_6 -x361_bit_5 -x361_bit_4 -x361_bit_3 -x361_bit_2 -x361_bit_1 -x361_bit0 -x361_bit1 x361_bit2 x361_bit3 -x361_bit4 x361_bit5 -x361_bit6 -x361_bit7 x361_bit8 -x362_bit_7 -x362_bit_6 -x362_bit_5 -x362_bit_4 -x362_bit_3 -x362_bit_2 -x362_bit_1 -x362_bit0 -x362_bit1 x362_bit2 x362_bit3 -x362_bit4 x362_bit5 -x362_bit6 -x362_bit7 x362_bit8 -x363_bit_7 -x363_bit_6 -x363_bit_5 -x363_bit_4 -x363_bit_3 -x363_bit_2 -x363_bit_1 -x363_bit0 -x363_bit1 x363_bit2 x363_bit3 -x363_bit4 x363_bit5 -x363_bit6 -x363_bit7 x363_bit8 -x364_bit_7 -x364_bit_6 -x364_bit_5 -x364_bit_4 -x364_bit_3 -x364_bit_2 -x364_bit_1 -x364_bit0 -x364_bit1 -x364_bit2 -x364_bit3 -x364_bit4 -x364_bit5 -x364_bit6 -x364_bit7 -x364_bit8 -x365_bit_7 -x365_bit_6 -x365_bit_5 -x365_bit_4 x365_bit_3 -x365_bit_2 -x365_bit_1 -x365_bit0 -x365_bit1 -x365_bit2 -x365_bit3 -x365_bit4 -x365_bit5 -x365_bit6 x365_bit7 -x365_bit8 -x366_bit_7 -x366_bit_6 -x366_bit_5 -x366_bit_4 x366_bit_3 -x366_bit_2 -x366_bit_1 -x366_bit0 -x366_bit1 x366_bit2 x366_bit3 x366_bit4 -x366_bit5 -x366_bit6 -x366_bit7 -x366_bit8 -x367_bit_7 -x367_bit_6 -x367_bit_5 -x367_bit_4 x367_bit_3 -x367_bit_2 -x367_bit_1 x367_bit0 x367_bit1 -x367_bit2 -x367_bit3 -x367_bit4 -x367_bit5 -x367_bit6 -x368_bit_7 -x368_bit_6 -x368_bit_5 -x368_bit_4 x368_bit_3 -x368_bit_2 -x368_bit_1 x368_bit0 -x368_bit1 x368_bit2 -x368_bit3 x368_bit4 x368_bit5 -x368_bit6 -x369_bit_7 -x369_bit_6 -x369_bit_5 -x369_bit_4 x369_bit_3 -x369_bit_2 -x369_bit_1 x369_bit0 -x369_bit1 x369_bit2 -x369_bit3 x369_bit4 x369_bit5 -x369_bit6 -x370_bit_7 -x370_bit_6 -x370_bit_5 -x370_bit_4 x370_bit_3 -x370_bit_2 -x370_bit_1 x370_bit0 -x370_bit1 x370_bit2 -x370_bit3 x370_bit4 x370_bit5 -x370_bit6 -x371_bit_7 -x371_bit_6 -x371_bit_5 -x371_bit_4 x371_bit_3 -x371_bit_2 -x371_bit_1 x371_bit0 -x371_bit1 x371_bit2 -x371_bit3 x371_bit4 x371_bit5 -x371_bit6 -x372_bit_7 -x372_bit_6 -x372_bit_5 -x372_bit_4 x372_bit_3 -x372_bit_2 -x372_bit_1 x372_bit0 -x372_bit1 x372_bit2 -x372_bit3 x372_bit4 x372_bit5 -x372_bit6 -x373_bit_7 -x373_bit_6 -x373_bit_5 -x373_bit_4 -x373_bit_3 -x373_bit_2 -x373_bit_1 -x373_bit0 -x373_bit1 x373_bit2 -x373_bit3 -x373_bit4 x373_bit5 x373_bit6 -x374_bit_7 -x374_bit_6 -x374_bit_5 -x374_bit_4 -x374_bit_3 -x374_bit_2 x374_bit_1 -x374_bit0 x374_bit1 x374_bit2 x374_bit3 x374_bit4 x374_bit5 -x374_bit6 -x375_bit_7 -x375_bit_6 -x375_bit_5 -x375_bit_4 -x375_bit_3 -x375_bit_2 -x375_bit_1 -x375_bit0 -x375_bit1 -x375_bit2 -x375_bit3 -x375_bit4 -x375_bit5 -x375_bit6 -x376_bit_7 -x376_bit_6 -x376_bit_5 -x376_bit_4 -x376_bit_3 -x376_bit_2 -x376_bit_1 -x376_bit0 -x376_bit1 -x376_bit2 -x376_bit3 -x376_bit4 -x376_bit5 -x376_bit6 -x377_bit_7 -x377_bit_6 -x377_bit_5 -x377_bit_4 -x377_bit_3 -x377_bit_2 -x377_bit_1 -x377_bit0 -x377_bit1 -x377_bit2 -x377_bit3 -x377_bit4 -x377_bit5 -x377_bit6 -x378_bit_7 -x378_bit_6 -x378_bit_5 -x378_bit_4 -x378_bit_3 -x378_bit_2 -x378_bit_1 -x378_bit0 -x378_bit1 -x378_bit2 -x378_bit3 -x378_bit4 -x378_bit5 -x378_bit6 
#### 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
Raw data (loadavg): 1.03 1.00 0.94 2/54 2201
Raw data (stat): 2201 (runsolver) R 2200 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774664244 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 715 0 0 0 996 2 0 0 25 0 1 0 774664244 8663040 693 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2115 693 566 18 0 2097 0
vsize: 8460
[startup+20.0001 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 744 0 0 0 1996 2 0 0 25 0 1 0 774664244 8794112 722 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2147 722 566 18 0 2129 0
vsize: 8588
[startup+30.0007 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 806 0 0 0 2997 2 0 0 25 0 1 0 774664244 9060352 784 4294967295 134512640 134581331 3221224608 3221223536 134520095 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2212 784 566 18 0 2194 0
vsize: 8848
[startup+40.0001 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 835 0 0 0 3996 2 0 0 25 0 1 0 774664244 9191424 813 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2244 813 566 18 0 2226 0
vsize: 8976
[startup+50.0011 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 907 0 0 0 4996 3 0 0 25 0 1 0 774664244 9453568 885 4294967295 134512640 134581331 3221224608 3221223520 134527554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2308 885 566 18 0 2290 0
vsize: 9232
[startup+60.0008 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 910 0 0 0 5996 3 0 0 25 0 1 0 774664244 9453568 888 4294967295 134512640 134581331 3221224608 3221223524 1075285509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2308 888 566 18 0 2290 0
vsize: 9232
[startup+70.0002 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 996 0 0 0 6996 4 0 0 25 0 1 0 774664244 9850880 974 4294967295 134512640 134581331 3221224608 3221223536 134519956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2405 974 566 18 0 2387 0
vsize: 9620
[startup+80.0012 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 7996 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223428 1075289714 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+90.0009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 8996 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+100.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 9996 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223492 134557863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+110.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 10997 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+120.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 11997 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223304 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+130.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 12997 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 13997 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 14997 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 15997 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 16997 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 17998 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223464 134528389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 18998 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223616 134560421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 19998 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223536 134519869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1053 0 0 0 20998 4 0 0 25 0 1 0 774664244 10117120 1031 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1031 566 18 0 2452 0
vsize: 9880
[startup+220.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1078 0 0 0 21998 4 0 0 25 0 1 0 774664244 10117120 1056 4294967295 134512640 134581331 3221224608 3221223504 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1056 566 18 0 2452 0
vsize: 9880
[startup+230.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1173 0 0 0 22994 8 0 0 25 0 1 0 774664244 10510336 1151 4294967295 134512640 134581331 3221224608 3221223472 134528437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2566 1151 566 18 0 2548 0
vsize: 10264
[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1173 0 0 0 23988 15 0 0 25 0 1 0 774664244 10510336 1151 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2566 1151 566 18 0 2548 0
vsize: 10264
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1173 0 0 0 24982 21 0 0 25 0 1 0 774664244 10510336 1151 4294967295 134512640 134581331 3221224608 3221223600 134561155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2566 1151 566 18 0 2548 0
vsize: 10264
[startup+260.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1173 0 0 0 25978 26 0 0 25 0 1 0 774664244 10510336 1151 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2566 1151 566 18 0 2548 0
vsize: 10264
[startup+270.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1199 0 0 0 26973 32 0 0 25 0 1 0 774664244 10645504 1177 4294967295 134512640 134581331 3221224608 3221223548 134559715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1177 566 18 0 2581 0
vsize: 10396
[startup+280.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1209 0 0 0 27968 36 0 0 25 0 1 0 774664244 10645504 1187 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1187 566 18 0 2581 0
vsize: 10396
[startup+290.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1209 0 0 0 28963 42 0 0 25 0 1 0 774664244 10645504 1187 4294967295 134512640 134581331 3221224608 3221223588 134561096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1187 566 18 0 2581 0
vsize: 10396
[startup+300.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1209 0 0 0 29957 48 0 0 25 0 1 0 774664244 10645504 1187 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1187 566 18 0 2581 0
vsize: 10396
[startup+310.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1209 0 0 0 30950 55 0 0 25 0 1 0 774664244 10645504 1187 4294967295 134512640 134581331 3221224608 3221223536 134519867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1187 566 18 0 2581 0
vsize: 10396
[startup+320.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1209 0 0 0 31945 60 0 0 25 0 1 0 774664244 10645504 1187 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1187 566 18 0 2581 0
vsize: 10396
[startup+330.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1209 0 0 0 32940 66 0 0 25 0 1 0 774664244 10645504 1187 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1187 566 18 0 2581 0
vsize: 10396
[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1209 0 0 0 33934 71 0 0 25 0 1 0 774664244 10645504 1187 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1187 566 18 0 2581 0
vsize: 10396
[startup+350.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1310 0 0 0 34928 78 0 0 25 0 1 0 774664244 11177984 1288 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1288 566 18 0 2711 0
vsize: 10916
[startup+360.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1321 0 0 0 35923 83 0 0 25 0 1 0 774664244 11177984 1299 4294967295 134512640 134581331 3221224608 3221223504 134517830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1299 566 18 0 2711 0
vsize: 10916
[startup+370.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1328 0 0 0 36918 88 0 0 25 0 1 0 774664244 11177984 1306 4294967295 134512640 134581331 3221224608 3221223600 134561155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1306 566 18 0 2711 0
vsize: 10916
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1329 0 0 0 37912 94 0 0 25 0 1 0 774664244 11177984 1307 4294967295 134512640 134581331 3221224608 3221223380 1075285088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1307 566 18 0 2711 0
vsize: 10916
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1331 0 0 0 38907 100 0 0 25 0 1 0 774664244 11177984 1309 4294967295 134512640 134581331 3221224608 3221223504 134527841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1309 566 18 0 2711 0
vsize: 10916
[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1331 0 0 0 39903 104 0 0 25 0 1 0 774664244 11177984 1309 4294967295 134512640 134581331 3221224608 3221223472 134560274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1309 566 18 0 2711 0
vsize: 10916
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1333 0 0 0 40898 109 0 0 25 0 1 0 774664244 11177984 1311 4294967295 134512640 134581331 3221224608 3221223504 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1311 566 18 0 2711 0
vsize: 10916
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1334 0 0 0 41893 115 0 0 25 0 1 0 774664244 11177984 1312 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1312 566 18 0 2711 0
vsize: 10916
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1338 0 0 0 42887 121 0 0 25 0 1 0 774664244 11177984 1316 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1316 566 18 0 2711 0
vsize: 10916
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1338 0 0 0 43881 127 0 0 25 0 1 0 774664244 11177984 1316 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1316 566 18 0 2711 0
vsize: 10916
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1340 0 0 0 44876 133 0 0 25 0 1 0 774664244 11177984 1318 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1318 566 18 0 2711 0
vsize: 10916
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1341 0 0 0 45871 137 0 0 25 0 1 0 774664244 11177984 1319 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 1319 566 18 0 2711 0
vsize: 10916
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1483 0 0 0 46868 141 0 0 25 0 1 0 774664244 11837440 1461 4294967295 134512640 134581331 3221224608 3221223552 134559312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 1461 566 18 0 2872 0
vsize: 11560
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1503 0 0 0 47865 144 0 0 25 0 1 0 774664244 11960320 1481 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2920 1481 566 18 0 2902 0
vsize: 11680
[startup+490.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1503 0 0 0 48862 147 0 0 25 0 1 0 774664244 11960320 1481 4294967295 134512640 134581331 3221224608 3221223200 1075290948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2920 1481 566 18 0 2902 0
vsize: 11680
[startup+500.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1503 0 0 0 49869 151 0 0 25 0 1 0 774664244 11956224 1481 4294967295 134512640 134581331 3221224608 3221223600 134561138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1481 566 18 0 2901 0
vsize: 11676
[startup+510.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1503 0 0 0 50863 156 0 0 25 0 1 0 774664244 11956224 1481 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1481 566 18 0 2901 0
vsize: 11676
[startup+520.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1503 0 0 0 51857 162 0 0 25 0 1 0 774664244 11956224 1481 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1481 566 18 0 2901 0
vsize: 11676
[startup+530.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1503 0 0 0 52854 166 0 0 25 0 1 0 774664244 11956224 1481 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1481 566 18 0 2901 0
vsize: 11676
[startup+540.137 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1503 0 0 0 53851 170 0 0 25 0 1 0 774664244 11956224 1481 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1481 566 18 0 2901 0
vsize: 11676
[startup+550.137 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1503 0 0 0 54848 173 0 0 25 0 1 0 774664244 11956224 1481 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1481 566 18 0 2901 0
vsize: 11676
[startup+560.137 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1503 0 0 0 55844 177 0 0 25 0 1 0 774664244 11956224 1481 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1481 566 18 0 2901 0
vsize: 11676
[startup+570.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1516 0 0 0 56842 180 0 0 25 0 1 0 774664244 11956224 1494 4294967295 134512640 134581331 3221224608 3221223520 134531418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1494 566 18 0 2901 0
vsize: 11676
[startup+580.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1516 0 0 0 57840 182 0 0 25 0 1 0 774664244 11956224 1494 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1494 566 18 0 2901 0
vsize: 11676
[startup+590.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1516 0 0 0 58837 184 0 0 25 0 1 0 774664244 11956224 1494 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1494 566 18 0 2901 0
vsize: 11676
[startup+600.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1516 0 0 0 59836 186 0 0 25 0 1 0 774664244 11956224 1494 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1494 566 18 0 2901 0
vsize: 11676
[startup+610.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1516 0 0 0 60834 188 0 0 25 0 1 0 774664244 11956224 1494 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1494 566 18 0 2901 0
vsize: 11676
[startup+620.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1516 0 0 0 61832 190 0 0 25 0 1 0 774664244 11956224 1494 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1494 566 18 0 2901 0
vsize: 11676
[startup+630.136 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1516 0 0 0 62829 193 0 0 25 0 1 0 774664244 11956224 1494 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1494 566 18 0 2901 0
vsize: 11676
[startup+640.153 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 63829 195 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+650.153 s]
Raw data (loadavg): 1.08 1.02 0.95 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 64826 198 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+660.162 s]
Raw data (loadavg): 1.07 1.02 0.95 2/54 2201
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 65823 203 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+670.172 s]
Raw data (loadavg): 1.14 1.03 0.95 2/56 2223
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 66821 206 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+680.172 s]
Raw data (loadavg): 1.11 1.03 0.95 2/54 2254
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 67815 212 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+690.172 s]
Raw data (loadavg): 1.10 1.03 0.95 2/54 2254
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 68811 216 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+700.173 s]
Raw data (loadavg): 1.08 1.03 0.95 2/54 2254
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 69807 219 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+710.173 s]
Raw data (loadavg): 1.07 1.03 0.95 2/54 2254
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 70805 222 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223520 134527992 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+720.173 s]
Raw data (loadavg): 1.06 1.02 0.95 2/54 2254
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 71801 226 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+730.173 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 2254
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 72796 232 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+740.173 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 73791 237 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223648 134565037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+750.173 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 74785 242 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+760.173 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1518 0 0 0 75780 248 0 0 25 0 1 0 774664244 11956224 1496 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2919 1496 566 18 0 2901 0
vsize: 11676
[startup+770.172 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1545 0 0 0 76777 251 0 0 25 0 1 0 774664244 12087296 1523 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2951 1523 566 18 0 2933 0
vsize: 11804
[startup+780.173 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1547 0 0 0 77772 256 0 0 25 0 1 0 774664244 12087296 1525 4294967295 134512640 134581331 3221224608 3221223600 134561128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2951 1525 566 18 0 2933 0
vsize: 11804
[startup+790.172 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1561 0 0 0 78767 262 0 0 25 0 1 0 774664244 12087296 1539 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2951 1539 566 18 0 2933 0
vsize: 11804
[startup+800.172 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1567 0 0 0 79761 267 0 0 25 0 1 0 774664244 12226560 1545 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2985 1545 566 18 0 2967 0
vsize: 11940
[startup+810.173 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1567 0 0 0 80756 273 0 0 25 0 1 0 774664244 12226560 1545 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2985 1545 566 18 0 2967 0
vsize: 11940
[startup+820.173 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1569 0 0 0 81749 280 0 0 25 0 1 0 774664244 12226560 1547 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2985 1547 566 18 0 2967 0
vsize: 11940
[startup+830.174 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1569 0 0 0 82745 284 0 0 25 0 1 0 774664244 12226560 1547 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2985 1547 566 18 0 2967 0
vsize: 11940
[startup+840.173 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1569 0 0 0 83740 289 0 0 25 0 1 0 774664244 12226560 1547 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2985 1547 566 18 0 2967 0
vsize: 11940
[startup+850.174 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1579 0 0 0 84735 294 0 0 25 0 1 0 774664244 12226560 1557 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2985 1557 566 18 0 2967 0
vsize: 11940
[startup+860.174 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1610 0 0 0 85731 299 0 0 25 0 1 0 774664244 12357632 1588 4294967295 134512640 134581331 3221224608 3221223552 134559274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3017 1588 566 18 0 2999 0
vsize: 12068
[startup+870.173 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1645 0 0 0 86728 302 0 0 25 0 1 0 774664244 12488704 1623 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3049 1623 566 18 0 3031 0
vsize: 12196
[startup+880.174 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1645 0 0 0 87725 305 0 0 25 0 1 0 774664244 12488704 1623 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3049 1623 566 18 0 3031 0
vsize: 12196
[startup+890.174 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1671 0 0 0 88723 308 0 0 25 0 1 0 774664244 12619776 1649 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1649 566 18 0 3063 0
vsize: 12324
[startup+900.174 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1699 0 0 0 89720 310 0 0 25 0 1 0 774664244 12754944 1677 4294967295 134512640 134581331 3221224608 3221223552 134558835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1677 566 18 0 3096 0
vsize: 12456
[startup+910.175 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1699 0 0 0 90718 313 0 0 25 0 1 0 774664244 12754944 1677 4294967295 134512640 134581331 3221224608 3221223520 134527794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3114 1677 566 18 0 3096 0
vsize: 12456
[startup+920.175 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1699 0 0 0 91716 315 0 0 25 0 1 0 774664244 12750848 1677 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1677 566 18 0 3095 0
vsize: 12452
[startup+930.176 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1699 0 0 0 92713 318 0 0 25 0 1 0 774664244 12750848 1677 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1677 566 18 0 3095 0
vsize: 12452
[startup+940.175 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1699 0 0 0 93710 321 0 0 25 0 1 0 774664244 12750848 1677 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1677 566 18 0 3095 0
vsize: 12452
[startup+950.176 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1699 0 0 0 94707 324 0 0 25 0 1 0 774664244 12750848 1677 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1677 566 18 0 3095 0
vsize: 12452
[startup+960.176 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1699 0 0 0 95705 326 0 0 25 0 1 0 774664244 12750848 1677 4294967295 134512640 134581331 3221224608 3221223520 134527995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1677 566 18 0 3095 0
vsize: 12452
[startup+970.175 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1699 0 0 0 96703 329 0 0 25 0 1 0 774664244 12750848 1677 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1677 566 18 0 3095 0
vsize: 12452
[startup+980.176 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2256
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1702 0 0 0 97701 331 0 0 25 0 1 0 774664244 12750848 1680 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1680 566 18 0 3095 0
vsize: 12452
[startup+990.175 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1702 0 0 0 98698 334 0 0 25 0 1 0 774664244 12750848 1680 4294967295 134512640 134581331 3221224608 3221223536 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1680 566 18 0 3095 0
vsize: 12452
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1702 0 0 0 99697 336 0 0 25 0 1 0 774664244 12750848 1680 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1680 566 18 0 3095 0
vsize: 12452
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1702 0 0 0 100695 338 0 0 25 0 1 0 774664244 12750848 1680 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1680 566 18 0 3095 0
vsize: 12452
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1702 0 0 0 101694 339 0 0 25 0 1 0 774664244 12750848 1680 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1680 566 18 0 3095 0
vsize: 12452
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1702 0 0 0 102690 343 0 0 25 0 1 0 774664244 12726272 1680 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1680 566 18 0 3089 0
vsize: 12428
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1702 0 0 0 103688 345 0 0 25 0 1 0 774664244 12726272 1680 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1680 566 18 0 3089 0
vsize: 12428
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1702 0 0 0 104685 349 0 0 25 0 1 0 774664244 12726272 1680 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1680 566 18 0 3089 0
vsize: 12428
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1702 0 0 0 105682 352 0 0 25 0 1 0 774664244 12726272 1680 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1680 566 18 0 3089 0
vsize: 12428
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1702 0 0 0 106681 353 0 0 25 0 1 0 774664244 12726272 1680 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1680 566 18 0 3089 0
vsize: 12428
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1713 0 0 0 107679 356 0 0 25 0 1 0 774664244 12726272 1691 4294967295 134512640 134581331 3221224608 3221223520 134527420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1691 566 18 0 3089 0
vsize: 12428
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1713 0 0 0 108676 358 0 0 25 0 1 0 774664244 12726272 1691 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1691 566 18 0 3089 0
vsize: 12428
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1731 0 0 0 109674 360 0 0 25 0 1 0 774664244 12861440 1709 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 1709 566 18 0 3122 0
vsize: 12560
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1731 0 0 0 110672 362 0 0 25 0 1 0 774664244 12861440 1709 4294967295 134512640 134581331 3221224608 3221223520 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 1709 566 18 0 3122 0
vsize: 12560
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1731 0 0 0 111670 365 0 0 25 0 1 0 774664244 12861440 1709 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 1709 566 18 0 3122 0
vsize: 12560
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1748 0 0 0 112668 367 0 0 25 0 1 0 774664244 12861440 1726 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 1726 566 18 0 3122 0
vsize: 12560
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1749 0 0 0 113667 369 0 0 25 0 1 0 774664244 12861440 1727 4294967295 134512640 134581331 3221224608 3221223520 134527633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 1727 566 18 0 3122 0
vsize: 12560
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1749 0 0 0 114665 371 0 0 25 0 1 0 774664244 12861440 1727 4294967295 134512640 134581331 3221224608 3221223552 134559370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 1727 566 18 0 3122 0
vsize: 12560
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1749 0 0 0 115664 373 0 0 25 0 1 0 774664244 12861440 1727 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 1727 566 18 0 3122 0
vsize: 12560
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1749 0 0 0 116661 376 0 0 25 0 1 0 774664244 12861440 1727 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 1727 566 18 0 3122 0
vsize: 12560
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1749 0 0 0 117660 377 0 0 25 0 1 0 774664244 12861440 1727 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 1727 566 18 0 3122 0
vsize: 12560
[startup+1188.84 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 2258
Raw data (stat): 2201 (Pueblo) R 2200 31399 31398 0 -1 0 1749 0 0 0 117660 377 0 0 25 0 1 0 774664244 12861440 1727 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 1727 566 18 0 3122 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.02
CPU user time (s): 1185.23
CPU system time (s): 3.79142
CPU usage (%): 100.016
Max. virtual memory (Kb): 12560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	121
#### END VERIFIER DATA ####