Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3b.opb |
MD5SUM | efb36546b6b37df68ff339bb766886b9 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1780 |
Biggest coefficient in the objective function | 50331648000000000 |
Number of bits for the biggest coefficient in the objective function | 56 |
Sum of the numbers in the objective function | 1076758128151185266 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 50331648000000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 1076758128151185266 |
Number of bits of the biggest sum of numbers | 60 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1225.11 |
Number of variables | 2283 |
Total number of constraints | 194 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 39 |
Number of constraints which are nor clauses,nor cardinality constraints | 133 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 195 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-05-25 08:28:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20913 boxname=wulflinc3 idbench=901 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: efb36546b6b37df68ff339bb766886b9 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-bell3b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-bell3b.opb IDLAUNCH: 20913 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 830244 kB Buffers: 29468 kB Cached: 155220 kB SwapCached: 0 kB Active: 60660 kB Inactive: 126720 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 829992 kB SwapTotal: 2097136 kB SwapFree: 2096800 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6576 kB Slab: 11288 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 08:48:42 (client local time) WITH STATUS 143 IN 1225.11 SECONDS stats: 20913 0 1225.11 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/wulflinc3/normalized-mps-v2-20-10-bell3b.opb c reading problem ... done. Time 3.937 ms. c #vars 2283 c #constraints 151 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 51549814387450070 Current CPU time: 57.39 ms c CURRENT OPTIMUM= 51548751254661770 Current CPU time: 79.91 ms c CURRENT OPTIMUM= 51449084313976770 Current CPU time: 98.00 ms c CURRENT OPTIMUM= 51383548313976770 Current CPU time: 106.58 ms c CURRENT OPTIMUM= 51367164313976770 Current CPU time: 116.45 ms c CURRENT OPTIMUM= 51363068313976770 Current CPU time: 127.64 ms c CURRENT OPTIMUM= 51362044313976770 Current CPU time: 140.22 ms c CURRENT OPTIMUM= 50840828313976770 Current CPU time: 154.75 ms c CURRENT OPTIMUM= 1856564311000550 Current CPU time: 164.49 ms c starts : 15 c conflicts : 886 c decisions : 67300 c propagations : 106443 c inspects : 534426 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 886 c root simplifications : 169 s SATISFIABLE v -d1_bit0 -d2_bit0 -d3_bit0 -d4_bit0 -d5_bit0 -d6_bit0 -d7_bit0 -d9_bit0 d10_bit0 -d12_bit0 -d13_bit0 -d15_bit0 -d16_bit0 -d17_bit0 d20_bit0 d21_bit0 -h1_bit0 -h1_bit1 -h1_bit2 -h1_bit3 -h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 -h1_bit10 -h1_bit11 -h1_bit12 -h1_bit13 -h2_bit0 -h2_bit1 -h2_bit2 -h2_bit3 -h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h2_bit10 -h2_bit11 -h2_bit12 -h2_bit13 -h3_bit0 -h3_bit1 -h3_bit2 -h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h3_bit10 -h3_bit11 -h3_bit12 -h3_bit13 -h4_bit0 -h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h4_bit10 -h4_bit11 -h4_bit12 -h4_bit13 -h5_bit0 -h5_bit1 -h5_bit2 -h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h5_bit10 -h5_bit11 -h5_bit12 -h5_bit13 -h6_bit0 -h6_bit1 -h6_bit2 h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h6_bit10 -h6_bit11 -h6_bit12 -h6_bit13 -h7_bit0 -h7_bit1 -h7_bit2 h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h7_bit10 -h7_bit11 -h7_bit12 -h7_bit13 -h9_bit0 -h9_bit1 -h9_bit2 -h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h9_bit10 -h9_bit11 -h9_bit12 -h9_bit13 h10_bit0 h10_bit1 -h10_bit2 -h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h12_bit0 -h12_bit1 -h12_bit2 -h12_bit3 -h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 -h13_bit0 -h13_bit1 -h13_bit2 -h13_bit3 -h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 h15_bit0 -h15_bit1 -h15_bit2 -h15_bit3 -h15_bit4 -h15_bit5 -h15_bit6 -h15_bit7 -h15_bit8 -h15_bit9 -h16_bit0 -h16_bit1 -h16_bit2 -h16_bit3 h16_bit4 -h16_bit5 -h16_bit6 -h16_bit7 -h16_bit8 -h16_bit9 -h17_bit0 -h17_bit1 -h17_bit2 -h17_bit3 -h17_bit4 -h17_bit5 -h17_bit6 -h17_bit7 -h17_bit8 -h17_bit9 -h20_bit0 h20_bit1 -h20_bit2 -h20_bit3 -h20_bit4 -h20_bit5 -h20_bit6 -h20_bit7 -h20_bit8 -h20_bit9 -h21_bit0 -h21_bit1 -h21_bit2 -h21_bit3 -h21_bit4 -h21_bit5 -h21_bit6 -h21_bit7 -h21_bit8 -h21_bit9 g1_bit0 g1_bit1 g1_bit2 g1_bit3 g1_bit4 g1_bit5 -g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 -g1_bit10 -g1_bit11 -g1_bit12 -g1_bit13 g2_bit0 g2_bit1 g2_bit2 g2_bit3 g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 -g2_bit9 -g2_bit10 -g2_bit11 -g2_bit12 -g2_bit13 -g3_bit0 -g3_bit1 -g3_bit2 -g3_bit3 -g3_bit4 -g3_bit5 -g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 -g3_bit10 -g3_bit11 -g3_bit12 -g3_bit13 -g4_bit0 -g4_bit1 -g4_bit2 -g4_bit3 -g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 -g4_bit10 -g4_bit11 -g4_bit12 -g4_bit13 -g5_bit0 -g5_bit1 -g5_bit2 -g5_bit3 -g5_bit4 -g5_bit5 -g5_bit6 -g5_bit7 -g5_bit8 -g5_bit9 -g5_bit10 -g5_bit11 -g5_bit12 -g5_bit13 -g6_bit0 g6_bit1 g6_bit2 -g6_bit3 g6_bit4 -g6_bit5 -g6_bit6 g6_bit7 -g6_bit8 -g6_bit9 -g6_bit10 -g6_bit11 -g6_bit12 -g6_bit13 -g7_bit0 g7_bit1 g7_bit2 g7_bit3 -g7_bit4 g7_bit5 g7_bit6 -g7_bit7 -g7_bit8 -g7_bit9 -g7_bit10 -g7_bit11 -g7_bit12 -g7_bit13 -g9_bit0 g9_bit1 -g9_bit2 g9_bit3 -g9_bit4 g9_bit5 -g9_bit6 -g9_bit7 -g9_bit8 -g9_bit9 -g9_bit10 -g9_bit11 -g9_bit12 -g9_bit13 g10_bit0 g10_bit1 -g10_bit2 g10_bit3 -g10_bit4 g10_bit5 g10_bit6 -g10_bit7 -g10_bit8 -g10_bit9 -g12_bit0 -g12_bit1 -g12_bit2 -g12_bit3 g12_bit4 -g12_bit5 g12_bit6 -g12_bit7 -g12_bit8 -g12_bit9 g13_bit0 g13_bit1 -g13_bit2 -g13_bit3 -g13_bit4 -g13_bit5 -g13_bit6 -g13_bit7 -g13_bit8 -g13_bit9 g15_bit0 -g15_bit1 -g15_bit2 g15_bit3 g15_bit4 -g15_bit5 -g15_bit6 -g15_bit7 -g15_bit8 -g15_bit9 -g16_bit0 g16_bit1 g16_bit2 -g16_bit3 g16_bit4 -g16_bit5 g16_bit6 -g16_bit7 g16_bit8 -g16_bit9 -g17_bit0 -g17_bit1 g17_bit2 g17_bit3 -g17_bit4 -g17_bit5 g17_bit6 g17_bit7 g17_bit8 -g17_bit9 -g20_bit0 -g20_bit1 -g20_bit2 -g20_bit3 -g20_bit4 -g20_bit5 -g20_bit6 g20_bit7 -g20_bit8 -g20_bit9 g21_bit0 -g21_bit1 -g21_bit2 -g21_bit3 -g21_bit4 -g21_bit5 -g21_bit6 -g21_bit7 -g21_bit8 -g21_bit9 a1_bit_10 a1_bit_9 a1_bit_8 a1_bit_7 a1_bit_6 a1_bit_5 a1_bit_4 a1_bit_3 a1_bit_2 a1_bit_1 a1_bit0 a1_bit1 a1_bit2 a1_bit3 a1_bit4 a1_bit5 a1_bit6 a1_bit7 -a1_bit8 -a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 -a1_bit13 -a1_bit14 -a1_bit15 -a1_bit16 -a1_bit17 -a1_bit18 -a1_bit19 -a2_bit_10 -a2_bit_9 -a2_bit_8 -a2_bit_7 -a2_bit_6 -a2_bit_5 -a2_bit_4 -a2_bit_3 -a2_bit_2 -a2_bit_1 -a2_bit0 -a2_bit1 -a2_bit2 -a2_bit3 -a2_bit4 -a2_bit5 -a2_bit6 -a2_bit7 -a2_bit8 -a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 -a2_bit13 -a2_bit14 -a2_bit15 -a2_bit16 -a2_bit17 -a2_bit18 -a2_bit19 -a3_bit_10 -a3_bit_9 -a3_bit_8 -a3_bit_7 -a3_bit_6 -a3_bit_5 -a3_bit_4 -a3_bit_3 -a3_bit_2 -a3_bit_1 -a3_bit0 a3_bit1 -a3_bit2 -a3_bit3 a3_bit4 a3_bit5 -a3_bit6 a3_bit7 -a3_bit8 -a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 -a3_bit13 -a3_bit14 -a3_bit15 -a3_bit16 -a3_bit17 -a3_bit18 -a3_bit19 -a4_bit_10 -a4_bit_9 -a4_bit_8 -a4_bit_7 -a4_bit_6 -a4_bit_5 -a4_bit_4 -a4_bit_3 -a4_bit_2 -a4_bit_1 -a4_bit0 -a4_bit1 -a4_bit2 -a4_bit3 -a4_bit4 -a4_bit5 -a4_bit6 a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 -a4_bit11 -a4_bit12 -a4_bit13 -a4_bit14 -a4_bit15 -a4_bit16 -a4_bit17 -a4_bit18 -a4_bit19 -a5_bit_10 -a5_bit_9 -a5_bit_8 -a5_bit_7 -a5_bit_6 -a5_bit_5 -a5_bit_4 -a5_bit_3 -a5_bit_2 -a5_bit_1 -a5_bit0 -a5_bit1 -a5_bit2 -a5_bit3 -a5_bit4 -a5_bit5 -a5_bit6 -a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a5_bit13 -a5_bit14 -a5_bit15 -a5_bit16 -a5_bit17 -a5_bit18 -a5_bit19 -a6_bit_10 -a6_bit_9 -a6_bit_8 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 -a6_bit1 -a6_bit2 -a6_bit3 -a6_bit4 -a6_bit5 -a6_bit6 -a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 -a6_bit13 -a6_bit14 -a6_bit15 -a6_bit16 -a6_bit17 -a6_bit18 -a6_bit19 -a7_bit_10 -a7_bit_9 -a7_bit_8 -a7_bit_7 -a7_bit_6 -a7_bit_5 -a7_bit_4 -a7_bit_3 -a7_bit_2 -a7_bit_1 -a7_bit0 -a7_bit1 -a7_bit2 -a7_bit3 -a7_bit4 -a7_bit5 -a7_bit6 -a7_bit7 -a7_bit8 -a7_bit9 -a7_bit10 -a7_bit11 -a7_bit12 -a7_bit13 -a7_bit14 -a7_bit15 -a7_bit16 -a7_bit17 -a7_bit18 -a7_bit19 a8_bit_10 a8_bit_9 a8_bit_8 a8_bit_7 a8_bit_6 a8_bit_5 a8_bit_4 a8_bit_3 a8_bit_2 a8_bit_1 a8_bit0 a8_bit1 a8_bit2 -a8_bit3 -a8_bit4 -a8_bit5 -a8_bit6 a8_bit7 a8_bit8 -a8_bit9 -a8_bit10 -a8_bit11 -a8_bit12 -a8_bit13 -a8_bit14 -a8_bit15 -a8_bit16 -a8_bit17 -a8_bit18 -a8_bit19 -a9_bit_10 -a9_bit_9 -a9_bit_8 -a9_bit_7 -a9_bit_6 -a9_bit_5 -a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 -a9_bit1 -a9_bit2 -a9_bit3 -a9_bit4 -a9_bit5 -a9_bit6 -a9_bit7 -a9_bit8 -a9_bit9 -a9_bit10 -a9_bit11 -a9_bit12 -a9_bit13 -a9_bit14 -a9_bit15 -a9_bit16 -a9_bit17 -a9_bit18 -a9_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 b1_bit_10 b1_bit_9 b1_bit_8 b1_bit_7 b1_bit_6 b1_bit_5 b1_bit_4 b1_bit_3 b1_bit_2 b1_bit_1 b1_bit0 b1_bit1 b1_bit2 b1_bit3 b1_bit4 b1_bit5 b1_bit6 b1_bit7 b1_bit8 b1_bit9 b1_bit10 -b1_bit11 -b1_bit12 -b1_bit13 -b1_bit14 -b1_bit15 -b1_bit16 -b1_bit17 -b1_bit18 -b1_bit19 -b2_bit_10 -b2_bit_9 -b2_bit_8 -b2_bit_7 -b2_bit_6 -b2_bit_5 -b2_bit_4 -b2_bit_3 -b2_bit_2 -b2_bit_1 -b2_bit0 -b2_bit1 -b2_bit2 -b2_bit3 -b2_bit4 -b2_bit5 -b2_bit6 -b2_bit7 b2_bit8 b2_bit9 -b2_bit10 -b2_bit11 -b2_bit12 -b2_bit13 -b2_bit14 -b2_bit15 -b2_bit16 -b2_bit17 -b2_bit18 -b2_bit19 -b3_bit_10 -b3_bit_9 -b3_bit_8 -b3_bit_7 -b3_bit_6 -b3_bit_5 -b3_bit_4 -b3_bit_3 -b3_bit_2 -b3_bit_1 -b3_bit0 -b3_bit1 -b3_bit2 -b3_bit3 -b3_bit4 -b3_bit5 -b3_bit6 -b3_bit7 -b3_bit8 -b3_bit9 -b3_bit10 -b3_bit11 -b3_bit12 -b3_bit13 -b3_bit14 -b3_bit15 -b3_bit16 -b3_bit17 -b3_bit18 -b3_bit19 -b4_bit_10 -b4_bit_9 -b4_bit_8 -b4_bit_7 -b4_bit_6 -b4_bit_5 -b4_bit_4 -b4_bit_3 -b4_bit_2 -b4_bit_1 -b4_bit0 -b4_bit1 -b4_bit2 -b4_bit3 -b4_bit4 -b4_bit5 -b4_bit6 -b4_bit7 -b4_bit8 -b4_bit9 -b4_bit10 -b4_bit11 -b4_bit12 -b4_bit13 -b4_bit14 -b4_bit15 -b4_bit16 -b4_bit17 -b4_bit18 -b4_bit19 -b5_bit_10 -b5_bit_9 -b5_bit_8 -b5_bit_7 -b5_bit_6 -b5_bit_5 -b5_bit_4 -b5_bit_3 -b5_bit_2 -b5_bit_1 -b5_bit0 -b5_bit1 -b5_bit2 -b5_bit3 -b5_bit4 -b5_bit5 -b5_bit6 -b5_bit7 -b5_bit8 -b5_bit9 -b5_bit10 -b5_bit11 -b5_bit12 -b5_bit13 -b5_bit14 -b5_bit15 -b5_bit16 -b5_bit17 -b5_bit18 -b5_bit19 -b6_bit_10 -b6_bit_9 -b6_bit_8 -b6_bit_7 -b6_bit_6 -b6_bit_5 -b6_bit_4 -b6_bit_3 -b6_bit_2 -b6_bit_1 -b6_bit0 -b6_bit1 -b6_bit2 -b6_bit3 -b6_bit4 -b6_bit5 -b6_bit6 -b6_bit7 -b6_bit8 -b6_bit9 -b6_bit10 -b6_bit11 -b6_bit12 -b6_bit13 -b6_bit14 -b6_bit15 -b6_bit16 -b6_bit17 -b6_bit18 -b6_bit19 -b7_bit_10 -b7_bit_9 -b7_bit_8 -b7_bit_7 -b7_bit_6 -b7_bit_5 -b7_bit_4 -b7_bit_3 -b7_bit_2 -b7_bit_1 -b7_bit0 -b7_bit1 -b7_bit2 -b7_bit3 -b7_bit4 -b7_bit5 -b7_bit6 -b7_bit7 -b7_bit8 -b7_bit9 -b7_bit10 -b7_bit11 -b7_bit12 -b7_bit13 -b7_bit14 -b7_bit15 -b7_bit16 -b7_bit17 -b7_bit18 -b7_bit19 -b8_bit_10 b8_bit_9 -b8_bit_8 -b8_bit_7 -b8_bit_6 b8_bit_5 -b8_bit_4 -b8_bit_3 -b8_bit_2 -b8_bit_1 -b8_bit0 b8_bit1 -b8_bit2 -b8_bit3 b8_bit4 b8_bit5 -b8_bit6 b8_bit7 b8_bit8 b8_bit9 b8_bit10 b8_bit11 b8_bit12 -b8_bit13 -b8_bit14 -b8_bit15 -b8_bit16 -b8_bit17 -b8_bit18 -b8_bit19 -b9_bit_10 b9_bit_9 -b9_bit_8 -b9_bit_7 -b9_bit_6 b9_bit_5 -b9_bit_4 -b9_bit_3 -b9_bit_2 -b9_bit_1 -b9_bit0 b9_bit1 -b9_bit2 -b9_bit3 b9_bit4 b9_bit5 -b9_bit6 b9_bit7 b9_bit8 b9_bit9 b9_bit10 b9_bit11 b9_bit12 -b9_bit13 -b9_bit14 -b9_bit15 -b9_bit16 -b9_bit17 -b9_bit18 -b9_bit19 -b10_bit_10 -b10_bit_9 -b10_bit_8 -b10_bit_7 -b10_bit_6 -b10_bit_5 -b10_bit_4 -b10_bit_3 -b10_bit_2 -b10_bit_1 -b10_bit0 -b10_bit1 -b10_bit2 -b10_bit3 -b10_bit4 -b10_bit5 -b10_bit6 -b10_bit7 -b10_bit8 -b10_bit9 -b10_bit10 -b10_bit11 -b10_bit12 -b10_bit13 -b10_bit14 -b10_bit15 -b10_bit16 -b10_bit17 -b10_bit18 -b10_bit19 -b11_bit_10 -b11_bit_9 -b11_bit_8 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 -b11_bit2 -b11_bit3 -b11_bit4 -b11_bit5 -b11_bit6 -b11_bit7 -b11_bit8 -b11_bit9 -b11_bit10 b11_bit11 -b11_bit12 -b11_bit13 -b11_bit14 -b11_bit15 -b11_bit16 -b11_bit17 -b11_bit18 -b11_bit19 b12_bit_10 b12_bit_9 b12_bit_8 b12_bit_7 b12_bit_6 b12_bit_5 b12_bit_4 b12_bit_3 b12_bit_2 b12_bit_1 b12_bit0 b12_bit1 b12_bit2 b12_bit3 b12_bit4 b12_bit5 b12_bit6 b12_bit7 b12_bit8 b12_bit9 b12_bit10 -b12_bit11 -b12_bit12 -b12_bit13 -b12_bit14 -b12_bit15 -b12_bit16 -b12_bit17 -b12_bit18 -b12_bit19 -b13_bit_10 -b13_bit_9 -b13_bit_8 -b13_bit_7 -b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 -b13_bit_2 -b13_bit_1 -b13_bit0 -b13_bit1 -b13_bit2 -b13_bit3 -b13_bit4 -b13_bit5 b13_bit6 -b13_bit7 -b13_bit8 -b13_bit9 -b13_bit10 -b13_bit11 -b13_bit12 -b13_bit13 -b13_bit14 -b13_bit15 -b13_bit16 -b13_bit17 -b13_bit18 -b13_bit19 -b14_bit_10 -b14_bit_9 -b14_bit_8 -b14_bit_7 -b14_bit_6 -b14_bit_5 -b14_bit_4 -b14_bit_3 -b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 -b14_bit7 -b14_bit8 -b14_bit9 -b14_bit10 -b14_bit11 -b14_bit12 -b14_bit13 -b14_bit14 -b14_bit15 -b14_bit16 -b14_bit17 -b14_bit18 -b14_bit19 -b15_bit_10 -b15_bit_9 -b15_bit_8 -b15_bit_7 -b15_bit_6 -b15_bit_5 -b15_bit_4 -b15_bit_3 -b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 -b15_bit2 -b15_bit3 -b15_bit4 -b15_bit5 -b15_bit6 -b15_bit7 -b15_bit8 -b15_bit9 -b15_bit10 -b15_bit11 -b15_bit12 -b15_bit13 -b15_bit14 -b15_bit15 -b15_bit16 -b15_bit17 -b15_bit18 -b15_bit19 -b16_bit_10 -b16_bit_9 -b16_bit_8 -b16_bit_7 -b16_bit_6 -b16_bit_5 -b16_bit_4 -b16_bit_3 -b16_bit_2 -b16_bit_1 -b16_bit0 -b16_bit1 -b16_bit2 -b16_bit3 -b16_bit4 -b16_bit5 -b16_bit6 -b16_bit7 -b16_bit8 -b16_bit9 -b16_bit10 -b16_bit11 -b16_bit12 -b16_bit13 -b16_bit14 -b16_bit15 -b16_bit16 -b16_bit17 -b16_bit18 -b16_bit19 -b17_bit_10 -b17_bit_9 -b17_bit_8 -b17_bit_7 -b17_bit_6 -b17_bit_5 -b17_bit_4 -b17_bit_3 -b17_bit_2 -b17_bit_1 -b17_bit0 -b17_bit1 -b17_bit2 -b17_bit3 b17_bit4 -b17_bit5 -b17_bit6 -b17_bit7 b17_bit8 b17_bit9 -b17_bit10 b17_bit11 -b17_bit12 b17_bit13 -b17_bit14 -b17_bit15 -b17_bit16 -b17_bit17 -b17_bit18 -b17_bit19 -b18_bit_10 -b18_bit_9 -b18_bit_8 -b18_bit_7 -b18_bit_6 -b18_bit_5 -b18_bit_4 -b18_bit_3 -b18_bit_2 -b18_bit_1 -b18_bit0 -b18_bit1 -b18_bit2 -b18_bit3 -b18_bit4 -b18_bit5 -b18_bit6 -b18_bit7 -b18_bit8 -b18_bit9 -b18_bit10 -b18_bit11 -b18_bit12 -b18_bit13 -b18_bit14 -b18_bit15 -b18_bit16 -b18_bit17 -b18_bit18 -b18_bit19 -b19_bit_10 -b19_bit_9 -b19_bit_8 -b19_bit_7 -b19_bit_6 -b19_bit_5 -b19_bit_4 -b19_bit_3 -b19_bit_2 -b19_bit_1 -b19_bit0 -b19_bit1 -b19_bit2 -b19_bit3 -b19_bit4 -b19_bit5 -b19_bit6 -b19_bit7 -b19_bit8 -b19_bit9 -b19_bit10 -b19_bit11 -b19_bit12 -b19_bit13 -b19_bit14 -b19_bit15 -b19_bit16 -b19_bit17 -b19_bit18 -b19_bit19 -b20_bit_10 -b20_bit_9 -b20_bit_8 -b20_bit_7 -b20_bit_6 -b20_bit_5 -b20_bit_4 -b20_bit_3 -b20_bit_2 -b20_bit_1 -b20_bit0 -b20_bit1 -b20_bit2 -b20_bit3 -b20_bit4 -b20_bit5 -b20_bit6 -b20_bit7 -b20_bit8 -b20_bit9 -b20_bit10 -b20_bit11 -b20_bit12 -b20_bit13 -b20_bit14 -b20_bit15 -b20_bit16 -b20_bit17 -b20_bit18 -b20_bit19 -b21_bit_10 -b21_bit_9 -b21_bit_8 -b21_bit_7 -b21_bit_6 -b21_bit_5 -b21_bit_4 -b21_bit_3 -b21_bit_2 -b21_bit_1 -b21_bit0 -b21_bit1 -b21_bit2 -b21_bit3 -b21_bit4 -b21_bit5 -b21_bit6 -b21_bit7 -b21_bit8 -b21_bit9 -b21_bit10 -b21_bit11 -b21_bit12 -b21_bit13 -b21_bit14 -b21_bit15 -b21_bit16 -b21_bit17 -b21_bit18 -b21_bit19 -b22_bit_10 -b22_bit_9 -b22_bit_8 -b22_bit_7 -b22_bit_6 -b22_bit_5 -b22_bit_4 -b22_bit_3 -b22_bit_2 -b22_bit_1 -b22_bit0 -b22_bit1 -b22_bit2 -b22_bit3 -b22_bit4 -b22_bit5 -b22_bit6 -b22_bit7 -b22_bit8 -b22_bit9 -b22_bit10 -b22_bit11 -b22_bit12 -b22_bit13 -b22_bit14 -b22_bit15 -b22_bit16 -b22_bit17 -b22_bit18 -b22_bit19 -b23_bit_10 -b23_bit_9 -b23_bit_8 -b23_bit_7 -b23_bit_6 -b23_bit_5 -b23_bit_4 -b23_bit_3 -b23_bit_2 -b23_bit_1 -b23_bit0 -b23_bit1 -b23_bit2 -b23_bit3 -b23_bit4 -b23_bit5 -b23_bit6 -b23_bit7 -b23_bit8 -b23_bit9 -b23_bit10 -b23_bit11 -b23_bit12 -b23_bit13 -b23_bit14 -b23_bit15 -b23_bit16 -b23_bit17 -b23_bit18 -b23_bit19 c1_bit0 c2_bit0 c3_bit0 c4_bit0 c5_bit0 c6_bit0 c7_bit0 -c8_bit0 -c9_bit0 c10_bit0 -c11_bit0 -c12_bit0 -c13_bit0 -c14_bit0 c15_bit0 c16_bit0 -c17_bit0 -c18_bit0 c19_bit0 c20_bit0 c21_bit0 -c22_bit0 -c23_bit0 -f1_bit_10 -f1_bit_9 -f1_bit_8 -f1_bit_7 -f1_bit_6 -f1_bit_5 -f1_bit_4 -f1_bit_3 -f1_bit_2 -f1_bit_1 -f1_bit0 -f1_bit1 -f1_bit2 -f1_bit3 -f1_bit4 -f1_bit5 -f1_bit6 -f1_bit7 -f1_bit8 -f1_bit9 f1_bit10 -f1_bit11 -f1_bit12 -f1_bit13 -f1_bit14 -f1_bit15 -f1_bit16 -f1_bit17 -f1_bit18 -f1_bit19 f10_bit_10 f10_bit_9 f10_bit_8 f10_bit_7 f10_bit_6 f10_bit_5 f10_bit_4 f10_bit_3 f10_bit_2 f10_bit_1 f10_bit0 f10_bit1 f10_bit2 f10_bit3 f10_bit4 f10_bit5 f10_bit6 f10_bit7 f10_bit8 -f10_bit9 -f10_bit10 f10_bit11 -f10_bit12 -f10_bit13 -f10_bit14 -f10_bit15 -f10_bit16 -f10_bit17 -f10_bit18 -f10_bit19 -f12_bit_10 -f12_bit_9 -f12_bit_8 -f12_bit_7 -f12_bit_6 -f12_bit_5 -f12_bit_4 -f12_bit_3 -f12_bit_2 -f12_bit_1 -f12_bit0 -f12_bit1 -f12_bit2 -f12_bit3 -f12_bit4 -f12_bit5 -f12_bit6 f12_bit7 f12_bit8 f12_bit9 f12_bit10 -f12_bit11 -f12_bit12 -f12_bit13 -f12_bit14 -f12_bit15 -f12_bit16 -f12_bit17 -f12_bit18 -f12_bit19 -f13_bit_10 -f13_bit_9 -f13_bit_8 -f13_bit_7 -f13_bit_6 -f13_bit_5 -f13_bit_4 -f13_bit_3 -f13_bit_2 -f13_bit_1 -f13_bit0 f13_bit1 -f13_bit2 -f13_bit3 f13_bit4 f13_bit5 -f13_bit6 -f13_bit7 -f13_bit8 -f13_bit9 -f13_bit10 -f13_bit11 -f13_bit12 -f13_bit13 -f13_bit14 -f13_bit15 -f13_bit16 -f13_bit17 -f13_bit18 -f13_bit19 -f15_bit_10 -f15_bit_9 -f15_bit_8 -f15_bit_7 -f15_bit_6 -f15_bit_5 -f15_bit_4 -f15_bit_3 -f15_bit_2 -f15_bit_1 -f15_bit0 -f15_bit1 -f15_bit2 f15_bit3 f15_bit4 -f15_bit5 f15_bit6 -f15_bit7 -f15_bit8 f15_bit9 -f15_bit10 -f15_bit11 -f15_bit12 -f15_bit13 -f15_bit14 -f15_bit15 -f15_bit16 -f15_bit17 -f15_bit18 -f15_bit19 -f16_bit_10 -f16_bit_9 -f16_bit_8 -f16_bit_7 -f16_bit_6 -f16_bit_5 -f16_bit_4 -f16_bit_3 -f16_bit_2 -f16_bit_1 -f16_bit0 -f16_bit1 -f16_bit2 -f16_bit3 -f16_bit4 -f16_bit5 -f16_bit6 -f16_bit7 -f16_bit8 -f16_bit9 -f16_bit10 -f16_bit11 -f16_bit12 f16_bit13 -f16_bit14 -f16_bit15 -f16_bit16 -f16_bit17 -f16_bit18 -f16_bit19 -f17_bit_10 -f17_bit_9 -f17_bit_8 -f17_bit_7 -f17_bit_6 -f17_bit_5 -f17_bit_4 -f17_bit_3 -f17_bit_2 -f17_bit_1 -f17_bit0 -f17_bit1 -f17_bit2 -f17_bit3 f17_bit4 -f17_bit5 -f17_bit6 -f17_bit7 f17_bit8 f17_bit9 -f17_bit10 f17_bit11 -f17_bit12 f17_bit13 -f17_bit14 -f17_bit15 -f17_bit16 -f17_bit17 -f17_bit18 -f17_bit19 -f2_bit_10 -f2_bit_9 -f2_bit_8 -f2_bit_7 -f2_bit_6 -f2_bit_5 -f2_bit_4 -f2_bit_3 -f2_bit_2 -f2_bit_1 -f2_bit0 -f2_bit1 -f2_bit2 f2_bit3 -f2_bit4 f2_bit5 f2_bit6 f2_bit7 -f2_bit8 f2_bit9 -f2_bit10 -f2_bit11 -f2_bit12 -f2_bit13 -f2_bit14 -f2_bit15 -f2_bit16 -f2_bit17 -f2_bit18 -f2_bit19 -f20_bit_10 -f20_bit_9 -f20_bit_8 -f20_bit_7 -f20_bit_6 -f20_bit_5 -f20_bit_4 -f20_bit_3 -f20_bit_2 -f20_bit_1 -f20_bit0 -f20_bit1 -f20_bit2 f20_bit3 f20_bit4 f20_bit5 -f20_bit6 f20_bit7 f20_bit8 f20_bit9 -f20_bit10 f20_bit11 -f20_bit12 -f20_bit13 -f20_bit14 -f20_bit15 -f20_bit16 -f20_bit17 -f20_bit18 -f20_bit19 -f21_bit_10 -f21_bit_9 -f21_bit_8 -f21_bit_7 -f21_bit_6 -f21_bit_5 -f21_bit_4 -f21_bit_3 -f21_bit_2 -f21_bit_1 -f21_bit0 f21_bit1 -f21_bit2 -f21_bit3 -f21_bit4 -f21_bit5 -f21_bit6 -f21_bit7 -f21_bit8 -f21_bit9 -f21_bit10 -f21_bit11 -f21_bit12 -f21_bit13 -f21_bit14 -f21_bit15 -f21_bit16 -f21_bit17 -f21_bit18 -f21_bit19 -f3_bit_10 -f3_bit_9 -f3_bit_8 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 -f3_bit1 -f3_bit2 -f3_bit3 -f3_bit4 -f3_bit5 -f3_bit6 -f3_bit7 -f3_bit8 -f3_bit9 -f3_bit10 -f3_bit11 -f3_bit12 -f3_bit13 -f3_bit14 -f3_bit15 -f3_bit16 -f3_bit17 -f3_bit18 -f3_bit19 -f4_bit_10 -f4_bit_9 -f4_bit_8 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 -f4_bit1 -f4_bit2 -f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 -f4_bit7 -f4_bit8 -f4_bit9 -f4_bit10 -f4_bit11 -f4_bit12 -f4_bit13 -f4_bit14 -f4_bit15 -f4_bit16 -f4_bit17 -f4_bit18 -f4_bit19 -f5_bit_10 -f5_bit_9 -f5_bit_8 -f5_bit_7 -f5_bit_6 -f5_bit_5 -f5_bit_4 -f5_bit_3 -f5_bit_2 -f5_bit_1 -f5_bit0 -f5_bit1 -f5_bit2 -f5_bit3 -f5_bit4 -f5_bit5 -f5_bit6 -f5_bit7 -f5_bit8 -f5_bit9 -f5_bit10 -f5_bit11 -f5_bit12 -f5_bit13 -f5_bit14 -f5_bit15 -f5_bit16 -f5_bit17 -f5_bit18 -f5_bit19 f6_bit_10 f6_bit_9 f6_bit_8 f6_bit_7 f6_bit_6 f6_bit_5 f6_bit_4 f6_bit_3 f6_bit_2 f6_bit_1 f6_bit0 f6_bit1 f6_bit2 f6_bit3 f6_bit4 f6_bit5 f6_bit6 f6_bit7 f6_bit8 -f6_bit9 f6_bit10 f6_bit11 -f6_bit12 -f6_bit13 -f6_bit14 -f6_bit15 -f6_bit16 -f6_bit17 -f6_bit18 -f6_bit19 -f7_bit_10 f7_bit_9 f7_bit_8 f7_bit_7 f7_bit_6 -f7_bit_5 f7_bit_4 f7_bit_3 f7_bit_2 f7_bit_1 f7_bit0 -f7_bit1 f7_bit2 f7_bit3 -f7_bit4 -f7_bit5 f7_bit6 -f7_bit7 -f7_bit8 f7_bit9 -f7_bit10 f7_bit11 -f7_bit12 -f7_bit13 -f7_bit14 -f7_bit15 -f7_bit16 -f7_bit17 -f7_bit18 -f7_bit19 f9_bit_10 f9_bit_9 f9_bit_8 f9_bit_7 f9_bit_6 f9_bit_5 f9_bit_4 f9_bit_3 f9_bit_2 f9_bit_1 f9_bit0 f9_bit1 f9_bit2 f9_bit3 -f9_bit4 f9_bit5 f9_bit6 f9_bit7 f9_bit8 f9_bit9 -f9_bit10 -f9_bit11 -f9_bit12 -f9_bit13 -f9_bit14 -f9_bit15 -f9_bit16 -f9_bit17 -f9_bit18 -f9_bit19 c objectif function=1856564311000550 c Total CPU time (ms) : 1229.31 #### 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 31688 Raw data (stat): 31688 (runsolver) R 31687 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779209890 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0015 s] Raw data (loadavg): 1.10 1.02 1.01 4/64 31698 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18089 0 1 0 660 38 0 0 24 0 11 0 779209890 866926592 21743 4294967295 134512640 134569956 3221224368 3221214336 1130897667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211652 21743 13086 16 0 211636 0 vsize: 846608 [startup+20.0024 s] Raw data (loadavg): 1.39 1.08 1.03 2/64 31698 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18125 0 1 0 1451 38 0 0 25 0 11 0 779209890 876449792 24847 4294967295 134512640 134569956 3221224368 3221214660 1130920737 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213977 24847 13086 16 0 213961 0 vsize: 855908 [startup+30.0028 s] Raw data (loadavg): 1.33 1.08 1.02 2/64 31698 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18127 0 1 0 2396 38 0 0 25 0 11 0 779209890 872361984 24379 4294967295 134512640 134569956 3221224368 3221214608 1131249200 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212979 24379 13086 16 0 212963 0 vsize: 851916 [startup+40.003 s] Raw data (loadavg): 1.28 1.08 1.02 2/64 31698 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18127 0 1 0 3339 38 0 0 25 0 11 0 779209890 871120896 24309 4294967295 134512640 134569956 3221224368 3221214672 1131421668 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 24309 13086 16 0 212660 0 vsize: 850704 [startup+50.0039 s] Raw data (loadavg): 1.24 1.07 1.02 2/64 31698 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18127 0 1 0 4284 38 0 0 25 0 11 0 779209890 871120896 24569 4294967295 134512640 134569956 3221224368 3221214384 1131573728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 24569 13086 16 0 212660 0 vsize: 850704 [startup+60.0043 s] Raw data (loadavg): 1.20 1.07 1.02 2/64 31699 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 5244 38 0 0 25 0 11 0 779209890 871120896 24622 4294967295 134512640 134569956 3221224368 3221214384 1131573777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 24622 13086 16 0 212660 0 vsize: 850704 [startup+70.0054 s] Raw data (loadavg): 1.17 1.07 1.02 2/64 31699 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 6207 38 0 0 25 0 11 0 779209890 871120896 24753 4294967295 134512640 134569956 3221224368 3221214676 1131574272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 24753 13086 16 0 212660 0 vsize: 850704 [startup+80.0063 s] Raw data (loadavg): 1.14 1.06 1.02 2/64 31699 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 7164 38 0 0 25 0 11 0 779209890 871120896 24906 4294967295 134512640 134569956 3221224368 3221214504 1085679308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 24906 13086 16 0 212660 0 vsize: 850704 [startup+90.0066 s] Raw data (loadavg): 1.12 1.06 1.02 2/64 31700 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 8134 38 0 0 25 0 11 0 779209890 871120896 25006 4294967295 134512640 134569956 3221224368 3221214544 1131270409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25006 13086 16 0 212660 0 vsize: 850704 [startup+100.007 s] Raw data (loadavg): 1.10 1.06 1.02 2/64 31701 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 9099 38 0 0 25 0 11 0 779209890 871120896 25264 4294967295 134512640 134569956 3221224368 3221214544 1131270888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 25264 13086 16 0 212660 0 vsize: 850704 [startup+110.008 s] Raw data (loadavg): 1.09 1.06 1.02 2/64 31702 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 10070 39 0 0 25 0 11 0 779209890 871120896 25470 4294967295 134512640 134569956 3221224368 3221214544 1131270092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25470 13086 16 0 212660 0 vsize: 850704 [startup+120.008 s] Raw data (loadavg): 1.07 1.05 1.02 2/64 31703 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 11051 39 0 0 25 0 11 0 779209890 871120896 25561 4294967295 134512640 134569956 3221224368 3221214544 1131270478 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25561 13086 16 0 212660 0 vsize: 850704 [startup+130.01 s] Raw data (loadavg): 1.06 1.05 1.02 2/64 31704 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 12030 39 0 0 25 0 11 0 779209890 871120896 25621 4294967295 134512640 134569956 3221224368 3221214344 1131567920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25621 13086 16 0 212660 0 vsize: 850704 [startup+140.01 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 31704 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 13011 39 0 0 25 0 11 0 779209890 871120896 25667 4294967295 134512640 134569956 3221224368 3221214632 1131423583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25667 13086 16 0 212660 0 vsize: 850704 [startup+150.011 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 31705 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 13996 39 0 0 25 0 11 0 779209890 871120896 25707 4294967295 134512640 134569956 3221224368 3221214544 1131269989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25707 13086 16 0 212660 0 vsize: 850704 [startup+160.012 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 31706 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 14983 39 0 0 25 0 11 0 779209890 871120896 25746 4294967295 134512640 134569956 3221224368 3221214648 1131574309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25746 13086 16 0 212660 0 vsize: 850704 [startup+170.012 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 15960 39 0 0 25 0 11 0 779209890 871120896 25787 4294967295 134512640 134569956 3221224368 3221214400 1085679366 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25787 13086 16 0 212660 0 vsize: 850704 [startup+180.012 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 16936 39 0 0 25 0 11 0 779209890 871120896 25789 4294967295 134512640 134569956 3221224368 3221214544 1131270520 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25789 13086 16 0 212660 0 vsize: 850704 [startup+190.014 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 17911 39 0 0 25 0 11 0 779209890 871120896 25846 4294967295 134512640 134569956 3221224368 3221214512 1085679293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25846 13086 16 0 212660 0 vsize: 850704 [startup+200.013 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 18884 39 0 0 25 0 11 0 779209890 871120896 25936 4294967295 134512640 134569956 3221224368 3221214588 1131566732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 25936 13086 16 0 212660 0 vsize: 850704 [startup+210.014 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 19860 39 0 0 25 0 11 0 779209890 871120896 26005 4294967295 134512640 134569956 3221224368 3221214544 1131270534 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26005 13086 16 0 212660 0 vsize: 850704 [startup+220.014 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 20837 39 0 0 25 0 11 0 779209890 871120896 26049 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26049 13086 16 0 212660 0 vsize: 850704 [startup+230.015 s] Raw data (loadavg): 1.01 1.03 1.01 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 21807 39 0 0 25 0 11 0 779209890 871120896 26087 4294967295 134512640 134569956 3221224368 3221214456 1131210593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26087 13086 16 0 212660 0 vsize: 850704 [startup+240.015 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 22775 39 0 0 25 0 11 0 779209890 871120896 26158 4294967295 134512640 134569956 3221224368 3221214544 1131270447 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26158 13086 16 0 212660 0 vsize: 850704 [startup+250.016 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 23741 39 0 0 25 0 11 0 779209890 871120896 26230 4294967295 134512640 134569956 3221224368 3221214632 1131426432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26230 13086 16 0 212660 0 vsize: 850704 [startup+260.016 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 24705 39 0 0 25 0 11 0 779209890 871120896 26305 4294967295 134512640 134569956 3221224368 3221214632 1131421629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26305 13086 16 0 212660 0 vsize: 850704 [startup+270.017 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 25657 40 0 0 25 0 11 0 779209890 871120896 26409 4294967295 134512640 134569956 3221224368 3221214392 1131249429 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26409 13086 16 0 212660 0 vsize: 850704 [startup+280.018 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 26618 40 0 0 25 0 11 0 779209890 871120896 26500 4294967295 134512640 134569956 3221224368 3221214584 1131566741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26500 13086 16 0 212660 0 vsize: 850704 [startup+290.019 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 27580 40 0 0 25 0 11 0 779209890 871120896 26591 4294967295 134512640 134569956 3221224368 3221214544 1131269981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26591 13086 16 0 212660 0 vsize: 850704 [startup+300.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 28548 40 0 0 25 0 11 0 779209890 871120896 26817 4294967295 134512640 134569956 3221224368 3221214544 1131270616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26817 13086 16 0 212660 0 vsize: 850704 [startup+310.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 29522 40 0 0 25 0 11 0 779209890 871120896 26900 4294967295 134512640 134569956 3221224368 3221214544 1131270030 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26900 13086 16 0 212660 0 vsize: 850704 [startup+320.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 30499 40 0 0 25 0 11 0 779209890 871120896 26961 4294967295 134512640 134569956 3221224368 3221214632 1131421622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26961 13086 16 0 212660 0 vsize: 850704 [startup+330.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 31475 40 0 0 25 0 11 0 779209890 871120896 26998 4294967295 134512640 134569956 3221224368 3221214544 1131270503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 26998 13086 16 0 212660 0 vsize: 850704 [startup+340.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 32453 40 0 0 25 0 11 0 779209890 871120896 27055 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27055 13086 16 0 212660 0 vsize: 850704 [startup+350.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 33433 40 0 0 25 0 11 0 779209890 871120896 27126 4294967295 134512640 134569956 3221224368 3221214416 1131325813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27126 13086 16 0 212660 0 vsize: 850704 [startup+360.023 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 34418 40 0 0 25 0 11 0 779209890 871120896 27158 4294967295 134512640 134569956 3221224368 3221214544 1131270439 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27158 13086 16 0 212660 0 vsize: 850704 [startup+370.024 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 35407 40 0 0 25 0 11 0 779209890 871120896 27183 4294967295 134512640 134569956 3221224368 3221214400 1131249563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27183 13086 16 0 212660 0 vsize: 850704 [startup+380.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 36394 40 0 0 24 0 11 0 779209890 871120896 27243 4294967295 134512640 134569956 3221224368 3221214400 1131249225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27243 13086 16 0 212660 0 vsize: 850704 [startup+390.025 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 37387 40 0 0 25 0 11 0 779209890 871120896 27271 4294967295 134512640 134569956 3221224368 3221214392 1131249169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27271 13086 16 0 212660 0 vsize: 850704 [startup+400.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 38377 41 0 0 25 0 11 0 779209890 871120896 27271 4294967295 134512640 134569956 3221224368 3221214544 1131270402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27271 13086 16 0 212660 0 vsize: 850704 [startup+410.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 39367 41 0 0 25 0 11 0 779209890 871120896 27287 4294967295 134512640 134569956 3221224368 3221214632 1131421461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27287 13086 16 0 212660 0 vsize: 850704 [startup+420.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 40354 41 0 0 25 0 11 0 779209890 871120896 27289 4294967295 134512640 134569956 3221224368 3221214544 1131270505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27289 13086 16 0 212660 0 vsize: 850704 [startup+430.028 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 41337 41 0 0 25 0 11 0 779209890 871120896 27289 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27289 13086 16 0 212660 0 vsize: 850704 [startup+440.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 42320 41 0 0 25 0 11 0 779209890 871120896 27305 4294967295 134512640 134569956 3221224368 3221214392 1131248932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27305 13086 16 0 212660 0 vsize: 850704 [startup+450.028 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 43302 41 0 0 24 0 11 0 779209890 871120896 27370 4294967295 134512640 134569956 3221224368 3221214544 1131270449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27370 13086 16 0 212660 0 vsize: 850704 [startup+460.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 44288 41 0 0 25 0 11 0 779209890 871120896 27395 4294967295 134512640 134569956 3221224368 3221214632 1131423579 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27395 13086 16 0 212660 0 vsize: 850704 [startup+470.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 45274 42 0 0 25 0 11 0 779209890 871120896 27436 4294967295 134512640 134569956 3221224368 3221214544 1131270582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27436 13086 16 0 212660 0 vsize: 850704 [startup+480.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 46261 42 0 0 25 0 11 0 779209890 871120896 27455 4294967295 134512640 134569956 3221224368 3221214632 1131426452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27455 13086 16 0 212660 0 vsize: 850704 [startup+490.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 47246 42 0 0 25 0 11 0 779209890 871120896 27467 4294967295 134512640 134569956 3221224368 3221214176 1131568068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27467 13086 16 0 212660 0 vsize: 850704 [startup+500.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 48224 42 0 0 25 0 11 0 779209890 871120896 27509 4294967295 134512640 134569956 3221224368 3221214632 1131422765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27509 13086 16 0 212660 0 vsize: 850704 [startup+510.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 49205 42 0 0 25 0 11 0 779209890 871120896 27532 4294967295 134512640 134569956 3221224368 3221214240 1131573777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27532 13086 16 0 212660 0 vsize: 850704 [startup+520.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 50188 42 0 0 25 0 11 0 779209890 871120896 27581 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27581 13086 16 0 212660 0 vsize: 850704 [startup+530.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 51173 42 0 0 25 0 11 0 779209890 871120896 27632 4294967295 134512640 134569956 3221224368 3221214544 1131270124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27632 13086 16 0 212660 0 vsize: 850704 [startup+540.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 52155 42 0 0 25 0 11 0 779209890 871120896 27644 4294967295 134512640 134569956 3221224368 3221214544 1131269977 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27644 13086 16 0 212660 0 vsize: 850704 [startup+550.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 53136 42 0 0 25 0 11 0 779209890 871120896 27685 4294967295 134512640 134569956 3221224368 3221214544 1131573752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27685 13086 16 0 212660 0 vsize: 850704 [startup+560.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 54118 43 0 0 25 0 11 0 779209890 871120896 27738 4294967295 134512640 134569956 3221224368 3221214576 1131446487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27738 13086 16 0 212660 0 vsize: 850704 [startup+570.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 55104 43 0 0 25 0 11 0 779209890 871120896 27760 4294967295 134512640 134569956 3221224368 3221214544 1131271018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27760 13086 16 0 212660 0 vsize: 850704 [startup+580.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 56092 44 0 0 25 0 11 0 779209890 871120896 27781 4294967295 134512640 134569956 3221224368 3221214632 1131421629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27781 13086 16 0 212660 0 vsize: 850704 [startup+590.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 57079 44 0 0 25 0 11 0 779209890 871120896 27794 4294967295 134512640 134569956 3221224368 3221214544 1131269981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27794 13086 16 0 212660 0 vsize: 850704 [startup+600.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 58063 45 0 0 25 0 11 0 779209890 871120896 27803 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27803 13086 16 0 212660 0 vsize: 850704 [startup+610.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 59043 45 0 0 25 0 11 0 779209890 871120896 27806 4294967295 134512640 134569956 3221224368 3221214428 1131573776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27806 13086 16 0 212660 0 vsize: 850704 [startup+620.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 60023 45 0 0 25 0 11 0 779209890 871120896 27855 4294967295 134512640 134569956 3221224368 3221214544 1131270908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 27855 13086 16 0 212660 0 vsize: 850704 [startup+630.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 61002 46 0 0 25 0 11 0 779209890 871120896 27871 4294967295 134512640 134569956 3221224368 3221214544 1131270905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27871 13086 16 0 212660 0 vsize: 850704 [startup+640.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 61984 46 0 0 25 0 11 0 779209890 871120896 27932 4294967295 134512640 134569956 3221224368 3221214544 1131270527 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27932 13086 16 0 212660 0 vsize: 850704 [startup+650.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 62968 46 0 0 25 0 11 0 779209890 871120896 27983 4294967295 134512640 134569956 3221224368 3221214520 1131556538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27983 13086 16 0 212660 0 vsize: 850704 [startup+660.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 63953 46 0 0 25 0 11 0 779209890 871120896 27998 4294967295 134512640 134569956 3221224368 3221214544 1131270042 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 27998 13086 16 0 212660 0 vsize: 850704 [startup+670.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 64936 46 0 0 25 0 11 0 779209890 871120896 28007 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28007 13086 16 0 212660 0 vsize: 850704 [startup+680.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 65914 47 0 0 25 0 11 0 779209890 871120896 28057 4294967295 134512640 134569956 3221224368 3221214472 1131574536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28057 13086 16 0 212660 0 vsize: 850704 [startup+690.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 66897 47 0 0 25 0 11 0 779209890 871120896 28071 4294967295 134512640 134569956 3221224368 3221214456 1131211612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 28071 13086 16 0 212660 0 vsize: 850704 [startup+700.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 67882 47 0 0 25 0 11 0 779209890 871120896 28113 4294967295 134512640 134569956 3221224368 3221214544 1131270447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28113 13086 16 0 212660 0 vsize: 850704 [startup+710.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 68872 48 0 0 25 0 11 0 779209890 871120896 28129 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28129 13086 16 0 212660 0 vsize: 850704 [startup+720.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 69862 48 0 0 25 0 11 0 779209890 871120896 28143 4294967295 134512640 134569956 3221224368 3221214416 1131325696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 28143 13086 16 0 212660 0 vsize: 850704 [startup+730.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 70856 48 0 0 25 0 11 0 779209890 871120896 28148 4294967295 134512640 134569956 3221224368 3221214400 1131249421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28148 13086 16 0 212660 0 vsize: 850704 [startup+740.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 71845 48 0 0 25 0 11 0 779209890 871120896 28153 4294967295 134512640 134569956 3221224368 3221214632 1131426344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28153 13086 16 0 212660 0 vsize: 850704 [startup+750.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 72836 49 0 0 25 0 11 0 779209890 871120896 28162 4294967295 134512640 134569956 3221224368 3221214416 1131324992 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28162 13086 16 0 212660 0 vsize: 850704 [startup+760.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 73829 49 0 0 25 0 11 0 779209890 871120896 28162 4294967295 134512640 134569956 3221224368 3221214416 1131326710 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28162 13086 16 0 212660 0 vsize: 850704 [startup+770.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 74819 49 0 0 25 0 11 0 779209890 871120896 28181 4294967295 134512640 134569956 3221224368 3221214500 1131249902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28181 13086 16 0 212660 0 vsize: 850704 [startup+780.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 75811 50 0 0 25 0 11 0 779209890 871120896 28183 4294967295 134512640 134569956 3221224368 3221214544 1131270124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 28183 13086 16 0 212660 0 vsize: 850704 [startup+790.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 76804 50 0 0 25 0 11 0 779209890 871120896 28186 4294967295 134512640 134569956 3221224368 3221214544 1131270662 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28186 13086 16 0 212660 0 vsize: 850704 [startup+800.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 77790 50 0 0 25 0 11 0 779209890 871120896 28186 4294967295 134512640 134569956 3221224368 3221214544 1131271006 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28186 13086 16 0 212660 0 vsize: 850704 [startup+810.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 78775 51 0 0 25 0 11 0 779209890 871120896 28198 4294967295 134512640 134569956 3221224368 3221214544 1131269996 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28198 13086 16 0 212660 0 vsize: 850704 [startup+820.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 79762 51 0 0 25 0 11 0 779209890 871120896 28209 4294967295 134512640 134569956 3221224368 3221214544 1131269989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28209 13086 16 0 212660 0 vsize: 850704 [startup+830.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 80743 52 0 0 25 0 11 0 779209890 871120896 28214 4294967295 134512640 134569956 3221224368 3221214632 1131422514 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28214 13086 16 0 212660 0 vsize: 850704 [startup+840.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 81731 52 0 0 25 0 11 0 779209890 871120896 28254 4294967295 134512640 134569956 3221224368 3221214288 1131568053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 28254 13086 16 0 212660 0 vsize: 850704 [startup+850.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 82715 52 0 0 25 0 11 0 779209890 871120896 28264 4294967295 134512640 134569956 3221224368 3221214632 1131421479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28264 13086 16 0 212660 0 vsize: 850704 [startup+860.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 83694 52 0 0 25 0 11 0 779209890 871120896 28272 4294967295 134512640 134569956 3221224368 3221214496 1131304712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28272 13086 16 0 212660 0 vsize: 850704 [startup+870.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 84677 53 0 0 25 0 11 0 779209890 871120896 28331 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28331 13086 16 0 212660 0 vsize: 850704 [startup+880.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 85661 53 0 0 25 0 11 0 779209890 871120896 28341 4294967295 134512640 134569956 3221224368 3221214392 1131249066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28341 13086 16 0 212660 0 vsize: 850704 [startup+890.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 86646 54 0 0 25 0 11 0 779209890 871120896 28365 4294967295 134512640 134569956 3221224368 3221214416 1131325918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28365 13086 16 0 212660 0 vsize: 850704 [startup+900.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 87630 54 0 0 24 0 11 0 779209890 871120896 28370 4294967295 134512640 134569956 3221224368 3221214416 1131325652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28370 13086 16 0 212660 0 vsize: 850704 [startup+910.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 88617 55 0 0 25 0 11 0 779209890 871120896 28410 4294967295 134512640 134569956 3221224368 3221214504 1131301159 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28410 13086 16 0 212660 0 vsize: 850704 [startup+920.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 89605 55 0 0 25 0 11 0 779209890 871120896 28434 4294967295 134512640 134569956 3221224368 3221214488 1131573724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28434 13086 16 0 212660 0 vsize: 850704 [startup+930.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 90593 55 0 0 25 0 11 0 779209890 871120896 28451 4294967295 134512640 134569956 3221224368 3221214632 1131426320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 28451 13086 16 0 212660 0 vsize: 850704 [startup+940.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 91581 55 0 0 25 0 11 0 779209890 871120896 28482 4294967295 134512640 134569956 3221224368 3221214632 1131421629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28482 13086 16 0 212660 0 vsize: 850704 [startup+950.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 92565 55 0 0 25 0 11 0 779209890 871120896 28482 4294967295 134512640 134569956 3221224368 3221214096 1085679284 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28482 13086 16 0 212660 0 vsize: 850704 [startup+960.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 93554 56 0 0 25 0 11 0 779209890 871120896 28534 4294967295 134512640 134569956 3221224368 3221214544 1131270449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 28534 13086 16 0 212660 0 vsize: 850704 [startup+970.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 94547 56 0 0 25 0 11 0 779209890 871120896 28543 4294967295 134512640 134569956 3221224368 3221214544 1131270908 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28543 13086 16 0 212660 0 vsize: 850704 [startup+980.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 95540 57 0 0 25 0 11 0 779209890 871120896 28554 4294967295 134512640 134569956 3221224368 3221214428 1131573776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28554 13086 16 0 212660 0 vsize: 850704 [startup+990.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 96532 57 0 0 25 0 11 0 779209890 871120896 28555 4294967295 134512640 134569956 3221224368 3221214544 1131270682 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 28555 13086 16 0 212660 0 vsize: 850704 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 97521 57 0 0 25 0 11 0 779209890 871120896 28556 4294967295 134512640 134569956 3221224368 3221214284 1131568081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28556 13086 16 0 212660 0 vsize: 850704 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 98508 57 0 0 25 0 11 0 779209890 871120896 28561 4294967295 134512640 134569956 3221224368 3221214400 1131249225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28561 13086 16 0 212660 0 vsize: 850704 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 99492 58 0 0 25 0 11 0 779209890 871120896 28564 4294967295 134512640 134569956 3221224368 3221214468 1130885120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28564 13086 16 0 212660 0 vsize: 850704 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 100474 58 0 0 24 0 11 0 779209890 871120896 28602 4294967295 134512640 134569956 3221224368 3221214544 1131270071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28602 13086 16 0 212660 0 vsize: 850704 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 101462 59 0 0 25 0 11 0 779209890 871120896 28608 4294967295 134512640 134569956 3221224368 3221214344 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28608 13086 16 0 212660 0 vsize: 850704 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 102445 59 0 0 25 0 11 0 779209890 871120896 28613 4294967295 134512640 134569956 3221224368 3221214544 1131270068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212676 28613 13086 16 0 212660 0 vsize: 850704 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 103426 59 0 0 25 0 11 0 779209890 871120896 28613 4294967295 134512640 134569956 3221224368 3221214544 1131270071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28613 13086 16 0 212660 0 vsize: 850704 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 104409 59 0 0 25 0 11 0 779209890 871120896 28685 4294967295 134512640 134569956 3221224368 3221214544 1131270545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28685 13086 16 0 212660 0 vsize: 850704 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 105399 59 0 0 25 0 11 0 779209890 871120896 28697 4294967295 134512640 134569956 3221224368 3221214544 1131270071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28697 13086 16 0 212660 0 vsize: 850704 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 106385 60 0 0 25 0 11 0 779209890 871120896 28717 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28717 13086 16 0 212660 0 vsize: 850704 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 107375 60 0 0 25 0 11 0 779209890 871120896 28719 4294967295 134512640 134569956 3221224368 3221214544 1131270485 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28719 13086 16 0 212660 0 vsize: 850704 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 108363 60 0 0 25 0 11 0 779209890 871120896 28720 4294967295 134512640 134569956 3221224368 3221214544 1131270218 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28720 13086 16 0 212660 0 vsize: 850704 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 109349 61 0 0 25 0 11 0 779209890 871120896 28723 4294967295 134512640 134569956 3221224368 3221214544 1131270007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28723 13086 16 0 212660 0 vsize: 850704 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 110337 61 0 0 25 0 11 0 779209890 871120896 28763 4294967295 134512640 134569956 3221224368 3221214544 1131270071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28763 13086 16 0 212660 0 vsize: 850704 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 111330 61 0 0 25 0 11 0 779209890 871120896 28763 4294967295 134512640 134569956 3221224368 3221214632 1131426390 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28763 13086 16 0 212660 0 vsize: 850704 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 112318 61 0 0 25 0 11 0 779209890 871120896 28767 4294967295 134512640 134569956 3221224368 3221214760 1131665878 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28767 13086 16 0 212660 0 vsize: 850704 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 113300 62 0 0 25 0 11 0 779209890 871120896 28789 4294967295 134512640 134569956 3221224368 3221214544 1131270018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28789 13086 16 0 212660 0 vsize: 850704 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 114287 62 0 0 25 0 11 0 779209890 871120896 28789 4294967295 134512640 134569956 3221224368 3221214544 1131270873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28789 13086 16 0 212660 0 vsize: 850704 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 115267 62 0 0 25 0 11 0 779209890 871120896 28797 4294967295 134512640 134569956 3221224368 3221214540 1131210528 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28797 13086 16 0 212660 0 vsize: 850704 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 116254 63 0 0 25 0 11 0 779209890 871120896 28856 4294967295 134512640 134569956 3221224368 3221214544 1131270007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28856 13086 16 0 212660 0 vsize: 850704 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 117246 63 0 0 25 0 11 0 779209890 871120896 28858 4294967295 134512640 134569956 3221224368 3221214544 1131270610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28858 13086 16 0 212660 0 vsize: 850704 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 118239 63 0 0 25 0 11 0 779209890 871120896 28866 4294967295 134512640 134569956 3221224368 3221214544 1131270638 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28866 13086 16 0 212660 0 vsize: 850704 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 119234 63 0 0 25 0 11 0 779209890 871120896 28871 4294967295 134512640 134569956 3221224368 3221214640 1131566741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28871 13086 16 0 212660 0 vsize: 850704 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 31707 Raw data (stat): 31688 (java) R 31687 20224 20223 0 -1 0 18172 4 1 0 120230 64 0 0 25 0 11 0 779209890 871120896 28873 4294967295 134512640 134569956 3221224368 3221214544 1131270203 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212676 28873 13086 16 0 212660 0 vsize: 850704 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.39 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 31709 Raw data (stat): 31688 (java) Z 31687 20224 20223 0 -1 1036 18172 6547 1 0 120255 64 2166 24 25 0 1 0 779209890 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): 1225.11 CPU user time (s): 1224.22 CPU system time (s): 0.889864 CPU usage (%): 99.5714 Max. virtual memory (Kb): 855908 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 1856564311000550 #### END VERIFIER DATA ####