Name | 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 | 4510472947583472 |
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 | 1195.08 |
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 |
LAUNCH ON wulflinc3 THE 2005-09-19 04:59:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6361 boxname=wulflinc3 idbench=501 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: efb36546b6b37df68ff339bb766886b9 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-bell3b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-bell3b.opb IDLAUNCH: 6361 /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: 899316 kB Buffers: 35752 kB Cached: 72668 kB SwapCached: 856 kB Active: 69756 kB Inactive: 41308 kB HighTotal: 131008 kB HighFree: 56840 kB LowTotal: 903652 kB LowFree: 842476 kB SwapTotal: 2097136 kB SwapFree: 2095712 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5720 kB Slab: 18528 kB Committed_AS: 72360 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 05:19:56 (client local time) WITH STATUS 143 IN 1238.8 SECONDS stats: 6361 0 1238.8 143
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 JAVA5.1.1.31 c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@a20892 c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08 c org.sat4j.minisat.learning.MiniSATLearning@158b649 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a sorted array c No reason simplification c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-bell3b.opb c reading problem ... done. Time 2.514 ms. c #vars 2283 c #constraints 151 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 51549814387450070 Current CPU time: 50.24 ms c CURRENT OPTIMUM= 48927213660632750 Current CPU time: 69.37 ms c CURRENT OPTIMUM= 14449930653326950 Current CPU time: 127.09 ms c CURRENT OPTIMUM= 4893047273910850 Current CPU time: 597.34 ms c starts : 9 c conflicts : 807 c decisions : 59605 c propagations : 101937 c inspects : 565705 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 807 c root simplifications : 170 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 58854 c speed (decisions/second) : 94.41643341744562 c non guided choices 10006 c random choices 0 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 objective function=4893047273910850 c Total CPU time (ms) : 1228.882
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788963386 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 39 3 38 16 0 23 0 [pid=28916] vsize: 156 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable open syscall for file /etc/ld.so.preload open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /etc/mtab open syscall for file /proc/meminfo open syscall for file .hotspotrc open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /proc/self/maps open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1 open syscall for file tls/i686/mmx/libnsl.so.1 open syscall for file tls/i686/libnsl.so.1 open syscall for file tls/mmx/libnsl.so.1 open syscall for file tls/libnsl.so.1 open syscall for file i686/mmx/libnsl.so.1 open syscall for file i686/libnsl.so.1 open syscall for file mmx/libnsl.so.1 open syscall for file libnsl.so.1 open syscall for file /oldhome/oroussel/lib/libnsl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libnsl.so.1 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /tmp/hsperfdata_oroussel open syscall for file /tmp/hsperfdata_oroussel/28916 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa open syscall for file .hotspot_compiler New thread pid=28917 New thread pid=28918 New thread pid=28919 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext New thread pid=28920 New thread pid=28921 New thread pid=28922 New thread pid=28923 New thread pid=28924 New thread pid=28925 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security open syscall for file /dev/random open syscall for file /dev/urandom open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-bell3b.opb New thread pid=28926 [startup+10.0027 s] Raw data (loadavg): 0.50 0.62 0.81 2/66 28926 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18118 0 2 0 632 50 0 0 25 0 11 0 1788963386 862445568 20826 4294967295 134512640 134569956 3221224336 3221214352 1131639452 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210558 20826 13129 16 0 210542 0 [pid=28916] vsize: 842232 Current children cumulated CPU time (s) 6.82 Current children cumulated vsize (Kb) 842232 [startup+20.0035 s] Raw data (loadavg): 0.57 0.63 0.82 2/66 28926 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18130 0 2 0 1574 50 0 0 21 0 11 0 1788963386 861782016 21824 4294967295 134512640 134569956 3221224336 3221214296 1078904465 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 21824 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 16.24 Current children cumulated vsize (Kb) 841584 [startup+30.0054 s] Raw data (loadavg): 0.72 0.66 0.82 2/66 28926 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18139 0 2 0 2520 50 0 0 24 0 11 0 1788963386 861782016 22529 4294967295 134512640 134569956 3221224336 3221214644 1131346117 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 22529 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 25.7 Current children cumulated vsize (Kb) 841584 [startup+40.0052 s] Raw data (loadavg): 0.76 0.67 0.82 2/66 28926 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18147 0 2 0 3475 51 0 0 25 0 11 0 1788963386 861782016 22532 4294967295 134512640 134569956 3221224336 3221214752 1131528995 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 22532 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 35.26 Current children cumulated vsize (Kb) 841584 [startup+50.0061 s] Raw data (loadavg): 0.80 0.68 0.82 2/66 28926 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18152 0 2 0 4432 51 0 0 25 0 11 0 1788963386 861782016 22539 4294967295 134512640 134569956 3221224336 3221214096 1085806738 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 22539 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 44.83 Current children cumulated vsize (Kb) 841584 One traced child (pid=28926) exited with status: 0 New thread pid=28927 [startup+60.0069 s] Raw data (loadavg): 0.83 0.69 0.83 2/66 28927 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18208 3 2 0 5371 52 0 0 25 0 11 0 1788963386 861782016 22630 4294967295 134512640 134569956 3221224336 3221214624 1131671639 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 22630 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 54.23 Current children cumulated vsize (Kb) 841584 [startup+70.0067 s] Raw data (loadavg): 0.85 0.70 0.83 2/66 28927 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18213 3 2 0 6324 52 0 0 25 0 11 0 1788963386 861782016 22878 4294967295 134512640 134569956 3221224336 3221214584 1131485037 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 22878 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 63.76 Current children cumulated vsize (Kb) 841584 One traced child (pid=28927) exited with status: 0 New thread pid=28928 [startup+80.0076 s] Raw data (loadavg): 0.88 0.71 0.83 2/66 28928 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18221 3 2 0 7270 53 0 0 20 0 11 0 1788963386 861782016 23128 4294967295 134512640 134569956 3221224336 3221214440 1131406762 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 23128 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 73.23 Current children cumulated vsize (Kb) 841584 [startup+90.0084 s] Raw data (loadavg): 0.89 0.72 0.83 2/66 28928 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18227 3 2 0 8235 53 0 0 25 0 11 0 1788963386 861782016 23296 4294967295 134512640 134569956 3221224336 3221214584 1131487115 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 23296 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 82.88 Current children cumulated vsize (Kb) 841584 [startup+100.009 s] Raw data (loadavg): 0.91 0.73 0.83 2/66 28928 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18234 3 2 0 9205 53 0 0 25 0 11 0 1788963386 861782016 23431 4294967295 134512640 134569956 3221224336 3221214584 1131482867 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 23431 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 92.58 Current children cumulated vsize (Kb) 841584 [startup+110.01 s] Raw data (loadavg): 0.92 0.74 0.83 2/66 28928 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18241 3 2 0 10177 53 0 0 25 0 11 0 1788963386 861782016 23572 4294967295 134512640 134569956 3221224336 3221214536 1131706886 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 23572 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (Kb) 841584 [startup+120.011 s] Raw data (loadavg): 0.93 0.75 0.83 2/66 28928 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18247 3 2 0 11158 53 0 0 25 0 11 0 1788963386 861782016 23650 4294967295 134512640 134569956 3221224336 3221214584 1131487986 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 23650 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 112.11 Current children cumulated vsize (Kb) 841584 One traced child (pid=28928) exited with status: 0 New thread pid=28929 [startup+130.012 s] Raw data (loadavg): 1.02 0.77 0.84 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18253 3 2 0 12142 54 0 0 25 0 11 0 1788963386 861782016 23689 4294967295 134512640 134569956 3221224336 3221214496 1131430759 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 23689 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 121.96 Current children cumulated vsize (Kb) 841584 [startup+140.012 s] Raw data (loadavg): 1.02 0.78 0.84 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18260 3 2 0 13123 54 0 0 25 0 11 0 1788963386 861782016 23733 4294967295 134512640 134569956 3221224336 3221214584 1131488000 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 23733 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 131.77 Current children cumulated vsize (Kb) 841584 [startup+150.013 s] Raw data (loadavg): 1.01 0.78 0.84 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18268 3 2 0 14095 54 0 0 25 0 11 0 1788963386 861782016 23790 4294967295 134512640 134569956 3221224336 3221214528 1131707098 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 23790 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 141.49 Current children cumulated vsize (Kb) 841584 [startup+160.013 s] Raw data (loadavg): 1.01 0.79 0.84 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18274 3 2 0 15075 55 0 0 25 0 11 0 1788963386 861782016 23813 4294967295 134512640 134569956 3221224336 3221214580 1085759292 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 23813 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 151.3 Current children cumulated vsize (Kb) 841584 [startup+170.014 s] Raw data (loadavg): 1.01 0.80 0.84 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18281 3 2 0 16053 55 0 0 25 0 11 0 1788963386 861782016 23818 4294967295 134512640 134569956 3221224336 3221214724 1131057176 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 23818 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 161.08 Current children cumulated vsize (Kb) 841584 [startup+180.014 s] Raw data (loadavg): 1.01 0.80 0.84 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18289 3 2 0 17030 56 0 0 24 0 11 0 1788963386 861782016 23903 4294967295 134512640 134569956 3221224336 3221214460 1131385104 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 23903 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 170.86 Current children cumulated vsize (Kb) 841584 [startup+190.015 s] Raw data (loadavg): 1.00 0.81 0.84 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18295 3 2 0 18014 56 0 0 22 0 11 0 1788963386 861782016 24000 4294967295 134512640 134569956 3221224336 3221214272 1085759277 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24000 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 180.7 Current children cumulated vsize (Kb) 841584 [startup+200.016 s] Raw data (loadavg): 1.00 0.81 0.84 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18302 3 2 0 19001 57 0 0 25 0 11 0 1788963386 861782016 24038 4294967295 134512640 134569956 3221224336 3221214216 1085806738 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24038 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 190.58 Current children cumulated vsize (Kb) 841584 [startup+210.016 s] Raw data (loadavg): 1.00 0.82 0.85 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18310 3 2 0 19986 57 0 0 25 0 11 0 1788963386 861782016 24048 4294967295 134512640 134569956 3221224336 3221214496 1131430315 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24048 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 200.43 Current children cumulated vsize (Kb) 841584 [startup+220.016 s] Raw data (loadavg): 1.00 0.83 0.85 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18317 3 2 0 20973 57 0 0 25 0 11 0 1788963386 861782016 24053 4294967295 134512640 134569956 3221224336 3221214496 1131430128 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24053 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 210.3 Current children cumulated vsize (Kb) 841584 [startup+230.017 s] Raw data (loadavg): 1.00 0.83 0.85 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18325 3 2 0 21957 58 0 0 24 0 11 0 1788963386 861782016 24109 4294967295 134512640 134569956 3221224336 3221214576 1131346076 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24109 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 220.15 Current children cumulated vsize (Kb) 841584 [startup+240.017 s] Raw data (loadavg): 1.00 0.84 0.85 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18333 3 2 0 22946 58 0 0 18 0 11 0 1788963386 861782016 24129 4294967295 134512640 134569956 3221224336 3221214496 1131430128 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24129 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 230.04 Current children cumulated vsize (Kb) 841584 [startup+250.018 s] Raw data (loadavg): 1.00 0.84 0.85 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18341 3 2 0 23935 59 0 0 18 0 11 0 1788963386 861782016 24145 4294967295 134512640 134569956 3221224336 3221214400 1085806260 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24145 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 239.94 Current children cumulated vsize (Kb) 841584 [startup+260.019 s] Raw data (loadavg): 1.00 0.85 0.85 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18349 3 2 0 24926 59 0 0 25 0 11 0 1788963386 861782016 24159 4294967295 134512640 134569956 3221224336 3221214496 1131431347 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24159 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 249.85 Current children cumulated vsize (Kb) 841584 [startup+270.019 s] Raw data (loadavg): 1.00 0.85 0.85 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18356 3 2 0 25916 59 0 0 25 0 11 0 1788963386 861782016 24169 4294967295 134512640 134569956 3221224336 3221214584 1131483698 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24169 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 259.75 Current children cumulated vsize (Kb) 841584 [startup+280.019 s] Raw data (loadavg): 1.00 0.85 0.85 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18364 3 2 0 26902 60 0 0 16 0 11 0 1788963386 861782016 24179 4294967295 134512640 134569956 3221224336 3221214360 1131407114 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24179 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 269.62 Current children cumulated vsize (Kb) 841584 [startup+290.02 s] Raw data (loadavg): 1.00 0.86 0.85 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18370 3 2 0 27889 60 0 0 25 0 11 0 1788963386 861782016 24187 4294967295 134512640 134569956 3221224336 3221214576 1131346105 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24187 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 279.49 Current children cumulated vsize (Kb) 841584 [startup+300.021 s] Raw data (loadavg): 1.00 0.86 0.85 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18378 3 2 0 28872 60 0 0 20 0 11 0 1788963386 861782016 24189 4294967295 134512640 134569956 3221224336 3221214496 1131430713 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24189 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 289.32 Current children cumulated vsize (Kb) 841584 [startup+310.022 s] Raw data (loadavg): 1.00 0.87 0.86 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18386 3 2 0 29855 61 0 0 25 0 11 0 1788963386 861782016 24237 4294967295 134512640 134569956 3221224336 3221214496 1131430128 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24237 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 299.16 Current children cumulated vsize (Kb) 841584 [startup+320.022 s] Raw data (loadavg): 1.00 0.87 0.86 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18395 3 2 0 30837 61 0 0 24 0 11 0 1788963386 861782016 24252 4294967295 134512640 134569956 3221224336 3221214496 1085806348 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24252 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 308.98 Current children cumulated vsize (Kb) 841584 [startup+330.023 s] Raw data (loadavg): 1.00 0.87 0.86 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18402 3 2 0 31822 61 0 0 18 0 11 0 1788963386 861782016 24302 4294967295 134512640 134569956 3221224336 3221214584 1131487141 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24302 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 318.83 Current children cumulated vsize (Kb) 841584 [startup+340.022 s] Raw data (loadavg): 1.00 0.88 0.86 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18410 3 2 0 32808 62 0 0 25 0 11 0 1788963386 861782016 24311 4294967295 134512640 134569956 3221224336 3221214584 1131484632 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24311 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 328.7 Current children cumulated vsize (Kb) 841584 [startup+350.024 s] Raw data (loadavg): 1.00 0.88 0.86 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18418 3 2 0 33793 62 0 0 25 0 11 0 1788963386 861782016 24357 4294967295 134512640 134569956 3221224336 3221214368 1131507488 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24357 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 338.55 Current children cumulated vsize (Kb) 841584 [startup+360.025 s] Raw data (loadavg): 1.00 0.89 0.86 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18426 3 2 0 34776 63 0 0 25 0 11 0 1788963386 861782016 24363 4294967295 134512640 134569956 3221224336 3221214480 1131435211 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24363 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 348.39 Current children cumulated vsize (Kb) 841584 [startup+370.025 s] Raw data (loadavg): 1.00 0.89 0.86 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18435 3 2 0 35758 63 0 0 18 0 11 0 1788963386 861782016 24392 4294967295 134512640 134569956 3221224336 3221214584 1131484748 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24392 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 358.21 Current children cumulated vsize (Kb) 841584 [startup+380.026 s] Raw data (loadavg): 1.00 0.89 0.86 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18443 3 2 0 36741 63 0 0 25 0 11 0 1788963386 861782016 24397 4294967295 134512640 134569956 3221224336 3221214584 1131485804 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24397 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 368.04 Current children cumulated vsize (Kb) 841584 [startup+390.026 s] Raw data (loadavg): 1.00 0.89 0.86 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18451 3 2 0 37723 64 0 0 25 0 11 0 1788963386 861782016 24478 4294967295 134512640 134569956 3221224336 3221214584 1131483888 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24478 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 377.87 Current children cumulated vsize (Kb) 841584 [startup+400.026 s] Raw data (loadavg): 1.16 0.93 0.87 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18460 3 2 0 38709 64 0 0 22 0 11 0 1788963386 861782016 24490 4294967295 134512640 134569956 3221224336 3221214496 1131430077 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24490 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 387.73 Current children cumulated vsize (Kb) 841584 [startup+410.027 s] Raw data (loadavg): 1.13 0.93 0.88 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18469 3 2 0 39696 64 0 0 25 0 11 0 1788963386 861782016 24492 4294967295 134512640 134569956 3221224336 3221214368 1131406796 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24492 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 397.6 Current children cumulated vsize (Kb) 841584 [startup+420.027 s] Raw data (loadavg): 1.11 0.93 0.88 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18477 3 2 0 40686 64 0 0 19 0 11 0 1788963386 861782016 24536 4294967295 134512640 134569956 3221224336 3221214536 1131707092 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24536 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 407.5 Current children cumulated vsize (Kb) 841584 [startup+430.028 s] Raw data (loadavg): 1.10 0.94 0.88 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18484 3 2 0 41678 64 0 0 25 0 11 0 1788963386 861782016 24539 4294967295 134512640 134569956 3221224336 3221214584 1131483044 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24539 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 417.42 Current children cumulated vsize (Kb) 841584 [startup+440.028 s] Raw data (loadavg): 1.08 0.94 0.88 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18493 3 2 0 42664 65 0 0 22 0 11 0 1788963386 861782016 24543 4294967295 134512640 134569956 3221224336 3221214496 1131380112 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24543 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 427.29 Current children cumulated vsize (Kb) 841584 [startup+450.029 s] Raw data (loadavg): 1.07 0.94 0.88 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18502 3 2 0 43651 65 0 0 25 0 11 0 1788963386 861782016 24543 4294967295 134512640 134569956 3221224336 3221214584 1131483888 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24543 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 437.16 Current children cumulated vsize (Kb) 841584 [startup+460.029 s] Raw data (loadavg): 1.06 0.94 0.88 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18510 3 2 0 44638 65 0 0 25 0 11 0 1788963386 861782016 24561 4294967295 134512640 134569956 3221224336 3221214584 1131483755 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24561 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 447.03 Current children cumulated vsize (Kb) 841584 [startup+470.03 s] Raw data (loadavg): 1.05 0.94 0.88 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18519 3 2 0 45625 66 0 0 25 0 11 0 1788963386 861782016 24592 4294967295 134512640 134569956 3221224336 3221214496 1131430244 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24592 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 456.91 Current children cumulated vsize (Kb) 841584 [startup+480.031 s] Raw data (loadavg): 1.04 0.94 0.88 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18526 3 2 0 46613 66 0 0 24 0 11 0 1788963386 861782016 24605 4294967295 134512640 134569956 3221224336 3221214520 1131407009 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24605 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 466.79 Current children cumulated vsize (Kb) 841584 [startup+490.031 s] Raw data (loadavg): 1.03 0.94 0.88 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18536 3 2 0 47595 66 0 0 24 0 11 0 1788963386 861782016 24612 4294967295 134512640 134569956 3221224336 3221214496 1131430563 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24612 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 476.61 Current children cumulated vsize (Kb) 841584 [startup+500.033 s] Raw data (loadavg): 1.03 0.95 0.88 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18545 3 2 0 48580 67 0 0 17 0 11 0 1788963386 861782016 24623 4294967295 134512640 134569956 3221224336 3221214496 1131430146 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24623 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 486.47 Current children cumulated vsize (Kb) 841584 [startup+510.034 s] Raw data (loadavg): 1.02 0.95 0.89 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18554 3 2 0 49566 67 0 0 25 0 11 0 1788963386 861782016 24676 4294967295 134512640 134569956 3221224336 3221214584 1131482936 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24676 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 496.33 Current children cumulated vsize (Kb) 841584 [startup+520.034 s] Raw data (loadavg): 1.02 0.95 0.89 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18563 3 2 0 50556 68 0 0 25 0 11 0 1788963386 861782016 24684 4294967295 134512640 134569956 3221224336 3221214480 1131435199 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24684 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 506.24 Current children cumulated vsize (Kb) 841584 [startup+530.035 s] Raw data (loadavg): 1.02 0.95 0.89 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18573 3 2 0 51544 68 0 0 19 0 11 0 1788963386 861782016 24695 4294967295 134512640 134569956 3221224336 3221214496 1131431339 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24695 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 516.12 Current children cumulated vsize (Kb) 841584 [startup+540.036 s] Raw data (loadavg): 1.01 0.95 0.89 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18582 3 2 0 52531 69 0 0 17 0 11 0 1788963386 861782016 24702 4294967295 134512640 134569956 3221224336 3221214496 1131429965 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24702 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 526 Current children cumulated vsize (Kb) 841584 [startup+550.037 s] Raw data (loadavg): 1.01 0.95 0.89 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18590 3 2 0 53516 70 0 0 25 0 11 0 1788963386 861782016 24718 4294967295 134512640 134569956 3221224336 3221214464 1131515527 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24718 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 535.86 Current children cumulated vsize (Kb) 841584 [startup+560.038 s] Raw data (loadavg): 1.01 0.95 0.89 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18599 3 2 0 54498 70 0 0 24 0 11 0 1788963386 861782016 24727 4294967295 134512640 134569956 3221224336 3221214584 1131487986 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24727 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 545.68 Current children cumulated vsize (Kb) 841584 [startup+570.039 s] Raw data (loadavg): 1.01 0.95 0.89 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18607 3 2 0 55478 71 0 0 19 0 11 0 1788963386 861782016 24732 4294967295 134512640 134569956 3221224336 3221214584 1131482936 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24732 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 555.49 Current children cumulated vsize (Kb) 841584 [startup+580.04 s] Raw data (loadavg): 1.00 0.95 0.89 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18615 3 2 0 56462 72 0 0 22 0 11 0 1788963386 861782016 24790 4294967295 134512640 134569956 3221224336 3221214496 1131430244 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24790 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 565.34 Current children cumulated vsize (Kb) 841584 [startup+590.04 s] Raw data (loadavg): 1.00 0.95 0.89 2/66 28929 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18624 3 2 0 57446 72 0 0 17 0 11 0 1788963386 861782016 24834 4294967295 134512640 134569956 3221224336 3221214496 1131431372 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24834 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 575.18 Current children cumulated vsize (Kb) 841584 One traced child (pid=28929) exited with status: 0 New thread pid=28930 [startup+600.041 s] Raw data (loadavg): 1.00 0.96 0.89 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18632 3 2 0 58434 72 0 0 17 0 11 0 1788963386 861782016 24881 4294967295 134512640 134569956 3221224336 3221214480 1131435199 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 24881 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 585.06 Current children cumulated vsize (Kb) 841584 [startup+610.042 s] Raw data (loadavg): 1.00 0.96 0.90 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18640 3 2 0 59417 73 0 0 20 0 11 0 1788963386 861782016 24885 4294967295 134512640 134569956 3221224336 3221214584 1131487647 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24885 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 594.9 Current children cumulated vsize (Kb) 841584 [startup+620.043 s] Raw data (loadavg): 1.00 0.96 0.90 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18648 3 2 0 60399 73 0 0 25 0 11 0 1788963386 861782016 24892 4294967295 134512640 134569956 3221224336 3221214496 1131430128 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24892 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 604.72 Current children cumulated vsize (Kb) 841584 [startup+630.043 s] Raw data (loadavg): 1.00 0.96 0.90 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18657 3 2 0 61377 74 0 0 17 0 11 0 1788963386 861782016 24901 4294967295 134512640 134569956 3221224336 3221214496 1131430248 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24901 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 614.51 Current children cumulated vsize (Kb) 841584 [startup+640.044 s] Raw data (loadavg): 1.00 0.96 0.90 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18665 3 2 0 62355 74 0 0 25 0 11 0 1788963386 861782016 24979 4294967295 134512640 134569956 3221224336 3221214496 1131430128 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 24979 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 624.29 Current children cumulated vsize (Kb) 841584 [startup+650.044 s] Raw data (loadavg): 1.00 0.96 0.90 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18674 3 2 0 63336 74 0 0 25 0 11 0 1788963386 861782016 25014 4294967295 134512640 134569956 3221224336 3221214496 1131430345 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25014 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 634.1 Current children cumulated vsize (Kb) 841584 [startup+660.045 s] Raw data (loadavg): 1.00 0.96 0.90 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18682 3 2 0 64321 75 0 0 25 0 11 0 1788963386 861782016 25028 4294967295 134512640 134569956 3221224336 3221214496 1131430125 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25028 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 643.96 Current children cumulated vsize (Kb) 841584 [startup+670.046 s] Raw data (loadavg): 1.00 0.96 0.90 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18692 3 2 0 65306 75 0 0 17 0 11 0 1788963386 861782016 25095 4294967295 134512640 134569956 3221224336 3221214480 1131435181 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25095 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 653.81 Current children cumulated vsize (Kb) 841584 [startup+680.047 s] Raw data (loadavg): 1.00 0.96 0.90 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18700 3 2 0 66296 75 0 0 23 0 11 0 1788963386 861782016 25102 4294967295 134512640 134569956 3221224336 3221214584 1131487476 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25102 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 663.71 Current children cumulated vsize (Kb) 841584 [startup+690.047 s] Raw data (loadavg): 1.00 0.96 0.90 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18709 3 2 0 67285 76 0 0 24 0 11 0 1788963386 861782016 25115 4294967295 134512640 134569956 3221224336 3221214584 1131487462 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25115 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 673.61 Current children cumulated vsize (Kb) 841584 [startup+700.048 s] Raw data (loadavg): 1.00 0.97 0.90 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18719 3 2 0 68273 76 0 0 17 0 11 0 1788963386 861782016 25128 4294967295 134512640 134569956 3221224336 3221214584 1131484256 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25128 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 683.49 Current children cumulated vsize (Kb) 841584 [startup+710.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18728 3 2 0 69262 77 0 0 17 0 11 0 1788963386 861782016 25137 4294967295 134512640 134569956 3221224336 3221214496 1131430128 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25137 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 693.39 Current children cumulated vsize (Kb) 841584 [startup+720.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18737 3 2 0 70253 77 0 0 20 0 11 0 1788963386 861782016 25146 4294967295 134512640 134569956 3221224336 3221214584 1131488243 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25146 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 703.3 Current children cumulated vsize (Kb) 841584 [startup+730.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18746 3 2 0 71245 77 0 0 24 0 11 0 1788963386 861782016 25153 4294967295 134512640 134569956 3221224336 3221214368 1131406935 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25153 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 713.22 Current children cumulated vsize (Kb) 841584 [startup+740.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18753 3 2 0 72235 78 0 0 25 0 11 0 1788963386 861782016 25161 4294967295 134512640 134569956 3221224336 3221214496 1131431009 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25161 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 723.13 Current children cumulated vsize (Kb) 841584 [startup+750.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18762 3 2 0 73224 78 0 0 25 0 11 0 1788963386 861782016 25161 4294967295 134512640 134569956 3221224336 3221214496 1131430244 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25161 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 733.02 Current children cumulated vsize (Kb) 841584 [startup+760.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18770 3 2 0 74213 78 0 0 25 0 11 0 1788963386 861782016 25162 4294967295 134512640 134569956 3221224336 3221214496 1131430128 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25162 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 742.91 Current children cumulated vsize (Kb) 841584 [startup+770.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18779 3 2 0 75202 78 0 0 24 0 11 0 1788963386 861782016 25172 4294967295 134512640 134569956 3221224336 3221214576 1131346076 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25172 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 752.8 Current children cumulated vsize (Kb) 841584 [startup+780.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18787 3 2 0 76192 79 0 0 25 0 11 0 1788963386 861782016 25197 4294967295 134512640 134569956 3221224336 3221214576 1131346108 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25197 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 762.71 Current children cumulated vsize (Kb) 841584 [startup+790.055 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18795 3 2 0 77179 80 0 0 25 0 11 0 1788963386 861782016 25202 4294967295 134512640 134569956 3221224336 3221214496 1131430077 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25202 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 772.59 Current children cumulated vsize (Kb) 841584 [startup+800.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18803 3 2 0 78165 80 0 0 25 0 11 0 1788963386 861782016 25207 4294967295 134512640 134569956 3221224336 3221214584 1131484748 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25207 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 782.45 Current children cumulated vsize (Kb) 841584 [startup+810.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18811 3 2 0 79149 80 0 0 25 0 11 0 1788963386 861782016 25212 4294967295 134512640 134569956 3221224336 3221214496 1131430051 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25212 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 792.29 Current children cumulated vsize (Kb) 841584 [startup+820.058 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18820 3 2 0 80131 81 0 0 23 0 11 0 1788963386 861782016 25222 4294967295 134512640 134569956 3221224336 3221214584 1131482936 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25222 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 802.12 Current children cumulated vsize (Kb) 841584 [startup+830.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18829 3 2 0 81118 81 0 0 22 0 11 0 1788963386 861782016 25272 4294967295 134512640 134569956 3221224336 3221214584 1131482623 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25272 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 811.99 Current children cumulated vsize (Kb) 841584 [startup+840.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18838 3 2 0 82108 81 0 0 25 0 11 0 1788963386 861782016 25296 4294967295 134512640 134569956 3221224336 3221214576 1131346108 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25296 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 821.89 Current children cumulated vsize (Kb) 841584 [startup+850.061 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18846 3 2 0 83099 82 0 0 25 0 11 0 1788963386 861782016 25299 4294967295 134512640 134569956 3221224336 3221214584 1131488851 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25299 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 831.81 Current children cumulated vsize (Kb) 841584 [startup+860.062 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18855 3 2 0 84088 82 0 0 25 0 11 0 1788963386 861782016 25309 4294967295 134512640 134569956 3221224336 3221214736 1131368217 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25309 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 841.7 Current children cumulated vsize (Kb) 841584 [startup+870.063 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18864 3 2 0 85079 82 0 0 20 0 11 0 1788963386 861782016 25313 4294967295 134512640 134569956 3221224336 3221214256 1131683639 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25313 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 851.61 Current children cumulated vsize (Kb) 841584 [startup+880.064 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18873 3 2 0 86068 83 0 0 18 0 11 0 1788963386 861782016 25314 4294967295 134512640 134569956 3221224336 3221214304 1131682066 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25314 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 861.51 Current children cumulated vsize (Kb) 841584 [startup+890.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18881 3 2 0 87060 83 0 0 25 0 11 0 1788963386 861782016 25327 4294967295 134512640 134569956 3221224336 3221214496 1131430244 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25327 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 871.43 Current children cumulated vsize (Kb) 841584 [startup+900.065 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18889 3 2 0 88053 83 0 0 25 0 11 0 1788963386 861782016 25332 4294967295 134512640 134569956 3221224336 3221214496 1131430128 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25332 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 881.36 Current children cumulated vsize (Kb) 841584 [startup+910.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18898 3 2 0 89042 84 0 0 22 0 11 0 1788963386 861782016 25337 4294967295 134512640 134569956 3221224336 3221214584 1131487399 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25337 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 891.26 Current children cumulated vsize (Kb) 841584 [startup+920.067 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18907 3 2 0 90030 84 0 0 21 0 11 0 1788963386 861782016 25337 4294967295 134512640 134569956 3221224336 3221214584 1131484916 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25337 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 901.14 Current children cumulated vsize (Kb) 841584 [startup+930.068 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18915 3 2 0 91018 85 0 0 25 0 11 0 1788963386 861782016 25337 4294967295 134512640 134569956 3221224336 3221214624 1131671665 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25337 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 911.03 Current children cumulated vsize (Kb) 841584 [startup+940.069 s] Raw data (loadavg): 1.00 0.97 0.91 3/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18923 3 2 0 92000 85 0 0 25 0 11 0 1788963386 861782016 25352 4294967295 134512640 134569956 3221224336 3221214584 1131487304 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25352 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 920.85 Current children cumulated vsize (Kb) 841584 [startup+950.071 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18930 3 2 0 92982 86 0 0 25 0 11 0 1788963386 861782016 25358 4294967295 134512640 134569956 3221224336 3221214584 1131487644 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25358 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 930.68 Current children cumulated vsize (Kb) 841584 [startup+960.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18939 3 2 0 93960 86 0 0 19 0 11 0 1788963386 861782016 25368 4294967295 134512640 134569956 3221224336 3221214584 1131482936 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25368 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 940.46 Current children cumulated vsize (Kb) 841584 [startup+970.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18947 3 2 0 94940 86 0 0 25 0 11 0 1788963386 861782016 25418 4294967295 134512640 134569956 3221224336 3221214304 1131682066 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25418 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 950.26 Current children cumulated vsize (Kb) 841584 [startup+980.073 s] Raw data (loadavg): 1.00 0.97 0.91 3/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18955 3 2 0 95925 86 0 0 25 0 11 0 1788963386 861782016 25488 4294967295 134512640 134569956 3221224336 3221214584 1131488790 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25488 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 960.11 Current children cumulated vsize (Kb) 841584 [startup+990.073 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18964 3 2 0 96913 87 0 0 18 0 11 0 1788963386 861782016 25511 4294967295 134512640 134569956 3221224336 3221214496 1131430128 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25511 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 970 Current children cumulated vsize (Kb) 841584 [startup+1000.07 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18971 3 2 0 97902 87 0 0 25 0 11 0 1788963386 861782016 25518 4294967295 134512640 134569956 3221224336 3221214480 1131435191 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25518 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 979.89 Current children cumulated vsize (Kb) 841584 [startup+1010.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18979 3 2 0 98888 88 0 0 25 0 11 0 1788963386 861782016 25530 4294967295 134512640 134569956 3221224336 3221214584 1131482936 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25530 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 989.76 Current children cumulated vsize (Kb) 841584 [startup+1020.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18988 3 2 0 99872 88 0 0 18 0 11 0 1788963386 861782016 25532 4294967295 134512640 134569956 3221224336 3221214584 1131484256 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25532 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 999.6 Current children cumulated vsize (Kb) 841584 [startup+1030.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 18996 3 2 0 100857 88 0 0 25 0 11 0 1788963386 861782016 25535 4294967295 134512640 134569956 3221224336 3221214496 1131430156 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25535 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1009.45 Current children cumulated vsize (Kb) 841584 [startup+1040.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19005 3 2 0 101844 89 0 0 18 0 11 0 1788963386 861782016 25589 4294967295 134512640 134569956 3221224336 3221214584 1131487476 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25589 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1019.33 Current children cumulated vsize (Kb) 841584 [startup+1050.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19013 3 2 0 102832 89 0 0 17 0 11 0 1788963386 861782016 25596 4294967295 134512640 134569956 3221224336 3221214496 1131430279 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25596 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1029.21 Current children cumulated vsize (Kb) 841584 [startup+1060.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19020 3 2 0 103820 89 0 0 25 0 11 0 1788963386 861782016 25602 4294967295 134512640 134569956 3221224336 3221214304 1131682122 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25602 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1039.09 Current children cumulated vsize (Kb) 841584 [startup+1070.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19028 3 2 0 104806 89 0 0 25 0 11 0 1788963386 861782016 25610 4294967295 134512640 134569956 3221224336 3221214496 1131430256 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25610 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1048.95 Current children cumulated vsize (Kb) 841584 [startup+1080.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19036 3 2 0 105791 90 0 0 22 0 11 0 1788963386 861782016 25612 4294967295 134512640 134569956 3221224336 3221214584 1131486899 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25612 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1058.81 Current children cumulated vsize (Kb) 841584 [startup+1090.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19045 3 2 0 106777 90 0 0 25 0 11 0 1788963386 861782016 25651 4294967295 134512640 134569956 3221224336 3221214496 1131430128 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25651 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1068.67 Current children cumulated vsize (Kb) 841584 [startup+1100.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19053 3 2 0 107767 91 0 0 25 0 11 0 1788963386 861782016 25664 4294967295 134512640 134569956 3221224336 3221214440 1131708768 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25664 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1078.58 Current children cumulated vsize (Kb) 841584 [startup+1110.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19062 3 2 0 108756 91 0 0 22 0 11 0 1788963386 861782016 25676 4294967295 134512640 134569956 3221224336 3221214480 1131435299 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25676 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1088.47 Current children cumulated vsize (Kb) 841584 [startup+1120.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19071 3 2 0 109744 91 0 0 25 0 11 0 1788963386 861782016 25681 4294967295 134512640 134569956 3221224336 3221214496 1131430303 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25681 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1098.35 Current children cumulated vsize (Kb) 841584 [startup+1130.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19080 3 2 0 110733 92 0 0 25 0 11 0 1788963386 861782016 25688 4294967295 134512640 134569956 3221224336 3221214584 1131482936 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25688 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1108.25 Current children cumulated vsize (Kb) 841584 [startup+1140.08 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19088 3 2 0 111724 92 0 0 20 0 11 0 1788963386 861782016 25694 4294967295 134512640 134569956 3221224336 3221214256 1131683607 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25694 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1118.16 Current children cumulated vsize (Kb) 841584 [startup+1150.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19096 3 2 0 112713 92 0 0 20 0 11 0 1788963386 861782016 25707 4294967295 134512640 134569956 3221224336 3221214584 1131482867 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25707 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1128.05 Current children cumulated vsize (Kb) 841584 [startup+1160.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19105 3 2 0 113701 93 0 0 24 0 11 0 1788963386 861782016 25714 4294967295 134512640 134569956 3221224336 3221214252 1131683672 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25714 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1137.94 Current children cumulated vsize (Kb) 841584 [startup+1170.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19113 3 2 0 114691 93 0 0 23 0 11 0 1788963386 861782016 25719 4294967295 134512640 134569956 3221224336 3221214584 1131484256 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25719 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1147.84 Current children cumulated vsize (Kb) 841584 [startup+1180.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19122 3 2 0 115681 94 0 0 24 0 11 0 1788963386 861782016 25724 4294967295 134512640 134569956 3221224336 3221214584 1131487476 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25724 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1157.75 Current children cumulated vsize (Kb) 841584 [startup+1190.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19131 3 2 0 116671 94 0 0 23 0 11 0 1788963386 861782016 25737 4294967295 134512640 134569956 3221224336 3221214584 1131484232 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25737 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1167.65 Current children cumulated vsize (Kb) 841584 [startup+1200.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19140 3 2 0 117661 94 0 0 19 0 11 0 1788963386 861782016 25742 4294967295 134512640 134569956 3221224336 3221214584 1131484748 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25742 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1177.55 Current children cumulated vsize (Kb) 841584 [startup+1210.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19149 3 2 0 118650 95 0 0 25 0 11 0 1788963386 861782016 25747 4294967295 134512640 134569956 3221224336 3221214584 1131484584 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/28916/statm): 210396 25747 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1187.45 Current children cumulated vsize (Kb) 841584 [startup+1220.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19156 3 2 0 119636 95 0 0 25 0 11 0 1788963386 861782016 25755 4294967295 134512640 134569956 3221224336 3221214532 1131708653 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25755 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1197.31 Current children cumulated vsize (Kb) 841584 [startup+1230.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19165 3 2 0 120619 96 0 0 21 0 11 0 1788963386 861782016 25755 4294967295 134512640 134569956 3221224336 3221214496 1131429976 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25755 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1207.15 Current children cumulated vsize (Kb) 841584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.09 s] Raw data (loadavg): 1.00 0.97 0.91 2/66 28930 Raw data (/proc/28916/stat): 28916 (java) R 28915 28916 31915 0 -1 0 19165 3 2 0 120619 96 0 0 21 0 11 0 1788963386 861782016 25755 4294967295 134512640 134569956 3221224336 3221214496 1131430244 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/28916/statm): 210396 25755 13129 16 0 210380 0 [pid=28916] vsize: 841584 Current children cumulated CPU time (s) 1207.15 Current children cumulated vsize (Kb) 841584 Sending SIGTERM to -28916 Sleeping 2 seconds New thread pid=28932 New thread pid=28933 One traced child (pid=28933) exited with status: 0 One traced child (pid=28925) exited with status: 0 One traced child (pid=28920) exited with status: 0 One traced child (pid=28917) exited with status: 143 One traced child (pid=28919) exited with status: 143 One traced child (pid=28921) exited with status: 143 One traced child (pid=28924) exited with status: 143 One traced child (pid=28922) exited with status: 143 One traced child (pid=28918) exited with status: 143 One traced child (pid=28930) exited with status: 143 One traced child (pid=28923) exited with status: 143 One traced child (pid=28932) exited with status: 143 One traced child (pid=28916) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1230.38 CPU time (s): 1238.8 CPU user time (s): 1237 CPU system time (s): 1.79873 CPU usage (%): 100.684 Max. virtual memory (cumulated for all children) (Kb): 842232
Verifier: OK 4893047273910850