Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-blend.opb |
MD5SUM | 7713e9174526352f04e3c528ca3ecb01 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 440 |
Biggest coefficient in the objective function | 14050918400 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 198838131525 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 76598476800 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 770522270100 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1227.04 |
Number of variables | 1660 |
Total number of constraints | 74 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 74 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 520 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-25 11:45:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21207 boxname=wulflinc31 idbench=1195 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 7713e9174526352f04e3c528ca3ecb01 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-blend.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-blend.opb IDLAUNCH: 21207 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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.153 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: 451512 kB Buffers: 30840 kB Cached: 521968 kB SwapCached: 1052 kB Active: 65580 kB Inactive: 489388 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 451260 kB SwapTotal: 2097892 kB SwapFree: 2095964 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5192 kB Slab: 22456 kB Committed_AS: 63812 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 12:06:20 (client local time) WITH STATUS 143 IN 1227.04 SECONDS stats: 21207 0 1227.04 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/wulflinc31/normalized-mps-v2-13-7-blend.opb c reading problem ... done. Time 4.007 ms. c #vars 1660 c #constraints 114 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 0 Current CPU time: 6.29 ms c starts : 12 c conflicts : 11805 c decisions : 13312 c propagations : 56603 c inspects : 3621976 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 11805 c root simplifications : 14 s SATISFIABLE v -V1_bit_7 -V1_bit_6 -V1_bit_5 -V1_bit_4 -V1_bit_3 -V1_bit_2 -V1_bit_1 -V1_bit0 -V1_bit1 -V1_bit2 -V1_bit3 -V1_bit4 -V1_bit5 -V1_bit6 -V1_bit7 -V1_bit8 -V1_bit9 -V1_bit10 -V1_bit11 -V1_bit12 -V2_bit_7 -V2_bit_6 -V2_bit_5 -V2_bit_4 -V2_bit_3 -V2_bit_2 -V2_bit_1 -V2_bit0 -V2_bit1 -V2_bit2 -V2_bit3 -V2_bit4 -V2_bit5 -V2_bit6 -V2_bit7 -V2_bit8 -V2_bit9 -V2_bit10 -V2_bit11 -V2_bit12 -V8_bit_7 -V8_bit_6 -V8_bit_5 -V8_bit_4 -V8_bit_3 -V8_bit_2 -V8_bit_1 -V8_bit0 -V8_bit1 -V8_bit2 -V8_bit3 -V8_bit4 -V8_bit5 -V8_bit6 -V8_bit7 -V8_bit8 -V8_bit9 -V8_bit10 -V8_bit11 -V8_bit12 -V13_bit_7 -V13_bit_6 -V13_bit_5 -V13_bit_4 -V13_bit_3 -V13_bit_2 -V13_bit_1 -V13_bit0 -V13_bit1 -V13_bit2 -V13_bit3 -V13_bit4 -V13_bit5 -V13_bit6 -V13_bit7 -V13_bit8 -V13_bit9 -V13_bit10 -V13_bit11 -V13_bit12 -V15_bit_7 -V15_bit_6 -V15_bit_5 -V15_bit_4 -V15_bit_3 -V15_bit_2 -V15_bit_1 -V15_bit0 -V15_bit1 -V15_bit2 -V15_bit3 -V15_bit4 -V15_bit5 -V15_bit6 -V15_bit7 -V15_bit8 -V15_bit9 -V15_bit10 -V15_bit11 -V15_bit12 -V16_bit_7 -V16_bit_6 -V16_bit_5 -V16_bit_4 -V16_bit_3 -V16_bit_2 -V16_bit_1 -V16_bit0 -V16_bit1 -V16_bit2 -V16_bit3 -V16_bit4 -V16_bit5 -V16_bit6 -V16_bit7 -V16_bit8 -V16_bit9 -V16_bit10 -V16_bit11 -V16_bit12 -V17_bit_7 -V17_bit_6 -V17_bit_5 -V17_bit_4 -V17_bit_3 -V17_bit_2 -V17_bit_1 -V17_bit0 -V17_bit1 -V17_bit2 -V17_bit3 -V17_bit4 -V17_bit5 -V17_bit6 -V17_bit7 -V17_bit8 -V17_bit9 -V17_bit10 -V17_bit11 -V17_bit12 -V18_bit_7 -V18_bit_6 -V18_bit_5 -V18_bit_4 -V18_bit_3 -V18_bit_2 -V18_bit_1 -V18_bit0 -V18_bit1 -V18_bit2 -V18_bit3 -V18_bit4 -V18_bit5 -V18_bit6 -V18_bit7 -V18_bit8 -V18_bit9 -V18_bit10 -V18_bit11 -V18_bit12 -V23_bit_7 -V23_bit_6 -V23_bit_5 -V23_bit_4 -V23_bit_3 -V23_bit_2 -V23_bit_1 -V23_bit0 -V23_bit1 -V23_bit2 -V23_bit3 -V23_bit4 -V23_bit5 -V23_bit6 -V23_bit7 -V23_bit8 -V23_bit9 -V23_bit10 -V23_bit11 -V23_bit12 -V24_bit_7 -V24_bit_6 -V24_bit_5 -V24_bit_4 -V24_bit_3 -V24_bit_2 -V24_bit_1 -V24_bit0 -V24_bit1 -V24_bit2 -V24_bit3 -V24_bit4 -V24_bit5 -V24_bit6 -V24_bit7 -V24_bit8 -V24_bit9 -V24_bit10 -V24_bit11 -V24_bit12 -V37_bit_7 -V37_bit_6 -V37_bit_5 -V37_bit_4 -V37_bit_3 -V37_bit_2 -V37_bit_1 -V37_bit0 -V37_bit1 -V37_bit2 -V37_bit3 -V37_bit4 -V37_bit5 -V37_bit6 -V37_bit7 -V37_bit8 -V37_bit9 -V37_bit10 -V37_bit11 -V37_bit12 -V45_bit_7 -V45_bit_6 -V45_bit_5 -V45_bit_4 -V45_bit_3 -V45_bit_2 -V45_bit_1 -V45_bit0 -V45_bit1 -V45_bit2 -V45_bit3 -V45_bit4 -V45_bit5 -V45_bit6 -V45_bit7 -V45_bit8 -V45_bit9 -V45_bit10 -V45_bit11 -V45_bit12 -V53_bit_7 -V53_bit_6 -V53_bit_5 -V53_bit_4 -V53_bit_3 -V53_bit_2 -V53_bit_1 -V53_bit0 -V53_bit1 -V53_bit2 -V53_bit3 -V53_bit4 -V53_bit5 -V53_bit6 -V53_bit7 -V53_bit8 -V53_bit9 -V53_bit10 -V53_bit11 -V53_bit12 -V57_bit_7 -V57_bit_6 -V57_bit_5 -V57_bit_4 -V57_bit_3 -V57_bit_2 -V57_bit_1 -V57_bit0 -V57_bit1 -V57_bit2 -V57_bit3 -V57_bit4 -V57_bit5 -V57_bit6 -V57_bit7 -V57_bit8 -V57_bit9 -V57_bit10 -V57_bit11 -V57_bit12 -V60_bit_7 -V60_bit_6 -V60_bit_5 -V60_bit_4 -V60_bit_3 -V60_bit_2 -V60_bit_1 -V60_bit0 -V60_bit1 -V60_bit2 -V60_bit3 -V60_bit4 -V60_bit5 -V60_bit6 -V60_bit7 -V60_bit8 -V60_bit9 -V60_bit10 -V60_bit11 -V60_bit12 -V63_bit_7 -V63_bit_6 -V63_bit_5 -V63_bit_4 -V63_bit_3 -V63_bit_2 -V63_bit_1 -V63_bit0 -V63_bit1 -V63_bit2 -V63_bit3 -V63_bit4 -V63_bit5 -V63_bit6 -V63_bit7 -V63_bit8 -V63_bit9 -V63_bit10 -V63_bit11 -V63_bit12 -V70_bit_7 -V70_bit_6 -V70_bit_5 -V70_bit_4 -V70_bit_3 -V70_bit_2 -V70_bit_1 -V70_bit0 -V70_bit1 -V70_bit2 -V70_bit3 -V70_bit4 -V70_bit5 -V70_bit6 -V70_bit7 -V70_bit8 -V70_bit9 -V70_bit10 -V70_bit11 -V70_bit12 -V77_bit_7 -V77_bit_6 -V77_bit_5 -V77_bit_4 -V77_bit_3 -V77_bit_2 -V77_bit_1 -V77_bit0 -V77_bit1 -V77_bit2 -V77_bit3 -V77_bit4 -V77_bit5 -V77_bit6 -V77_bit7 -V77_bit8 -V77_bit9 -V77_bit10 -V77_bit11 -V77_bit12 -V79_bit_7 -V79_bit_6 -V79_bit_5 -V79_bit_4 -V79_bit_3 -V79_bit_2 -V79_bit_1 -V79_bit0 -V79_bit1 -V79_bit2 -V79_bit3 -V79_bit4 -V79_bit5 -V79_bit6 -V79_bit7 -V79_bit8 -V79_bit9 -V79_bit10 -V79_bit11 -V79_bit12 -V80_bit_7 -V80_bit_6 -V80_bit_5 -V80_bit_4 -V80_bit_3 -V80_bit_2 -V80_bit_1 -V80_bit0 -V80_bit1 -V80_bit2 -V80_bit3 -V80_bit4 -V80_bit5 -V80_bit6 -V80_bit7 -V80_bit8 -V80_bit9 -V80_bit10 -V80_bit11 -V80_bit12 -V82_bit_7 -V82_bit_6 -V82_bit_5 -V82_bit_4 -V82_bit_3 -V82_bit_2 -V82_bit_1 -V82_bit0 -V82_bit1 -V82_bit2 -V82_bit3 -V82_bit4 -V82_bit5 -V82_bit6 -V82_bit7 -V82_bit8 -V82_bit9 -V82_bit10 -V82_bit11 -V82_bit12 -V83_bit_7 -V83_bit_6 -V83_bit_5 -V83_bit_4 -V83_bit_3 -V83_bit_2 -V83_bit_1 -V83_bit0 -V83_bit1 -V83_bit2 -V83_bit3 -V83_bit4 -V83_bit5 -V83_bit6 -V83_bit7 -V83_bit8 -V83_bit9 -V83_bit10 -V83_bit11 -V83_bit12 -V4_bit_7 -V4_bit_6 -V4_bit_5 -V4_bit_4 -V4_bit_3 -V4_bit_2 -V4_bit_1 -V4_bit0 -V4_bit1 -V4_bit2 -V4_bit3 -V4_bit4 -V4_bit5 -V4_bit6 -V4_bit7 -V4_bit8 -V4_bit9 -V4_bit10 -V4_bit11 -V4_bit12 -V3_bit_7 -V3_bit_6 -V3_bit_5 -V3_bit_4 -V3_bit_3 -V3_bit_2 -V3_bit_1 -V3_bit0 -V3_bit1 -V3_bit2 -V3_bit3 -V3_bit4 -V3_bit5 -V3_bit6 -V3_bit7 -V3_bit8 -V3_bit9 -V3_bit10 -V3_bit11 -V3_bit12 -V5_bit_7 -V5_bit_6 -V5_bit_5 -V5_bit_4 -V5_bit_3 -V5_bit_2 -V5_bit_1 -V5_bit0 -V5_bit1 -V5_bit2 -V5_bit3 -V5_bit4 -V5_bit5 -V5_bit6 -V5_bit7 -V5_bit8 -V5_bit9 -V5_bit10 -V5_bit11 -V5_bit12 -V6_bit_7 -V6_bit_6 -V6_bit_5 -V6_bit_4 -V6_bit_3 -V6_bit_2 -V6_bit_1 -V6_bit0 -V6_bit1 -V6_bit2 -V6_bit3 -V6_bit4 -V6_bit5 -V6_bit6 -V6_bit7 -V6_bit8 -V6_bit9 -V6_bit10 -V6_bit11 -V6_bit12 -V7_bit_7 -V7_bit_6 -V7_bit_5 -V7_bit_4 -V7_bit_3 -V7_bit_2 -V7_bit_1 -V7_bit0 -V7_bit1 -V7_bit2 -V7_bit3 -V7_bit4 -V7_bit5 -V7_bit6 -V7_bit7 -V7_bit8 -V7_bit9 -V7_bit10 -V7_bit11 -V7_bit12 -V26_bit_7 -V26_bit_6 -V26_bit_5 -V26_bit_4 -V26_bit_3 -V26_bit_2 -V26_bit_1 -V26_bit0 -V26_bit1 -V26_bit2 -V26_bit3 -V26_bit4 -V26_bit5 -V26_bit6 -V26_bit7 -V26_bit8 -V26_bit9 -V26_bit10 -V26_bit11 -V26_bit12 -V27_bit_7 -V27_bit_6 -V27_bit_5 -V27_bit_4 -V27_bit_3 -V27_bit_2 -V27_bit_1 -V27_bit0 -V27_bit1 -V27_bit2 -V27_bit3 -V27_bit4 -V27_bit5 -V27_bit6 -V27_bit7 -V27_bit8 -V27_bit9 -V27_bit10 -V27_bit11 -V27_bit12 -V35_bit_7 -V35_bit_6 -V35_bit_5 -V35_bit_4 -V35_bit_3 -V35_bit_2 -V35_bit_1 -V35_bit0 -V35_bit1 -V35_bit2 -V35_bit3 -V35_bit4 -V35_bit5 -V35_bit6 -V35_bit7 -V35_bit8 -V35_bit9 -V35_bit10 -V35_bit11 -V35_bit12 -V43_bit_7 -V43_bit_6 -V43_bit_5 -V43_bit_4 -V43_bit_3 -V43_bit_2 -V43_bit_1 -V43_bit0 -V43_bit1 -V43_bit2 -V43_bit3 -V43_bit4 -V43_bit5 -V43_bit6 -V43_bit7 -V43_bit8 -V43_bit9 -V43_bit10 -V43_bit11 -V43_bit12 -V51_bit_7 -V51_bit_6 -V51_bit_5 -V51_bit_4 -V51_bit_3 -V51_bit_2 -V51_bit_1 -V51_bit0 -V51_bit1 -V51_bit2 -V51_bit3 -V51_bit4 -V51_bit5 -V51_bit6 -V51_bit7 -V51_bit8 -V51_bit9 -V51_bit10 -V51_bit11 -V51_bit12 -V56_bit_7 -V56_bit_6 -V56_bit_5 -V56_bit_4 -V56_bit_3 -V56_bit_2 -V56_bit_1 -V56_bit0 -V56_bit1 -V56_bit2 -V56_bit3 -V56_bit4 -V56_bit5 -V56_bit6 -V56_bit7 -V56_bit8 -V56_bit9 -V56_bit10 -V56_bit11 -V56_bit12 -V73_bit_7 -V73_bit_6 -V73_bit_5 -V73_bit_4 -V73_bit_3 -V73_bit_2 -V73_bit_1 -V73_bit0 -V73_bit1 -V73_bit2 -V73_bit3 -V73_bit4 -V73_bit5 -V73_bit6 -V73_bit7 -V73_bit8 -V73_bit9 -V73_bit10 -V73_bit11 -V73_bit12 -V28_bit_7 -V28_bit_6 -V28_bit_5 -V28_bit_4 -V28_bit_3 -V28_bit_2 -V28_bit_1 -V28_bit0 -V28_bit1 -V28_bit2 -V28_bit3 -V28_bit4 -V28_bit5 -V28_bit6 -V28_bit7 -V28_bit8 -V28_bit9 -V28_bit10 -V28_bit11 -V28_bit12 -V38_bit_7 -V38_bit_6 -V38_bit_5 -V38_bit_4 -V38_bit_3 -V38_bit_2 -V38_bit_1 -V38_bit0 -V38_bit1 -V38_bit2 -V38_bit3 -V38_bit4 -V38_bit5 -V38_bit6 -V38_bit7 -V38_bit8 -V38_bit9 -V38_bit10 -V38_bit11 -V38_bit12 -V46_bit_7 -V46_bit_6 -V46_bit_5 -V46_bit_4 -V46_bit_3 -V46_bit_2 -V46_bit_1 -V46_bit0 -V46_bit1 -V46_bit2 -V46_bit3 -V46_bit4 -V46_bit5 -V46_bit6 -V46_bit7 -V46_bit8 -V46_bit9 -V46_bit10 -V46_bit11 -V46_bit12 -V58_bit_7 -V58_bit_6 -V58_bit_5 -V58_bit_4 -V58_bit_3 -V58_bit_2 -V58_bit_1 -V58_bit0 -V58_bit1 -V58_bit2 -V58_bit3 -V58_bit4 -V58_bit5 -V58_bit6 -V58_bit7 -V58_bit8 -V58_bit9 -V58_bit10 -V58_bit11 -V58_bit12 -V59_bit_7 -V59_bit_6 -V59_bit_5 -V59_bit_4 -V59_bit_3 -V59_bit_2 -V59_bit_1 -V59_bit0 -V59_bit1 -V59_bit2 -V59_bit3 -V59_bit4 -V59_bit5 -V59_bit6 -V59_bit7 -V59_bit8 -V59_bit9 -V59_bit10 -V59_bit11 -V59_bit12 -V21_bit_7 -V21_bit_6 -V21_bit_5 -V21_bit_4 -V21_bit_3 -V21_bit_2 -V21_bit_1 -V21_bit0 -V21_bit1 -V21_bit2 -V21_bit3 -V21_bit4 -V21_bit5 -V21_bit6 -V21_bit7 -V21_bit8 -V21_bit9 -V21_bit10 -V21_bit11 -V21_bit12 -V22_bit_7 -V22_bit_6 -V22_bit_5 -V22_bit_4 -V22_bit_3 -V22_bit_2 -V22_bit_1 -V22_bit0 -V22_bit1 -V22_bit2 -V22_bit3 -V22_bit4 -V22_bit5 -V22_bit6 -V22_bit7 -V22_bit8 -V22_bit9 -V22_bit10 -V22_bit11 -V22_bit12 -V72_bit_7 -V72_bit_6 -V72_bit_5 -V72_bit_4 -V72_bit_3 -V72_bit_2 -V72_bit_1 -V72_bit0 -V72_bit1 -V72_bit2 -V72_bit3 -V72_bit4 -V72_bit5 -V72_bit6 -V72_bit7 -V72_bit8 -V72_bit9 -V72_bit10 -V72_bit11 -V72_bit12 -V11_bit_7 -V11_bit_6 -V11_bit_5 -V11_bit_4 -V11_bit_3 -V11_bit_2 -V11_bit_1 -V11_bit0 -V11_bit1 -V11_bit2 -V11_bit3 -V11_bit4 -V11_bit5 -V11_bit6 -V11_bit7 -V11_bit8 -V11_bit9 -V11_bit10 -V11_bit11 -V11_bit12 -V12_bit_7 -V12_bit_6 -V12_bit_5 -V12_bit_4 -V12_bit_3 -V12_bit_2 -V12_bit_1 -V12_bit0 -V12_bit1 -V12_bit2 -V12_bit3 -V12_bit4 -V12_bit5 -V12_bit6 -V12_bit7 -V12_bit8 -V12_bit9 -V12_bit10 -V12_bit11 -V12_bit12 -V9_bit_7 -V9_bit_6 -V9_bit_5 -V9_bit_4 -V9_bit_3 -V9_bit_2 -V9_bit_1 -V9_bit0 -V9_bit1 -V9_bit2 -V9_bit3 -V9_bit4 -V9_bit5 -V9_bit6 -V9_bit7 -V9_bit8 -V9_bit9 -V9_bit10 -V9_bit11 -V9_bit12 -V10_bit_7 -V10_bit_6 -V10_bit_5 -V10_bit_4 -V10_bit_3 -V10_bit_2 -V10_bit_1 -V10_bit0 -V10_bit1 -V10_bit2 -V10_bit3 -V10_bit4 -V10_bit5 -V10_bit6 -V10_bit7 -V10_bit8 -V10_bit9 -V10_bit10 -V10_bit11 -V10_bit12 -V14_bit_7 -V14_bit_6 -V14_bit_5 -V14_bit_4 -V14_bit_3 -V14_bit_2 -V14_bit_1 -V14_bit0 -V14_bit1 -V14_bit2 -V14_bit3 -V14_bit4 -V14_bit5 -V14_bit6 -V14_bit7 -V14_bit8 -V14_bit9 -V14_bit10 -V14_bit11 -V14_bit12 -V30_bit_7 -V30_bit_6 -V30_bit_5 -V30_bit_4 -V30_bit_3 -V30_bit_2 -V30_bit_1 -V30_bit0 -V30_bit1 -V30_bit2 -V30_bit3 -V30_bit4 -V30_bit5 -V30_bit6 -V30_bit7 -V30_bit8 -V30_bit9 -V30_bit10 -V30_bit11 -V30_bit12 -V40_bit_7 -V40_bit_6 -V40_bit_5 -V40_bit_4 -V40_bit_3 -V40_bit_2 -V40_bit_1 -V40_bit0 -V40_bit1 -V40_bit2 -V40_bit3 -V40_bit4 -V40_bit5 -V40_bit6 -V40_bit7 -V40_bit8 -V40_bit9 -V40_bit10 -V40_bit11 -V40_bit12 -V48_bit_7 -V48_bit_6 -V48_bit_5 -V48_bit_4 -V48_bit_3 -V48_bit_2 -V48_bit_1 -V48_bit0 -V48_bit1 -V48_bit2 -V48_bit3 -V48_bit4 -V48_bit5 -V48_bit6 -V48_bit7 -V48_bit8 -V48_bit9 -V48_bit10 -V48_bit11 -V48_bit12 -V31_bit_7 -V31_bit_6 -V31_bit_5 -V31_bit_4 -V31_bit_3 -V31_bit_2 -V31_bit_1 -V31_bit0 -V31_bit1 -V31_bit2 -V31_bit3 -V31_bit4 -V31_bit5 -V31_bit6 -V31_bit7 -V31_bit8 -V31_bit9 -V31_bit10 -V31_bit11 -V31_bit12 -V41_bit_7 -V41_bit_6 -V41_bit_5 -V41_bit_4 -V41_bit_3 -V41_bit_2 -V41_bit_1 -V41_bit0 -V41_bit1 -V41_bit2 -V41_bit3 -V41_bit4 -V41_bit5 -V41_bit6 -V41_bit7 -V41_bit8 -V41_bit9 -V41_bit10 -V41_bit11 -V41_bit12 -V49_bit_7 -V49_bit_6 -V49_bit_5 -V49_bit_4 -V49_bit_3 -V49_bit_2 -V49_bit_1 -V49_bit0 -V49_bit1 -V49_bit2 -V49_bit3 -V49_bit4 -V49_bit5 -V49_bit6 -V49_bit7 -V49_bit8 -V49_bit9 -V49_bit10 -V49_bit11 -V49_bit12 -V29_bit_7 -V29_bit_6 -V29_bit_5 -V29_bit_4 -V29_bit_3 -V29_bit_2 -V29_bit_1 -V29_bit0 -V29_bit1 -V29_bit2 -V29_bit3 -V29_bit4 -V29_bit5 -V29_bit6 -V29_bit7 -V29_bit8 -V29_bit9 -V29_bit10 -V29_bit11 -V29_bit12 -V39_bit_7 -V39_bit_6 -V39_bit_5 -V39_bit_4 -V39_bit_3 -V39_bit_2 -V39_bit_1 -V39_bit0 -V39_bit1 -V39_bit2 -V39_bit3 -V39_bit4 -V39_bit5 -V39_bit6 -V39_bit7 -V39_bit8 -V39_bit9 -V39_bit10 -V39_bit11 -V39_bit12 -V47_bit_7 -V47_bit_6 -V47_bit_5 -V47_bit_4 -V47_bit_3 -V47_bit_2 -V47_bit_1 -V47_bit0 -V47_bit1 -V47_bit2 -V47_bit3 -V47_bit4 -V47_bit5 -V47_bit6 -V47_bit7 -V47_bit8 -V47_bit9 -V47_bit10 -V47_bit11 -V47_bit12 -V76_bit_7 -V76_bit_6 -V76_bit_5 -V76_bit_4 -V76_bit_3 -V76_bit_2 -V76_bit_1 -V76_bit0 -V76_bit1 -V76_bit2 -V76_bit3 -V76_bit4 -V76_bit5 -V76_bit6 -V76_bit7 -V76_bit8 -V76_bit9 -V76_bit10 -V76_bit11 -V76_bit12 -V25_bit_7 -V25_bit_6 -V25_bit_5 -V25_bit_4 -V25_bit_3 -V25_bit_2 -V25_bit_1 -V25_bit0 -V25_bit1 -V25_bit2 -V25_bit3 -V25_bit4 -V25_bit5 -V25_bit6 -V25_bit7 -V25_bit8 -V25_bit9 -V25_bit10 -V25_bit11 -V25_bit12 -V75_bit_7 -V75_bit_6 -V75_bit_5 -V75_bit_4 -V75_bit_3 -V75_bit_2 -V75_bit_1 -V75_bit0 -V75_bit1 -V75_bit2 -V75_bit3 -V75_bit4 -V75_bit5 -V75_bit6 -V75_bit7 -V75_bit8 -V75_bit9 -V75_bit10 -V75_bit11 -V75_bit12 -V54_bit_7 -V54_bit_6 -V54_bit_5 -V54_bit_4 -V54_bit_3 -V54_bit_2 -V54_bit_1 -V54_bit0 -V54_bit1 -V54_bit2 -V54_bit3 -V54_bit4 -V54_bit5 -V54_bit6 -V54_bit7 -V54_bit8 -V54_bit9 -V54_bit10 -V54_bit11 -V54_bit12 -V19_bit_7 -V19_bit_6 -V19_bit_5 -V19_bit_4 -V19_bit_3 -V19_bit_2 -V19_bit_1 -V19_bit0 -V19_bit1 -V19_bit2 -V19_bit3 -V19_bit4 -V19_bit5 -V19_bit6 -V19_bit7 -V19_bit8 -V19_bit9 -V19_bit10 -V19_bit11 -V19_bit12 -V20_bit_7 -V20_bit_6 -V20_bit_5 -V20_bit_4 -V20_bit_3 -V20_bit_2 -V20_bit_1 -V20_bit0 -V20_bit1 -V20_bit2 -V20_bit3 -V20_bit4 -V20_bit5 -V20_bit6 -V20_bit7 -V20_bit8 -V20_bit9 -V20_bit10 -V20_bit11 -V20_bit12 -V32_bit_7 -V32_bit_6 -V32_bit_5 -V32_bit_4 -V32_bit_3 -V32_bit_2 -V32_bit_1 -V32_bit0 -V32_bit1 -V32_bit2 -V32_bit3 -V32_bit4 -V32_bit5 -V32_bit6 -V32_bit7 -V32_bit8 -V32_bit9 -V32_bit10 -V32_bit11 -V32_bit12 -V42_bit_7 -V42_bit_6 -V42_bit_5 -V42_bit_4 -V42_bit_3 -V42_bit_2 -V42_bit_1 -V42_bit0 -V42_bit1 -V42_bit2 -V42_bit3 -V42_bit4 -V42_bit5 -V42_bit6 -V42_bit7 -V42_bit8 -V42_bit9 -V42_bit10 -V42_bit11 -V42_bit12 -V50_bit_7 -V50_bit_6 -V50_bit_5 -V50_bit_4 -V50_bit_3 -V50_bit_2 -V50_bit_1 -V50_bit0 -V50_bit1 -V50_bit2 -V50_bit3 -V50_bit4 -V50_bit5 -V50_bit6 -V50_bit7 -V50_bit8 -V50_bit9 -V50_bit10 -V50_bit11 -V50_bit12 -V69_bit_7 -V69_bit_6 -V69_bit_5 -V69_bit_4 -V69_bit_3 -V69_bit_2 -V69_bit_1 -V69_bit0 -V69_bit1 -V69_bit2 -V69_bit3 -V69_bit4 -V69_bit5 -V69_bit6 -V69_bit7 -V69_bit8 -V69_bit9 -V69_bit10 -V69_bit11 -V69_bit12 -V68_bit_7 -V68_bit_6 -V68_bit_5 -V68_bit_4 -V68_bit_3 -V68_bit_2 -V68_bit_1 -V68_bit0 -V68_bit1 -V68_bit2 -V68_bit3 -V68_bit4 -V68_bit5 -V68_bit6 -V68_bit7 -V68_bit8 -V68_bit9 -V68_bit10 -V68_bit11 -V68_bit12 -V62_bit_7 -V62_bit_6 -V62_bit_5 -V62_bit_4 -V62_bit_3 -V62_bit_2 -V62_bit_1 -V62_bit0 -V62_bit1 -V62_bit2 -V62_bit3 -V62_bit4 -V62_bit5 -V62_bit6 -V62_bit7 -V62_bit8 -V62_bit9 -V62_bit10 -V62_bit11 -V62_bit12 -V33_bit_7 -V33_bit_6 -V33_bit_5 -V33_bit_4 -V33_bit_3 -V33_bit_2 -V33_bit_1 -V33_bit0 -V33_bit1 -V33_bit2 -V33_bit3 -V33_bit4 -V33_bit5 -V33_bit6 -V33_bit7 -V33_bit8 -V33_bit9 -V33_bit10 -V33_bit11 -V33_bit12 -V34_bit_7 -V34_bit_6 -V34_bit_5 -V34_bit_4 -V34_bit_3 -V34_bit_2 -V34_bit_1 -V34_bit0 -V34_bit1 -V34_bit2 -V34_bit3 -V34_bit4 -V34_bit5 -V34_bit6 -V34_bit7 -V34_bit8 -V34_bit9 -V34_bit10 -V34_bit11 -V34_bit12 -V61_bit_7 -V61_bit_6 -V61_bit_5 -V61_bit_4 -V61_bit_3 -V61_bit_2 -V61_bit_1 -V61_bit0 -V61_bit1 -V61_bit2 -V61_bit3 -V61_bit4 -V61_bit5 -V61_bit6 -V61_bit7 -V61_bit8 -V61_bit9 -V61_bit10 -V61_bit11 -V61_bit12 -V64_bit_7 -V64_bit_6 -V64_bit_5 -V64_bit_4 -V64_bit_3 -V64_bit_2 -V64_bit_1 -V64_bit0 -V64_bit1 -V64_bit2 -V64_bit3 -V64_bit4 -V64_bit5 -V64_bit6 -V64_bit7 -V64_bit8 -V64_bit9 -V64_bit10 -V64_bit11 -V64_bit12 -V65_bit_7 -V65_bit_6 -V65_bit_5 -V65_bit_4 -V65_bit_3 -V65_bit_2 -V65_bit_1 -V65_bit0 -V65_bit1 -V65_bit2 -V65_bit3 -V65_bit4 -V65_bit5 -V65_bit6 -V65_bit7 -V65_bit8 -V65_bit9 -V65_bit10 -V65_bit11 -V65_bit12 -V66_bit_7 -V66_bit_6 -V66_bit_5 -V66_bit_4 -V66_bit_3 -V66_bit_2 -V66_bit_1 -V66_bit0 -V66_bit1 -V66_bit2 -V66_bit3 -V66_bit4 -V66_bit5 -V66_bit6 -V66_bit7 -V66_bit8 -V66_bit9 -V66_bit10 -V66_bit11 -V66_bit12 -V67_bit_7 -V67_bit_6 -V67_bit_5 -V67_bit_4 -V67_bit_3 -V67_bit_2 -V67_bit_1 -V67_bit0 -V67_bit1 -V67_bit2 -V67_bit3 -V67_bit4 -V67_bit5 -V67_bit6 -V67_bit7 -V67_bit8 -V67_bit9 -V67_bit10 -V67_bit11 -V67_bit12 -V55_bit_7 -V55_bit_6 -V55_bit_5 -V55_bit_4 -V55_bit_3 -V55_bit_2 -V55_bit_1 -V55_bit0 -V55_bit1 -V55_bit2 -V55_bit3 -V55_bit4 -V55_bit5 -V55_bit6 -V55_bit7 -V55_bit8 -V55_bit9 -V55_bit10 -V55_bit11 -V55_bit12 -V71_bit_7 -V71_bit_6 -V71_bit_5 -V71_bit_4 -V71_bit_3 -V71_bit_2 -V71_bit_1 -V71_bit0 -V71_bit1 -V71_bit2 -V71_bit3 -V71_bit4 -V71_bit5 -V71_bit6 -V71_bit7 -V71_bit8 -V71_bit9 -V71_bit10 -V71_bit11 -V71_bit12 -V78_bit_7 -V78_bit_6 -V78_bit_5 -V78_bit_4 -V78_bit_3 -V78_bit_2 -V78_bit_1 -V78_bit0 -V78_bit1 -V78_bit2 -V78_bit3 -V78_bit4 -V78_bit5 -V78_bit6 -V78_bit7 -V78_bit8 -V78_bit9 -V78_bit10 -V78_bit11 -V78_bit12 -V74_bit_7 -V74_bit_6 -V74_bit_5 -V74_bit_4 -V74_bit_3 -V74_bit_2 -V74_bit_1 -V74_bit0 -V74_bit1 -V74_bit2 -V74_bit3 -V74_bit4 -V74_bit5 -V74_bit6 -V74_bit7 -V74_bit8 -V74_bit9 -V74_bit10 -V74_bit11 -V74_bit12 -V81_bit_7 -V81_bit_6 -V81_bit_5 -V81_bit_4 -V81_bit_3 -V81_bit_2 -V81_bit_1 -V81_bit0 -V81_bit1 -V81_bit2 -V81_bit3 -V81_bit4 -V81_bit5 -V81_bit6 -V81_bit7 -V81_bit8 -V81_bit9 -V81_bit10 -V81_bit11 -V81_bit12 -V36_bit_7 -V36_bit_6 -V36_bit_5 -V36_bit_4 -V36_bit_3 -V36_bit_2 -V36_bit_1 -V36_bit0 -V36_bit1 -V36_bit2 -V36_bit3 -V36_bit4 -V36_bit5 -V36_bit6 -V36_bit7 -V36_bit8 -V36_bit9 -V36_bit10 -V36_bit11 -V36_bit12 -V44_bit_7 -V44_bit_6 -V44_bit_5 -V44_bit_4 -V44_bit_3 -V44_bit_2 -V44_bit_1 -V44_bit0 -V44_bit1 -V44_bit2 -V44_bit3 -V44_bit4 -V44_bit5 -V44_bit6 -V44_bit7 -V44_bit8 -V44_bit9 -V44_bit10 -V44_bit11 -V44_bit12 -V52_bit_7 -V52_bit_6 -V52_bit_5 -V52_bit_4 -V52_bit_3 -V52_bit_2 -V52_bit_1 -V52_bit0 -V52_bit1 -V52_bit2 -V52_bit3 -V52_bit4 -V52_bit5 -V52_bit6 -V52_bit7 -V52_bit8 -V52_bit9 -V52_bit10 -V52_bit11 -V52_bit12 c objectif function=0 c Total CPU time (ms) : 1229.421 #### 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.01 1.00 2/55 14690 Raw data (stat): 14690 (runsolver) R 14689 29618 29617 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 838604903 1052672 98 4294967295 134512640 135381576 3221224400 3221219792 135011526 0 0 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 98 215 215 0 42 0 vsize: 1028 [startup+10.003 s] Raw data (loadavg): 0.99 1.01 1.00 2/65 14703 Raw data (stat): 14690 (java) S 14689 29618 29617 0 -1 0 18120 3 1 0 748 39 0 0 25 0 11 0 838604903 860880896 20852 4294967295 134512640 134569956 3221224368 3221213136 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210176 20853 13086 16 0 210160 0 vsize: 840704 [startup+20.0033 s] Raw data (loadavg): 1.14 1.04 1.01 2/65 14703 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 1574 39 0 0 25 0 11 0 838604903 862347264 22306 4294967295 134512640 134569956 3221224368 3221214672 1131235545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 22306 13086 16 0 210518 0 vsize: 842136 [startup+30.0038 s] Raw data (loadavg): 1.12 1.04 1.01 2/65 14703 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 2531 39 0 0 25 0 11 0 838604903 862347264 22839 4294967295 134512640 134569956 3221224368 3221214840 1130894840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 22839 13086 16 0 210518 0 vsize: 842136 [startup+40.0036 s] Raw data (loadavg): 1.10 1.04 1.01 2/65 14703 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 3489 39 0 0 25 0 11 0 838604903 862347264 23376 4294967295 134512640 134569956 3221224368 3221214384 1131509094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 23376 13086 16 0 210518 0 vsize: 842136 [startup+50.0051 s] Raw data (loadavg): 1.08 1.03 1.00 2/65 14703 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 4451 39 0 0 25 0 11 0 838604903 862347264 23788 4294967295 134512640 134569956 3221224368 3221214352 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 23788 13086 16 0 210518 0 vsize: 842136 [startup+60.0056 s] Raw data (loadavg): 1.07 1.03 1.00 3/65 14703 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 5419 40 0 0 25 0 11 0 838604903 862347264 24065 4294967295 134512640 134569956 3221224368 3221214188 1085632316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 24065 13086 16 0 210518 0 vsize: 842136 [startup+70.0725 s] Raw data (loadavg): 1.06 1.03 1.00 2/65 14705 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 6391 40 0 0 25 0 11 0 838604903 862347264 24518 4294967295 134512640 134569956 3221224368 3221214672 1131327781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 24518 13086 16 0 210518 0 vsize: 842136 [startup+80.0743 s] Raw data (loadavg): 1.05 1.03 1.00 2/65 14705 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 7350 40 0 0 25 0 11 0 838604903 862347264 24989 4294967295 134512640 134569956 3221224368 3221213960 1131509975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 24989 13086 16 0 210518 0 vsize: 842136 [startup+90.0742 s] Raw data (loadavg): 1.04 1.03 1.00 2/65 14705 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 8331 40 0 0 25 0 11 0 838604903 862347264 25113 4294967295 134512640 134569956 3221224368 3221214128 1131507239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 25113 13086 16 0 210518 0 vsize: 842136 [startup+100.075 s] Raw data (loadavg): 1.04 1.03 1.00 2/65 14705 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 9300 40 0 0 25 0 11 0 838604903 862347264 25453 4294967295 134512640 134569956 3221224368 3221214080 1131507050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 25453 13086 16 0 210518 0 vsize: 842136 [startup+110.076 s] Raw data (loadavg): 1.03 1.03 1.00 2/65 14705 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 10271 40 0 0 25 0 11 0 838604903 862347264 25758 4294967295 134512640 134569956 3221224368 3221214440 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 25758 13086 16 0 210518 0 vsize: 842136 [startup+120.076 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 14705 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 11252 40 0 0 25 0 11 0 838604903 862347264 25955 4294967295 134512640 134569956 3221224368 3221213768 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 25955 13086 16 0 210518 0 vsize: 842136 [startup+130.076 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 14707 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 12222 40 0 0 25 0 11 0 838604903 862347264 26164 4294967295 134512640 134569956 3221224368 3221213976 1131509211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 26164 13086 16 0 210518 0 vsize: 842136 [startup+140.076 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 14707 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 13192 40 0 0 25 0 11 0 838604903 862347264 26353 4294967295 134512640 134569956 3221224368 3221214408 1131507113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 26353 13086 16 0 210518 0 vsize: 842136 [startup+150.077 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 14707 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 14163 40 0 0 25 0 11 0 838604903 862347264 26578 4294967295 134512640 134569956 3221224368 3221213804 1131509136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 26578 13086 16 0 210518 0 vsize: 842136 [startup+160.077 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 14707 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 15142 40 0 0 25 0 11 0 838604903 862347264 26766 4294967295 134512640 134569956 3221224368 3221213968 1131509112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 26766 13086 16 0 210518 0 vsize: 842136 [startup+170.077 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 14707 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 16120 40 0 0 25 0 11 0 838604903 862347264 27003 4294967295 134512640 134569956 3221224368 3221214240 1131507050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 27003 13086 16 0 210518 0 vsize: 842136 [startup+180.078 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 14707 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 17100 40 0 0 25 0 11 0 838604903 862347264 27211 4294967295 134512640 134569956 3221224368 3221214352 1131507239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 27211 13086 16 0 210518 0 vsize: 842136 [startup+190.078 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 14709 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 18080 40 0 0 25 0 11 0 838604903 862347264 27362 4294967295 134512640 134569956 3221224368 3221214516 1131507243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 27362 13086 16 0 210518 0 vsize: 842136 [startup+200.079 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 14709 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 19058 40 0 0 25 0 11 0 838604903 862347264 27620 4294967295 134512640 134569956 3221224368 3221214528 1131509137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 27620 13086 16 0 210518 0 vsize: 842136 [startup+210.082 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 14709 Raw data (stat): 14690 (java) S 14689 29618 29617 0 -1 0 18123 3 1 0 20041 40 0 0 25 0 11 0 838604903 862347264 27740 4294967295 134512640 134569956 3221224368 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 27740 13086 16 0 210518 0 vsize: 842136 [startup+220.083 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 14709 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18123 3 1 0 21029 40 0 0 25 0 11 0 838604903 862347264 27841 4294967295 134512640 134569956 3221224368 3221214104 1085679473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 27841 13086 16 0 210518 0 vsize: 842136 [startup+230.084 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14709 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 22007 40 0 0 25 0 11 0 838604903 862347264 28041 4294967295 134512640 134569956 3221224368 3221214672 1131327872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 28041 13086 16 0 210518 0 vsize: 842136 [startup+240.083 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14709 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 22986 40 0 0 25 0 11 0 838604903 862347264 28317 4294967295 134512640 134569956 3221224368 3221214168 1131511618 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 28317 13086 16 0 210518 0 vsize: 842136 [startup+250.083 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14711 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 23966 40 0 0 25 0 11 0 838604903 862347264 28413 4294967295 134512640 134569956 3221224368 3221214568 1131507266 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 28413 13086 16 0 210518 0 vsize: 842136 [startup+260.085 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14711 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 24946 40 0 0 25 0 11 0 838604903 862347264 28631 4294967295 134512640 134569956 3221224368 3221214184 1131507260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 28631 13086 16 0 210518 0 vsize: 842136 [startup+270.084 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14711 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 25926 40 0 0 25 0 11 0 838604903 862347264 28726 4294967295 134512640 134569956 3221224368 3221214128 1131507272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 28726 13086 16 0 210518 0 vsize: 842136 [startup+280.084 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14711 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 26916 40 0 0 25 0 11 0 838604903 862347264 28830 4294967295 134512640 134569956 3221224368 3221213584 1131509105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 28830 13086 16 0 210518 0 vsize: 842136 [startup+290.086 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14711 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 27895 40 0 0 25 0 11 0 838604903 862347264 29025 4294967295 134512640 134569956 3221224368 3221214616 1131374124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 29025 13086 16 0 210518 0 vsize: 842136 [startup+300.086 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14711 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 28883 40 0 0 25 0 11 0 838604903 862347264 29119 4294967295 134512640 134569956 3221224368 3221214528 1131509137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 29119 13086 16 0 210518 0 vsize: 842136 [startup+310.086 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14713 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 29861 40 0 0 25 0 11 0 838604903 862347264 29341 4294967295 134512640 134569956 3221224368 3221213920 1131509137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 29341 13086 16 0 210518 0 vsize: 842136 [startup+320.087 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14713 Raw data (stat): 14690 (java) S 14689 29618 29617 0 -1 0 18124 3 1 0 30845 40 0 0 25 0 11 0 838604903 862347264 29416 4294967295 134512640 134569956 3221224368 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 29416 13086 16 0 210518 0 vsize: 842136 [startup+330.088 s] Raw data (loadavg): 1.07 1.02 1.00 2/65 14713 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 31829 40 0 0 25 0 11 0 838604903 862347264 29580 4294967295 134512640 134569956 3221224368 3221214136 1131509148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 29580 13086 16 0 210518 0 vsize: 842136 [startup+340.088 s] Raw data (loadavg): 1.06 1.02 1.00 2/65 14713 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 32818 40 0 0 25 0 11 0 838604903 862347264 29744 4294967295 134512640 134569956 3221224368 3221213976 1131509201 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 29744 13086 16 0 210518 0 vsize: 842136 [startup+350.089 s] Raw data (loadavg): 1.05 1.02 1.00 2/65 14713 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 33797 40 0 0 25 0 11 0 838604903 862347264 29973 4294967295 134512640 134569956 3221224368 3221213912 1131507260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 29973 13086 16 0 210518 0 vsize: 842136 [startup+360.089 s] Raw data (loadavg): 1.04 1.02 1.00 2/65 14713 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 34787 41 0 0 25 0 11 0 838604903 862347264 30091 4294967295 134512640 134569956 3221224368 3221214372 1078128073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 30091 13086 16 0 210518 0 vsize: 842136 [startup+370.089 s] Raw data (loadavg): 1.04 1.02 1.00 2/65 14715 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 35767 41 0 0 25 0 11 0 838604903 862347264 30197 4294967295 134512640 134569956 3221224368 3221214672 1131327912 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 30197 13086 16 0 210518 0 vsize: 842136 [startup+380.09 s] Raw data (loadavg): 1.03 1.02 1.00 2/65 14715 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 36756 41 0 0 25 0 11 0 838604903 862347264 30365 4294967295 134512640 134569956 3221224368 3221214640 1131172840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 30365 13086 16 0 210518 0 vsize: 842136 [startup+390.089 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 14715 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 37736 41 0 0 24 0 11 0 838604903 862347264 30572 4294967295 134512640 134569956 3221224368 3221214672 1131327214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 30572 13086 16 0 210518 0 vsize: 842136 [startup+400.091 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 14715 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 38725 41 0 0 25 0 11 0 838604903 862347264 30670 4294967295 134512640 134569956 3221224368 3221214728 1131172608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 30670 13086 16 0 210518 0 vsize: 842136 [startup+410.092 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 14715 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 39715 41 0 0 25 0 11 0 838604903 862347264 30775 4294967295 134512640 134569956 3221224368 3221214672 1131327836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 30775 13086 16 0 210518 0 vsize: 842136 [startup+420.091 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 14715 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 40696 41 0 0 25 0 11 0 838604903 862347264 30887 4294967295 134512640 134569956 3221224368 3221213832 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 30887 13086 16 0 210518 0 vsize: 842136 [startup+430.092 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 14717 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 41685 41 0 0 25 0 11 0 838604903 862347264 30995 4294967295 134512640 134569956 3221224368 3221214280 1131511344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 30995 13086 16 0 210518 0 vsize: 842136 [startup+440.092 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 14717 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 42675 41 0 0 25 0 11 0 838604903 862347264 31086 4294967295 134512640 134569956 3221224368 3221214456 1131509973 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 31086 13086 16 0 210518 0 vsize: 842136 [startup+450.093 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 14717 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 43653 41 0 0 25 0 11 0 838604903 862347264 31378 4294967295 134512640 134569956 3221224368 3221214356 1131509136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 31378 13086 16 0 210518 0 vsize: 842136 [startup+460.093 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 14717 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 44643 41 0 0 25 0 11 0 838604903 862347264 31454 4294967295 134512640 134569956 3221224368 3221214344 1131507272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 31454 13086 16 0 210518 0 vsize: 842136 [startup+470.094 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14717 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 45633 41 0 0 25 0 11 0 838604903 862347264 31556 4294967295 134512640 134569956 3221224368 3221213856 1131509112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 31556 13086 16 0 210518 0 vsize: 842136 [startup+480.095 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14717 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 46614 41 0 0 25 0 11 0 838604903 862347264 31656 4294967295 134512640 134569956 3221224368 3221214440 1085679545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 31656 13086 16 0 210518 0 vsize: 842136 [startup+490.095 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14719 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 47603 41 0 0 25 0 11 0 838604903 862347264 31749 4294967295 134512640 134569956 3221224368 3221213992 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 31749 13086 16 0 210518 0 vsize: 842136 [startup+500.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14719 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 48583 41 0 0 25 0 11 0 838604903 862347264 31927 4294967295 134512640 134569956 3221224368 3221213912 1131507200 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 31927 13086 16 0 210518 0 vsize: 842136 [startup+510.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14719 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 49562 41 0 0 25 0 11 0 838604903 862347264 32021 4294967295 134512640 134569956 3221224368 3221214288 1131509975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32021 13086 16 0 210518 0 vsize: 842136 [startup+520.097 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14719 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 50551 41 0 0 25 0 11 0 838604903 862347264 32144 4294967295 134512640 134569956 3221224368 3221214428 1085679264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32144 13086 16 0 210518 0 vsize: 842136 [startup+530.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14719 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 51532 41 0 0 25 0 11 0 838604903 862347264 32346 4294967295 134512640 134569956 3221224368 3221214024 1131509137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32346 13086 16 0 210518 0 vsize: 842136 [startup+540.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14719 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 52523 41 0 0 25 0 11 0 838604903 862347264 32346 4294967295 134512640 134569956 3221224368 3221214384 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32346 13086 16 0 210518 0 vsize: 842136 [startup+550.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14721 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 53503 41 0 0 25 0 11 0 838604903 862347264 32510 4294967295 134512640 134569956 3221224368 3221214296 1131507200 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32510 13086 16 0 210518 0 vsize: 842136 [startup+560.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14721 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 54497 41 0 0 25 0 11 0 838604903 862347264 32555 4294967295 134512640 134569956 3221224368 3221214440 1085679454 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32555 13086 16 0 210518 0 vsize: 842136 [startup+570.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14721 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 55482 41 0 0 25 0 11 0 838604903 862347264 32555 4294967295 134512640 134569956 3221224368 3221213932 1085679260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32555 13086 16 0 210518 0 vsize: 842136 [startup+580.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14721 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 56474 41 0 0 25 0 11 0 838604903 862347264 32555 4294967295 134512640 134569956 3221224368 3221214300 1131509131 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32555 13086 16 0 210518 0 vsize: 842136 [startup+590.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14721 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 57464 42 0 0 25 0 11 0 838604903 862347264 32555 4294967295 134512640 134569956 3221224368 3221214168 1131511484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32555 13086 16 0 210518 0 vsize: 842136 [startup+600.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14721 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 58443 42 0 0 25 0 11 0 838604903 862347264 32739 4294967295 134512640 134569956 3221224368 3221214672 1131328234 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32739 13086 16 0 210518 0 vsize: 842136 [startup+610.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14723 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 59432 42 0 0 25 0 11 0 838604903 862347264 32878 4294967295 134512640 134569956 3221224368 3221214260 1085679264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32878 13086 16 0 210518 0 vsize: 842136 [startup+620.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14723 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 60422 42 0 0 25 0 11 0 838604903 862347264 32967 4294967295 134512640 134569956 3221224368 3221213972 1131509136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 32967 13086 16 0 210518 0 vsize: 842136 [startup+630.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14723 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 61402 42 0 0 25 0 11 0 838604903 862347264 33222 4294967295 134512640 134569956 3221224368 3221214776 1131335035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 33222 13086 16 0 210518 0 vsize: 842136 [startup+640.108 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14723 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 62393 42 0 0 25 0 11 0 838604903 862347264 33333 4294967295 134512640 134569956 3221224368 3221214576 1131507050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 33333 13086 16 0 210518 0 vsize: 842136 [startup+650.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14723 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 63375 42 0 0 25 0 11 0 838604903 862347264 33499 4294967295 134512640 134569956 3221224368 3221214548 1131399827 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 33499 13086 16 0 210518 0 vsize: 842136 [startup+660.111 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14723 Raw data (stat): 14690 (java) S 14689 29618 29617 0 -1 0 18124 3 1 0 64360 42 0 0 25 0 11 0 838604903 862347264 33618 4294967295 134512640 134569956 3221224368 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 33618 13086 16 0 210518 0 vsize: 842136 [startup+670.111 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14725 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 65347 42 0 0 25 0 11 0 838604903 862347264 33856 4294967295 134512640 134569956 3221224368 3221214672 1131327488 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 33856 13086 16 0 210518 0 vsize: 842136 [startup+680.112 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14725 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 66329 42 0 0 25 0 11 0 838604903 862347264 33967 4294967295 134512640 134569956 3221224368 3221213936 1085632310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 33967 13086 16 0 210518 0 vsize: 842136 [startup+690.111 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14725 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 67311 42 0 0 25 0 11 0 838604903 862347264 34142 4294967295 134512640 134569956 3221224368 3221213896 1131454504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 34142 13086 16 0 210518 0 vsize: 842136 [startup+700.112 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14725 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 68302 42 0 0 25 0 11 0 838604903 862347264 34230 4294967295 134512640 134569956 3221224368 3221214300 1131509072 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 34230 13086 16 0 210518 0 vsize: 842136 [startup+710.114 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14725 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 69285 42 0 0 25 0 11 0 838604903 862347264 34423 4294967295 134512640 134569956 3221224368 3221214076 1131509952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 34423 13086 16 0 210518 0 vsize: 842136 [startup+720.113 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14725 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 70276 42 0 0 25 0 11 0 838604903 862347264 34536 4294967295 134512640 134569956 3221224368 3221214516 1131509984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 34536 13086 16 0 210518 0 vsize: 842136 [startup+730.128 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14727 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 71260 42 0 0 25 0 11 0 838604903 862347264 34642 4294967295 134512640 134569956 3221224368 3221213768 1085679272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 34642 13086 16 0 210518 0 vsize: 842136 [startup+740.134 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14727 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 72251 42 0 0 25 0 11 0 838604903 862347264 34724 4294967295 134512640 134569956 3221224368 3221213904 1131507260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 34724 13086 16 0 210518 0 vsize: 842136 [startup+750.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14727 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 73233 42 0 0 25 0 11 0 838604903 862347264 34904 4294967295 134512640 134569956 3221224368 3221214464 1131507179 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 34904 13086 16 0 210518 0 vsize: 842136 [startup+760.141 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14727 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 74215 42 0 0 25 0 11 0 838604903 862347264 34977 4294967295 134512640 134569956 3221224368 3221214356 1131509136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 34977 13086 16 0 210518 0 vsize: 842136 [startup+770.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14727 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 75205 42 0 0 25 0 11 0 838604903 862347264 35047 4294967295 134512640 134569956 3221224368 3221213992 1085632301 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 35047 13086 16 0 210518 0 vsize: 842136 [startup+780.141 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14727 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 76186 42 0 0 25 0 11 0 838604903 862347264 35222 4294967295 134512640 134569956 3221224368 3221214328 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 35222 13086 16 0 210518 0 vsize: 842136 [startup+790.148 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14729 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 77177 42 0 0 25 0 11 0 838604903 862347264 35313 4294967295 134512640 134569956 3221224368 3221214384 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 35313 13086 16 0 210518 0 vsize: 842136 [startup+800.149 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14729 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 78159 42 0 0 25 0 11 0 838604903 862347264 35457 4294967295 134512640 134569956 3221224368 3221213520 1131507228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 35457 13086 16 0 210518 0 vsize: 842136 [startup+810.149 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14729 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 79140 42 0 0 25 0 11 0 838604903 862347264 35620 4294967295 134512640 134569956 3221224368 3221214824 1131504185 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 35620 13086 16 0 210518 0 vsize: 842136 [startup+820.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14729 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 80122 42 0 0 25 0 11 0 838604903 862347264 35767 4294967295 134512640 134569956 3221224368 3221214484 1085679264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 35767 13086 16 0 210518 0 vsize: 842136 [startup+830.151 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14729 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 81113 42 0 0 25 0 11 0 838604903 862347264 35767 4294967295 134512640 134569956 3221224368 3221213152 1085679508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 35767 13086 16 0 210518 0 vsize: 842136 [startup+840.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14729 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 82095 42 0 0 25 0 11 0 838604903 862347264 35911 4294967295 134512640 134569956 3221224368 3221213400 1131507272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 35911 13086 16 0 210518 0 vsize: 842136 [startup+850.152 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14731 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 83077 42 0 0 25 0 11 0 838604903 862347264 36066 4294967295 134512640 134569956 3221224368 3221213632 1131507218 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 36066 13086 16 0 210518 0 vsize: 842136 [startup+860.152 s] Raw data (loadavg): 1.08 1.02 1.01 3/68 14775 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 84050 52 0 0 25 0 11 0 838604903 862347264 36133 4294967295 134512640 134569956 3221224368 3221214456 1131509973 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 36133 13086 16 0 210518 0 vsize: 842136 [startup+870.152 s] Raw data (loadavg): 1.21 1.05 1.02 2/65 14784 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 85032 52 0 0 25 0 11 0 838604903 862347264 36267 4294967295 134512640 134569956 3221224368 3221213808 1131509068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 36267 13086 16 0 210518 0 vsize: 842136 [startup+880.153 s] Raw data (loadavg): 1.18 1.05 1.01 2/65 14784 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 86015 52 0 0 25 0 11 0 838604903 862347264 36413 4294967295 134512640 134569956 3221224368 3221214216 1085679296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 36413 13086 16 0 210518 0 vsize: 842136 [startup+890.153 s] Raw data (loadavg): 1.15 1.04 1.01 2/65 14784 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 87006 52 0 0 25 0 11 0 838604903 862347264 36480 4294967295 134512640 134569956 3221224368 3221214400 1131507263 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 36480 13086 16 0 210518 0 vsize: 842136 [startup+900.154 s] Raw data (loadavg): 1.13 1.04 1.01 2/65 14784 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 87988 52 0 0 25 0 11 0 838604903 862347264 36607 4294967295 134512640 134569956 3221224368 3221214392 1131474310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 36607 13086 16 0 210518 0 vsize: 842136 [startup+910.154 s] Raw data (loadavg): 1.11 1.04 1.01 2/65 14786 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 88979 52 0 0 25 0 11 0 838604903 862347264 36680 4294967295 134512640 134569956 3221224368 3221214520 1131306784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 36680 13086 16 0 210518 0 vsize: 842136 [startup+920.154 s] Raw data (loadavg): 1.09 1.04 1.01 2/65 14786 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 89961 52 0 0 25 0 11 0 838604903 862347264 36812 4294967295 134512640 134569956 3221224368 3221214824 1131504748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 36812 13086 16 0 210518 0 vsize: 842136 [startup+930.155 s] Raw data (loadavg): 1.08 1.04 1.01 2/65 14788 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 90944 52 0 0 25 0 11 0 838604903 862347264 36984 4294967295 134512640 134569956 3221224368 3221213908 1131509131 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 36984 13086 16 0 210518 0 vsize: 842136 [startup+940.155 s] Raw data (loadavg): 1.06 1.03 1.01 2/65 14788 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 91926 52 0 0 25 0 11 0 838604903 862347264 37099 4294967295 134512640 134569956 3221224368 3221214016 1131507272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 37099 13086 16 0 210518 0 vsize: 842136 [startup+950.156 s] Raw data (loadavg): 1.05 1.03 1.01 2/65 14788 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 92908 53 0 0 25 0 11 0 838604903 862347264 37239 4294967295 134512640 134569956 3221224368 3221214064 1131454709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 37239 13086 16 0 210518 0 vsize: 842136 [startup+960.157 s] Raw data (loadavg): 1.05 1.03 1.01 2/65 14788 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 93890 53 0 0 25 0 11 0 838604903 862347264 37368 4294967295 134512640 134569956 3221224368 3221213864 1131509112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 37368 13086 16 0 210518 0 vsize: 842136 [startup+970.157 s] Raw data (loadavg): 1.04 1.03 1.01 2/65 14790 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 94881 53 0 0 25 0 11 0 838604903 862347264 37368 4294967295 134512640 134569956 3221224368 3221214672 1131327280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 37368 13086 16 0 210518 0 vsize: 842136 [startup+980.158 s] Raw data (loadavg): 1.03 1.03 1.00 2/65 14790 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 95861 54 0 0 25 0 11 0 838604903 862347264 37511 4294967295 134512640 134569956 3221224368 3221214672 1131327440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 37511 13086 16 0 210518 0 vsize: 842136 [startup+990.158 s] Raw data (loadavg): 1.03 1.03 1.00 2/65 14790 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 96851 55 0 0 25 0 11 0 838604903 862347264 37579 4294967295 134512640 134569956 3221224368 3221214632 1131307995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 37579 13086 16 0 210518 0 vsize: 842136 [startup+1000.16 s] Raw data (loadavg): 1.02 1.03 1.00 2/65 14790 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 97832 55 0 0 25 0 11 0 838604903 862347264 37735 4294967295 134512640 134569956 3221224368 3221213528 1131509088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 37735 13086 16 0 210518 0 vsize: 842136 [startup+1010.16 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 14790 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 98813 56 0 0 25 0 11 0 838604903 862347264 37855 4294967295 134512640 134569956 3221224368 3221214136 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 37855 13086 16 0 210518 0 vsize: 842136 [startup+1020.16 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 14790 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 99787 56 0 0 25 0 11 0 838604903 862347264 38021 4294967295 134512640 134569956 3221224368 3221214248 1131508985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 38021 13086 16 0 210518 0 vsize: 842136 [startup+1030.16 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 14792 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 100769 57 0 0 25 0 11 0 838604903 862347264 38151 4294967295 134512640 134569956 3221224368 3221214400 1131509973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 38151 13086 16 0 210518 0 vsize: 842136 [startup+1040.16 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 14792 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 101760 57 0 0 25 0 11 0 838604903 862347264 38204 4294967295 134512640 134569956 3221224368 3221213916 1131509131 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 38204 13086 16 0 210518 0 vsize: 842136 [startup+1050.16 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 14792 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 102742 58 0 0 25 0 11 0 838604903 862347264 38335 4294967295 134512640 134569956 3221224368 3221213736 1131507184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 38335 13086 16 0 210518 0 vsize: 842136 [startup+1060.16 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 14792 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 103724 58 0 0 25 0 11 0 838604903 862347264 38484 4294967295 134512640 134569956 3221224368 3221213908 1131509136 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 38484 13086 16 0 210518 0 vsize: 842136 [startup+1070.16 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 14792 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 104715 58 0 0 25 0 11 0 838604903 862347264 38484 4294967295 134512640 134569956 3221224368 3221214672 1131327848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 38484 13086 16 0 210518 0 vsize: 842136 [startup+1080.16 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 14792 Raw data (stat): 14690 (java) S 14689 29618 29617 0 -1 0 18124 3 1 0 105704 58 0 0 25 0 11 0 838604903 862347264 38561 4294967295 134512640 134569956 3221224368 3221213272 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 38561 13086 16 0 210518 0 vsize: 842136 [startup+1090.16 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 14794 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 106687 58 0 0 25 0 11 0 838604903 862347264 38673 4294967295 134512640 134569956 3221224368 3221214568 1131507272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 38673 13086 16 0 210518 0 vsize: 842136 [startup+1100.16 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 14794 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 107677 59 0 0 25 0 11 0 838604903 862347264 38760 4294967295 134512640 134569956 3221224368 3221213796 1131509072 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 38760 13086 16 0 210518 0 vsize: 842136 [startup+1110.16 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 14794 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 108650 59 0 0 25 0 11 0 838604903 862347264 38935 4294967295 134512640 134569956 3221224368 3221214120 1131507272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 38935 13086 16 0 210518 0 vsize: 842136 [startup+1120.16 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14794 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 109641 60 0 0 25 0 11 0 838604903 862347264 38996 4294967295 134512640 134569956 3221224368 3221213856 1131509112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 38996 13086 16 0 210518 0 vsize: 842136 [startup+1130.16 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14794 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 110622 60 0 0 25 0 11 0 838604903 862347264 39126 4294967295 134512640 134569956 3221224368 3221214672 1131327665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 39126 13086 16 0 210518 0 vsize: 842136 [startup+1140.16 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14794 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 111604 60 0 0 25 0 11 0 838604903 862347264 39263 4294967295 134512640 134569956 3221224368 3221214240 1131507033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 39263 13086 16 0 210518 0 vsize: 842136 [startup+1150.16 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14796 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 112594 61 0 0 25 0 11 0 838604903 862347264 39318 4294967295 134512640 134569956 3221224368 3221214160 1085679272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 39318 13086 16 0 210518 0 vsize: 842136 [startup+1160.17 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14796 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 113583 61 0 0 25 0 11 0 838604903 862347264 39431 4294967295 134512640 134569956 3221224368 3221214280 1131511600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 39431 13086 16 0 210518 0 vsize: 842136 [startup+1170.17 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14796 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 114571 62 0 0 25 0 11 0 838604903 862347264 39628 4294967295 134512640 134569956 3221224368 3221214468 1131509136 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 39628 13086 16 0 210518 0 vsize: 842136 [startup+1180.17 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14798 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 115561 62 0 0 25 0 11 0 838604903 862347264 39690 4294967295 134512640 134569956 3221224368 3221213640 1131509199 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 39690 13086 16 0 210518 0 vsize: 842136 [startup+1190.17 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14798 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 116551 62 0 0 25 0 11 0 838604903 862347264 39802 4294967295 134512640 134569956 3221224368 3221213836 1131507017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 39802 13086 16 0 210518 0 vsize: 842136 [startup+1200.17 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14798 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 117540 63 0 0 25 0 11 0 838604903 862347264 39911 4294967295 134512640 134569956 3221224368 3221213160 1085679759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 39911 13086 16 0 210518 0 vsize: 842136 [startup+1210.17 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 14800 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 118529 64 0 0 25 0 11 0 838604903 862347264 39970 4294967295 134512640 134569956 3221224368 3221214248 1131509137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210534 39970 13086 16 0 210518 0 vsize: 842136 [startup+1220.17 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14800 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 119519 64 0 0 25 0 11 0 838604903 862347264 40089 4294967295 134512640 134569956 3221224368 3221213808 1131509199 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 40089 13086 16 0 210518 0 vsize: 842136 [startup+1230.17 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 14800 Raw data (stat): 14690 (java) R 14689 29618 29617 0 -1 0 18124 3 1 0 120508 64 0 0 25 0 11 0 838604903 862347264 40147 4294967295 134512640 134569956 3221224368 3221213856 1131509146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210534 40147 13086 16 0 210518 0 vsize: 842136 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.46 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 14802 Raw data (stat): 14690 (java) Z 14689 29618 29617 0 -1 1036 18124 19736 1 0 120530 64 2070 39 25 0 1 0 838604903 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): 1230.46 CPU time (s): 1227.04 CPU user time (s): 1226 CPU system time (s): 1.04084 CPU usage (%): 99.7226 Max. virtual memory (Kb): 842136 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 0 #### END VERIFIER DATA ####