Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb |
MD5SUM | 510c7f71a2644dcf876297008b35f617 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20977859 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2126 |
Biggest coefficient in the objective function | 27663360 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 110500348 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 1677721600000000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 40265324766820451 |
Number of bits of the biggest sum of numbers | 56 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1240.29 |
Number of variables | 3115 |
Total number of constraints | 971 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 300 |
Number of constraints which are nor clauses,nor cardinality constraints | 671 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 780 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-25 10:56:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21136 boxname=wulflinc11 idbench=1124 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 510c7f71a2644dcf876297008b35f617 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-neos17.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-neos17.opb IDLAUNCH: 21136 /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: 843364 kB Buffers: 32132 kB Cached: 137912 kB SwapCached: 772 kB Active: 64620 kB Inactive: 107476 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 843084 kB SwapTotal: 2097136 kB SwapFree: 2095468 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5024 kB Slab: 13552 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 11:17:30 (client local time) WITH STATUS 143 IN 1240.29 SECONDS stats: 21136 0 1240.29 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-neos17.opb c reading problem ... done. Time 9.278 ms. c #vars 3115 c #constraints 672 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 57584426 Current CPU time: 27.22 ms c CURRENT OPTIMUM= 57565482 Current CPU time: 36.15 ms c CURRENT OPTIMUM= 57560746 Current CPU time: 45.43 ms c CURRENT OPTIMUM= 57558378 Current CPU time: 54.47 ms c CURRENT OPTIMUM= 57557194 Current CPU time: 63.77 ms c CURRENT OPTIMUM= 57556602 Current CPU time: 73.47 ms c CURRENT OPTIMUM= 57556306 Current CPU time: 83.51 ms c CURRENT OPTIMUM= 57556158 Current CPU time: 93.89 ms c CURRENT OPTIMUM= 57556084 Current CPU time: 104.63 ms c CURRENT OPTIMUM= 57556047 Current CPU time: 115.70 ms c CURRENT OPTIMUM= 57556010 Current CPU time: 160.07 ms c CURRENT OPTIMUM= 33715456 Current CPU time: 163.82 ms c CURRENT OPTIMUM= 33714218 Current CPU time: 168.32 ms c CURRENT OPTIMUM= 33712980 Current CPU time: 176.95 ms c CURRENT OPTIMUM= 21610477 Current CPU time: 187.96 ms c CURRENT OPTIMUM= 21293549 Current CPU time: 198.67 ms c CURRENT OPTIMUM= 21135085 Current CPU time: 209.82 ms c CURRENT OPTIMUM= 21055853 Current CPU time: 221.47 ms c CURRENT OPTIMUM= 21016237 Current CPU time: 233.69 ms c CURRENT OPTIMUM= 20996429 Current CPU time: 246.52 ms c CURRENT OPTIMUM= 20986525 Current CPU time: 259.94 ms c CURRENT OPTIMUM= 20981573 Current CPU time: 273.94 ms c CURRENT OPTIMUM= 20979097 Current CPU time: 288.52 ms c CURRENT OPTIMUM= 20977859 Current CPU time: 303.76 ms c starts : 25 c conflicts : 79 c decisions : 85074 c propagations : 107111 c inspects : 493471 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 79 c root simplifications : 34 s SATISFIABLE v -D0001_bit0 D0002_bit0 -D0004_bit0 -D0005_bit0 -D0006_bit0 -D0007_bit0 -D0008_bit0 -D0009_bit0 -D0010_bit0 -D0011_bit0 D0012_bit0 -D0013_bit0 -D0014_bit0 -D0016_bit0 -D0017_bit0 -D0018_bit0 -D0020_bit0 -D0021_bit0 D0022_bit0 -D0023_bit0 -D0024_bit0 -D0025_bit0 -D0026_bit0 D0028_bit0 -D0030_bit0 -D0031_bit0 -D0033_bit0 -D0034_bit0 -D0035_bit0 -D0037_bit0 -D0038_bit0 -D0039_bit0 -D0041_bit0 -D0042_bit0 -D0043_bit0 D0044_bit0 -D0045_bit0 D0047_bit0 -D0048_bit0 -D0049_bit0 D0052_bit0 -D0053_bit0 -D0054_bit0 -D0055_bit0 -D0056_bit0 -D0057_bit0 -D0060_bit0 -D0062_bit0 -D0063_bit0 -D0064_bit0 -D0065_bit0 -D0068_bit0 -D0070_bit0 -D0071_bit0 -D0072_bit0 D0073_bit0 -D0074_bit0 -D0075_bit0 -D0077_bit0 D0079_bit0 D0080_bit0 -D0081_bit0 -D0082_bit0 D0083_bit0 -D0084_bit0 D0085_bit0 -D0086_bit0 -D0087_bit0 -D0089_bit0 D0090_bit0 -D0091_bit0 -D0093_bit0 -D0094_bit0 -D0095_bit0 -D0097_bit0 -D0098_bit0 -D0101_bit0 -D0102_bit0 D0104_bit0 -D0105_bit0 -D0106_bit0 D0107_bit0 -D0108_bit0 -D0109_bit0 -D0113_bit0 -D0115_bit0 D0116_bit0 D0117_bit0 -D0118_bit0 -D0119_bit0 -D0120_bit0 D0121_bit0 -D0123_bit0 D0124_bit0 D0125_bit0 -D0126_bit0 -D0128_bit0 -D0129_bit0 -D0130_bit0 -D0131_bit0 -D0132_bit0 -D0133_bit0 -D0134_bit0 -D0135_bit0 D0137_bit0 -D0138_bit0 -D0139_bit0 -D0140_bit0 -D0141_bit0 -D0142_bit0 -D0143_bit0 -D0144_bit0 -D0145_bit0 D0148_bit0 -D0149_bit0 -D0151_bit0 -D0152_bit0 -D0153_bit0 D0157_bit0 -D0162_bit0 -D0163_bit0 D0164_bit0 -D0165_bit0 -D0166_bit0 -D0167_bit0 -D0168_bit0 D0169_bit0 -D0170_bit0 D0171_bit0 -D0172_bit0 -D0173_bit0 -D0174_bit0 -D0175_bit0 -D0176_bit0 -D0178_bit0 -D0179_bit0 D0180_bit0 -D0182_bit0 -D0183_bit0 D0184_bit0 -D0186_bit0 -D0187_bit0 -D0188_bit0 -D0189_bit0 -D0190_bit0 -D0192_bit0 -D0195_bit0 -D0196_bit0 -D0197_bit0 -D0198_bit0 -D0201_bit0 -D0202_bit0 -D0203_bit0 D0204_bit0 -D0205_bit0 D0206_bit0 -D0207_bit0 D0208_bit0 -D0209_bit0 -D0210_bit0 D0211_bit0 -D0212_bit0 -D0213_bit0 -D0214_bit0 -D0215_bit0 -D0216_bit0 D0217_bit0 -D0219_bit0 -D0220_bit0 -D0221_bit0 D0222_bit0 -D0223_bit0 -D0224_bit0 -D0225_bit0 D0227_bit0 D0228_bit0 -D0229_bit0 -D0230_bit0 -D0231_bit0 -D0234_bit0 -D0235_bit0 -D0236_bit0 -D0237_bit0 -D0238_bit0 -D0241_bit0 -D0242_bit0 -D0243_bit0 -D0245_bit0 -D0246_bit0 -D0247_bit0 -D0248_bit0 -D0249_bit0 -D0250_bit0 -D0251_bit0 -D0252_bit0 D0254_bit0 -D0258_bit0 -D0259_bit0 -D0260_bit0 -D0261_bit0 -D0262_bit0 -D0263_bit0 -D0264_bit0 -D0265_bit0 -D0266_bit0 -D0267_bit0 -D0268_bit0 -D0269_bit0 -D0270_bit0 -D0271_bit0 -D0275_bit0 D0276_bit0 -D0277_bit0 -D0278_bit0 -D0279_bit0 -D0280_bit0 -D0281_bit0 -D0282_bit0 -D0283_bit0 -D0285_bit0 -D0286_bit0 -D0287_bit0 -D0288_bit0 -D0289_bit0 -D0290_bit0 -D0291_bit0 -D0292_bit0 D0293_bit0 -D0295_bit0 -D0296_bit0 -D0297_bit0 -D0298_bit0 -D0299_bit0 -D0300_bit0 -D0301_bit_10 -D0301_bit_9 -D0301_bit_8 -D0301_bit_7 -D0301_bit_6 -D0301_bit_5 -D0301_bit_4 -D0301_bit_3 -D0301_bit_2 -D0301_bit_1 -D0301_bit0 D0302_bit_10 -D0302_bit_9 -D0302_bit_8 -D0302_bit_7 -D0302_bit_6 -D0302_bit_5 -D0302_bit_4 -D0302_bit_3 -D0302_bit_2 -D0302_bit_1 -D0302_bit0 D0303_bit_10 -D0303_bit_9 -D0303_bit_8 -D0303_bit_7 -D0303_bit_6 -D0303_bit_5 -D0303_bit_4 -D0303_bit_3 -D0303_bit_2 -D0303_bit_1 -D0303_bit0 D0304_bit_10 -D0304_bit_9 -D0304_bit_8 -D0304_bit_7 -D0304_bit_6 -D0304_bit_5 -D0304_bit_4 -D0304_bit_3 -D0304_bit_2 -D0304_bit_1 -D0304_bit0 D0305_bit_10 -D0305_bit_9 -D0305_bit_8 -D0305_bit_7 -D0305_bit_6 -D0305_bit_5 -D0305_bit_4 -D0305_bit_3 -D0305_bit_2 -D0305_bit_1 -D0305_bit0 -D0307_bit_10 -D0307_bit_9 -D0307_bit_8 -D0307_bit_7 -D0307_bit_6 -D0307_bit_5 -D0307_bit_4 -D0307_bit_3 -D0307_bit_2 -D0307_bit_1 -D0307_bit0 -D0308_bit_10 -D0308_bit_9 -D0308_bit_8 -D0308_bit_7 -D0308_bit_6 -D0308_bit_5 -D0308_bit_4 -D0308_bit_3 -D0308_bit_2 -D0308_bit_1 -D0308_bit0 D0309_bit_10 -D0309_bit_9 -D0309_bit_8 -D0309_bit_7 -D0309_bit_6 -D0309_bit_5 -D0309_bit_4 -D0309_bit_3 -D0309_bit_2 -D0309_bit_1 -D0309_bit0 -D0311_bit_10 -D0311_bit_9 -D0311_bit_8 -D0311_bit_7 -D0311_bit_6 -D0311_bit_5 -D0311_bit_4 -D0311_bit_3 -D0311_bit_2 -D0311_bit_1 -D0311_bit0 -D0312_bit_10 -D0312_bit_9 -D0312_bit_8 -D0312_bit_7 -D0312_bit_6 -D0312_bit_5 -D0312_bit_4 -D0312_bit_3 -D0312_bit_2 -D0312_bit_1 -D0312_bit0 -D0313_bit_10 -D0313_bit_9 -D0313_bit_8 -D0313_bit_7 -D0313_bit_6 -D0313_bit_5 -D0313_bit_4 -D0313_bit_3 -D0313_bit_2 -D0313_bit_1 -D0313_bit0 -D0314_bit_10 -D0314_bit_9 -D0314_bit_8 -D0314_bit_7 -D0314_bit_6 -D0314_bit_5 -D0314_bit_4 -D0314_bit_3 -D0314_bit_2 -D0314_bit_1 -D0314_bit0 -D0315_bit_10 -D0315_bit_9 -D0315_bit_8 -D0315_bit_7 -D0315_bit_6 -D0315_bit_5 -D0315_bit_4 -D0315_bit_3 -D0315_bit_2 -D0315_bit_1 -D0315_bit0 -D0316_bit_10 -D0316_bit_9 -D0316_bit_8 -D0316_bit_7 -D0316_bit_6 -D0316_bit_5 -D0316_bit_4 -D0316_bit_3 -D0316_bit_2 -D0316_bit_1 -D0316_bit0 -D0317_bit_10 -D0317_bit_9 -D0317_bit_8 -D0317_bit_7 -D0317_bit_6 -D0317_bit_5 -D0317_bit_4 -D0317_bit_3 -D0317_bit_2 -D0317_bit_1 -D0317_bit0 -D0318_bit_10 -D0318_bit_9 -D0318_bit_8 -D0318_bit_7 -D0318_bit_6 -D0318_bit_5 -D0318_bit_4 -D0318_bit_3 -D0318_bit_2 -D0318_bit_1 -D0318_bit0 -D0319_bit_10 -D0319_bit_9 -D0319_bit_8 -D0319_bit_7 -D0319_bit_6 -D0319_bit_5 -D0319_bit_4 -D0319_bit_3 -D0319_bit_2 -D0319_bit_1 -D0319_bit0 -D0320_bit_10 -D0320_bit_9 -D0320_bit_8 -D0320_bit_7 -D0320_bit_6 -D0320_bit_5 -D0320_bit_4 -D0320_bit_3 -D0320_bit_2 -D0320_bit_1 -D0320_bit0 -D0321_bit_10 -D0321_bit_9 -D0321_bit_8 -D0321_bit_7 -D0321_bit_6 -D0321_bit_5 -D0321_bit_4 -D0321_bit_3 -D0321_bit_2 -D0321_bit_1 -D0321_bit0 -D0322_bit_10 -D0322_bit_9 -D0322_bit_8 -D0322_bit_7 -D0322_bit_6 -D0322_bit_5 -D0322_bit_4 -D0322_bit_3 -D0322_bit_2 -D0322_bit_1 -D0322_bit0 -D0323_bit_10 -D0323_bit_9 -D0323_bit_8 -D0323_bit_7 -D0323_bit_6 -D0323_bit_5 -D0323_bit_4 -D0323_bit_3 -D0323_bit_2 -D0323_bit_1 -D0323_bit0 D0324_bit_10 -D0324_bit_9 -D0324_bit_8 -D0324_bit_7 -D0324_bit_6 -D0324_bit_5 -D0324_bit_4 -D0324_bit_3 -D0324_bit_2 -D0324_bit_1 -D0324_bit0 -D0325_bit_10 D0325_bit_9 -D0325_bit_8 -D0325_bit_7 -D0325_bit_6 -D0325_bit_5 -D0325_bit_4 -D0325_bit_3 -D0325_bit_2 -D0325_bit_1 -D0325_bit0 -D0327_bit_10 -D0327_bit_9 -D0327_bit_8 -D0327_bit_7 -D0327_bit_6 -D0327_bit_5 -D0327_bit_4 -D0327_bit_3 -D0327_bit_2 -D0327_bit_1 -D0327_bit0 -D0328_bit_10 -D0328_bit_9 -D0328_bit_8 -D0328_bit_7 -D0328_bit_6 -D0328_bit_5 -D0328_bit_4 -D0328_bit_3 -D0328_bit_2 -D0328_bit_1 -D0328_bit0 -D0329_bit_10 -D0329_bit_9 -D0329_bit_8 -D0329_bit_7 -D0329_bit_6 -D0329_bit_5 -D0329_bit_4 -D0329_bit_3 -D0329_bit_2 -D0329_bit_1 -D0329_bit0 -D0330_bit_10 -D0330_bit_9 -D0330_bit_8 -D0330_bit_7 -D0330_bit_6 -D0330_bit_5 -D0330_bit_4 -D0330_bit_3 -D0330_bit_2 -D0330_bit_1 -D0330_bit0 -D0331_bit_10 -D0331_bit_9 -D0331_bit_8 -D0331_bit_7 -D0331_bit_6 -D0331_bit_5 -D0331_bit_4 -D0331_bit_3 -D0331_bit_2 -D0331_bit_1 -D0331_bit0 -D0332_bit_10 -D0332_bit_9 -D0332_bit_8 -D0332_bit_7 -D0332_bit_6 -D0332_bit_5 -D0332_bit_4 -D0332_bit_3 -D0332_bit_2 -D0332_bit_1 -D0332_bit0 -D0333_bit_10 -D0333_bit_9 -D0333_bit_8 -D0333_bit_7 -D0333_bit_6 -D0333_bit_5 -D0333_bit_4 -D0333_bit_3 -D0333_bit_2 -D0333_bit_1 -D0333_bit0 D0334_bit_10 -D0334_bit_9 -D0334_bit_8 -D0334_bit_7 -D0334_bit_6 -D0334_bit_5 -D0334_bit_4 -D0334_bit_3 -D0334_bit_2 -D0334_bit_1 -D0334_bit0 -D0335_bit_10 D0335_bit_9 -D0335_bit_8 -D0335_bit_7 -D0335_bit_6 -D0335_bit_5 -D0335_bit_4 -D0335_bit_3 -D0335_bit_2 -D0335_bit_1 -D0335_bit0 D0336_bit_10 -D0336_bit_9 -D0336_bit_8 -D0336_bit_7 -D0336_bit_6 -D0336_bit_5 -D0336_bit_4 -D0336_bit_3 -D0336_bit_2 -D0336_bit_1 -D0336_bit0 -D0337_bit_10 -D0337_bit_9 -D0337_bit_8 -D0337_bit_7 -D0337_bit_6 -D0337_bit_5 -D0337_bit_4 -D0337_bit_3 -D0337_bit_2 -D0337_bit_1 -D0337_bit0 D0338_bit_10 -D0338_bit_9 -D0338_bit_8 -D0338_bit_7 -D0338_bit_6 -D0338_bit_5 -D0338_bit_4 -D0338_bit_3 -D0338_bit_2 -D0338_bit_1 -D0338_bit0 -D0340_bit_10 -D0340_bit_9 -D0340_bit_8 -D0340_bit_7 -D0340_bit_6 -D0340_bit_5 -D0340_bit_4 -D0340_bit_3 -D0340_bit_2 -D0340_bit_1 -D0340_bit0 -D0341_bit_10 -D0341_bit_9 -D0341_bit_8 -D0341_bit_7 -D0341_bit_6 -D0341_bit_5 -D0341_bit_4 -D0341_bit_3 -D0341_bit_2 -D0341_bit_1 -D0341_bit0 -D0343_bit_10 -D0343_bit_9 -D0343_bit_8 -D0343_bit_7 -D0343_bit_6 -D0343_bit_5 -D0343_bit_4 -D0343_bit_3 -D0343_bit_2 -D0343_bit_1 -D0343_bit0 D0344_bit_10 -D0344_bit_9 -D0344_bit_8 -D0344_bit_7 -D0344_bit_6 -D0344_bit_5 -D0344_bit_4 -D0344_bit_3 -D0344_bit_2 -D0344_bit_1 -D0344_bit0 -D0345_bit_10 -D0345_bit_9 -D0345_bit_8 -D0345_bit_7 -D0345_bit_6 -D0345_bit_5 -D0345_bit_4 -D0345_bit_3 -D0345_bit_2 -D0345_bit_1 -D0345_bit0 -D0346_bit_10 -D0346_bit_9 -D0346_bit_8 -D0346_bit_7 -D0346_bit_6 -D0346_bit_5 -D0346_bit_4 -D0346_bit_3 -D0346_bit_2 -D0346_bit_1 -D0346_bit0 -D0347_bit_10 -D0347_bit_9 -D0347_bit_8 -D0347_bit_7 -D0347_bit_6 -D0347_bit_5 -D0347_bit_4 -D0347_bit_3 -D0347_bit_2 -D0347_bit_1 -D0347_bit0 -D0348_bit_10 -D0348_bit_9 -D0348_bit_8 -D0348_bit_7 -D0348_bit_6 -D0348_bit_5 -D0348_bit_4 -D0348_bit_3 -D0348_bit_2 -D0348_bit_1 -D0348_bit0 D0349_bit_10 -D0349_bit_9 -D0349_bit_8 -D0349_bit_7 -D0349_bit_6 -D0349_bit_5 -D0349_bit_4 -D0349_bit_3 -D0349_bit_2 -D0349_bit_1 -D0349_bit0 -D0350_bit_10 -D0350_bit_9 -D0350_bit_8 -D0350_bit_7 -D0350_bit_6 -D0350_bit_5 -D0350_bit_4 -D0350_bit_3 -D0350_bit_2 -D0350_bit_1 -D0350_bit0 -D0351_bit_10 -D0351_bit_9 -D0351_bit_8 -D0351_bit_7 -D0351_bit_6 -D0351_bit_5 -D0351_bit_4 -D0351_bit_3 -D0351_bit_2 -D0351_bit_1 -D0351_bit0 -D0352_bit_10 -D0352_bit_9 -D0352_bit_8 -D0352_bit_7 -D0352_bit_6 -D0352_bit_5 -D0352_bit_4 -D0352_bit_3 -D0352_bit_2 -D0352_bit_1 -D0352_bit0 -D0353_bit_10 -D0353_bit_9 -D0353_bit_8 -D0353_bit_7 -D0353_bit_6 -D0353_bit_5 -D0353_bit_4 -D0353_bit_3 -D0353_bit_2 -D0353_bit_1 -D0353_bit0 D0354_bit_10 -D0354_bit_9 -D0354_bit_8 -D0354_bit_7 -D0354_bit_6 -D0354_bit_5 -D0354_bit_4 -D0354_bit_3 -D0354_bit_2 -D0354_bit_1 -D0354_bit0 -D0355_bit_10 -D0355_bit_9 -D0355_bit_8 -D0355_bit_7 -D0355_bit_6 -D0355_bit_5 -D0355_bit_4 -D0355_bit_3 -D0355_bit_2 -D0355_bit_1 -D0355_bit0 -D0356_bit_10 -D0356_bit_9 -D0356_bit_8 -D0356_bit_7 -D0356_bit_6 -D0356_bit_5 -D0356_bit_4 -D0356_bit_3 -D0356_bit_2 -D0356_bit_1 -D0356_bit0 -D0357_bit_10 -D0357_bit_9 -D0357_bit_8 -D0357_bit_7 -D0357_bit_6 -D0357_bit_5 -D0357_bit_4 -D0357_bit_3 -D0357_bit_2 -D0357_bit_1 -D0357_bit0 -D0358_bit_10 -D0358_bit_9 -D0358_bit_8 -D0358_bit_7 -D0358_bit_6 -D0358_bit_5 -D0358_bit_4 -D0358_bit_3 -D0358_bit_2 -D0358_bit_1 -D0358_bit0 -D0359_bit_10 -D0359_bit_9 -D0359_bit_8 -D0359_bit_7 -D0359_bit_6 -D0359_bit_5 -D0359_bit_4 -D0359_bit_3 -D0359_bit_2 -D0359_bit_1 -D0359_bit0 -D0360_bit_10 -D0360_bit_9 -D0360_bit_8 -D0360_bit_7 -D0360_bit_6 -D0360_bit_5 -D0360_bit_4 -D0360_bit_3 -D0360_bit_2 -D0360_bit_1 -D0360_bit0 -D0361_bit_10 -D0361_bit_9 -D0361_bit_8 -D0361_bit_7 -D0361_bit_6 -D0361_bit_5 -D0361_bit_4 -D0361_bit_3 -D0361_bit_2 -D0361_bit_1 -D0361_bit0 -D0362_bit_10 -D0362_bit_9 -D0362_bit_8 -D0362_bit_7 -D0362_bit_6 -D0362_bit_5 -D0362_bit_4 -D0362_bit_3 -D0362_bit_2 -D0362_bit_1 -D0362_bit0 -D0363_bit_10 -D0363_bit_9 -D0363_bit_8 -D0363_bit_7 -D0363_bit_6 -D0363_bit_5 -D0363_bit_4 -D0363_bit_3 -D0363_bit_2 -D0363_bit_1 -D0363_bit0 -D0364_bit_10 -D0364_bit_9 -D0364_bit_8 -D0364_bit_7 -D0364_bit_6 -D0364_bit_5 -D0364_bit_4 -D0364_bit_3 -D0364_bit_2 -D0364_bit_1 -D0364_bit0 -D0365_bit_10 -D0365_bit_9 -D0365_bit_8 -D0365_bit_7 -D0365_bit_6 -D0365_bit_5 -D0365_bit_4 -D0365_bit_3 -D0365_bit_2 -D0365_bit_1 -D0365_bit0 -D0366_bit_10 -D0366_bit_9 -D0366_bit_8 -D0366_bit_7 -D0366_bit_6 -D0366_bit_5 -D0366_bit_4 -D0366_bit_3 -D0366_bit_2 -D0366_bit_1 -D0366_bit0 -D0367_bit_10 -D0367_bit_9 -D0367_bit_8 -D0367_bit_7 -D0367_bit_6 -D0367_bit_5 -D0367_bit_4 -D0367_bit_3 -D0367_bit_2 -D0367_bit_1 -D0367_bit0 -D0368_bit_10 -D0368_bit_9 -D0368_bit_8 -D0368_bit_7 -D0368_bit_6 -D0368_bit_5 -D0368_bit_4 -D0368_bit_3 -D0368_bit_2 -D0368_bit_1 -D0368_bit0 -D0369_bit_10 -D0369_bit_9 -D0369_bit_8 -D0369_bit_7 -D0369_bit_6 -D0369_bit_5 -D0369_bit_4 -D0369_bit_3 -D0369_bit_2 -D0369_bit_1 -D0369_bit0 D0371_bit_10 -D0371_bit_9 -D0371_bit_8 -D0371_bit_7 -D0371_bit_6 -D0371_bit_5 -D0371_bit_4 -D0371_bit_3 -D0371_bit_2 -D0371_bit_1 -D0371_bit0 D0372_bit_10 -D0372_bit_9 -D0372_bit_8 -D0372_bit_7 -D0372_bit_6 -D0372_bit_5 -D0372_bit_4 -D0372_bit_3 -D0372_bit_2 -D0372_bit_1 -D0372_bit0 -D0373_bit_10 -D0373_bit_9 -D0373_bit_8 -D0373_bit_7 -D0373_bit_6 -D0373_bit_5 -D0373_bit_4 -D0373_bit_3 -D0373_bit_2 -D0373_bit_1 -D0373_bit0 -D0375_bit_10 -D0375_bit_9 -D0375_bit_8 -D0375_bit_7 -D0375_bit_6 -D0375_bit_5 -D0375_bit_4 -D0375_bit_3 -D0375_bit_2 -D0375_bit_1 -D0375_bit0 -D0376_bit_10 -D0376_bit_9 -D0376_bit_8 -D0376_bit_7 -D0376_bit_6 -D0376_bit_5 -D0376_bit_4 -D0376_bit_3 -D0376_bit_2 -D0376_bit_1 -D0376_bit0 -D0377_bit_10 -D0377_bit_9 -D0377_bit_8 -D0377_bit_7 -D0377_bit_6 -D0377_bit_5 -D0377_bit_4 -D0377_bit_3 -D0377_bit_2 -D0377_bit_1 -D0377_bit0 -D0378_bit_10 -D0378_bit_9 -D0378_bit_8 -D0378_bit_7 -D0378_bit_6 -D0378_bit_5 -D0378_bit_4 -D0378_bit_3 -D0378_bit_2 -D0378_bit_1 -D0378_bit0 -D0379_bit_10 -D0379_bit_9 -D0379_bit_8 -D0379_bit_7 -D0379_bit_6 -D0379_bit_5 -D0379_bit_4 -D0379_bit_3 -D0379_bit_2 -D0379_bit_1 -D0379_bit0 -D0382_bit_10 -D0382_bit_9 -D0382_bit_8 -D0382_bit_7 -D0382_bit_6 -D0382_bit_5 -D0382_bit_4 -D0382_bit_3 -D0382_bit_2 -D0382_bit_1 -D0382_bit0 -D0383_bit_10 -D0383_bit_9 -D0383_bit_8 -D0383_bit_7 -D0383_bit_6 -D0383_bit_5 -D0383_bit_4 -D0383_bit_3 -D0383_bit_2 -D0383_bit_1 -D0383_bit0 -D0384_bit_10 -D0384_bit_9 -D0384_bit_8 -D0384_bit_7 -D0384_bit_6 -D0384_bit_5 -D0384_bit_4 -D0384_bit_3 -D0384_bit_2 -D0384_bit_1 -D0384_bit0 -D0385_bit_10 -D0385_bit_9 -D0385_bit_8 -D0385_bit_7 -D0385_bit_6 -D0385_bit_5 -D0385_bit_4 -D0385_bit_3 -D0385_bit_2 -D0385_bit_1 -D0385_bit0 -D0386_bit_10 -D0386_bit_9 -D0386_bit_8 -D0386_bit_7 -D0386_bit_6 -D0386_bit_5 -D0386_bit_4 -D0386_bit_3 -D0386_bit_2 -D0386_bit_1 -D0386_bit0 -D0387_bit_10 -D0387_bit_9 -D0387_bit_8 -D0387_bit_7 -D0387_bit_6 -D0387_bit_5 -D0387_bit_4 -D0387_bit_3 -D0387_bit_2 -D0387_bit_1 -D0387_bit0 D0388_bit_10 -D0388_bit_9 -D0388_bit_8 -D0388_bit_7 -D0388_bit_6 -D0388_bit_5 -D0388_bit_4 -D0388_bit_3 -D0388_bit_2 -D0388_bit_1 -D0388_bit0 D0389_bit_10 -D0389_bit_9 -D0389_bit_8 -D0389_bit_7 -D0389_bit_6 -D0389_bit_5 -D0389_bit_4 -D0389_bit_3 -D0389_bit_2 -D0389_bit_1 -D0389_bit0 D0390_bit_10 -D0390_bit_9 -D0390_bit_8 -D0390_bit_7 -D0390_bit_6 -D0390_bit_5 -D0390_bit_4 -D0390_bit_3 -D0390_bit_2 -D0390_bit_1 -D0390_bit0 -D0391_bit_10 -D0391_bit_9 -D0391_bit_8 -D0391_bit_7 -D0391_bit_6 -D0391_bit_5 -D0391_bit_4 -D0391_bit_3 -D0391_bit_2 -D0391_bit_1 -D0391_bit0 D0392_bit_10 -D0392_bit_9 -D0392_bit_8 -D0392_bit_7 -D0392_bit_6 -D0392_bit_5 -D0392_bit_4 -D0392_bit_3 -D0392_bit_2 -D0392_bit_1 -D0392_bit0 -D0394_bit_10 -D0394_bit_9 -D0394_bit_8 -D0394_bit_7 -D0394_bit_6 -D0394_bit_5 -D0394_bit_4 -D0394_bit_3 -D0394_bit_2 -D0394_bit_1 -D0394_bit0 -D0395_bit_10 -D0395_bit_9 -D0395_bit_8 -D0395_bit_7 -D0395_bit_6 -D0395_bit_5 -D0395_bit_4 -D0395_bit_3 -D0395_bit_2 -D0395_bit_1 -D0395_bit0 -D0396_bit_10 D0396_bit_9 -D0396_bit_8 -D0396_bit_7 -D0396_bit_6 -D0396_bit_5 -D0396_bit_4 -D0396_bit_3 -D0396_bit_2 -D0396_bit_1 -D0396_bit0 -D0397_bit_10 -D0397_bit_9 -D0397_bit_8 -D0397_bit_7 -D0397_bit_6 -D0397_bit_5 -D0397_bit_4 -D0397_bit_3 -D0397_bit_2 -D0397_bit_1 -D0397_bit0 -D0398_bit_10 -D0398_bit_9 -D0398_bit_8 -D0398_bit_7 -D0398_bit_6 -D0398_bit_5 -D0398_bit_4 -D0398_bit_3 -D0398_bit_2 -D0398_bit_1 -D0398_bit0 -D0399_bit_10 -D0399_bit_9 -D0399_bit_8 -D0399_bit_7 -D0399_bit_6 -D0399_bit_5 -D0399_bit_4 -D0399_bit_3 -D0399_bit_2 -D0399_bit_1 -D0399_bit0 -D0400_bit_10 -D0400_bit_9 -D0400_bit_8 -D0400_bit_7 -D0400_bit_6 -D0400_bit_5 -D0400_bit_4 -D0400_bit_3 -D0400_bit_2 -D0400_bit_1 -D0400_bit0 -D0401_bit_10 D0401_bit_9 -D0401_bit_8 -D0401_bit_7 -D0401_bit_6 -D0401_bit_5 -D0401_bit_4 -D0401_bit_3 -D0401_bit_2 -D0401_bit_1 -D0401_bit0 -D0403_bit_10 -D0403_bit_9 -D0403_bit_8 -D0403_bit_7 -D0403_bit_6 -D0403_bit_5 -D0403_bit_4 -D0403_bit_3 -D0403_bit_2 -D0403_bit_1 -D0403_bit0 -D0404_bit_10 D0404_bit_9 -D0404_bit_8 -D0404_bit_7 -D0404_bit_6 -D0404_bit_5 -D0404_bit_4 -D0404_bit_3 -D0404_bit_2 -D0404_bit_1 -D0404_bit0 -D0405_bit_10 -D0405_bit_9 -D0405_bit_8 -D0405_bit_7 -D0405_bit_6 -D0405_bit_5 -D0405_bit_4 -D0405_bit_3 -D0405_bit_2 -D0405_bit_1 -D0405_bit0 D0406_bit_10 -D0406_bit_9 -D0406_bit_8 -D0406_bit_7 -D0406_bit_6 -D0406_bit_5 -D0406_bit_4 -D0406_bit_3 -D0406_bit_2 -D0406_bit_1 -D0406_bit0 -D0407_bit_10 -D0407_bit_9 -D0407_bit_8 -D0407_bit_7 -D0407_bit_6 -D0407_bit_5 -D0407_bit_4 -D0407_bit_3 -D0407_bit_2 -D0407_bit_1 -D0407_bit0 -D0408_bit_10 -D0408_bit_9 -D0408_bit_8 -D0408_bit_7 -D0408_bit_6 -D0408_bit_5 -D0408_bit_4 -D0408_bit_3 -D0408_bit_2 -D0408_bit_1 -D0408_bit0 -D0409_bit_10 -D0409_bit_9 -D0409_bit_8 -D0409_bit_7 -D0409_bit_6 -D0409_bit_5 -D0409_bit_4 -D0409_bit_3 -D0409_bit_2 -D0409_bit_1 -D0409_bit0 -D0410_bit_10 -D0410_bit_9 -D0410_bit_8 -D0410_bit_7 -D0410_bit_6 -D0410_bit_5 -D0410_bit_4 -D0410_bit_3 -D0410_bit_2 -D0410_bit_1 -D0410_bit0 D0411_bit_10 -D0411_bit_9 -D0411_bit_8 -D0411_bit_7 -D0411_bit_6 -D0411_bit_5 -D0411_bit_4 -D0411_bit_3 -D0411_bit_2 -D0411_bit_1 -D0411_bit0 -D0412_bit_10 -D0412_bit_9 -D0412_bit_8 -D0412_bit_7 -D0412_bit_6 -D0412_bit_5 -D0412_bit_4 -D0412_bit_3 -D0412_bit_2 -D0412_bit_1 -D0412_bit0 -D0413_bit_10 -D0413_bit_9 -D0413_bit_8 -D0413_bit_7 -D0413_bit_6 -D0413_bit_5 -D0413_bit_4 -D0413_bit_3 -D0413_bit_2 -D0413_bit_1 -D0413_bit0 -D0414_bit_10 -D0414_bit_9 -D0414_bit_8 -D0414_bit_7 -D0414_bit_6 -D0414_bit_5 -D0414_bit_4 -D0414_bit_3 -D0414_bit_2 -D0414_bit_1 -D0414_bit0 -D0415_bit_10 -D0415_bit_9 -D0415_bit_8 -D0415_bit_7 -D0415_bit_6 -D0415_bit_5 -D0415_bit_4 -D0415_bit_3 -D0415_bit_2 -D0415_bit_1 -D0415_bit0 -D0416_bit_10 -D0416_bit_9 -D0416_bit_8 -D0416_bit_7 -D0416_bit_6 -D0416_bit_5 -D0416_bit_4 -D0416_bit_3 -D0416_bit_2 -D0416_bit_1 -D0416_bit0 -D0417_bit_10 -D0417_bit_9 -D0417_bit_8 -D0417_bit_7 -D0417_bit_6 -D0417_bit_5 -D0417_bit_4 -D0417_bit_3 -D0417_bit_2 -D0417_bit_1 -D0417_bit0 -D0418_bit_10 -D0418_bit_9 -D0418_bit_8 -D0418_bit_7 -D0418_bit_6 -D0418_bit_5 -D0418_bit_4 -D0418_bit_3 -D0418_bit_2 -D0418_bit_1 -D0418_bit0 -D0419_bit_10 D0419_bit_9 -D0419_bit_8 -D0419_bit_7 -D0419_bit_6 -D0419_bit_5 -D0419_bit_4 -D0419_bit_3 -D0419_bit_2 -D0419_bit_1 -D0419_bit0 D0420_bit_10 -D0420_bit_9 -D0420_bit_8 -D0420_bit_7 -D0420_bit_6 -D0420_bit_5 -D0420_bit_4 -D0420_bit_3 -D0420_bit_2 -D0420_bit_1 -D0420_bit0 -D0421_bit_10 -D0421_bit_9 -D0421_bit_8 -D0421_bit_7 -D0421_bit_6 -D0421_bit_5 -D0421_bit_4 -D0421_bit_3 -D0421_bit_2 -D0421_bit_1 -D0421_bit0 -D0422_bit_10 -D0422_bit_9 -D0422_bit_8 -D0422_bit_7 -D0422_bit_6 -D0422_bit_5 -D0422_bit_4 -D0422_bit_3 -D0422_bit_2 -D0422_bit_1 -D0422_bit0 -D0423_bit_10 -D0423_bit_9 -D0423_bit_8 -D0423_bit_7 -D0423_bit_6 -D0423_bit_5 -D0423_bit_4 -D0423_bit_3 -D0423_bit_2 -D0423_bit_1 -D0423_bit0 -D0424_bit_10 -D0424_bit_9 -D0424_bit_8 -D0424_bit_7 -D0424_bit_6 -D0424_bit_5 -D0424_bit_4 -D0424_bit_3 -D0424_bit_2 -D0424_bit_1 -D0424_bit0 -D0426_bit_10 -D0426_bit_9 -D0426_bit_8 -D0426_bit_7 -D0426_bit_6 -D0426_bit_5 -D0426_bit_4 -D0426_bit_3 -D0426_bit_2 -D0426_bit_1 -D0426_bit0 -D0427_bit_10 -D0427_bit_9 -D0427_bit_8 -D0427_bit_7 -D0427_bit_6 -D0427_bit_5 -D0427_bit_4 -D0427_bit_3 -D0427_bit_2 -D0427_bit_1 -D0427_bit0 -D0428_bit_10 -D0428_bit_9 -D0428_bit_8 -D0428_bit_7 -D0428_bit_6 -D0428_bit_5 -D0428_bit_4 -D0428_bit_3 -D0428_bit_2 -D0428_bit_1 -D0428_bit0 -D0429_bit_10 D0429_bit_9 -D0429_bit_8 -D0429_bit_7 -D0429_bit_6 -D0429_bit_5 -D0429_bit_4 -D0429_bit_3 -D0429_bit_2 -D0429_bit_1 -D0429_bit0 -D0430_bit_10 -D0430_bit_9 -D0430_bit_8 -D0430_bit_7 -D0430_bit_6 -D0430_bit_5 -D0430_bit_4 -D0430_bit_3 -D0430_bit_2 -D0430_bit_1 -D0430_bit0 -D0431_bit_10 -D0431_bit_9 -D0431_bit_8 -D0431_bit_7 -D0431_bit_6 -D0431_bit_5 -D0431_bit_4 -D0431_bit_3 -D0431_bit_2 -D0431_bit_1 -D0431_bit0 -D0432_bit_10 -D0432_bit_9 -D0432_bit_8 -D0432_bit_7 -D0432_bit_6 -D0432_bit_5 -D0432_bit_4 -D0432_bit_3 -D0432_bit_2 -D0432_bit_1 -D0432_bit0 -D0433_bit_10 -D0433_bit_9 -D0433_bit_8 -D0433_bit_7 -D0433_bit_6 -D0433_bit_5 -D0433_bit_4 -D0433_bit_3 -D0433_bit_2 -D0433_bit_1 -D0433_bit0 -D0434_bit_10 -D0434_bit_9 -D0434_bit_8 -D0434_bit_7 -D0434_bit_6 -D0434_bit_5 -D0434_bit_4 -D0434_bit_3 -D0434_bit_2 -D0434_bit_1 -D0434_bit0 -D0435_bit_10 -D0435_bit_9 -D0435_bit_8 -D0435_bit_7 -D0435_bit_6 -D0435_bit_5 -D0435_bit_4 -D0435_bit_3 -D0435_bit_2 -D0435_bit_1 -D0435_bit0 D0436_bit_10 -D0436_bit_9 -D0436_bit_8 -D0436_bit_7 -D0436_bit_6 -D0436_bit_5 -D0436_bit_4 -D0436_bit_3 -D0436_bit_2 -D0436_bit_1 -D0436_bit0 -D0437_bit_10 D0437_bit_9 -D0437_bit_8 -D0437_bit_7 -D0437_bit_6 -D0437_bit_5 -D0437_bit_4 -D0437_bit_3 -D0437_bit_2 -D0437_bit_1 -D0437_bit0 -D0438_bit_10 -D0438_bit_9 -D0438_bit_8 -D0438_bit_7 -D0438_bit_6 -D0438_bit_5 -D0438_bit_4 -D0438_bit_3 -D0438_bit_2 -D0438_bit_1 -D0438_bit0 -D0439_bit_10 -D0439_bit_9 -D0439_bit_8 -D0439_bit_7 -D0439_bit_6 -D0439_bit_5 -D0439_bit_4 -D0439_bit_3 -D0439_bit_2 -D0439_bit_1 -D0439_bit0 -D0440_bit_10 -D0440_bit_9 -D0440_bit_8 -D0440_bit_7 -D0440_bit_6 -D0440_bit_5 -D0440_bit_4 -D0440_bit_3 -D0440_bit_2 -D0440_bit_1 -D0440_bit0 D0441_bit_10 -D0441_bit_9 -D0441_bit_8 -D0441_bit_7 -D0441_bit_6 -D0441_bit_5 -D0441_bit_4 -D0441_bit_3 -D0441_bit_2 -D0441_bit_1 -D0441_bit0 -D0442_bit_10 -D0442_bit_9 -D0442_bit_8 -D0442_bit_7 -D0442_bit_6 -D0442_bit_5 -D0442_bit_4 -D0442_bit_3 -D0442_bit_2 -D0442_bit_1 -D0442_bit0 -D0443_bit_10 -D0443_bit_9 -D0443_bit_8 -D0443_bit_7 -D0443_bit_6 -D0443_bit_5 -D0443_bit_4 -D0443_bit_3 -D0443_bit_2 -D0443_bit_1 -D0443_bit0 -D0444_bit_10 -D0444_bit_9 -D0444_bit_8 -D0444_bit_7 -D0444_bit_6 -D0444_bit_5 -D0444_bit_4 -D0444_bit_3 -D0444_bit_2 -D0444_bit_1 -D0444_bit0 -D0446_bit_10 -D0446_bit_9 -D0446_bit_8 -D0446_bit_7 -D0446_bit_6 -D0446_bit_5 -D0446_bit_4 -D0446_bit_3 -D0446_bit_2 -D0446_bit_1 -D0446_bit0 -D0447_bit_10 -D0447_bit_9 -D0447_bit_8 -D0447_bit_7 -D0447_bit_6 -D0447_bit_5 -D0447_bit_4 -D0447_bit_3 -D0447_bit_2 -D0447_bit_1 -D0447_bit0 -D0448_bit_10 -D0448_bit_9 -D0448_bit_8 -D0448_bit_7 -D0448_bit_6 -D0448_bit_5 -D0448_bit_4 -D0448_bit_3 -D0448_bit_2 -D0448_bit_1 -D0448_bit0 -D0449_bit_10 -D0449_bit_9 -D0449_bit_8 -D0449_bit_7 -D0449_bit_6 -D0449_bit_5 -D0449_bit_4 -D0449_bit_3 -D0449_bit_2 -D0449_bit_1 -D0449_bit0 D0450_bit_10 -D0450_bit_9 -D0450_bit_8 -D0450_bit_7 -D0450_bit_6 -D0450_bit_5 -D0450_bit_4 -D0450_bit_3 -D0450_bit_2 -D0450_bit_1 -D0450_bit0 -D0451_bit_10 -D0451_bit_9 -D0451_bit_8 -D0451_bit_7 -D0451_bit_6 -D0451_bit_5 -D0451_bit_4 -D0451_bit_3 -D0451_bit_2 -D0451_bit_1 -D0451_bit0 -D0452_bit_10 -D0452_bit_9 -D0452_bit_8 -D0452_bit_7 -D0452_bit_6 -D0452_bit_5 -D0452_bit_4 -D0452_bit_3 -D0452_bit_2 -D0452_bit_1 -D0452_bit0 -D0453_bit_10 -D0453_bit_9 -D0453_bit_8 -D0453_bit_7 -D0453_bit_6 -D0453_bit_5 -D0453_bit_4 -D0453_bit_3 -D0453_bit_2 -D0453_bit_1 -D0453_bit0 -D0454_bit_10 -D0454_bit_9 -D0454_bit_8 -D0454_bit_7 -D0454_bit_6 -D0454_bit_5 -D0454_bit_4 -D0454_bit_3 -D0454_bit_2 -D0454_bit_1 -D0454_bit0 -D0455_bit_10 -D0455_bit_9 -D0455_bit_8 -D0455_bit_7 -D0455_bit_6 -D0455_bit_5 -D0455_bit_4 -D0455_bit_3 -D0455_bit_2 -D0455_bit_1 -D0455_bit0 -D0456_bit_10 -D0456_bit_9 -D0456_bit_8 -D0456_bit_7 -D0456_bit_6 -D0456_bit_5 -D0456_bit_4 -D0456_bit_3 -D0456_bit_2 -D0456_bit_1 -D0456_bit0 -D0457_bit_10 -D0457_bit_9 -D0457_bit_8 -D0457_bit_7 -D0457_bit_6 -D0457_bit_5 -D0457_bit_4 -D0457_bit_3 -D0457_bit_2 -D0457_bit_1 -D0457_bit0 -D0458_bit_10 -D0458_bit_9 -D0458_bit_8 -D0458_bit_7 -D0458_bit_6 -D0458_bit_5 -D0458_bit_4 -D0458_bit_3 -D0458_bit_2 -D0458_bit_1 -D0458_bit0 -D0459_bit_10 -D0459_bit_9 -D0459_bit_8 -D0459_bit_7 -D0459_bit_6 -D0459_bit_5 -D0459_bit_4 -D0459_bit_3 -D0459_bit_2 -D0459_bit_1 -D0459_bit0 -D0460_bit_10 -D0460_bit_9 -D0460_bit_8 -D0460_bit_7 -D0460_bit_6 -D0460_bit_5 -D0460_bit_4 -D0460_bit_3 -D0460_bit_2 -D0460_bit_1 -D0460_bit0 -D0461_bit_10 -D0461_bit_9 -D0461_bit_8 -D0461_bit_7 -D0461_bit_6 -D0461_bit_5 -D0461_bit_4 -D0461_bit_3 -D0461_bit_2 -D0461_bit_1 -D0461_bit0 -D0462_bit_10 -D0462_bit_9 -D0462_bit_8 -D0462_bit_7 -D0462_bit_6 -D0462_bit_5 -D0462_bit_4 -D0462_bit_3 -D0462_bit_2 -D0462_bit_1 -D0462_bit0 -D0463_bit_10 -D0463_bit_9 -D0463_bit_8 -D0463_bit_7 -D0463_bit_6 -D0463_bit_5 -D0463_bit_4 -D0463_bit_3 -D0463_bit_2 -D0463_bit_1 -D0463_bit0 D0464_bit_10 -D0464_bit_9 -D0464_bit_8 -D0464_bit_7 -D0464_bit_6 -D0464_bit_5 -D0464_bit_4 -D0464_bit_3 -D0464_bit_2 -D0464_bit_1 -D0464_bit0 -D0465_bit_10 -D0465_bit_9 -D0465_bit_8 -D0465_bit_7 -D0465_bit_6 -D0465_bit_5 -D0465_bit_4 -D0465_bit_3 -D0465_bit_2 -D0465_bit_1 -D0465_bit0 -D0466_bit_10 -D0466_bit_9 -D0466_bit_8 -D0466_bit_7 -D0466_bit_6 -D0466_bit_5 -D0466_bit_4 -D0466_bit_3 -D0466_bit_2 -D0466_bit_1 -D0466_bit0 -D0467_bit_10 -D0467_bit_9 -D0467_bit_8 -D0467_bit_7 -D0467_bit_6 -D0467_bit_5 -D0467_bit_4 -D0467_bit_3 -D0467_bit_2 -D0467_bit_1 -D0467_bit0 -D0468_bit_10 -D0468_bit_9 -D0468_bit_8 -D0468_bit_7 -D0468_bit_6 -D0468_bit_5 -D0468_bit_4 -D0468_bit_3 -D0468_bit_2 -D0468_bit_1 -D0468_bit0 -D0469_bit_10 -D0469_bit_9 -D0469_bit_8 -D0469_bit_7 -D0469_bit_6 -D0469_bit_5 -D0469_bit_4 -D0469_bit_3 -D0469_bit_2 -D0469_bit_1 -D0469_bit0 -D0470_bit_10 -D0470_bit_9 -D0470_bit_8 -D0470_bit_7 -D0470_bit_6 -D0470_bit_5 -D0470_bit_4 -D0470_bit_3 -D0470_bit_2 -D0470_bit_1 -D0470_bit0 -D0471_bit_10 -D0471_bit_9 -D0471_bit_8 -D0471_bit_7 -D0471_bit_6 -D0471_bit_5 -D0471_bit_4 -D0471_bit_3 -D0471_bit_2 -D0471_bit_1 -D0471_bit0 -D0472_bit_10 -D0472_bit_9 -D0472_bit_8 -D0472_bit_7 -D0472_bit_6 -D0472_bit_5 -D0472_bit_4 -D0472_bit_3 -D0472_bit_2 -D0472_bit_1 -D0472_bit0 -D0473_bit_10 -D0473_bit_9 -D0473_bit_8 -D0473_bit_7 -D0473_bit_6 -D0473_bit_5 -D0473_bit_4 -D0473_bit_3 -D0473_bit_2 -D0473_bit_1 -D0473_bit0 -D0474_bit_10 -D0474_bit_9 -D0474_bit_8 -D0474_bit_7 -D0474_bit_6 -D0474_bit_5 -D0474_bit_4 -D0474_bit_3 -D0474_bit_2 -D0474_bit_1 -D0474_bit0 -D0475_bit_10 D0475_bit_9 -D0475_bit_8 -D0475_bit_7 -D0475_bit_6 -D0475_bit_5 -D0475_bit_4 -D0475_bit_3 -D0475_bit_2 -D0475_bit_1 -D0475_bit0 D0476_bit_10 -D0476_bit_9 -D0476_bit_8 -D0476_bit_7 -D0476_bit_6 -D0476_bit_5 -D0476_bit_4 -D0476_bit_3 -D0476_bit_2 -D0476_bit_1 -D0476_bit0 -D0477_bit_10 -D0477_bit_9 -D0477_bit_8 -D0477_bit_7 -D0477_bit_6 -D0477_bit_5 -D0477_bit_4 -D0477_bit_3 -D0477_bit_2 -D0477_bit_1 -D0477_bit0 -D0478_bit_10 -D0478_bit_9 -D0478_bit_8 -D0478_bit_7 -D0478_bit_6 -D0478_bit_5 -D0478_bit_4 -D0478_bit_3 -D0478_bit_2 -D0478_bit_1 -D0478_bit0 -D0479_bit_10 -D0479_bit_9 -D0479_bit_8 -D0479_bit_7 -D0479_bit_6 -D0479_bit_5 -D0479_bit_4 -D0479_bit_3 -D0479_bit_2 -D0479_bit_1 -D0479_bit0 -D0480_bit_10 -D0480_bit_9 -D0480_bit_8 -D0480_bit_7 -D0480_bit_6 -D0480_bit_5 -D0480_bit_4 -D0480_bit_3 -D0480_bit_2 -D0480_bit_1 -D0480_bit0 D0481_bit_10 -D0481_bit_9 -D0481_bit_8 -D0481_bit_7 -D0481_bit_6 -D0481_bit_5 -D0481_bit_4 -D0481_bit_3 -D0481_bit_2 -D0481_bit_1 -D0481_bit0 -D0482_bit_10 -D0482_bit_9 -D0482_bit_8 -D0482_bit_7 -D0482_bit_6 -D0482_bit_5 -D0482_bit_4 -D0482_bit_3 -D0482_bit_2 -D0482_bit_1 -D0482_bit0 -D0483_bit_10 -D0483_bit_9 -D0483_bit_8 -D0483_bit_7 -D0483_bit_6 -D0483_bit_5 -D0483_bit_4 -D0483_bit_3 -D0483_bit_2 -D0483_bit_1 -D0483_bit0 -D0484_bit_10 -D0484_bit_9 -D0484_bit_8 -D0484_bit_7 -D0484_bit_6 -D0484_bit_5 -D0484_bit_4 -D0484_bit_3 -D0484_bit_2 -D0484_bit_1 -D0484_bit0 -D0485_bit_10 -D0485_bit_9 -D0485_bit_8 -D0485_bit_7 -D0485_bit_6 -D0485_bit_5 -D0485_bit_4 -D0485_bit_3 -D0485_bit_2 -D0485_bit_1 D0485_bit0 -D0003_bit0 -D0015_bit0 D0019_bit0 -D0027_bit0 -D0029_bit0 -D0032_bit0 -D0036_bit0 -D0040_bit0 -D0046_bit0 -D0050_bit0 -D0051_bit0 D0058_bit0 -D0059_bit0 -D0061_bit0 D0066_bit0 -D0067_bit0 -D0069_bit0 D0076_bit0 -D0078_bit0 -D0088_bit0 -D0092_bit0 -D0096_bit0 D0099_bit0 D0100_bit0 D0103_bit0 D0110_bit0 -D0111_bit0 -D0112_bit0 -D0114_bit0 D0122_bit0 -D0127_bit0 -D0136_bit0 -D0146_bit0 -D0147_bit0 D0150_bit0 -D0154_bit0 -D0155_bit0 -D0156_bit0 D0158_bit0 -D0159_bit0 -D0160_bit0 -D0161_bit0 -D0177_bit0 -D0181_bit0 -D0185_bit0 D0191_bit0 -D0193_bit0 -D0194_bit0 -D0199_bit0 D0200_bit0 -D0218_bit0 -D0226_bit0 -D0232_bit0 -D0233_bit0 -D0239_bit0 D0240_bit0 -D0244_bit0 -D0253_bit0 -D0255_bit0 -D0256_bit0 D0257_bit0 -D0272_bit0 -D0273_bit0 D0274_bit0 -D0284_bit0 -D0294_bit0 -D0306_bit_10 -D0306_bit_9 -D0306_bit_8 -D0306_bit_7 -D0306_bit_6 -D0306_bit_5 -D0306_bit_4 -D0306_bit_3 -D0306_bit_2 -D0306_bit_1 -D0306_bit0 -D0310_bit_10 -D0310_bit_9 -D0310_bit_8 -D0310_bit_7 -D0310_bit_6 -D0310_bit_5 -D0310_bit_4 -D0310_bit_3 -D0310_bit_2 -D0310_bit_1 -D0310_bit0 -D0326_bit_10 -D0326_bit_9 -D0326_bit_8 -D0326_bit_7 -D0326_bit_6 -D0326_bit_5 -D0326_bit_4 -D0326_bit_3 -D0326_bit_2 -D0326_bit_1 -D0326_bit0 -D0339_bit_10 -D0339_bit_9 -D0339_bit_8 -D0339_bit_7 -D0339_bit_6 -D0339_bit_5 -D0339_bit_4 -D0339_bit_3 -D0339_bit_2 -D0339_bit_1 D0339_bit0 -D0342_bit_10 -D0342_bit_9 -D0342_bit_8 -D0342_bit_7 -D0342_bit_6 -D0342_bit_5 -D0342_bit_4 -D0342_bit_3 -D0342_bit_2 -D0342_bit_1 -D0342_bit0 -D0370_bit_10 -D0370_bit_9 -D0370_bit_8 -D0370_bit_7 -D0370_bit_6 -D0370_bit_5 -D0370_bit_4 -D0370_bit_3 -D0370_bit_2 -D0370_bit_1 -D0370_bit0 -D0374_bit_10 -D0374_bit_9 -D0374_bit_8 -D0374_bit_7 -D0374_bit_6 -D0374_bit_5 -D0374_bit_4 -D0374_bit_3 -D0374_bit_2 -D0374_bit_1 -D0374_bit0 -D0380_bit_10 -D0380_bit_9 -D0380_bit_8 -D0380_bit_7 -D0380_bit_6 -D0380_bit_5 -D0380_bit_4 -D0380_bit_3 -D0380_bit_2 -D0380_bit_1 D0380_bit0 -D0381_bit_10 -D0381_bit_9 -D0381_bit_8 -D0381_bit_7 -D0381_bit_6 -D0381_bit_5 -D0381_bit_4 -D0381_bit_3 -D0381_bit_2 -D0381_bit_1 -D0381_bit0 -D0393_bit_10 -D0393_bit_9 -D0393_bit_8 -D0393_bit_7 -D0393_bit_6 -D0393_bit_5 -D0393_bit_4 -D0393_bit_3 -D0393_bit_2 -D0393_bit_1 D0393_bit0 -D0402_bit_10 -D0402_bit_9 -D0402_bit_8 -D0402_bit_7 -D0402_bit_6 -D0402_bit_5 -D0402_bit_4 -D0402_bit_3 -D0402_bit_2 -D0402_bit_1 -D0402_bit0 -D0425_bit_10 -D0425_bit_9 -D0425_bit_8 -D0425_bit_7 -D0425_bit_6 -D0425_bit_5 -D0425_bit_4 -D0425_bit_3 -D0425_bit_2 -D0425_bit_1 -D0425_bit0 -D0445_bit_10 -D0445_bit_9 -D0445_bit_8 -D0445_bit_7 -D0445_bit_6 -D0445_bit_5 -D0445_bit_4 -D0445_bit_3 -D0445_bit_2 -D0445_bit_1 -D0445_bit0 -A01_bit_10 -A01_bit_9 -A01_bit_8 -A01_bit_7 -A01_bit_6 -A01_bit_5 -A01_bit_4 -A01_bit_3 -A01_bit_2 -A01_bit_1 -A01_bit0 -A01_bit1 -A01_bit2 -A01_bit3 -A01_bit4 -A01_bit5 -A01_bit6 -A01_bit7 -A01_bit8 -A01_bit9 -A01_bit10 -A01_bit11 -A01_bit12 -A01_bit13 -A01_bit14 -A01_bit15 -A01_bit16 -A01_bit17 -A01_bit18 -A01_bit19 -A02_bit_10 -A02_bit_9 -A02_bit_8 -A02_bit_7 -A02_bit_6 -A02_bit_5 -A02_bit_4 -A02_bit_3 -A02_bit_2 -A02_bit_1 -A02_bit0 -A02_bit1 -A02_bit2 -A02_bit3 -A02_bit4 -A02_bit5 -A02_bit6 -A02_bit7 -A02_bit8 -A02_bit9 -A02_bit10 -A02_bit11 -A02_bit12 -A02_bit13 -A02_bit14 -A02_bit15 -A02_bit16 -A02_bit17 -A02_bit18 -A02_bit19 -A03_bit_10 -A03_bit_9 -A03_bit_8 -A03_bit_7 -A03_bit_6 -A03_bit_5 -A03_bit_4 -A03_bit_3 -A03_bit_2 -A03_bit_1 -A03_bit0 -A03_bit1 -A03_bit2 -A03_bit3 -A03_bit4 -A03_bit5 -A03_bit6 -A03_bit7 -A03_bit8 -A03_bit9 -A03_bit10 -A03_bit11 -A03_bit12 -A03_bit13 -A03_bit14 -A03_bit15 -A03_bit16 -A03_bit17 -A03_bit18 -A03_bit19 -A04_bit_10 -A04_bit_9 -A04_bit_8 -A04_bit_7 -A04_bit_6 -A04_bit_5 -A04_bit_4 -A04_bit_3 -A04_bit_2 -A04_bit_1 -A04_bit0 -A04_bit1 -A04_bit2 -A04_bit3 -A04_bit4 -A04_bit5 -A04_bit6 -A04_bit7 -A04_bit8 -A04_bit9 -A04_bit10 -A04_bit11 -A04_bit12 -A04_bit13 -A04_bit14 -A04_bit15 -A04_bit16 -A04_bit17 -A04_bit18 -A04_bit19 -A05_bit_10 -A05_bit_9 -A05_bit_8 -A05_bit_7 -A05_bit_6 -A05_bit_5 -A05_bit_4 -A05_bit_3 -A05_bit_2 -A05_bit_1 -A05_bit0 -A05_bit1 -A05_bit2 -A05_bit3 -A05_bit4 -A05_bit5 -A05_bit6 -A05_bit7 -A05_bit8 -A05_bit9 -A05_bit10 -A05_bit11 -A05_bit12 -A05_bit13 -A05_bit14 -A05_bit15 -A05_bit16 -A05_bit17 -A05_bit18 -A05_bit19 -A06_bit_10 -A06_bit_9 -A06_bit_8 -A06_bit_7 -A06_bit_6 -A06_bit_5 -A06_bit_4 -A06_bit_3 -A06_bit_2 -A06_bit_1 -A06_bit0 -A06_bit1 -A06_bit2 -A06_bit3 -A06_bit4 -A06_bit5 -A06_bit6 -A06_bit7 -A06_bit8 -A06_bit9 -A06_bit10 -A06_bit11 -A06_bit12 -A06_bit13 -A06_bit14 -A06_bit15 -A06_bit16 -A06_bit17 -A06_bit18 -A06_bit19 -A07_bit_10 -A07_bit_9 -A07_bit_8 -A07_bit_7 -A07_bit_6 -A07_bit_5 -A07_bit_4 -A07_bit_3 -A07_bit_2 -A07_bit_1 -A07_bit0 -A07_bit1 -A07_bit2 -A07_bit3 -A07_bit4 -A07_bit5 -A07_bit6 -A07_bit7 -A07_bit8 -A07_bit9 -A07_bit10 -A07_bit11 -A07_bit12 -A07_bit13 -A07_bit14 -A07_bit15 -A07_bit16 -A07_bit17 -A07_bit18 -A07_bit19 -A08_bit_10 -A08_bit_9 -A08_bit_8 -A08_bit_7 -A08_bit_6 -A08_bit_5 -A08_bit_4 -A08_bit_3 -A08_bit_2 -A08_bit_1 -A08_bit0 -A08_bit1 -A08_bit2 -A08_bit3 -A08_bit4 -A08_bit5 -A08_bit6 -A08_bit7 -A08_bit8 -A08_bit9 -A08_bit10 -A08_bit11 -A08_bit12 -A08_bit13 -A08_bit14 -A08_bit15 -A08_bit16 -A08_bit17 -A08_bit18 -A08_bit19 -A09_bit_10 -A09_bit_9 -A09_bit_8 -A09_bit_7 -A09_bit_6 -A09_bit_5 -A09_bit_4 -A09_bit_3 -A09_bit_2 -A09_bit_1 -A09_bit0 -A09_bit1 -A09_bit2 -A09_bit3 -A09_bit4 -A09_bit5 -A09_bit6 -A09_bit7 -A09_bit8 -A09_bit9 -A09_bit10 -A09_bit11 -A09_bit12 -A09_bit13 -A09_bit14 -A09_bit15 -A09_bit16 -A09_bit17 -A09_bit18 -A09_bit19 -A10_bit_10 -A10_bit_9 -A10_bit_8 -A10_bit_7 -A10_bit_6 -A10_bit_5 -A10_bit_4 -A10_bit_3 -A10_bit_2 -A10_bit_1 -A10_bit0 -A10_bit1 -A10_bit2 -A10_bit3 -A10_bit4 -A10_bit5 -A10_bit6 -A10_bit7 -A10_bit8 -A10_bit9 -A10_bit10 -A10_bit11 -A10_bit12 -A10_bit13 -A10_bit14 -A10_bit15 -A10_bit16 -A10_bit17 -A10_bit18 -A10_bit19 A11_bit_10 -A11_bit_9 -A11_bit_8 -A11_bit_7 -A11_bit_6 -A11_bit_5 -A11_bit_4 -A11_bit_3 -A11_bit_2 -A11_bit_1 -A11_bit0 -A11_bit1 -A11_bit2 -A11_bit3 -A11_bit4 -A11_bit5 -A11_bit6 -A11_bit7 -A11_bit8 -A11_bit9 -A11_bit10 -A11_bit11 -A11_bit12 -A11_bit13 -A11_bit14 -A11_bit15 -A11_bit16 -A11_bit17 -A11_bit18 -A11_bit19 -A12_bit_10 -A12_bit_9 -A12_bit_8 -A12_bit_7 -A12_bit_6 -A12_bit_5 -A12_bit_4 -A12_bit_3 -A12_bit_2 -A12_bit_1 -A12_bit0 -A12_bit1 -A12_bit2 -A12_bit3 -A12_bit4 -A12_bit5 -A12_bit6 -A12_bit7 -A12_bit8 -A12_bit9 -A12_bit10 -A12_bit11 -A12_bit12 -A12_bit13 -A12_bit14 -A12_bit15 -A12_bit16 -A12_bit17 -A12_bit18 -A12_bit19 -A13_bit_10 -A13_bit_9 -A13_bit_8 -A13_bit_7 -A13_bit_6 -A13_bit_5 -A13_bit_4 -A13_bit_3 -A13_bit_2 -A13_bit_1 -A13_bit0 -A13_bit1 -A13_bit2 -A13_bit3 -A13_bit4 -A13_bit5 -A13_bit6 -A13_bit7 -A13_bit8 -A13_bit9 -A13_bit10 -A13_bit11 -A13_bit12 -A13_bit13 -A13_bit14 -A13_bit15 -A13_bit16 -A13_bit17 -A13_bit18 -A13_bit19 -A14_bit_10 -A14_bit_9 -A14_bit_8 -A14_bit_7 -A14_bit_6 -A14_bit_5 -A14_bit_4 -A14_bit_3 -A14_bit_2 -A14_bit_1 -A14_bit0 -A14_bit1 -A14_bit2 -A14_bit3 -A14_bit4 -A14_bit5 -A14_bit6 -A14_bit7 -A14_bit8 -A14_bit9 -A14_bit10 -A14_bit11 -A14_bit12 -A14_bit13 -A14_bit14 -A14_bit15 -A14_bit16 -A14_bit17 -A14_bit18 -A14_bit19 -A15_bit_10 -A15_bit_9 -A15_bit_8 -A15_bit_7 -A15_bit_6 -A15_bit_5 -A15_bit_4 -A15_bit_3 -A15_bit_2 -A15_bit_1 -A15_bit0 -A15_bit1 -A15_bit2 -A15_bit3 -A15_bit4 -A15_bit5 -A15_bit6 -A15_bit7 -A15_bit8 -A15_bit9 -A15_bit10 -A15_bit11 -A15_bit12 -A15_bit13 -A15_bit14 -A15_bit15 -A15_bit16 -A15_bit17 -A15_bit18 -A15_bit19 -A16_bit_10 -A16_bit_9 -A16_bit_8 -A16_bit_7 -A16_bit_6 -A16_bit_5 -A16_bit_4 -A16_bit_3 -A16_bit_2 -A16_bit_1 -A16_bit0 -A16_bit1 -A16_bit2 -A16_bit3 -A16_bit4 -A16_bit5 -A16_bit6 -A16_bit7 -A16_bit8 -A16_bit9 -A16_bit10 -A16_bit11 -A16_bit12 -A16_bit13 -A16_bit14 -A16_bit15 -A16_bit16 -A16_bit17 -A16_bit18 -A16_bit19 -A17_bit_10 -A17_bit_9 -A17_bit_8 -A17_bit_7 -A17_bit_6 -A17_bit_5 -A17_bit_4 -A17_bit_3 -A17_bit_2 -A17_bit_1 -A17_bit0 -A17_bit1 -A17_bit2 -A17_bit3 -A17_bit4 -A17_bit5 -A17_bit6 -A17_bit7 -A17_bit8 -A17_bit9 -A17_bit10 -A17_bit11 -A17_bit12 -A17_bit13 -A17_bit14 -A17_bit15 -A17_bit16 -A17_bit17 -A17_bit18 -A17_bit19 -A18_bit_10 -A18_bit_9 -A18_bit_8 -A18_bit_7 -A18_bit_6 -A18_bit_5 -A18_bit_4 -A18_bit_3 -A18_bit_2 -A18_bit_1 -A18_bit0 -A18_bit1 -A18_bit2 -A18_bit3 -A18_bit4 -A18_bit5 -A18_bit6 -A18_bit7 -A18_bit8 -A18_bit9 -A18_bit10 -A18_bit11 -A18_bit12 -A18_bit13 -A18_bit14 -A18_bit15 -A18_bit16 -A18_bit17 -A18_bit18 -A18_bit19 -A19_bit_10 -A19_bit_9 -A19_bit_8 -A19_bit_7 -A19_bit_6 -A19_bit_5 -A19_bit_4 -A19_bit_3 -A19_bit_2 -A19_bit_1 -A19_bit0 -A19_bit1 -A19_bit2 -A19_bit3 -A19_bit4 -A19_bit5 -A19_bit6 -A19_bit7 -A19_bit8 -A19_bit9 -A19_bit10 -A19_bit11 -A19_bit12 -A19_bit13 -A19_bit14 -A19_bit15 -A19_bit16 -A19_bit17 -A19_bit18 -A19_bit19 -A20_bit_10 -A20_bit_9 -A20_bit_8 -A20_bit_7 -A20_bit_6 -A20_bit_5 -A20_bit_4 -A20_bit_3 -A20_bit_2 -A20_bit_1 -A20_bit0 -A20_bit1 -A20_bit2 -A20_bit3 -A20_bit4 -A20_bit5 -A20_bit6 -A20_bit7 -A20_bit8 -A20_bit9 -A20_bit10 -A20_bit11 -A20_bit12 -A20_bit13 -A20_bit14 -A20_bit15 -A20_bit16 -A20_bit17 -A20_bit18 -A20_bit19 -A21_bit_10 -A21_bit_9 -A21_bit_8 -A21_bit_7 -A21_bit_6 -A21_bit_5 -A21_bit_4 -A21_bit_3 -A21_bit_2 -A21_bit_1 -A21_bit0 -A21_bit1 -A21_bit2 -A21_bit3 -A21_bit4 -A21_bit5 -A21_bit6 -A21_bit7 -A21_bit8 -A21_bit9 -A21_bit10 -A21_bit11 -A21_bit12 -A21_bit13 -A21_bit14 -A21_bit15 -A21_bit16 -A21_bit17 -A21_bit18 -A21_bit19 -A22_bit_10 -A22_bit_9 -A22_bit_8 -A22_bit_7 -A22_bit_6 -A22_bit_5 -A22_bit_4 -A22_bit_3 -A22_bit_2 -A22_bit_1 -A22_bit0 -A22_bit1 -A22_bit2 -A22_bit3 -A22_bit4 -A22_bit5 -A22_bit6 -A22_bit7 -A22_bit8 -A22_bit9 -A22_bit10 -A22_bit11 -A22_bit12 -A22_bit13 -A22_bit14 -A22_bit15 -A22_bit16 -A22_bit17 -A22_bit18 -A22_bit19 -A23_bit_10 -A23_bit_9 -A23_bit_8 -A23_bit_7 -A23_bit_6 -A23_bit_5 -A23_bit_4 -A23_bit_3 -A23_bit_2 -A23_bit_1 -A23_bit0 -A23_bit1 -A23_bit2 -A23_bit3 -A23_bit4 -A23_bit5 -A23_bit6 -A23_bit7 -A23_bit8 -A23_bit9 -A23_bit10 -A23_bit11 -A23_bit12 -A23_bit13 -A23_bit14 -A23_bit15 -A23_bit16 -A23_bit17 -A23_bit18 -A23_bit19 -A24_bit_10 -A24_bit_9 -A24_bit_8 -A24_bit_7 -A24_bit_6 -A24_bit_5 -A24_bit_4 -A24_bit_3 -A24_bit_2 -A24_bit_1 -A24_bit0 -A24_bit1 -A24_bit2 -A24_bit3 -A24_bit4 -A24_bit5 -A24_bit6 -A24_bit7 -A24_bit8 -A24_bit9 -A24_bit10 -A24_bit11 -A24_bit12 -A24_bit13 -A24_bit14 -A24_bit15 -A24_bit16 -A24_bit17 -A24_bit18 -A24_bit19 A25_bit_10 A25_bit_9 A25_bit_8 A25_bit_7 A25_bit_6 A25_bit_5 A25_bit_4 A25_bit_3 A25_bit_2 -A25_bit_1 -A25_bit0 -A25_bit1 -A25_bit2 -A25_bit3 -A25_bit4 -A25_bit5 -A25_bit6 -A25_bit7 -A25_bit8 -A25_bit9 -A25_bit10 -A25_bit11 -A25_bit12 -A25_bit13 -A25_bit14 -A25_bit15 -A25_bit16 -A25_bit17 -A25_bit18 -A25_bit19 -B25_bit_10 -B25_bit_9 -B25_bit_8 -B25_bit_7 -B25_bit_6 -B25_bit_5 -B25_bit_4 -B25_bit_3 -B25_bit_2 B25_bit_1 -B25_bit0 -B25_bit1 -B25_bit2 -B25_bit3 -B25_bit4 -B25_bit5 -B25_bit6 -B25_bit7 -B25_bit8 -B25_bit9 -B25_bit10 -B25_bit11 -B25_bit12 -B25_bit13 -B25_bit14 -B25_bit15 -B25_bit16 -B25_bit17 -B25_bit18 -B25_bit19 c objectif function=20977859 c Total CPU time (ms) : 1229.339 #### 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.97 0.99 2/54 6638 Raw data (stat): 6638 (runsolver) R 6637 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780106273 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0015 s] Raw data (loadavg): 1.03 1.00 1.00 2/63 6647 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18061 0 1 0 846 39 0 0 25 0 10 0 780106273 858218496 21374 4294967295 134512640 134569956 3221224368 3221214776 1131267012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209526 21374 13086 16 0 209510 0 vsize: 838104 [startup+20.0019 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 6648 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18100 0 1 0 1746 40 0 0 25 0 11 0 780106273 858615808 23181 4294967295 134512640 134569956 3221224368 3221214688 1131372792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209623 23181 13086 16 0 209607 0 vsize: 838492 [startup+30.0016 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 6649 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 2660 40 0 0 25 0 11 0 780106273 858320896 23205 4294967295 134512640 134569956 3221224368 3221214528 1131252533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 23205 13086 16 0 209535 0 vsize: 838204 [startup+40.0015 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 6650 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 3583 40 0 0 25 0 11 0 780106273 858320896 23163 4294967295 134512640 134569956 3221224368 3221214616 1131264663 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 23163 13086 16 0 209535 0 vsize: 838204 [startup+50.0014 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6651 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 4512 40 0 0 25 0 11 0 780106273 858320896 23848 4294967295 134512640 134569956 3221224368 3221214520 1131252506 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 23848 13086 16 0 209535 0 vsize: 838204 [startup+60.0139 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6652 Raw data (stat): 6638 (java) S 6637 25830 25829 0 -1 0 18146 3 1 0 5488 41 0 0 25 0 11 0 780106273 858320896 23978 4294967295 134512640 134569956 3221224368 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 23978 13086 16 0 209535 0 vsize: 838204 [startup+70.0185 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6653 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 6466 41 0 0 25 0 11 0 780106273 858320896 24051 4294967295 134512640 134569956 3221224368 3221214720 1131371827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 24051 13086 16 0 209535 0 vsize: 838204 [startup+80.0187 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6654 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 7444 41 0 0 25 0 11 0 780106273 858320896 24087 4294967295 134512640 134569956 3221224368 3221214560 1131252636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 24087 13086 16 0 209535 0 vsize: 838204 [startup+90.0221 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6655 Raw data (stat): 6638 (java) S 6637 25830 25829 0 -1 0 18146 3 1 0 8422 41 0 0 25 0 11 0 780106273 858320896 24123 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 24123 13086 16 0 209535 0 vsize: 838204 [startup+100.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6656 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 9402 41 0 0 25 0 11 0 780106273 858320896 24183 4294967295 134512640 134569956 3221224368 3221214656 1131264322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 24183 13086 16 0 209535 0 vsize: 838204 [startup+110.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6657 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 10383 41 0 0 25 0 11 0 780106273 858320896 24219 4294967295 134512640 134569956 3221224368 3221214864 1131221337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 24219 13086 16 0 209535 0 vsize: 838204 [startup+120.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6658 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 11363 41 0 0 25 0 11 0 780106273 858320896 24255 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 24255 13086 16 0 209535 0 vsize: 838204 [startup+130.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6658 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18146 3 1 0 12347 42 0 0 25 0 11 0 780106273 858320896 24323 4294967295 134512640 134569956 3221224368 3221214480 1131401487 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 24323 13086 16 0 209535 0 vsize: 838204 [startup+140.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6658 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 13336 42 0 0 25 0 11 0 780106273 858320896 24304 4294967295 134512640 134569956 3221224368 3221214528 1131401407 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 24304 13086 16 0 209535 0 vsize: 838204 [startup+150.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6658 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 14328 42 0 0 25 0 11 0 780106273 858320896 24319 4294967295 134512640 134569956 3221224368 3221214496 1131258595 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24319 13086 16 0 209535 0 vsize: 838204 [startup+160.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6658 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 15320 42 0 0 25 0 11 0 780106273 858320896 24371 4294967295 134512640 134569956 3221224368 3221214528 1131401151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24371 13086 16 0 209535 0 vsize: 838204 [startup+170.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6661 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 16302 43 0 0 25 0 11 0 780106273 858320896 24408 4294967295 134512640 134569956 3221224368 3221214716 1131264268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24408 13086 16 0 209535 0 vsize: 838204 [startup+180.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6662 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 17275 43 0 0 25 0 11 0 780106273 858320896 24436 4294967295 134512640 134569956 3221224368 3221214720 1131373310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24436 13086 16 0 209535 0 vsize: 838204 [startup+190.027 s] Raw data (loadavg): 1.00 1.00 1.00 3/67 6707 Raw data (stat): 6638 (java) S 6637 25830 25829 0 -1 0 18147 3 1 0 18237 45 0 0 25 0 11 0 780106273 858320896 24436 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24436 13086 16 0 209535 0 vsize: 838204 [startup+200.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6717 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 19200 47 0 0 25 0 11 0 780106273 858320896 24526 4294967295 134512640 134569956 3221224368 3221214716 1131264268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24526 13086 16 0 209535 0 vsize: 838204 [startup+210.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6717 Raw data (stat): 6638 (java) S 6637 25830 25829 0 -1 0 18147 3 1 0 20173 47 0 0 25 0 11 0 780106273 858320896 24675 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24675 13086 16 0 209535 0 vsize: 838204 [startup+220.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6718 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 21154 47 0 0 24 0 11 0 780106273 858320896 24747 4294967295 134512640 134569956 3221224368 3221214720 1131370479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 24747 13086 16 0 209535 0 vsize: 838204 [startup+230.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6719 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 22137 48 0 0 25 0 11 0 780106273 858320896 24747 4294967295 134512640 134569956 3221224368 3221214720 1131370703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24747 13086 16 0 209535 0 vsize: 838204 [startup+240.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6720 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 23121 48 0 0 25 0 11 0 780106273 858320896 24783 4294967295 134512640 134569956 3221224368 3221214720 1131371857 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24783 13086 16 0 209535 0 vsize: 838204 [startup+250.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6721 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 24104 49 0 0 25 0 11 0 780106273 858320896 24819 4294967295 134512640 134569956 3221224368 3221214560 1131253267 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24819 13086 16 0 209535 0 vsize: 838204 [startup+260.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6721 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 25090 49 0 0 25 0 11 0 780106273 858320896 24856 4294967295 134512640 134569956 3221224368 3221214720 1131370703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24856 13086 16 0 209535 0 vsize: 838204 [startup+270.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6724 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 26074 49 0 0 25 0 11 0 780106273 858320896 24892 4294967295 134512640 134569956 3221224368 3221214720 1131370672 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24892 13086 16 0 209535 0 vsize: 838204 [startup+280.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6725 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 27059 49 0 0 25 0 11 0 780106273 858320896 24928 4294967295 134512640 134569956 3221224368 3221214720 1131370479 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24928 13086 16 0 209535 0 vsize: 838204 [startup+290.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6726 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 28044 50 0 0 20 0 11 0 780106273 858320896 24928 4294967295 134512640 134569956 3221224368 3221214560 1131253328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24928 13086 16 0 209535 0 vsize: 838204 [startup+300.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6726 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 29028 50 0 0 25 0 11 0 780106273 858320896 24965 4294967295 134512640 134569956 3221224368 3221214560 1131252504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 24965 13086 16 0 209535 0 vsize: 838204 [startup+310.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 30006 50 0 0 25 0 11 0 780106273 858320896 25001 4294967295 134512640 134569956 3221224368 3221214656 1131264375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 25001 13086 16 0 209535 0 vsize: 838204 [startup+320.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 30981 51 0 0 25 0 11 0 780106273 858320896 25001 4294967295 134512640 134569956 3221224368 3221214652 1131248096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 25001 13086 16 0 209535 0 vsize: 838204 [startup+330.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 31956 51 0 0 25 0 11 0 780106273 858320896 25019 4294967295 134512640 134569956 3221224368 3221214656 1131264648 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 25019 13086 16 0 209535 0 vsize: 838204 [startup+340.033 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 32931 51 0 0 25 0 11 0 780106273 858320896 25160 4294967295 134512640 134569956 3221224368 3221214528 1131400989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 25160 13086 16 0 209535 0 vsize: 838204 [startup+350.033 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 33907 52 0 0 25 0 11 0 780106273 858320896 25291 4294967295 134512640 134569956 3221224368 3221214600 1131408623 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 25291 13086 16 0 209535 0 vsize: 838204 [startup+360.034 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 34885 52 0 0 25 0 11 0 780106273 858320896 25188 4294967295 134512640 134569956 3221224368 3221214720 1131370463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 25188 13086 16 0 209535 0 vsize: 838204 [startup+370.035 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 35858 52 0 0 25 0 11 0 780106273 858320896 25286 4294967295 134512640 134569956 3221224368 3221214656 1131264281 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 25286 13086 16 0 209535 0 vsize: 838204 [startup+380.034 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 36842 52 0 0 25 0 11 0 780106273 858320896 25287 4294967295 134512640 134569956 3221224368 3221214632 1131389059 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25287 13086 16 0 209535 0 vsize: 838204 [startup+390.039 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 37829 52 0 0 25 0 11 0 780106273 858320896 25314 4294967295 134512640 134569956 3221224368 3221214632 1131389040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25314 13086 16 0 209535 0 vsize: 838204 [startup+400.039 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 38816 52 0 0 24 0 11 0 780106273 858320896 25371 4294967295 134512640 134569956 3221224368 3221214496 1131258791 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25371 13086 16 0 209535 0 vsize: 838204 [startup+410.04 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 39808 53 0 0 25 0 11 0 780106273 858320896 25409 4294967295 134512640 134569956 3221224368 3221214496 1131258702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25409 13086 16 0 209535 0 vsize: 838204 [startup+420.039 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 40802 53 0 0 25 0 11 0 780106273 858320896 25418 4294967295 134512640 134569956 3221224368 3221214576 1131386873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25418 13086 16 0 209535 0 vsize: 838204 [startup+430.04 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 41796 53 0 0 25 0 11 0 780106273 858320896 25420 4294967295 134512640 134569956 3221224368 3221214676 1130885147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25420 13086 16 0 209535 0 vsize: 838204 [startup+440.04 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 42793 53 0 0 25 0 11 0 780106273 858320896 25493 4294967295 134512640 134569956 3221224368 3221214548 1130885243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25493 13086 16 0 209535 0 vsize: 838204 [startup+450.04 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 43774 53 0 0 25 0 11 0 780106273 858320896 25493 4294967295 134512640 134569956 3221224368 3221214656 1131264289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25493 13086 16 0 209535 0 vsize: 838204 [startup+460.041 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 44753 54 0 0 25 0 11 0 780106273 858320896 25493 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25493 13086 16 0 209535 0 vsize: 838204 [startup+470.04 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 45731 54 0 0 25 0 11 0 780106273 858320896 25493 4294967295 134512640 134569956 3221224368 3221214496 1131260490 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25493 13086 16 0 209535 0 vsize: 838204 [startup+480.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 46712 54 0 0 25 0 11 0 780106273 858320896 25567 4294967295 134512640 134569956 3221224368 3221214552 1131221349 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25567 13086 16 0 209535 0 vsize: 838204 [startup+490.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 47699 54 0 0 25 0 11 0 780106273 858320896 25629 4294967295 134512640 134569956 3221224368 3221214496 1131258791 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25629 13086 16 0 209535 0 vsize: 838204 [startup+500.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 48692 54 0 0 25 0 11 0 780106273 858320896 25636 4294967295 134512640 134569956 3221224368 3221214592 1131208540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25636 13086 16 0 209535 0 vsize: 838204 [startup+510.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 49686 54 0 0 25 0 11 0 780106273 858320896 25637 4294967295 134512640 134569956 3221224368 3221214600 1131392129 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25637 13086 16 0 209535 0 vsize: 838204 [startup+520.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 50681 54 0 0 25 0 11 0 780106273 858320896 25638 4294967295 134512640 134569956 3221224368 3221214496 1131260190 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25638 13086 16 0 209535 0 vsize: 838204 [startup+530.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 51676 54 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214496 1131259558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25714 13086 16 0 209535 0 vsize: 838204 [startup+540.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 52674 54 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214632 1131389059 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25714 13086 16 0 209535 0 vsize: 838204 [startup+550.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6727 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 53671 54 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214592 1131208181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25714 13086 16 0 209535 0 vsize: 838204 [startup+560.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 54658 54 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214560 1131254178 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25714 13086 16 0 209535 0 vsize: 838204 [startup+570.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 55640 55 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214656 1131264322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25714 13086 16 0 209535 0 vsize: 838204 [startup+580.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 56622 55 0 0 25 0 11 0 780106273 858320896 25714 4294967295 134512640 134569956 3221224368 3221214656 1131264300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25714 13086 16 0 209535 0 vsize: 838204 [startup+590.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 57606 55 0 0 25 0 11 0 780106273 858320896 25777 4294967295 134512640 134569956 3221224368 3221214656 1131264300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25777 13086 16 0 209535 0 vsize: 838204 [startup+600.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 58581 55 0 0 25 0 11 0 780106273 858320896 25795 4294967295 134512640 134569956 3221224368 3221214720 1131371812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25795 13086 16 0 209535 0 vsize: 838204 [startup+610.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 59558 55 0 0 25 0 11 0 780106273 858320896 25796 4294967295 134512640 134569956 3221224368 3221214656 1131264375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25796 13086 16 0 209535 0 vsize: 838204 [startup+620.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 60537 55 0 0 25 0 11 0 780106273 858320896 25842 4294967295 134512640 134569956 3221224368 3221214652 1131248096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25842 13086 16 0 209535 0 vsize: 838204 [startup+630.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 61521 56 0 0 25 0 11 0 780106273 858320896 25976 4294967295 134512640 134569956 3221224368 3221214560 1131253196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25976 13086 16 0 209535 0 vsize: 838204 [startup+640.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 62510 56 0 0 25 0 11 0 780106273 858320896 25978 4294967295 134512640 134569956 3221224368 3221214720 1131370703 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25978 13086 16 0 209535 0 vsize: 838204 [startup+650.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 63498 56 0 0 25 0 11 0 780106273 858320896 25980 4294967295 134512640 134569956 3221224368 3221214656 1131264654 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 25980 13086 16 0 209535 0 vsize: 838204 [startup+660.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 64483 56 0 0 24 0 11 0 780106273 858320896 26026 4294967295 134512640 134569956 3221224368 3221214560 1131252727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26026 13086 16 0 209535 0 vsize: 838204 [startup+670.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 65470 56 0 0 25 0 11 0 780106273 858320896 26026 4294967295 134512640 134569956 3221224368 3221214720 1131370825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26026 13086 16 0 209535 0 vsize: 838204 [startup+680.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 66455 56 0 0 25 0 11 0 780106273 858320896 26026 4294967295 134512640 134569956 3221224368 3221214568 1131249172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26026 13086 16 0 209535 0 vsize: 838204 [startup+690.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 67440 56 0 0 25 0 11 0 780106273 858320896 26115 4294967295 134512640 134569956 3221224368 3221214560 1131252549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26115 13086 16 0 209535 0 vsize: 838204 [startup+700.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 68429 56 0 0 25 0 11 0 780106273 858320896 26116 4294967295 134512640 134569956 3221224368 3221214864 1131221337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26116 13086 16 0 209535 0 vsize: 838204 [startup+710.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 69419 57 0 0 25 0 11 0 780106273 858320896 26116 4294967295 134512640 134569956 3221224368 3221214656 1131264311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26116 13086 16 0 209535 0 vsize: 838204 [startup+720.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 70407 57 0 0 25 0 11 0 780106273 858320896 26116 4294967295 134512640 134569956 3221224368 3221214560 1131252477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26116 13086 16 0 209535 0 vsize: 838204 [startup+730.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 71389 57 0 0 25 0 11 0 780106273 858320896 26160 4294967295 134512640 134569956 3221224368 3221214656 1131264289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26160 13086 16 0 209535 0 vsize: 838204 [startup+740.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 72369 57 0 0 25 0 11 0 780106273 858320896 26160 4294967295 134512640 134569956 3221224368 3221214720 1131371844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26160 13086 16 0 209535 0 vsize: 838204 [startup+750.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 73352 57 0 0 25 0 11 0 780106273 858320896 26160 4294967295 134512640 134569956 3221224368 3221214656 1131264724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26160 13086 16 0 209535 0 vsize: 838204 [startup+760.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 74331 57 0 0 25 0 11 0 780106273 858320896 26292 4294967295 134512640 134569956 3221224368 3221214656 1131264586 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26292 13086 16 0 209535 0 vsize: 838204 [startup+770.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 75313 58 0 0 25 0 11 0 780106273 858320896 26292 4294967295 134512640 134569956 3221224368 3221214560 1131252549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26292 13086 16 0 209535 0 vsize: 838204 [startup+780.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 76293 58 0 0 25 0 11 0 780106273 858320896 26292 4294967295 134512640 134569956 3221224368 3221214720 1131370781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26292 13086 16 0 209535 0 vsize: 838204 [startup+790.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 77277 58 0 0 25 0 11 0 780106273 858320896 26427 4294967295 134512640 134569956 3221224368 3221214664 1131363269 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26427 13086 16 0 209535 0 vsize: 838204 [startup+800.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 78266 58 0 0 25 0 11 0 780106273 858320896 26427 4294967295 134512640 134569956 3221224368 3221214656 1131264289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26427 13086 16 0 209535 0 vsize: 838204 [startup+810.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 79255 58 0 0 25 0 11 0 780106273 858320896 26427 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26427 13086 16 0 209535 0 vsize: 838204 [startup+820.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 80245 59 0 0 25 0 11 0 780106273 858320896 26428 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26428 13086 16 0 209535 0 vsize: 838204 [startup+830.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 81226 59 0 0 25 0 11 0 780106273 858320896 26471 4294967295 134512640 134569956 3221224368 3221214720 1131372777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26471 13086 16 0 209535 0 vsize: 838204 [startup+840.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 82209 59 0 0 25 0 11 0 780106273 858320896 26471 4294967295 134512640 134569956 3221224368 3221214720 1131370703 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26471 13086 16 0 209535 0 vsize: 838204 [startup+850.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 83191 59 0 0 25 0 11 0 780106273 858320896 26471 4294967295 134512640 134569956 3221224368 3221214720 1131371689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26471 13086 16 0 209535 0 vsize: 838204 [startup+860.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 84168 59 0 0 25 0 11 0 780106273 858320896 26575 4294967295 134512640 134569956 3221224368 3221214656 1131265052 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26575 13086 16 0 209535 0 vsize: 838204 [startup+870.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 85144 59 0 0 25 0 11 0 780106273 858320896 26575 4294967295 134512640 134569956 3221224368 3221214720 1131371876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26575 13086 16 0 209535 0 vsize: 838204 [startup+880.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 86121 59 0 0 25 0 11 0 780106273 858320896 26575 4294967295 134512640 134569956 3221224368 3221214560 1131252707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26575 13086 16 0 209535 0 vsize: 838204 [startup+890.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 87099 60 0 0 25 0 11 0 780106273 858320896 26767 4294967295 134512640 134569956 3221224368 3221214720 1131370791 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26767 13086 16 0 209535 0 vsize: 838204 [startup+900.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 88081 60 0 0 25 0 11 0 780106273 858320896 26767 4294967295 134512640 134569956 3221224368 3221214720 1131371793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26767 13086 16 0 209535 0 vsize: 838204 [startup+910.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 89065 60 0 0 25 0 11 0 780106273 858320896 26767 4294967295 134512640 134569956 3221224368 3221214656 1131264289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26767 13086 16 0 209535 0 vsize: 838204 [startup+920.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 90043 60 0 0 25 0 11 0 780106273 858320896 26855 4294967295 134512640 134569956 3221224368 3221214720 1131370688 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26855 13086 16 0 209535 0 vsize: 838204 [startup+930.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 91023 60 0 0 25 0 11 0 780106273 858320896 26855 4294967295 134512640 134569956 3221224368 3221214656 1131264737 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26855 13086 16 0 209535 0 vsize: 838204 [startup+940.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 92001 61 0 0 25 0 11 0 780106273 858320896 26855 4294967295 134512640 134569956 3221224368 3221214560 1131253977 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26855 13086 16 0 209535 0 vsize: 838204 [startup+950.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 92980 61 0 0 25 0 11 0 780106273 858320896 26988 4294967295 134512640 134569956 3221224368 3221214560 1131253945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 26988 13086 16 0 209535 0 vsize: 838204 [startup+960.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 93962 61 0 0 24 0 11 0 780106273 858320896 26988 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26988 13086 16 0 209535 0 vsize: 838204 [startup+970.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 94945 61 0 0 25 0 11 0 780106273 858320896 26988 4294967295 134512640 134569956 3221224368 3221214656 1131264300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26988 13086 16 0 209535 0 vsize: 838204 [startup+980.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 95928 62 0 0 25 0 11 0 780106273 858320896 26988 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 26988 13086 16 0 209535 0 vsize: 838204 [startup+990.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) S 6637 25830 25829 0 -1 0 18147 3 1 0 96912 62 0 0 25 0 11 0 780106273 858320896 27079 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27079 13086 16 0 209535 0 vsize: 838204 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 97898 63 0 0 25 0 11 0 780106273 858320896 27079 4294967295 134512640 134569956 3221224368 3221214656 1131264300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27079 13086 16 0 209535 0 vsize: 838204 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 98883 64 0 0 25 0 11 0 780106273 858320896 27079 4294967295 134512640 134569956 3221224368 3221214720 1131371635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27079 13086 16 0 209535 0 vsize: 838204 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 99865 64 0 0 25 0 11 0 780106273 858320896 27127 4294967295 134512640 134569956 3221224368 3221214560 1131252763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27127 13086 16 0 209535 0 vsize: 838204 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 100841 64 0 0 25 0 11 0 780106273 858320896 27127 4294967295 134512640 134569956 3221224368 3221214720 1131370488 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27127 13086 16 0 209535 0 vsize: 838204 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 101819 64 0 0 25 0 11 0 780106273 858320896 27127 4294967295 134512640 134569956 3221224368 3221214652 1131252352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209551 27127 13086 16 0 209535 0 vsize: 838204 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 102799 64 0 0 25 0 11 0 780106273 858320896 27268 4294967295 134512640 134569956 3221224368 3221214720 1131373992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27268 13086 16 0 209535 0 vsize: 838204 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 103785 65 0 0 25 0 11 0 780106273 858320896 27268 4294967295 134512640 134569956 3221224368 3221214560 1131252504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27268 13086 16 0 209535 0 vsize: 838204 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 104770 65 0 0 25 0 11 0 780106273 858320896 27268 4294967295 134512640 134569956 3221224368 3221214560 1131252660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27268 13086 16 0 209535 0 vsize: 838204 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 105757 65 0 0 25 0 11 0 780106273 858320896 27268 4294967295 134512640 134569956 3221224368 3221214652 1131252352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27268 13086 16 0 209535 0 vsize: 838204 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 106740 65 0 0 25 0 11 0 780106273 858320896 27315 4294967295 134512640 134569956 3221224368 3221214720 1131370762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27315 13086 16 0 209535 0 vsize: 838204 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 107718 66 0 0 25 0 11 0 780106273 858320896 27315 4294967295 134512640 134569956 3221224368 3221214560 1131252533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27315 13086 16 0 209535 0 vsize: 838204 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 108695 66 0 0 25 0 11 0 780106273 858320896 27315 4294967295 134512640 134569956 3221224368 3221214560 1131252399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27315 13086 16 0 209535 0 vsize: 838204 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 109674 67 0 0 25 0 11 0 780106273 858320896 27453 4294967295 134512640 134569956 3221224368 3221214656 1131264705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27453 13086 16 0 209535 0 vsize: 838204 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 110648 67 0 0 25 0 11 0 780106273 858320896 27454 4294967295 134512640 134569956 3221224368 3221214560 1131252683 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27454 13086 16 0 209535 0 vsize: 838204 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 111607 67 0 0 25 0 11 0 780106273 858320896 27454 4294967295 134512640 134569956 3221224368 3221214560 1131252715 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27454 13086 16 0 209535 0 vsize: 838204 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 112557 67 0 0 25 0 11 0 780106273 858320896 27454 4294967295 134512640 134569956 3221224368 3221214656 1131264300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27454 13086 16 0 209535 0 vsize: 838204 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 113511 67 0 0 25 0 11 0 780106273 858320896 27586 4294967295 134512640 134569956 3221224368 3221214720 1131373203 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27586 13086 16 0 209535 0 vsize: 838204 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 114485 67 0 0 25 0 11 0 780106273 858320896 27900 4294967295 134512640 134569956 3221224368 3221214560 1131252781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27900 13086 16 0 209535 0 vsize: 838204 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 115461 67 0 0 25 0 11 0 780106273 858320896 27901 4294967295 134512640 134569956 3221224368 3221214656 1131264375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27901 13086 16 0 209535 0 vsize: 838204 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 116417 68 0 0 24 0 11 0 780106273 858320896 27901 4294967295 134512640 134569956 3221224368 3221214560 1131252549 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27901 13086 16 0 209535 0 vsize: 838204 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 117374 68 0 0 24 0 11 0 780106273 858320896 27901 4294967295 134512640 134569956 3221224368 3221214560 1131254178 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 27901 13086 16 0 209535 0 vsize: 838204 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 118335 68 0 0 25 0 11 0 780106273 858320896 28033 4294967295 134512640 134569956 3221224368 3221214560 1131252733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 28033 13086 16 0 209535 0 vsize: 838204 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 119316 69 0 0 25 0 11 0 780106273 858320896 28270 4294967295 134512640 134569956 3221224368 3221214656 1131264498 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 28270 13086 16 0 209535 0 vsize: 838204 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 6729 Raw data (stat): 6638 (java) R 6637 25830 25829 0 -1 0 18147 3 1 0 120301 69 0 0 24 0 11 0 780106273 858320896 28270 4294967295 134512640 134569956 3221224368 3221214560 1131253184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209551 28270 13086 16 0 209535 0 vsize: 838204 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.39 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 6731 Raw data (stat): 6638 (java) Z 6637 25830 25829 0 -1 1036 18147 13823 1 0 120326 74 3588 39 25 0 1 0 780106273 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.39 CPU time (s): 1240.29 CPU user time (s): 1239.15 CPU system time (s): 1.13583 CPU usage (%): 100.805 Max. virtual memory (Kb): 838492 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 20977859 #### END VERIFIER DATA ####