Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3a.opb |
MD5SUM | d95da3ca5417070201766bede2d4ef9c |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1256 |
Biggest coefficient in the objective function | 393216000000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 14511389815457650 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 393216000000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 14511389815457650 |
Number of bits of the biggest sum of numbers | 54 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 7.69383 |
Number of variables | 1599 |
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 | 131 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-05-25 12:37:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21296 boxname=wulflinc12 idbench=1284 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: d95da3ca5417070201766bede2d4ef9c /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-bell3a.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-bell3a.opb IDLAUNCH: 21296 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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: 363808 kB Buffers: 34472 kB Cached: 615112 kB SwapCached: 564 kB Active: 44892 kB Inactive: 607148 kB HighTotal: 131008 kB HighFree: 10164 kB LowTotal: 903652 kB LowFree: 353644 kB SwapTotal: 2097136 kB SwapFree: 2096076 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5680 kB Slab: 13240 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 12:58:17 (client local time) WITH STATUS 143 IN 1243.86 SECONDS stats: 21296 0 1243.86 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-bell3a.opb c reading problem ... done. Time 2.876 ms. c #vars 1599 c #constraints 147 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 900486447555990 Current CPU time: 40.43 ms c CURRENT OPTIMUM= 900438606275990 Current CPU time: 42.57 ms c CURRENT OPTIMUM= 900414685635990 Current CPU time: 44.86 ms c CURRENT OPTIMUM= 900402725315990 Current CPU time: 47.16 ms c CURRENT OPTIMUM= 900396745155990 Current CPU time: 49.41 ms c CURRENT OPTIMUM= 900395997635990 Current CPU time: 51.81 ms c CURRENT OPTIMUM= 900395623875990 Current CPU time: 54.25 ms c CURRENT OPTIMUM= 900395436995990 Current CPU time: 56.72 ms c CURRENT OPTIMUM= 900394315533490 Current CPU time: 68.89 ms c CURRENT OPTIMUM= 554243000951480 Current CPU time: 71.96 ms c CURRENT OPTIMUM= 538531768951480 Current CPU time: 74.85 ms c CURRENT OPTIMUM= 538501868151480 Current CPU time: 77.89 ms c CURRENT OPTIMUM= 538494392951480 Current CPU time: 81.24 ms c CURRENT OPTIMUM= 538492524151480 Current CPU time: 84.81 ms c CURRENT OPTIMUM= 538492516851480 Current CPU time: 88.94 ms c CURRENT OPTIMUM= 538464398711480 Current CPU time: 93.74 ms c CURRENT OPTIMUM= 113362659399680 Current CPU time: 97.54 ms c CURRENT OPTIMUM= 113059939399680 Current CPU time: 102.96 ms c CURRENT OPTIMUM= 107349973914980 Current CPU time: 137.73 ms c CURRENT OPTIMUM= 89721274396360 Current CPU time: 193.78 ms c CURRENT OPTIMUM= 76178004389400 Current CPU time: 480.52 ms c CURRENT OPTIMUM= 76122808899370 Current CPU time: 754.10 ms c starts : 26 c conflicts : 606 c decisions : 55640 c propagations : 101940 c inspects : 623162 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 606 c root simplifications : 75 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 -h2_bit0 h2_bit1 -h2_bit2 -h2_bit3 -h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h3_bit0 -h3_bit1 h3_bit2 -h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h4_bit0 h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h5_bit0 -h5_bit1 -h5_bit2 -h5_bit3 h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h6_bit0 -h6_bit1 -h6_bit2 -h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h7_bit0 -h7_bit1 -h7_bit2 -h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h9_bit0 -h9_bit1 -h9_bit2 -h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -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 g2_bit0 g2_bit1 -g2_bit2 -g2_bit3 -g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 -g2_bit9 -g3_bit0 -g3_bit1 -g3_bit2 -g3_bit3 -g3_bit4 -g3_bit5 g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 -g4_bit0 g4_bit1 -g4_bit2 -g4_bit3 -g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 g5_bit0 g5_bit1 -g5_bit2 g5_bit3 -g5_bit4 g5_bit5 -g5_bit6 -g5_bit7 -g5_bit8 -g5_bit9 g6_bit0 -g6_bit1 g6_bit2 -g6_bit3 g6_bit4 -g6_bit5 -g6_bit6 -g6_bit7 -g6_bit8 -g6_bit9 -g7_bit0 -g7_bit1 -g7_bit2 -g7_bit3 -g7_bit4 -g7_bit5 g7_bit6 -g7_bit7 -g7_bit8 -g7_bit9 -g9_bit0 -g9_bit1 -g9_bit2 -g9_bit3 -g9_bit4 -g9_bit5 -g9_bit6 -g9_bit7 -g9_bit8 -g9_bit9 -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_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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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_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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 c objectif function=76122808899370 c Total CPU time (ms) : 1229.318 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.99 2/54 11734 Raw data (stat): 11734 (runsolver) R 11733 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780708224 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0002 s] Raw data (loadavg): 1.02 1.00 1.00 4/64 11744 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18085 0 1 0 732 40 0 0 25 0 11 0 780708224 865484800 21565 4294967295 134512640 134569956 3221224368 3221214536 1131211167 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211300 21565 13086 16 0 211284 0 vsize: 845200 [startup+20.0001 s] Raw data (loadavg): 1.24 1.05 1.02 2/64 11744 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18085 0 1 0 1623 41 0 0 25 0 11 0 780708224 867094528 22829 4294967295 134512640 134569956 3221224368 3221214688 1131234875 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211693 22829 13086 16 0 211677 0 vsize: 846772 [startup+30.0014 s] Raw data (loadavg): 1.20 1.05 1.01 2/64 11744 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18085 0 1 0 2577 41 0 0 25 0 11 0 780708224 862633984 22097 4294967295 134512640 134569956 3221224368 3221214688 1131235239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 22097 13086 16 0 210588 0 vsize: 842416 [startup+40.0018 s] Raw data (loadavg): 1.17 1.04 1.01 2/64 11744 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18085 0 1 0 3524 41 0 0 25 0 11 0 780708224 862633984 22301 4294967295 134512640 134569956 3221224368 3221214296 1131520708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 22301 13086 16 0 210588 0 vsize: 842416 [startup+50.0026 s] Raw data (loadavg): 1.14 1.04 1.01 2/64 11748 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 4499 42 0 0 25 0 11 0 780708224 862633984 22571 4294967295 134512640 134569956 3221224368 3221214328 1085679313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 22571 13086 16 0 210588 0 vsize: 842416 [startup+60.003 s] Raw data (loadavg): 1.12 1.04 1.01 2/64 11752 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 5460 42 0 0 24 0 11 0 780708224 862633984 22637 4294967295 134512640 134569956 3221224368 3221214664 1131234818 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 22637 13086 16 0 210588 0 vsize: 842416 [startup+70.0033 s] Raw data (loadavg): 1.10 1.04 1.01 2/64 11753 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 6409 43 0 0 25 0 11 0 780708224 862633984 22771 4294967295 134512640 134569956 3221224368 3221214720 1131194475 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210604 22771 13086 16 0 210588 0 vsize: 842416 [startup+80.0043 s] Raw data (loadavg): 1.09 1.04 1.01 2/64 11756 Raw data (stat): 11734 (java) S 11733 32284 32283 0 -1 0 18132 3 1 0 7384 43 0 0 25 0 11 0 780708224 862633984 22851 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 22851 13086 16 0 210588 0 vsize: 842416 [startup+90.0044 s] Raw data (loadavg): 1.07 1.04 1.01 2/64 11759 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 8337 43 0 0 25 0 11 0 780708224 862633984 23070 4294967295 134512640 134569956 3221224368 3221214404 1131518352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210604 23070 13086 16 0 210588 0 vsize: 842416 [startup+100.005 s] Raw data (loadavg): 1.06 1.03 1.01 2/64 11761 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 9305 43 0 0 25 0 11 0 780708224 862633984 23255 4294967295 134512640 134569956 3221224368 3221214648 1131516406 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 23255 13086 16 0 210588 0 vsize: 842416 [startup+110.006 s] Raw data (loadavg): 1.05 1.03 1.01 2/64 11762 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 10267 44 0 0 25 0 11 0 780708224 862633984 23378 4294967295 134512640 134569956 3221224368 3221214440 1131298279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210604 23378 13086 16 0 210588 0 vsize: 842416 [startup+120.006 s] Raw data (loadavg): 1.04 1.03 1.01 2/64 11762 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 11234 44 0 0 25 0 11 0 780708224 862633984 23545 4294967295 134512640 134569956 3221224368 3221214528 1131296121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210604 23545 13086 16 0 210588 0 vsize: 842416 [startup+130.006 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 11762 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 12204 44 0 0 24 0 11 0 780708224 862633984 23629 4294967295 134512640 134569956 3221224368 3221214664 1131235697 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210604 23629 13086 16 0 210588 0 vsize: 842416 [startup+140.006 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 11763 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 13182 45 0 0 25 0 11 0 780708224 862633984 23714 4294967295 134512640 134569956 3221224368 3221214664 1131235522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 23714 13086 16 0 210588 0 vsize: 842416 [startup+150.008 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 11763 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 14157 45 0 0 25 0 11 0 780708224 862633984 23883 4294967295 134512640 134569956 3221224368 3221214576 1131204121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 23883 13086 16 0 210588 0 vsize: 842416 [startup+160.008 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 11763 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 15140 45 0 0 25 0 11 0 780708224 862633984 23905 4294967295 134512640 134569956 3221224368 3221214440 1131298242 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 23905 13086 16 0 210588 0 vsize: 842416 [startup+170.008 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 11763 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 16124 45 0 0 25 0 11 0 780708224 862633984 23905 4294967295 134512640 134569956 3221224368 3221214720 1131194368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 23905 13086 16 0 210588 0 vsize: 842416 [startup+180.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 11763 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 17104 46 0 0 25 0 11 0 780708224 862633984 24013 4294967295 134512640 134569956 3221224368 3221214440 1131287597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24013 13086 16 0 210588 0 vsize: 842416 [startup+190.01 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 11763 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 18084 46 0 0 24 0 11 0 780708224 862633984 24032 4294967295 134512640 134569956 3221224368 3221214664 1131235273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24032 13086 16 0 210588 0 vsize: 842416 [startup+200.01 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 19062 46 0 0 25 0 11 0 780708224 862633984 24046 4294967295 134512640 134569956 3221224368 3221214664 1131235369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24046 13086 16 0 210588 0 vsize: 842416 [startup+210.01 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 20037 46 0 0 25 0 11 0 780708224 862633984 24122 4294967295 134512640 134569956 3221224368 3221214768 1131252315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24122 13086 16 0 210588 0 vsize: 842416 [startup+220.011 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 21014 47 0 0 25 0 11 0 780708224 862633984 24153 4294967295 134512640 134569956 3221224368 3221214424 1131287542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24153 13086 16 0 210588 0 vsize: 842416 [startup+230.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 21991 47 0 0 25 0 11 0 780708224 862633984 24236 4294967295 134512640 134569956 3221224368 3221214664 1131235239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24236 13086 16 0 210588 0 vsize: 842416 [startup+240.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 22973 47 0 0 25 0 11 0 780708224 862633984 24275 4294967295 134512640 134569956 3221224368 3221214440 1131287365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24275 13086 16 0 210588 0 vsize: 842416 [startup+250.013 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 23954 48 0 0 25 0 11 0 780708224 862633984 24345 4294967295 134512640 134569956 3221224368 3221214440 1131287516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24345 13086 16 0 210588 0 vsize: 842416 [startup+260.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 24937 48 0 0 25 0 11 0 780708224 862633984 24350 4294967295 134512640 134569956 3221224368 3221214440 1131287386 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24350 13086 16 0 210588 0 vsize: 842416 [startup+270.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 25922 48 0 0 25 0 11 0 780708224 862633984 24416 4294967295 134512640 134569956 3221224368 3221214528 1131296103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24416 13086 16 0 210588 0 vsize: 842416 [startup+280.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 26910 49 0 0 24 0 11 0 780708224 862633984 24453 4294967295 134512640 134569956 3221224368 3221214424 1131287407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24453 13086 16 0 210588 0 vsize: 842416 [startup+290.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 27901 49 0 0 25 0 11 0 780708224 862633984 24471 4294967295 134512640 134569956 3221224368 3221214764 1131234764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24471 13086 16 0 210588 0 vsize: 842416 [startup+300.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 28889 49 0 0 25 0 11 0 780708224 862633984 24486 4294967295 134512640 134569956 3221224368 3221214664 1131235731 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210604 24486 13086 16 0 210588 0 vsize: 842416 [startup+310.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 29871 50 0 0 25 0 11 0 780708224 862633984 24505 4294967295 134512640 134569956 3221224368 3221214664 1131235419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24505 13086 16 0 210588 0 vsize: 842416 [startup+320.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 30850 50 0 0 25 0 11 0 780708224 862633984 24521 4294967295 134512640 134569956 3221224368 3221214664 1131235504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24521 13086 16 0 210588 0 vsize: 842416 [startup+330.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 31829 50 0 0 25 0 11 0 780708224 862633984 24563 4294967295 134512640 134569956 3221224368 3221214348 1131518352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24563 13086 16 0 210588 0 vsize: 842416 [startup+340.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 32808 51 0 0 25 0 11 0 780708224 862633984 24625 4294967295 134512640 134569956 3221224368 3221214424 1131287597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24625 13086 16 0 210588 0 vsize: 842416 [startup+350.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 33791 51 0 0 25 0 11 0 780708224 862633984 24671 4294967295 134512640 134569956 3221224368 3221214664 1131235237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24671 13086 16 0 210588 0 vsize: 842416 [startup+360.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 34772 51 0 0 25 0 11 0 780708224 862633984 24709 4294967295 134512640 134569956 3221224368 3221214664 1131235226 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24709 13086 16 0 210588 0 vsize: 842416 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 35755 51 0 0 25 0 11 0 780708224 862633984 24744 4294967295 134512640 134569956 3221224368 3221214664 1131235052 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24744 13086 16 0 210588 0 vsize: 842416 [startup+380.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 36740 52 0 0 25 0 11 0 780708224 862633984 24772 4294967295 134512640 134569956 3221224368 3221214768 1131253258 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24772 13086 16 0 210588 0 vsize: 842416 [startup+390.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 37726 52 0 0 25 0 11 0 780708224 862633984 24818 4294967295 134512640 134569956 3221224368 3221214664 1131234785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24818 13086 16 0 210588 0 vsize: 842416 [startup+400.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 38715 52 0 0 25 0 11 0 780708224 862633984 24848 4294967295 134512640 134569956 3221224368 3221214720 1131194361 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24848 13086 16 0 210588 0 vsize: 842416 [startup+410.023 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 39698 53 0 0 25 0 11 0 780708224 862633984 24864 4294967295 134512640 134569956 3221224368 3221214664 1131235239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24864 13086 16 0 210588 0 vsize: 842416 [startup+420.026 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 40676 53 0 0 25 0 11 0 780708224 862633984 24866 4294967295 134512640 134569956 3221224368 3221214664 1131234785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24866 13086 16 0 210588 0 vsize: 842416 [startup+430.027 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 41651 54 0 0 24 0 11 0 780708224 862633984 24924 4294967295 134512640 134569956 3221224368 3221214664 1131235239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24924 13086 16 0 210588 0 vsize: 842416 [startup+440.027 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 42628 55 0 0 25 0 11 0 780708224 862633984 24970 4294967295 134512640 134569956 3221224368 3221214664 1131235237 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 24970 13086 16 0 210588 0 vsize: 842416 [startup+450.028 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 43608 55 0 0 25 0 11 0 780708224 862633984 25026 4294967295 134512640 134569956 3221224368 3221214720 1131194365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25026 13086 16 0 210588 0 vsize: 842416 [startup+460.029 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 44592 56 0 0 25 0 11 0 780708224 862633984 25093 4294967295 134512640 134569956 3221224368 3221214664 1131235296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25093 13086 16 0 210588 0 vsize: 842416 [startup+470.03 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 45580 56 0 0 25 0 11 0 780708224 862633984 25122 4294967295 134512640 134569956 3221224368 3221214664 1131235364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25122 13086 16 0 210588 0 vsize: 842416 [startup+480.03 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11764 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 46566 56 0 0 25 0 11 0 780708224 862633984 25148 4294967295 134512640 134569956 3221224368 3221214348 1131518347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25148 13086 16 0 210588 0 vsize: 842416 [startup+490.03 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 47547 57 0 0 25 0 11 0 780708224 862633984 25179 4294967295 134512640 134569956 3221224368 3221214664 1131235728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25179 13086 16 0 210588 0 vsize: 842416 [startup+500.031 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 48525 57 0 0 25 0 11 0 780708224 862633984 25184 4294967295 134512640 134569956 3221224368 3221214768 1131253258 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25184 13086 16 0 210588 0 vsize: 842416 [startup+510.032 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 49501 58 0 0 25 0 11 0 780708224 862633984 25252 4294967295 134512640 134569956 3221224368 3221214664 1131235294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25252 13086 16 0 210588 0 vsize: 842416 [startup+520.032 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 50484 58 0 0 25 0 11 0 780708224 862633984 25298 4294967295 134512640 134569956 3221224368 3221214576 1131204090 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25298 13086 16 0 210588 0 vsize: 842416 [startup+530.033 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 51473 59 0 0 25 0 11 0 780708224 862633984 25350 4294967295 134512640 134569956 3221224368 3221214424 1131287392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25350 13086 16 0 210588 0 vsize: 842416 [startup+540.033 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 52465 59 0 0 25 0 11 0 780708224 862633984 25359 4294967295 134512640 134569956 3221224368 3221214768 1131253258 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25359 13086 16 0 210588 0 vsize: 842416 [startup+550.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 53457 59 0 0 25 0 11 0 780708224 862633984 25372 4294967295 134512640 134569956 3221224368 3221214768 1131253255 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25372 13086 16 0 210588 0 vsize: 842416 [startup+560.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 54443 60 0 0 25 0 11 0 780708224 862633984 25383 4294967295 134512640 134569956 3221224368 3221214704 1131516463 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25383 13086 16 0 210588 0 vsize: 842416 [startup+570.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 55425 60 0 0 25 0 11 0 780708224 862633984 25383 4294967295 134512640 134569956 3221224368 3221214744 1131233905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25383 13086 16 0 210588 0 vsize: 842416 [startup+580.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 56407 60 0 0 25 0 11 0 780708224 862633984 25394 4294967295 134512640 134569956 3221224368 3221214720 1131194385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25394 13086 16 0 210588 0 vsize: 842416 [startup+590.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 57391 61 0 0 25 0 11 0 780708224 862633984 25455 4294967295 134512640 134569956 3221224368 3221214596 1131518352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25455 13086 16 0 210588 0 vsize: 842416 [startup+600.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 58378 61 0 0 25 0 11 0 780708224 862633984 25491 4294967295 134512640 134569956 3221224368 3221214664 1131234881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25491 13086 16 0 210588 0 vsize: 842416 [startup+610.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 59368 61 0 0 25 0 11 0 780708224 862633984 25521 4294967295 134512640 134569956 3221224368 3221214664 1131235239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25521 13086 16 0 210588 0 vsize: 842416 [startup+620.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 60358 61 0 0 25 0 11 0 780708224 862633984 25542 4294967295 134512640 134569956 3221224368 3221214664 1131235697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25542 13086 16 0 210588 0 vsize: 842416 [startup+630.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 61347 62 0 0 25 0 11 0 780708224 862633984 25550 4294967295 134512640 134569956 3221224368 3221214664 1131235725 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25550 13086 16 0 210588 0 vsize: 842416 [startup+640.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 62333 62 0 0 25 0 11 0 780708224 862633984 25567 4294967295 134512640 134569956 3221224368 3221214720 1131194368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25567 13086 16 0 210588 0 vsize: 842416 [startup+650.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 63318 63 0 0 25 0 11 0 780708224 862633984 25581 4294967295 134512640 134569956 3221224368 3221214664 1131234785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25581 13086 16 0 210588 0 vsize: 842416 [startup+660.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 64302 64 0 0 25 0 11 0 780708224 862633984 25622 4294967295 134512640 134569956 3221224368 3221214664 1131235896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25622 13086 16 0 210588 0 vsize: 842416 [startup+670.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 65286 65 0 0 25 0 11 0 780708224 862633984 25655 4294967295 134512640 134569956 3221224368 3221214808 1131211161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25655 13086 16 0 210588 0 vsize: 842416 [startup+680.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 66271 65 0 0 18 0 11 0 780708224 862633984 25671 4294967295 134512640 134569956 3221224368 3221214664 1131235294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25671 13086 16 0 210588 0 vsize: 842416 [startup+690.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 67261 66 0 0 25 0 11 0 780708224 862633984 25700 4294967295 134512640 134569956 3221224368 3221214440 1131287407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25700 13086 16 0 210588 0 vsize: 842416 [startup+700.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 68252 66 0 0 25 0 11 0 780708224 862633984 25733 4294967295 134512640 134569956 3221224368 3221214664 1131235219 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25733 13086 16 0 210588 0 vsize: 842416 [startup+710.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 69237 67 0 0 25 0 11 0 780708224 862633984 25762 4294967295 134512640 134569956 3221224368 3221214664 1131234785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210604 25762 13086 16 0 210588 0 vsize: 842416 [startup+720.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 70223 67 0 0 25 0 11 0 780708224 862633984 25762 4294967295 134512640 134569956 3221224368 3221214664 1131234785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25762 13086 16 0 210588 0 vsize: 842416 [startup+730.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 71204 68 0 0 24 0 11 0 780708224 862633984 25762 4294967295 134512640 134569956 3221224368 3221214720 1131194368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25762 13086 16 0 210588 0 vsize: 842416 [startup+740.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 72189 68 0 0 25 0 11 0 780708224 862633984 25831 4294967295 134512640 134569956 3221224368 3221214720 1131194368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25831 13086 16 0 210588 0 vsize: 842416 [startup+750.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11765 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 73176 68 0 0 25 0 11 0 780708224 862633984 25835 4294967295 134512640 134569956 3221224368 3221214720 1131194385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25835 13086 16 0 210588 0 vsize: 842416 [startup+760.048 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 74162 68 0 0 25 0 11 0 780708224 862633984 25871 4294967295 134512640 134569956 3221224368 3221214664 1131235613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25871 13086 16 0 210588 0 vsize: 842416 [startup+770.048 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 75146 69 0 0 25 0 11 0 780708224 862633984 25877 4294967295 134512640 134569956 3221224368 3221214664 1131235437 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25877 13086 16 0 210588 0 vsize: 842416 [startup+780.049 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 76135 69 0 0 25 0 11 0 780708224 862633984 25881 4294967295 134512640 134569956 3221224368 3221214664 1131235307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25881 13086 16 0 210588 0 vsize: 842416 [startup+790.049 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 77119 70 0 0 25 0 11 0 780708224 862633984 25917 4294967295 134512640 134569956 3221224368 3221214536 1131516430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25917 13086 16 0 210588 0 vsize: 842416 [startup+800.05 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 78107 70 0 0 25 0 11 0 780708224 862633984 25917 4294967295 134512640 134569956 3221224368 3221214664 1131235657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25917 13086 16 0 210588 0 vsize: 842416 [startup+810.052 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 79091 70 0 0 25 0 11 0 780708224 862633984 25920 4294967295 134512640 134569956 3221224368 3221214424 1131287863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25920 13086 16 0 210588 0 vsize: 842416 [startup+820.052 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 80080 70 0 0 25 0 11 0 780708224 862633984 25960 4294967295 134512640 134569956 3221224368 3221214424 1131287392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25960 13086 16 0 210588 0 vsize: 842416 [startup+830.052 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 81067 71 0 0 24 0 11 0 780708224 862633984 25964 4294967295 134512640 134569956 3221224368 3221214656 1131518364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25964 13086 16 0 210588 0 vsize: 842416 [startup+840.052 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 82053 71 0 0 25 0 11 0 780708224 862633984 25995 4294967295 134512640 134569956 3221224368 3221214664 1131235482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25995 13086 16 0 210588 0 vsize: 842416 [startup+850.054 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 83038 71 0 0 25 0 11 0 780708224 862633984 25997 4294967295 134512640 134569956 3221224368 3221214664 1131235222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 25997 13086 16 0 210588 0 vsize: 842416 [startup+860.054 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 84023 72 0 0 25 0 11 0 780708224 862633984 26007 4294967295 134512640 134569956 3221224368 3221214720 1131194368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26007 13086 16 0 210588 0 vsize: 842416 [startup+870.055 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 85010 72 0 0 25 0 11 0 780708224 862633984 26045 4294967295 134512640 134569956 3221224368 3221214720 1131194389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26045 13086 16 0 210588 0 vsize: 842416 [startup+880.056 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 85995 72 0 0 25 0 11 0 780708224 862633984 26055 4294967295 134512640 134569956 3221224368 3221214720 1131194368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26055 13086 16 0 210588 0 vsize: 842416 [startup+890.056 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 86977 72 0 0 25 0 11 0 780708224 862633984 26069 4294967295 134512640 134569956 3221224368 3221214768 1131252676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26069 13086 16 0 210588 0 vsize: 842416 [startup+900.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 87963 73 0 0 25 0 11 0 780708224 862633984 26107 4294967295 134512640 134569956 3221224368 3221214664 1131234903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26107 13086 16 0 210588 0 vsize: 842416 [startup+910.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 88952 73 0 0 25 0 11 0 780708224 862633984 26120 4294967295 134512640 134569956 3221224368 3221214664 1131235383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26120 13086 16 0 210588 0 vsize: 842416 [startup+920.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 89936 74 0 0 24 0 11 0 780708224 862633984 26123 4294967295 134512640 134569956 3221224368 3221214720 1131194389 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26123 13086 16 0 210588 0 vsize: 842416 [startup+930.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 90925 74 0 0 25 0 11 0 780708224 862633984 26158 4294967295 134512640 134569956 3221224368 3221214720 1131194475 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26158 13086 16 0 210588 0 vsize: 842416 [startup+940.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 91913 74 0 0 25 0 11 0 780708224 862633984 26167 4294967295 134512640 134569956 3221224368 3221214772 1131233193 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26167 13086 16 0 210588 0 vsize: 842416 [startup+950.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 92900 75 0 0 25 0 11 0 780708224 862633984 26175 4294967295 134512640 134569956 3221224368 3221214720 1131194569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26175 13086 16 0 210588 0 vsize: 842416 [startup+960.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 93885 75 0 0 25 0 11 0 780708224 862633984 26179 4294967295 134512640 134569956 3221224368 3221214664 1131235239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26179 13086 16 0 210588 0 vsize: 842416 [startup+970.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 94871 75 0 0 25 0 11 0 780708224 862633984 26205 4294967295 134512640 134569956 3221224368 3221214664 1131235307 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26205 13086 16 0 210588 0 vsize: 842416 [startup+980.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 95854 76 0 0 24 0 11 0 780708224 862633984 26224 4294967295 134512640 134569956 3221224368 3221214720 1131194393 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26224 13086 16 0 210588 0 vsize: 842416 [startup+990.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 96840 76 0 0 25 0 11 0 780708224 862633984 26249 4294967295 134512640 134569956 3221224368 3221214720 1131194385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26249 13086 16 0 210588 0 vsize: 842416 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) S 11733 32284 32283 0 -1 0 18132 3 1 0 97821 76 0 0 25 0 11 0 780708224 862633984 26257 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26257 13086 16 0 210588 0 vsize: 842416 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 98804 77 0 0 24 0 11 0 780708224 862633984 26282 4294967295 134512640 134569956 3221224368 3221214664 1131234781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26282 13086 16 0 210588 0 vsize: 842416 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 99790 78 0 0 25 0 11 0 780708224 862633984 26310 4294967295 134512640 134569956 3221224368 3221214664 1131234796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26310 13086 16 0 210588 0 vsize: 842416 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 100781 78 0 0 25 0 11 0 780708224 862633984 26332 4294967295 134512640 134569956 3221224368 3221214664 1131235642 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26332 13086 16 0 210588 0 vsize: 842416 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 101772 79 0 0 25 0 11 0 780708224 862633984 26337 4294967295 134512640 134569956 3221224368 3221214528 1131519701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26337 13086 16 0 210588 0 vsize: 842416 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 102760 79 0 0 25 0 11 0 780708224 862633984 26343 4294967295 134512640 134569956 3221224368 3221214520 1131299229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26343 13086 16 0 210588 0 vsize: 842416 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 103751 79 0 0 25 0 11 0 780708224 862633984 26343 4294967295 134512640 134569956 3221224368 3221214504 1131287407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26343 13086 16 0 210588 0 vsize: 842416 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 104738 79 0 0 25 0 11 0 780708224 862633984 26344 4294967295 134512640 134569956 3221224368 3221214544 1131211184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26344 13086 16 0 210588 0 vsize: 842416 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 105727 80 0 0 24 0 11 0 780708224 862633984 26368 4294967295 134512640 134569956 3221224368 3221214568 1131272445 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26368 13086 16 0 210588 0 vsize: 842416 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 106716 80 0 0 25 0 11 0 780708224 862633984 26371 4294967295 134512640 134569956 3221224368 3221214568 1131272357 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26371 13086 16 0 210588 0 vsize: 842416 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 107706 80 0 0 25 0 11 0 780708224 862633984 26371 4294967295 134512640 134569956 3221224368 3221214520 1131298249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26371 13086 16 0 210588 0 vsize: 842416 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 108694 81 0 0 25 0 11 0 780708224 862633984 26380 4294967295 134512640 134569956 3221224368 3221214504 1131287249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26380 13086 16 0 210588 0 vsize: 842416 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 109684 82 0 0 25 0 11 0 780708224 862633984 26412 4294967295 134512640 134569956 3221224368 3221214504 1131287249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26412 13086 16 0 210588 0 vsize: 842416 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 110677 82 0 0 25 0 11 0 780708224 862633984 26426 4294967295 134512640 134569956 3221224368 3221214504 1131287688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26426 13086 16 0 210588 0 vsize: 842416 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 111671 82 0 0 25 0 11 0 780708224 862633984 26426 4294967295 134512640 134569956 3221224368 3221214520 1131287636 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26426 13086 16 0 210588 0 vsize: 842416 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 112663 83 0 0 25 0 11 0 780708224 862633984 26438 4294967295 134512640 134569956 3221224368 3221214520 1131287502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26438 13086 16 0 210588 0 vsize: 842416 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 113656 83 0 0 25 0 11 0 780708224 862633984 26450 4294967295 134512640 134569956 3221224368 3221214520 1131287365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26450 13086 16 0 210588 0 vsize: 842416 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 114650 83 0 0 25 0 11 0 780708224 862633984 26450 4294967295 134512640 134569956 3221224368 3221214520 1131298273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26450 13086 16 0 210588 0 vsize: 842416 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 115643 84 0 0 25 0 11 0 780708224 862633984 26459 4294967295 134512640 134569956 3221224368 3221214664 1131235596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26459 13086 16 0 210588 0 vsize: 842416 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 116629 84 0 0 25 0 11 0 780708224 862633984 26470 4294967295 134512640 134569956 3221224368 3221214664 1131234796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26470 13086 16 0 210588 0 vsize: 842416 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 117615 84 0 0 25 0 11 0 780708224 862633984 26470 4294967295 134512640 134569956 3221224368 3221214664 1131234785 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210604 26470 13086 16 0 210588 0 vsize: 842416 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 118599 84 0 0 25 0 11 0 780708224 862633984 26496 4294967295 134512640 134569956 3221224368 3221214664 1131235520 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26496 13086 16 0 210588 0 vsize: 842416 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 119589 85 0 0 25 0 11 0 780708224 862633984 26522 4294967295 134512640 134569956 3221224368 3221214664 1131235633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26522 13086 16 0 210588 0 vsize: 842416 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11766 Raw data (stat): 11734 (java) R 11733 32284 32283 0 -1 0 18132 3 1 0 120581 85 0 0 25 0 11 0 780708224 862633984 26534 4294967295 134512640 134569956 3221224368 3221214664 1131235423 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210604 26534 13086 16 0 210588 0 vsize: 842416 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.32 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 11768 Raw data (stat): 11734 (java) Z 11733 32284 32283 0 -1 1036 18132 16350 1 0 120600 90 3646 48 25 0 1 0 780708224 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.32 CPU time (s): 1243.86 CPU user time (s): 1242.46 CPU system time (s): 1.39479 CPU usage (%): 101.1 Max. virtual memory (Kb): 846772 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 76122808899370 #### END VERIFIER DATA ####