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 27345

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-24 21:05:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18125 boxname=wulflinc22 idbench=1395 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  8c44064d4224b1d41c28f152218dd39f  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 18125
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        830552 kB
Buffers:         36768 kB
Cached:         133680 kB
SwapCached:      12200 kB
Active:          64360 kB
Inactive:       120424 kB
HighTotal:      131008 kB
HighFree:         4284 kB
LowTotal:       903652 kB
LowFree:        826268 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            13664 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:25:18 (client local time) WITH STATUS 10 IN 1175.15 SECONDS
stats: 18125 0 1175.15 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1392 variables and 234 constraints.
c preprocess terminated 46.299 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 121 @ 57.973
c NEW SOLUTION FOUND: 120 @ 57.977
c NEW SOLUTION FOUND: 116 @ 57.986
c NEW SOLUTION FOUND: 113 @ 58.044
c NEW SOLUTION FOUND: 112 @ 58.154
c NEW SOLUTION FOUND: 111 @ 58.274
c NEW SOLUTION FOUND: 110 @ 58.282
c NEW SOLUTION FOUND: 108 @ 58.298
c NEW SOLUTION FOUND: 106 @ 59.718
c NEW SOLUTION FOUND: 105 @ 89.147
c NEW SOLUTION FOUND: 104 @ 106.83
c NEW SOLUTION FOUND: 103 @ 400.883
c NEW SOLUTION FOUND: 102 @ 474.992
c NEW SOLUTION FOUND: 101 @ 1097.29
c NEW SOLUTION FOUND: 99 @ 1097.76
c NEW SOLUTION FOUND: 98 @ 1098.62
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 
c Exit Code: 10
c Total time: 1175.11 s
#### 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): 0.88 0.98 0.97 2/54 26656
Raw data (stat): 26656 (runsolver) R 26655 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833342411 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.90 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 5783 0 0 0 984 14 0 0 25 0 1 0 833342411 27373568 5759 4294967295 134512640 134714540 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6683 5759 1111 63 0 6620 0
vsize: 26732
[startup+20.0019 s]
Raw data (loadavg): 0.91 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 5808 0 0 0 1984 14 0 0 25 0 1 0 833342411 27508736 5784 4294967295 134512640 134714540 3221224592 3221223172 1077374508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6716 5784 1111 63 0 6653 0
vsize: 26864
[startup+30.0024 s]
Raw data (loadavg): 0.93 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 5808 0 0 0 2984 15 0 0 25 0 1 0 833342411 27508736 5784 4294967295 134512640 134714540 3221224592 3221223464 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6716 5784 1111 63 0 6653 0
vsize: 26864
[startup+40.0016 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 5808 0 0 0 3983 15 0 0 25 0 1 0 833342411 27508736 5784 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6716 5784 1111 63 0 6653 0
vsize: 26864
[startup+50.0027 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 5824 0 0 0 4983 16 0 0 25 0 1 0 833342411 27508736 5800 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6716 5800 1111 63 0 6653 0
vsize: 26864
[startup+60.0034 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 7578 0 0 0 5976 23 0 0 25 0 1 0 833342411 34648064 7554 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8459 7554 1111 63 0 8396 0
vsize: 33836
[startup+70.0037 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 8433 0 0 0 6972 27 0 0 25 0 1 0 833342411 38141952 8409 4294967295 134512640 134714540 3221224592 3221223384 134542445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9312 8409 1111 63 0 9249 0
vsize: 37248
[startup+80.0051 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 9535 0 0 0 7969 30 0 0 25 0 1 0 833342411 42729472 9511 4294967295 134512640 134714540 3221224592 3221223152 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10432 9511 1111 63 0 10369 0
vsize: 41728
[startup+90.0055 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 9986 0 0 0 8966 33 0 0 25 0 1 0 833342411 44642304 9962 4294967295 134512640 134714540 3221224592 3221223368 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10899 9962 1111 63 0 10836 0
vsize: 43596
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 10253 0 0 0 9965 34 0 0 25 0 1 0 833342411 45723648 10229 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11163 10229 1111 63 0 11100 0
vsize: 44652
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 10635 0 0 0 10964 36 0 0 25 0 1 0 833342411 47214592 10611 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11527 10611 1111 63 0 11464 0
vsize: 46108
[startup+120.007 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 10782 0 0 0 11963 37 0 0 25 0 1 0 833342411 47890432 10758 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11692 10758 1111 63 0 11629 0
vsize: 46768
[startup+130.007 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 10894 0 0 0 12962 37 0 0 25 0 1 0 833342411 48295936 10870 4294967295 134512640 134714540 3221224592 3221223124 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11791 10870 1111 63 0 11728 0
vsize: 47164
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11031 0 0 0 13962 38 0 0 25 0 1 0 833342411 48828416 11007 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11921 11007 1111 63 0 11858 0
vsize: 47684
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11056 0 0 0 14961 39 0 0 25 0 1 0 833342411 48963584 11032 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11954 11032 1111 63 0 11891 0
vsize: 47816
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11245 0 0 0 15961 40 0 0 25 0 1 0 833342411 49938432 11221 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12192 11221 1111 63 0 12129 0
vsize: 48768
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11384 0 0 0 16960 40 0 0 25 0 1 0 833342411 50499584 11358 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12329 11358 1111 63 0 12266 0
vsize: 49316
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11457 0 0 0 17960 41 0 0 25 0 1 0 833342411 50905088 11431 4294967295 134512640 134714540 3221224592 3221223196 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12428 11431 1111 63 0 12365 0
vsize: 49712
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11568 0 0 0 18959 42 0 0 25 0 1 0 833342411 51310592 11542 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12527 11542 1111 63 0 12464 0
vsize: 50108
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11631 0 0 0 19959 42 0 0 25 0 1 0 833342411 51580928 11605 4294967295 134512640 134714540 3221224592 3221223396 134622416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12593 11605 1111 63 0 12530 0
vsize: 50372
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11670 0 0 0 20958 43 0 0 25 0 1 0 833342411 51716096 11644 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 11644 1111 63 0 12563 0
vsize: 50504
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11670 0 0 0 21957 44 0 0 25 0 1 0 833342411 51716096 11644 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 11644 1111 63 0 12563 0
vsize: 50504
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11797 0 0 0 22956 46 0 0 25 0 1 0 833342411 52256768 11771 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12758 11771 1111 63 0 12695 0
vsize: 51032
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 11907 0 0 0 23954 47 0 0 25 0 1 0 833342411 52662272 11881 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12857 11881 1111 63 0 12794 0
vsize: 51428
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12075 0 0 0 24953 48 0 0 25 0 1 0 833342411 53305344 12049 4294967295 134512640 134714540 3221224592 3221223280 134542950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13014 12049 1111 63 0 12951 0
vsize: 52056
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12155 0 0 0 25953 49 0 0 25 0 1 0 833342411 53710848 12129 4294967295 134512640 134714540 3221224592 3221223384 134536915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13113 12129 1111 63 0 13050 0
vsize: 52452
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12302 0 0 0 26952 50 0 0 25 0 1 0 833342411 54255616 12276 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13246 12276 1111 63 0 13183 0
vsize: 52984
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12400 0 0 0 27951 52 0 0 25 0 1 0 833342411 54661120 12374 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13345 12374 1111 63 0 13282 0
vsize: 53380
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12400 0 0 0 28950 52 0 0 25 0 1 0 833342411 54661120 12374 4294967295 134512640 134714540 3221224592 3221223368 134542401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13345 12374 1111 63 0 13282 0
vsize: 53380
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12532 0 0 0 29950 53 0 0 25 0 1 0 833342411 55201792 12506 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13477 12506 1111 63 0 13414 0
vsize: 53908
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12618 0 0 0 30949 54 0 0 25 0 1 0 833342411 55603200 12592 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13575 12592 1111 63 0 13512 0
vsize: 54300
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12638 0 0 0 31948 54 0 0 25 0 1 0 833342411 55603200 12612 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13575 12612 1111 63 0 13512 0
vsize: 54300
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12657 0 0 0 32948 55 0 0 25 0 1 0 833342411 55738368 12631 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13608 12631 1111 63 0 13545 0
vsize: 54432
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12742 0 0 0 33947 56 0 0 25 0 1 0 833342411 56008704 12716 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13674 12716 1111 63 0 13611 0
vsize: 54696
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12781 0 0 0 34946 56 0 0 25 0 1 0 833342411 56143872 12755 4294967295 134512640 134714540 3221224592 3221223368 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13707 12755 1111 63 0 13644 0
vsize: 54828
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12924 0 0 0 35945 58 0 0 25 0 1 0 833342411 56819712 12898 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13872 12898 1111 63 0 13809 0
vsize: 55488
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 12938 0 0 0 36945 58 0 0 25 0 1 0 833342411 56819712 12912 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13872 12912 1111 63 0 13809 0
vsize: 55488
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13011 0 0 0 37944 59 0 0 25 0 1 0 833342411 57077760 12985 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13935 12985 1111 63 0 13872 0
vsize: 55740
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13037 0 0 0 38943 60 0 0 25 0 1 0 833342411 57212928 13011 4294967295 134512640 134714540 3221224592 3221223408 134622242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13968 13011 1111 63 0 13905 0
vsize: 55872
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13133 0 0 0 39942 62 0 0 25 0 1 0 833342411 57618432 13107 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14067 13107 1111 63 0 14004 0
vsize: 56268
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13182 0 0 0 40942 62 0 0 25 0 1 0 833342411 57888768 13156 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14133 13156 1111 63 0 14070 0
vsize: 56532
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13268 0 0 0 41941 63 0 0 25 0 1 0 833342411 58159104 13242 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14199 13242 1111 63 0 14136 0
vsize: 56796
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13312 0 0 0 42940 64 0 0 25 0 1 0 833342411 58294272 13286 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14232 13286 1111 63 0 14169 0
vsize: 56928
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13312 0 0 0 43940 64 0 0 25 0 1 0 833342411 58294272 13286 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14232 13286 1111 63 0 14169 0
vsize: 56928
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13314 0 0 0 44940 65 0 0 25 0 1 0 833342411 58421248 13288 4294967295 134512640 134714540 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14263 13288 1111 63 0 14200 0
vsize: 57052
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13314 0 0 0 45939 65 0 0 25 0 1 0 833342411 58421248 13288 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14263 13288 1111 63 0 14200 0
vsize: 57052
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13408 0 0 0 46939 66 0 0 25 0 1 0 833342411 58691584 13382 4294967295 134512640 134714540 3221224592 3221223184 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14329 13382 1111 63 0 14266 0
vsize: 57316
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13661 0 0 0 47938 67 0 0 25 0 1 0 833342411 59760640 13634 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14590 13634 1111 63 0 14527 0
vsize: 58360
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13852 0 0 0 48937 68 0 0 25 0 1 0 833342411 60571648 13825 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14788 13825 1111 63 0 14725 0
vsize: 59152
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13929 0 0 0 49936 69 0 0 25 0 1 0 833342411 60841984 13902 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14854 13902 1111 63 0 14791 0
vsize: 59416
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 13997 0 0 0 50935 70 0 0 25 0 1 0 833342411 61108224 13970 4294967295 134512640 134714540 3221224592 3221223408 134610859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14919 13970 1111 63 0 14856 0
vsize: 59676
[startup+520.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 14072 0 0 0 51935 71 0 0 25 0 1 0 833342411 61513728 14045 4294967295 134512640 134714540 3221224592 3221223104 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15018 14045 1111 63 0 14955 0
vsize: 60072
[startup+530.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 14184 0 0 0 52934 72 0 0 25 0 1 0 833342411 61919232 14157 4294967295 134512640 134714540 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15117 14157 1111 63 0 15054 0
vsize: 60468
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 14341 0 0 0 53933 73 0 0 25 0 1 0 833342411 62619648 14313 4294967295 134512640 134714540 3221224592 3221223124 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15288 14313 1111 63 0 15225 0
vsize: 61152
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 14545 0 0 0 54932 74 0 0 25 0 1 0 833342411 63512576 14515 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15506 14515 1111 63 0 15443 0
vsize: 62024
[startup+560.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 14726 0 0 0 55932 75 0 0 25 0 1 0 833342411 64217088 14681 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15678 14681 1111 63 0 15615 0
vsize: 62712
[startup+570.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 14739 0 0 0 56931 75 0 0 25 0 1 0 833342411 64380928 14694 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15718 14694 1111 63 0 15655 0
vsize: 62872
[startup+580.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15006 0 0 0 57930 76 0 0 25 0 1 0 833342411 65740800 14945 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16050 14945 1111 63 0 15987 0
vsize: 64200
[startup+590.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15088 0 0 0 58930 77 0 0 25 0 1 0 833342411 66011136 15027 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16116 15027 1111 63 0 16053 0
vsize: 64464
[startup+600.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15197 0 0 0 59929 78 0 0 25 0 1 0 833342411 66416640 15136 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16215 15136 1111 63 0 16152 0
vsize: 64860
[startup+610.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15277 0 0 0 60928 78 0 0 25 0 1 0 833342411 66785280 15216 4294967295 134512640 134714540 3221224592 3221223196 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16305 15216 1111 63 0 16242 0
vsize: 65220
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15422 0 0 0 61928 79 0 0 25 0 1 0 833342411 67325952 15361 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16437 15361 1111 63 0 16374 0
vsize: 65748
[startup+630.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15521 0 0 0 62928 79 0 0 25 0 1 0 833342411 67731456 15460 4294967295 134512640 134714540 3221224592 3221223392 134622663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16536 15460 1111 63 0 16473 0
vsize: 66144
[startup+640.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15582 0 0 0 63927 80 0 0 25 0 1 0 833342411 68001792 15521 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16602 15521 1111 63 0 16539 0
vsize: 66408
[startup+650.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15696 0 0 0 64927 80 0 0 25 0 1 0 833342411 68411392 15635 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 15635 1111 63 0 16639 0
vsize: 66808
[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15774 0 0 0 65927 81 0 0 25 0 1 0 833342411 68812800 15713 4294967295 134512640 134714540 3221224592 3221223260 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16800 15713 1111 63 0 16737 0
vsize: 67200
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15793 0 0 0 66927 81 0 0 25 0 1 0 833342411 68812800 15732 4294967295 134512640 134714540 3221224592 3221223456 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16800 15732 1111 63 0 16737 0
vsize: 67200
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15838 0 0 0 67926 81 0 0 25 0 1 0 833342411 69083136 15777 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16866 15777 1111 63 0 16803 0
vsize: 67464
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 15929 0 0 0 68926 82 0 0 25 0 1 0 833342411 69484544 15867 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16964 15867 1111 63 0 16901 0
vsize: 67856
[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16021 0 0 0 69926 82 0 0 25 0 1 0 833342411 69754880 15959 4294967295 134512640 134714540 3221224592 3221223372 134543569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17030 15959 1111 63 0 16967 0
vsize: 68120
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16170 0 0 0 70926 83 0 0 25 0 1 0 833342411 70430720 16108 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17195 16108 1111 63 0 17132 0
vsize: 68780
[startup+720.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16279 0 0 0 71925 83 0 0 25 0 1 0 833342411 70979584 16217 4294967295 134512640 134714540 3221224592 3221223388 134542422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 16217 1111 63 0 17266 0
vsize: 69316
[startup+730.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16364 0 0 0 72925 83 0 0 25 0 1 0 833342411 71233536 16302 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17391 16302 1111 63 0 17328 0
vsize: 69564
[startup+740.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16405 0 0 0 73925 84 0 0 25 0 1 0 833342411 71368704 16343 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17424 16343 1111 63 0 17361 0
vsize: 69696
[startup+750.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16409 0 0 0 74925 84 0 0 25 0 1 0 833342411 71503872 16347 4294967295 134512640 134714540 3221224592 3221223320 134622854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17457 16347 1111 63 0 17394 0
vsize: 69828
[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16415 0 0 0 75925 84 0 0 25 0 1 0 833342411 71503872 16353 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17457 16353 1111 63 0 17394 0
vsize: 69828
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16415 0 0 0 76926 84 0 0 25 0 1 0 833342411 71503872 16353 4294967295 134512640 134714540 3221224592 3221223380 134622602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17457 16353 1111 63 0 17394 0
vsize: 69828
[startup+780.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16415 0 0 0 77926 84 0 0 25 0 1 0 833342411 71503872 16353 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17457 16353 1111 63 0 17394 0
vsize: 69828
[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16444 0 0 0 78926 84 0 0 25 0 1 0 833342411 71639040 16382 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17490 16382 1111 63 0 17427 0
vsize: 69960
[startup+800.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16476 0 0 0 79926 84 0 0 25 0 1 0 833342411 71774208 16414 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17523 16414 1111 63 0 17460 0
vsize: 70092
[startup+810.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16509 0 0 0 80926 84 0 0 25 0 1 0 833342411 71909376 16447 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17556 16447 1111 63 0 17493 0
vsize: 70224
[startup+820.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16551 0 0 0 81926 84 0 0 25 0 1 0 833342411 72044544 16489 4294967295 134512640 134714540 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17589 16489 1111 63 0 17526 0
vsize: 70356
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16551 0 0 0 82926 84 0 0 25 0 1 0 833342411 72044544 16489 4294967295 134512640 134714540 3221224592 3221223312 134622791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17589 16489 1111 63 0 17526 0
vsize: 70356
[startup+840.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16612 0 0 0 83926 84 0 0 25 0 1 0 833342411 72331264 16550 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16550 1111 63 0 17596 0
vsize: 70636
[startup+850.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16643 0 0 0 84926 84 0 0 25 0 1 0 833342411 72466432 16581 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17692 16581 1111 63 0 17629 0
vsize: 70768
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16643 0 0 0 85926 84 0 0 25 0 1 0 833342411 72466432 16581 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17692 16581 1111 63 0 17629 0
vsize: 70768
[startup+870.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16643 0 0 0 86927 84 0 0 25 0 1 0 833342411 72466432 16581 4294967295 134512640 134714540 3221224592 3221223408 134622625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17692 16581 1111 63 0 17629 0
vsize: 70768
[startup+880.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16644 0 0 0 87927 84 0 0 25 0 1 0 833342411 72466432 16582 4294967295 134512640 134714540 3221224592 3221223184 134539567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17692 16582 1111 63 0 17629 0
vsize: 70768
[startup+890.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16667 0 0 0 88927 85 0 0 25 0 1 0 833342411 72601600 16605 4294967295 134512640 134714540 3221224592 3221223368 134622697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17725 16605 1111 63 0 17662 0
vsize: 70900
[startup+900.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16680 0 0 0 89927 85 0 0 25 0 1 0 833342411 72601600 16618 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17725 16618 1111 63 0 17662 0
vsize: 70900
[startup+910.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16680 0 0 0 90927 85 0 0 25 0 1 0 833342411 72601600 16618 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17725 16618 1111 63 0 17662 0
vsize: 70900
[startup+920.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16705 0 0 0 91927 85 0 0 25 0 1 0 833342411 72732672 16643 4294967295 134512640 134714540 3221224592 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17757 16643 1111 63 0 17694 0
vsize: 71028
[startup+930.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16705 0 0 0 92928 85 0 0 25 0 1 0 833342411 72732672 16643 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17757 16643 1111 63 0 17694 0
vsize: 71028
[startup+940.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16709 0 0 0 93928 85 0 0 25 0 1 0 833342411 72732672 16647 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17757 16647 1111 63 0 17694 0
vsize: 71028
[startup+950.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16709 0 0 0 94928 85 0 0 25 0 1 0 833342411 72732672 16647 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17757 16647 1111 63 0 17694 0
vsize: 71028
[startup+960.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16720 0 0 0 95928 85 0 0 25 0 1 0 833342411 72732672 16658 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17757 16658 1111 63 0 17694 0
vsize: 71028
[startup+970.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16734 0 0 0 96928 85 0 0 25 0 1 0 833342411 72867840 16672 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17790 16672 1111 63 0 17727 0
vsize: 71160
[startup+980.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16734 0 0 0 97928 85 0 0 25 0 1 0 833342411 72867840 16672 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17790 16672 1111 63 0 17727 0
vsize: 71160
[startup+990.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16769 0 0 0 98928 85 0 0 25 0 1 0 833342411 73003008 16707 4294967295 134512640 134714540 3221224592 3221223396 134610689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17823 16707 1111 63 0 17760 0
vsize: 71292
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16817 0 0 0 99929 85 0 0 25 0 1 0 833342411 73138176 16755 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17856 16755 1111 63 0 17793 0
vsize: 71424
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16825 0 0 0 100928 85 0 0 25 0 1 0 833342411 73138176 16763 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17856 16763 1111 63 0 17793 0
vsize: 71424
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16825 0 0 0 101929 85 0 0 25 0 1 0 833342411 73138176 16763 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17856 16763 1111 63 0 17793 0
vsize: 71424
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16825 0 0 0 102929 85 0 0 25 0 1 0 833342411 73138176 16763 4294967295 134512640 134714540 3221224592 3221223312 134622764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17856 16763 1111 63 0 17793 0
vsize: 71424
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16880 0 0 0 103929 86 0 0 25 0 1 0 833342411 73408512 16818 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 16818 1111 63 0 17859 0
vsize: 71688
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16880 0 0 0 104929 86 0 0 25 0 1 0 833342411 73408512 16818 4294967295 134512640 134714540 3221224592 3221223296 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 16818 1111 63 0 17859 0
vsize: 71688
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16880 0 0 0 105929 86 0 0 25 0 1 0 833342411 73408512 16818 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 16818 1111 63 0 17859 0
vsize: 71688
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16880 0 0 0 106929 86 0 0 25 0 1 0 833342411 73408512 16818 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 16818 1111 63 0 17859 0
vsize: 71688
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16880 0 0 0 107929 86 0 0 25 0 1 0 833342411 73408512 16818 4294967295 134512640 134714540 3221224592 3221223376 134528816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 16818 1111 63 0 17859 0
vsize: 71688
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 16891 0 0 0 108930 86 0 0 25 0 1 0 833342411 73408512 16829 4294967295 134512640 134714540 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17922 16829 1111 63 0 17859 0
vsize: 71688
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 17216 0 0 0 109928 87 0 0 25 0 1 0 833342411 74752000 17154 4294967295 134512640 134714540 3221224592 3221223308 134543124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18250 17154 1111 63 0 18187 0
vsize: 73000
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 17641 0 0 0 110926 89 0 0 25 0 1 0 833342411 76509184 17579 4294967295 134512640 134714540 3221224592 3221223212 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18679 17579 1111 63 0 18616 0
vsize: 74716
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 17805 0 0 0 111926 90 0 0 25 0 1 0 833342411 77185024 17743 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18844 17743 1111 63 0 18781 0
vsize: 75376
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 17864 0 0 0 112926 90 0 0 25 0 1 0 833342411 77455360 17802 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18910 17802 1111 63 0 18847 0
vsize: 75640
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 17957 0 0 0 113925 90 0 0 25 0 1 0 833342411 77725696 17895 4294967295 134512640 134714540 3221224592 3221223312 134622761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18976 17895 1111 63 0 18913 0
vsize: 75904
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 18060 0 0 0 114925 91 0 0 25 0 1 0 833342411 78131200 17998 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19075 17998 1111 63 0 19012 0
vsize: 76300
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 18212 0 0 0 115924 92 0 0 25 0 1 0 833342411 78807040 18150 4294967295 134512640 134714540 3221224592 3221223184 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19240 18150 1111 63 0 19177 0
vsize: 76960
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 18272 0 0 0 116924 92 0 0 25 0 1 0 833342411 78942208 18210 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19273 18210 1111 63 0 19210 0
vsize: 77092
[startup+1175.01 s]
Raw data (loadavg): 0.99 0.98 0.97 1/53 26656
Raw data (stat): 26656 (bsolo_mis) R 26655 23310 23309 0 -1 0 18272 0 0 0 116924 92 0 0 25 0 1 0 833342411 78942208 18210 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19273 18210 1111 63 0 19210 0
vsize: 0

Child status: 10
Real time (s): 1175.01
CPU time (s): 1175.15
CPU user time (s): 1174.19
CPU system time (s): 0.958854
CPU usage (%): 100.012
Max. virtual memory (Kb): 77092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	98
#### END VERIFIER DATA ####