Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-egout.opb |
MD5SUM | fd101f0ba1a3813e843a38997ab7ed84 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 58880896 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1095 |
Biggest coefficient in the objective function | 533200896 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 14929722305 |
Number of bits of the sum of numbers in the objective function | 34 |
Biggest number in a constraint | 533200896 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 14929722305 |
Number of bits of the biggest sum of numbers | 34 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04984 |
Number of variables | 1155 |
Total number of constraints | 153 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 98 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 280 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-24 19:33:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18294 boxname=wulflinc11 idbench=1408 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: fd101f0ba1a3813e843a38997ab7ed84 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-egout.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-egout.opb IDLAUNCH: 18294 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 537652 kB Buffers: 36820 kB Cached: 418968 kB SwapCached: 84 kB Active: 41416 kB Inactive: 430736 kB HighTotal: 131008 kB HighFree: 73024 kB LowTotal: 903652 kB LowFree: 464628 kB SwapTotal: 2097136 kB SwapFree: 2097048 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6876 kB Slab: 19084 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 19:52:39 (client local time) WITH STATUS 10 IN 1175.79 SECONDS stats: 18294 0 1175.79 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 1155 variables and 134 constraints. c After prepocess the problem consists of 481 variables and 91 constraints. c preprocess terminated 1.578 s c Initial Lower Bound: 19959701 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. c NEW SOLUTION FOUND: 90903552 @ 2.838 c NEW SOLUTION FOUND: 90878976 @ 2.848 c NEW SOLUTION FOUND: 90859776 @ 2.869 c NEW SOLUTION FOUND: 90854400 @ 2.871 c NEW SOLUTION FOUND: 90842112 @ 2.888 c NEW SOLUTION FOUND: 90608640 @ 2.921 c NEW SOLUTION FOUND: 89648896 @ 3.019 c NEW SOLUTION FOUND: 86990592 @ 3.221 c NEW SOLUTION FOUND: 84826240 @ 4.304 c NEW SOLUTION FOUND: 84693120 @ 4.311 c NEW SOLUTION FOUND: 84551296 @ 4.697 c NEW SOLUTION FOUND: 81714304 @ 4.836 c NEW SOLUTION FOUND: 79158400 @ 5.087 c NEW SOLUTION FOUND: 76321408 @ 5.351 c NEW SOLUTION FOUND: 76241280 @ 16.253 c NEW SOLUTION FOUND: 75334400 @ 16.732 c NEW SOLUTION FOUND: 74268800 @ 16.857 c NEW SOLUTION FOUND: 73789440 @ 503.841 c NEW SOLUTION FOUND: 72620160 @ 503.858 c NEW SOLUTION FOUND: 72016512 @ 504.208 c NEW SOLUTION FOUND: 71723008 @ 533.123 c NEW SOLUTION FOUND: 69311232 @ 533.126 c NEW SOLUTION FOUND: 68957952 @ 538.062 c NEW SOLUTION FOUND: 68202880 @ 538.114 c NEW SOLUTION FOUND: 67796096 @ 538.129 c NEW SOLUTION FOUND: 65384320 @ 538.132 s SATISFIABLE v I_0x2e_001_0x2e__0x2e__0x2e__bit0 -I_0x2e_001003_bit0 -I_0x2e_002003_bit0 -I_0x2e_002_0x2e__0x2e__0x2e__bit0 -I_0x2e_003005_bit0 I_0x2e_004005_bit0 I_0x2e_004_0x2e__0x2e__0x2e__bit0 I_0x2e_005007_bit0 I_0x2e_006007_bit0 I_0x2e_007008_bit0 -I_0x2e_008_0x2e__0x2e__0x2e__bit0 I_0x2e_008009_bit0 I_0x2e_010012_bit0 I_0x2e_011012_bit0 -I_0x2e_012_0x2e__0x2e__0x2e__bit0 I_0x2e_012013_bit0 I_0x2e_013016_bit0 -I_0x2e_014015_bit0 I_0x2e_015016_bit0 I_0x2e_016_0x2e__0x2e__0x2e__bit0 I_0x2e_016017_bit0 I_0x2e_017018_bit0 I_0x2e_009018_bit0 I_0x2e_018019_bit0 I_0x2e_019024_bit0 I_0x2e_024_0x2e__0x2e__0x2e__bit0 -I_0x2e_023024_bit0 -I_0x2e_022023_bit0 -I_0x2e_020022_bit0 I_0x2e_021022_bit0 I_0x2e_022_0x2e__0x2e__0x2e__bit0 -I_0x2e_024026_bit0 I_0x2e_025026_bit0 -I_0x2e_025_0x2e__0x2e__0x2e__bit0 I_0x2e_026027_bit0 -I_0x2e_027_0x2e__0x2e__0x2e__bit0 I_0x2e_027032_bit0 -I_0x2e_030031_bit0 I_0x2e_031032_bit0 I_0x2e_029031_bit0 -I_0x2e_028029_bit0 -I_0x2e_028_0x2e__0x2e__0x2e__bit0 I_0x2e_032033_bit0 I_0x2e_033037_bit0 -I_0x2e_036037_bit0 -I_0x2e_034036_bit0 -I_0x2e_035036_bit0 I_0x2e_037038_bit0 I_0x2e_038040_bit0 I_0x2e_039040_bit0 -I_0x2e_040_0x2e__0x2e__0x2e__bit0 -I_0x2e_041_0x2e__0x2e__0x2e__bit0 I_0x2e_040041_bit0 I_0x2e_041042_bit0 I_0x2e_042_0x2e__0x2e__0x2e__bit0 -F_0x2e_001_0x2e__0x2e__0x2e__bit_7 -F_0x2e_001_0x2e__0x2e__0x2e__bit_6 -F_0x2e_001_0x2e__0x2e__0x2e__bit_5 -F_0x2e_001_0x2e__0x2e__0x2e__bit_4 -F_0x2e_001_0x2e__0x2e__0x2e__bit_3 -F_0x2e_001_0x2e__0x2e__0x2e__bit_2 -F_0x2e_001_0x2e__0x2e__0x2e__bit_1 -F_0x2e_001_0x2e__0x2e__0x2e__bit0 F_0x2e_001_0x2e__0x2e__0x2e__bit1 -F_0x2e_001_0x2e__0x2e__0x2e__bit2 -F_0x2e_001_0x2e__0x2e__0x2e__bit3 -F_0x2e_001_0x2e__0x2e__0x2e__bit4 -F_0x2e_001_0x2e__0x2e__0x2e__bit5 -F_0x2e_001_0x2e__0x2e__0x2e__bit6 -F_0x2e_001_0x2e__0x2e__0x2e__bit7 -F_0x2e_001_0x2e__0x2e__0x2e__bit8 -F_0x2e_001_0x2e__0x2e__0x2e__bit9 -F_0x2e_001_0x2e__0x2e__0x2e__bit10 -F_0x2e_001_0x2e__0x2e__0x2e__bit11 -F_0x2e_001_0x2e__0x2e__0x2e__bit12 -F_0x2e_001003_bit_7 -F_0x2e_001003_bit_6 -F_0x2e_001003_bit_5 -F_0x2e_001003_bit_4 -F_0x2e_001003_bit_3 -F_0x2e_001003_bit_2 -F_0x2e_001003_bit_1 -F_0x2e_001003_bit0 -F_0x2e_001003_bit1 -F_0x2e_001003_bit2 -F_0x2e_001003_bit3 -F_0x2e_001003_bit4 -F_0x2e_001003_bit5 -F_0x2e_001003_bit6 -F_0x2e_001003_bit7 -F_0x2e_001003_bit8 -F_0x2e_001003_bit9 -F_0x2e_001003_bit10 -F_0x2e_001003_bit11 -F_0x2e_001003_bit12 -F_0x2e_002003_bit_7 -F_0x2e_002003_bit_6 -F_0x2e_002003_bit_5 -F_0x2e_002003_bit_4 -F_0x2e_002003_bit_3 -F_0x2e_002003_bit_2 -F_0x2e_002003_bit_1 -F_0x2e_002003_bit0 -F_0x2e_002003_bit1 -F_0x2e_002003_bit2 -F_0x2e_002003_bit3 -F_0x2e_002003_bit4 -F_0x2e_002003_bit5 -F_0x2e_002003_bit6 -F_0x2e_002003_bit7 -F_0x2e_002003_bit8 -F_0x2e_002003_bit9 -F_0x2e_002003_bit10 -F_0x2e_002003_bit11 -F_0x2e_002003_bit12 -F_0x2e_002_0x2e__0x2e__0x2e__bit_7 -F_0x2e_002_0x2e__0x2e__0x2e__bit_6 -F_0x2e_002_0x2e__0x2e__0x2e__bit_5 -F_0x2e_002_0x2e__0x2e__0x2e__bit_4 -F_0x2e_002_0x2e__0x2e__0x2e__bit_3 -F_0x2e_002_0x2e__0x2e__0x2e__bit_2 -F_0x2e_002_0x2e__0x2e__0x2e__bit_1 -F_0x2e_002_0x2e__0x2e__0x2e__bit0 -F_0x2e_002_0x2e__0x2e__0x2e__bit1 -F_0x2e_002_0x2e__0x2e__0x2e__bit2 -F_0x2e_002_0x2e__0x2e__0x2e__bit3 -F_0x2e_002_0x2e__0x2e__0x2e__bit4 -F_0x2e_002_0x2e__0x2e__0x2e__bit5 -F_0x2e_002_0x2e__0x2e__0x2e__bit6 -F_0x2e_002_0x2e__0x2e__0x2e__bit7 -F_0x2e_002_0x2e__0x2e__0x2e__bit8 -F_0x2e_002_0x2e__0x2e__0x2e__bit9 -F_0x2e_002_0x2e__0x2e__0x2e__bit10 -F_0x2e_002_0x2e__0x2e__0x2e__bit11 -F_0x2e_002_0x2e__0x2e__0x2e__bit12 -F_0x2e_003005_bit_7 -F_0x2e_003005_bit_6 -F_0x2e_003005_bit_5 -F_0x2e_003005_bit_4 -F_0x2e_003005_bit_3 -F_0x2e_003005_bit_2 -F_0x2e_003005_bit_1 -F_0x2e_003005_bit0 -F_0x2e_003005_bit1 -F_0x2e_003005_bit2 -F_0x2e_003005_bit3 -F_0x2e_003005_bit4 -F_0x2e_003005_bit5 -F_0x2e_003005_bit6 -F_0x2e_003005_bit7 -F_0x2e_003005_bit8 -F_0x2e_003005_bit9 -F_0x2e_003005_bit10 -F_0x2e_003005_bit11 -F_0x2e_003005_bit12 -F_0x2e_004005_bit_7 -F_0x2e_004005_bit_6 -F_0x2e_004005_bit_5 -F_0x2e_004005_bit_4 -F_0x2e_004005_bit_3 -F_0x2e_004005_bit_2 -F_0x2e_004005_bit_1 F_0x2e_004005_bit0 F_0x2e_004005_bit1 -F_0x2e_004005_bit2 -F_0x2e_004005_bit3 -F_0x2e_004005_bit4 -F_0x2e_004005_bit5 -F_0x2e_004005_bit6 -F_0x2e_004005_bit7 -F_0x2e_004005_bit8 -F_0x2e_004005_bit9 -F_0x2e_004005_bit10 -F_0x2e_004005_bit11 -F_0x2e_004005_bit12 -F_0x2e_004_0x2e__0x2e__0x2e__bit_7 -F_0x2e_004_0x2e__0x2e__0x2e__bit_6 -F_0x2e_004_0x2e__0x2e__0x2e__bit_5 -F_0x2e_004_0x2e__0x2e__0x2e__bit_4 -F_0x2e_004_0x2e__0x2e__0x2e__bit_3 -F_0x2e_004_0x2e__0x2e__0x2e__bit_2 -F_0x2e_004_0x2e__0x2e__0x2e__bit_1 -F_0x2e_004_0x2e__0x2e__0x2e__bit0 -F_0x2e_004_0x2e__0x2e__0x2e__bit1 F_0x2e_004_0x2e__0x2e__0x2e__bit2 -F_0x2e_004_0x2e__0x2e__0x2e__bit3 -F_0x2e_004_0x2e__0x2e__0x2e__bit4 -F_0x2e_004_0x2e__0x2e__0x2e__bit5 -F_0x2e_004_0x2e__0x2e__0x2e__bit6 -F_0x2e_004_0x2e__0x2e__0x2e__bit7 -F_0x2e_004_0x2e__0x2e__0x2e__bit8 -F_0x2e_004_0x2e__0x2e__0x2e__bit9 -F_0x2e_004_0x2e__0x2e__0x2e__bit10 -F_0x2e_004_0x2e__0x2e__0x2e__bit11 -F_0x2e_004_0x2e__0x2e__0x2e__bit12 -F_0x2e_005007_bit_7 -F_0x2e_005007_bit_6 -F_0x2e_005007_bit_5 -F_0x2e_005007_bit_4 -F_0x2e_005007_bit_3 -F_0x2e_005007_bit_2 -F_0x2e_005007_bit_1 F_0x2e_005007_bit0 F_0x2e_005007_bit1 -F_0x2e_005007_bit2 -F_0x2e_005007_bit3 -F_0x2e_005007_bit4 -F_0x2e_005007_bit5 -F_0x2e_005007_bit6 -F_0x2e_005007_bit7 -F_0x2e_005007_bit8 -F_0x2e_005007_bit9 -F_0x2e_005007_bit10 -F_0x2e_005007_bit11 -F_0x2e_005007_bit12 -F_0x2e_006007_bit_7 -F_0x2e_006007_bit_6 -F_0x2e_006007_bit_5 -F_0x2e_006007_bit_4 -F_0x2e_006007_bit_3 -F_0x2e_006007_bit_2 -F_0x2e_006007_bit_1 -F_0x2e_006007_bit0 -F_0x2e_006007_bit1 F_0x2e_006007_bit2 -F_0x2e_006007_bit3 -F_0x2e_006007_bit4 -F_0x2e_006007_bit5 -F_0x2e_006007_bit6 -F_0x2e_006007_bit7 -F_0x2e_006007_bit8 -F_0x2e_006007_bit9 -F_0x2e_006007_bit10 -F_0x2e_006007_bit11 -F_0x2e_006007_bit12 -F_0x2e_007008_bit_7 -F_0x2e_007008_bit_6 -F_0x2e_007008_bit_5 -F_0x2e_007008_bit_4 -F_0x2e_007008_bit_3 -F_0x2e_007008_bit_2 -F_0x2e_007008_bit_1 -F_0x2e_007008_bit0 -F_0x2e_007008_bit1 -F_0x2e_007008_bit2 F_0x2e_007008_bit3 -F_0x2e_007008_bit4 -F_0x2e_007008_bit5 -F_0x2e_007008_bit6 -F_0x2e_007008_bit7 -F_0x2e_007008_bit8 -F_0x2e_007008_bit9 -F_0x2e_007008_bit10 -F_0x2e_007008_bit11 -F_0x2e_007008_bit12 -F_0x2e_008_0x2e__0x2e__0x2e__bit_7 -F_0x2e_008_0x2e__0x2e__0x2e__bit_6 -F_0x2e_008_0x2e__0x2e__0x2e__bit_5 -F_0x2e_008_0x2e__0x2e__0x2e__bit_4 -F_0x2e_008_0x2e__0x2e__0x2e__bit_3 -F_0x2e_008_0x2e__0x2e__0x2e__bit_2 -F_0x2e_008_0x2e__0x2e__0x2e__bit_1 -F_0x2e_008_0x2e__0x2e__0x2e__bit0 -F_0x2e_008_0x2e__0x2e__0x2e__bit1 -F_0x2e_008_0x2e__0x2e__0x2e__bit2 -F_0x2e_008_0x2e__0x2e__0x2e__bit3 -F_0x2e_008_0x2e__0x2e__0x2e__bit4 -F_0x2e_008_0x2e__0x2e__0x2e__bit5 -F_0x2e_008_0x2e__0x2e__0x2e__bit6 -F_0x2e_008_0x2e__0x2e__0x2e__bit7 -F_0x2e_008_0x2e__0x2e__0x2e__bit8 -F_0x2e_008_0x2e__0x2e__0x2e__bit9 -F_0x2e_008_0x2e__0x2e__0x2e__bit10 -F_0x2e_008_0x2e__0x2e__0x2e__bit11 -F_0x2e_008_0x2e__0x2e__0x2e__bit12 -F_0x2e_008009_bit_7 -F_0x2e_008009_bit_6 -F_0x2e_008009_bit_5 -F_0x2e_008009_bit_4 -F_0x2e_008009_bit_3 -F_0x2e_008009_bit_2 -F_0x2e_008009_bit_1 -F_0x2e_008009_bit0 -F_0x2e_008009_bit1 -F_0x2e_008009_bit2 F_0x2e_008009_bit3 -F_0x2e_008009_bit4 -F_0x2e_008009_bit5 -F_0x2e_008009_bit6 -F_0x2e_008009_bit7 -F_0x2e_008009_bit8 -F_0x2e_008009_bit9 -F_0x2e_008009_bit10 -F_0x2e_008009_bit11 -F_0x2e_008009_bit12 -F_0x2e_010012_bit_7 -F_0x2e_010012_bit_6 -F_0x2e_010012_bit_5 -F_0x2e_010012_bit_4 -F_0x2e_010012_bit_3 -F_0x2e_010012_bit_2 -F_0x2e_010012_bit_1 F_0x2e_010012_bit0 -F_0x2e_010012_bit1 -F_0x2e_010012_bit2 -F_0x2e_010012_bit3 -F_0x2e_010012_bit4 -F_0x2e_010012_bit5 -F_0x2e_010012_bit6 -F_0x2e_010012_bit7 -F_0x2e_010012_bit8 -F_0x2e_010012_bit9 -F_0x2e_010012_bit10 -F_0x2e_010012_bit11 -F_0x2e_010012_bit12 -F_0x2e_012_0x2e__0x2e__0x2e__bit_7 -F_0x2e_012_0x2e__0x2e__0x2e__bit_6 -F_0x2e_012_0x2e__0x2e__0x2e__bit_5 -F_0x2e_012_0x2e__0x2e__0x2e__bit_4 -F_0x2e_012_0x2e__0x2e__0x2e__bit_3 -F_0x2e_012_0x2e__0x2e__0x2e__bit_2 -F_0x2e_012_0x2e__0x2e__0x2e__bit_1 -F_0x2e_012_0x2e__0x2e__0x2e__bit0 -F_0x2e_012_0x2e__0x2e__0x2e__bit1 -F_0x2e_012_0x2e__0x2e__0x2e__bit2 -F_0x2e_012_0x2e__0x2e__0x2e__bit3 -F_0x2e_012_0x2e__0x2e__0x2e__bit4 -F_0x2e_012_0x2e__0x2e__0x2e__bit5 -F_0x2e_012_0x2e__0x2e__0x2e__bit6 -F_0x2e_012_0x2e__0x2e__0x2e__bit7 -F_0x2e_012_0x2e__0x2e__0x2e__bit8 -F_0x2e_012_0x2e__0x2e__0x2e__bit9 -F_0x2e_012_0x2e__0x2e__0x2e__bit10 -F_0x2e_012_0x2e__0x2e__0x2e__bit11 -F_0x2e_012_0x2e__0x2e__0x2e__bit12 -F_0x2e_012013_bit_7 -F_0x2e_012013_bit_6 -F_0x2e_012013_bit_5 -F_0x2e_012013_bit_4 -F_0x2e_012013_bit_3 -F_0x2e_012013_bit_2 -F_0x2e_012013_bit_1 -F_0x2e_012013_bit0 F_0x2e_012013_bit1 F_0x2e_012013_bit2 -F_0x2e_012013_bit3 F_0x2e_012013_bit4 -F_0x2e_012013_bit5 -F_0x2e_012013_bit6 -F_0x2e_012013_bit7 -F_0x2e_012013_bit8 -F_0x2e_012013_bit9 -F_0x2e_012013_bit10 -F_0x2e_012013_bit11 -F_0x2e_012013_bit12 -F_0x2e_013016_bit_7 -F_0x2e_013016_bit_6 -F_0x2e_013016_bit_5 -F_0x2e_013016_bit_4 -F_0x2e_013016_bit_3 -F_0x2e_013016_bit_2 -F_0x2e_013016_bit_1 -F_0x2e_013016_bit0 F_0x2e_013016_bit1 -F_0x2e_013016_bit2 F_0x2e_013016_bit3 F_0x2e_013016_bit4 -F_0x2e_013016_bit5 -F_0x2e_013016_bit6 -F_0x2e_013016_bit7 -F_0x2e_013016_bit8 -F_0x2e_013016_bit9 -F_0x2e_013016_bit10 -F_0x2e_013016_bit11 -F_0x2e_013016_bit12 -F_0x2e_014015_bit_7 -F_0x2e_014015_bit_6 -F_0x2e_014015_bit_5 -F_0x2e_014015_bit_4 -F_0x2e_014015_bit_3 -F_0x2e_014015_bit_2 -F_0x2e_014015_bit_1 -F_0x2e_014015_bit0 -F_0x2e_014015_bit1 -F_0x2e_014015_bit2 -F_0x2e_014015_bit3 -F_0x2e_014015_bit4 -F_0x2e_014015_bit5 -F_0x2e_014015_bit6 -F_0x2e_014015_bit7 -F_0x2e_014015_bit8 -F_0x2e_014015_bit9 -F_0x2e_014015_bit10 -F_0x2e_014015_bit11 -F_0x2e_014015_bit12 -F_0x2e_015016_bit_7 -F_0x2e_015016_bit_6 -F_0x2e_015016_bit_5 -F_0x2e_015016_bit_4 -F_0x2e_015016_bit_3 -F_0x2e_015016_bit_2 -F_0x2e_015016_bit_1 F_0x2e_015016_bit0 -F_0x2e_015016_bit1 -F_0x2e_015016_bit2 -F_0x2e_015016_bit3 -F_0x2e_015016_bit4 -F_0x2e_015016_bit5 -F_0x2e_015016_bit6 -F_0x2e_015016_bit7 -F_0x2e_015016_bit8 -F_0x2e_015016_bit9 -F_0x2e_015016_bit10 -F_0x2e_015016_bit11 -F_0x2e_015016_bit12 -F_0x2e_016_0x2e__0x2e__0x2e__bit_7 -F_0x2e_016_0x2e__0x2e__0x2e__bit_6 -F_0x2e_016_0x2e__0x2e__0x2e__bit_5 -F_0x2e_016_0x2e__0x2e__0x2e__bit_4 -F_0x2e_016_0x2e__0x2e__0x2e__bit_3 -F_0x2e_016_0x2e__0x2e__0x2e__bit_2 -F_0x2e_016_0x2e__0x2e__0x2e__bit_1 F_0x2e_016_0x2e__0x2e__0x2e__bit0 F_0x2e_016_0x2e__0x2e__0x2e__bit1 -F_0x2e_016_0x2e__0x2e__0x2e__bit2 -F_0x2e_016_0x2e__0x2e__0x2e__bit3 -F_0x2e_016_0x2e__0x2e__0x2e__bit4 -F_0x2e_016_0x2e__0x2e__0x2e__bit5 -F_0x2e_016_0x2e__0x2e__0x2e__bit6 -F_0x2e_016_0x2e__0x2e__0x2e__bit7 -F_0x2e_016_0x2e__0x2e__0x2e__bit8 -F_0x2e_016_0x2e__0x2e__0x2e__bit9 -F_0x2e_016_0x2e__0x2e__0x2e__bit10 -F_0x2e_016_0x2e__0x2e__0x2e__bit11 -F_0x2e_016_0x2e__0x2e__0x2e__bit12 -F_0x2e_016017_bit_7 -F_0x2e_016017_bit_6 -F_0x2e_016017_bit_5 -F_0x2e_016017_bit_4 -F_0x2e_016017_bit_3 -F_0x2e_016017_bit_2 -F_0x2e_016017_bit_1 -F_0x2e_016017_bit0 -F_0x2e_016017_bit1 -F_0x2e_016017_bit2 F_0x2e_016017_bit3 F_0x2e_016017_bit4 -F_0x2e_016017_bit5 -F_0x2e_016017_bit6 -F_0x2e_016017_bit7 -F_0x2e_016017_bit8 -F_0x2e_016017_bit9 -F_0x2e_016017_bit10 -F_0x2e_016017_bit11 -F_0x2e_016017_bit12 -F_0x2e_017018_bit_7 -F_0x2e_017018_bit_6 -F_0x2e_017018_bit_5 -F_0x2e_017018_bit_4 -F_0x2e_017018_bit_3 -F_0x2e_017018_bit_2 -F_0x2e_017018_bit_1 -F_0x2e_017018_bit0 -F_0x2e_017018_bit1 -F_0x2e_017018_bit2 F_0x2e_017018_bit3 F_0x2e_017018_bit4 -F_0x2e_017018_bit5 -F_0x2e_017018_bit6 -F_0x2e_017018_bit7 -F_0x2e_017018_bit8 -F_0x2e_017018_bit9 -F_0x2e_017018_bit10 -F_0x2e_017018_bit11 -F_0x2e_017018_bit12 -F_0x2e_009018_bit_7 -F_0x2e_009018_bit_6 -F_0x2e_009018_bit_5 -F_0x2e_009018_bit_4 -F_0x2e_009018_bit_3 -F_0x2e_009018_bit_2 -F_0x2e_009018_bit_1 -F_0x2e_009018_bit0 -F_0x2e_009018_bit1 -F_0x2e_009018_bit2 F_0x2e_009018_bit3 -F_0x2e_009018_bit4 -F_0x2e_009018_bit5 -F_0x2e_009018_bit6 -F_0x2e_009018_bit7 -F_0x2e_009018_bit8 -F_0x2e_009018_bit9 -F_0x2e_009018_bit10 -F_0x2e_009018_bit11 -F_0x2e_009018_bit12 -F_0x2e_018019_bit_7 -F_0x2e_018019_bit_6 -F_0x2e_018019_bit_5 -F_0x2e_018019_bit_4 -F_0x2e_018019_bit_3 -F_0x2e_018019_bit_2 -F_0x2e_018019_bit_1 -F_0x2e_018019_bit0 -F_0x2e_018019_bit1 -F_0x2e_018019_bit2 -F_0x2e_018019_bit3 -F_0x2e_018019_bit4 F_0x2e_018019_bit5 -F_0x2e_018019_bit6 -F_0x2e_018019_bit7 -F_0x2e_018019_bit8 -F_0x2e_018019_bit9 -F_0x2e_018019_bit10 -F_0x2e_018019_bit11 -F_0x2e_018019_bit12 -F_0x2e_019024_bit_7 -F_0x2e_019024_bit_6 -F_0x2e_019024_bit_5 -F_0x2e_019024_bit_4 -F_0x2e_019024_bit_3 -F_0x2e_019024_bit_2 -F_0x2e_019024_bit_1 -F_0x2e_019024_bit0 F_0x2e_019024_bit1 -F_0x2e_019024_bit2 -F_0x2e_019024_bit3 -F_0x2e_019024_bit4 F_0x2e_019024_bit5 -F_0x2e_019024_bit6 -F_0x2e_019024_bit7 -F_0x2e_019024_bit8 -F_0x2e_019024_bit9 -F_0x2e_019024_bit10 -F_0x2e_019024_bit11 -F_0x2e_019024_bit12 -F_0x2e_024_0x2e__0x2e__0x2e__bit_7 -F_0x2e_024_0x2e__0x2e__0x2e__bit_6 -F_0x2e_024_0x2e__0x2e__0x2e__bit_5 -F_0x2e_024_0x2e__0x2e__0x2e__bit_4 -F_0x2e_024_0x2e__0x2e__0x2e__bit_3 -F_0x2e_024_0x2e__0x2e__0x2e__bit_2 -F_0x2e_024_0x2e__0x2e__0x2e__bit_1 -F_0x2e_024_0x2e__0x2e__0x2e__bit0 F_0x2e_024_0x2e__0x2e__0x2e__bit1 -F_0x2e_024_0x2e__0x2e__0x2e__bit2 -F_0x2e_024_0x2e__0x2e__0x2e__bit3 -F_0x2e_024_0x2e__0x2e__0x2e__bit4 F_0x2e_024_0x2e__0x2e__0x2e__bit5 -F_0x2e_024_0x2e__0x2e__0x2e__bit6 -F_0x2e_024_0x2e__0x2e__0x2e__bit7 -F_0x2e_024_0x2e__0x2e__0x2e__bit8 -F_0x2e_024_0x2e__0x2e__0x2e__bit9 -F_0x2e_024_0x2e__0x2e__0x2e__bit10 -F_0x2e_024_0x2e__0x2e__0x2e__bit11 -F_0x2e_024_0x2e__0x2e__0x2e__bit12 -F_0x2e_023024_bit_7 -F_0x2e_023024_bit_6 -F_0x2e_023024_bit_5 -F_0x2e_023024_bit_4 -F_0x2e_023024_bit_3 -F_0x2e_023024_bit_2 -F_0x2e_023024_bit_1 -F_0x2e_023024_bit0 -F_0x2e_023024_bit1 -F_0x2e_023024_bit2 -F_0x2e_023024_bit3 -F_0x2e_023024_bit4 -F_0x2e_023024_bit5 -F_0x2e_023024_bit6 -F_0x2e_023024_bit7 -F_0x2e_023024_bit8 -F_0x2e_023024_bit9 -F_0x2e_023024_bit10 -F_0x2e_023024_bit11 -F_0x2e_023024_bit12 -F_0x2e_022023_bit_7 -F_0x2e_022023_bit_6 -F_0x2e_022023_bit_5 -F_0x2e_022023_bit_4 -F_0x2e_022023_bit_3 -F_0x2e_022023_bit_2 -F_0x2e_022023_bit_1 -F_0x2e_022023_bit0 -F_0x2e_022023_bit1 -F_0x2e_022023_bit2 -F_0x2e_022023_bit3 -F_0x2e_022023_bit4 -F_0x2e_022023_bit5 -F_0x2e_022023_bit6 -F_0x2e_022023_bit7 -F_0x2e_022023_bit8 -F_0x2e_022023_bit9 -F_0x2e_022023_bit10 -F_0x2e_022023_bit11 -F_0x2e_022023_bit12 -F_0x2e_020022_bit_7 -F_0x2e_020022_bit_6 -F_0x2e_020022_bit_5 -F_0x2e_020022_bit_4 -F_0x2e_020022_bit_3 -F_0x2e_020022_bit_2 -F_0x2e_020022_bit_1 -F_0x2e_020022_bit0 -F_0x2e_020022_bit1 -F_0x2e_020022_bit2 -F_0x2e_020022_bit3 -F_0x2e_020022_bit4 -F_0x2e_020022_bit5 -F_0x2e_020022_bit6 -F_0x2e_020022_bit7 -F_0x2e_020022_bit8 -F_0x2e_020022_bit9 -F_0x2e_020022_bit10 -F_0x2e_020022_bit11 -F_0x2e_020022_bit12 -F_0x2e_021022_bit_7 -F_0x2e_021022_bit_6 -F_0x2e_021022_bit_5 -F_0x2e_021022_bit_4 -F_0x2e_021022_bit_3 -F_0x2e_021022_bit_2 -F_0x2e_021022_bit_1 F_0x2e_021022_bit0 F_0x2e_021022_bit1 F_0x2e_021022_bit2 -F_0x2e_021022_bit3 -F_0x2e_021022_bit4 -F_0x2e_021022_bit5 -F_0x2e_021022_bit6 -F_0x2e_021022_bit7 -F_0x2e_021022_bit8 -F_0x2e_021022_bit9 -F_0x2e_021022_bit10 -F_0x2e_021022_bit11 -F_0x2e_021022_bit12 -F_0x2e_022_0x2e__0x2e__0x2e__bit_7 -F_0x2e_022_0x2e__0x2e__0x2e__bit_6 -F_0x2e_022_0x2e__0x2e__0x2e__bit_5 -F_0x2e_022_0x2e__0x2e__0x2e__bit_4 -F_0x2e_022_0x2e__0x2e__0x2e__bit_3 -F_0x2e_022_0x2e__0x2e__0x2e__bit_2 -F_0x2e_022_0x2e__0x2e__0x2e__bit_1 F_0x2e_022_0x2e__0x2e__0x2e__bit0 F_0x2e_022_0x2e__0x2e__0x2e__bit1 F_0x2e_022_0x2e__0x2e__0x2e__bit2 -F_0x2e_022_0x2e__0x2e__0x2e__bit3 -F_0x2e_022_0x2e__0x2e__0x2e__bit4 -F_0x2e_022_0x2e__0x2e__0x2e__bit5 -F_0x2e_022_0x2e__0x2e__0x2e__bit6 -F_0x2e_022_0x2e__0x2e__0x2e__bit7 -F_0x2e_022_0x2e__0x2e__0x2e__bit8 -F_0x2e_022_0x2e__0x2e__0x2e__bit9 -F_0x2e_022_0x2e__0x2e__0x2e__bit10 -F_0x2e_022_0x2e__0x2e__0x2e__bit11 -F_0x2e_022_0x2e__0x2e__0x2e__bit12 -F_0x2e_024026_bit_7 -F_0x2e_024026_bit_6 -F_0x2e_024026_bit_5 -F_0x2e_024026_bit_4 -F_0x2e_024026_bit_3 -F_0x2e_024026_bit_2 -F_0x2e_024026_bit_1 -F_0x2e_024026_bit0 -F_0x2e_024026_bit1 -F_0x2e_024026_bit2 -F_0x2e_024026_bit3 -F_0x2e_024026_bit4 -F_0x2e_024026_bit5 -F_0x2e_024026_bit6 -F_0x2e_024026_bit7 -F_0x2e_024026_bit8 -F_0x2e_024026_bit9 -F_0x2e_024026_bit10 -F_0x2e_024026_bit11 -F_0x2e_024026_bit12 -F_0x2e_025026_bit_7 -F_0x2e_025026_bit_6 -F_0x2e_025026_bit_5 -F_0x2e_025026_bit_4 -F_0x2e_025026_bit_3 -F_0x2e_025026_bit_2 -F_0x2e_025026_bit_1 F_0x2e_025026_bit0 F_0x2e_025026_bit1 -F_0x2e_025026_bit2 -F_0x2e_025026_bit3 F_0x2e_025026_bit4 -F_0x2e_025026_bit5 -F_0x2e_025026_bit6 -F_0x2e_025026_bit7 -F_0x2e_025026_bit8 -F_0x2e_025026_bit9 -F_0x2e_025026_bit10 -F_0x2e_025026_bit11 -F_0x2e_025026_bit12 -F_0x2e_025_0x2e__0x2e__0x2e__bit_7 -F_0x2e_025_0x2e__0x2e__0x2e__bit_6 -F_0x2e_025_0x2e__0x2e__0x2e__bit_5 -F_0x2e_025_0x2e__0x2e__0x2e__bit_4 -F_0x2e_025_0x2e__0x2e__0x2e__bit_3 -F_0x2e_025_0x2e__0x2e__0x2e__bit_2 -F_0x2e_025_0x2e__0x2e__0x2e__bit_1 -F_0x2e_025_0x2e__0x2e__0x2e__bit0 -F_0x2e_025_0x2e__0x2e__0x2e__bit1 -F_0x2e_025_0x2e__0x2e__0x2e__bit2 -F_0x2e_025_0x2e__0x2e__0x2e__bit3 -F_0x2e_025_0x2e__0x2e__0x2e__bit4 -F_0x2e_025_0x2e__0x2e__0x2e__bit5 -F_0x2e_025_0x2e__0x2e__0x2e__bit6 -F_0x2e_025_0x2e__0x2e__0x2e__bit7 -F_0x2e_025_0x2e__0x2e__0x2e__bit8 -F_0x2e_025_0x2e__0x2e__0x2e__bit9 -F_0x2e_025_0x2e__0x2e__0x2e__bit10 -F_0x2e_025_0x2e__0x2e__0x2e__bit11 -F_0x2e_025_0x2e__0x2e__0x2e__bit12 -F_0x2e_026027_bit_7 -F_0x2e_026027_bit_6 -F_0x2e_026027_bit_5 -F_0x2e_026027_bit_4 -F_0x2e_026027_bit_3 -F_0x2e_026027_bit_2 -F_0x2e_026027_bit_1 F_0x2e_026027_bit0 -F_0x2e_026027_bit1 F_0x2e_026027_bit2 F_0x2e_026027_bit3 F_0x2e_026027_bit4 -F_0x2e_026027_bit5 -F_0x2e_026027_bit6 -F_0x2e_026027_bit7 -F_0x2e_026027_bit8 -F_0x2e_026027_bit9 -F_0x2e_026027_bit10 -F_0x2e_026027_bit11 -F_0x2e_026027_bit12 -F_0x2e_027_0x2e__0x2e__0x2e__bit_7 -F_0x2e_027_0x2e__0x2e__0x2e__bit_6 -F_0x2e_027_0x2e__0x2e__0x2e__bit_5 -F_0x2e_027_0x2e__0x2e__0x2e__bit_4 -F_0x2e_027_0x2e__0x2e__0x2e__bit_3 -F_0x2e_027_0x2e__0x2e__0x2e__bit_2 -F_0x2e_027_0x2e__0x2e__0x2e__bit_1 -F_0x2e_027_0x2e__0x2e__0x2e__bit0 -F_0x2e_027_0x2e__0x2e__0x2e__bit1 -F_0x2e_027_0x2e__0x2e__0x2e__bit2 -F_0x2e_027_0x2e__0x2e__0x2e__bit3 -F_0x2e_027_0x2e__0x2e__0x2e__bit4 -F_0x2e_027_0x2e__0x2e__0x2e__bit5 -F_0x2e_027_0x2e__0x2e__0x2e__bit6 -F_0x2e_027_0x2e__0x2e__0x2e__bit7 -F_0x2e_027_0x2e__0x2e__0x2e__bit8 -F_0x2e_027_0x2e__0x2e__0x2e__bit9 -F_0x2e_027_0x2e__0x2e__0x2e__bit10 -F_0x2e_027_0x2e__0x2e__0x2e__bit11 -F_0x2e_027_0x2e__0x2e__0x2e__bit12 -F_0x2e_027032_bit_7 -F_0x2e_027032_bit_6 -F_0x2e_027032_bit_5 -F_0x2e_027032_bit_4 -F_0x2e_027032_bit_3 -F_0x2e_027032_bit_2 -F_0x2e_027032_bit_1 F_0x2e_027032_bit0 -F_0x2e_027032_bit1 F_0x2e_027032_bit2 F_0x2e_027032_bit3 F_0x2e_027032_bit4 -F_0x2e_027032_bit5 -F_0x2e_027032_bit6 -F_0x2e_027032_bit7 -F_0x2e_027032_bit8 -F_0x2e_027032_bit9 -F_0x2e_027032_bit10 -F_0x2e_027032_bit11 -F_0x2e_027032_bit12 -F_0x2e_030031_bit_7 -F_0x2e_030031_bit_6 -F_0x2e_030031_bit_5 -F_0x2e_030031_bit_4 -F_0x2e_030031_bit_3 -F_0x2e_030031_bit_2 -F_0x2e_030031_bit_1 -F_0x2e_030031_bit0 -F_0x2e_030031_bit1 -F_0x2e_030031_bit2 -F_0x2e_030031_bit3 -F_0x2e_030031_bit4 -F_0x2e_030031_bit5 -F_0x2e_030031_bit6 -F_0x2e_030031_bit7 -F_0x2e_030031_bit8 -F_0x2e_030031_bit9 -F_0x2e_030031_bit10 -F_0x2e_030031_bit11 -F_0x2e_030031_bit12 -F_0x2e_031032_bit_7 -F_0x2e_031032_bit_6 -F_0x2e_031032_bit_5 -F_0x2e_031032_bit_4 -F_0x2e_031032_bit_3 -F_0x2e_031032_bit_2 -F_0x2e_031032_bit_1 F_0x2e_031032_bit0 -F_0x2e_031032_bit1 F_0x2e_031032_bit2 -F_0x2e_031032_bit3 -F_0x2e_031032_bit4 -F_0x2e_031032_bit5 -F_0x2e_031032_bit6 -F_0x2e_031032_bit7 -F_0x2e_031032_bit8 -F_0x2e_031032_bit9 -F_0x2e_031032_bit10 -F_0x2e_031032_bit11 -F_0x2e_031032_bit12 -F_0x2e_029031_bit_7 -F_0x2e_029031_bit_6 -F_0x2e_029031_bit_5 -F_0x2e_029031_bit_4 -F_0x2e_029031_bit_3 -F_0x2e_029031_bit_2 -F_0x2e_029031_bit_1 F_0x2e_029031_bit0 -F_0x2e_029031_bit1 F_0x2e_029031_bit2 -F_0x2e_029031_bit3 -F_0x2e_029031_bit4 -F_0x2e_029031_bit5 -F_0x2e_029031_bit6 -F_0x2e_029031_bit7 -F_0x2e_029031_bit8 -F_0x2e_029031_bit9 -F_0x2e_029031_bit10 -F_0x2e_029031_bit11 -F_0x2e_029031_bit12 -F_0x2e_028029_bit_7 -F_0x2e_028029_bit_6 -F_0x2e_028029_bit_5 -F_0x2e_028029_bit_4 -F_0x2e_028029_bit_3 -F_0x2e_028029_bit_2 -F_0x2e_028029_bit_1 -F_0x2e_028029_bit0 -F_0x2e_028029_bit1 -F_0x2e_028029_bit2 -F_0x2e_028029_bit3 -F_0x2e_028029_bit4 -F_0x2e_028029_bit5 -F_0x2e_028029_bit6 -F_0x2e_028029_bit7 -F_0x2e_028029_bit8 -F_0x2e_028029_bit9 -F_0x2e_028029_bit10 -F_0x2e_028029_bit11 -F_0x2e_028029_bit12 -F_0x2e_028_0x2e__0x2e__0x2e__bit_7 -F_0x2e_028_0x2e__0x2e__0x2e__bit_6 -F_0x2e_028_0x2e__0x2e__0x2e__bit_5 -F_0x2e_028_0x2e__0x2e__0x2e__bit_4 -F_0x2e_028_0x2e__0x2e__0x2e__bit_3 -F_0x2e_028_0x2e__0x2e__0x2e__bit_2 -F_0x2e_028_0x2e__0x2e__0x2e__bit_1 -F_0x2e_028_0x2e__0x2e__0x2e__bit0 -F_0x2e_028_0x2e__0x2e__0x2e__bit1 -F_0x2e_028_0x2e__0x2e__0x2e__bit2 -F_0x2e_028_0x2e__0x2e__0x2e__bit3 -F_0x2e_028_0x2e__0x2e__0x2e__bit4 -F_0x2e_028_0x2e__0x2e__0x2e__bit5 -F_0x2e_028_0x2e__0x2e__0x2e__bit6 -F_0x2e_028_0x2e__0x2e__0x2e__bit7 -F_0x2e_028_0x2e__0x2e__0x2e__bit8 -F_0x2e_028_0x2e__0x2e__0x2e__bit9 -F_0x2e_028_0x2e__0x2e__0x2e__bit10 -F_0x2e_028_0x2e__0x2e__0x2e__bit11 -F_0x2e_028_0x2e__0x2e__0x2e__bit12 -F_0x2e_032033_bit_7 -F_0x2e_032033_bit_6 -F_0x2e_032033_bit_5 -F_0x2e_032033_bit_4 -F_0x2e_032033_bit_3 -F_0x2e_032033_bit_2 -F_0x2e_032033_bit_1 -F_0x2e_032033_bit0 F_0x2e_032033_bit1 -F_0x2e_032033_bit2 -F_0x2e_032033_bit3 -F_0x2e_032033_bit4 F_0x2e_032033_bit5 -F_0x2e_032033_bit6 -F_0x2e_032033_bit7 -F_0x2e_032033_bit8 -F_0x2e_032033_bit9 -F_0x2e_032033_bit10 -F_0x2e_032033_bit11 -F_0x2e_032033_bit12 -F_0x2e_033037_bit_7 -F_0x2e_033037_bit_6 -F_0x2e_033037_bit_5 -F_0x2e_033037_bit_4 -F_0x2e_033037_bit_3 -F_0x2e_033037_bit_2 -F_0x2e_033037_bit_1 -F_0x2e_033037_bit0 F_0x2e_033037_bit1 -F_0x2e_033037_bit2 -F_0x2e_033037_bit3 -F_0x2e_033037_bit4 F_0x2e_033037_bit5 -F_0x2e_033037_bit6 -F_0x2e_033037_bit7 -F_0x2e_033037_bit8 -F_0x2e_033037_bit9 -F_0x2e_033037_bit10 -F_0x2e_033037_bit11 -F_0x2e_033037_bit12 -F_0x2e_034036_bit_7 -F_0x2e_034036_bit_6 -F_0x2e_034036_bit_5 -F_0x2e_034036_bit_4 -F_0x2e_034036_bit_3 -F_0x2e_034036_bit_2 -F_0x2e_034036_bit_1 -F_0x2e_034036_bit0 -F_0x2e_034036_bit1 -F_0x2e_034036_bit2 -F_0x2e_034036_bit3 -F_0x2e_034036_bit4 -F_0x2e_034036_bit5 -F_0x2e_034036_bit6 -F_0x2e_034036_bit7 -F_0x2e_034036_bit8 -F_0x2e_034036_bit9 -F_0x2e_034036_bit10 -F_0x2e_034036_bit11 -F_0x2e_034036_bit12 -F_0x2e_035036_bit_7 -F_0x2e_035036_bit_6 -F_0x2e_035036_bit_5 -F_0x2e_035036_bit_4 -F_0x2e_035036_bit_3 -F_0x2e_035036_bit_2 -F_0x2e_035036_bit_1 -F_0x2e_035036_bit0 -F_0x2e_035036_bit1 -F_0x2e_035036_bit2 -F_0x2e_035036_bit3 -F_0x2e_035036_bit4 -F_0x2e_035036_bit5 -F_0x2e_035036_bit6 -F_0x2e_035036_bit7 -F_0x2e_035036_bit8 -F_0x2e_035036_bit9 -F_0x2e_035036_bit10 -F_0x2e_035036_bit11 -F_0x2e_035036_bit12 -F_0x2e_037038_bit_7 -F_0x2e_037038_bit_6 -F_0x2e_037038_bit_5 -F_0x2e_037038_bit_4 -F_0x2e_037038_bit_3 -F_0x2e_037038_bit_2 -F_0x2e_037038_bit_1 -F_0x2e_037038_bit0 F_0x2e_037038_bit1 -F_0x2e_037038_bit2 -F_0x2e_037038_bit3 -F_0x2e_037038_bit4 F_0x2e_037038_bit5 -F_0x2e_037038_bit6 -F_0x2e_037038_bit7 -F_0x2e_037038_bit8 -F_0x2e_037038_bit9 -F_0x2e_037038_bit10 -F_0x2e_037038_bit11 -F_0x2e_037038_bit12 -F_0x2e_039040_bit_7 -F_0x2e_039040_bit_6 -F_0x2e_039040_bit_5 -F_0x2e_039040_bit_4 -F_0x2e_039040_bit_3 -F_0x2e_039040_bit_2 -F_0x2e_039040_bit_1 F_0x2e_039040_bit0 -F_0x2e_039040_bit1 F_0x2e_039040_bit2 -F_0x2e_039040_bit3 -F_0x2e_039040_bit4 -F_0x2e_039040_bit5 -F_0x2e_039040_bit6 -F_0x2e_039040_bit7 -F_0x2e_039040_bit8 -F_0x2e_039040_bit9 -F_0x2e_039040_bit10 -F_0x2e_039040_bit11 -F_0x2e_039040_bit12 -F_0x2e_040_0x2e__0x2e__0x2e__bit_7 -F_0x2e_040_0x2e__0x2e__0x2e__bit_6 -F_0x2e_040_0x2e__0x2e__0x2e__bit_5 -F_0x2e_040_0x2e__0x2e__0x2e__bit_4 -F_0x2e_040_0x2e__0x2e__0x2e__bit_3 -F_0x2e_040_0x2e__0x2e__0x2e__bit_2 -F_0x2e_040_0x2e__0x2e__0x2e__bit_1 -F_0x2e_040_0x2e__0x2e__0x2e__bit0 -F_0x2e_040_0x2e__0x2e__0x2e__bit1 -F_0x2e_040_0x2e__0x2e__0x2e__bit2 -F_0x2e_040_0x2e__0x2e__0x2e__bit3 -F_0x2e_040_0x2e__0x2e__0x2e__bit4 -F_0x2e_040_0x2e__0x2e__0x2e__bit5 -F_0x2e_040_0x2e__0x2e__0x2e__bit6 -F_0x2e_040_0x2e__0x2e__0x2e__bit7 -F_0x2e_040_0x2e__0x2e__0x2e__bit8 -F_0x2e_040_0x2e__0x2e__0x2e__bit9 -F_0x2e_040_0x2e__0x2e__0x2e__bit10 -F_0x2e_040_0x2e__0x2e__0x2e__bit11 -F_0x2e_040_0x2e__0x2e__0x2e__bit12 -F_0x2e_041_0x2e__0x2e__0x2e__bit_7 -F_0x2e_041_0x2e__0x2e__0x2e__bit_6 -F_0x2e_041_0x2e__0x2e__0x2e__bit_5 -F_0x2e_041_0x2e__0x2e__0x2e__bit_4 -F_0x2e_041_0x2e__0x2e__0x2e__bit_3 -F_0x2e_041_0x2e__0x2e__0x2e__bit_2 -F_0x2e_041_0x2e__0x2e__0x2e__bit_1 -F_0x2e_041_0x2e__0x2e__0x2e__bit0 -F_0x2e_041_0x2e__0x2e__0x2e__bit1 -F_0x2e_041_0x2e__0x2e__0x2e__bit2 -F_0x2e_041_0x2e__0x2e__0x2e__bit3 -F_0x2e_041_0x2e__0x2e__0x2e__bit4 -F_0x2e_041_0x2e__0x2e__0x2e__bit5 -F_0x2e_041_0x2e__0x2e__0x2e__bit6 -F_0x2e_041_0x2e__0x2e__0x2e__bit7 -F_0x2e_041_0x2e__0x2e__0x2e__bit8 -F_0x2e_041_0x2e__0x2e__0x2e__bit9 -F_0x2e_041_0x2e__0x2e__0x2e__bit10 -F_0x2e_041_0x2e__0x2e__0x2e__bit11 -F_0x2e_041_0x2e__0x2e__0x2e__bit12 -F_0x2e_040041_bit_7 -F_0x2e_040041_bit_6 -F_0x2e_040041_bit_5 -F_0x2e_040041_bit_4 -F_0x2e_040041_bit_3 -F_0x2e_040041_bit_2 -F_0x2e_040041_bit_1 -F_0x2e_040041_bit0 -F_0x2e_040041_bit1 F_0x2e_040041_bit2 F_0x2e_040041_bit3 -F_0x2e_040041_bit4 F_0x2e_040041_bit5 -F_0x2e_040041_bit6 -F_0x2e_040041_bit7 -F_0x2e_040041_bit8 -F_0x2e_040041_bit9 -F_0x2e_040041_bit10 -F_0x2e_040041_bit11 -F_0x2e_040041_bit12 -F_0x2e_041042_bit_7 -F_0x2e_041042_bit_6 -F_0x2e_041042_bit_5 -F_0x2e_041042_bit_4 -F_0x2e_041042_bit_3 -F_0x2e_041042_bit_2 -F_0x2e_041042_bit_1 F_0x2e_041042_bit0 -F_0x2e_041042_bit1 -F_0x2e_041042_bit2 -F_0x2e_041042_bit3 F_0x2e_041042_bit4 F_0x2e_041042_bit5 -F_0x2e_041042_bit6 -F_0x2e_041042_bit7 -F_0x2e_041042_bit8 -F_0x2e_041042_bit9 -F_0x2e_041042_bit10 -F_0x2e_041042_bit11 -F_0x2e_041042_bit12 -F_0x2e_042_0x2e__0x2e__0x2e__bit_7 -F_0x2e_042_0x2e__0x2e__0x2e__bit_6 -F_0x2e_042_0x2e__0x2e__0x2e__bit_5 -F_0x2e_042_0x2e__0x2e__0x2e__bit_4 -F_0x2e_042_0x2e__0x2e__0x2e__bit_3 -F_0x2e_042_0x2e__0x2e__0x2e__bit_2 -F_0x2e_042_0x2e__0x2e__0x2e__bit_1 F_0x2e_042_0x2e__0x2e__0x2e__bit0 F_0x2e_042_0x2e__0x2e__0x2e__bit1 F_0x2e_042_0x2e__0x2e__0x2e__bit2 -F_0x2e_042_0x2e__0x2e__0x2e__bit3 F_0x2e_042_0x2e__0x2e__0x2e__bit4 F_0x2e_042_0x2e__0x2e__0x2e__bit5 -F_0x2e_042_0x2e__0x2e__0x2e__bit6 -F_0x2e_042_0x2e__0x2e__0x2e__bit7 -F_0x2e_042_0x2e__0x2e__0x2e__bit8 -F_0x2e_042_0x2e__0x2e__0x2e__bit9 -F_0x2e_042_0x2e__0x2e__0x2e__bit10 -F_0x2e_042_0x2e__0x2e__0x2e__bit11 -F_0x2e_042_0x2e__0x2e__0x2e__bit12 -F_0x2e_011012_bit_7 -F_0x2e_011012_bit_6 -F_0x2e_011012_bit_5 -F_0x2e_011012_bit_4 -F_0x2e_011012_bit_3 -F_0x2e_011012_bit_2 -F_0x2e_011012_bit_1 F_0x2e_011012_bit0 -F_0x2e_011012_bit1 F_0x2e_011012_bit2 -F_0x2e_011012_bit3 F_0x2e_011012_bit4 -F_0x2e_011012_bit5 -F_0x2e_011012_bit6 -F_0x2e_011012_bit7 -F_0x2e_011012_bit8 -F_0x2e_011012_bit9 -F_0x2e_011012_bit10 -F_0x2e_011012_bit11 -F_0x2e_011012_bit12 -F_0x2e_036037_bit_7 -F_0x2e_036037_bit_6 -F_0x2e_036037_bit_5 -F_0x2e_036037_bit_4 -F_0x2e_036037_bit_3 -F_0x2e_036037_bit_2 -F_0x2e_036037_bit_1 -F_0x2e_036037_bit0 -F_0x2e_036037_bit1 -F_0x2e_036037_bit2 -F_0x2e_036037_bit3 -F_0x2e_036037_bit4 -F_0x2e_036037_bit5 -F_0x2e_036037_bit6 -F_0x2e_036037_bit7 -F_0x2e_036037_bit8 -F_0x2e_036037_bit9 -F_0x2e_036037_bit10 -F_0x2e_036037_bit11 -F_0x2e_036037_bit12 -F_0x2e_038040_bit_7 -F_0x2e_038040_bit_6 -F_0x2e_038040_bit_5 -F_0x2e_038040_bit_4 -F_0x2e_038040_bit_3 -F_0x2e_038040_bit_2 -F_0x2e_038040_bit_1 F_0x2e_038040_bit0 F_0x2e_038040_bit1 F_0x2e_038040_bit2 -F_0x2e_038040_bit3 -F_0x2e_038040_bit4 F_0x2e_038040_bit5 -F_0x2e_038040_bit6 -F_0x2e_038040_bit7 -F_0x2e_038040_bit8 -F_0x2e_038040_bit9 -F_0x2e_038040_bit10 -F_0x2e_038040_bit11 -F_0x2e_038040_bit12 c Exit Code: 10 c Total time: 1175.77 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.85 0.94 0.97 2/54 30179 Raw data (stat): 30179 (runsolver) R 30178 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774562066 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.0004 s] Raw data (loadavg): 0.87 0.94 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 3497 0 0 0 988 10 0 0 25 0 1 0 774562066 17948672 3465 4294967295 134512640 134714540 3221224592 3221223384 134536904 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4382 3465 1111 63 0 4319 0 vsize: 17528 [startup+20.001 s] Raw data (loadavg): 0.89 0.94 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 4121 0 0 0 1986 13 0 0 25 0 1 0 774562066 20426752 4089 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4987 4089 1111 63 0 4924 0 vsize: 19948 [startup+30.002 s] Raw data (loadavg): 0.91 0.94 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 4397 0 0 0 2985 14 0 0 25 0 1 0 774562066 21594112 4365 4294967295 134512640 134714540 3221224592 3221223288 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5272 4365 1111 63 0 5209 0 vsize: 21088 [startup+40.0014 s] Raw data (loadavg): 0.92 0.94 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 4510 0 0 0 3984 15 0 0 25 0 1 0 774562066 22003712 4478 4294967295 134512640 134714540 3221224592 3221223168 134543043 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5372 4478 1111 63 0 5309 0 vsize: 21488 [startup+50.0022 s] Raw data (loadavg): 0.93 0.94 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 4583 0 0 0 4983 16 0 0 25 0 1 0 774562066 22372352 4551 4294967295 134512640 134714540 3221224592 3221223328 134622749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5462 4551 1111 63 0 5399 0 vsize: 21848 [startup+60.0023 s] Raw data (loadavg): 0.94 0.95 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 4644 0 0 0 5982 17 0 0 25 0 1 0 774562066 22618112 4612 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5522 4612 1111 63 0 5459 0 vsize: 22088 [startup+70.0028 s] Raw data (loadavg): 0.95 0.95 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 4693 0 0 0 6982 18 0 0 25 0 1 0 774562066 22753280 4661 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5555 4661 1111 63 0 5492 0 vsize: 22220 [startup+80.0026 s] Raw data (loadavg): 0.96 0.95 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 4776 0 0 0 7981 19 0 0 25 0 1 0 774562066 23109632 4744 4294967295 134512640 134714540 3221224592 3221223112 1077377824 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5642 4744 1111 63 0 5579 0 vsize: 22568 [startup+90.0026 s] Raw data (loadavg): 0.96 0.95 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 4805 0 0 0 8980 19 0 0 25 0 1 0 774562066 23244800 4773 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5675 4773 1111 63 0 5612 0 vsize: 22700 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 4805 0 0 0 9980 19 0 0 25 0 1 0 774562066 23244800 4773 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5675 4773 1111 63 0 5612 0 vsize: 22700 [startup+110.003 s] Raw data (loadavg): 0.97 0.95 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 4900 0 0 0 10980 20 0 0 25 0 1 0 774562066 23650304 4868 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5774 4868 1111 63 0 5711 0 vsize: 23096 [startup+120.004 s] Raw data (loadavg): 0.98 0.95 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5011 0 0 0 11979 21 0 0 25 0 1 0 774562066 24092672 4979 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5882 4979 1111 63 0 5819 0 vsize: 23528 [startup+130.004 s] Raw data (loadavg): 0.98 0.95 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5138 0 0 0 12979 22 0 0 25 0 1 0 774562066 24682496 5106 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6026 5106 1111 63 0 5963 0 vsize: 24104 [startup+140.003 s] Raw data (loadavg): 0.98 0.95 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5138 0 0 0 13979 22 0 0 25 0 1 0 774562066 24629248 5106 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6013 5106 1111 63 0 5950 0 vsize: 24052 [startup+150.004 s] Raw data (loadavg): 0.98 0.95 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5311 0 0 0 14978 23 0 0 25 0 1 0 774562066 25305088 5279 4294967295 134512640 134714540 3221224592 3221223320 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6178 5279 1111 63 0 6115 0 vsize: 24712 [startup+160.004 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5342 0 0 0 15978 23 0 0 25 0 1 0 774562066 25436160 5310 4294967295 134512640 134714540 3221224592 3221223188 1077374189 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6210 5310 1111 63 0 6147 0 vsize: 24840 [startup+170.004 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5414 0 0 0 16977 24 0 0 25 0 1 0 774562066 25776128 5382 4294967295 134512640 134714540 3221224592 3221223296 134553605 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6293 5382 1111 63 0 6230 0 vsize: 25172 [startup+180.004 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5457 0 0 0 17977 24 0 0 25 0 1 0 774562066 26013696 5425 4294967295 134512640 134714540 3221224592 3221223152 134542368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6351 5425 1111 63 0 6288 0 vsize: 25404 [startup+190.003 s] Raw data (loadavg): 1.07 0.97 0.97 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5471 0 0 0 18977 25 0 0 25 0 1 0 774562066 25980928 5439 4294967295 134512640 134714540 3221224592 3221223380 134622281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6343 5439 1111 63 0 6280 0 vsize: 25372 [startup+200.003 s] Raw data (loadavg): 1.13 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5598 0 0 0 19976 25 0 0 25 0 1 0 774562066 26513408 5566 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6473 5566 1111 63 0 6410 0 vsize: 25892 [startup+210.003 s] Raw data (loadavg): 1.11 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5643 0 0 0 20976 26 0 0 25 0 1 0 774562066 26705920 5611 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6520 5611 1111 63 0 6457 0 vsize: 26080 [startup+220.004 s] Raw data (loadavg): 1.09 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5786 0 0 0 21975 26 0 0 25 0 1 0 774562066 27234304 5754 4294967295 134512640 134714540 3221224592 3221223408 134622335 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6649 5754 1111 63 0 6586 0 vsize: 26596 [startup+230.003 s] Raw data (loadavg): 1.08 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5864 0 0 0 22975 27 0 0 25 0 1 0 774562066 27639808 5832 4294967295 134512640 134714540 3221224592 3221223212 134542656 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6748 5832 1111 63 0 6685 0 vsize: 26992 [startup+240.003 s] Raw data (loadavg): 1.07 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5898 0 0 0 23974 28 0 0 25 0 1 0 774562066 27774976 5866 4294967295 134512640 134714540 3221224592 3221223400 134622155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6781 5866 1111 63 0 6718 0 vsize: 27124 [startup+250.004 s] Raw data (loadavg): 1.06 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 5993 0 0 0 24974 28 0 0 25 0 1 0 774562066 28049408 5943 4294967295 134512640 134714540 3221224592 3221223384 134543541 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6848 5943 1111 63 0 6785 0 vsize: 27392 [startup+260.005 s] Raw data (loadavg): 1.05 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6066 0 0 0 25974 29 0 0 25 0 1 0 774562066 28319744 6016 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6914 6016 1111 63 0 6851 0 vsize: 27656 [startup+270.004 s] Raw data (loadavg): 1.04 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6066 0 0 0 26974 29 0 0 25 0 1 0 774562066 28319744 6016 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6914 6016 1111 63 0 6851 0 vsize: 27656 [startup+280.004 s] Raw data (loadavg): 1.03 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6066 0 0 0 27974 29 0 0 25 0 1 0 774562066 28319744 6016 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6914 6016 1111 63 0 6851 0 vsize: 27656 [startup+290.004 s] Raw data (loadavg): 1.03 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6066 0 0 0 28974 29 0 0 25 0 1 0 774562066 28319744 6016 4294967295 134512640 134714540 3221224592 3221223184 134538795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6914 6016 1111 63 0 6851 0 vsize: 27656 [startup+300.004 s] Raw data (loadavg): 1.02 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6113 0 0 0 29974 30 0 0 25 0 1 0 774562066 28590080 6063 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6980 6063 1111 63 0 6917 0 vsize: 27920 [startup+310.004 s] Raw data (loadavg): 1.02 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6167 0 0 0 30974 30 0 0 25 0 1 0 774562066 28725248 6117 4294967295 134512640 134714540 3221224592 3221223320 134622777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7013 6117 1111 63 0 6950 0 vsize: 28052 [startup+320.004 s] Raw data (loadavg): 1.02 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6249 0 0 0 31974 30 0 0 25 0 1 0 774562066 29085696 6199 4294967295 134512640 134714540 3221224592 3221223372 134543556 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7101 6199 1111 63 0 7038 0 vsize: 28404 [startup+330.004 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6293 0 0 0 32973 31 0 0 25 0 1 0 774562066 29343744 6243 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7164 6243 1111 63 0 7101 0 vsize: 28656 [startup+340.004 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6358 0 0 0 33973 31 0 0 25 0 1 0 774562066 29597696 6308 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7226 6308 1111 63 0 7163 0 vsize: 28904 [startup+350.004 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6408 0 0 0 34972 32 0 0 25 0 1 0 774562066 29732864 6358 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7259 6358 1111 63 0 7196 0 vsize: 29036 [startup+360.003 s] Raw data (loadavg): 1.01 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6408 0 0 0 35973 32 0 0 25 0 1 0 774562066 29732864 6358 4294967295 134512640 134714540 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7259 6358 1111 63 0 7196 0 vsize: 29036 [startup+370.004 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6457 0 0 0 36972 32 0 0 25 0 1 0 774562066 29999104 6407 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7324 6407 1111 63 0 7261 0 vsize: 29296 [startup+380.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6500 0 0 0 37972 32 0 0 25 0 1 0 774562066 30052352 6439 4294967295 134512640 134714540 3221224592 3221223316 134622905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7337 6439 1111 63 0 7274 0 vsize: 29348 [startup+390.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6539 0 0 0 38972 33 0 0 25 0 1 0 774562066 30322688 6478 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7403 6478 1111 63 0 7340 0 vsize: 29612 [startup+400.004 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6539 0 0 0 39972 33 0 0 25 0 1 0 774562066 30322688 6478 4294967295 134512640 134714540 3221224592 3221223376 134622506 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7403 6478 1111 63 0 7340 0 vsize: 29612 [startup+410.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6590 0 0 0 40972 33 0 0 25 0 1 0 774562066 30457856 6529 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7436 6529 1111 63 0 7373 0 vsize: 29744 [startup+420.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6612 0 0 0 41972 34 0 0 25 0 1 0 774562066 30593024 6551 4294967295 134512640 134714540 3221224592 3221223328 134529168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7469 6551 1111 63 0 7406 0 vsize: 29876 [startup+430.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6746 0 0 0 42971 34 0 0 25 0 1 0 774562066 31133696 6685 4294967295 134512640 134714540 3221224592 3221223320 134622780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7601 6685 1111 63 0 7538 0 vsize: 30404 [startup+440.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6774 0 0 0 43971 34 0 0 25 0 1 0 774562066 31264768 6713 4294967295 134512640 134714540 3221224592 3221223276 134532458 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7633 6713 1111 63 0 7570 0 vsize: 30532 [startup+450.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6786 0 0 0 44971 34 0 0 25 0 1 0 774562066 31264768 6725 4294967295 134512640 134714540 3221224592 3221223384 134536897 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7633 6725 1111 63 0 7570 0 vsize: 30532 [startup+460.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6786 0 0 0 45972 34 0 0 25 0 1 0 774562066 31264768 6725 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7633 6725 1111 63 0 7570 0 vsize: 30532 [startup+470.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6786 0 0 0 46972 35 0 0 25 0 1 0 774562066 31264768 6725 4294967295 134512640 134714540 3221224592 3221223392 134622417 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7633 6725 1111 63 0 7570 0 vsize: 30532 [startup+480.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6786 0 0 0 47972 35 0 0 25 0 1 0 774562066 31264768 6725 4294967295 134512640 134714540 3221224592 3221223320 134622752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7633 6725 1111 63 0 7570 0 vsize: 30532 [startup+490.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6786 0 0 0 48972 35 0 0 25 0 1 0 774562066 31264768 6725 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7633 6725 1111 63 0 7570 0 vsize: 30532 [startup+500.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6839 0 0 0 49972 35 0 0 25 0 1 0 774562066 31535104 6778 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7699 6778 1111 63 0 7636 0 vsize: 30796 [startup+510.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 6986 0 0 0 50971 35 0 0 25 0 1 0 774562066 32071680 6925 4294967295 134512640 134714540 3221224592 3221223220 134696296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7830 6925 1111 63 0 7767 0 vsize: 31320 [startup+520.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 7056 0 0 0 51971 36 0 0 25 0 1 0 774562066 32342016 6995 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7896 6995 1111 63 0 7833 0 vsize: 31584 [startup+530.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 7176 0 0 0 52970 37 0 0 25 0 1 0 774562066 32829440 7109 4294967295 134512640 134714540 3221224592 3221223260 134538941 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8015 7109 1111 63 0 7952 0 vsize: 32060 [startup+540.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 7328 0 0 0 53968 38 0 0 25 0 1 0 774562066 33505280 7261 4294967295 134512640 134714540 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8180 7261 1111 63 0 8117 0 vsize: 32720 [startup+550.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 7328 0 0 0 54968 39 0 0 25 0 1 0 774562066 33505280 7261 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8180 7261 1111 63 0 8117 0 vsize: 32720 [startup+560.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 7404 0 0 0 55967 39 0 0 25 0 1 0 774562066 33775616 7337 4294967295 134512640 134714540 3221224592 3221223232 134523193 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8246 7337 1111 63 0 8183 0 vsize: 32984 [startup+570.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 7768 0 0 0 56966 41 0 0 25 0 1 0 774562066 35213312 7701 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8597 7701 1111 63 0 8534 0 vsize: 34388 [startup+580.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 7826 0 0 0 57965 42 0 0 25 0 1 0 774562066 35479552 7759 4294967295 134512640 134714540 3221224592 3221223292 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8662 7759 1111 63 0 8599 0 vsize: 34648 [startup+590.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 7834 0 0 0 58965 42 0 0 25 0 1 0 774562066 35614720 7767 4294967295 134512640 134714540 3221224592 3221223376 134622290 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8695 7767 1111 63 0 8632 0 vsize: 34780 [startup+600.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 7834 0 0 0 59965 42 0 0 25 0 1 0 774562066 35577856 7767 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8686 7767 1111 63 0 8623 0 vsize: 34744 [startup+610.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 7834 0 0 0 60965 42 0 0 25 0 1 0 774562066 35577856 7767 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8686 7767 1111 63 0 8623 0 vsize: 34744 [startup+620.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8308 0 0 0 61964 44 0 0 25 0 1 0 774562066 37449728 8241 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9143 8241 1111 63 0 9080 0 vsize: 36572 [startup+630.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8602 0 0 0 62963 45 0 0 25 0 1 0 774562066 38711296 8535 4294967295 134512640 134714540 3221224592 3221223388 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9451 8535 1111 63 0 9388 0 vsize: 37804 [startup+640.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8602 0 0 0 63962 46 0 0 25 0 1 0 774562066 38711296 8535 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9451 8535 1111 63 0 9388 0 vsize: 37804 [startup+650.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8602 0 0 0 64963 46 0 0 25 0 1 0 774562066 38711296 8535 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9451 8535 1111 63 0 9388 0 vsize: 37804 [startup+660.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8602 0 0 0 65963 46 0 0 25 0 1 0 774562066 38711296 8535 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9451 8535 1111 63 0 9388 0 vsize: 37804 [startup+670.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8602 0 0 0 66963 46 0 0 25 0 1 0 774562066 38711296 8535 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9451 8535 1111 63 0 9388 0 vsize: 37804 [startup+680.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8602 0 0 0 67963 46 0 0 25 0 1 0 774562066 38711296 8535 4294967295 134512640 134714540 3221224592 3221223100 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9451 8535 1111 63 0 9388 0 vsize: 37804 [startup+690.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8619 0 0 0 68963 46 0 0 25 0 1 0 774562066 38846464 8552 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9484 8552 1111 63 0 9421 0 vsize: 37936 [startup+700.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8619 0 0 0 69963 46 0 0 25 0 1 0 774562066 38846464 8552 4294967295 134512640 134714540 3221224592 3221223396 134622416 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9484 8552 1111 63 0 9421 0 vsize: 37936 [startup+710.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8667 0 0 0 70963 46 0 0 25 0 1 0 774562066 38981632 8600 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9517 8600 1111 63 0 9454 0 vsize: 38068 [startup+720.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8717 0 0 0 71963 46 0 0 25 0 1 0 774562066 39211008 8650 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9573 8650 1111 63 0 9510 0 vsize: 38292 [startup+730.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8747 0 0 0 72963 46 0 0 25 0 1 0 774562066 39346176 8680 4294967295 134512640 134714540 3221224592 3221223392 134622074 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9606 8680 1111 63 0 9543 0 vsize: 38424 [startup+740.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8747 0 0 0 73963 46 0 0 25 0 1 0 774562066 39346176 8680 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9606 8680 1111 63 0 9543 0 vsize: 38424 [startup+750.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8747 0 0 0 74964 46 0 0 25 0 1 0 774562066 39346176 8680 4294967295 134512640 134714540 3221224592 3221223376 134622323 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9606 8680 1111 63 0 9543 0 vsize: 38424 [startup+760.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8975 0 0 0 75963 47 0 0 25 0 1 0 774562066 40296448 8908 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9838 8908 1111 63 0 9775 0 vsize: 39352 [startup+770.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8975 0 0 0 76963 47 0 0 25 0 1 0 774562066 40202240 8905 4294967295 134512640 134714540 3221224592 3221223400 134622412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9815 8905 1111 63 0 9752 0 vsize: 39260 [startup+780.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8975 0 0 0 77963 47 0 0 25 0 1 0 774562066 40202240 8905 4294967295 134512640 134714540 3221224592 3221223152 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9815 8905 1111 63 0 9752 0 vsize: 39260 [startup+790.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8985 0 0 0 78963 47 0 0 25 0 1 0 774562066 40312832 8915 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9842 8915 1111 63 0 9779 0 vsize: 39368 [startup+800.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8985 0 0 0 79964 47 0 0 25 0 1 0 774562066 40312832 8915 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9842 8915 1111 63 0 9779 0 vsize: 39368 [startup+810.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8985 0 0 0 80964 47 0 0 25 0 1 0 774562066 40312832 8915 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9842 8915 1111 63 0 9779 0 vsize: 39368 [startup+820.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8985 0 0 0 81964 47 0 0 25 0 1 0 774562066 40312832 8915 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9842 8915 1111 63 0 9779 0 vsize: 39368 [startup+830.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8985 0 0 0 82964 47 0 0 25 0 1 0 774562066 40312832 8915 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9842 8915 1111 63 0 9779 0 vsize: 39368 [startup+840.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8985 0 0 0 83964 47 0 0 25 0 1 0 774562066 40312832 8915 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9842 8915 1111 63 0 9779 0 vsize: 39368 [startup+850.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8985 0 0 0 84964 47 0 0 25 0 1 0 774562066 40312832 8915 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9842 8915 1111 63 0 9779 0 vsize: 39368 [startup+860.002 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8985 0 0 0 85964 47 0 0 25 0 1 0 774562066 40312832 8915 4294967295 134512640 134714540 3221224592 3221223392 134622422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9842 8915 1111 63 0 9779 0 vsize: 39368 [startup+870.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8985 0 0 0 86965 47 0 0 25 0 1 0 774562066 40296448 8915 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9838 8915 1111 63 0 9775 0 vsize: 39352 [startup+880.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8985 0 0 0 87965 47 0 0 25 0 1 0 774562066 40296448 8915 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9838 8915 1111 63 0 9775 0 vsize: 39352 [startup+890.003 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 8991 0 0 0 88965 47 0 0 25 0 1 0 774562066 40296448 8921 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9838 8921 1111 63 0 9775 0 vsize: 39352 [startup+900.004 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9004 0 0 0 89965 47 0 0 25 0 1 0 774562066 40431616 8934 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9871 8934 1111 63 0 9808 0 vsize: 39484 [startup+910.004 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9009 0 0 0 90965 48 0 0 25 0 1 0 774562066 40407040 8939 4294967295 134512640 134714540 3221224592 3221223304 134543171 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9865 8939 1111 63 0 9802 0 vsize: 39460 [startup+920.005 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9009 0 0 0 91965 48 0 0 25 0 1 0 774562066 40407040 8939 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9865 8939 1111 63 0 9802 0 vsize: 39460 [startup+930.006 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9009 0 0 0 92965 48 0 0 25 0 1 0 774562066 40407040 8939 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9865 8939 1111 63 0 9802 0 vsize: 39460 [startup+940.005 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9018 0 0 0 93966 48 0 0 25 0 1 0 774562066 40407040 8948 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9865 8948 1111 63 0 9802 0 vsize: 39460 [startup+950.005 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9042 0 0 0 94966 48 0 0 25 0 1 0 774562066 40542208 8972 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9898 8972 1111 63 0 9835 0 vsize: 39592 [startup+960.005 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9042 0 0 0 95966 48 0 0 25 0 1 0 774562066 40542208 8972 4294967295 134512640 134714540 3221224592 3221223320 134622777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9898 8972 1111 63 0 9835 0 vsize: 39592 [startup+970.006 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9046 0 0 0 96966 48 0 0 25 0 1 0 774562066 40542208 8976 4294967295 134512640 134714540 3221224592 3221223392 134622358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9898 8976 1111 63 0 9835 0 vsize: 39592 [startup+980.005 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 97966 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223376 134622395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+990.005 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 98966 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1000.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 99966 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1010.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 100966 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1020.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 101967 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1030.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 102967 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1040.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 103967 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1050.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 104967 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1060.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 105967 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1070.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 106967 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1080.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 107968 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223408 134610893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1090.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 108968 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1100.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 109968 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1110.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 110968 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223292 134535534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1120.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 111969 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1130.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 112969 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1140.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 113969 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1150.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 114969 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1160.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 115969 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1170.01 s] Raw data (loadavg): 1.00 0.99 0.98 2/54 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 116970 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 39724 [startup+1175.62 s] Raw data (loadavg): 1.00 0.99 0.98 1/53 30179 Raw data (stat): 30179 (bsolo_mis) R 30178 25830 25829 0 -1 0 9063 0 0 0 116970 48 0 0 25 0 1 0 774562066 40677376 8993 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9931 8993 1111 63 0 9868 0 vsize: 0 Child status: 10 Real time (s): 1175.62 CPU time (s): 1175.79 CPU user time (s): 1175.28 CPU system time (s): 0.508922 CPU usage (%): 100.015 Max. virtual memory (Kb): 39724 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 65384320 #### END VERIFIER DATA ####