Name | 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 | 4696832 |
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 | 1195.06 |
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 |
LAUNCH ON wulflinc27 THE 2005-09-20 18:28:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6797 boxname=wulflinc27 idbench=937 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: b964292d4197638ce79b3f213e8fe89b /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod013.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod013.opb IDLAUNCH: 6797 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.169 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.169 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: 805988 kB Buffers: 34628 kB Cached: 164464 kB SwapCached: 692 kB Active: 74052 kB Inactive: 127644 kB HighTotal: 131008 kB HighFree: 7728 kB LowTotal: 903652 kB LowFree: 798260 kB SwapTotal: 2097892 kB SwapFree: 2096628 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5752 kB Slab: 21368 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 18:48:44 (client local time) WITH STATUS 143 IN 1223.5 SECONDS stats: 6797 0 1223.5 143
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 JAVA5.1.1.31 c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@a20892 c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08 c org.sat4j.minisat.learning.MiniSATLearning@158b649 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a sorted array c No reason simplification c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod013.opb c reading problem ... done. Time 1.971 ms. c #vars 1008 c #constraints 76 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 7047031 Current CPU time: 6.50 ms c CURRENT OPTIMUM= 6875648 Current CPU time: 9.92 ms c CURRENT OPTIMUM= 6052608 Current CPU time: 10.98 ms c CURRENT OPTIMUM= 5892802 Current CPU time: 39.87 ms c starts : 7 c conflicts : 303 c decisions : 8740 c propagations : 44157 c inspects : 1484475 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 303 c root simplifications : 307 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 5923 c speed (decisions/second) : 7.413451767607795 c non guided choices 2291 c random choices 0 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 objective function=5892802 c Total CPU time (ms) : 1218.997
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860682780 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 39 3 38 16 0 23 0 [pid=11519] vsize: 156 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable open syscall for file /etc/ld.so.preload open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libpthread.so.0 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2 open syscall for file tls/i686/mmx/libdl.so.2 open syscall for file tls/i686/libdl.so.2 open syscall for file tls/mmx/libdl.so.2 open syscall for file tls/libdl.so.2 open syscall for file i686/mmx/libdl.so.2 open syscall for file i686/libdl.so.2 open syscall for file mmx/libdl.so.2 open syscall for file libdl.so.2 open syscall for file /oldhome/oroussel/lib/libdl.so.2 open syscall for file /lib/libdl.so.2 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /etc/ld.so.cache open syscall for file /lib/tls/libm.so.6 open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /etc/mtab open syscall for file /proc/meminfo open syscall for file .hotspotrc open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed open syscall for file /etc/mtab open syscall for file /proc/stat open syscall for file /proc/self/maps open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1 open syscall for file tls/i686/mmx/libnsl.so.1 open syscall for file tls/i686/libnsl.so.1 open syscall for file tls/mmx/libnsl.so.1 open syscall for file tls/libnsl.so.1 open syscall for file i686/mmx/libnsl.so.1 open syscall for file i686/libnsl.so.1 open syscall for file mmx/libnsl.so.1 open syscall for file libnsl.so.1 open syscall for file /oldhome/oroussel/lib/libnsl.so.1 open syscall for file /etc/ld.so.cache open syscall for file /lib/libnsl.so.1 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /tmp/hsperfdata_oroussel open syscall for file /tmp/hsperfdata_oroussel/11519 open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa open syscall for file .hotspot_compiler New thread pid=11520 New thread pid=11521 New thread pid=11522 socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4 socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110) open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext New thread pid=11523 New thread pid=11524 New thread pid=11525 New thread pid=11526 New thread pid=11527 New thread pid=11528 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security open syscall for file /dev/random open syscall for file /dev/urandom open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod013.opb New thread pid=11529 One traced child (pid=11529) exited with status: 0 New thread pid=11530 [startup+10.0025 s] Raw data (loadavg): 1.01 1.00 0.94 2/66 11530 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18190 3 1 0 713 45 0 0 20 0 11 0 1860682780 858144768 19994 4294967295 134512640 134569956 3221224336 3221214640 1131490658 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 19994 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 7.58 Current children cumulated vsize (Kb) 838032 One traced child (pid=11530) exited with status: 0 New thread pid=11531 One traced child (pid=11531) exited with status: 0 New thread pid=11532 [startup+20.0033 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 11532 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18201 3 1 0 1654 46 0 0 23 0 11 0 1860682780 858144768 20183 4294967295 134512640 134569956 3221224336 3221214544 1131402547 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 20183 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 17 Current children cumulated vsize (Kb) 838032 [startup+30.0042 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 11532 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18212 3 1 0 2604 46 0 0 25 0 11 0 1860682780 858144768 20240 4294967295 134512640 134569956 3221224336 3221214544 1131401972 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 20240 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 26.5 Current children cumulated vsize (Kb) 838032 [startup+40.005 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 11532 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18224 3 1 0 3562 47 0 0 25 0 11 0 1860682780 858144768 20570 4294967295 134512640 134569956 3221224336 3221214800 1131382489 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 20570 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 36.09 Current children cumulated vsize (Kb) 838032 One traced child (pid=11532) exited with status: 0 New thread pid=11533 [startup+50.0058 s] Raw data (loadavg): 1.08 1.02 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18236 3 1 0 4536 47 0 0 18 0 11 0 1860682780 858144768 20669 4294967295 134512640 134569956 3221224336 3221214768 1131558190 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 20669 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 45.83 Current children cumulated vsize (Kb) 838032 [startup+60.0066 s] Raw data (loadavg): 1.07 1.02 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18247 3 1 0 5513 48 0 0 25 0 11 0 1860682780 858144768 20697 4294967295 134512640 134569956 3221224336 3221214544 1131402553 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 20697 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 55.61 Current children cumulated vsize (Kb) 838032 [startup+70.0075 s] Raw data (loadavg): 1.06 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18259 3 1 0 6489 48 0 0 25 0 11 0 1860682780 858144768 20760 4294967295 134512640 134569956 3221224336 3221214544 1131401977 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 20760 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 65.37 Current children cumulated vsize (Kb) 838032 [startup+80.0083 s] Raw data (loadavg): 1.05 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18270 3 1 0 7470 49 0 0 19 0 11 0 1860682780 858144768 20803 4294967295 134512640 134569956 3221224336 3221214544 1131402105 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 20803 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 75.19 Current children cumulated vsize (Kb) 838032 [startup+90.0091 s] Raw data (loadavg): 1.04 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18281 3 1 0 8452 49 0 0 20 0 11 0 1860682780 858144768 20853 4294967295 134512640 134569956 3221224336 3221214544 1131402043 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 20853 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 85.01 Current children cumulated vsize (Kb) 838032 [startup+100.01 s] Raw data (loadavg): 1.03 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18292 3 1 0 9435 50 0 0 25 0 11 0 1860682780 858144768 20895 4294967295 134512640 134569956 3221224336 3221214544 1131402289 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 20895 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 94.85 Current children cumulated vsize (Kb) 838032 [startup+110.011 s] Raw data (loadavg): 1.03 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18303 3 1 0 10419 51 0 0 25 0 11 0 1860682780 858144768 20936 4294967295 134512640 134569956 3221224336 3221214544 1131402317 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 20936 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 104.7 Current children cumulated vsize (Kb) 838032 [startup+120.012 s] Raw data (loadavg): 1.02 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18314 3 1 0 11404 51 0 0 25 0 11 0 1860682780 858144768 20968 4294967295 134512640 134569956 3221224336 3221214640 1131490658 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 20968 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 114.55 Current children cumulated vsize (Kb) 838032 [startup+130.012 s] Raw data (loadavg): 1.02 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18325 3 1 0 12390 52 0 0 25 0 11 0 1860682780 858144768 20996 4294967295 134512640 134569956 3221224336 3221214640 1131488909 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 20996 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 124.42 Current children cumulated vsize (Kb) 838032 [startup+140.013 s] Raw data (loadavg): 1.02 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18336 3 1 0 13378 52 0 0 23 0 11 0 1860682780 858144768 21022 4294967295 134512640 134569956 3221224336 3221214544 1131402819 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21022 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 134.3 Current children cumulated vsize (Kb) 838032 [startup+150.014 s] Raw data (loadavg): 1.01 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18347 3 1 0 14366 52 0 0 25 0 11 0 1860682780 858144768 21043 4294967295 134512640 134569956 3221224336 3221214456 1131367484 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21043 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 144.18 Current children cumulated vsize (Kb) 838032 [startup+160.015 s] Raw data (loadavg): 1.01 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18359 3 1 0 15352 53 0 0 25 0 11 0 1860682780 858144768 21064 4294967295 134512640 134569956 3221224336 3221214544 1131401900 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21064 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 154.05 Current children cumulated vsize (Kb) 838032 [startup+170.016 s] Raw data (loadavg): 1.01 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18370 3 1 0 16340 53 0 0 25 0 11 0 1860682780 858144768 21081 4294967295 134512640 134569956 3221224336 3221214544 1131402317 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21081 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 163.93 Current children cumulated vsize (Kb) 838032 [startup+180.017 s] Raw data (loadavg): 1.01 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18381 3 1 0 17327 54 0 0 24 0 11 0 1860682780 858144768 21098 4294967295 134512640 134569956 3221224336 3221214544 1131402794 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21098 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 173.81 Current children cumulated vsize (Kb) 838032 [startup+190.017 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18392 3 1 0 18313 54 0 0 24 0 11 0 1860682780 858144768 21117 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21117 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 183.67 Current children cumulated vsize (Kb) 838032 [startup+200.018 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18403 3 1 0 19300 54 0 0 17 0 11 0 1860682780 858144768 21137 4294967295 134512640 134569956 3221224336 3221214640 1131487979 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21137 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 193.54 Current children cumulated vsize (Kb) 838032 [startup+210.019 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18414 3 1 0 20286 55 0 0 25 0 11 0 1860682780 858144768 21162 4294967295 134512640 134569956 3221224336 3221214544 1131401907 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21162 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 203.41 Current children cumulated vsize (Kb) 838032 [startup+220.02 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18425 3 1 0 21272 55 0 0 25 0 11 0 1860682780 858144768 21184 4294967295 134512640 134569956 3221224336 3221214544 1131402944 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21184 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 213.27 Current children cumulated vsize (Kb) 838032 [startup+230.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18436 3 1 0 22259 56 0 0 25 0 11 0 1860682780 858144768 21206 4294967295 134512640 134569956 3221224336 3221214544 1131402317 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21206 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 223.15 Current children cumulated vsize (Kb) 838032 [startup+240.021 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18447 3 1 0 23246 56 0 0 25 0 11 0 1860682780 858144768 21231 4294967295 134512640 134569956 3221224336 3221214456 1131367021 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21231 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 233.02 Current children cumulated vsize (Kb) 838032 [startup+250.022 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18458 3 1 0 24234 57 0 0 25 0 11 0 1860682780 858144768 21250 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21250 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 242.91 Current children cumulated vsize (Kb) 838032 [startup+260.023 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18469 3 1 0 25222 57 0 0 25 0 11 0 1860682780 858144768 21268 4294967295 134512640 134569956 3221224336 3221214544 1131402013 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21268 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 252.79 Current children cumulated vsize (Kb) 838032 [startup+270.025 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18480 3 1 0 26210 57 0 0 25 0 11 0 1860682780 858144768 21285 4294967295 134512640 134569956 3221224336 3221214544 1131402056 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21285 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 262.67 Current children cumulated vsize (Kb) 838032 [startup+280.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18491 3 1 0 27198 58 0 0 25 0 11 0 1860682780 858144768 21298 4294967295 134512640 134569956 3221224336 3221214544 1131403160 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21298 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 272.56 Current children cumulated vsize (Kb) 838032 [startup+290.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18502 3 1 0 28186 59 0 0 25 0 11 0 1860682780 858144768 21311 4294967295 134512640 134569956 3221224336 3221214544 1131402819 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21311 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 282.45 Current children cumulated vsize (Kb) 838032 [startup+300.026 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18513 3 1 0 29174 60 0 0 25 0 11 0 1860682780 858144768 21320 4294967295 134512640 134569956 3221224336 3221214800 1131382489 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21320 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 292.34 Current children cumulated vsize (Kb) 838032 [startup+310.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18524 3 1 0 30163 60 0 0 25 0 11 0 1860682780 858144768 21333 4294967295 134512640 134569956 3221224336 3221214544 1131402531 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21333 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 302.23 Current children cumulated vsize (Kb) 838032 [startup+320.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18535 3 1 0 31151 60 0 0 25 0 11 0 1860682780 858144768 21346 4294967295 134512640 134569956 3221224336 3221214544 1131401914 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21346 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 312.11 Current children cumulated vsize (Kb) 838032 [startup+330.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18546 3 1 0 32140 61 0 0 21 0 11 0 1860682780 858144768 21354 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21354 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 322.01 Current children cumulated vsize (Kb) 838032 [startup+340.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18557 3 1 0 33129 61 0 0 25 0 11 0 1860682780 858144768 21367 4294967295 134512640 134569956 3221224336 3221214544 1131402199 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21367 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 331.9 Current children cumulated vsize (Kb) 838032 [startup+350.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18568 3 1 0 34117 62 0 0 25 0 11 0 1860682780 858144768 21376 4294967295 134512640 134569956 3221224336 3221214640 1131489928 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21376 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 341.79 Current children cumulated vsize (Kb) 838032 [startup+360.031 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18579 3 1 0 35107 63 0 0 25 0 11 0 1860682780 858144768 21388 4294967295 134512640 134569956 3221224336 3221214640 1131489076 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21388 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 351.7 Current children cumulated vsize (Kb) 838032 [startup+370.032 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18590 3 1 0 36095 63 0 0 25 0 11 0 1860682780 858144768 21397 4294967295 134512640 134569956 3221224336 3221214640 1131487979 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21397 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 361.58 Current children cumulated vsize (Kb) 838032 [startup+380.033 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18601 3 1 0 37084 64 0 0 23 0 11 0 1860682780 858144768 21405 4294967295 134512640 134569956 3221224336 3221214456 1131367021 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21405 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 371.48 Current children cumulated vsize (Kb) 838032 [startup+390.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18613 3 1 0 38072 64 0 0 25 0 11 0 1860682780 858144768 21418 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21418 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 381.36 Current children cumulated vsize (Kb) 838032 [startup+400.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18624 3 1 0 39061 65 0 0 25 0 11 0 1860682780 858144768 21427 4294967295 134512640 134569956 3221224336 3221214544 1131402035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21427 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 391.26 Current children cumulated vsize (Kb) 838032 [startup+410.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18635 3 1 0 40049 65 0 0 25 0 11 0 1860682780 858144768 21435 4294967295 134512640 134569956 3221224336 3221214544 1131401889 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21435 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 401.14 Current children cumulated vsize (Kb) 838032 [startup+420.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18646 3 1 0 41038 66 0 0 25 0 11 0 1860682780 858144768 21448 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21448 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 411.04 Current children cumulated vsize (Kb) 838032 [startup+430.037 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18657 3 1 0 42027 66 0 0 25 0 11 0 1860682780 858144768 21456 4294967295 134512640 134569956 3221224336 3221214640 1131489049 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21456 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 420.93 Current children cumulated vsize (Kb) 838032 [startup+440.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18668 3 1 0 43015 67 0 0 17 0 11 0 1860682780 858144768 21465 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21465 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 430.82 Current children cumulated vsize (Kb) 838032 [startup+450.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18679 3 1 0 44004 67 0 0 25 0 11 0 1860682780 858144768 21473 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21473 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 440.71 Current children cumulated vsize (Kb) 838032 [startup+460.04 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18690 3 1 0 44993 67 0 0 18 0 11 0 1860682780 858144768 21482 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21482 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 450.6 Current children cumulated vsize (Kb) 838032 [startup+470.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18701 3 1 0 45982 68 0 0 25 0 11 0 1860682780 858144768 21490 4294967295 134512640 134569956 3221224336 3221214640 1131487979 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21490 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 460.5 Current children cumulated vsize (Kb) 838032 [startup+480.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18712 3 1 0 46971 68 0 0 18 0 11 0 1860682780 858144768 21499 4294967295 134512640 134569956 3221224336 3221214640 1131488973 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21499 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 470.39 Current children cumulated vsize (Kb) 838032 [startup+490.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18723 3 1 0 47961 69 0 0 25 0 11 0 1860682780 858144768 21507 4294967295 134512640 134569956 3221224336 3221214544 1131402844 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21507 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 480.3 Current children cumulated vsize (Kb) 838032 [startup+500.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18734 3 1 0 48949 69 0 0 25 0 11 0 1860682780 858144768 21516 4294967295 134512640 134569956 3221224336 3221214640 1131488019 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21516 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 490.18 Current children cumulated vsize (Kb) 838032 [startup+510.044 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18745 3 1 0 49938 70 0 0 19 0 11 0 1860682780 858144768 21529 4294967295 134512640 134569956 3221224336 3221214640 1131490667 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21529 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 500.08 Current children cumulated vsize (Kb) 838032 [startup+520.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18756 3 1 0 50928 70 0 0 25 0 11 0 1860682780 858144768 21533 4294967295 134512640 134569956 3221224336 3221214800 1131382489 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21533 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 509.98 Current children cumulated vsize (Kb) 838032 [startup+530.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18767 3 1 0 51916 71 0 0 21 0 11 0 1860682780 858144768 21542 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21542 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 519.87 Current children cumulated vsize (Kb) 838032 [startup+540.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18778 3 1 0 52905 71 0 0 21 0 11 0 1860682780 858144768 21551 4294967295 134512640 134569956 3221224336 3221214456 1131367056 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21551 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 529.76 Current children cumulated vsize (Kb) 838032 [startup+550.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18789 3 1 0 53894 72 0 0 25 0 11 0 1860682780 858144768 21559 4294967295 134512640 134569956 3221224336 3221214544 1131402547 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21559 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 539.66 Current children cumulated vsize (Kb) 838032 [startup+560.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18800 3 1 0 54882 72 0 0 21 0 11 0 1860682780 858144768 21568 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21568 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 549.54 Current children cumulated vsize (Kb) 838032 [startup+570.049 s] Raw data (loadavg): 1.08 1.02 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18811 3 1 0 55869 73 0 0 25 0 11 0 1860682780 858144768 21578 4294967295 134512640 134569956 3221224336 3221214544 1131402443 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21578 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 559.42 Current children cumulated vsize (Kb) 838032 [startup+580.05 s] Raw data (loadavg): 1.07 1.02 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18822 3 1 0 56857 73 0 0 21 0 11 0 1860682780 858144768 21588 4294967295 134512640 134569956 3221224336 3221214640 1131487979 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21588 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 569.3 Current children cumulated vsize (Kb) 838032 [startup+590.051 s] Raw data (loadavg): 1.06 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18833 3 1 0 57844 74 0 0 25 0 11 0 1860682780 858144768 21603 4294967295 134512640 134569956 3221224336 3221214544 1131401914 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21603 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 579.18 Current children cumulated vsize (Kb) 838032 [startup+600.052 s] Raw data (loadavg): 1.05 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18844 3 1 0 58831 74 0 0 22 0 11 0 1860682780 858144768 21620 4294967295 134512640 134569956 3221224336 3221214640 1131489881 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21620 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 589.05 Current children cumulated vsize (Kb) 838032 [startup+610.053 s] Raw data (loadavg): 1.04 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18855 3 1 0 59818 74 0 0 25 0 11 0 1860682780 858144768 21626 4294967295 134512640 134569956 3221224336 3221214712 1131380295 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21626 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 598.92 Current children cumulated vsize (Kb) 838032 [startup+620.055 s] Raw data (loadavg): 1.03 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18866 3 1 0 60804 75 0 0 25 0 11 0 1860682780 858144768 21647 4294967295 134512640 134569956 3221224336 3221214544 1131402097 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21647 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 608.79 Current children cumulated vsize (Kb) 838032 [startup+630.055 s] Raw data (loadavg): 1.03 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18877 3 1 0 61792 75 0 0 22 0 11 0 1860682780 858144768 21668 4294967295 134512640 134569956 3221224336 3221214544 1131402378 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21668 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 618.67 Current children cumulated vsize (Kb) 838032 [startup+640.056 s] Raw data (loadavg): 1.02 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18888 3 1 0 62778 76 0 0 23 0 11 0 1860682780 858144768 21683 4294967295 134512640 134569956 3221224336 3221214544 1131402340 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21683 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 628.54 Current children cumulated vsize (Kb) 838032 [startup+650.057 s] Raw data (loadavg): 1.02 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18899 3 1 0 63765 77 0 0 25 0 11 0 1860682780 858144768 21690 4294967295 134512640 134569956 3221224336 3221214544 1131402414 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21690 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 638.42 Current children cumulated vsize (Kb) 838032 [startup+660.058 s] Raw data (loadavg): 1.02 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18910 3 1 0 64750 77 0 0 23 0 11 0 1860682780 858144768 21706 4294967295 134512640 134569956 3221224336 3221214544 1131402934 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21706 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 648.27 Current children cumulated vsize (Kb) 838032 [startup+670.059 s] Raw data (loadavg): 1.01 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18921 3 1 0 65737 77 0 0 25 0 11 0 1860682780 858144768 21729 4294967295 134512640 134569956 3221224336 3221214640 1131489114 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21729 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 658.14 Current children cumulated vsize (Kb) 838032 [startup+680.06 s] Raw data (loadavg): 1.01 1.01 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18932 3 1 0 66724 78 0 0 23 0 11 0 1860682780 858144768 21743 4294967295 134512640 134569956 3221224336 3221214640 1131488123 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21743 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 668.02 Current children cumulated vsize (Kb) 838032 [startup+690.06 s] Raw data (loadavg): 1.01 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18943 3 1 0 67712 78 0 0 25 0 11 0 1860682780 858144768 21760 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21760 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 677.9 Current children cumulated vsize (Kb) 838032 [startup+700.061 s] Raw data (loadavg): 1.01 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18954 3 1 0 68699 79 0 0 25 0 11 0 1860682780 858144768 21774 4294967295 134512640 134569956 3221224336 3221214456 1131367484 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21774 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 687.78 Current children cumulated vsize (Kb) 838032 [startup+710.062 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18965 3 1 0 69686 79 0 0 23 0 11 0 1860682780 858144768 21785 4294967295 134512640 134569956 3221224336 3221214544 1131402906 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21785 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 697.65 Current children cumulated vsize (Kb) 838032 [startup+720.063 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18976 3 1 0 70673 80 0 0 25 0 11 0 1860682780 858144768 21798 4294967295 134512640 134569956 3221224336 3221214544 1131402944 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21798 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 707.53 Current children cumulated vsize (Kb) 838032 [startup+730.064 s] Raw data (loadavg): 1.15 1.03 0.96 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18987 3 1 0 71660 81 0 0 23 0 11 0 1860682780 858144768 21811 4294967295 134512640 134569956 3221224336 3221214640 1131488156 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21811 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 717.41 Current children cumulated vsize (Kb) 838032 [startup+740.063 s] Raw data (loadavg): 1.21 1.05 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 18998 3 1 0 72648 81 0 0 25 0 11 0 1860682780 858144768 21815 4294967295 134512640 134569956 3221224336 3221214544 1131401885 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21815 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 727.29 Current children cumulated vsize (Kb) 838032 [startup+750.064 s] Raw data (loadavg): 1.17 1.05 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) S 11518 11519 28974 0 -1 0 19009 3 1 0 73636 82 0 0 25 0 11 0 1860682780 858144768 21824 4294967295 134512640 134569956 3221224336 3221213248 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21824 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 737.18 Current children cumulated vsize (Kb) 838032 [startup+760.065 s] Raw data (loadavg): 1.15 1.04 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19020 3 1 0 74624 82 0 0 23 0 11 0 1860682780 858144768 21829 4294967295 134512640 134569956 3221224336 3221214544 1131402941 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21829 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 747.06 Current children cumulated vsize (Kb) 838032 [startup+770.066 s] Raw data (loadavg): 1.12 1.04 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19032 3 1 0 75611 83 0 0 24 0 11 0 1860682780 858144768 21838 4294967295 134512640 134569956 3221224336 3221214640 1131487979 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21838 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 756.94 Current children cumulated vsize (Kb) 838032 [startup+780.067 s] Raw data (loadavg): 1.10 1.04 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19042 3 1 0 76600 84 0 0 25 0 11 0 1860682780 858144768 21842 4294967295 134512640 134569956 3221224336 3221214544 1131402436 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21842 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 766.84 Current children cumulated vsize (Kb) 838032 [startup+790.067 s] Raw data (loadavg): 1.09 1.04 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19054 3 1 0 77588 84 0 0 24 0 11 0 1860682780 858144768 21851 4294967295 134512640 134569956 3221224336 3221214456 1131367029 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21851 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 776.72 Current children cumulated vsize (Kb) 838032 [startup+800.067 s] Raw data (loadavg): 1.07 1.04 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19065 3 1 0 78576 84 0 0 24 0 11 0 1860682780 858144768 21860 4294967295 134512640 134569956 3221224336 3221214544 1131401968 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21860 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 786.6 Current children cumulated vsize (Kb) 838032 [startup+810.068 s] Raw data (loadavg): 1.06 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19076 3 1 0 79564 85 0 0 24 0 11 0 1860682780 858144768 21864 4294967295 134512640 134569956 3221224336 3221214544 1131402317 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21864 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 796.49 Current children cumulated vsize (Kb) 838032 [startup+820.069 s] Raw data (loadavg): 1.05 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19087 3 1 0 80552 85 0 0 25 0 11 0 1860682780 858144768 21872 4294967295 134512640 134569956 3221224336 3221214640 1131490574 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21872 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 806.37 Current children cumulated vsize (Kb) 838032 [startup+830.07 s] Raw data (loadavg): 1.04 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19098 3 1 0 81540 86 0 0 25 0 11 0 1860682780 858144768 21877 4294967295 134512640 134569956 3221224336 3221214544 1131402305 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21877 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 816.26 Current children cumulated vsize (Kb) 838032 [startup+840.07 s] Raw data (loadavg): 1.04 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19109 3 1 0 82528 87 0 0 25 0 11 0 1860682780 858144768 21885 4294967295 134512640 134569956 3221224336 3221214640 1131490658 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21885 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 826.15 Current children cumulated vsize (Kb) 838032 [startup+850.071 s] Raw data (loadavg): 1.03 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19120 3 1 0 83516 88 0 0 25 0 11 0 1860682780 858144768 21889 4294967295 134512640 134569956 3221224336 3221214456 1131367021 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21889 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 836.04 Current children cumulated vsize (Kb) 838032 [startup+860.071 s] Raw data (loadavg): 1.02 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19131 3 1 0 84503 89 0 0 25 0 11 0 1860682780 858144768 21898 4294967295 134512640 134569956 3221224336 3221214544 1131402794 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21898 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 845.92 Current children cumulated vsize (Kb) 838032 [startup+870.073 s] Raw data (loadavg): 1.02 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19142 3 1 0 85492 89 0 0 17 0 11 0 1860682780 858144768 21902 4294967295 134512640 134569956 3221224336 3221214544 1131403160 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21902 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 855.81 Current children cumulated vsize (Kb) 838032 [startup+880.074 s] Raw data (loadavg): 1.02 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19153 3 1 0 86479 90 0 0 25 0 11 0 1860682780 858144768 21907 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21907 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 865.69 Current children cumulated vsize (Kb) 838032 [startup+890.075 s] Raw data (loadavg): 1.01 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19164 3 1 0 87467 90 0 0 25 0 11 0 1860682780 858144768 21915 4294967295 134512640 134569956 3221224336 3221214544 1131402235 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21915 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 875.57 Current children cumulated vsize (Kb) 838032 [startup+900.076 s] Raw data (loadavg): 1.01 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19175 3 1 0 88455 90 0 0 17 0 11 0 1860682780 858144768 21919 4294967295 134512640 134569956 3221224336 3221214460 1131596608 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21919 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 885.45 Current children cumulated vsize (Kb) 838032 [startup+910.077 s] Raw data (loadavg): 1.08 1.04 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19186 3 1 0 89443 91 0 0 25 0 11 0 1860682780 858144768 21928 4294967295 134512640 134569956 3221224336 3221214640 1131489090 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21928 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 895.34 Current children cumulated vsize (Kb) 838032 [startup+920.077 s] Raw data (loadavg): 1.07 1.04 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19197 3 1 0 90431 91 0 0 25 0 11 0 1860682780 858144768 21932 4294967295 134512640 134569956 3221224336 3221214636 1131403181 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21932 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 905.22 Current children cumulated vsize (Kb) 838032 [startup+930.078 s] Raw data (loadavg): 1.06 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19208 3 1 0 91419 92 0 0 25 0 11 0 1860682780 858144768 21944 4294967295 134512640 134569956 3221224336 3221214640 1131488055 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21944 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 915.11 Current children cumulated vsize (Kb) 838032 [startup+940.079 s] Raw data (loadavg): 1.05 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19219 3 1 0 92407 92 0 0 25 0 11 0 1860682780 858144768 21952 4294967295 134512640 134569956 3221224336 3221214544 1131402854 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21952 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 924.99 Current children cumulated vsize (Kb) 838032 [startup+950.08 s] Raw data (loadavg): 1.04 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19230 3 1 0 93396 92 0 0 25 0 11 0 1860682780 858144768 21956 4294967295 134512640 134569956 3221224336 3221214544 1131402273 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21956 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 934.88 Current children cumulated vsize (Kb) 838032 [startup+960.08 s] Raw data (loadavg): 1.03 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19241 3 1 0 94384 92 0 0 18 0 11 0 1860682780 858144768 21961 4294967295 134512640 134569956 3221224336 3221214544 1131402794 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21961 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 944.76 Current children cumulated vsize (Kb) 838032 [startup+970.081 s] Raw data (loadavg): 1.03 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19252 3 1 0 95372 93 0 0 25 0 11 0 1860682780 858144768 21969 4294967295 134512640 134569956 3221224336 3221214544 1131402588 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 21969 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 954.65 Current children cumulated vsize (Kb) 838032 [startup+980.081 s] Raw data (loadavg): 1.02 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19263 3 1 0 96359 93 0 0 25 0 11 0 1860682780 858144768 21973 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21973 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 964.52 Current children cumulated vsize (Kb) 838032 [startup+990.082 s] Raw data (loadavg): 1.02 1.03 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19274 3 1 0 97348 94 0 0 25 0 11 0 1860682780 858144768 21978 4294967295 134512640 134569956 3221224336 3221214544 1131401926 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21978 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 974.42 Current children cumulated vsize (Kb) 838032 [startup+1000.08 s] Raw data (loadavg): 1.02 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19285 3 1 0 98335 94 0 0 25 0 11 0 1860682780 858144768 21986 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21986 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 984.29 Current children cumulated vsize (Kb) 838032 [startup+1010.08 s] Raw data (loadavg): 1.01 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19296 3 1 0 99324 94 0 0 25 0 11 0 1860682780 858144768 21990 4294967295 134512640 134569956 3221224336 3221214640 1131488055 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21990 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 994.18 Current children cumulated vsize (Kb) 838032 [startup+1020.08 s] Raw data (loadavg): 1.01 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19307 3 1 0 100312 94 0 0 25 0 11 0 1860682780 858144768 21999 4294967295 134512640 134569956 3221224336 3221214640 1131489156 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 21999 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1004.06 Current children cumulated vsize (Kb) 838032 [startup+1030.09 s] Raw data (loadavg): 1.01 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19318 3 1 0 101300 95 0 0 25 0 11 0 1860682780 858144768 22003 4294967295 134512640 134569956 3221224336 3221214000 1076478088 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22003 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1013.95 Current children cumulated vsize (Kb) 838032 [startup+1040.09 s] Raw data (loadavg): 1.01 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19329 3 1 0 102287 96 0 0 25 0 11 0 1860682780 858144768 22012 4294967295 134512640 134569956 3221224336 3221214544 1131402305 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 22012 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1023.83 Current children cumulated vsize (Kb) 838032 [startup+1050.09 s] Raw data (loadavg): 1.00 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19340 3 1 0 103275 96 0 0 25 0 11 0 1860682780 858144768 22016 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22016 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1033.71 Current children cumulated vsize (Kb) 838032 [startup+1060.09 s] Raw data (loadavg): 1.00 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19351 3 1 0 104262 97 0 0 25 0 11 0 1860682780 858144768 22020 4294967295 134512640 134569956 3221224336 3221214544 1131401893 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22020 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1043.59 Current children cumulated vsize (Kb) 838032 [startup+1070.09 s] Raw data (loadavg): 1.00 1.02 0.97 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19362 3 1 0 105250 97 0 0 21 0 11 0 1860682780 858144768 22029 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 22029 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1053.47 Current children cumulated vsize (Kb) 838032 [startup+1080.09 s] Raw data (loadavg): 1.08 1.03 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19373 3 1 0 106238 97 0 0 25 0 11 0 1860682780 858144768 22033 4294967295 134512640 134569956 3221224336 3221214544 1131402844 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22033 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1063.35 Current children cumulated vsize (Kb) 838032 [startup+1090.09 s] Raw data (loadavg): 1.06 1.03 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19384 3 1 0 107226 98 0 0 21 0 11 0 1860682780 858144768 22037 4294967295 134512640 134569956 3221224336 3221214544 1131402414 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 22037 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1073.24 Current children cumulated vsize (Kb) 838032 [startup+1100.09 s] Raw data (loadavg): 1.05 1.03 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19395 3 1 0 108215 98 0 0 25 0 11 0 1860682780 858144768 22046 4294967295 134512640 134569956 3221224336 3221214640 1131490675 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22046 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1083.13 Current children cumulated vsize (Kb) 838032 [startup+1110.09 s] Raw data (loadavg): 1.04 1.03 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19406 3 1 0 109202 99 0 0 20 0 11 0 1860682780 858144768 22050 4294967295 134512640 134569956 3221224336 3221214640 1131489076 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 22050 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1093.01 Current children cumulated vsize (Kb) 838032 [startup+1120.09 s] Raw data (loadavg): 1.04 1.03 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19417 3 1 0 110191 99 0 0 25 0 11 0 1860682780 858144768 22054 4294967295 134512640 134569956 3221224336 3221214640 1131489140 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22054 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1102.9 Current children cumulated vsize (Kb) 838032 [startup+1130.09 s] Raw data (loadavg): 1.03 1.03 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19428 3 1 0 111179 100 0 0 25 0 11 0 1860682780 858144768 22063 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 22063 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1112.79 Current children cumulated vsize (Kb) 838032 [startup+1140.09 s] Raw data (loadavg): 1.03 1.03 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19439 3 1 0 112168 100 0 0 25 0 11 0 1860682780 858144768 22067 4294967295 134512640 134569956 3221224336 3221214544 1131402819 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22067 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1122.68 Current children cumulated vsize (Kb) 838032 [startup+1150.1 s] Raw data (loadavg): 1.02 1.02 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19450 3 1 0 113156 101 0 0 25 0 11 0 1860682780 858144768 22072 4294967295 134512640 134569956 3221224336 3221214544 1131402035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22072 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1132.57 Current children cumulated vsize (Kb) 838032 [startup+1160.1 s] Raw data (loadavg): 1.02 1.02 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19461 3 1 0 114144 102 0 0 25 0 11 0 1860682780 858144768 22076 4294967295 134512640 134569956 3221224336 3221214640 1131489090 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22076 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1142.46 Current children cumulated vsize (Kb) 838032 [startup+1170.1 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19472 3 1 0 115132 102 0 0 22 0 11 0 1860682780 858144768 22084 4294967295 134512640 134569956 3221224336 3221214544 1131402950 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 22084 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1152.34 Current children cumulated vsize (Kb) 838032 [startup+1180.1 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19483 3 1 0 116120 103 0 0 23 0 11 0 1860682780 858144768 22089 4294967295 134512640 134569956 3221224336 3221214544 1131402571 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 22089 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1162.23 Current children cumulated vsize (Kb) 838032 [startup+1190.1 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19494 3 1 0 117109 103 0 0 25 0 11 0 1860682780 858144768 22093 4294967295 134512640 134569956 3221224336 3221214544 1131402355 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22093 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1172.12 Current children cumulated vsize (Kb) 838032 [startup+1200.1 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19505 3 1 0 118097 103 0 0 25 0 11 0 1860682780 858144768 22097 4294967295 134512640 134569956 3221224336 3221214640 1131488044 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/11519/statm): 209508 22097 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (Kb) 838032 [startup+1210.1 s] Raw data (loadavg): 1.01 1.02 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19516 3 1 0 119084 104 0 0 25 0 11 0 1860682780 858144768 22106 4294967295 134512640 134569956 3221224336 3221214640 1131489090 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22106 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1191.88 Current children cumulated vsize (Kb) 838032 [startup+1220.1 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19527 3 1 0 120073 104 0 0 25 0 11 0 1860682780 858144768 22110 4294967295 134512640 134569956 3221224336 3221214544 1131402944 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22110 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1201.77 Current children cumulated vsize (Kb) 838032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.1 s] Raw data (loadavg): 1.00 1.02 0.98 2/66 11533 Raw data (/proc/11519/stat): 11519 (java) R 11518 11519 28974 0 -1 0 19527 3 1 0 120073 104 0 0 25 0 11 0 1860682780 858144768 22110 4294967295 134512640 134569956 3221224336 3221214544 1131402944 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/11519/statm): 209508 22110 13129 16 0 209492 0 [pid=11519] vsize: 838032 Current children cumulated CPU time (s) 1201.77 Current children cumulated vsize (Kb) 838032 Sending SIGTERM to -11519 Sleeping 2 seconds New thread pid=11535 New thread pid=11536 One traced child (pid=11536) exited with status: 0 One traced child (pid=11528) exited with status: 0 One traced child (pid=11523) exited with status: 0 One traced child (pid=11520) exited with status: 143 One traced child (pid=11535) exited with status: 143 One traced child (pid=11522) exited with status: 143 One traced child (pid=11527) exited with status: 143 One traced child (pid=11525) exited with status: 143 One traced child (pid=11524) exited with status: 143 One traced child (pid=11533) exited with status: 143 One traced child (pid=11521) exited with status: 143 One traced child (pid=11526) exited with status: 143 One traced child (pid=11519) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1220.36 CPU time (s): 1223.5 CPU user time (s): 1221.49 CPU system time (s): 2.00969 CPU usage (%): 100.257 Max. virtual memory (cumulated for all children) (Kb): 838032
Verifier: OK 5892802