Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb |
MD5SUM | b964292d4197638ce79b3f213e8fe89b |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5130240 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1008 |
Biggest coefficient in the objective function | 366477312 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 12643636975 |
Number of bits of the sum of numbers in the objective function | 34 |
Biggest number in a constraint | 366477312 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 12643636975 |
Number of bits of the biggest sum of numbers | 34 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 1008 |
Total number of constraints | 110 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 62 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 160 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-05-25 12:48:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21324 boxname=wulflinc17 idbench=1312 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: b964292d4197638ce79b3f213e8fe89b /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mod013.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mod013.opb IDLAUNCH: 21324 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 884160 kB Buffers: 25988 kB Cached: 102140 kB SwapCached: 528 kB Active: 24988 kB Inactive: 105344 kB HighTotal: 131008 kB HighFree: 71820 kB LowTotal: 903652 kB LowFree: 812340 kB SwapTotal: 2097892 kB SwapFree: 2096544 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5276 kB Slab: 14532 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 13:09:25 (client local time) WITH STATUS 143 IN 1232.53 SECONDS stats: 21324 0 1232.53 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/wulflinc17/normalized-mps-v2-13-7-mod013.opb c reading problem ... done. Time 2.144 ms. c #vars 1008 c #constraints 76 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 7047031 Current CPU time: 6.90 ms c CURRENT OPTIMUM= 5323914 Current CPU time: 17.31 ms c starts : 7 c conflicts : 921 c decisions : 18117 c propagations : 48626 c inspects : 1416356 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 921 c root simplifications : 144 s SATISFIABLE v -C1_0x2e__bit_7 -C1_0x2e__bit_6 -C1_0x2e__bit_5 -C1_0x2e__bit_4 -C1_0x2e__bit_3 -C1_0x2e__bit_2 -C1_0x2e__bit_1 -C1_0x2e__bit0 -C1_0x2e__bit1 -C1_0x2e__bit2 -C1_0x2e__bit3 -C1_0x2e__bit4 -C1_0x2e__bit5 -C1_0x2e__bit6 -C1_0x2e__bit7 -C1_0x2e__bit8 -C1_0x2e__bit9 -C1_0x2e__bit10 -C1_0x2e__bit11 -C1_0x2e__bit12 C2_0x2e__bit_7 -C2_0x2e__bit_6 -C2_0x2e__bit_5 -C2_0x2e__bit_4 -C2_0x2e__bit_3 -C2_0x2e__bit_2 -C2_0x2e__bit_1 C2_0x2e__bit0 -C2_0x2e__bit1 -C2_0x2e__bit2 -C2_0x2e__bit3 C2_0x2e__bit4 -C2_0x2e__bit5 -C2_0x2e__bit6 -C2_0x2e__bit7 -C2_0x2e__bit8 -C2_0x2e__bit9 -C2_0x2e__bit10 -C2_0x2e__bit11 -C2_0x2e__bit12 -C3_0x2e__bit_7 -C3_0x2e__bit_6 -C3_0x2e__bit_5 -C3_0x2e__bit_4 -C3_0x2e__bit_3 -C3_0x2e__bit_2 -C3_0x2e__bit_1 -C3_0x2e__bit0 -C3_0x2e__bit1 -C3_0x2e__bit2 -C3_0x2e__bit3 -C3_0x2e__bit4 -C3_0x2e__bit5 -C3_0x2e__bit6 -C3_0x2e__bit7 -C3_0x2e__bit8 -C3_0x2e__bit9 -C3_0x2e__bit10 -C3_0x2e__bit11 -C3_0x2e__bit12 -C4_0x2e__bit_7 -C4_0x2e__bit_6 -C4_0x2e__bit_5 -C4_0x2e__bit_4 -C4_0x2e__bit_3 -C4_0x2e__bit_2 -C4_0x2e__bit_1 -C4_0x2e__bit0 -C4_0x2e__bit1 C4_0x2e__bit2 -C4_0x2e__bit3 C4_0x2e__bit4 -C4_0x2e__bit5 -C4_0x2e__bit6 -C4_0x2e__bit7 -C4_0x2e__bit8 -C4_0x2e__bit9 -C4_0x2e__bit10 -C4_0x2e__bit11 -C4_0x2e__bit12 C5_0x2e__bit_7 C5_0x2e__bit_6 C5_0x2e__bit_5 C5_0x2e__bit_4 C5_0x2e__bit_3 C5_0x2e__bit_2 C5_0x2e__bit_1 C5_0x2e__bit0 C5_0x2e__bit1 C5_0x2e__bit2 -C5_0x2e__bit3 -C5_0x2e__bit4 -C5_0x2e__bit5 -C5_0x2e__bit6 -C5_0x2e__bit7 -C5_0x2e__bit8 -C5_0x2e__bit9 -C5_0x2e__bit10 -C5_0x2e__bit11 -C5_0x2e__bit12 -C6_0x2e__bit_7 -C6_0x2e__bit_6 -C6_0x2e__bit_5 -C6_0x2e__bit_4 -C6_0x2e__bit_3 -C6_0x2e__bit_2 -C6_0x2e__bit_1 -C6_0x2e__bit0 -C6_0x2e__bit1 -C6_0x2e__bit2 -C6_0x2e__bit3 -C6_0x2e__bit4 -C6_0x2e__bit5 -C6_0x2e__bit6 -C6_0x2e__bit7 -C6_0x2e__bit8 -C6_0x2e__bit9 -C6_0x2e__bit10 -C6_0x2e__bit11 -C6_0x2e__bit12 -C7_0x2e__bit_7 -C7_0x2e__bit_6 -C7_0x2e__bit_5 -C7_0x2e__bit_4 -C7_0x2e__bit_3 -C7_0x2e__bit_2 -C7_0x2e__bit_1 -C7_0x2e__bit0 -C7_0x2e__bit1 -C7_0x2e__bit2 -C7_0x2e__bit3 -C7_0x2e__bit4 -C7_0x2e__bit5 -C7_0x2e__bit6 -C7_0x2e__bit7 -C7_0x2e__bit8 -C7_0x2e__bit9 -C7_0x2e__bit10 -C7_0x2e__bit11 -C7_0x2e__bit12 -C8_0x2e__bit_7 -C8_0x2e__bit_6 -C8_0x2e__bit_5 -C8_0x2e__bit_4 -C8_0x2e__bit_3 -C8_0x2e__bit_2 -C8_0x2e__bit_1 -C8_0x2e__bit0 -C8_0x2e__bit1 -C8_0x2e__bit2 -C8_0x2e__bit3 -C8_0x2e__bit4 -C8_0x2e__bit5 -C8_0x2e__bit6 -C8_0x2e__bit7 -C8_0x2e__bit8 -C8_0x2e__bit9 -C8_0x2e__bit10 -C8_0x2e__bit11 -C8_0x2e__bit12 -C9_0x2e__bit_7 -C9_0x2e__bit_6 -C9_0x2e__bit_5 -C9_0x2e__bit_4 -C9_0x2e__bit_3 -C9_0x2e__bit_2 -C9_0x2e__bit_1 -C9_0x2e__bit0 -C9_0x2e__bit1 -C9_0x2e__bit2 -C9_0x2e__bit3 -C9_0x2e__bit4 -C9_0x2e__bit5 -C9_0x2e__bit6 -C9_0x2e__bit7 -C9_0x2e__bit8 -C9_0x2e__bit9 -C9_0x2e__bit10 -C9_0x2e__bit11 -C9_0x2e__bit12 -C10_0x2e__bit_7 -C10_0x2e__bit_6 -C10_0x2e__bit_5 -C10_0x2e__bit_4 -C10_0x2e__bit_3 -C10_0x2e__bit_2 -C10_0x2e__bit_1 -C10_0x2e__bit0 -C10_0x2e__bit1 -C10_0x2e__bit2 -C10_0x2e__bit3 -C10_0x2e__bit4 -C10_0x2e__bit5 -C10_0x2e__bit6 -C10_0x2e__bit7 -C10_0x2e__bit8 -C10_0x2e__bit9 -C10_0x2e__bit10 -C10_0x2e__bit11 -C10_0x2e__bit12 C11_0x2e__bit_7 C11_0x2e__bit_6 C11_0x2e__bit_5 C11_0x2e__bit_4 C11_0x2e__bit_3 C11_0x2e__bit_2 C11_0x2e__bit_1 -C11_0x2e__bit0 C11_0x2e__bit1 C11_0x2e__bit2 -C11_0x2e__bit3 C11_0x2e__bit4 -C11_0x2e__bit5 -C11_0x2e__bit6 -C11_0x2e__bit7 -C11_0x2e__bit8 -C11_0x2e__bit9 -C11_0x2e__bit10 -C11_0x2e__bit11 -C11_0x2e__bit12 -C12_0x2e__bit_7 -C12_0x2e__bit_6 -C12_0x2e__bit_5 -C12_0x2e__bit_4 -C12_0x2e__bit_3 -C12_0x2e__bit_2 -C12_0x2e__bit_1 -C12_0x2e__bit0 -C12_0x2e__bit1 -C12_0x2e__bit2 -C12_0x2e__bit3 -C12_0x2e__bit4 -C12_0x2e__bit5 -C12_0x2e__bit6 -C12_0x2e__bit7 -C12_0x2e__bit8 -C12_0x2e__bit9 -C12_0x2e__bit10 -C12_0x2e__bit11 -C12_0x2e__bit12 C13_0x2e__bit_7 -C13_0x2e__bit_6 -C13_0x2e__bit_5 -C13_0x2e__bit_4 -C13_0x2e__bit_3 -C13_0x2e__bit_2 -C13_0x2e__bit_1 C13_0x2e__bit0 C13_0x2e__bit1 C13_0x2e__bit2 -C13_0x2e__bit3 -C13_0x2e__bit4 -C13_0x2e__bit5 -C13_0x2e__bit6 -C13_0x2e__bit7 -C13_0x2e__bit8 -C13_0x2e__bit9 -C13_0x2e__bit10 -C13_0x2e__bit11 -C13_0x2e__bit12 -C14_0x2e__bit_7 -C14_0x2e__bit_6 -C14_0x2e__bit_5 -C14_0x2e__bit_4 -C14_0x2e__bit_3 -C14_0x2e__bit_2 -C14_0x2e__bit_1 -C14_0x2e__bit0 -C14_0x2e__bit1 -C14_0x2e__bit2 -C14_0x2e__bit3 -C14_0x2e__bit4 -C14_0x2e__bit5 -C14_0x2e__bit6 -C14_0x2e__bit7 -C14_0x2e__bit8 -C14_0x2e__bit9 -C14_0x2e__bit10 -C14_0x2e__bit11 -C14_0x2e__bit12 -C15_0x2e__bit_7 -C15_0x2e__bit_6 -C15_0x2e__bit_5 -C15_0x2e__bit_4 -C15_0x2e__bit_3 -C15_0x2e__bit_2 -C15_0x2e__bit_1 -C15_0x2e__bit0 C15_0x2e__bit1 -C15_0x2e__bit2 C15_0x2e__bit3 -C15_0x2e__bit4 -C15_0x2e__bit5 -C15_0x2e__bit6 -C15_0x2e__bit7 -C15_0x2e__bit8 -C15_0x2e__bit9 -C15_0x2e__bit10 -C15_0x2e__bit11 -C15_0x2e__bit12 -C16_0x2e__bit_7 -C16_0x2e__bit_6 -C16_0x2e__bit_5 -C16_0x2e__bit_4 -C16_0x2e__bit_3 -C16_0x2e__bit_2 -C16_0x2e__bit_1 -C16_0x2e__bit0 -C16_0x2e__bit1 -C16_0x2e__bit2 -C16_0x2e__bit3 -C16_0x2e__bit4 -C16_0x2e__bit5 -C16_0x2e__bit6 -C16_0x2e__bit7 -C16_0x2e__bit8 -C16_0x2e__bit9 -C16_0x2e__bit10 -C16_0x2e__bit11 -C16_0x2e__bit12 -C17_0x2e__bit_7 -C17_0x2e__bit_6 -C17_0x2e__bit_5 -C17_0x2e__bit_4 -C17_0x2e__bit_3 -C17_0x2e__bit_2 -C17_0x2e__bit_1 C17_0x2e__bit0 -C17_0x2e__bit1 -C17_0x2e__bit2 C17_0x2e__bit3 C17_0x2e__bit4 -C17_0x2e__bit5 -C17_0x2e__bit6 -C17_0x2e__bit7 -C17_0x2e__bit8 -C17_0x2e__bit9 -C17_0x2e__bit10 -C17_0x2e__bit11 -C17_0x2e__bit12 -C18_0x2e__bit_7 -C18_0x2e__bit_6 -C18_0x2e__bit_5 -C18_0x2e__bit_4 -C18_0x2e__bit_3 -C18_0x2e__bit_2 -C18_0x2e__bit_1 C18_0x2e__bit0 -C18_0x2e__bit1 C18_0x2e__bit2 -C18_0x2e__bit3 -C18_0x2e__bit4 -C18_0x2e__bit5 -C18_0x2e__bit6 -C18_0x2e__bit7 -C18_0x2e__bit8 -C18_0x2e__bit9 -C18_0x2e__bit10 -C18_0x2e__bit11 -C18_0x2e__bit12 -C19_0x2e__bit_7 -C19_0x2e__bit_6 -C19_0x2e__bit_5 -C19_0x2e__bit_4 -C19_0x2e__bit_3 -C19_0x2e__bit_2 -C19_0x2e__bit_1 -C19_0x2e__bit0 -C19_0x2e__bit1 -C19_0x2e__bit2 -C19_0x2e__bit3 -C19_0x2e__bit4 -C19_0x2e__bit5 -C19_0x2e__bit6 -C19_0x2e__bit7 -C19_0x2e__bit8 -C19_0x2e__bit9 -C19_0x2e__bit10 -C19_0x2e__bit11 -C19_0x2e__bit12 -C20_0x2e__bit_7 -C20_0x2e__bit_6 -C20_0x2e__bit_5 -C20_0x2e__bit_4 -C20_0x2e__bit_3 -C20_0x2e__bit_2 -C20_0x2e__bit_1 -C20_0x2e__bit0 -C20_0x2e__bit1 -C20_0x2e__bit2 -C20_0x2e__bit3 -C20_0x2e__bit4 -C20_0x2e__bit5 -C20_0x2e__bit6 -C20_0x2e__bit7 -C20_0x2e__bit8 -C20_0x2e__bit9 -C20_0x2e__bit10 -C20_0x2e__bit11 -C20_0x2e__bit12 -C21_0x2e__bit_7 -C21_0x2e__bit_6 -C21_0x2e__bit_5 -C21_0x2e__bit_4 -C21_0x2e__bit_3 -C21_0x2e__bit_2 -C21_0x2e__bit_1 -C21_0x2e__bit0 -C21_0x2e__bit1 -C21_0x2e__bit2 -C21_0x2e__bit3 -C21_0x2e__bit4 -C21_0x2e__bit5 -C21_0x2e__bit6 -C21_0x2e__bit7 -C21_0x2e__bit8 -C21_0x2e__bit9 -C21_0x2e__bit10 -C21_0x2e__bit11 -C21_0x2e__bit12 -C22_0x2e__bit_7 -C22_0x2e__bit_6 -C22_0x2e__bit_5 -C22_0x2e__bit_4 -C22_0x2e__bit_3 -C22_0x2e__bit_2 -C22_0x2e__bit_1 -C22_0x2e__bit0 -C22_0x2e__bit1 -C22_0x2e__bit2 -C22_0x2e__bit3 -C22_0x2e__bit4 -C22_0x2e__bit5 -C22_0x2e__bit6 -C22_0x2e__bit7 -C22_0x2e__bit8 -C22_0x2e__bit9 -C22_0x2e__bit10 -C22_0x2e__bit11 -C22_0x2e__bit12 -C23_0x2e__bit_7 -C23_0x2e__bit_6 -C23_0x2e__bit_5 -C23_0x2e__bit_4 -C23_0x2e__bit_3 -C23_0x2e__bit_2 -C23_0x2e__bit_1 -C23_0x2e__bit0 -C23_0x2e__bit1 -C23_0x2e__bit2 -C23_0x2e__bit3 -C23_0x2e__bit4 -C23_0x2e__bit5 -C23_0x2e__bit6 -C23_0x2e__bit7 -C23_0x2e__bit8 -C23_0x2e__bit9 -C23_0x2e__bit10 -C23_0x2e__bit11 -C23_0x2e__bit12 -C24_0x2e__bit_7 -C24_0x2e__bit_6 -C24_0x2e__bit_5 -C24_0x2e__bit_4 -C24_0x2e__bit_3 -C24_0x2e__bit_2 -C24_0x2e__bit_1 -C24_0x2e__bit0 -C24_0x2e__bit1 -C24_0x2e__bit2 -C24_0x2e__bit3 -C24_0x2e__bit4 -C24_0x2e__bit5 -C24_0x2e__bit6 -C24_0x2e__bit7 -C24_0x2e__bit8 -C24_0x2e__bit9 -C24_0x2e__bit10 -C24_0x2e__bit11 -C24_0x2e__bit12 -C25_0x2e__bit_7 -C25_0x2e__bit_6 -C25_0x2e__bit_5 -C25_0x2e__bit_4 -C25_0x2e__bit_3 -C25_0x2e__bit_2 -C25_0x2e__bit_1 -C25_0x2e__bit0 C25_0x2e__bit1 -C25_0x2e__bit2 C25_0x2e__bit3 -C25_0x2e__bit4 -C25_0x2e__bit5 -C25_0x2e__bit6 -C25_0x2e__bit7 -C25_0x2e__bit8 -C25_0x2e__bit9 -C25_0x2e__bit10 -C25_0x2e__bit11 -C25_0x2e__bit12 C26_0x2e__bit_7 C26_0x2e__bit_6 C26_0x2e__bit_5 C26_0x2e__bit_4 C26_0x2e__bit_3 C26_0x2e__bit_2 C26_0x2e__bit_1 C26_0x2e__bit0 C26_0x2e__bit1 C26_0x2e__bit2 -C26_0x2e__bit3 -C26_0x2e__bit4 -C26_0x2e__bit5 -C26_0x2e__bit6 -C26_0x2e__bit7 -C26_0x2e__bit8 -C26_0x2e__bit9 -C26_0x2e__bit10 -C26_0x2e__bit11 -C26_0x2e__bit12 -C27_0x2e__bit_7 -C27_0x2e__bit_6 -C27_0x2e__bit_5 -C27_0x2e__bit_4 -C27_0x2e__bit_3 -C27_0x2e__bit_2 -C27_0x2e__bit_1 -C27_0x2e__bit0 -C27_0x2e__bit1 -C27_0x2e__bit2 -C27_0x2e__bit3 -C27_0x2e__bit4 -C27_0x2e__bit5 -C27_0x2e__bit6 -C27_0x2e__bit7 -C27_0x2e__bit8 -C27_0x2e__bit9 -C27_0x2e__bit10 -C27_0x2e__bit11 -C27_0x2e__bit12 -C28_0x2e__bit_7 -C28_0x2e__bit_6 -C28_0x2e__bit_5 -C28_0x2e__bit_4 -C28_0x2e__bit_3 -C28_0x2e__bit_2 -C28_0x2e__bit_1 -C28_0x2e__bit0 -C28_0x2e__bit1 -C28_0x2e__bit2 -C28_0x2e__bit3 -C28_0x2e__bit4 -C28_0x2e__bit5 -C28_0x2e__bit6 -C28_0x2e__bit7 -C28_0x2e__bit8 -C28_0x2e__bit9 -C28_0x2e__bit10 -C28_0x2e__bit11 -C28_0x2e__bit12 -C29_0x2e__bit_7 -C29_0x2e__bit_6 -C29_0x2e__bit_5 -C29_0x2e__bit_4 -C29_0x2e__bit_3 -C29_0x2e__bit_2 -C29_0x2e__bit_1 -C29_0x2e__bit0 -C29_0x2e__bit1 -C29_0x2e__bit2 -C29_0x2e__bit3 -C29_0x2e__bit4 -C29_0x2e__bit5 -C29_0x2e__bit6 -C29_0x2e__bit7 -C29_0x2e__bit8 -C29_0x2e__bit9 -C29_0x2e__bit10 -C29_0x2e__bit11 -C29_0x2e__bit12 C30_0x2e__bit_7 -C30_0x2e__bit_6 -C30_0x2e__bit_5 -C30_0x2e__bit_4 -C30_0x2e__bit_3 -C30_0x2e__bit_2 -C30_0x2e__bit_1 -C30_0x2e__bit0 C30_0x2e__bit1 -C30_0x2e__bit2 -C30_0x2e__bit3 -C30_0x2e__bit4 -C30_0x2e__bit5 -C30_0x2e__bit6 -C30_0x2e__bit7 -C30_0x2e__bit8 -C30_0x2e__bit9 -C30_0x2e__bit10 -C30_0x2e__bit11 -C30_0x2e__bit12 -C31_0x2e__bit_7 -C31_0x2e__bit_6 -C31_0x2e__bit_5 -C31_0x2e__bit_4 -C31_0x2e__bit_3 -C31_0x2e__bit_2 -C31_0x2e__bit_1 -C31_0x2e__bit0 -C31_0x2e__bit1 -C31_0x2e__bit2 -C31_0x2e__bit3 -C31_0x2e__bit4 -C31_0x2e__bit5 -C31_0x2e__bit6 -C31_0x2e__bit7 -C31_0x2e__bit8 -C31_0x2e__bit9 -C31_0x2e__bit10 -C31_0x2e__bit11 -C31_0x2e__bit12 -C32_0x2e__bit_7 -C32_0x2e__bit_6 -C32_0x2e__bit_5 -C32_0x2e__bit_4 -C32_0x2e__bit_3 -C32_0x2e__bit_2 -C32_0x2e__bit_1 -C32_0x2e__bit0 -C32_0x2e__bit1 -C32_0x2e__bit2 -C32_0x2e__bit3 -C32_0x2e__bit4 -C32_0x2e__bit5 -C32_0x2e__bit6 -C32_0x2e__bit7 -C32_0x2e__bit8 -C32_0x2e__bit9 -C32_0x2e__bit10 -C32_0x2e__bit11 -C32_0x2e__bit12 -C33_0x2e__bit_7 -C33_0x2e__bit_6 -C33_0x2e__bit_5 -C33_0x2e__bit_4 -C33_0x2e__bit_3 -C33_0x2e__bit_2 -C33_0x2e__bit_1 -C33_0x2e__bit0 -C33_0x2e__bit1 -C33_0x2e__bit2 -C33_0x2e__bit3 -C33_0x2e__bit4 -C33_0x2e__bit5 -C33_0x2e__bit6 -C33_0x2e__bit7 -C33_0x2e__bit8 -C33_0x2e__bit9 -C33_0x2e__bit10 -C33_0x2e__bit11 -C33_0x2e__bit12 -C34_0x2e__bit_7 -C34_0x2e__bit_6 -C34_0x2e__bit_5 -C34_0x2e__bit_4 -C34_0x2e__bit_3 -C34_0x2e__bit_2 -C34_0x2e__bit_1 -C34_0x2e__bit0 -C34_0x2e__bit1 -C34_0x2e__bit2 -C34_0x2e__bit3 -C34_0x2e__bit4 -C34_0x2e__bit5 -C34_0x2e__bit6 -C34_0x2e__bit7 -C34_0x2e__bit8 -C34_0x2e__bit9 -C34_0x2e__bit10 -C34_0x2e__bit11 -C34_0x2e__bit12 C35_0x2e__bit_7 -C35_0x2e__bit_6 -C35_0x2e__bit_5 -C35_0x2e__bit_4 -C35_0x2e__bit_3 -C35_0x2e__bit_2 -C35_0x2e__bit_1 -C35_0x2e__bit0 C35_0x2e__bit1 -C35_0x2e__bit2 -C35_0x2e__bit3 -C35_0x2e__bit4 -C35_0x2e__bit5 -C35_0x2e__bit6 -C35_0x2e__bit7 -C35_0x2e__bit8 -C35_0x2e__bit9 -C35_0x2e__bit10 -C35_0x2e__bit11 -C35_0x2e__bit12 -C36_0x2e__bit_7 -C36_0x2e__bit_6 -C36_0x2e__bit_5 -C36_0x2e__bit_4 -C36_0x2e__bit_3 -C36_0x2e__bit_2 -C36_0x2e__bit_1 -C36_0x2e__bit0 -C36_0x2e__bit1 -C36_0x2e__bit2 -C36_0x2e__bit3 -C36_0x2e__bit4 -C36_0x2e__bit5 -C36_0x2e__bit6 -C36_0x2e__bit7 -C36_0x2e__bit8 -C36_0x2e__bit9 -C36_0x2e__bit10 -C36_0x2e__bit11 -C36_0x2e__bit12 -C37_0x2e__bit_7 -C37_0x2e__bit_6 -C37_0x2e__bit_5 -C37_0x2e__bit_4 -C37_0x2e__bit_3 -C37_0x2e__bit_2 -C37_0x2e__bit_1 -C37_0x2e__bit0 -C37_0x2e__bit1 -C37_0x2e__bit2 -C37_0x2e__bit3 -C37_0x2e__bit4 -C37_0x2e__bit5 -C37_0x2e__bit6 -C37_0x2e__bit7 -C37_0x2e__bit8 -C37_0x2e__bit9 -C37_0x2e__bit10 -C37_0x2e__bit11 -C37_0x2e__bit12 C38_0x2e__bit_7 C38_0x2e__bit_6 C38_0x2e__bit_5 C38_0x2e__bit_4 C38_0x2e__bit_3 C38_0x2e__bit_2 C38_0x2e__bit_1 C38_0x2e__bit0 C38_0x2e__bit1 C38_0x2e__bit2 -C38_0x2e__bit3 -C38_0x2e__bit4 -C38_0x2e__bit5 -C38_0x2e__bit6 -C38_0x2e__bit7 -C38_0x2e__bit8 -C38_0x2e__bit9 -C38_0x2e__bit10 -C38_0x2e__bit11 -C38_0x2e__bit12 -C39_0x2e__bit_7 -C39_0x2e__bit_6 -C39_0x2e__bit_5 -C39_0x2e__bit_4 -C39_0x2e__bit_3 -C39_0x2e__bit_2 -C39_0x2e__bit_1 -C39_0x2e__bit0 -C39_0x2e__bit1 -C39_0x2e__bit2 -C39_0x2e__bit3 -C39_0x2e__bit4 -C39_0x2e__bit5 -C39_0x2e__bit6 -C39_0x2e__bit7 -C39_0x2e__bit8 -C39_0x2e__bit9 -C39_0x2e__bit10 -C39_0x2e__bit11 -C39_0x2e__bit12 -C40_0x2e__bit_7 -C40_0x2e__bit_6 -C40_0x2e__bit_5 -C40_0x2e__bit_4 -C40_0x2e__bit_3 -C40_0x2e__bit_2 -C40_0x2e__bit_1 -C40_0x2e__bit0 -C40_0x2e__bit1 -C40_0x2e__bit2 -C40_0x2e__bit3 -C40_0x2e__bit4 -C40_0x2e__bit5 -C40_0x2e__bit6 -C40_0x2e__bit7 -C40_0x2e__bit8 -C40_0x2e__bit9 -C40_0x2e__bit10 -C40_0x2e__bit11 -C40_0x2e__bit12 -C41_0x2e__bit_7 -C41_0x2e__bit_6 -C41_0x2e__bit_5 -C41_0x2e__bit_4 -C41_0x2e__bit_3 -C41_0x2e__bit_2 -C41_0x2e__bit_1 -C41_0x2e__bit0 -C41_0x2e__bit1 -C41_0x2e__bit2 -C41_0x2e__bit3 -C41_0x2e__bit4 -C41_0x2e__bit5 -C41_0x2e__bit6 -C41_0x2e__bit7 -C41_0x2e__bit8 -C41_0x2e__bit9 -C41_0x2e__bit10 -C41_0x2e__bit11 -C41_0x2e__bit12 -C42_0x2e__bit_7 -C42_0x2e__bit_6 -C42_0x2e__bit_5 -C42_0x2e__bit_4 -C42_0x2e__bit_3 -C42_0x2e__bit_2 -C42_0x2e__bit_1 -C42_0x2e__bit0 -C42_0x2e__bit1 -C42_0x2e__bit2 -C42_0x2e__bit3 -C42_0x2e__bit4 -C42_0x2e__bit5 -C42_0x2e__bit6 -C42_0x2e__bit7 -C42_0x2e__bit8 -C42_0x2e__bit9 -C42_0x2e__bit10 -C42_0x2e__bit11 -C42_0x2e__bit12 -C43_0x2e__bit_7 -C43_0x2e__bit_6 -C43_0x2e__bit_5 -C43_0x2e__bit_4 -C43_0x2e__bit_3 -C43_0x2e__bit_2 -C43_0x2e__bit_1 -C43_0x2e__bit0 -C43_0x2e__bit1 -C43_0x2e__bit2 -C43_0x2e__bit3 -C43_0x2e__bit4 -C43_0x2e__bit5 -C43_0x2e__bit6 -C43_0x2e__bit7 -C43_0x2e__bit8 -C43_0x2e__bit9 -C43_0x2e__bit10 -C43_0x2e__bit11 -C43_0x2e__bit12 -C44_0x2e__bit_7 -C44_0x2e__bit_6 -C44_0x2e__bit_5 -C44_0x2e__bit_4 -C44_0x2e__bit_3 -C44_0x2e__bit_2 -C44_0x2e__bit_1 -C44_0x2e__bit0 -C44_0x2e__bit1 -C44_0x2e__bit2 -C44_0x2e__bit3 -C44_0x2e__bit4 -C44_0x2e__bit5 -C44_0x2e__bit6 -C44_0x2e__bit7 -C44_0x2e__bit8 -C44_0x2e__bit9 -C44_0x2e__bit10 -C44_0x2e__bit11 -C44_0x2e__bit12 -C45_0x2e__bit_7 -C45_0x2e__bit_6 -C45_0x2e__bit_5 -C45_0x2e__bit_4 -C45_0x2e__bit_3 -C45_0x2e__bit_2 -C45_0x2e__bit_1 -C45_0x2e__bit0 -C45_0x2e__bit1 -C45_0x2e__bit2 -C45_0x2e__bit3 -C45_0x2e__bit4 -C45_0x2e__bit5 -C45_0x2e__bit6 -C45_0x2e__bit7 -C45_0x2e__bit8 -C45_0x2e__bit9 -C45_0x2e__bit10 -C45_0x2e__bit11 -C45_0x2e__bit12 -C46_0x2e__bit_7 -C46_0x2e__bit_6 -C46_0x2e__bit_5 -C46_0x2e__bit_4 -C46_0x2e__bit_3 -C46_0x2e__bit_2 -C46_0x2e__bit_1 -C46_0x2e__bit0 -C46_0x2e__bit1 -C46_0x2e__bit2 -C46_0x2e__bit3 -C46_0x2e__bit4 -C46_0x2e__bit5 -C46_0x2e__bit6 -C46_0x2e__bit7 -C46_0x2e__bit8 -C46_0x2e__bit9 -C46_0x2e__bit10 -C46_0x2e__bit11 -C46_0x2e__bit12 -C47_0x2e__bit_7 -C47_0x2e__bit_6 -C47_0x2e__bit_5 -C47_0x2e__bit_4 -C47_0x2e__bit_3 -C47_0x2e__bit_2 -C47_0x2e__bit_1 -C47_0x2e__bit0 -C47_0x2e__bit1 -C47_0x2e__bit2 -C47_0x2e__bit3 -C47_0x2e__bit4 -C47_0x2e__bit5 -C47_0x2e__bit6 -C47_0x2e__bit7 -C47_0x2e__bit8 -C47_0x2e__bit9 -C47_0x2e__bit10 -C47_0x2e__bit11 -C47_0x2e__bit12 -C48_0x2e__bit_7 -C48_0x2e__bit_6 -C48_0x2e__bit_5 -C48_0x2e__bit_4 -C48_0x2e__bit_3 -C48_0x2e__bit_2 -C48_0x2e__bit_1 C48_0x2e__bit0 -C48_0x2e__bit1 C48_0x2e__bit2 -C48_0x2e__bit3 -C48_0x2e__bit4 -C48_0x2e__bit5 -C48_0x2e__bit6 -C48_0x2e__bit7 -C48_0x2e__bit8 -C48_0x2e__bit9 -C48_0x2e__bit10 -C48_0x2e__bit11 -C48_0x2e__bit12 -C50_0x2e__bit0 C51_0x2e__bit0 -C52_0x2e__bit0 C53_0x2e__bit0 C54_0x2e__bit0 -C55_0x2e__bit0 -C56_0x2e__bit0 C57_0x2e__bit0 -C58_0x2e__bit0 -C59_0x2e__bit0 C60_0x2e__bit0 -C61_0x2e__bit0 C62_0x2e__bit0 -C63_0x2e__bit0 C64_0x2e__bit0 -C65_0x2e__bit0 C66_0x2e__bit0 C67_0x2e__bit0 -C68_0x2e__bit0 -C69_0x2e__bit0 -C70_0x2e__bit0 -C71_0x2e__bit0 -C72_0x2e__bit0 -C73_0x2e__bit0 C74_0x2e__bit0 C75_0x2e__bit0 -C76_0x2e__bit0 -C77_0x2e__bit0 -C78_0x2e__bit0 C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 -C82_0x2e__bit0 -C83_0x2e__bit0 C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 -C90_0x2e__bit0 -C91_0x2e__bit0 -C92_0x2e__bit0 -C93_0x2e__bit0 -C94_0x2e__bit0 C95_0x2e__bit0 -C96_0x2e__bit0 C97_0x2e__bit0 c objectif function=5323914 c Total CPU time (ms) : 1229.196 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.99 2/54 22641 Raw data (stat): 22641 (runsolver) R 22640 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839015333 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0012 s] Raw data (loadavg): 1.10 1.02 1.01 4/64 22652 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18105 3 1 0 704 43 0 0 25 0 11 0 839015333 865865728 21806 4294967295 134512640 134569956 3221224368 3221213844 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211393 21806 13086 16 0 211377 0 vsize: 845572 [startup+20.0015 s] Raw data (loadavg): 1.16 1.03 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18105 3 1 0 1632 43 0 0 25 0 11 0 839015333 862785536 21316 4294967295 134512640 134569956 3221224368 3221214680 1131311266 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 21316 13086 16 0 210625 0 vsize: 842564 [startup+30.001 s] Raw data (loadavg): 1.30 1.06 1.02 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18106 3 1 0 2583 43 0 0 24 0 11 0 839015333 868827136 22875 4294967295 134512640 134569956 3221224368 3221214680 1131312227 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212116 22875 13086 16 0 212100 0 vsize: 848464 [startup+40.0021 s] Raw data (loadavg): 1.25 1.06 1.02 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18106 3 1 0 3543 44 0 0 25 0 11 0 839015333 862785536 21750 4294967295 134512640 134569956 3221224368 3221214488 1131188901 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 21750 13086 16 0 210625 0 vsize: 842564 [startup+50.0022 s] Raw data (loadavg): 1.21 1.06 1.02 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18106 3 1 0 4514 44 0 0 25 0 11 0 839015333 862785536 21796 4294967295 134512640 134569956 3221224368 3221214680 1131311262 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 21796 13086 16 0 210625 0 vsize: 842564 [startup+60.0029 s] Raw data (loadavg): 1.18 1.06 1.02 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18106 3 1 0 5493 45 0 0 25 0 11 0 839015333 862785536 21865 4294967295 134512640 134569956 3221224368 3221214680 1131313797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 21865 13086 16 0 210625 0 vsize: 842564 [startup+70.0515 s] Raw data (loadavg): 1.15 1.05 1.02 3/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 6479 45 0 0 25 0 11 0 839015333 862785536 21900 4294967295 134512640 134569956 3221224368 3221214576 1131232639 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 21900 13086 16 0 210625 0 vsize: 842564 [startup+80.0521 s] Raw data (loadavg): 1.13 1.05 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 7466 45 0 0 25 0 11 0 839015333 862785536 21966 4294967295 134512640 134569956 3221224368 3221214576 1131232921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 21966 13086 16 0 210625 0 vsize: 842564 [startup+90.0526 s] Raw data (loadavg): 1.11 1.05 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 8453 46 0 0 25 0 11 0 839015333 862785536 21993 4294967295 134512640 134569956 3221224368 3221214576 1131232249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 21993 13086 16 0 210625 0 vsize: 842564 [startup+100.053 s] Raw data (loadavg): 1.09 1.05 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 9438 46 0 0 25 0 11 0 839015333 862785536 22014 4294967295 134512640 134569956 3221224368 3221214576 1131232635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22014 13086 16 0 210625 0 vsize: 842564 [startup+110.054 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 10425 47 0 0 25 0 11 0 839015333 862785536 22051 4294967295 134512640 134569956 3221224368 3221214576 1131232593 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22051 13086 16 0 210625 0 vsize: 842564 [startup+120.054 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 11413 47 0 0 25 0 11 0 839015333 862785536 22086 4294967295 134512640 134569956 3221224368 3221214576 1131232481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22086 13086 16 0 210625 0 vsize: 842564 [startup+130.054 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 12401 47 0 0 25 0 11 0 839015333 862785536 22095 4294967295 134512640 134569956 3221224368 3221214572 1131188832 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22095 13086 16 0 210625 0 vsize: 842564 [startup+140.055 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 13391 48 0 0 25 0 11 0 839015333 862785536 22132 4294967295 134512640 134569956 3221224368 3221214576 1131232179 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22132 13086 16 0 210625 0 vsize: 842564 [startup+150.055 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 14380 48 0 0 25 0 11 0 839015333 862785536 22158 4294967295 134512640 134569956 3221224368 3221214576 1131232515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22158 13086 16 0 210625 0 vsize: 842564 [startup+160.056 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 15370 48 0 0 25 0 11 0 839015333 862785536 22170 4294967295 134512640 134569956 3221224368 3221214576 1131232876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22170 13086 16 0 210625 0 vsize: 842564 [startup+170.056 s] Raw data (loadavg): 1.03 1.03 1.01 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 16361 48 0 0 25 0 11 0 839015333 862785536 22176 4294967295 134512640 134569956 3221224368 3221214576 1131233084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22176 13086 16 0 210625 0 vsize: 842564 [startup+180.056 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 17351 49 0 0 25 0 11 0 839015333 862785536 22201 4294967295 134512640 134569956 3221224368 3221214572 1131188832 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22201 13086 16 0 210625 0 vsize: 842564 [startup+190.057 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 18342 49 0 0 25 0 11 0 839015333 862785536 22207 4294967295 134512640 134569956 3221224368 3221214680 1131311262 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22207 13086 16 0 210625 0 vsize: 842564 [startup+200.057 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 19331 49 0 0 25 0 11 0 839015333 862785536 22235 4294967295 134512640 134569956 3221224368 3221214576 1131232639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 22235 13086 16 0 210625 0 vsize: 842564 [startup+210.058 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 20316 49 0 0 24 0 11 0 839015333 862785536 22242 4294967295 134512640 134569956 3221224368 3221214680 1131312472 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22242 13086 16 0 210625 0 vsize: 842564 [startup+220.059 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 21299 49 0 0 25 0 11 0 839015333 862785536 22269 4294967295 134512640 134569956 3221224368 3221214680 1131313942 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22269 13086 16 0 210625 0 vsize: 842564 [startup+230.059 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 22285 49 0 0 25 0 11 0 839015333 862785536 22283 4294967295 134512640 134569956 3221224368 3221214680 1131312344 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22283 13086 16 0 210625 0 vsize: 842564 [startup+240.06 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 23275 49 0 0 25 0 11 0 839015333 862785536 22361 4294967295 134512640 134569956 3221224368 3221214576 1131232635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22361 13086 16 0 210625 0 vsize: 842564 [startup+250.06 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 24266 49 0 0 25 0 11 0 839015333 862785536 22374 4294967295 134512640 134569956 3221224368 3221214576 1131232325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22374 13086 16 0 210625 0 vsize: 842564 [startup+260.061 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 25258 49 0 0 25 0 11 0 839015333 862785536 22393 4294967295 134512640 134569956 3221224368 3221214680 1131313860 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22393 13086 16 0 210625 0 vsize: 842564 [startup+270.06 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 26249 49 0 0 25 0 11 0 839015333 862785536 22400 4294967295 134512640 134569956 3221224368 3221214576 1131232249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22400 13086 16 0 210625 0 vsize: 842564 [startup+280.06 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 27239 49 0 0 25 0 11 0 839015333 862785536 22404 4294967295 134512640 134569956 3221224368 3221214512 1131244838 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22404 13086 16 0 210625 0 vsize: 842564 [startup+290.061 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 28218 49 0 0 25 0 11 0 839015333 862785536 22407 4294967295 134512640 134569956 3221224368 3221214576 1131232635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22407 13086 16 0 210625 0 vsize: 842564 [startup+300.06 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 29188 49 0 0 25 0 11 0 839015333 862785536 22434 4294967295 134512640 134569956 3221224368 3221214680 1131311262 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22434 13086 16 0 210625 0 vsize: 842564 [startup+310.061 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 30149 49 0 0 24 0 11 0 839015333 862785536 22494 4294967295 134512640 134569956 3221224368 3221214576 1131232635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22494 13086 16 0 210625 0 vsize: 842564 [startup+320.062 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 31116 49 0 0 25 0 11 0 839015333 862785536 22617 4294967295 134512640 134569956 3221224368 3221214680 1131311071 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22617 13086 16 0 210625 0 vsize: 842564 [startup+330.062 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 32089 50 0 0 25 0 11 0 839015333 862785536 22731 4294967295 134512640 134569956 3221224368 3221214576 1131232751 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22731 13086 16 0 210625 0 vsize: 842564 [startup+340.063 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 33062 50 0 0 25 0 11 0 839015333 862785536 22819 4294967295 134512640 134569956 3221224368 3221214576 1131232724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22819 13086 16 0 210625 0 vsize: 842564 [startup+350.063 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 34029 50 0 0 25 0 11 0 839015333 862785536 22846 4294967295 134512640 134569956 3221224368 3221214576 1131232868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22846 13086 16 0 210625 0 vsize: 842564 [startup+360.064 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 34996 50 0 0 25 0 11 0 839015333 862785536 22964 4294967295 134512640 134569956 3221224368 3221214576 1131232584 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 22964 13086 16 0 210625 0 vsize: 842564 [startup+370.065 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 35965 50 0 0 24 0 11 0 839015333 862785536 23060 4294967295 134512640 134569956 3221224368 3221214512 1131245885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23060 13086 16 0 210625 0 vsize: 842564 [startup+380.064 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 36929 50 0 0 25 0 11 0 839015333 862785536 23143 4294967295 134512640 134569956 3221224368 3221214536 1131232591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23143 13086 16 0 210625 0 vsize: 842564 [startup+390.065 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 37891 50 0 0 25 0 11 0 839015333 862785536 23242 4294967295 134512640 134569956 3221224368 3221214536 1131232165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23242 13086 16 0 210625 0 vsize: 842564 [startup+400.066 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 38863 51 0 0 25 0 11 0 839015333 862785536 23357 4294967295 134512640 134569956 3221224368 3221214640 1131311262 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23357 13086 16 0 210625 0 vsize: 842564 [startup+410.066 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 39840 51 0 0 25 0 11 0 839015333 862785536 23461 4294967295 134512640 134569956 3221224368 3221214536 1131232186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23461 13086 16 0 210625 0 vsize: 842564 [startup+420.066 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 40811 51 0 0 24 0 11 0 839015333 862785536 23504 4294967295 134512640 134569956 3221224368 3221214384 1131225755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23504 13086 16 0 210625 0 vsize: 842564 [startup+430.067 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 41780 52 0 0 25 0 11 0 839015333 862785536 23549 4294967295 134512640 134569956 3221224368 3221214536 1131232481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23549 13086 16 0 210625 0 vsize: 842564 [startup+440.067 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 42744 52 0 0 25 0 11 0 839015333 862785536 23643 4294967295 134512640 134569956 3221224368 3221214640 1131312368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23643 13086 16 0 210625 0 vsize: 842564 [startup+450.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 43711 52 0 0 24 0 11 0 839015333 862785536 23733 4294967295 134512640 134569956 3221224368 3221214384 1131225505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23733 13086 16 0 210625 0 vsize: 842564 [startup+460.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) S 22640 7475 7474 0 -1 0 18107 3 1 0 44679 53 0 0 25 0 11 0 839015333 862785536 23806 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23806 13086 16 0 210625 0 vsize: 842564 [startup+470.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 45643 54 0 0 25 0 11 0 839015333 862785536 23890 4294967295 134512640 134569956 3221224368 3221214304 1131621393 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23890 13086 16 0 210625 0 vsize: 842564 [startup+480.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 46608 54 0 0 25 0 11 0 839015333 862785536 23990 4294967295 134512640 134569956 3221224368 3221214384 1131245814 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 23990 13086 16 0 210625 0 vsize: 842564 [startup+490.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 47570 55 0 0 24 0 11 0 839015333 862785536 24092 4294967295 134512640 134569956 3221224368 3221214536 1131233146 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24092 13086 16 0 210625 0 vsize: 842564 [startup+500.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 48533 55 0 0 25 0 11 0 839015333 862785536 24193 4294967295 134512640 134569956 3221224368 3221214240 1131622794 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24193 13086 16 0 210625 0 vsize: 842564 [startup+510.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 49505 56 0 0 25 0 11 0 839015333 862785536 24284 4294967295 134512640 134569956 3221224368 3221214536 1131232635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24284 13086 16 0 210625 0 vsize: 842564 [startup+520.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 50485 56 0 0 25 0 11 0 839015333 862785536 24392 4294967295 134512640 134569956 3221224368 3221214536 1131232373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24392 13086 16 0 210625 0 vsize: 842564 [startup+530.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 51473 56 0 0 25 0 11 0 839015333 862785536 24433 4294967295 134512640 134569956 3221224368 3221214640 1131313942 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24433 13086 16 0 210625 0 vsize: 842564 [startup+540.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 52460 57 0 0 25 0 11 0 839015333 862785536 24438 4294967295 134512640 134569956 3221224368 3221214536 1131232186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24438 13086 16 0 210625 0 vsize: 842564 [startup+550.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 53448 57 0 0 25 0 11 0 839015333 862785536 24464 4294967295 134512640 134569956 3221224368 3221214536 1131232761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24464 13086 16 0 210625 0 vsize: 842564 [startup+560.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 54436 57 0 0 25 0 11 0 839015333 862785536 24482 4294967295 134512640 134569956 3221224368 3221214536 1131232204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24482 13086 16 0 210625 0 vsize: 842564 [startup+570.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 55428 58 0 0 25 0 11 0 839015333 862785536 24494 4294967295 134512640 134569956 3221224368 3221214536 1131232519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24494 13086 16 0 210625 0 vsize: 842564 [startup+580.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 56419 58 0 0 25 0 11 0 839015333 862785536 24499 4294967295 134512640 134569956 3221224368 3221214536 1131232876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24499 13086 16 0 210625 0 vsize: 842564 [startup+590.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 57407 58 0 0 24 0 11 0 839015333 862785536 24502 4294967295 134512640 134569956 3221224368 3221214448 1131189905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24502 13086 16 0 210625 0 vsize: 842564 [startup+600.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 58395 58 0 0 25 0 11 0 839015333 862785536 24505 4294967295 134512640 134569956 3221224368 3221214536 1131233050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24505 13086 16 0 210625 0 vsize: 842564 [startup+610.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 59383 59 0 0 25 0 11 0 839015333 862785536 24505 4294967295 134512640 134569956 3221224368 3221214536 1131232365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24505 13086 16 0 210625 0 vsize: 842564 [startup+620.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 60371 59 0 0 25 0 11 0 839015333 862785536 24531 4294967295 134512640 134569956 3221224368 3221214536 1131233125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24531 13086 16 0 210625 0 vsize: 842564 [startup+630.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 61363 59 0 0 25 0 11 0 839015333 862785536 24534 4294967295 134512640 134569956 3221224368 3221214632 1131298604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24534 13086 16 0 210625 0 vsize: 842564 [startup+640.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 62352 59 0 0 25 0 11 0 839015333 862785536 24543 4294967295 134512640 134569956 3221224368 3221214536 1131233431 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24543 13086 16 0 210625 0 vsize: 842564 [startup+650.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 63342 60 0 0 25 0 11 0 839015333 862785536 24546 4294967295 134512640 134569956 3221224368 3221214792 1131196441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24546 13086 16 0 210625 0 vsize: 842564 [startup+660.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22653 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 64334 60 0 0 25 0 11 0 839015333 862785536 24558 4294967295 134512640 134569956 3221224368 3221214640 1131311440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24558 13086 16 0 210625 0 vsize: 842564 [startup+670.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 22654 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 65325 61 0 0 25 0 11 0 839015333 862785536 24562 4294967295 134512640 134569956 3221224368 3221214640 1131313872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24562 13086 16 0 210625 0 vsize: 842564 [startup+680.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22706 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 66309 64 0 0 25 0 11 0 839015333 862785536 24566 4294967295 134512640 134569956 3221224368 3221214640 1131312472 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24566 13086 16 0 210625 0 vsize: 842564 [startup+690.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22706 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 67300 64 0 0 25 0 11 0 839015333 862785536 24571 4294967295 134512640 134569956 3221224368 3221214640 1131312382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24571 13086 16 0 210625 0 vsize: 842564 [startup+700.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22706 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 68291 64 0 0 25 0 11 0 839015333 862785536 24572 4294967295 134512640 134569956 3221224368 3221214640 1131311294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24572 13086 16 0 210625 0 vsize: 842564 [startup+710.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22706 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 69282 64 0 0 25 0 11 0 839015333 862785536 24578 4294967295 134512640 134569956 3221224368 3221214536 1131232165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24578 13086 16 0 210625 0 vsize: 842564 [startup+720.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22706 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 70272 64 0 0 25 0 11 0 839015333 862785536 24580 4294967295 134512640 134569956 3221224368 3221214640 1131311327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24580 13086 16 0 210625 0 vsize: 842564 [startup+730.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22706 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 71261 64 0 0 25 0 11 0 839015333 862785536 24588 4294967295 134512640 134569956 3221224368 3221214128 1131622786 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24588 13086 16 0 210625 0 vsize: 842564 [startup+740.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22706 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 72248 64 0 0 25 0 11 0 839015333 862785536 24599 4294967295 134512640 134569956 3221224368 3221214536 1131232186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24599 13086 16 0 210625 0 vsize: 842564 [startup+750.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 73237 65 0 0 25 0 11 0 839015333 862785536 24620 4294967295 134512640 134569956 3221224368 3221214640 1131312348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24620 13086 16 0 210625 0 vsize: 842564 [startup+760.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 74229 65 0 0 25 0 11 0 839015333 862785536 24622 4294967295 134512640 134569956 3221224368 3221214640 1131311255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24622 13086 16 0 210625 0 vsize: 842564 [startup+770.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 75219 65 0 0 25 0 11 0 839015333 862785536 24625 4294967295 134512640 134569956 3221224368 3221214640 1131312344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24625 13086 16 0 210625 0 vsize: 842564 [startup+780.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 76209 65 0 0 25 0 11 0 839015333 862785536 24629 4294967295 134512640 134569956 3221224368 3221214640 1131311055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24629 13086 16 0 210625 0 vsize: 842564 [startup+790.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 77200 65 0 0 25 0 11 0 839015333 862785536 24641 4294967295 134512640 134569956 3221224368 3221214536 1131232373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24641 13086 16 0 210625 0 vsize: 842564 [startup+800.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 78192 65 0 0 25 0 11 0 839015333 862785536 24642 4294967295 134512640 134569956 3221224368 3221214640 1131311262 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24642 13086 16 0 210625 0 vsize: 842564 [startup+810.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 79182 65 0 0 25 0 11 0 839015333 862785536 24643 4294967295 134512640 134569956 3221224368 3221214536 1131232836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24643 13086 16 0 210625 0 vsize: 842564 [startup+820.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 80168 65 0 0 25 0 11 0 839015333 862785536 24648 4294967295 134512640 134569956 3221224368 3221214536 1131232581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24648 13086 16 0 210625 0 vsize: 842564 [startup+830.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 81156 65 0 0 25 0 11 0 839015333 862785536 24669 4294967295 134512640 134569956 3221224368 3221214640 1131311262 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24669 13086 16 0 210625 0 vsize: 842564 [startup+840.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 82146 65 0 0 25 0 11 0 839015333 862785536 24675 4294967295 134512640 134569956 3221224368 3221214640 1131313942 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24675 13086 16 0 210625 0 vsize: 842564 [startup+850.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 83137 65 0 0 25 0 11 0 839015333 862785536 24676 4294967295 134512640 134569956 3221224368 3221214640 1131311255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24676 13086 16 0 210625 0 vsize: 842564 [startup+860.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 84127 66 0 0 25 0 11 0 839015333 862785536 24691 4294967295 134512640 134569956 3221224368 3221213832 1085679302 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24691 13086 16 0 210625 0 vsize: 842564 [startup+870.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 85119 66 0 0 25 0 11 0 839015333 862785536 24694 4294967295 134512640 134569956 3221224368 3221214032 1131621453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24694 13086 16 0 210625 0 vsize: 842564 [startup+880.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 86113 66 0 0 25 0 11 0 839015333 862785536 24697 4294967295 134512640 134569956 3221224368 3221214536 1131232591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24697 13086 16 0 210625 0 vsize: 842564 [startup+890.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 87104 66 0 0 25 0 11 0 839015333 862785536 24700 4294967295 134512640 134569956 3221224368 3221214536 1131232826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24700 13086 16 0 210625 0 vsize: 842564 [startup+900.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 88096 66 0 0 25 0 11 0 839015333 862785536 24700 4294967295 134512640 134569956 3221224368 3221214536 1131232790 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24700 13086 16 0 210625 0 vsize: 842564 [startup+910.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 89089 66 0 0 25 0 11 0 839015333 862785536 24705 4294967295 134512640 134569956 3221224368 3221214536 1131233092 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24705 13086 16 0 210625 0 vsize: 842564 [startup+920.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 90080 66 0 0 25 0 11 0 839015333 862785536 24706 4294967295 134512640 134569956 3221224368 3221214536 1131232249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24706 13086 16 0 210625 0 vsize: 842564 [startup+930.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 91069 66 0 0 25 0 11 0 839015333 862785536 24710 4294967295 134512640 134569956 3221224368 3221214132 1131624524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24710 13086 16 0 210625 0 vsize: 842564 [startup+940.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 92059 66 0 0 25 0 11 0 839015333 862785536 24715 4294967295 134512640 134569956 3221224368 3221214640 1131313872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24715 13086 16 0 210625 0 vsize: 842564 [startup+950.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 93046 66 0 0 25 0 11 0 839015333 862785536 24737 4294967295 134512640 134569956 3221224368 3221214536 1131232161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24737 13086 16 0 210625 0 vsize: 842564 [startup+960.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 94037 66 0 0 25 0 11 0 839015333 862785536 24747 4294967295 134512640 134569956 3221224368 3221214640 1131311262 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24747 13086 16 0 210625 0 vsize: 842564 [startup+970.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 95027 66 0 0 25 0 11 0 839015333 862785536 24755 4294967295 134512640 134569956 3221224368 3221214640 1131311262 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24755 13086 16 0 210625 0 vsize: 842564 [startup+980.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 96018 66 0 0 25 0 11 0 839015333 862785536 24766 4294967295 134512640 134569956 3221224368 3221214536 1131232570 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24766 13086 16 0 210625 0 vsize: 842564 [startup+990.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 97007 66 0 0 24 0 11 0 839015333 862785536 24782 4294967295 134512640 134569956 3221224368 3221214536 1131232591 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24782 13086 16 0 210625 0 vsize: 842564 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 97995 66 0 0 25 0 11 0 839015333 862785536 24794 4294967295 134512640 134569956 3221224368 3221214536 1131232172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210641 24794 13086 16 0 210625 0 vsize: 842564 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 98983 66 0 0 25 0 11 0 839015333 862785536 24800 4294967295 134512640 134569956 3221224368 3221214640 1131314056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24800 13086 16 0 210625 0 vsize: 842564 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22708 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 99970 66 0 0 25 0 11 0 839015333 862785536 24800 4294967295 134512640 134569956 3221224368 3221214640 1131313216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24800 13086 16 0 210625 0 vsize: 842564 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 100958 67 0 0 25 0 11 0 839015333 862785536 24823 4294967295 134512640 134569956 3221224368 3221214640 1131314617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24823 13086 16 0 210625 0 vsize: 842564 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 101945 67 0 0 25 0 11 0 839015333 862785536 24828 4294967295 134512640 134569956 3221224368 3221214536 1131232218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24828 13086 16 0 210625 0 vsize: 842564 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 102933 67 0 0 25 0 11 0 839015333 862785536 24849 4294967295 134512640 134569956 3221224368 3221214640 1131311089 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24849 13086 16 0 210625 0 vsize: 842564 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 103922 68 0 0 25 0 11 0 839015333 862785536 24852 4294967295 134512640 134569956 3221224368 3221214640 1131313127 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24852 13086 16 0 210625 0 vsize: 842564 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 104909 69 0 0 25 0 11 0 839015333 862785536 24855 4294967295 134512640 134569956 3221224368 3221214536 1131233185 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24855 13086 16 0 210625 0 vsize: 842564 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 105897 70 0 0 24 0 11 0 839015333 862785536 24874 4294967295 134512640 134569956 3221224368 3221214640 1131311262 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24874 13086 16 0 210625 0 vsize: 842564 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 106887 70 0 0 25 0 11 0 839015333 862785536 24876 4294967295 134512640 134569956 3221224368 3221214536 1131232554 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24876 13086 16 0 210625 0 vsize: 842564 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 107875 70 0 0 24 0 11 0 839015333 862785536 24879 4294967295 134512640 134569956 3221224368 3221213876 1085679264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24879 13086 16 0 210625 0 vsize: 842564 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 108865 70 0 0 25 0 11 0 839015333 862785536 24898 4294967295 134512640 134569956 3221224368 3221214640 1131314094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24898 13086 16 0 210625 0 vsize: 842564 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 109853 71 0 0 25 0 11 0 839015333 862785536 24903 4294967295 134512640 134569956 3221224368 3221214536 1131232635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24903 13086 16 0 210625 0 vsize: 842564 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 110841 71 0 0 25 0 11 0 839015333 862785536 24903 4294967295 134512640 134569956 3221224368 3221214536 1131232911 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24903 13086 16 0 210625 0 vsize: 842564 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 111830 72 0 0 25 0 11 0 839015333 862785536 24922 4294967295 134512640 134569956 3221224368 3221214536 1131232635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24922 13086 16 0 210625 0 vsize: 842564 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 112818 72 0 0 25 0 11 0 839015333 862785536 24925 4294967295 134512640 134569956 3221224368 3221214640 1131311087 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24925 13086 16 0 210625 0 vsize: 842564 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 113807 72 0 0 25 0 11 0 839015333 862785536 24927 4294967295 134512640 134569956 3221224368 3221214536 1131232824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24927 13086 16 0 210625 0 vsize: 842564 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 114795 73 0 0 25 0 11 0 839015333 862785536 24945 4294967295 134512640 134569956 3221224368 3221214536 1131233107 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24945 13086 16 0 210625 0 vsize: 842564 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 115784 74 0 0 25 0 11 0 839015333 862785536 24948 4294967295 134512640 134569956 3221224368 3221214536 1131232765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24948 13086 16 0 210625 0 vsize: 842564 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 116773 74 0 0 25 0 11 0 839015333 862785536 24951 4294967295 134512640 134569956 3221224368 3221214392 1131625634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24951 13086 16 0 210625 0 vsize: 842564 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 117761 75 0 0 25 0 11 0 839015333 862785536 24969 4294967295 134512640 134569956 3221224368 3221214536 1131232157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24969 13086 16 0 210625 0 vsize: 842564 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 118750 75 0 0 25 0 11 0 839015333 862785536 24971 4294967295 134512640 134569956 3221224368 3221214536 1131232635 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24971 13086 16 0 210625 0 vsize: 842564 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 119739 75 0 0 25 0 11 0 839015333 862785536 24974 4294967295 134512640 134569956 3221224368 3221214536 1131232800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24974 13086 16 0 210625 0 vsize: 842564 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 22710 Raw data (stat): 22641 (java) R 22640 7475 7474 0 -1 0 18107 3 1 0 120726 76 0 0 25 0 11 0 839015333 862785536 24974 4294967295 134512640 134569956 3221224368 3221214536 1131232246 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210641 24974 13086 16 0 210625 0 vsize: 842564 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.26 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 22712 Raw data (stat): 22641 (java) Z 22640 7475 7474 0 -1 1036 18107 7310 1 0 120733 76 2409 33 24 0 1 0 839015333 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.26 CPU time (s): 1232.53 CPU user time (s): 1231.44 CPU system time (s): 1.09883 CPU usage (%): 100.185 Max. virtual memory (Kb): 848464 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 5323914 #### END VERIFIER DATA ####