Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-net12.opb |
MD5SUM | 1e83ed64f0fd862e44095daf089e38c2 |
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 | 351 |
Biggest coefficient in the objective function | 524288000000 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 1048594922917 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 1075200000000000000 |
Number of bits of the biggest number in a constraint | 60 |
Biggest sum of numbers in a constraint | 2440670651161677657 |
Number of bits of the biggest sum of numbers | 62 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1256.38 |
Number of variables | 653 |
Total number of constraints | 707 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 338 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 75 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-25 15:33:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21562 boxname=wulflinc25 idbench=1550 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 1e83ed64f0fd862e44095daf089e38c2 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-net12.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-net12.opb IDLAUNCH: 21562 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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 : 3 cpu MHz : 451.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 570128 kB Buffers: 32848 kB Cached: 407956 kB SwapCached: 584 kB Active: 31112 kB Inactive: 411968 kB HighTotal: 131008 kB HighFree: 65436 kB LowTotal: 903652 kB LowFree: 504692 kB SwapTotal: 2097892 kB SwapFree: 2096624 kB Dirty: 60 kB Writeback: 0 kB Mapped: 5596 kB Slab: 15764 kB Committed_AS: 63592 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 15:54:49 (client local time) WITH STATUS 143 IN 1256.38 SECONDS stats: 21562 0 1256.38 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/wulflinc25/normalized-mps-v2-13-7-net12.opb c reading problem ... done. Time 4.247 ms. c #vars 653 c #constraints 441 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 1046540285957 Current CPU time: 23.21 ms c CURRENT OPTIMUM= 1046540071193 Current CPU time: 48.34 ms c CURRENT OPTIMUM= 1019911889974 Current CPU time: 50.72 ms c CURRENT OPTIMUM= 1015814084604 Current CPU time: 53.22 ms c CURRENT OPTIMUM= 999430582227 Current CPU time: 55.92 ms c CURRENT OPTIMUM= 999429149759 Current CPU time: 76.53 ms c CURRENT OPTIMUM= 995335588855 Current CPU time: 89.75 ms c CURRENT OPTIMUM= 981512255467 Current CPU time: 94.71 ms c CURRENT OPTIMUM= 917512359669 Current CPU time: 109.12 ms c CURRENT OPTIMUM= 917509112829 Current CPU time: 127.37 ms c CURRENT OPTIMUM= 915976001290 Current CPU time: 139.78 ms c CURRENT OPTIMUM= 851974666335 Current CPU time: 161.74 ms c CURRENT OPTIMUM= 851974524346 Current CPU time: 196.33 ms c CURRENT OPTIMUM= 851974192576 Current CPU time: 204.36 ms c CURRENT OPTIMUM= 851974192344 Current CPU time: 215.86 ms c CURRENT OPTIMUM= 826887172603 Current CPU time: 240.46 ms c CURRENT OPTIMUM= 704517547487 Current CPU time: 252.24 ms c CURRENT OPTIMUM= 704516188177 Current CPU time: 262.02 ms c CURRENT OPTIMUM= 688133825744 Current CPU time: 285.99 ms c CURRENT OPTIMUM= 685574406452 Current CPU time: 299.18 ms c CURRENT OPTIMUM= 655364528616 Current CPU time: 309.55 ms c CURRENT OPTIMUM= 622598489071 Current CPU time: 431.45 ms c CURRENT OPTIMUM= 614405190100 Current CPU time: 464.15 ms c CURRENT OPTIMUM= 598021564019 Current CPU time: 499.57 ms c CURRENT OPTIMUM= 518660162695 Current CPU time: 637.58 ms c CURRENT OPTIMUM= 491523773668 Current CPU time: 649.75 ms c CURRENT OPTIMUM= 491523406334 Current CPU time: 681.08 ms c CURRENT OPTIMUM= 491523106427 Current CPU time: 703.65 ms c CURRENT OPTIMUM= 458755444732 Current CPU time: 714.65 ms c CURRENT OPTIMUM= 444419499381 Current CPU time: 812.47 ms c CURRENT OPTIMUM= 431619635835 Current CPU time: 831.13 ms c CURRENT OPTIMUM= 428546535869 Current CPU time: 884.40 ms c CURRENT OPTIMUM= 425986239553 Current CPU time: 1231.92 ms c starts : 55 c conflicts : 3975 c decisions : 32711 c propagations : 93094 c inspects : 1697644 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3975 c root simplifications : 68 s SATISFIABLE v -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 -x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 x1_bit10 -x1_bit11 -x1_bit12 -x2_bit_7 -x2_bit_6 -x2_bit_5 -x2_bit_4 -x2_bit_3 -x2_bit_2 -x2_bit_1 -x2_bit0 -x2_bit1 -x2_bit2 -x2_bit3 -x2_bit4 -x2_bit5 x2_bit6 x2_bit7 x2_bit8 -x2_bit9 -x2_bit10 -x2_bit11 -x2_bit12 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 -x3_bit0 -x3_bit1 -x3_bit2 -x3_bit3 -x3_bit4 x3_bit5 x3_bit6 -x3_bit7 -x3_bit8 x3_bit9 x3_bit10 -x3_bit11 -x3_bit12 -x4_bit_7 -x4_bit_6 -x4_bit_5 -x4_bit_4 -x4_bit_3 -x4_bit_2 -x4_bit_1 -x4_bit0 -x4_bit1 -x4_bit2 -x4_bit3 -x4_bit4 -x4_bit5 -x4_bit6 -x4_bit7 -x4_bit8 x4_bit9 -x4_bit10 -x4_bit11 -x4_bit12 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 -x5_bit0 -x5_bit1 -x5_bit2 -x5_bit3 -x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit10 x5_bit11 -x5_bit12 -x6_bit_7 -x6_bit_6 -x6_bit_5 -x6_bit_4 -x6_bit_3 -x6_bit_2 -x6_bit_1 -x6_bit0 -x6_bit1 -x6_bit2 -x6_bit3 -x6_bit4 -x6_bit5 -x6_bit6 -x6_bit7 -x6_bit8 -x6_bit9 -x6_bit10 -x6_bit11 -x6_bit12 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 -x7_bit1 -x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 x7_bit8 x7_bit9 -x7_bit10 x7_bit11 -x7_bit12 -x8_bit_7 -x8_bit_6 -x8_bit_5 -x8_bit_4 -x8_bit_3 -x8_bit_2 -x8_bit_1 -x8_bit0 -x8_bit1 -x8_bit2 -x8_bit3 x8_bit4 -x8_bit5 x8_bit6 x8_bit7 x8_bit8 -x8_bit9 -x8_bit10 x8_bit11 -x8_bit12 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 -x9_bit0 -x9_bit1 -x9_bit2 -x9_bit3 -x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 x9_bit10 -x9_bit11 -x9_bit12 lung_bit_7 lung_bit_6 lung_bit_5 lung_bit_4 lung_bit_3 lung_bit_2 lung_bit_1 lung_bit0 lung_bit1 lung_bit2 lung_bit3 lung_bit4 lung_bit5 lung_bit6 lung_bit7 -lung_bit8 -lung_bit9 lung_bit10 lung_bit11 -lung_bit12 -y1_bit_7 -y1_bit_6 -y1_bit_5 -y1_bit_4 -y1_bit_3 -y1_bit_2 -y1_bit_1 -y1_bit0 -y1_bit1 -y1_bit2 -y1_bit3 -y1_bit4 -y1_bit5 -y1_bit6 -y1_bit7 -y1_bit8 -y1_bit9 -y2_bit_7 -y2_bit_6 -y2_bit_5 -y2_bit_4 -y2_bit_3 -y2_bit_2 -y2_bit_1 -y2_bit0 -y2_bit1 -y2_bit2 -y2_bit3 -y2_bit4 -y2_bit5 -y2_bit6 -y2_bit7 -y2_bit8 y2_bit9 -y3_bit_7 -y3_bit_6 -y3_bit_5 -y3_bit_4 -y3_bit_3 -y3_bit_2 -y3_bit_1 -y3_bit0 -y3_bit1 -y3_bit2 -y3_bit3 -y3_bit4 -y3_bit5 -y3_bit6 -y3_bit7 -y3_bit8 -y4_bit_7 -y4_bit_6 -y4_bit_5 -y4_bit_4 -y4_bit_3 -y4_bit_2 -y4_bit_1 -y4_bit0 -y4_bit1 -y4_bit2 -y4_bit3 -y4_bit4 -y4_bit5 -y4_bit6 -y4_bit7 -y4_bit8 -y4_bit9 -y5_bit_7 -y5_bit_6 -y5_bit_5 -y5_bit_4 -y5_bit_3 -y5_bit_2 -y5_bit_1 -y5_bit0 -y5_bit1 -y5_bit2 -y5_bit3 -y5_bit4 -y5_bit5 -y5_bit6 -y5_bit7 -y5_bit8 -y5_bit9 -y6_bit_7 -y6_bit_6 -y6_bit_5 -y6_bit_4 -y6_bit_3 -y6_bit_2 -y6_bit_1 -y6_bit0 -y6_bit1 -y6_bit2 -y6_bit3 -y6_bit4 -y6_bit5 -y6_bit6 -y6_bit7 -y6_bit8 -y6_bit9 -y7_bit_7 -y7_bit_6 -y7_bit_5 -y7_bit_4 -y7_bit_3 -y7_bit_2 -y7_bit_1 -y7_bit0 -y7_bit1 -y7_bit2 -y7_bit3 -y7_bit4 -y7_bit5 -y7_bit6 -y7_bit7 -y7_bit8 -y7_bit9 y8_bit_7 y8_bit_6 y8_bit_5 y8_bit_4 y8_bit_3 y8_bit_2 y8_bit_1 -y8_bit0 -y8_bit1 y8_bit2 y8_bit3 y8_bit4 y8_bit5 y8_bit6 y8_bit7 -y8_bit8 -y9_bit_7 y9_bit_6 -y9_bit_5 -y9_bit_4 -y9_bit_3 -y9_bit_2 -y9_bit_1 -y9_bit0 -y9_bit1 -y9_bit2 -y9_bit3 -y9_bit4 -y9_bit5 -y9_bit6 -y9_bit7 -y9_bit8 y9_bit9 -z1_0x26_2_0x2e_0_bit0 -z1_0x26_2_0x2e_1_bit0 -z1_0x26_2_0x2e_2_bit0 -z1_0x26_2_0x2e_3_bit0 -z1_0x26_2_0x2e_4_bit0 -z1_0x26_2_0x2e_5_bit0 z1_0x26_2_0x2e_6_bit0 -z1_0x26_2_0x2e_7_bit0 -z1_0x26_3_0x2e_0_bit0 -z1_0x26_3_0x2e_1_bit0 -z1_0x26_3_0x2e_2_bit0 z1_0x26_3_0x2e_3_bit0 -z1_0x26_3_0x2e_4_bit0 -z1_0x26_3_0x2e_5_bit0 -z1_0x26_3_0x2e_6_bit0 -z1_0x26_3_0x2e_7_bit0 -z1_0x26_3_0x2e_8_bit0 -z1_0x26_3_0x2e_9_bit0 -z1_0x26_4_0x2e_0_bit0 -z1_0x26_4_0x2e_1_bit0 -z1_0x26_4_0x2e_2_bit0 -z1_0x26_4_0x2e_3_bit0 -z1_0x26_4_0x2e_4_bit0 -z1_0x26_4_0x2e_5_bit0 -z1_0x26_4_0x2e_6_bit0 -z1_0x26_4_0x2e_7_bit0 z1_0x26_4_0x2e_8_bit0 -z1_0x26_5_0x2e_0_bit0 -z1_0x26_5_0x2e_1_bit0 -z1_0x26_5_0x2e_2_bit0 z1_0x26_5_0x2e_3_bit0 -z1_0x26_5_0x2e_4_bit0 -z1_0x26_5_0x2e_5_bit0 -z1_0x26_5_0x2e_6_bit0 -z1_0x26_5_0x2e_7_bit0 -z1_0x26_5_0x2e_8_bit0 -z1_0x26_6_0x2e_0_bit0 -z1_0x26_6_0x2e_1_bit0 -z1_0x26_6_0x2e_2_bit0 -z1_0x26_6_0x2e_3_bit0 -z1_0x26_6_0x2e_4_bit0 z1_0x26_6_0x2e_5_bit0 -z1_0x26_6_0x2e_6_bit0 -z1_0x26_6_0x2e_7_bit0 -z1_0x26_7_0x2e_0_bit0 -z1_0x26_7_0x2e_1_bit0 z1_0x26_7_0x2e_2_bit0 -z1_0x26_7_0x2e_3_bit0 -z1_0x26_7_0x2e_4_bit0 -z1_0x26_7_0x2e_5_bit0 -z1_0x26_7_0x2e_6_bit0 -z1_0x26_7_0x2e_7_bit0 -z1_0x26_7_0x2e_8_bit0 -z1_0x26_8_0x2e_0_bit0 -z1_0x26_8_0x2e_1_bit0 -z1_0x26_8_0x2e_2_bit0 z1_0x26_8_0x2e_3_bit0 -z1_0x26_8_0x2e_4_bit0 -z1_0x26_8_0x2e_5_bit0 -z1_0x26_8_0x2e_6_bit0 -z1_0x26_8_0x2e_7_bit0 -z1_0x26_8_0x2e_8_bit0 -z1_0x26_8_0x2e_9_bit0 -z1_0x26_8_0x2e_10_bit0 -z1_0x26_8_0x2e_11_bit0 -z1_0x26_8_0x2e_12_bit0 -z1_0x26_9_0x2e_0_bit0 -z1_0x26_9_0x2e_1_bit0 -z1_0x26_9_0x2e_2_bit0 -z1_0x26_9_0x2e_3_bit0 z1_0x26_9_0x2e_4_bit0 -z1_0x26_9_0x2e_5_bit0 -z1_0x26_9_0x2e_6_bit0 -z2_0x26_3_0x2e_0_bit0 z2_0x26_3_0x2e_1_bit0 -z2_0x26_3_0x2e_2_bit0 -z2_0x26_3_0x2e_3_bit0 -z2_0x26_3_0x2e_4_bit0 -z2_0x26_3_0x2e_5_bit0 -z2_0x26_3_0x2e_6_bit0 -z2_0x26_3_0x2e_7_bit0 z2_0x26_4_0x2e_0_bit0 -z2_0x26_4_0x2e_1_bit0 -z2_0x26_4_0x2e_2_bit0 -z2_0x26_4_0x2e_3_bit0 -z2_0x26_4_0x2e_4_bit0 -z2_0x26_4_0x2e_5_bit0 -z2_0x26_4_0x2e_6_bit0 -z2_0x26_4_0x2e_7_bit0 z2_0x26_5_0x2e_0_bit0 -z2_0x26_5_0x2e_1_bit0 -z2_0x26_5_0x2e_2_bit0 -z2_0x26_5_0x2e_3_bit0 -z2_0x26_5_0x2e_4_bit0 -z2_0x26_5_0x2e_5_bit0 -z2_0x26_5_0x2e_6_bit0 -z2_0x26_5_0x2e_7_bit0 -z2_0x26_5_0x2e_8_bit0 -z2_0x26_5_0x2e_9_bit0 -z2_0x26_6_0x2e_0_bit0 -z2_0x26_6_0x2e_1_bit0 -z2_0x26_6_0x2e_2_bit0 -z2_0x26_6_0x2e_3_bit0 -z2_0x26_6_0x2e_4_bit0 z2_0x26_6_0x2e_5_bit0 -z2_0x26_6_0x2e_6_bit0 -z2_0x26_6_0x2e_7_bit0 -z2_0x26_7_0x2e_0_bit0 -z2_0x26_7_0x2e_1_bit0 -z2_0x26_7_0x2e_2_bit0 -z2_0x26_7_0x2e_3_bit0 z2_0x26_7_0x2e_4_bit0 -z2_0x26_7_0x2e_5_bit0 -z2_0x26_7_0x2e_6_bit0 -z2_0x26_7_0x2e_7_bit0 -z2_0x26_8_0x2e_0_bit0 -z2_0x26_8_0x2e_1_bit0 z2_0x26_8_0x2e_2_bit0 -z2_0x26_8_0x2e_3_bit0 -z2_0x26_8_0x2e_4_bit0 -z2_0x26_8_0x2e_5_bit0 -z2_0x26_8_0x2e_6_bit0 -z2_0x26_8_0x2e_7_bit0 -z2_0x26_8_0x2e_8_bit0 -z2_0x26_8_0x2e_9_bit0 -z2_0x26_8_0x2e_10_bit0 -z2_0x26_9_0x2e_0_bit0 -z2_0x26_9_0x2e_1_bit0 z2_0x26_9_0x2e_2_bit0 -z2_0x26_9_0x2e_3_bit0 -z2_0x26_9_0x2e_4_bit0 -z2_0x26_9_0x2e_5_bit0 -z3_0x26_4_0x2e_0_bit0 -z3_0x26_4_0x2e_1_bit0 -z3_0x26_4_0x2e_2_bit0 -z3_0x26_4_0x2e_3_bit0 -z3_0x26_4_0x2e_4_bit0 -z3_0x26_4_0x2e_5_bit0 z3_0x26_4_0x2e_6_bit0 -z3_0x26_5_0x2e_0_bit0 -z3_0x26_5_0x2e_1_bit0 -z3_0x26_5_0x2e_2_bit0 z3_0x26_5_0x2e_3_bit0 -z3_0x26_5_0x2e_4_bit0 -z3_0x26_5_0x2e_5_bit0 -z3_0x26_5_0x2e_6_bit0 z3_0x26_6_0x2e_0_bit0 -z3_0x26_6_0x2e_1_bit0 -z3_0x26_6_0x2e_2_bit0 -z3_0x26_6_0x2e_3_bit0 -z3_0x26_6_0x2e_4_bit0 -z3_0x26_6_0x2e_5_bit0 -z3_0x26_6_0x2e_6_bit0 -z3_0x26_7_0x2e_0_bit0 -z3_0x26_7_0x2e_1_bit0 -z3_0x26_7_0x2e_2_bit0 z3_0x26_7_0x2e_3_bit0 -z3_0x26_7_0x2e_4_bit0 -z3_0x26_7_0x2e_5_bit0 -z3_0x26_7_0x2e_6_bit0 -z3_0x26_8_0x2e_0_bit0 -z3_0x26_8_0x2e_1_bit0 -z3_0x26_8_0x2e_2_bit0 -z3_0x26_8_0x2e_3_bit0 -z3_0x26_8_0x2e_4_bit0 -z3_0x26_8_0x2e_5_bit0 z3_0x26_8_0x2e_6_bit0 -z3_0x26_8_0x2e_7_bit0 -z3_0x26_8_0x2e_8_bit0 -z3_0x26_9_0x2e_0_bit0 -z3_0x26_9_0x2e_1_bit0 -z3_0x26_9_0x2e_2_bit0 -z3_0x26_9_0x2e_3_bit0 z3_0x26_9_0x2e_4_bit0 -z3_0x26_9_0x2e_5_bit0 -z4_0x26_5_0x2e_0_bit0 z4_0x26_5_0x2e_1_bit0 -z4_0x26_5_0x2e_2_bit0 -z4_0x26_5_0x2e_3_bit0 -z4_0x26_5_0x2e_4_bit0 -z4_0x26_5_0x2e_5_bit0 -z4_0x26_5_0x2e_6_bit0 -z4_0x26_5_0x2e_7_bit0 -z4_0x26_5_0x2e_8_bit0 -z4_0x26_6_0x2e_0_bit0 -z4_0x26_6_0x2e_1_bit0 -z4_0x26_6_0x2e_2_bit0 -z4_0x26_6_0x2e_3_bit0 -z4_0x26_6_0x2e_4_bit0 -z4_0x26_6_0x2e_5_bit0 z4_0x26_6_0x2e_6_bit0 -z4_0x26_6_0x2e_7_bit0 -z4_0x26_6_0x2e_8_bit0 -z4_0x26_6_0x2e_9_bit0 z4_0x26_7_0x2e_0_bit0 -z4_0x26_7_0x2e_1_bit0 -z4_0x26_7_0x2e_2_bit0 -z4_0x26_7_0x2e_3_bit0 -z4_0x26_7_0x2e_4_bit0 -z4_0x26_7_0x2e_5_bit0 -z4_0x26_8_0x2e_0_bit0 -z4_0x26_8_0x2e_1_bit0 -z4_0x26_8_0x2e_2_bit0 -z4_0x26_8_0x2e_3_bit0 z4_0x26_8_0x2e_4_bit0 -z4_0x26_8_0x2e_5_bit0 -z4_0x26_8_0x2e_6_bit0 -z4_0x26_8_0x2e_7_bit0 -z4_0x26_8_0x2e_8_bit0 -z4_0x26_8_0x2e_9_bit0 -z4_0x26_9_0x2e_0_bit0 -z4_0x26_9_0x2e_1_bit0 z4_0x26_9_0x2e_2_bit0 -z4_0x26_9_0x2e_3_bit0 -z4_0x26_9_0x2e_4_bit0 -z4_0x26_9_0x2e_5_bit0 z5_0x26_6_0x2e_0_bit0 -z5_0x26_6_0x2e_1_bit0 -z5_0x26_6_0x2e_2_bit0 -z5_0x26_6_0x2e_3_bit0 -z5_0x26_6_0x2e_4_bit0 -z5_0x26_6_0x2e_5_bit0 -z5_0x26_6_0x2e_6_bit0 -z5_0x26_6_0x2e_7_bit0 -z5_0x26_6_0x2e_8_bit0 -z5_0x26_7_0x2e_0_bit0 z5_0x26_7_0x2e_1_bit0 -z5_0x26_7_0x2e_2_bit0 -z5_0x26_7_0x2e_3_bit0 -z5_0x26_7_0x2e_4_bit0 -z5_0x26_7_0x2e_5_bit0 -z5_0x26_7_0x2e_6_bit0 -z5_0x26_7_0x2e_7_bit0 -z5_0x26_7_0x2e_8_bit0 -z5_0x26_8_0x2e_0_bit0 -z5_0x26_8_0x2e_1_bit0 -z5_0x26_8_0x2e_2_bit0 -z5_0x26_8_0x2e_3_bit0 -z5_0x26_8_0x2e_4_bit0 z5_0x26_8_0x2e_5_bit0 -z5_0x26_8_0x2e_6_bit0 -z5_0x26_8_0x2e_7_bit0 -z5_0x26_8_0x2e_8_bit0 -z5_0x26_8_0x2e_9_bit0 -z5_0x26_8_0x2e_10_bit0 -z5_0x26_9_0x2e_0_bit0 -z5_0x26_9_0x2e_1_bit0 -z5_0x26_9_0x2e_2_bit0 z5_0x26_9_0x2e_3_bit0 -z5_0x26_9_0x2e_4_bit0 -z5_0x26_9_0x2e_5_bit0 -z5_0x26_9_0x2e_6_bit0 -z6_0x26_7_0x2e_0_bit0 -z6_0x26_7_0x2e_1_bit0 z6_0x26_7_0x2e_2_bit0 -z6_0x26_7_0x2e_3_bit0 -z6_0x26_7_0x2e_4_bit0 -z6_0x26_7_0x2e_5_bit0 -z6_0x26_7_0x2e_6_bit0 -z6_0x26_7_0x2e_7_bit0 -z6_0x26_8_0x2e_0_bit0 -z6_0x26_8_0x2e_1_bit0 -z6_0x26_8_0x2e_2_bit0 -z6_0x26_8_0x2e_3_bit0 z6_0x26_8_0x2e_4_bit0 -z6_0x26_8_0x2e_5_bit0 -z6_0x26_8_0x2e_6_bit0 -z6_0x26_8_0x2e_7_bit0 -z6_0x26_8_0x2e_8_bit0 -z6_0x26_8_0x2e_9_bit0 -z6_0x26_9_0x2e_0_bit0 -z6_0x26_9_0x2e_1_bit0 z6_0x26_9_0x2e_2_bit0 -z6_0x26_9_0x2e_3_bit0 -z6_0x26_9_0x2e_4_bit0 -z6_0x26_9_0x2e_5_bit0 -z6_0x26_9_0x2e_6_bit0 -z7_0x26_8_0x2e_0_bit0 -z7_0x26_8_0x2e_1_bit0 -z7_0x26_8_0x2e_2_bit0 -z7_0x26_8_0x2e_3_bit0 -z7_0x26_8_0x2e_4_bit0 -z7_0x26_8_0x2e_5_bit0 -z7_0x26_8_0x2e_6_bit0 -z7_0x26_8_0x2e_7_bit0 z7_0x26_8_0x2e_8_bit0 -z7_0x26_8_0x2e_9_bit0 -z7_0x26_9_0x2e_0_bit0 -z7_0x26_9_0x2e_1_bit0 -z7_0x26_9_0x2e_2_bit0 z7_0x26_9_0x2e_3_bit0 -z7_0x26_9_0x2e_4_bit0 -z7_0x26_9_0x2e_5_bit0 -z7_0x26_9_0x2e_6_bit0 z8_0x26_9_0x2e_0_bit0 -z8_0x26_9_0x2e_1_bit0 -z8_0x26_9_0x2e_2_bit0 -z8_0x26_9_0x2e_3_bit0 -z8_0x26_9_0x2e_4_bit0 -z8_0x26_9_0x2e_5_bit0 -z8_0x26_9_0x2e_6_bit0 -z8_0x26_9_0x2e_7_bit0 c objectif function=425986239553 c Total CPU time (ms) : 1249.425 #### 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.92 0.99 0.99 2/54 14730 Raw data (stat): 14730 (runsolver) R 14729 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 840008210 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.0005 s] Raw data (loadavg): 1.24 1.06 1.02 4/64 14740 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18080 0 1 0 597 41 0 0 25 0 11 0 840008210 867880960 22206 4294967295 134512640 134569956 3221224368 3221214688 1131176120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211885 22206 13086 16 0 211869 0 vsize: 847540 [startup+20.0012 s] Raw data (loadavg): 1.35 1.09 1.03 2/64 14740 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18082 0 1 0 1541 42 0 0 25 0 11 0 840008210 863903744 22641 4294967295 134512640 134569956 3221224368 3221214592 1131205145 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210914 22641 13086 16 0 210898 0 vsize: 843656 [startup+30.002 s] Raw data (loadavg): 1.29 1.08 1.02 2/64 14741 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18128 3 1 0 2486 42 0 0 25 0 11 0 840008210 863903744 23411 4294967295 134512640 134569956 3221224368 3221214424 1131522812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210914 23411 13086 16 0 210898 0 vsize: 843656 [startup+40.0022 s] Raw data (loadavg): 1.25 1.08 1.02 2/64 14741 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18128 3 1 0 3446 42 0 0 25 0 11 0 840008210 863903744 23458 4294967295 134512640 134569956 3221224368 3221214644 1130920308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210914 23458 13086 16 0 210898 0 vsize: 843656 [startup+50.0029 s] Raw data (loadavg): 1.21 1.08 1.02 2/64 14742 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 4402 42 0 0 25 0 11 0 840008210 863903744 23711 4294967295 134512640 134569956 3221224368 3221214560 1131359840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210914 23711 13086 16 0 210898 0 vsize: 843656 [startup+60.0029 s] Raw data (loadavg): 1.18 1.08 1.02 2/64 14745 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 5374 42 0 0 25 0 11 0 840008210 863903744 23794 4294967295 134512640 134569956 3221224368 3221214436 1131633168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210914 23794 13086 16 0 210898 0 vsize: 843656 [startup+70.0031 s] Raw data (loadavg): 1.15 1.07 1.02 2/64 14745 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 6336 43 0 0 25 0 11 0 840008210 863903744 24001 4294967295 134512640 134569956 3221224368 3221214264 1131631028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210914 24001 13086 16 0 210898 0 vsize: 843656 [startup+80.0035 s] Raw data (loadavg): 1.13 1.07 1.02 2/64 14746 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 7287 43 0 0 25 0 11 0 840008210 863903744 24307 4294967295 134512640 134569956 3221224368 3221214496 1131633005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210914 24307 13086 16 0 210898 0 vsize: 843656 [startup+90.0038 s] Raw data (loadavg): 1.11 1.07 1.02 2/64 14746 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 8250 43 0 0 25 0 11 0 840008210 863903744 24467 4294967295 134512640 134569956 3221224368 3221214664 1131573756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210914 24467 13086 16 0 210898 0 vsize: 843656 [startup+100.004 s] Raw data (loadavg): 1.09 1.06 1.02 2/64 14748 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 9223 43 0 0 25 0 11 0 840008210 863903744 24553 4294967295 134512640 134569956 3221224368 3221214360 1131527978 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210914 24553 13086 16 0 210898 0 vsize: 843656 [startup+110.004 s] Raw data (loadavg): 1.08 1.06 1.02 2/64 14748 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18129 3 1 0 10194 43 0 0 25 0 11 0 840008210 863903744 24741 4294967295 134512640 134569956 3221224368 3221214504 1131635383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210914 24741 13086 16 0 210898 0 vsize: 843656 [startup+120.005 s] Raw data (loadavg): 1.06 1.06 1.02 2/64 14749 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 3 1 0 11155 43 0 0 25 0 11 0 840008210 864432128 24965 4294967295 134512640 134569956 3221224368 3221214624 1131581368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 24965 13086 16 0 211027 0 vsize: 844172 [startup+130.005 s] Raw data (loadavg): 1.05 1.06 1.01 2/64 14750 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 12127 43 0 0 25 0 11 0 840008210 864432128 25197 4294967295 134512640 134569956 3221224368 3221214620 1131286464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 25197 13086 16 0 211027 0 vsize: 844172 [startup+140.004 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 14750 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 13100 43 0 0 25 0 11 0 840008210 864432128 25329 4294967295 134512640 134569956 3221224368 3221214244 1131633163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 25329 13086 16 0 211027 0 vsize: 844172 [startup+150.005 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 14751 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 14066 43 0 0 25 0 11 0 840008210 864432128 25329 4294967295 134512640 134569956 3221224368 3221214072 1131634450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 25329 13086 16 0 211027 0 vsize: 844172 [startup+160.005 s] Raw data (loadavg): 1.03 1.05 1.01 2/64 14751 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 15029 43 0 0 25 0 11 0 840008210 864432128 25456 4294967295 134512640 134569956 3221224368 3221214232 1131631039 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 25456 13086 16 0 211027 0 vsize: 844172 [startup+170.005 s] Raw data (loadavg): 1.03 1.05 1.01 2/64 14752 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 16009 43 0 0 25 0 11 0 840008210 864432128 25549 4294967295 134512640 134569956 3221224368 3221214592 1131482100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 25549 13086 16 0 211027 0 vsize: 844172 [startup+180.006 s] Raw data (loadavg): 1.02 1.05 1.01 2/64 14752 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 16959 43 0 0 25 0 11 0 840008210 864432128 26014 4294967295 134512640 134569956 3221224368 3221214624 1131573462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26014 13086 16 0 211027 0 vsize: 844172 [startup+190.005 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 14752 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 17942 43 0 0 25 0 11 0 840008210 864432128 26014 4294967295 134512640 134569956 3221224368 3221214768 1131644389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26014 13086 16 0 211027 0 vsize: 844172 [startup+200.006 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 14753 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 18914 44 0 0 25 0 11 0 840008210 864432128 26130 4294967295 134512640 134569956 3221224368 3221213960 1131634455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26130 13086 16 0 211027 0 vsize: 844172 [startup+210.006 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 14754 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 19896 44 0 0 25 0 11 0 840008210 864432128 26181 4294967295 134512640 134569956 3221224368 3221214528 1131286837 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26181 13086 16 0 211027 0 vsize: 844172 [startup+220.006 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 14755 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 20860 44 0 0 25 0 11 0 840008210 864432128 26181 4294967295 134512640 134569956 3221224368 3221214528 1131286719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26181 13086 16 0 211027 0 vsize: 844172 [startup+230.006 s] Raw data (loadavg): 1.01 1.04 1.00 2/64 14755 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 21812 44 0 0 25 0 11 0 840008210 864432128 26392 4294967295 134512640 134569956 3221224368 3221214000 1085679313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26392 13086 16 0 211027 0 vsize: 844172 [startup+240.007 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 14755 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 22775 44 0 0 25 0 11 0 840008210 864432128 26515 4294967295 134512640 134569956 3221224368 3221214528 1131286610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26515 13086 16 0 211027 0 vsize: 844172 [startup+250.008 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14756 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 23766 44 0 0 25 0 11 0 840008210 864432128 26515 4294967295 134512640 134569956 3221224368 3221214504 1131369590 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26515 13086 16 0 211027 0 vsize: 844172 [startup+260.008 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14757 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 24738 44 0 0 25 0 11 0 840008210 864432128 26707 4294967295 134512640 134569956 3221224368 3221214528 1131287207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26707 13086 16 0 211027 0 vsize: 844172 [startup+270.013 s] Raw data (loadavg): 1.00 1.03 1.00 3/64 14758 Raw data (stat): 14730 (java) S 14729 1586 1585 0 -1 0 18130 6 1 0 25697 44 0 0 25 0 11 0 840008210 864432128 26709 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26709 13086 16 0 211027 0 vsize: 844172 [startup+280.014 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14758 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 26650 44 0 0 25 0 11 0 840008210 864432128 26997 4294967295 134512640 134569956 3221224368 3221214520 1131317812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 26997 13086 16 0 211027 0 vsize: 844172 [startup+290.015 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14759 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 27619 45 0 0 25 0 11 0 840008210 864432128 27051 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27051 13086 16 0 211027 0 vsize: 844172 [startup+300.015 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 14759 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 28591 45 0 0 25 0 11 0 840008210 864432128 27222 4294967295 134512640 134569956 3221224368 3221214464 1131635610 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27222 13086 16 0 211027 0 vsize: 844172 [startup+310.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14760 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 29578 45 0 0 25 0 11 0 840008210 864432128 27355 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27355 13086 16 0 211027 0 vsize: 844172 [startup+320.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 30560 45 0 0 25 0 11 0 840008210 864432128 27447 4294967295 134512640 134569956 3221224368 3221214528 1131287140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27447 13086 16 0 211027 0 vsize: 844172 [startup+330.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 31543 45 0 0 25 0 11 0 840008210 864432128 27574 4294967295 134512640 134569956 3221224368 3221214504 1131369846 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27574 13086 16 0 211027 0 vsize: 844172 [startup+340.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 32522 45 0 0 18 0 11 0 840008210 864432128 27587 4294967295 134512640 134569956 3221224368 3221214528 1131287541 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27587 13086 16 0 211027 0 vsize: 844172 [startup+350.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 33496 45 0 0 25 0 11 0 840008210 864432128 27603 4294967295 134512640 134569956 3221224368 3221214596 1131633163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27603 13086 16 0 211027 0 vsize: 844172 [startup+360.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 34467 45 0 0 25 0 11 0 840008210 864432128 27650 4294967295 134512640 134569956 3221224368 3221214528 1131286744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27650 13086 16 0 211027 0 vsize: 844172 [startup+370.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 35452 45 0 0 25 0 11 0 840008210 864432128 27657 4294967295 134512640 134569956 3221224368 3221214400 1131280569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27657 13086 16 0 211027 0 vsize: 844172 [startup+380.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 36433 45 0 0 25 0 11 0 840008210 864432128 27667 4294967295 134512640 134569956 3221224368 3221214432 1131379085 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27667 13086 16 0 211027 0 vsize: 844172 [startup+390.017 s] Raw data (loadavg): 1.00 1.02 1.00 3/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 37395 45 0 0 25 0 11 0 840008210 864432128 27763 4294967295 134512640 134569956 3221224368 3221214624 1131573756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27763 13086 16 0 211027 0 vsize: 844172 [startup+400.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 38353 45 0 0 25 0 11 0 840008210 864432128 27889 4294967295 134512640 134569956 3221224368 3221214504 1131369550 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 27889 13086 16 0 211027 0 vsize: 844172 [startup+410.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 39309 45 0 0 25 0 11 0 840008210 864432128 28199 4294967295 134512640 134569956 3221224368 3221214528 1131287191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 28199 13086 16 0 211027 0 vsize: 844172 [startup+420.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 40268 45 0 0 25 0 11 0 840008210 864432128 28438 4294967295 134512640 134569956 3221224368 3221214540 1131633163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 28438 13086 16 0 211027 0 vsize: 844172 [startup+430.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14761 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 41253 45 0 0 25 0 11 0 840008210 864432128 28497 4294967295 134512640 134569956 3221224368 3221214100 1131633168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 28497 13086 16 0 211027 0 vsize: 844172 [startup+440.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14762 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 42236 45 0 0 25 0 11 0 840008210 864432128 28553 4294967295 134512640 134569956 3221224368 3221214216 1131633144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 28553 13086 16 0 211027 0 vsize: 844172 [startup+450.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14762 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 43194 46 0 0 25 0 11 0 840008210 864432128 28708 4294967295 134512640 134569956 3221224368 3221214168 1085679766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 28708 13086 16 0 211027 0 vsize: 844172 [startup+460.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14762 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 44177 46 0 0 25 0 11 0 840008210 864432128 28807 4294967295 134512640 134569956 3221224368 3221214288 1085679321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 28807 13086 16 0 211027 0 vsize: 844172 [startup+470.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14763 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 45160 46 1 0 25 0 11 0 840008210 864432128 28866 4294967295 134512640 134569956 3221224368 3221214768 1131644113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 28866 13086 16 0 211027 0 vsize: 844172 [startup+480.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14763 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 46151 46 1 0 25 0 11 0 840008210 864432128 28866 4294967295 134512640 134569956 3221224368 3221214048 1131633137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 28866 13086 16 0 211027 0 vsize: 844172 [startup+490.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14763 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 47117 46 1 0 25 0 11 0 840008210 864432128 28966 4294967295 134512640 134569956 3221224368 3221214596 1131633168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 28966 13086 16 0 211027 0 vsize: 844172 [startup+500.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14763 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 48085 46 1 0 25 0 11 0 840008210 864432128 29023 4294967295 134512640 134569956 3221224368 3221214064 1085679386 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 29023 13086 16 0 211027 0 vsize: 844172 [startup+510.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 49059 46 1 1 25 0 11 0 840008210 864432128 29075 4294967295 134512640 134569956 3221224368 3221214072 1085679386 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 29075 13086 16 0 211027 0 vsize: 844172 [startup+520.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 50042 46 1 1 25 0 11 0 840008210 864432128 29162 4294967295 134512640 134569956 3221224368 3221214072 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 29162 13086 16 0 211027 0 vsize: 844172 [startup+530.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 51002 46 1 1 25 0 11 0 840008210 864432128 29401 4294967295 134512640 134569956 3221224368 3221214400 1131443009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 29401 13086 16 0 211027 0 vsize: 844172 [startup+540.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 51980 46 1 1 25 0 11 0 840008210 864432128 29452 4294967295 134512640 134569956 3221224368 3221214488 1131633169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 29452 13086 16 0 211027 0 vsize: 844172 [startup+550.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 52941 46 1 1 25 0 11 0 840008210 864432128 29626 4294967295 134512640 134569956 3221224368 3221213708 1131633168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 29626 13086 16 0 211027 0 vsize: 844172 [startup+560.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 53900 47 1 1 25 0 11 0 840008210 864432128 29743 4294967295 134512640 134569956 3221224368 3221214624 1131573829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 29743 13086 16 0 211027 0 vsize: 844172 [startup+570.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 54862 47 1 1 25 0 11 0 840008210 864432128 29893 4294967295 134512640 134569956 3221224368 3221214152 1131631023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 29893 13086 16 0 211027 0 vsize: 844172 [startup+580.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 55809 47 1 1 25 0 11 0 840008210 864432128 29980 4294967295 134512640 134569956 3221224368 3221214624 1131580841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 29980 13086 16 0 211027 0 vsize: 844172 [startup+590.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 56792 47 1 1 25 0 11 0 840008210 864432128 29999 4294967295 134512640 134569956 3221224368 3221214520 1131317933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 29999 13086 16 0 211027 0 vsize: 844172 [startup+600.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 57740 47 1 1 25 0 11 0 840008210 864432128 30083 4294967295 134512640 134569956 3221224368 3221214528 1131287041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 30083 13086 16 0 211027 0 vsize: 844172 [startup+610.032 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 58693 47 1 1 25 0 11 0 840008210 864432128 30216 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 30216 13086 16 0 211027 0 vsize: 844172 [startup+620.031 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 59642 47 1 1 25 0 11 0 840008210 864432128 30585 4294967295 134512640 134569956 3221224368 3221214528 1131288257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 30585 13086 16 0 211027 0 vsize: 844172 [startup+630.032 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 14764 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 60603 47 1 1 25 0 11 0 840008210 864432128 30829 4294967295 134512640 134569956 3221224368 3221214528 1131286889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 30829 13086 16 0 211027 0 vsize: 844172 [startup+640.032 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 14765 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 61571 47 1 1 25 0 11 0 840008210 864432128 30881 4294967295 134512640 134569956 3221224368 3221213960 1131635428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 30881 13086 16 0 211027 0 vsize: 844172 [startup+650.033 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 14765 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 62547 47 1 1 24 0 11 0 840008210 864432128 30914 4294967295 134512640 134569956 3221224368 3221214588 1131631019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 30914 13086 16 0 211027 0 vsize: 844172 [startup+660.033 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 14766 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 63534 47 1 1 25 0 11 0 840008210 864432128 30936 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 30936 13086 16 0 211027 0 vsize: 844172 [startup+670.033 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 14766 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 64504 47 1 1 25 0 11 0 840008210 864432128 30955 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 30955 13086 16 0 211027 0 vsize: 844172 [startup+680.033 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 14766 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 65491 47 1 1 25 0 11 0 840008210 864432128 30999 4294967295 134512640 134569956 3221224368 3221213988 1131633168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 30999 13086 16 0 211027 0 vsize: 844172 [startup+690.032 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 14767 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 66467 47 1 1 25 0 11 0 840008210 864432128 31106 4294967295 134512640 134569956 3221224368 3221214512 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31106 13086 16 0 211027 0 vsize: 844172 [startup+700.033 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 14767 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 67456 47 1 1 25 0 11 0 840008210 864432128 31146 4294967295 134512640 134569956 3221224368 3221214456 1085632310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31146 13086 16 0 211027 0 vsize: 844172 [startup+710.034 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 14768 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 68444 48 1 1 25 0 11 0 840008210 864432128 31199 4294967295 134512640 134569956 3221224368 3221214528 1131555823 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31199 13086 16 0 211027 0 vsize: 844172 [startup+720.033 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 14769 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 69423 48 1 1 25 0 11 0 840008210 864432128 31314 4294967295 134512640 134569956 3221224368 3221213768 1131633148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31314 13086 16 0 211027 0 vsize: 844172 [startup+730.033 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 14769 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 70414 48 1 1 25 0 11 0 840008210 864432128 31359 4294967295 134512640 134569956 3221224368 3221214520 1131635355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31359 13086 16 0 211027 0 vsize: 844172 [startup+740.034 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 14769 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 71396 48 1 1 25 0 11 0 840008210 864432128 31444 4294967295 134512640 134569956 3221224368 3221214624 1131573829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31444 13086 16 0 211027 0 vsize: 844172 [startup+750.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14769 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 72359 48 1 1 25 0 11 0 840008210 864432128 31467 4294967295 134512640 134569956 3221224368 3221214368 1131630889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31467 13086 16 0 211027 0 vsize: 844172 [startup+760.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14769 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 73341 48 1 1 25 0 11 0 840008210 864432128 31522 4294967295 134512640 134569956 3221224368 3221214304 1131634453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31522 13086 16 0 211027 0 vsize: 844172 [startup+770.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14769 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 74301 48 1 1 25 0 11 0 840008210 864432128 31596 4294967295 134512640 134569956 3221224368 3221214688 1131384449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31596 13086 16 0 211027 0 vsize: 844172 [startup+780.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14769 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 75274 48 1 1 25 0 11 0 840008210 864432128 31651 4294967295 134512640 134569956 3221224368 3221214528 1131631048 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31651 13086 16 0 211027 0 vsize: 844172 [startup+790.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14769 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 76247 48 1 1 25 0 11 0 840008210 864432128 31688 4294967295 134512640 134569956 3221224368 3221214576 1131343209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31688 13086 16 0 211027 0 vsize: 844172 [startup+800.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14769 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 77233 48 1 1 25 0 11 0 840008210 864432128 31689 4294967295 134512640 134569956 3221224368 3221214624 1131575148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31689 13086 16 0 211027 0 vsize: 844172 [startup+810.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14769 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 78199 48 1 1 25 0 11 0 840008210 864432128 31832 4294967295 134512640 134569956 3221224368 3221214528 1131286689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31832 13086 16 0 211027 0 vsize: 844172 [startup+820.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14770 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 79180 48 1 1 25 0 11 0 840008210 864432128 31926 4294967295 134512640 134569956 3221224368 3221213820 1131633104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 31926 13086 16 0 211027 0 vsize: 844172 [startup+830.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14770 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 80154 48 1 1 25 0 11 0 840008210 864432128 32004 4294967295 134512640 134569956 3221224368 3221213936 1131633079 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32004 13086 16 0 211027 0 vsize: 844172 [startup+840.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14771 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 81138 48 1 1 25 0 11 0 840008210 864432128 32054 4294967295 134512640 134569956 3221224368 3221214528 1131286805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32054 13086 16 0 211027 0 vsize: 844172 [startup+850.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14771 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 82123 48 1 1 25 0 11 0 840008210 864432128 32114 4294967295 134512640 134569956 3221224368 3221214596 1131633168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32114 13086 16 0 211027 0 vsize: 844172 [startup+860.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14771 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 83097 48 1 1 25 0 11 0 840008210 864432128 32261 4294967295 134512640 134569956 3221224368 3221214532 1130885169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32261 13086 16 0 211027 0 vsize: 844172 [startup+870.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14771 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 84072 48 1 1 25 0 11 0 840008210 864432128 32307 4294967295 134512640 134569956 3221224368 3221214208 1131631004 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211043 32307 13086 16 0 211027 0 vsize: 844172 [startup+880.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14771 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 85056 48 1 1 25 0 11 0 840008210 864432128 32375 4294967295 134512640 134569956 3221224368 3221214616 1131196359 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32375 13086 16 0 211027 0 vsize: 844172 [startup+890.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 86032 48 1 1 25 0 11 0 840008210 864432128 32414 4294967295 134512640 134569956 3221224368 3221214536 1131630990 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32414 13086 16 0 211027 0 vsize: 844172 [startup+900.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 87007 49 1 1 25 0 11 0 840008210 864432128 32420 4294967295 134512640 134569956 3221224368 3221214624 1131575260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32420 13086 16 0 211027 0 vsize: 844172 [startup+910.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 87981 49 1 1 25 0 11 0 840008210 864432128 32448 4294967295 134512640 134569956 3221224368 3221214536 1131206776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32448 13086 16 0 211027 0 vsize: 844172 [startup+920.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 88946 49 1 1 25 0 11 0 840008210 864432128 32556 4294967295 134512640 134569956 3221224368 3221214520 1131317889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32556 13086 16 0 211027 0 vsize: 844172 [startup+930.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 89923 49 1 1 25 0 11 0 840008210 864432128 32689 4294967295 134512640 134569956 3221224368 3221214624 1131573797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32689 13086 16 0 211027 0 vsize: 844172 [startup+940.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 90913 49 1 1 25 0 11 0 840008210 864432128 32692 4294967295 134512640 134569956 3221224368 3221213972 1131634432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32692 13086 16 0 211027 0 vsize: 844172 [startup+950.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 91881 49 1 1 25 0 11 0 840008210 864432128 32764 4294967295 134512640 134569956 3221224368 3221214520 1131279542 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32764 13086 16 0 211027 0 vsize: 844172 [startup+960.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 92836 49 1 1 25 0 11 0 840008210 864432128 32791 4294967295 134512640 134569956 3221224368 3221214028 1131634432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32791 13086 16 0 211027 0 vsize: 844172 [startup+970.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 93798 49 1 1 25 0 11 0 840008210 864432128 32865 4294967295 134512640 134569956 3221224368 3221213984 1131631069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32865 13086 16 0 211027 0 vsize: 844172 [startup+980.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) S 14729 1586 1585 0 -1 0 18130 6 1 0 94783 49 1 1 25 0 11 0 840008210 864432128 32918 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 32918 13086 16 0 211027 0 vsize: 844172 [startup+990.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 95743 49 1 1 25 0 11 0 840008210 864432128 33076 4294967295 134512640 134569956 3221224368 3221214540 1131633168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33076 13086 16 0 211027 0 vsize: 844172 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 96719 50 1 1 25 0 11 0 840008210 864432128 33108 4294967295 134512640 134569956 3221224368 3221214508 1085679260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33108 13086 16 0 211027 0 vsize: 844172 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 97707 50 1 1 25 0 11 0 840008210 864432128 33127 4294967295 134512640 134569956 3221224368 3221214536 1131205145 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33127 13086 16 0 211027 0 vsize: 844172 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 98677 50 1 1 25 0 11 0 840008210 864432128 33229 4294967295 134512640 134569956 3221224368 3221214536 1131206800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33229 13086 16 0 211027 0 vsize: 844172 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 99664 50 1 1 25 0 11 0 840008210 864432128 33303 4294967295 134512640 134569956 3221224368 3221213928 1131631036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33303 13086 16 0 211027 0 vsize: 844172 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 100646 50 1 1 25 0 11 0 840008210 864432128 33409 4294967295 134512640 134569956 3221224368 3221214488 1131359049 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33409 13086 16 0 211027 0 vsize: 844172 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 101610 50 1 1 25 0 11 0 840008210 864432128 33577 4294967295 134512640 134569956 3221224368 3221214528 1131286630 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33577 13086 16 0 211027 0 vsize: 844172 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 102567 50 1 1 25 0 11 0 840008210 864432128 33648 4294967295 134512640 134569956 3221224368 3221214624 1131575784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33648 13086 16 0 211027 0 vsize: 844172 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 103525 50 1 1 25 0 11 0 840008210 864432128 33649 4294967295 134512640 134569956 3221224368 3221214208 1131633144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33649 13086 16 0 211027 0 vsize: 844172 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 104489 50 1 1 25 0 11 0 840008210 864432128 33702 4294967295 134512640 134569956 3221224368 3221214256 1131631036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33702 13086 16 0 211027 0 vsize: 844172 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 105470 50 1 1 25 0 11 0 840008210 864432128 33738 4294967295 134512640 134569956 3221224368 3221214344 1085679337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33738 13086 16 0 211027 0 vsize: 844172 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 106461 50 1 1 25 0 11 0 840008210 864432128 33768 4294967295 134512640 134569956 3221224368 3221213824 1131633108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33768 13086 16 0 211027 0 vsize: 844172 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) S 14729 1586 1585 0 -1 0 18130 6 1 0 107422 50 1 1 25 0 11 0 840008210 864432128 33867 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 33867 13086 16 0 211027 0 vsize: 844172 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 108390 50 1 1 25 0 11 0 840008210 864432128 33956 4294967295 134512640 134569956 3221224368 3221214520 1131318609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211043 33956 13086 16 0 211027 0 vsize: 844172 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 109353 50 1 1 25 0 11 0 840008210 864432128 34107 4294967295 134512640 134569956 3221224368 3221214320 1131633233 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 34107 13086 16 0 211027 0 vsize: 844172 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 110302 50 1 1 25 0 11 0 840008210 864432128 34320 4294967295 134512640 134569956 3221224368 3221214480 1131377847 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211043 34320 13086 16 0 211027 0 vsize: 844172 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) S 14729 1586 1585 0 -1 0 18130 6 1 0 111247 50 1 1 25 0 11 0 840008210 864432128 34545 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 34545 13086 16 0 211027 0 vsize: 844172 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 112196 50 1 1 25 0 11 0 840008210 864432128 34606 4294967295 134512640 134569956 3221224368 3221214480 1131279911 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 34606 13086 16 0 211027 0 vsize: 844172 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 113138 50 1 1 25 0 11 0 840008210 864432128 34787 4294967295 134512640 134569956 3221224368 3221214344 1085679502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 34787 13086 16 0 211027 0 vsize: 844172 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 114099 50 1 1 25 0 11 0 840008210 864432128 34938 4294967295 134512640 134569956 3221224368 3221214208 1131633169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 34938 13086 16 0 211027 0 vsize: 844172 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 115085 50 1 1 25 0 11 0 840008210 864432128 34999 4294967295 134512640 134569956 3221224368 3221214528 1131286637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 34999 13086 16 0 211027 0 vsize: 844172 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 116051 50 1 1 25 0 11 0 840008210 864432128 35135 4294967295 134512640 134569956 3221224368 3221214480 1131280858 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 35135 13086 16 0 211027 0 vsize: 844172 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 117017 51 1 1 25 0 11 0 840008210 864432128 35262 4294967295 134512640 134569956 3221224368 3221214624 1131575753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 35262 13086 16 0 211027 0 vsize: 844172 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 117982 51 1 1 25 0 11 0 840008210 864432128 35391 4294967295 134512640 134569956 3221224368 3221213992 1131633092 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 35391 13086 16 0 211027 0 vsize: 844172 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14772 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 118961 51 1 1 25 0 11 0 840008210 864432128 35457 4294967295 134512640 134569956 3221224368 3221214592 1131630889 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 35457 13086 16 0 211027 0 vsize: 844172 [startup+1240.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14773 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 119938 51 1 1 25 0 11 0 840008210 864432128 35529 4294967295 134512640 134569956 3221224368 3221214248 1131634455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 35529 13086 16 0 211027 0 vsize: 844172 [startup+1250.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 14773 Raw data (stat): 14730 (java) R 14729 1586 1585 0 -1 0 18130 6 1 0 120923 51 1 1 25 0 11 0 840008210 864432128 35568 4294967295 134512640 134569956 3221224368 3221214528 1131286770 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211043 35568 13086 16 0 211027 0 vsize: 844172 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.48 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 14775 Raw data (stat): 14730 (java) Z 14729 1586 1585 0 -1 1036 18130 19879 1 0 120959 51 4580 45 25 0 1 0 840008210 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1250.47 CPU time (s): 1256.38 CPU user time (s): 1255.4 CPU system time (s): 0.973851 CPU usage (%): 100.472 Max. virtual memory (Kb): 847540 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 425986239553 #### END VERIFIER DATA ####