Name | mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-net12.opb |
MD5SUM | 8fd050825d75dbe16d9da083f4b2fd63 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8257573732279 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 1073761158741413 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 71583145981965762560 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 303620978593259257856 |
Number of bits of the biggest sum of numbers | 69 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1269.78 |
Number of variables | 780 |
Total number of constraints | 707 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 338 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 101 |
LAUNCH ON wulflinc15 THE 2005-09-20 11:17:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6624 boxname=wulflinc15 idbench=764 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 8fd050825d75dbe16d9da083f4b2fd63 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-net12.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-net12.opb IDLAUNCH: 6624 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 834260 kB Buffers: 26152 kB Cached: 144396 kB SwapCached: 744 kB Active: 55204 kB Inactive: 118048 kB HighTotal: 131008 kB HighFree: 4984 kB LowTotal: 903652 kB LowFree: 829276 kB SwapTotal: 2097136 kB SwapFree: 2095884 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5724 kB Slab: 21468 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 11:38:53 (client local time) WITH STATUS 143 IN 1269.78 SECONDS stats: 6624 0 1269.78 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/wulflinc15/normalized-mps-v2-20-10-net12.opb c reading problem ... done. Time 3.977 ms. c #vars 780 c #constraints 441 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 536871022450926 Current CPU time: 25.04 ms c CURRENT OPTIMUM= 17186952932648 Current CPU time: 68.68 ms c CURRENT OPTIMUM= 16253000615243 Current CPU time: 187.70 ms c CURRENT OPTIMUM= 8388626391061 Current CPU time: 364.35 ms c CURRENT OPTIMUM= 8257573732279 Current CPU time: 479.14 ms c starts : 22 c conflicts : 3932 c decisions : 16312 c propagations : 64974 c inspects : 2464377 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 3931 c root simplifications : 38 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 13562 c speed (decisions/second) : 20.9216183215506 c non guided choices 3566 c random choices 0 s SATISFIABLE v x1_bit_10 x1_bit_9 x1_bit_8 x1_bit_7 x1_bit_6 x1_bit_5 x1_bit_4 x1_bit_3 x1_bit_2 x1_bit_1 x1_bit0 x1_bit1 x1_bit2 x1_bit3 x1_bit4 -x1_bit5 -x1_bit6 x1_bit7 -x1_bit8 -x1_bit9 x1_bit10 x1_bit11 x1_bit12 -x1_bit13 -x1_bit14 -x1_bit15 -x1_bit16 -x1_bit17 -x1_bit18 -x1_bit19 -x2_bit_10 -x2_bit_9 -x2_bit_8 -x2_bit_7 -x2_bit_6 -x2_bit_5 -x2_bit_4 -x2_bit_3 -x2_bit_2 -x2_bit_1 -x2_bit0 -x2_bit1 -x2_bit2 -x2_bit3 -x2_bit4 x2_bit5 -x2_bit6 x2_bit7 x2_bit8 -x2_bit9 -x2_bit10 -x2_bit11 -x2_bit12 -x2_bit13 -x2_bit14 -x2_bit15 -x2_bit16 -x2_bit17 -x2_bit18 -x2_bit19 -x3_bit_10 -x3_bit_9 -x3_bit_8 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 -x3_bit0 -x3_bit1 -x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x3_bit13 -x3_bit14 -x3_bit15 -x3_bit16 -x3_bit17 -x3_bit18 -x3_bit19 x4_bit_10 x4_bit_9 x4_bit_8 x4_bit_7 x4_bit_6 x4_bit_5 x4_bit_4 x4_bit_3 x4_bit_2 x4_bit_1 x4_bit0 x4_bit1 x4_bit2 x4_bit3 x4_bit4 x4_bit5 x4_bit6 x4_bit7 x4_bit8 -x4_bit9 -x4_bit10 -x4_bit11 -x4_bit12 -x4_bit13 -x4_bit14 -x4_bit15 -x4_bit16 -x4_bit17 -x4_bit18 -x4_bit19 x5_bit_10 x5_bit_9 x5_bit_8 x5_bit_7 x5_bit_6 x5_bit_5 x5_bit_4 x5_bit_3 x5_bit_2 x5_bit_1 x5_bit0 x5_bit1 x5_bit2 x5_bit3 x5_bit4 x5_bit5 x5_bit6 x5_bit7 -x5_bit8 -x5_bit9 -x5_bit10 -x5_bit11 -x5_bit12 -x5_bit13 -x5_bit14 -x5_bit15 -x5_bit16 -x5_bit17 -x5_bit18 -x5_bit19 -x6_bit_10 -x6_bit_9 -x6_bit_8 -x6_bit_7 -x6_bit_6 -x6_bit_5 -x6_bit_4 -x6_bit_3 -x6_bit_2 -x6_bit_1 -x6_bit0 -x6_bit1 -x6_bit2 -x6_bit3 -x6_bit4 -x6_bit5 x6_bit6 x6_bit7 x6_bit8 x6_bit9 -x6_bit10 -x6_bit11 -x6_bit12 -x6_bit13 -x6_bit14 -x6_bit15 -x6_bit16 -x6_bit17 -x6_bit18 -x6_bit19 x7_bit_10 x7_bit_9 x7_bit_8 x7_bit_7 x7_bit_6 x7_bit_5 x7_bit_4 x7_bit_3 x7_bit_2 x7_bit_1 x7_bit0 x7_bit1 x7_bit2 x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit10 -x7_bit11 -x7_bit12 -x7_bit13 -x7_bit14 -x7_bit15 -x7_bit16 -x7_bit17 -x7_bit18 -x7_bit19 -x8_bit_10 -x8_bit_9 -x8_bit_8 -x8_bit_7 -x8_bit_6 x8_bit_5 x8_bit_4 x8_bit_3 x8_bit_2 x8_bit_1 x8_bit0 x8_bit1 x8_bit2 x8_bit3 x8_bit4 -x8_bit5 -x8_bit6 -x8_bit7 -x8_bit8 -x8_bit9 x8_bit10 x8_bit11 x8_bit12 -x8_bit13 -x8_bit14 -x8_bit15 -x8_bit16 -x8_bit17 -x8_bit18 -x8_bit19 -x9_bit_10 -x9_bit_9 -x9_bit_8 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 -x9_bit0 -x9_bit1 -x9_bit2 -x9_bit3 x9_bit4 -x9_bit5 -x9_bit6 x9_bit7 x9_bit8 -x9_bit9 -x9_bit10 -x9_bit11 -x9_bit12 -x9_bit13 -x9_bit14 -x9_bit15 -x9_bit16 -x9_bit17 -x9_bit18 -x9_bit19 -lung_bit_10 -lung_bit_9 -lung_bit_8 -lung_bit_7 -lung_bit_6 -lung_bit_5 -lung_bit_4 -lung_bit_3 -lung_bit_2 -lung_bit_1 -lung_bit0 -lung_bit1 -lung_bit2 -lung_bit3 -lung_bit4 -lung_bit5 -lung_bit6 lung_bit7 lung_bit8 lung_bit9 lung_bit10 lung_bit11 lung_bit12 -lung_bit13 -lung_bit14 -lung_bit15 -lung_bit16 -lung_bit17 -lung_bit18 -lung_bit19 -y1_bit_10 -y1_bit_9 -y1_bit_8 -y1_bit_7 -y1_bit_6 -y1_bit_5 -y1_bit_4 -y1_bit_3 -y1_bit_2 -y1_bit_1 -y1_bit0 -y1_bit1 -y1_bit2 -y1_bit3 -y1_bit4 -y1_bit5 -y1_bit6 -y1_bit7 -y1_bit8 -y1_bit9 -y2_bit_10 -y2_bit_9 -y2_bit_8 -y2_bit_7 -y2_bit_6 -y2_bit_5 -y2_bit_4 -y2_bit_3 -y2_bit_2 -y2_bit_1 -y2_bit0 -y2_bit1 -y2_bit2 -y2_bit3 -y2_bit4 -y2_bit5 -y2_bit6 -y2_bit7 -y2_bit8 -y2_bit9 -y3_bit_10 -y3_bit_9 -y3_bit_8 -y3_bit_7 -y3_bit_6 -y3_bit_5 -y3_bit_4 -y3_bit_3 -y3_bit_2 -y3_bit_1 -y3_bit0 -y3_bit1 -y3_bit2 -y3_bit3 -y3_bit4 -y3_bit5 -y3_bit6 -y3_bit7 -y3_bit8 -y4_bit_10 -y4_bit_9 -y4_bit_8 -y4_bit_7 -y4_bit_6 -y4_bit_5 -y4_bit_4 -y4_bit_3 -y4_bit_2 -y4_bit_1 -y4_bit0 -y4_bit1 -y4_bit2 -y4_bit3 y4_bit4 -y4_bit5 -y4_bit6 -y4_bit7 -y4_bit8 y4_bit9 -y5_bit_10 -y5_bit_9 -y5_bit_8 -y5_bit_7 -y5_bit_6 -y5_bit_5 -y5_bit_4 -y5_bit_3 -y5_bit_2 -y5_bit_1 -y5_bit0 -y5_bit1 -y5_bit2 -y5_bit3 -y5_bit4 y5_bit5 -y5_bit6 -y5_bit7 y5_bit8 y5_bit9 -y6_bit_10 -y6_bit_9 -y6_bit_8 -y6_bit_7 -y6_bit_6 -y6_bit_5 -y6_bit_4 -y6_bit_3 -y6_bit_2 -y6_bit_1 -y6_bit0 -y6_bit1 -y6_bit2 -y6_bit3 -y6_bit4 y6_bit5 y6_bit6 y6_bit7 -y6_bit8 -y6_bit9 -y7_bit_10 -y7_bit_9 -y7_bit_8 -y7_bit_7 -y7_bit_6 -y7_bit_5 -y7_bit_4 -y7_bit_3 -y7_bit_2 -y7_bit_1 -y7_bit0 -y7_bit1 -y7_bit2 y7_bit3 -y7_bit4 y7_bit5 -y7_bit6 y7_bit7 -y7_bit8 y7_bit9 y8_bit_10 y8_bit_9 y8_bit_8 y8_bit_7 y8_bit_6 y8_bit_5 y8_bit_4 y8_bit_3 y8_bit_2 y8_bit_1 y8_bit0 y8_bit1 y8_bit2 y8_bit3 y8_bit4 y8_bit5 y8_bit6 y8_bit7 -y8_bit8 -y9_bit_10 -y9_bit_9 -y9_bit_8 -y9_bit_7 -y9_bit_6 -y9_bit_5 -y9_bit_4 -y9_bit_3 -y9_bit_2 -y9_bit_1 -y9_bit0 -y9_bit1 -y9_bit2 y9_bit3 y9_bit4 y9_bit5 -y9_bit6 y9_bit7 -y9_bit8 -y9_bit9 -z1_0x26_2_0x2e_0_bit0 -z1_0x26_2_0x2e_1_bit0 -z1_0x26_2_0x2e_2_bit0 -z1_0x26_2_0x2e_3_bit0 -z1_0x26_2_0x2e_4_bit0 -z1_0x26_2_0x2e_5_bit0 -z1_0x26_2_0x2e_6_bit0 z1_0x26_2_0x2e_7_bit0 -z1_0x26_3_0x2e_0_bit0 -z1_0x26_3_0x2e_1_bit0 -z1_0x26_3_0x2e_2_bit0 -z1_0x26_3_0x2e_3_bit0 -z1_0x26_3_0x2e_4_bit0 -z1_0x26_3_0x2e_5_bit0 -z1_0x26_3_0x2e_6_bit0 -z1_0x26_3_0x2e_7_bit0 -z1_0x26_3_0x2e_8_bit0 z1_0x26_3_0x2e_9_bit0 -z1_0x26_4_0x2e_0_bit0 -z1_0x26_4_0x2e_1_bit0 -z1_0x26_4_0x2e_2_bit0 -z1_0x26_4_0x2e_3_bit0 -z1_0x26_4_0x2e_4_bit0 -z1_0x26_4_0x2e_5_bit0 -z1_0x26_4_0x2e_6_bit0 -z1_0x26_4_0x2e_7_bit0 z1_0x26_4_0x2e_8_bit0 -z1_0x26_5_0x2e_0_bit0 -z1_0x26_5_0x2e_1_bit0 -z1_0x26_5_0x2e_2_bit0 -z1_0x26_5_0x2e_3_bit0 -z1_0x26_5_0x2e_4_bit0 -z1_0x26_5_0x2e_5_bit0 -z1_0x26_5_0x2e_6_bit0 -z1_0x26_5_0x2e_7_bit0 z1_0x26_5_0x2e_8_bit0 -z1_0x26_6_0x2e_0_bit0 -z1_0x26_6_0x2e_1_bit0 -z1_0x26_6_0x2e_2_bit0 -z1_0x26_6_0x2e_3_bit0 -z1_0x26_6_0x2e_4_bit0 -z1_0x26_6_0x2e_5_bit0 z1_0x26_6_0x2e_6_bit0 -z1_0x26_6_0x2e_7_bit0 -z1_0x26_7_0x2e_0_bit0 -z1_0x26_7_0x2e_1_bit0 -z1_0x26_7_0x2e_2_bit0 -z1_0x26_7_0x2e_3_bit0 -z1_0x26_7_0x2e_4_bit0 -z1_0x26_7_0x2e_5_bit0 -z1_0x26_7_0x2e_6_bit0 -z1_0x26_7_0x2e_7_bit0 z1_0x26_7_0x2e_8_bit0 -z1_0x26_8_0x2e_0_bit0 -z1_0x26_8_0x2e_1_bit0 -z1_0x26_8_0x2e_2_bit0 -z1_0x26_8_0x2e_3_bit0 -z1_0x26_8_0x2e_4_bit0 -z1_0x26_8_0x2e_5_bit0 -z1_0x26_8_0x2e_6_bit0 -z1_0x26_8_0x2e_7_bit0 -z1_0x26_8_0x2e_8_bit0 -z1_0x26_8_0x2e_9_bit0 -z1_0x26_8_0x2e_10_bit0 z1_0x26_8_0x2e_11_bit0 -z1_0x26_8_0x2e_12_bit0 -z1_0x26_9_0x2e_0_bit0 -z1_0x26_9_0x2e_1_bit0 -z1_0x26_9_0x2e_2_bit0 -z1_0x26_9_0x2e_3_bit0 -z1_0x26_9_0x2e_4_bit0 -z1_0x26_9_0x2e_5_bit0 z1_0x26_9_0x2e_6_bit0 -z2_0x26_3_0x2e_0_bit0 -z2_0x26_3_0x2e_1_bit0 -z2_0x26_3_0x2e_2_bit0 -z2_0x26_3_0x2e_3_bit0 -z2_0x26_3_0x2e_4_bit0 -z2_0x26_3_0x2e_5_bit0 -z2_0x26_3_0x2e_6_bit0 z2_0x26_3_0x2e_7_bit0 -z2_0x26_4_0x2e_0_bit0 -z2_0x26_4_0x2e_1_bit0 -z2_0x26_4_0x2e_2_bit0 -z2_0x26_4_0x2e_3_bit0 -z2_0x26_4_0x2e_4_bit0 z2_0x26_4_0x2e_5_bit0 -z2_0x26_4_0x2e_6_bit0 -z2_0x26_4_0x2e_7_bit0 -z2_0x26_5_0x2e_0_bit0 -z2_0x26_5_0x2e_1_bit0 -z2_0x26_5_0x2e_2_bit0 -z2_0x26_5_0x2e_3_bit0 -z2_0x26_5_0x2e_4_bit0 -z2_0x26_5_0x2e_5_bit0 -z2_0x26_5_0x2e_6_bit0 -z2_0x26_5_0x2e_7_bit0 z2_0x26_5_0x2e_8_bit0 -z2_0x26_5_0x2e_9_bit0 -z2_0x26_6_0x2e_0_bit0 z2_0x26_6_0x2e_1_bit0 -z2_0x26_6_0x2e_2_bit0 -z2_0x26_6_0x2e_3_bit0 -z2_0x26_6_0x2e_4_bit0 -z2_0x26_6_0x2e_5_bit0 -z2_0x26_6_0x2e_6_bit0 -z2_0x26_6_0x2e_7_bit0 -z2_0x26_7_0x2e_0_bit0 -z2_0x26_7_0x2e_1_bit0 -z2_0x26_7_0x2e_2_bit0 -z2_0x26_7_0x2e_3_bit0 -z2_0x26_7_0x2e_4_bit0 -z2_0x26_7_0x2e_5_bit0 z2_0x26_7_0x2e_6_bit0 -z2_0x26_7_0x2e_7_bit0 -z2_0x26_8_0x2e_0_bit0 -z2_0x26_8_0x2e_1_bit0 -z2_0x26_8_0x2e_2_bit0 z2_0x26_8_0x2e_3_bit0 -z2_0x26_8_0x2e_4_bit0 -z2_0x26_8_0x2e_5_bit0 -z2_0x26_8_0x2e_6_bit0 -z2_0x26_8_0x2e_7_bit0 -z2_0x26_8_0x2e_8_bit0 -z2_0x26_8_0x2e_9_bit0 -z2_0x26_8_0x2e_10_bit0 -z2_0x26_9_0x2e_0_bit0 -z2_0x26_9_0x2e_1_bit0 -z2_0x26_9_0x2e_2_bit0 -z2_0x26_9_0x2e_3_bit0 z2_0x26_9_0x2e_4_bit0 -z2_0x26_9_0x2e_5_bit0 -z3_0x26_4_0x2e_0_bit0 -z3_0x26_4_0x2e_1_bit0 -z3_0x26_4_0x2e_2_bit0 z3_0x26_4_0x2e_3_bit0 -z3_0x26_4_0x2e_4_bit0 -z3_0x26_4_0x2e_5_bit0 -z3_0x26_4_0x2e_6_bit0 -z3_0x26_5_0x2e_0_bit0 -z3_0x26_5_0x2e_1_bit0 -z3_0x26_5_0x2e_2_bit0 -z3_0x26_5_0x2e_3_bit0 -z3_0x26_5_0x2e_4_bit0 z3_0x26_5_0x2e_5_bit0 -z3_0x26_5_0x2e_6_bit0 -z3_0x26_6_0x2e_0_bit0 -z3_0x26_6_0x2e_1_bit0 z3_0x26_6_0x2e_2_bit0 -z3_0x26_6_0x2e_3_bit0 -z3_0x26_6_0x2e_4_bit0 -z3_0x26_6_0x2e_5_bit0 -z3_0x26_6_0x2e_6_bit0 -z3_0x26_7_0x2e_0_bit0 -z3_0x26_7_0x2e_1_bit0 -z3_0x26_7_0x2e_2_bit0 -z3_0x26_7_0x2e_3_bit0 -z3_0x26_7_0x2e_4_bit0 z3_0x26_7_0x2e_5_bit0 -z3_0x26_7_0x2e_6_bit0 -z3_0x26_8_0x2e_0_bit0 -z3_0x26_8_0x2e_1_bit0 -z3_0x26_8_0x2e_2_bit0 z3_0x26_8_0x2e_3_bit0 -z3_0x26_8_0x2e_4_bit0 -z3_0x26_8_0x2e_5_bit0 -z3_0x26_8_0x2e_6_bit0 -z3_0x26_8_0x2e_7_bit0 -z3_0x26_8_0x2e_8_bit0 -z3_0x26_9_0x2e_0_bit0 -z3_0x26_9_0x2e_1_bit0 -z3_0x26_9_0x2e_2_bit0 z3_0x26_9_0x2e_3_bit0 -z3_0x26_9_0x2e_4_bit0 -z3_0x26_9_0x2e_5_bit0 -z4_0x26_5_0x2e_0_bit0 -z4_0x26_5_0x2e_1_bit0 -z4_0x26_5_0x2e_2_bit0 -z4_0x26_5_0x2e_3_bit0 -z4_0x26_5_0x2e_4_bit0 -z4_0x26_5_0x2e_5_bit0 z4_0x26_5_0x2e_6_bit0 -z4_0x26_5_0x2e_7_bit0 -z4_0x26_5_0x2e_8_bit0 -z4_0x26_6_0x2e_0_bit0 -z4_0x26_6_0x2e_1_bit0 -z4_0x26_6_0x2e_2_bit0 z4_0x26_6_0x2e_3_bit0 -z4_0x26_6_0x2e_4_bit0 -z4_0x26_6_0x2e_5_bit0 -z4_0x26_6_0x2e_6_bit0 -z4_0x26_6_0x2e_7_bit0 -z4_0x26_6_0x2e_8_bit0 -z4_0x26_6_0x2e_9_bit0 -z4_0x26_7_0x2e_0_bit0 -z4_0x26_7_0x2e_1_bit0 -z4_0x26_7_0x2e_2_bit0 -z4_0x26_7_0x2e_3_bit0 -z4_0x26_7_0x2e_4_bit0 z4_0x26_7_0x2e_5_bit0 -z4_0x26_8_0x2e_0_bit0 -z4_0x26_8_0x2e_1_bit0 -z4_0x26_8_0x2e_2_bit0 -z4_0x26_8_0x2e_3_bit0 z4_0x26_8_0x2e_4_bit0 -z4_0x26_8_0x2e_5_bit0 -z4_0x26_8_0x2e_6_bit0 -z4_0x26_8_0x2e_7_bit0 -z4_0x26_8_0x2e_8_bit0 -z4_0x26_8_0x2e_9_bit0 -z4_0x26_9_0x2e_0_bit0 -z4_0x26_9_0x2e_1_bit0 -z4_0x26_9_0x2e_2_bit0 -z4_0x26_9_0x2e_3_bit0 -z4_0x26_9_0x2e_4_bit0 z4_0x26_9_0x2e_5_bit0 -z5_0x26_6_0x2e_0_bit0 -z5_0x26_6_0x2e_1_bit0 -z5_0x26_6_0x2e_2_bit0 -z5_0x26_6_0x2e_3_bit0 z5_0x26_6_0x2e_4_bit0 -z5_0x26_6_0x2e_5_bit0 -z5_0x26_6_0x2e_6_bit0 -z5_0x26_6_0x2e_7_bit0 -z5_0x26_6_0x2e_8_bit0 -z5_0x26_7_0x2e_0_bit0 -z5_0x26_7_0x2e_1_bit0 -z5_0x26_7_0x2e_2_bit0 -z5_0x26_7_0x2e_3_bit0 -z5_0x26_7_0x2e_4_bit0 -z5_0x26_7_0x2e_5_bit0 -z5_0x26_7_0x2e_6_bit0 z5_0x26_7_0x2e_7_bit0 -z5_0x26_7_0x2e_8_bit0 -z5_0x26_8_0x2e_0_bit0 -z5_0x26_8_0x2e_1_bit0 -z5_0x26_8_0x2e_2_bit0 -z5_0x26_8_0x2e_3_bit0 -z5_0x26_8_0x2e_4_bit0 z5_0x26_8_0x2e_5_bit0 -z5_0x26_8_0x2e_6_bit0 -z5_0x26_8_0x2e_7_bit0 -z5_0x26_8_0x2e_8_bit0 -z5_0x26_8_0x2e_9_bit0 -z5_0x26_8_0x2e_10_bit0 z5_0x26_9_0x2e_0_bit0 -z5_0x26_9_0x2e_1_bit0 -z5_0x26_9_0x2e_2_bit0 -z5_0x26_9_0x2e_3_bit0 -z5_0x26_9_0x2e_4_bit0 -z5_0x26_9_0x2e_5_bit0 -z5_0x26_9_0x2e_6_bit0 -z6_0x26_7_0x2e_0_bit0 -z6_0x26_7_0x2e_1_bit0 -z6_0x26_7_0x2e_2_bit0 -z6_0x26_7_0x2e_3_bit0 -z6_0x26_7_0x2e_4_bit0 -z6_0x26_7_0x2e_5_bit0 -z6_0x26_7_0x2e_6_bit0 z6_0x26_7_0x2e_7_bit0 -z6_0x26_8_0x2e_0_bit0 -z6_0x26_8_0x2e_1_bit0 -z6_0x26_8_0x2e_2_bit0 z6_0x26_8_0x2e_3_bit0 -z6_0x26_8_0x2e_4_bit0 -z6_0x26_8_0x2e_5_bit0 -z6_0x26_8_0x2e_6_bit0 -z6_0x26_8_0x2e_7_bit0 -z6_0x26_8_0x2e_8_bit0 -z6_0x26_8_0x2e_9_bit0 -z6_0x26_9_0x2e_0_bit0 -z6_0x26_9_0x2e_1_bit0 -z6_0x26_9_0x2e_2_bit0 -z6_0x26_9_0x2e_3_bit0 -z6_0x26_9_0x2e_4_bit0 -z6_0x26_9_0x2e_5_bit0 z6_0x26_9_0x2e_6_bit0 -z7_0x26_8_0x2e_0_bit0 -z7_0x26_8_0x2e_1_bit0 -z7_0x26_8_0x2e_2_bit0 -z7_0x26_8_0x2e_3_bit0 -z7_0x26_8_0x2e_4_bit0 z7_0x26_8_0x2e_5_bit0 -z7_0x26_8_0x2e_6_bit0 -z7_0x26_8_0x2e_7_bit0 -z7_0x26_8_0x2e_8_bit0 -z7_0x26_8_0x2e_9_bit0 -z7_0x26_9_0x2e_0_bit0 z7_0x26_9_0x2e_1_bit0 -z7_0x26_9_0x2e_2_bit0 -z7_0x26_9_0x2e_3_bit0 -z7_0x26_9_0x2e_4_bit0 -z7_0x26_9_0x2e_5_bit0 -z7_0x26_9_0x2e_6_bit0 -z8_0x26_9_0x2e_0_bit0 -z8_0x26_9_0x2e_1_bit0 -z8_0x26_9_0x2e_2_bit0 -z8_0x26_9_0x2e_3_bit0 -z8_0x26_9_0x2e_4_bit0 -z8_0x26_9_0x2e_5_bit0 -z8_0x26_9_0x2e_6_bit0 z8_0x26_9_0x2e_7_bit0 c objective function=8257573732279 c Total CPU time (ms) : 1258.912
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/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1799877792 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 39 3 38 16 0 23 0 [pid=10489] 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/10489 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=10490 New thread pid=10491 New thread pid=10492 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=10493 New thread pid=10494 New thread pid=10495 New thread pid=10496 New thread pid=10497 New thread pid=10498 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/wulflinc15/normalized-mps-v2-20-10-net12.opb New thread pid=10499 [startup+10.0019 s] Raw data (loadavg): 0.41 0.09 0.03 2/66 10499 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18113 0 1 0 689 48 0 0 22 0 11 0 1799877792 859168768 21172 4294967295 134512640 134569956 3221224336 3221214588 1131202661 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209758 21172 13129 16 0 209742 0 [pid=10489] vsize: 839032 Current children cumulated CPU time (s) 7.37 Current children cumulated vsize (Kb) 839032 [startup+20.0027 s] Raw data (loadavg): 0.73 0.17 0.05 2/66 10499 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18129 0 2 0 1577 49 0 0 17 0 11 0 1799877792 859136000 21281 4294967295 134512640 134569956 3221224336 3221214544 1131517371 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 21281 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 16.26 Current children cumulated vsize (Kb) 839000 One traced child (pid=10499) exited with status: 0 New thread pid=10500 [startup+30.0035 s] Raw data (loadavg): 0.77 0.20 0.06 2/66 10500 Raw data (/proc/10489/stat): 10489 (java) S 10488 10489 31778 0 -1 0 18186 3 2 0 2493 50 0 0 25 0 11 0 1799877792 859136000 21441 4294967295 134512640 134569956 3221224336 3221213248 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 21441 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (Kb) 839000 [startup+40.0042 s] Raw data (loadavg): 0.81 0.22 0.07 2/66 10500 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18195 3 2 0 3450 51 0 0 25 0 11 0 1799877792 859136000 22213 4294967295 134512640 134569956 3221224336 3221214464 1131517320 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 22213 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 35.01 Current children cumulated vsize (Kb) 839000 [startup+50.005 s] Raw data (loadavg): 0.83 0.25 0.08 2/66 10500 Raw data (/proc/10489/stat): 10489 (java) S 10488 10489 31778 0 -1 0 18204 3 2 0 4404 51 0 0 25 0 11 0 1799877792 859136000 22221 4294967295 134512640 134569956 3221224336 3221213272 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 22221 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 44.55 Current children cumulated vsize (Kb) 839000 [startup+60.0049 s] Raw data (loadavg): 0.86 0.27 0.09 2/66 10500 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18214 3 2 0 5352 52 0 0 25 0 11 0 1799877792 859136000 22355 4294967295 134512640 134569956 3221224336 3221214632 1131533595 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 22355 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 54.04 Current children cumulated vsize (Kb) 839000 One traced child (pid=10500) exited with status: 0 [startup+70.0056 s] Raw data (loadavg): 0.88 0.30 0.10 2/65 10500 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18223 3 2 0 6283 52 0 0 22 0 10 0 1799877792 859136000 22472 4294967295 134512640 134569956 3221224336 3221214896 1131478131 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 22472 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 63.35 Current children cumulated vsize (Kb) 839000 New thread pid=10501 [startup+80.0054 s] Raw data (loadavg): 0.90 0.32 0.11 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18233 3 2 0 7221 52 0 0 24 0 11 0 1799877792 859136000 22735 4294967295 134512640 134569956 3221224336 3221214632 1131539384 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 22735 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 72.73 Current children cumulated vsize (Kb) 839000 [startup+90.0062 s] Raw data (loadavg): 0.91 0.34 0.12 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18240 3 2 0 8179 53 0 0 25 0 11 0 1799877792 859136000 22886 4294967295 134512640 134569956 3221224336 3221214496 1131478182 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 22886 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 82.32 Current children cumulated vsize (Kb) 839000 [startup+100.007 s] Raw data (loadavg): 0.93 0.36 0.13 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18247 3 2 0 9141 53 0 0 25 0 11 0 1799877792 859136000 23119 4294967295 134512640 134569956 3221224336 3221214612 1131376130 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 23119 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 91.94 Current children cumulated vsize (Kb) 839000 [startup+110.008 s] Raw data (loadavg): 0.94 0.38 0.14 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18256 3 2 0 10099 53 0 0 25 0 11 0 1799877792 859136000 23242 4294967295 134512640 134569956 3221224336 3221214512 1131478116 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 23242 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 101.52 Current children cumulated vsize (Kb) 839000 [startup+120.01 s] Raw data (loadavg): 0.95 0.40 0.14 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18264 3 2 0 11056 54 0 0 25 0 11 0 1799877792 859136000 23310 4294967295 134512640 134569956 3221224336 3221214544 1131517902 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 23310 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 111.1 Current children cumulated vsize (Kb) 839000 [startup+130.009 s] Raw data (loadavg): 0.95 0.42 0.15 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18271 3 2 0 12014 54 0 0 25 0 11 0 1799877792 859136000 23445 4294967295 134512640 134569956 3221224336 3221214632 1131534968 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 23445 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 120.68 Current children cumulated vsize (Kb) 839000 [startup+140.01 s] Raw data (loadavg): 0.96 0.44 0.16 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18282 3 2 0 12965 55 0 0 25 0 11 0 1799877792 859136000 23619 4294967295 134512640 134569956 3221224336 3221214376 1131560446 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 23619 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 130.2 Current children cumulated vsize (Kb) 839000 [startup+150.011 s] Raw data (loadavg): 0.97 0.46 0.17 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18290 3 2 0 13919 55 0 0 20 0 11 0 1799877792 859136000 23701 4294967295 134512640 134569956 3221224336 3221214544 1131517413 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 23701 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 139.74 Current children cumulated vsize (Kb) 839000 [startup+160.011 s] Raw data (loadavg): 0.97 0.48 0.18 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18298 3 2 0 14871 55 0 0 25 0 11 0 1799877792 859136000 23874 4294967295 134512640 134569956 3221224336 3221214560 1131485772 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 23874 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 149.26 Current children cumulated vsize (Kb) 839000 [startup+170.012 s] Raw data (loadavg): 0.98 0.49 0.19 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18306 3 2 0 15825 56 0 0 25 0 11 0 1799877792 859136000 23977 4294967295 134512640 134569956 3221224336 3221214520 1131353285 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 23977 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 158.81 Current children cumulated vsize (Kb) 839000 [startup+180.012 s] Raw data (loadavg): 0.98 0.51 0.20 2/66 10501 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18317 3 2 0 16774 56 0 0 25 0 11 0 1799877792 859136000 24060 4294967295 134512640 134569956 3221224336 3221214608 1131533595 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 24060 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 168.3 Current children cumulated vsize (Kb) 839000 One traced child (pid=10501) exited with status: 0 New thread pid=10502 [startup+190.013 s] Raw data (loadavg): 0.98 0.52 0.20 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18325 3 2 0 17732 56 0 0 25 0 11 0 1799877792 859136000 24246 4294967295 134512640 134569956 3221224336 3221214208 1131701344 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 24246 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 177.88 Current children cumulated vsize (Kb) 839000 [startup+200.013 s] Raw data (loadavg): 0.98 0.54 0.21 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18333 3 2 0 18698 57 0 0 25 0 11 0 1799877792 859136000 24389 4294967295 134512640 134569956 3221224336 3221214520 1131517973 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 24389 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 187.55 Current children cumulated vsize (Kb) 839000 [startup+210.013 s] Raw data (loadavg): 0.99 0.55 0.22 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18342 3 2 0 19667 57 0 0 20 0 11 0 1799877792 859136000 24546 4294967295 134512640 134569956 3221224336 3221214496 1131353145 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 24546 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 197.24 Current children cumulated vsize (Kb) 839000 [startup+220.014 s] Raw data (loadavg): 0.99 0.57 0.23 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18350 3 2 0 20641 57 0 0 24 0 11 0 1799877792 859136000 24608 4294967295 134512640 134569956 3221224336 3221214560 1131384212 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 24608 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 206.98 Current children cumulated vsize (Kb) 839000 [startup+230.013 s] Raw data (loadavg): 0.99 0.58 0.23 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18359 3 2 0 21608 58 0 0 18 0 11 0 1799877792 859136000 24649 4294967295 134512640 134569956 3221224336 3221214608 1131533595 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 24649 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 216.66 Current children cumulated vsize (Kb) 839000 [startup+240.015 s] Raw data (loadavg): 0.99 0.60 0.24 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18367 3 2 0 22576 58 0 0 25 0 11 0 1799877792 859136000 24724 4294967295 134512640 134569956 3221224336 3221214496 1131565478 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 24724 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 226.34 Current children cumulated vsize (Kb) 839000 [startup+250.016 s] Raw data (loadavg): 0.99 0.61 0.25 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18376 3 2 0 23543 58 0 0 25 0 11 0 1799877792 859136000 24845 4294967295 134512640 134569956 3221224336 3221214604 1131383200 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 24845 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 236.01 Current children cumulated vsize (Kb) 839000 [startup+260.017 s] Raw data (loadavg): 0.99 0.62 0.26 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18384 3 2 0 24511 59 0 0 25 0 11 0 1799877792 859136000 24991 4294967295 134512640 134569956 3221224336 3221214552 1131641839 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 24991 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 245.7 Current children cumulated vsize (Kb) 839000 [startup+270.017 s] Raw data (loadavg): 0.99 0.63 0.27 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18391 3 2 0 25476 59 0 0 25 0 11 0 1799877792 859136000 25103 4294967295 134512640 134569956 3221224336 3221214520 1131517420 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 25103 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 255.35 Current children cumulated vsize (Kb) 839000 [startup+280.018 s] Raw data (loadavg): 0.99 0.64 0.27 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18398 3 2 0 26433 59 0 0 25 0 11 0 1799877792 859136000 25189 4294967295 134512640 134569956 3221224336 3221214608 1131539611 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 25189 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 264.92 Current children cumulated vsize (Kb) 839000 [startup+290.019 s] Raw data (loadavg): 0.99 0.66 0.28 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18406 3 2 0 27385 59 0 0 25 0 11 0 1799877792 859136000 25286 4294967295 134512640 134569956 3221224336 3221214608 1131535508 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 25286 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 274.44 Current children cumulated vsize (Kb) 839000 [startup+300.02 s] Raw data (loadavg): 0.99 0.67 0.29 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18413 3 2 0 28340 60 0 0 25 0 11 0 1799877792 859136000 25348 4294967295 134512640 134569956 3221224336 3221214504 1131478131 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 25348 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 284 Current children cumulated vsize (Kb) 839000 [startup+310.02 s] Raw data (loadavg): 0.99 0.68 0.29 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18420 3 2 0 29298 60 0 0 20 0 11 0 1799877792 859136000 25564 4294967295 134512640 134569956 3221224336 3221214608 1131535508 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 25564 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 293.58 Current children cumulated vsize (Kb) 839000 [startup+320.021 s] Raw data (loadavg): 0.99 0.69 0.30 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18427 3 2 0 30257 60 0 0 25 0 11 0 1799877792 859136000 25743 4294967295 134512640 134569956 3221224336 3221214524 1131057173 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 25743 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 303.17 Current children cumulated vsize (Kb) 839000 [startup+330.021 s] Raw data (loadavg): 0.99 0.70 0.31 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18434 3 2 0 31208 61 0 0 25 0 11 0 1799877792 859136000 25816 4294967295 134512640 134569956 3221224336 3221214496 1131353200 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 25816 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 312.69 Current children cumulated vsize (Kb) 839000 [startup+340.022 s] Raw data (loadavg): 0.99 0.71 0.31 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18441 3 2 0 32155 61 0 0 25 0 11 0 1799877792 859136000 25884 4294967295 134512640 134569956 3221224336 3221214608 1131533595 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 25884 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 322.16 Current children cumulated vsize (Kb) 839000 [startup+350.023 s] Raw data (loadavg): 0.99 0.71 0.32 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18448 3 2 0 33104 62 0 0 25 0 11 0 1799877792 859136000 25976 4294967295 134512640 134569956 3221224336 3221214488 1131410815 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 25976 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 331.66 Current children cumulated vsize (Kb) 839000 [startup+360.024 s] Raw data (loadavg): 0.99 0.72 0.33 2/66 10502 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18456 3 2 0 34057 62 0 0 25 0 11 0 1799877792 859136000 26210 4294967295 134512640 134569956 3221224336 3221214520 1131518668 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 26210 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 341.19 Current children cumulated vsize (Kb) 839000 One traced child (pid=10502) exited with status: 0 New thread pid=10503 [startup+370.025 s] Raw data (loadavg): 0.99 0.73 0.33 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18463 3 2 0 35015 62 0 0 25 0 11 0 1799877792 859136000 26427 4294967295 134512640 134569956 3221224336 3221214352 1131737192 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 26427 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 350.77 Current children cumulated vsize (Kb) 839000 [startup+380.025 s] Raw data (loadavg): 0.99 0.74 0.34 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18470 3 2 0 35984 63 0 0 24 0 11 0 1799877792 859136000 26627 4294967295 134512640 134569956 3221224336 3221214600 1131432156 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 26627 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 360.47 Current children cumulated vsize (Kb) 839000 [startup+390.026 s] Raw data (loadavg): 0.99 0.75 0.35 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18478 3 2 0 36954 63 0 0 25 0 11 0 1799877792 859136000 26680 4294967295 134512640 134569956 3221224336 3221214032 1085806260 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 26680 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 370.17 Current children cumulated vsize (Kb) 839000 [startup+400.026 s] Raw data (loadavg): 0.99 0.76 0.36 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18486 3 2 0 37921 64 0 0 24 0 11 0 1799877792 859136000 26751 4294967295 134512640 134569956 3221224336 3221214520 1131517427 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 26751 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 379.85 Current children cumulated vsize (Kb) 839000 [startup+410.026 s] Raw data (loadavg): 0.99 0.76 0.36 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18493 3 2 0 38891 64 0 0 25 0 11 0 1799877792 859136000 26848 4294967295 134512640 134569956 3221224336 3221214496 1131353143 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 26848 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 389.55 Current children cumulated vsize (Kb) 839000 [startup+420.028 s] Raw data (loadavg): 0.99 0.77 0.37 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18500 3 2 0 39859 65 0 0 25 0 11 0 1799877792 859136000 26872 4294967295 134512640 134569956 3221224336 3221214536 1131707349 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 26872 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 399.24 Current children cumulated vsize (Kb) 839000 [startup+430.028 s] Raw data (loadavg): 0.99 0.78 0.37 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18507 3 2 0 40823 65 0 0 23 0 11 0 1799877792 859136000 26920 4294967295 134512640 134569956 3221224336 3221214520 1131517742 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 26920 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 408.88 Current children cumulated vsize (Kb) 839000 [startup+440.029 s] Raw data (loadavg): 0.99 0.79 0.38 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18514 3 2 0 41780 65 0 0 25 0 11 0 1799877792 859136000 27053 4294967295 134512640 134569956 3221224336 3221214608 1131535780 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 27053 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 418.45 Current children cumulated vsize (Kb) 839000 [startup+450.03 s] Raw data (loadavg): 0.99 0.79 0.39 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18522 3 2 0 42733 65 0 0 25 0 11 0 1799877792 859136000 27217 4294967295 134512640 134569956 3221224336 3221214520 1131517434 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 27217 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 427.98 Current children cumulated vsize (Kb) 839000 [startup+460.03 s] Raw data (loadavg): 0.99 0.80 0.39 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18530 3 2 0 43691 65 0 0 17 0 11 0 1799877792 859136000 27325 4294967295 134512640 134569956 3221224336 3221214520 1131517413 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 27325 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 437.56 Current children cumulated vsize (Kb) 839000 [startup+470.031 s] Raw data (loadavg): 1.07 0.82 0.40 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18537 3 2 0 44655 65 0 0 25 0 11 0 1799877792 859136000 27499 4294967295 134512640 134569956 3221224336 3221214560 1131383271 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 27499 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 447.2 Current children cumulated vsize (Kb) 839000 [startup+480.031 s] Raw data (loadavg): 1.14 0.84 0.41 2/66 10503 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18544 3 2 0 45630 66 0 0 25 0 11 0 1799877792 859136000 27675 4294967295 134512640 134569956 3221224336 3221214304 1131701313 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 27675 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 456.96 Current children cumulated vsize (Kb) 839000 One traced child (pid=10503) exited with status: 0 New thread pid=10504 [startup+490.032 s] Raw data (loadavg): 1.11 0.85 0.42 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18550 3 2 0 46610 66 0 0 25 0 11 0 1799877792 859136000 27727 4294967295 134512640 134569956 3221224336 3221214520 1131517413 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 27727 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 466.76 Current children cumulated vsize (Kb) 839000 [startup+500.032 s] Raw data (loadavg): 1.10 0.85 0.43 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18558 3 2 0 47585 66 0 0 25 0 11 0 1799877792 859136000 27784 4294967295 134512640 134569956 3221224336 3221214496 1131353151 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 27784 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 476.51 Current children cumulated vsize (Kb) 839000 [startup+510.033 s] Raw data (loadavg): 1.08 0.86 0.43 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18567 3 2 0 48558 66 0 0 24 0 11 0 1799877792 859136000 27850 4294967295 134512640 134569956 3221224336 3221214608 1131530585 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 27850 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 486.24 Current children cumulated vsize (Kb) 839000 [startup+520.034 s] Raw data (loadavg): 1.07 0.86 0.44 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18574 3 2 0 49533 67 0 0 25 0 11 0 1799877792 859136000 27866 4294967295 134512640 134569956 3221224336 3221214496 1131353140 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 27866 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 496 Current children cumulated vsize (Kb) 839000 [startup+530.033 s] Raw data (loadavg): 1.06 0.86 0.44 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18582 3 2 0 50503 67 0 0 25 0 11 0 1799877792 859136000 27919 4294967295 134512640 134569956 3221224336 3221214520 1131517719 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 27919 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 505.7 Current children cumulated vsize (Kb) 839000 [startup+540.035 s] Raw data (loadavg): 1.05 0.87 0.45 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18590 3 2 0 51470 67 0 0 25 0 11 0 1799877792 859136000 27995 4294967295 134512640 134569956 3221224336 3221214660 1131057152 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 27995 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 515.37 Current children cumulated vsize (Kb) 839000 [startup+550.036 s] Raw data (loadavg): 1.04 0.87 0.46 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18597 3 2 0 52440 67 0 0 25 0 11 0 1799877792 859136000 28097 4294967295 134512640 134569956 3221224336 3221214608 1131535814 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 28097 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 525.07 Current children cumulated vsize (Kb) 839000 [startup+560.036 s] Raw data (loadavg): 1.03 0.88 0.46 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18604 3 2 0 53409 68 0 0 24 0 11 0 1799877792 859136000 28215 4294967295 134512640 134569956 3221224336 3221214608 1131534896 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 28215 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 534.77 Current children cumulated vsize (Kb) 839000 [startup+570.037 s] Raw data (loadavg): 1.03 0.88 0.47 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) S 10488 10489 31778 0 -1 0 18610 3 2 0 54383 68 0 0 25 0 11 0 1799877792 859136000 28346 4294967295 134512640 134569956 3221224336 3221213352 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 28346 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 544.51 Current children cumulated vsize (Kb) 839000 [startup+580.037 s] Raw data (loadavg): 1.02 0.88 0.47 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18617 3 2 0 55356 68 0 0 25 0 11 0 1799877792 859136000 28464 4294967295 134512640 134569956 3221224336 3221214536 1131641198 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 28464 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 554.24 Current children cumulated vsize (Kb) 839000 [startup+590.037 s] Raw data (loadavg): 1.02 0.89 0.47 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18624 3 2 0 56320 69 0 0 25 0 11 0 1799877792 859136000 28607 4294967295 134512640 134569956 3221224336 3221214604 1131528712 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 28607 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 563.89 Current children cumulated vsize (Kb) 839000 [startup+600.04 s] Raw data (loadavg): 1.02 0.89 0.48 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18631 3 2 0 57276 70 0 0 24 0 11 0 1799877792 859136000 28730 4294967295 134512640 134569956 3221224336 3221214520 1131518066 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 28730 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 573.46 Current children cumulated vsize (Kb) 839000 [startup+610.04 s] Raw data (loadavg): 1.01 0.89 0.48 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18637 3 2 0 58241 70 0 0 25 0 11 0 1799877792 859136000 28751 4294967295 134512640 134569956 3221224336 3221214608 1131533588 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 28751 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 583.11 Current children cumulated vsize (Kb) 839000 [startup+620.041 s] Raw data (loadavg): 1.01 0.90 0.49 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18644 3 2 0 59194 70 0 0 25 0 11 0 1799877792 859136000 28794 4294967295 134512640 134569956 3221224336 3221214560 1131383224 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 28794 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 592.64 Current children cumulated vsize (Kb) 839000 [startup+630.042 s] Raw data (loadavg): 1.01 0.90 0.49 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18650 3 2 0 60147 71 0 0 25 0 11 0 1799877792 859136000 28953 4294967295 134512640 134569956 3221224336 3221214520 1131517593 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 28953 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 602.18 Current children cumulated vsize (Kb) 839000 [startup+640.042 s] Raw data (loadavg): 1.01 0.90 0.50 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18657 3 2 0 61093 71 0 0 22 0 11 0 1799877792 859136000 29188 4294967295 134512640 134569956 3221224336 3221214488 1131478249 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 29188 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 611.64 Current children cumulated vsize (Kb) 839000 [startup+650.042 s] Raw data (loadavg): 1.00 0.90 0.50 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18663 3 2 0 62047 72 0 0 23 0 11 0 1799877792 859136000 29224 4294967295 134512640 134569956 3221224336 3221214448 1131736090 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 29224 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 621.19 Current children cumulated vsize (Kb) 839000 [startup+660.043 s] Raw data (loadavg): 1.00 0.91 0.51 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18670 3 2 0 62994 72 0 0 24 0 11 0 1799877792 859136000 29302 4294967295 134512640 134569956 3221224336 3221214608 1131535508 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 29302 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 630.66 Current children cumulated vsize (Kb) 839000 [startup+670.044 s] Raw data (loadavg): 1.00 0.91 0.51 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18675 3 2 0 63958 72 0 0 25 0 11 0 1799877792 859136000 29444 4294967295 134512640 134569956 3221224336 3221214604 1131517255 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 29444 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 640.3 Current children cumulated vsize (Kb) 839000 [startup+680.044 s] Raw data (loadavg): 1.00 0.91 0.52 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18682 3 2 0 64918 73 0 0 25 0 11 0 1799877792 859136000 29651 4294967295 134512640 134569956 3221224336 3221214608 1131533664 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 29651 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 649.91 Current children cumulated vsize (Kb) 839000 [startup+690.045 s] Raw data (loadavg): 1.00 0.91 0.52 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18689 3 2 0 65886 74 0 0 25 0 11 0 1799877792 859136000 29869 4294967295 134512640 134569956 3221224336 3221214164 1131707328 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 29869 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 659.6 Current children cumulated vsize (Kb) 839000 [startup+700.045 s] Raw data (loadavg): 1.00 0.92 0.53 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18696 3 2 0 66852 74 0 0 25 0 11 0 1799877792 859136000 29893 4294967295 134512640 134569956 3221224336 3221214560 1131383226 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 29893 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 669.26 Current children cumulated vsize (Kb) 839000 [startup+710.045 s] Raw data (loadavg): 1.00 0.92 0.53 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18703 3 2 0 67809 74 0 0 21 0 11 0 1799877792 859136000 29957 4294967295 134512640 134569956 3221224336 3221214152 1131733768 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 29957 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 678.83 Current children cumulated vsize (Kb) 839000 [startup+720.046 s] Raw data (loadavg): 1.00 0.92 0.54 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18710 3 2 0 68762 74 0 0 23 0 11 0 1799877792 859136000 29994 4294967295 134512640 134569956 3221224336 3221214608 1131535336 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 29994 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 688.36 Current children cumulated vsize (Kb) 839000 [startup+730.047 s] Raw data (loadavg): 1.00 0.92 0.54 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18718 3 2 0 69701 75 0 0 17 0 11 0 1799877792 859136000 30096 4294967295 134512640 134569956 3221224336 3221214520 1131517565 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 30096 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 697.76 Current children cumulated vsize (Kb) 839000 [startup+740.048 s] Raw data (loadavg): 1.00 0.92 0.55 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18725 3 2 0 70649 75 0 0 25 0 11 0 1799877792 859136000 30299 4294967295 134512640 134569956 3221224336 3221214608 1131533588 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 30299 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 707.24 Current children cumulated vsize (Kb) 839000 [startup+750.048 s] Raw data (loadavg): 1.00 0.93 0.55 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18732 3 2 0 71598 76 0 0 25 0 11 0 1799877792 859136000 30455 4294967295 134512640 134569956 3221224336 3221214520 1131517413 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 30455 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 716.74 Current children cumulated vsize (Kb) 839000 [startup+760.049 s] Raw data (loadavg): 1.00 0.93 0.56 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18738 3 2 0 72556 76 0 0 25 0 11 0 1799877792 859136000 30563 4294967295 134512640 134569956 3221224336 3221214496 1131565506 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 30563 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 726.32 Current children cumulated vsize (Kb) 839000 [startup+770.05 s] Raw data (loadavg): 1.00 0.93 0.56 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18745 3 2 0 73504 76 0 0 25 0 11 0 1799877792 859136000 30753 4294967295 134512640 134569956 3221224336 3221214352 1131735216 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 30753 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 735.8 Current children cumulated vsize (Kb) 839000 [startup+780.051 s] Raw data (loadavg): 1.00 0.93 0.56 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18752 3 2 0 74451 77 0 0 18 0 11 0 1799877792 859136000 30932 4294967295 134512640 134569956 3221224336 3221214496 1131564442 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 30932 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 745.28 Current children cumulated vsize (Kb) 839000 [startup+790.053 s] Raw data (loadavg): 1.00 0.93 0.57 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18758 3 2 0 75405 77 0 0 25 0 11 0 1799877792 859136000 31078 4294967295 134512640 134569956 3221224336 3221214496 1131564357 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 31078 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 754.82 Current children cumulated vsize (Kb) 839000 [startup+800.053 s] Raw data (loadavg): 1.00 0.94 0.57 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18765 3 2 0 76349 77 0 0 25 0 11 0 1799877792 859136000 31160 4294967295 134512640 134569956 3221224336 3221214488 1131476285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 31160 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 764.26 Current children cumulated vsize (Kb) 839000 [startup+810.053 s] Raw data (loadavg): 1.00 0.94 0.58 3/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18772 3 2 0 77292 78 0 0 25 0 11 0 1799877792 859136000 31356 4294967295 134512640 134569956 3221224336 3221214520 1131517487 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 31356 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 773.7 Current children cumulated vsize (Kb) 839000 [startup+820.054 s] Raw data (loadavg): 1.08 0.96 0.58 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18778 3 2 0 78243 78 0 0 25 0 11 0 1799877792 859136000 31533 4294967295 134512640 134569956 3221224336 3221214560 1131376153 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 31533 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 783.21 Current children cumulated vsize (Kb) 839000 [startup+830.055 s] Raw data (loadavg): 1.07 0.96 0.59 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18785 3 2 0 79188 78 0 0 25 0 11 0 1799877792 859136000 31730 4294967295 134512640 134569956 3221224336 3221214332 1078137853 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 31730 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 792.66 Current children cumulated vsize (Kb) 839000 [startup+840.057 s] Raw data (loadavg): 1.06 0.96 0.59 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18792 3 2 0 80132 79 0 0 25 0 11 0 1799877792 859136000 31917 4294967295 134512640 134569956 3221224336 3221214520 1131517482 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 31917 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 802.11 Current children cumulated vsize (Kb) 839000 [startup+850.057 s] Raw data (loadavg): 1.05 0.96 0.60 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18799 3 2 0 81077 79 0 0 25 0 11 0 1799877792 859136000 32103 4294967295 134512640 134569956 3221224336 3221214496 1131353140 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 32103 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 811.56 Current children cumulated vsize (Kb) 839000 [startup+860.057 s] Raw data (loadavg): 1.04 0.96 0.60 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18805 3 2 0 82030 80 0 0 25 0 11 0 1799877792 859136000 32262 4294967295 134512640 134569956 3221224336 3221214024 1085806735 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 32262 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 821.1 Current children cumulated vsize (Kb) 839000 [startup+870.059 s] Raw data (loadavg): 1.03 0.96 0.60 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18811 3 2 0 82983 80 0 0 25 0 11 0 1799877792 859136000 32416 4294967295 134512640 134569956 3221224336 3221214256 1131737772 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 32416 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 830.63 Current children cumulated vsize (Kb) 839000 [startup+880.059 s] Raw data (loadavg): 1.03 0.96 0.61 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18817 3 2 0 83941 80 0 0 25 0 11 0 1799877792 859136000 32575 4294967295 134512640 134569956 3221224336 3221214112 1131701457 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 32575 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 840.21 Current children cumulated vsize (Kb) 839000 [startup+890.06 s] Raw data (loadavg): 1.02 0.96 0.61 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18823 3 2 0 84905 81 0 0 17 0 11 0 1799877792 859136000 32729 4294967295 134512640 134569956 3221224336 3221214312 1085806248 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 32729 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 849.86 Current children cumulated vsize (Kb) 839000 [startup+900.062 s] Raw data (loadavg): 1.02 0.96 0.62 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18829 3 2 0 85876 81 0 0 25 0 11 0 1799877792 859136000 32880 4294967295 134512640 134569956 3221224336 3221214256 1131735898 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 32880 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 859.57 Current children cumulated vsize (Kb) 839000 [startup+910.062 s] Raw data (loadavg): 1.02 0.97 0.62 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18836 3 2 0 86842 81 0 0 25 0 11 0 1799877792 859136000 33067 4294967295 134512640 134569956 3221224336 3221214608 1131534832 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 33067 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 869.23 Current children cumulated vsize (Kb) 839000 [startup+920.062 s] Raw data (loadavg): 1.01 0.97 0.62 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18843 3 2 0 87806 81 0 0 25 0 11 0 1799877792 859136000 33120 4294967295 134512640 134569956 3221224336 3221214488 1131478421 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 33120 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 878.87 Current children cumulated vsize (Kb) 839000 [startup+930.063 s] Raw data (loadavg): 1.01 0.97 0.63 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18850 3 2 0 88762 82 0 0 17 0 11 0 1799877792 859136000 33151 4294967295 134512640 134569956 3221224336 3221214488 1131478276 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 33151 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 888.44 Current children cumulated vsize (Kb) 839000 [startup+940.064 s] Raw data (loadavg): 1.01 0.97 0.63 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18857 3 2 0 89710 82 0 0 24 0 11 0 1799877792 859136000 33208 4294967295 134512640 134569956 3221224336 3221214600 1131432178 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 33208 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 897.92 Current children cumulated vsize (Kb) 839000 [startup+950.065 s] Raw data (loadavg): 1.01 0.97 0.64 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18863 3 2 0 90664 82 0 0 25 0 11 0 1799877792 859136000 33304 4294967295 134512640 134569956 3221224336 3221214488 1131477932 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 33304 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 907.46 Current children cumulated vsize (Kb) 839000 [startup+960.066 s] Raw data (loadavg): 1.00 0.97 0.64 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18870 3 2 0 91609 83 0 0 25 0 11 0 1799877792 859136000 33490 4294967295 134512640 134569956 3221224336 3221214520 1131517413 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 33490 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 916.92 Current children cumulated vsize (Kb) 839000 [startup+970.066 s] Raw data (loadavg): 1.00 0.97 0.64 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18877 3 2 0 92555 83 0 0 25 0 11 0 1799877792 859136000 33667 4294967295 134512640 134569956 3221224336 3221214024 1085806711 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 33667 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 926.38 Current children cumulated vsize (Kb) 839000 [startup+980.066 s] Raw data (loadavg): 1.00 0.97 0.64 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18884 3 2 0 93502 83 0 0 25 0 11 0 1799877792 859136000 33843 4294967295 134512640 134569956 3221224336 3221214592 1131478088 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 33843 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 935.85 Current children cumulated vsize (Kb) 839000 [startup+990.067 s] Raw data (loadavg): 1.00 0.97 0.65 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18891 3 2 0 94449 83 0 0 25 0 11 0 1799877792 859136000 34013 4294967295 134512640 134569956 3221224336 3221214560 1131383224 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 34013 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 945.32 Current children cumulated vsize (Kb) 839000 [startup+1000.07 s] Raw data (loadavg): 1.00 0.97 0.65 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18899 3 2 0 95396 84 0 0 25 0 11 0 1799877792 859136000 34176 4294967295 134512640 134569956 3221224336 3221214520 1131517413 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 34176 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 954.8 Current children cumulated vsize (Kb) 839000 [startup+1010.07 s] Raw data (loadavg): 1.00 0.97 0.65 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18906 3 2 0 96344 85 0 0 25 0 11 0 1799877792 859136000 34339 4294967295 134512640 134569956 3221224336 3221214608 1131535396 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 34339 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 964.29 Current children cumulated vsize (Kb) 839000 [startup+1020.07 s] Raw data (loadavg): 1.00 0.97 0.66 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18913 3 2 0 97292 85 0 0 25 0 11 0 1799877792 859136000 34503 4294967295 134512640 134569956 3221224336 3221214608 1131534960 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 34503 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 973.77 Current children cumulated vsize (Kb) 839000 [startup+1030.07 s] Raw data (loadavg): 1.00 0.97 0.66 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18920 3 2 0 98242 85 0 0 25 0 11 0 1799877792 859136000 34672 4294967295 134512640 134569956 3221224336 3221214608 1131534968 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 34672 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 983.27 Current children cumulated vsize (Kb) 839000 [startup+1040.07 s] Raw data (loadavg): 1.00 0.97 0.66 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18928 3 2 0 99185 86 0 0 20 0 11 0 1799877792 859136000 34845 4294967295 134512640 134569956 3221224336 3221214560 1131383609 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 34845 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 992.71 Current children cumulated vsize (Kb) 839000 [startup+1050.07 s] Raw data (loadavg): 1.00 0.97 0.66 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18935 3 2 0 100137 86 0 0 17 0 11 0 1799877792 859136000 35005 4294967295 134512640 134569956 3221224336 3221214576 1131478876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 35005 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1002.23 Current children cumulated vsize (Kb) 839000 [startup+1060.07 s] Raw data (loadavg): 1.00 0.97 0.67 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18942 3 2 0 101090 86 0 0 25 0 11 0 1799877792 859136000 35149 4294967295 134512640 134569956 3221224336 3221214608 1131533588 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 35149 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1011.76 Current children cumulated vsize (Kb) 839000 [startup+1070.07 s] Raw data (loadavg): 1.00 0.97 0.67 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18949 3 2 0 102043 86 0 0 25 0 11 0 1799877792 859136000 35295 4294967295 134512640 134569956 3221224336 3221214608 1131536702 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 35295 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1021.29 Current children cumulated vsize (Kb) 839000 [startup+1080.07 s] Raw data (loadavg): 1.00 0.97 0.67 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18956 3 2 0 102997 86 0 0 25 0 11 0 1799877792 859136000 35440 4294967295 134512640 134569956 3221224336 3221214520 1131517369 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 35440 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1030.83 Current children cumulated vsize (Kb) 839000 [startup+1090.07 s] Raw data (loadavg): 1.00 0.97 0.68 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18964 3 2 0 103943 86 0 0 17 0 11 0 1799877792 859136000 35595 4294967295 134512640 134569956 3221224336 3221214488 1131478421 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 35595 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1040.29 Current children cumulated vsize (Kb) 839000 [startup+1100.07 s] Raw data (loadavg): 1.00 0.97 0.68 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18971 3 2 0 104898 87 0 0 20 0 11 0 1799877792 859136000 35740 4294967295 134512640 134569956 3221224336 3221214604 1131517248 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 35740 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1049.85 Current children cumulated vsize (Kb) 839000 [startup+1110.07 s] Raw data (loadavg): 1.00 0.97 0.68 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18978 3 2 0 105851 87 0 0 25 0 11 0 1799877792 859136000 35879 4294967295 134512640 134569956 3221224336 3221214520 1131517532 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 35879 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1059.38 Current children cumulated vsize (Kb) 839000 [startup+1120.07 s] Raw data (loadavg): 1.00 0.97 0.69 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18985 3 2 0 106804 87 0 0 25 0 11 0 1799877792 859136000 36013 4294967295 134512640 134569956 3221224336 3221214536 1131707349 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 36013 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1068.91 Current children cumulated vsize (Kb) 839000 [startup+1130.07 s] Raw data (loadavg): 1.00 0.97 0.69 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18990 3 2 0 107770 87 0 0 25 0 11 0 1799877792 859136000 36109 4294967295 134512640 134569956 3221224336 3221214176 1085759260 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 36109 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1078.57 Current children cumulated vsize (Kb) 839000 [startup+1140.08 s] Raw data (loadavg): 1.00 0.97 0.69 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 18995 3 2 0 108738 87 0 0 24 0 11 0 1799877792 859136000 36210 4294967295 134512640 134569956 3221224336 3221214520 1131517609 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 36210 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1088.25 Current children cumulated vsize (Kb) 839000 [startup+1150.08 s] Raw data (loadavg): 1.00 0.97 0.69 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19000 3 2 0 109708 88 0 0 25 0 11 0 1799877792 859136000 36299 4294967295 134512640 134569956 3221224336 3221214544 1131737600 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 36299 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1097.96 Current children cumulated vsize (Kb) 839000 [startup+1160.08 s] Raw data (loadavg): 1.00 0.97 0.70 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19005 3 2 0 110680 88 0 0 25 0 11 0 1799877792 859136000 36402 4294967295 134512640 134569956 3221224336 3221214520 1131517536 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 36402 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1107.68 Current children cumulated vsize (Kb) 839000 [startup+1170.08 s] Raw data (loadavg): 1.08 0.99 0.71 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19010 3 2 0 111656 89 0 0 21 0 11 0 1799877792 859136000 36497 4294967295 134512640 134569956 3221224336 3221214520 1131517356 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 36497 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1117.45 Current children cumulated vsize (Kb) 839000 [startup+1180.08 s] Raw data (loadavg): 1.07 0.99 0.71 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19016 3 2 0 112631 89 0 0 25 0 11 0 1799877792 859136000 36605 4294967295 134512640 134569956 3221224336 3221214496 1131564624 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 36605 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1127.2 Current children cumulated vsize (Kb) 839000 [startup+1190.08 s] Raw data (loadavg): 1.06 0.99 0.71 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19024 3 2 0 113598 90 0 0 25 0 11 0 1799877792 859136000 36622 4294967295 134512640 134569956 3221224336 3221214496 1131353163 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 36622 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1136.88 Current children cumulated vsize (Kb) 839000 [startup+1200.08 s] Raw data (loadavg): 1.05 0.99 0.71 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19032 3 2 0 114562 90 0 0 25 0 11 0 1799877792 859136000 36682 4294967295 134512640 134569956 3221224336 3221214608 1131536680 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 36682 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1146.52 Current children cumulated vsize (Kb) 839000 [startup+1210.08 s] Raw data (loadavg): 1.04 0.99 0.72 1/66 10504 Raw data (/proc/10489/stat): 10489 (java) T 10488 10489 31778 0 -1 0 19040 3 2 0 115524 90 0 0 25 0 11 0 1799877792 859136000 36729 4294967295 134512640 134569956 3221224336 3221213692 1074594577 0 4 1 23758 3222434794 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 36729 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1156.14 Current children cumulated vsize (Kb) 839000 [startup+1220.08 s] Raw data (loadavg): 1.03 0.99 0.72 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19049 3 2 0 116483 91 0 0 25 0 11 0 1799877792 859136000 36835 4294967295 134512640 134569956 3221224336 3221214608 1131530643 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 36835 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1165.74 Current children cumulated vsize (Kb) 839000 [startup+1230.08 s] Raw data (loadavg): 1.17 1.02 0.73 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19057 3 2 0 117447 91 0 0 19 0 11 0 1799877792 859136000 36925 4294967295 134512640 134569956 3221224336 3221214684 1131376112 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10489/statm): 209750 36925 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1175.38 Current children cumulated vsize (Kb) 839000 [startup+1240.08 s] Raw data (loadavg): 1.15 1.02 0.74 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19065 3 2 0 118411 91 0 0 25 0 11 0 1799877792 859136000 37031 4294967295 134512640 134569956 3221224336 3221214520 1131517589 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 37031 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1185.02 Current children cumulated vsize (Kb) 839000 [startup+1250.08 s] Raw data (loadavg): 1.12 1.02 0.74 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19073 3 2 0 119376 92 0 0 25 0 11 0 1799877792 859136000 37132 4294967295 134512640 134569956 3221224336 3221214592 1131639462 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 37132 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1194.68 Current children cumulated vsize (Kb) 839000 [startup+1260.08 s] Raw data (loadavg): 1.10 1.02 0.74 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19081 3 2 0 120340 92 0 0 25 0 11 0 1799877792 859136000 37233 4294967295 134512640 134569956 3221224336 3221214560 1131619873 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 37233 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1204.32 Current children cumulated vsize (Kb) 839000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1260.09 s] Raw data (loadavg): 1.10 1.02 0.74 2/66 10504 Raw data (/proc/10489/stat): 10489 (java) R 10488 10489 31778 0 -1 0 19081 3 2 0 120340 92 0 0 25 0 11 0 1799877792 859136000 37233 4294967295 134512640 134569956 3221224336 3221214576 1131529200 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10489/statm): 209750 37233 13129 16 0 209734 0 [pid=10489] vsize: 839000 Current children cumulated CPU time (s) 1204.32 Current children cumulated vsize (Kb) 839000 Sending SIGTERM to -10489 Sleeping 2 seconds New thread pid=10506 New thread pid=10507 One traced child (pid=10507) exited with status: 0 One traced child (pid=10498) exited with status: 0 One traced child (pid=10493) exited with status: 0 One traced child (pid=10490) exited with status: 143 One traced child (pid=10496) exited with status: 143 One traced child (pid=10491) exited with status: 143 One traced child (pid=10492) exited with status: 143 One traced child (pid=10497) exited with status: 143 One traced child (pid=10494) exited with status: 143 One traced child (pid=10495) exited with status: 143 One traced child (pid=10504) exited with status: 143 One traced child (pid=10506) exited with status: 143 One traced child (pid=10489) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1260.4 CPU time (s): 1269.78 CPU user time (s): 1267.77 CPU system time (s): 2.01069 CPU usage (%): 100.744 Max. virtual memory (cumulated for all children) (Kb): 839032
Verifier: OK 8257573732279