Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell3a.opb |
MD5SUM | 47799b7114cd9484def56bec40d7bc3d |
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.58885 |
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 wulflinc5 THE 2005-05-25 13:47:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21413 boxname=wulflinc5 idbench=1401 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 47799b7114cd9484def56bec40d7bc3d /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bell3a.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bell3a.opb IDLAUNCH: 21413 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 718500 kB Buffers: 32012 kB Cached: 263316 kB SwapCached: 472 kB Active: 69916 kB Inactive: 227516 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 718248 kB SwapTotal: 2097136 kB SwapFree: 2095792 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5228 kB Slab: 13088 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 14:07:52 (client local time) WITH STATUS 143 IN 1226.85 SECONDS stats: 21413 0 1226.85 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/wulflinc5/normalized-mps-v2-13-7-bell3a.opb c reading problem ... done. Time 2.574 ms. c #vars 1599 c #constraints 147 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 900486447555990 Current CPU time: 43.20 ms c CURRENT OPTIMUM= 900438606275990 Current CPU time: 45.35 ms c CURRENT OPTIMUM= 900414685635990 Current CPU time: 47.65 ms c CURRENT OPTIMUM= 900402725315990 Current CPU time: 49.96 ms c CURRENT OPTIMUM= 900396745155990 Current CPU time: 52.16 ms c CURRENT OPTIMUM= 900395997635990 Current CPU time: 54.55 ms c CURRENT OPTIMUM= 900395623875990 Current CPU time: 56.96 ms c CURRENT OPTIMUM= 900395436995990 Current CPU time: 59.40 ms c CURRENT OPTIMUM= 900394315533490 Current CPU time: 71.49 ms c CURRENT OPTIMUM= 554243000951480 Current CPU time: 74.59 ms c CURRENT OPTIMUM= 538531768951480 Current CPU time: 77.47 ms c CURRENT OPTIMUM= 538501868151480 Current CPU time: 80.48 ms c CURRENT OPTIMUM= 538494392951480 Current CPU time: 83.81 ms c CURRENT OPTIMUM= 538492524151480 Current CPU time: 87.38 ms c CURRENT OPTIMUM= 538492516851480 Current CPU time: 91.50 ms c CURRENT OPTIMUM= 538464398711480 Current CPU time: 96.29 ms c CURRENT OPTIMUM= 113362659399680 Current CPU time: 100.13 ms c CURRENT OPTIMUM= 113059939399680 Current CPU time: 105.53 ms c CURRENT OPTIMUM= 107349973914980 Current CPU time: 140.68 ms c CURRENT OPTIMUM= 89721274396360 Current CPU time: 196.64 ms c CURRENT OPTIMUM= 76178004389400 Current CPU time: 482.31 ms c CURRENT OPTIMUM= 76122808899370 Current CPU time: 754.93 ms c starts : 26 c conflicts : 607 c decisions : 55694 c propagations : 102078 c inspects : 625781 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 607 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.292 #### 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.99 1.00 1.00 2/54 23537 Raw data (stat): 23537 (runsolver) R 23536 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781132526 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 1.15 1.03 1.01 4/64 23547 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18109 0 1 0 776 37 0 0 24 0 11 0 781132526 866885632 21903 4294967295 134512640 134569956 3221224368 3221214444 1130923428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211642 21903 13086 16 0 211626 0 vsize: 846568 [startup+20.0011 s] Raw data (loadavg): 1.28 1.06 1.02 4/64 23547 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18112 0 1 0 1577 37 0 0 25 0 11 0 781132526 871530496 23490 4294967295 134512640 134569956 3221224368 3221214408 1131518616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212776 23490 13086 16 0 212760 0 vsize: 851104 [startup+30.0022 s] Raw data (loadavg): 1.32 1.08 1.02 2/64 23547 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18113 0 1 0 2529 38 0 0 25 0 11 0 781132526 867667968 23194 4294967295 134512640 134569956 3221224368 3221214608 1131280422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 23194 13086 16 0 211817 0 vsize: 847332 [startup+40.0025 s] Raw data (loadavg): 1.27 1.07 1.02 2/64 23547 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18113 0 1 0 3478 38 0 0 25 0 11 0 781132526 867667968 23449 4294967295 134512640 134569956 3221224368 3221214376 1131527405 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 23449 13086 16 0 211817 0 vsize: 847332 [startup+50.0032 s] Raw data (loadavg): 1.23 1.07 1.02 2/64 23550 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 4454 38 0 0 25 0 11 0 781132526 867667968 23587 4294967295 134512640 134569956 3221224368 3221214296 1131518387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 23587 13086 16 0 211817 0 vsize: 847332 [startup+60.0075 s] Raw data (loadavg): 1.19 1.07 1.02 2/64 23554 Raw data (stat): 23537 (java) S 23536 7266 7265 0 -1 0 18160 3 1 0 5419 39 0 0 25 0 11 0 781132526 867667968 23752 4294967295 134512640 134569956 3221224368 3221213160 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 23752 13086 16 0 211817 0 vsize: 847332 [startup+70.0079 s] Raw data (loadavg): 1.16 1.07 1.02 2/64 23555 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 6374 39 0 0 25 0 11 0 781132526 867667968 23947 4294967295 134512640 134569956 3221224368 3221214520 1131212755 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 23947 13086 16 0 211817 0 vsize: 847332 [startup+80.0086 s] Raw data (loadavg): 1.14 1.06 1.02 2/64 23558 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 7340 39 0 0 25 0 11 0 781132526 867667968 24000 4294967295 134512640 134569956 3221224368 3221214560 1131235214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 24000 13086 16 0 211817 0 vsize: 847332 [startup+90.0098 s] Raw data (loadavg): 1.12 1.06 1.02 2/64 23561 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 8300 39 0 0 25 0 11 0 781132526 867667968 24181 4294967295 134512640 134569956 3221224368 3221214560 1131235210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 24181 13086 16 0 211817 0 vsize: 847332 [startup+100.01 s] Raw data (loadavg): 1.10 1.06 1.02 2/64 23563 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 9260 39 0 0 25 0 11 0 781132526 867667968 24409 4294967295 134512640 134569956 3221224368 3221214664 1131325750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 24409 13086 16 0 211817 0 vsize: 847332 [startup+110.012 s] Raw data (loadavg): 1.08 1.06 1.02 2/64 23565 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 10229 39 0 0 25 0 11 0 781132526 867667968 24492 4294967295 134512640 134569956 3221224368 3221214504 1131281057 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 24492 13086 16 0 211817 0 vsize: 847332 [startup+120.013 s] Raw data (loadavg): 1.07 1.05 1.02 2/64 23565 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 11192 40 0 0 25 0 11 0 781132526 867667968 24720 4294967295 134512640 134569956 3221224368 3221214352 1131423953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 24720 13086 16 0 211817 0 vsize: 847332 [startup+130.013 s] Raw data (loadavg): 1.06 1.05 1.01 2/64 23565 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 12163 40 0 0 25 0 11 0 781132526 867667968 24754 4294967295 134512640 134569956 3221224368 3221214408 1131282892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 24754 13086 16 0 211817 0 vsize: 847332 [startup+140.014 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 23565 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 13141 40 0 0 25 0 11 0 781132526 867667968 24859 4294967295 134512640 134569956 3221224368 3221214624 1131522897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 24859 13086 16 0 211817 0 vsize: 847332 [startup+150.015 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 23566 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 14114 40 0 0 25 0 11 0 781132526 867667968 25023 4294967295 134512640 134569956 3221224368 3221214408 1131282939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25023 13086 16 0 211817 0 vsize: 847332 [startup+160.015 s] Raw data (loadavg): 1.03 1.05 1.01 2/64 23566 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 15098 40 0 0 25 0 11 0 781132526 867667968 25080 4294967295 134512640 134569956 3221224368 3221214408 1131282839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25080 13086 16 0 211817 0 vsize: 847332 [startup+170.016 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 23566 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 16083 40 0 0 25 0 11 0 781132526 867667968 25080 4294967295 134512640 134569956 3221224368 3221214408 1131294635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25080 13086 16 0 211817 0 vsize: 847332 [startup+180.016 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 23566 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 17065 40 0 0 25 0 11 0 781132526 867667968 25157 4294967295 134512640 134569956 3221224368 3221214560 1131235210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25157 13086 16 0 211817 0 vsize: 847332 [startup+190.017 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 23566 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 18047 40 0 0 25 0 11 0 781132526 867667968 25190 4294967295 134512640 134569956 3221224368 3221214560 1131235149 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25190 13086 16 0 211817 0 vsize: 847332 [startup+200.017 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 19026 40 0 0 25 0 11 0 781132526 867667968 25221 4294967295 134512640 134569956 3221224368 3221214664 1131325691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25221 13086 16 0 211817 0 vsize: 847332 [startup+210.017 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 20000 40 0 0 25 0 11 0 781132526 867667968 25292 4294967295 134512640 134569956 3221224368 3221214664 1131325691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25292 13086 16 0 211817 0 vsize: 847332 [startup+220.017 s] Raw data (loadavg): 1.01 1.03 1.01 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 20977 40 0 0 25 0 11 0 781132526 867667968 25322 4294967295 134512640 134569956 3221224368 3221214512 1131276790 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25322 13086 16 0 211817 0 vsize: 847332 [startup+230.017 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 21957 40 0 0 25 0 11 0 781132526 867667968 25380 4294967295 134512640 134569956 3221224368 3221214500 1131522208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25380 13086 16 0 211817 0 vsize: 847332 [startup+240.018 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 22938 40 0 0 25 0 11 0 781132526 867667968 25449 4294967295 134512640 134569956 3221224368 3221214464 1131450679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25449 13086 16 0 211817 0 vsize: 847332 [startup+250.018 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 23919 40 0 0 25 0 11 0 781132526 867667968 25493 4294967295 134512640 134569956 3221224368 3221214664 1131325750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25493 13086 16 0 211817 0 vsize: 847332 [startup+260.018 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 24903 40 0 0 25 0 11 0 781132526 867667968 25525 4294967295 134512640 134569956 3221224368 3221214512 1131276736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25525 13086 16 0 211817 0 vsize: 847332 [startup+270.019 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 25888 40 0 0 24 0 11 0 781132526 867667968 25583 4294967295 134512640 134569956 3221224368 3221214400 1131282768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25583 13086 16 0 211817 0 vsize: 847332 [startup+280.02 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 26877 41 0 0 25 0 11 0 781132526 867667968 25628 4294967295 134512640 134569956 3221224368 3221214360 1131204453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25628 13086 16 0 211817 0 vsize: 847332 [startup+290.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 27868 41 0 0 25 0 11 0 781132526 867667968 25646 4294967295 134512640 134569956 3221224368 3221214312 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25646 13086 16 0 211817 0 vsize: 847332 [startup+300.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 28857 41 0 0 25 0 11 0 781132526 867667968 25646 4294967295 134512640 134569956 3221224368 3221214560 1131283326 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25646 13086 16 0 211817 0 vsize: 847332 [startup+310.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 29842 41 0 0 25 0 11 0 781132526 867667968 25661 4294967295 134512640 134569956 3221224368 3221214320 1131522890 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25661 13086 16 0 211817 0 vsize: 847332 [startup+320.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 30823 41 0 0 25 0 11 0 781132526 867667968 25680 4294967295 134512640 134569956 3221224368 3221214664 1131325664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25680 13086 16 0 211817 0 vsize: 847332 [startup+330.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 31802 41 0 0 25 0 11 0 781132526 867667968 25696 4294967295 134512640 134569956 3221224368 3221214316 1131522896 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25696 13086 16 0 211817 0 vsize: 847332 [startup+340.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 32781 41 0 0 25 0 11 0 781132526 867667968 25772 4294967295 134512640 134569956 3221224368 3221214560 1131234862 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25772 13086 16 0 211817 0 vsize: 847332 [startup+350.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 33762 41 0 0 25 0 11 0 781132526 867667968 25844 4294967295 134512640 134569956 3221224368 3221214560 1131234597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 25844 13086 16 0 211817 0 vsize: 847332 [startup+360.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 34745 41 0 0 25 0 11 0 781132526 867667968 25884 4294967295 134512640 134569956 3221224368 3221214664 1131325691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25884 13086 16 0 211817 0 vsize: 847332 [startup+370.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 35728 41 0 0 25 0 11 0 781132526 867667968 25916 4294967295 134512640 134569956 3221224368 3221214560 1131234626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25916 13086 16 0 211817 0 vsize: 847332 [startup+380.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 36713 41 0 0 25 0 11 0 781132526 867667968 25947 4294967295 134512640 134569956 3221224368 3221214560 1131234626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25947 13086 16 0 211817 0 vsize: 847332 [startup+390.023 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 37700 41 0 0 25 0 11 0 781132526 867667968 25992 4294967295 134512640 134569956 3221224368 3221214408 1131282892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 25992 13086 16 0 211817 0 vsize: 847332 [startup+400.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 38689 42 0 0 25 0 11 0 781132526 867667968 26023 4294967295 134512640 134569956 3221224368 3221214560 1131235222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26023 13086 16 0 211817 0 vsize: 847332 [startup+410.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 39674 42 0 0 25 0 11 0 781132526 867667968 26039 4294967295 134512640 134569956 3221224368 3221214560 1131235543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26039 13086 16 0 211817 0 vsize: 847332 [startup+420.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 40655 42 0 0 25 0 11 0 781132526 867667968 26041 4294967295 134512640 134569956 3221224368 3221214560 1131234593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26041 13086 16 0 211817 0 vsize: 847332 [startup+430.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 41631 42 0 0 25 0 11 0 781132526 867667968 26098 4294967295 134512640 134569956 3221224368 3221214560 1131235037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26098 13086 16 0 211817 0 vsize: 847332 [startup+440.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 42608 42 0 0 25 0 11 0 781132526 867667968 26126 4294967295 134512640 134569956 3221224368 3221214560 1131234711 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26126 13086 16 0 211817 0 vsize: 847332 [startup+450.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 43588 42 0 0 25 0 11 0 781132526 867667968 26194 4294967295 134512640 134569956 3221224368 3221214560 1131235081 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26194 13086 16 0 211817 0 vsize: 847332 [startup+460.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 44571 42 0 0 25 0 11 0 781132526 867667968 26254 4294967295 134512640 134569956 3221224368 3221214660 1131234572 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26254 13086 16 0 211817 0 vsize: 847332 [startup+470.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23567 Raw data (stat): 23537 (java) S 23536 7266 7265 0 -1 0 18160 3 1 0 45559 42 0 0 25 0 11 0 781132526 867667968 26289 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26289 13086 16 0 211817 0 vsize: 847332 [startup+480.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23567 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 46547 43 0 0 25 0 11 0 781132526 867667968 26326 4294967295 134512640 134569956 3221224368 3221214560 1131235135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26326 13086 16 0 211817 0 vsize: 847332 [startup+490.031 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 47529 43 0 0 25 0 11 0 781132526 867667968 26359 4294967295 134512640 134569956 3221224368 3221214560 1131235540 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26359 13086 16 0 211817 0 vsize: 847332 [startup+500.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 48508 43 0 0 25 0 11 0 781132526 867667968 26360 4294967295 134512640 134569956 3221224368 3221214560 1131235122 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26360 13086 16 0 211817 0 vsize: 847332 [startup+510.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 49483 43 0 0 25 0 11 0 781132526 867667968 26405 4294967295 134512640 134569956 3221224368 3221214556 1131203936 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26405 13086 16 0 211817 0 vsize: 847332 [startup+520.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) S 23536 7266 7265 0 -1 0 18160 3 1 0 50465 43 0 0 25 0 11 0 781132526 867667968 26478 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26478 13086 16 0 211817 0 vsize: 847332 [startup+530.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 51453 43 0 0 25 0 11 0 781132526 867667968 26529 4294967295 134512640 134569956 3221224368 3221214560 1131235200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26529 13086 16 0 211817 0 vsize: 847332 [startup+540.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 52445 43 0 0 25 0 11 0 781132526 867667968 26539 4294967295 134512640 134569956 3221224368 3221214560 1131235312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26539 13086 16 0 211817 0 vsize: 847332 [startup+550.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) S 23536 7266 7265 0 -1 0 18160 3 1 0 53438 43 0 0 25 0 11 0 781132526 867667968 26551 4294967295 134512640 134569956 3221224368 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26552 13086 16 0 211817 0 vsize: 847332 [startup+560.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 54426 43 0 0 25 0 11 0 781132526 867667968 26562 4294967295 134512640 134569956 3221224368 3221214560 1131235149 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26562 13086 16 0 211817 0 vsize: 847332 [startup+570.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 55409 43 0 0 25 0 11 0 781132526 867667968 26563 4294967295 134512640 134569956 3221224368 3221214664 1131332693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26563 13086 16 0 211817 0 vsize: 847332 [startup+580.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 56390 44 0 0 25 0 11 0 781132526 867667968 26574 4294967295 134512640 134569956 3221224368 3221214664 1131325691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26574 13086 16 0 211817 0 vsize: 847332 [startup+590.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 57373 44 0 0 25 0 11 0 781132526 867667968 26625 4294967295 134512640 134569956 3221224368 3221214660 1131235614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26625 13086 16 0 211817 0 vsize: 847332 [startup+600.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 58361 44 0 0 25 0 11 0 781132526 867667968 26666 4294967295 134512640 134569956 3221224368 3221214480 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26666 13086 16 0 211817 0 vsize: 847332 [startup+610.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 59350 44 0 0 25 0 11 0 781132526 867667968 26695 4294967295 134512640 134569956 3221224368 3221214664 1131325507 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26695 13086 16 0 211817 0 vsize: 847332 [startup+620.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 60341 44 0 0 25 0 11 0 781132526 867667968 26716 4294967295 134512640 134569956 3221224368 3221214560 1131234802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26716 13086 16 0 211817 0 vsize: 847332 [startup+630.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 61330 44 0 0 24 0 11 0 781132526 867667968 26730 4294967295 134512640 134569956 3221224368 3221214664 1131332900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26730 13086 16 0 211817 0 vsize: 847332 [startup+640.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 62318 44 0 0 25 0 11 0 781132526 867667968 26746 4294967295 134512640 134569956 3221224368 3221214316 1131522832 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26746 13086 16 0 211817 0 vsize: 847332 [startup+650.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 63302 44 0 0 25 0 11 0 781132526 867667968 26757 4294967295 134512640 134569956 3221224368 3221214560 1131234626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26757 13086 16 0 211817 0 vsize: 847332 [startup+660.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 64287 44 0 0 25 0 11 0 781132526 867667968 26801 4294967295 134512640 134569956 3221224368 3221214664 1131332728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26801 13086 16 0 211817 0 vsize: 847332 [startup+670.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 65272 45 0 0 25 0 11 0 781132526 867667968 26835 4294967295 134512640 134569956 3221224368 3221214456 1131522908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26835 13086 16 0 211817 0 vsize: 847332 [startup+680.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 66258 45 0 0 25 0 11 0 781132526 867667968 26851 4294967295 134512640 134569956 3221224368 3221214560 1131234679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26851 13086 16 0 211817 0 vsize: 847332 [startup+690.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 67247 45 0 0 25 0 11 0 781132526 867667968 26880 4294967295 134512640 134569956 3221224368 3221214536 1131233369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26880 13086 16 0 211817 0 vsize: 847332 [startup+700.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 68239 45 0 0 25 0 11 0 781132526 867667968 26911 4294967295 134512640 134569956 3221224368 3221214560 1131234825 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26911 13086 16 0 211817 0 vsize: 847332 [startup+710.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 69224 45 0 0 24 0 11 0 781132526 867667968 26942 4294967295 134512640 134569956 3221224368 3221214664 1131332767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26942 13086 16 0 211817 0 vsize: 847332 [startup+720.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 70211 45 0 0 24 0 11 0 781132526 867667968 26942 4294967295 134512640 134569956 3221224368 3221214664 1131332912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26942 13086 16 0 211817 0 vsize: 847332 [startup+730.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 71194 45 0 0 25 0 11 0 781132526 867667968 26942 4294967295 134512640 134569956 3221224368 3221214664 1131332820 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 26942 13086 16 0 211817 0 vsize: 847332 [startup+740.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 72178 46 0 0 25 0 11 0 781132526 867667968 27006 4294967295 134512640 134569956 3221224368 3221214560 1131235226 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 27006 13086 16 0 211817 0 vsize: 847332 [startup+750.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23568 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 73166 46 0 0 25 0 11 0 781132526 867667968 27013 4294967295 134512640 134569956 3221224368 3221214176 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 27013 13086 16 0 211817 0 vsize: 847332 [startup+760.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23569 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 74152 46 0 0 25 0 11 0 781132526 867667968 27047 4294967295 134512640 134569956 3221224368 3221214560 1131235226 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211833 27047 13086 16 0 211817 0 vsize: 847332 [startup+770.049 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 23622 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 75130 51 0 0 25 0 11 0 781132526 867667968 27051 4294967295 134512640 134569956 3221224368 3221214560 1131235453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27051 13086 16 0 211817 0 vsize: 847332 [startup+780.05 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 23622 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 76117 51 0 0 25 0 11 0 781132526 867667968 27061 4294967295 134512640 134569956 3221224368 3221214664 1131325691 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27061 13086 16 0 211817 0 vsize: 847332 [startup+790.05 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 23622 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 77100 52 0 0 25 0 11 0 781132526 867667968 27097 4294967295 134512640 134569956 3221224368 3221214312 1131518639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27097 13086 16 0 211817 0 vsize: 847332 [startup+800.051 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 23622 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 78087 53 0 0 25 0 11 0 781132526 867667968 27097 4294967295 134512640 134569956 3221224368 3221214836 1131233315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27097 13086 16 0 211817 0 vsize: 847332 [startup+810.051 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 23622 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 79070 53 0 0 24 0 11 0 781132526 867667968 27100 4294967295 134512640 134569956 3221224368 3221214472 1131282656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27100 13086 16 0 211817 0 vsize: 847332 [startup+820.052 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 23622 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 80059 54 0 0 25 0 11 0 781132526 867667968 27136 4294967295 134512640 134569956 3221224368 3221214472 1131282670 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27136 13086 16 0 211817 0 vsize: 847332 [startup+830.052 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 23622 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 81046 54 0 0 25 0 11 0 781132526 867667968 27140 4294967295 134512640 134569956 3221224368 3221214560 1131234946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27140 13086 16 0 211817 0 vsize: 847332 [startup+840.053 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 82029 54 0 0 25 0 11 0 781132526 867667968 27171 4294967295 134512640 134569956 3221224368 3221214660 1131234572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27171 13086 16 0 211817 0 vsize: 847332 [startup+850.054 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 83012 55 0 0 25 0 11 0 781132526 867667968 27173 4294967295 134512640 134569956 3221224368 3221214664 1131325691 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27173 13086 16 0 211817 0 vsize: 847332 [startup+860.053 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 83996 56 0 0 25 0 11 0 781132526 867667968 27192 4294967295 134512640 134569956 3221224368 3221214664 1131326776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27192 13086 16 0 211817 0 vsize: 847332 [startup+870.054 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 84981 56 0 0 25 0 11 0 781132526 867667968 27226 4294967295 134512640 134569956 3221224368 3221214560 1131234679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27226 13086 16 0 211817 0 vsize: 847332 [startup+880.055 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 85964 56 0 0 24 0 11 0 781132526 867667968 27232 4294967295 134512640 134569956 3221224368 3221214560 1131234619 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27232 13086 16 0 211817 0 vsize: 847332 [startup+890.056 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 86947 57 0 0 25 0 11 0 781132526 867667968 27275 4294967295 134512640 134569956 3221224368 3221214560 1131234925 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27275 13086 16 0 211817 0 vsize: 847332 [startup+900.057 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 87932 58 0 0 25 0 11 0 781132526 867667968 27283 4294967295 134512640 134569956 3221224368 3221214664 1131332708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27283 13086 16 0 211817 0 vsize: 847332 [startup+910.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 88918 58 0 0 25 0 11 0 781132526 867667968 27296 4294967295 134512640 134569956 3221224368 3221214560 1131234679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27296 13086 16 0 211817 0 vsize: 847332 [startup+920.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 89903 58 0 0 25 0 11 0 781132526 867667968 27332 4294967295 134512640 134569956 3221224368 3221214560 1131235101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27332 13086 16 0 211817 0 vsize: 847332 [startup+930.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 90890 59 0 0 25 0 11 0 781132526 867667968 27334 4294967295 134512640 134569956 3221224368 3221214424 1085679321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27334 13086 16 0 211817 0 vsize: 847332 [startup+940.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 91877 59 0 0 24 0 11 0 781132526 867667968 27343 4294967295 134512640 134569956 3221224368 3221214552 1131279291 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27343 13086 16 0 211817 0 vsize: 847332 [startup+950.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 92863 60 0 0 25 0 11 0 781132526 867667968 27351 4294967295 134512640 134569956 3221224368 3221214664 1131326827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27351 13086 16 0 211817 0 vsize: 847332 [startup+960.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 93847 60 0 0 25 0 11 0 781132526 867667968 27380 4294967295 134512640 134569956 3221224368 3221214560 1131235047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27380 13086 16 0 211817 0 vsize: 847332 [startup+970.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 94834 61 0 0 25 0 11 0 781132526 867667968 27384 4294967295 134512640 134569956 3221224368 3221214560 1131235456 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27384 13086 16 0 211817 0 vsize: 847332 [startup+980.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 95816 62 0 0 25 0 11 0 781132526 867667968 27400 4294967295 134512640 134569956 3221224368 3221214560 1131235540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27400 13086 16 0 211817 0 vsize: 847332 [startup+990.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 96799 62 0 0 25 0 11 0 781132526 867667968 27425 4294967295 134512640 134569956 3221224368 3221214664 1131332756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27425 13086 16 0 211817 0 vsize: 847332 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 97782 62 0 0 25 0 11 0 781132526 867667968 27456 4294967295 134512640 134569956 3221224368 3221214560 1131235530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27456 13086 16 0 211817 0 vsize: 847332 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 98763 63 0 0 25 0 11 0 781132526 867667968 27458 4294967295 134512640 134569956 3221224368 3221214560 1131235597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27458 13086 16 0 211817 0 vsize: 847332 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 99752 63 0 0 25 0 11 0 781132526 867667968 27497 4294967295 134512640 134569956 3221224368 3221214660 1131234579 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27497 13086 16 0 211817 0 vsize: 847332 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 100744 64 0 0 25 0 11 0 781132526 867667968 27512 4294967295 134512640 134569956 3221224368 3221214560 1131235488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27512 13086 16 0 211817 0 vsize: 847332 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 101732 64 0 0 25 0 11 0 781132526 867667968 27514 4294967295 134512640 134569956 3221224368 3221214560 1131235116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27514 13086 16 0 211817 0 vsize: 847332 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 102722 65 0 0 25 0 11 0 781132526 867667968 27519 4294967295 134512640 134569956 3221224368 3221214480 1131295388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27519 13086 16 0 211817 0 vsize: 847332 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 103711 65 0 0 25 0 11 0 781132526 867667968 27519 4294967295 134512640 134569956 3221224368 3221214560 1131235099 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27519 13086 16 0 211817 0 vsize: 847332 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 104699 66 0 0 25 0 11 0 781132526 867667968 27520 4294967295 134512640 134569956 3221224368 3221214480 1131282822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27520 13086 16 0 211817 0 vsize: 847332 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 105687 66 0 0 25 0 11 0 781132526 867667968 27544 4294967295 134512640 134569956 3221224368 3221214480 1131295388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27544 13086 16 0 211817 0 vsize: 847332 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 106675 67 0 0 25 0 11 0 781132526 867667968 27547 4294967295 134512640 134569956 3221224368 3221214576 1131280999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27547 13086 16 0 211817 0 vsize: 847332 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 107664 67 0 0 25 0 11 0 781132526 867667968 27547 4294967295 134512640 134569956 3221224368 3221214472 1131282843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27547 13086 16 0 211817 0 vsize: 847332 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23624 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 108652 68 0 0 25 0 11 0 781132526 867667968 27556 4294967295 134512640 134569956 3221224368 3221214560 1131280425 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27556 13086 16 0 211817 0 vsize: 847332 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 109643 68 0 0 25 0 11 0 781132526 867667968 27588 4294967295 134512640 134569956 3221224368 3221214580 1131280364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27588 13086 16 0 211817 0 vsize: 847332 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 110637 68 0 0 25 0 11 0 781132526 867667968 27602 4294967295 134512640 134569956 3221224368 3221214560 1131235558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27602 13086 16 0 211817 0 vsize: 847332 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 111630 69 0 0 25 0 11 0 781132526 867667968 27602 4294967295 134512640 134569956 3221224368 3221214480 1131294632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27602 13086 16 0 211817 0 vsize: 847332 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 112622 69 0 0 25 0 11 0 781132526 867667968 27614 4294967295 134512640 134569956 3221224368 3221214532 1130885154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27614 13086 16 0 211817 0 vsize: 847332 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 113616 70 0 0 25 0 11 0 781132526 867667968 27626 4294967295 134512640 134569956 3221224368 3221214480 1131294685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27626 13086 16 0 211817 0 vsize: 847332 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 114609 70 0 0 25 0 11 0 781132526 867667968 27626 4294967295 134512640 134569956 3221224368 3221214560 1131212666 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27626 13086 16 0 211817 0 vsize: 847332 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 115598 71 0 0 25 0 11 0 781132526 867667968 27635 4294967295 134512640 134569956 3221224368 3221214560 1131234589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27635 13086 16 0 211817 0 vsize: 847332 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 116583 71 0 0 25 0 11 0 781132526 867667968 27646 4294967295 134512640 134569956 3221224368 3221214664 1131325750 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27646 13086 16 0 211817 0 vsize: 847332 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 117567 72 0 0 25 0 11 0 781132526 867667968 27659 4294967295 134512640 134569956 3221224368 3221214560 1131235523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27659 13086 16 0 211817 0 vsize: 847332 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 118553 72 0 0 25 0 11 0 781132526 867667968 27698 4294967295 134512640 134569956 3221224368 3221214560 1131234597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27698 13086 16 0 211817 0 vsize: 847332 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 119544 72 0 0 25 0 11 0 781132526 867667968 27708 4294967295 134512640 134569956 3221224368 3221214560 1131235226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27708 13086 16 0 211817 0 vsize: 847332 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 23626 Raw data (stat): 23537 (java) R 23536 7266 7265 0 -1 0 18160 3 1 0 120537 73 0 0 25 0 11 0 781132526 867667968 27711 4294967295 134512640 134569956 3221224368 3221214664 1131326648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211833 27711 13086 16 0 211817 0 vsize: 847332 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.34 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 23628 Raw data (stat): 23537 (java) Z 23536 7266 7265 0 -1 1036 18160 5956 1 0 120557 73 2024 29 25 0 1 0 781132526 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.34 CPU time (s): 1226.85 CPU user time (s): 1225.82 CPU system time (s): 1.03284 CPU usage (%): 99.7167 Max. virtual memory (Kb): 851104 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 76122808899370 #### END VERIFIER DATA ####