Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell3a.opb |
MD5SUM | 47799b7114cd9484def56bec40d7bc3d |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 43633148139800 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1256 |
Biggest coefficient in the objective function | 393216000000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 14511389815457650 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 393216000000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 14511389815457650 |
Number of bits of the biggest sum of numbers | 54 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1248.64 |
Number of variables | 1599 |
Total number of constraints | 194 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 39 |
Number of constraints which are nor clauses,nor cardinality constraints | 133 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 131 |
LAUNCH ON wulflinc9 THE 2005-09-20 19:10:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6861 boxname=wulflinc9 idbench=1001 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 47799b7114cd9484def56bec40d7bc3d /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-bell3a.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-bell3a.opb IDLAUNCH: 6861 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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 : 2 cpu MHz : 451.242 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: 796800 kB Buffers: 38248 kB Cached: 170080 kB SwapCached: 1044 kB Active: 81760 kB Inactive: 129344 kB HighTotal: 131008 kB HighFree: 1232 kB LowTotal: 903652 kB LowFree: 795568 kB SwapTotal: 2097136 kB SwapFree: 2095568 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5680 kB Slab: 21128 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 19:31:07 (client local time) WITH STATUS 143 IN 1248.64 SECONDS stats: 6861 0 1248.64 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/wulflinc9/normalized-mps-v2-13-7-bell3a.opb c reading problem ... done. Time 1.906 ms. c #vars 1599 c #constraints 147 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 900486447555990 Current CPU time: 37.92 ms c CURRENT OPTIMUM= 893123930409085 Current CPU time: 70.17 ms c CURRENT OPTIMUM= 893109798760000 Current CPU time: 84.31 ms c CURRENT OPTIMUM= 893057776651365 Current CPU time: 102.58 ms c CURRENT OPTIMUM= 888131555506500 Current CPU time: 110.69 ms c CURRENT OPTIMUM= 879989130752500 Current CPU time: 150.40 ms c CURRENT OPTIMUM= 712637235104240 Current CPU time: 181.19 ms c CURRENT OPTIMUM= 712463317568920 Current CPU time: 212.64 ms c CURRENT OPTIMUM= 482654138101740 Current CPU time: 389.32 ms c CURRENT OPTIMUM= 296179256852480 Current CPU time: 799.20 ms c CURRENT OPTIMUM= 102084537121400 Current CPU time: 923.25 ms c CURRENT OPTIMUM= 53382149771675 Current CPU time: 1041.13 ms c CURRENT OPTIMUM= 51899169090340 Current CPU time: 1114.85 ms c CURRENT OPTIMUM= 43633148139800 Current CPU time: 1181.63 ms c starts : 20 c conflicts : 984 c decisions : 42423 c propagations : 88636 c inspects : 1067910 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 984 c root simplifications : 54 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 40993 c speed (decisions/second) : 742.3486797207203 c non guided choices 13686 c random choices 0 s SATISFIABLE v -d1_bit0 -d2_bit0 -d3_bit0 -d4_bit0 -d5_bit0 -d6_bit0 -d7_bit0 -d9_bit0 -d10_bit0 -d12_bit0 -d13_bit0 -d15_bit0 -d16_bit0 -d17_bit0 -d20_bit0 -d21_bit0 -h1_bit0 -h1_bit1 -h1_bit2 -h1_bit3 -h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 -h2_bit0 -h2_bit1 -h2_bit2 -h2_bit3 -h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h3_bit0 -h3_bit1 -h3_bit2 -h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h4_bit0 -h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h5_bit0 -h5_bit1 -h5_bit2 -h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h6_bit0 -h6_bit1 -h6_bit2 -h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h7_bit0 -h7_bit1 -h7_bit2 -h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h9_bit0 -h9_bit1 -h9_bit2 -h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h10_bit0 -h10_bit1 -h10_bit2 -h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h12_bit0 -h12_bit1 -h12_bit2 -h12_bit3 -h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 -h13_bit0 -h13_bit1 -h13_bit2 -h13_bit3 -h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 -h15_bit0 -h15_bit1 -h15_bit2 -h15_bit3 -h15_bit4 -h15_bit5 -h15_bit6 -h15_bit7 -h15_bit8 -h15_bit9 -h16_bit0 -h16_bit1 -h16_bit2 -h16_bit3 -h16_bit4 -h16_bit5 -h16_bit6 -h16_bit7 -h16_bit8 -h16_bit9 -h17_bit0 -h17_bit1 -h17_bit2 -h17_bit3 -h17_bit4 -h17_bit5 -h17_bit6 -h17_bit7 -h17_bit8 -h17_bit9 -h20_bit0 -h20_bit1 -h20_bit2 -h20_bit3 -h20_bit4 -h20_bit5 -h20_bit6 -h20_bit7 -h20_bit8 -h20_bit9 -h21_bit0 -h21_bit1 -h21_bit2 -h21_bit3 -h21_bit4 -h21_bit5 -h21_bit6 -h21_bit7 -h21_bit8 -h21_bit9 -g1_bit0 -g1_bit1 -g1_bit2 -g1_bit3 -g1_bit4 -g1_bit5 -g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 -g2_bit0 -g2_bit1 -g2_bit2 -g2_bit3 -g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 -g2_bit9 g3_bit0 g3_bit1 g3_bit2 g3_bit3 -g3_bit4 -g3_bit5 -g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 g4_bit0 g4_bit1 g4_bit2 -g4_bit3 -g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 g5_bit0 g5_bit1 g5_bit2 g5_bit3 -g5_bit4 -g5_bit5 -g5_bit6 -g5_bit7 -g5_bit8 -g5_bit9 -g6_bit0 -g6_bit1 -g6_bit2 -g6_bit3 -g6_bit4 -g6_bit5 -g6_bit6 -g6_bit7 -g6_bit8 -g6_bit9 g7_bit0 g7_bit1 g7_bit2 g7_bit3 -g7_bit4 -g7_bit5 -g7_bit6 -g7_bit7 -g7_bit8 -g7_bit9 g9_bit0 -g9_bit1 g9_bit2 g9_bit3 -g9_bit4 -g9_bit5 -g9_bit6 -g9_bit7 -g9_bit8 -g9_bit9 g10_bit0 g10_bit1 g10_bit2 -g10_bit3 -g10_bit4 -g10_bit5 -g10_bit6 -g10_bit7 -g10_bit8 -g10_bit9 g12_bit0 g12_bit1 g12_bit2 -g12_bit3 -g12_bit4 -g12_bit5 -g12_bit6 -g12_bit7 -g12_bit8 -g12_bit9 -g13_bit0 -g13_bit1 g13_bit2 -g13_bit3 -g13_bit4 -g13_bit5 -g13_bit6 -g13_bit7 -g13_bit8 -g13_bit9 -g15_bit0 -g15_bit1 -g15_bit2 -g15_bit3 -g15_bit4 -g15_bit5 -g15_bit6 -g15_bit7 -g15_bit8 -g15_bit9 g16_bit0 g16_bit1 g16_bit2 -g16_bit3 -g16_bit4 -g16_bit5 -g16_bit6 -g16_bit7 -g16_bit8 -g16_bit9 -g17_bit0 g17_bit1 -g17_bit2 -g17_bit3 -g17_bit4 -g17_bit5 -g17_bit6 -g17_bit7 -g17_bit8 -g17_bit9 -g20_bit0 -g20_bit1 -g20_bit2 -g20_bit3 -g20_bit4 g20_bit5 g20_bit6 g20_bit7 -g20_bit8 -g20_bit9 -g21_bit0 -g21_bit1 g21_bit2 g21_bit3 -g21_bit4 -g21_bit5 -g21_bit6 -g21_bit7 -g21_bit8 -g21_bit9 a1_bit_7 a1_bit_6 a1_bit_5 a1_bit_4 a1_bit_3 a1_bit_2 a1_bit_1 a1_bit0 a1_bit1 -a1_bit2 -a1_bit3 -a1_bit4 a1_bit5 -a1_bit6 a1_bit7 -a1_bit8 a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 a2_bit_7 a2_bit_6 a2_bit_5 a2_bit_4 a2_bit_3 a2_bit_2 a2_bit_1 a2_bit0 a2_bit1 a2_bit2 a2_bit3 a2_bit4 a2_bit5 -a2_bit6 -a2_bit7 -a2_bit8 a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 a3_bit_7 a3_bit_6 a3_bit_5 a3_bit_4 a3_bit_3 a3_bit_2 a3_bit_1 a3_bit0 a3_bit1 a3_bit2 a3_bit3 a3_bit4 a3_bit5 a3_bit6 a3_bit7 a3_bit8 -a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 a4_bit_7 a4_bit_6 a4_bit_5 a4_bit_4 a4_bit_3 a4_bit_2 a4_bit_1 a4_bit0 a4_bit1 a4_bit2 a4_bit3 a4_bit4 a4_bit5 a4_bit6 -a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 -a4_bit11 -a4_bit12 a5_bit_7 a5_bit_6 a5_bit_5 a5_bit_4 a5_bit_3 a5_bit_2 a5_bit_1 a5_bit0 a5_bit1 a5_bit2 a5_bit3 a5_bit4 a5_bit5 a5_bit6 a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 a6_bit1 a6_bit2 -a6_bit3 a6_bit4 -a6_bit5 -a6_bit6 a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 -a7_bit_7 -a7_bit_6 -a7_bit_5 -a7_bit_4 -a7_bit_3 -a7_bit_2 -a7_bit_1 -a7_bit0 -a7_bit1 -a7_bit2 -a7_bit3 -a7_bit4 -a7_bit5 -a7_bit6 -a7_bit7 -a7_bit8 -a7_bit9 -a7_bit10 -a7_bit11 -a7_bit12 -a8_bit_7 -a8_bit_6 -a8_bit_5 -a8_bit_4 -a8_bit_3 -a8_bit_2 -a8_bit_1 -a8_bit0 a8_bit1 -a8_bit2 a8_bit3 -a8_bit4 -a8_bit5 a8_bit6 a8_bit7 -a8_bit8 -a8_bit9 -a8_bit10 -a8_bit11 -a8_bit12 a9_bit_7 -a9_bit_6 -a9_bit_5 -a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 -a9_bit1 a9_bit2 a9_bit3 a9_bit4 a9_bit5 -a9_bit6 a9_bit7 -a9_bit8 -a9_bit9 -a9_bit10 -a9_bit11 -a9_bit12 -a10_bit_7 -a10_bit_6 a10_bit_5 a10_bit_4 a10_bit_3 a10_bit_2 a10_bit_1 a10_bit0 -a10_bit1 -a10_bit2 a10_bit3 a10_bit4 a10_bit5 -a10_bit6 a10_bit7 -a10_bit8 -a10_bit9 -a10_bit10 -a10_bit11 -a10_bit12 -a11_bit_7 -a11_bit_6 -a11_bit_5 -a11_bit_4 -a11_bit_3 -a11_bit_2 -a11_bit_1 -a11_bit0 a11_bit1 -a11_bit2 -a11_bit3 a11_bit4 a11_bit5 -a11_bit6 -a11_bit7 -a11_bit8 -a11_bit9 -a11_bit10 -a11_bit11 -a11_bit12 -a12_bit_7 -a12_bit_6 -a12_bit_5 -a12_bit_4 -a12_bit_3 -a12_bit_2 -a12_bit_1 -a12_bit0 -a12_bit1 -a12_bit2 -a12_bit3 -a12_bit4 -a12_bit5 -a12_bit6 -a12_bit7 -a12_bit8 -a12_bit9 -a12_bit10 -a12_bit11 -a12_bit12 -a13_bit_7 -a13_bit_6 -a13_bit_5 -a13_bit_4 -a13_bit_3 -a13_bit_2 -a13_bit_1 -a13_bit0 -a13_bit1 a13_bit2 -a13_bit3 -a13_bit4 -a13_bit5 -a13_bit6 -a13_bit7 -a13_bit8 -a13_bit9 -a13_bit10 -a13_bit11 -a13_bit12 -a14_bit_7 -a14_bit_6 a14_bit_5 a14_bit_4 a14_bit_3 a14_bit_2 a14_bit_1 a14_bit0 a14_bit1 a14_bit2 a14_bit3 -a14_bit4 a14_bit5 -a14_bit6 -a14_bit7 a14_bit8 -a14_bit9 -a14_bit10 -a14_bit11 -a14_bit12 -a15_bit_7 -a15_bit_6 -a15_bit_5 -a15_bit_4 -a15_bit_3 -a15_bit_2 -a15_bit_1 -a15_bit0 -a15_bit1 a15_bit2 -a15_bit3 -a15_bit4 a15_bit5 a15_bit6 -a15_bit7 -a15_bit8 -a15_bit9 -a15_bit10 -a15_bit11 -a15_bit12 -a16_bit_7 -a16_bit_6 -a16_bit_5 -a16_bit_4 -a16_bit_3 -a16_bit_2 -a16_bit_1 -a16_bit0 -a16_bit1 -a16_bit2 -a16_bit3 -a16_bit4 -a16_bit5 -a16_bit6 -a16_bit7 -a16_bit8 -a16_bit9 -a16_bit10 -a16_bit11 -a16_bit12 -a17_bit_7 -a17_bit_6 -a17_bit_5 -a17_bit_4 -a17_bit_3 -a17_bit_2 -a17_bit_1 -a17_bit0 -a17_bit1 -a17_bit2 -a17_bit3 -a17_bit4 -a17_bit5 -a17_bit6 -a17_bit7 -a17_bit8 -a17_bit9 -a17_bit10 -a17_bit11 -a17_bit12 -a18_bit_7 -a18_bit_6 -a18_bit_5 -a18_bit_4 -a18_bit_3 -a18_bit_2 -a18_bit_1 -a18_bit0 -a18_bit1 a18_bit2 -a18_bit3 a18_bit4 -a18_bit5 -a18_bit6 -a18_bit7 -a18_bit8 -a18_bit9 -a18_bit10 -a18_bit11 -a18_bit12 -a19_bit_7 -a19_bit_6 -a19_bit_5 -a19_bit_4 -a19_bit_3 -a19_bit_2 -a19_bit_1 -a19_bit0 -a19_bit1 -a19_bit2 -a19_bit3 -a19_bit4 -a19_bit5 -a19_bit6 -a19_bit7 -a19_bit8 -a19_bit9 -a19_bit10 -a19_bit11 -a19_bit12 -a20_bit_7 -a20_bit_6 -a20_bit_5 -a20_bit_4 -a20_bit_3 -a20_bit_2 -a20_bit_1 -a20_bit0 -a20_bit1 -a20_bit2 -a20_bit3 -a20_bit4 -a20_bit5 -a20_bit6 -a20_bit7 -a20_bit8 -a20_bit9 -a20_bit10 -a20_bit11 -a20_bit12 -a21_bit_7 -a21_bit_6 -a21_bit_5 -a21_bit_4 -a21_bit_3 -a21_bit_2 -a21_bit_1 -a21_bit0 -a21_bit1 -a21_bit2 -a21_bit3 -a21_bit4 -a21_bit5 -a21_bit6 -a21_bit7 -a21_bit8 -a21_bit9 -a21_bit10 -a21_bit11 -a21_bit12 -a22_bit_7 -a22_bit_6 -a22_bit_5 -a22_bit_4 -a22_bit_3 -a22_bit_2 -a22_bit_1 -a22_bit0 -a22_bit1 a22_bit2 -a22_bit3 -a22_bit4 a22_bit5 a22_bit6 -a22_bit7 -a22_bit8 -a22_bit9 -a22_bit10 -a22_bit11 -a22_bit12 -a23_bit_7 -a23_bit_6 -a23_bit_5 -a23_bit_4 -a23_bit_3 -a23_bit_2 -a23_bit_1 -a23_bit0 a23_bit1 -a23_bit2 -a23_bit3 a23_bit4 a23_bit5 -a23_bit6 -a23_bit7 -a23_bit8 -a23_bit9 -a23_bit10 -a23_bit11 -a23_bit12 b1_bit_7 b1_bit_6 b1_bit_5 b1_bit_4 b1_bit_3 b1_bit_2 b1_bit_1 b1_bit0 b1_bit1 b1_bit2 -b1_bit3 -b1_bit4 b1_bit5 b1_bit6 -b1_bit7 b1_bit8 b1_bit9 -b1_bit10 b1_bit11 -b1_bit12 b2_bit_7 b2_bit_6 b2_bit_5 b2_bit_4 b2_bit_3 b2_bit_2 b2_bit_1 b2_bit0 b2_bit1 b2_bit2 -b2_bit3 -b2_bit4 b2_bit5 b2_bit6 -b2_bit7 b2_bit8 b2_bit9 -b2_bit10 b2_bit11 -b2_bit12 b3_bit_7 b3_bit_6 b3_bit_5 b3_bit_4 b3_bit_3 b3_bit_2 b3_bit_1 b3_bit0 b3_bit1 b3_bit2 -b3_bit3 -b3_bit4 b3_bit5 b3_bit6 -b3_bit7 b3_bit8 b3_bit9 -b3_bit10 b3_bit11 -b3_bit12 b4_bit_7 b4_bit_6 b4_bit_5 b4_bit_4 b4_bit_3 b4_bit_2 b4_bit_1 b4_bit0 b4_bit1 b4_bit2 b4_bit3 b4_bit4 b4_bit5 b4_bit6 b4_bit7 b4_bit8 -b4_bit9 -b4_bit10 b4_bit11 -b4_bit12 b5_bit_7 b5_bit_6 b5_bit_5 b5_bit_4 b5_bit_3 b5_bit_2 b5_bit_1 b5_bit0 -b5_bit1 b5_bit2 -b5_bit3 b5_bit4 b5_bit5 b5_bit6 -b5_bit7 b5_bit8 -b5_bit9 -b5_bit10 b5_bit11 -b5_bit12 b6_bit_7 b6_bit_6 b6_bit_5 b6_bit_4 b6_bit_3 b6_bit_2 b6_bit_1 b6_bit0 b6_bit1 b6_bit2 -b6_bit3 b6_bit4 b6_bit5 -b6_bit6 b6_bit7 b6_bit8 -b6_bit9 b6_bit10 -b6_bit11 -b6_bit12 b7_bit_7 b7_bit_6 b7_bit_5 b7_bit_4 b7_bit_3 b7_bit_2 b7_bit_1 b7_bit0 b7_bit1 b7_bit2 b7_bit3 b7_bit4 -b7_bit5 b7_bit6 -b7_bit7 b7_bit8 b7_bit9 -b7_bit10 -b7_bit11 -b7_bit12 b8_bit_7 b8_bit_6 b8_bit_5 b8_bit_4 b8_bit_3 b8_bit_2 b8_bit_1 b8_bit0 b8_bit1 b8_bit2 -b8_bit3 b8_bit4 b8_bit5 -b8_bit6 -b8_bit7 b8_bit8 -b8_bit9 -b8_bit10 -b8_bit11 -b8_bit12 b9_bit_7 b9_bit_6 b9_bit_5 b9_bit_4 b9_bit_3 b9_bit_2 b9_bit_1 b9_bit0 b9_bit1 b9_bit2 -b9_bit3 b9_bit4 b9_bit5 -b9_bit6 -b9_bit7 b9_bit8 -b9_bit9 -b9_bit10 -b9_bit11 -b9_bit12 -b10_bit_7 -b10_bit_6 -b10_bit_5 -b10_bit_4 -b10_bit_3 -b10_bit_2 -b10_bit_1 -b10_bit0 -b10_bit1 b10_bit2 b10_bit3 -b10_bit4 b10_bit5 -b10_bit6 b10_bit7 b10_bit8 -b10_bit9 -b10_bit10 -b10_bit11 -b10_bit12 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 b11_bit2 -b11_bit3 -b11_bit4 -b11_bit5 -b11_bit6 -b11_bit7 b11_bit8 -b11_bit9 -b11_bit10 -b11_bit11 -b11_bit12 -b12_bit_7 -b12_bit_6 -b12_bit_5 -b12_bit_4 -b12_bit_3 -b12_bit_2 -b12_bit_1 -b12_bit0 -b12_bit1 b12_bit2 -b12_bit3 -b12_bit4 -b12_bit5 -b12_bit6 -b12_bit7 b12_bit8 -b12_bit9 -b12_bit10 -b12_bit11 -b12_bit12 -b13_bit_7 -b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 -b13_bit_2 -b13_bit_1 -b13_bit0 -b13_bit1 -b13_bit2 -b13_bit3 -b13_bit4 b13_bit5 b13_bit6 -b13_bit7 -b13_bit8 -b13_bit9 -b13_bit10 -b13_bit11 -b13_bit12 -b14_bit_7 -b14_bit_6 -b14_bit_5 -b14_bit_4 -b14_bit_3 -b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 -b14_bit7 -b14_bit8 -b14_bit9 -b14_bit10 -b14_bit11 -b14_bit12 -b15_bit_7 -b15_bit_6 -b15_bit_5 -b15_bit_4 -b15_bit_3 -b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 b15_bit2 -b15_bit3 b15_bit4 b15_bit5 -b15_bit6 b15_bit7 -b15_bit8 -b15_bit9 -b15_bit10 -b15_bit11 -b15_bit12 -b16_bit_7 -b16_bit_6 -b16_bit_5 -b16_bit_4 -b16_bit_3 -b16_bit_2 -b16_bit_1 -b16_bit0 -b16_bit1 b16_bit2 -b16_bit3 b16_bit4 b16_bit5 -b16_bit6 b16_bit7 -b16_bit8 -b16_bit9 -b16_bit10 -b16_bit11 -b16_bit12 -b17_bit_7 -b17_bit_6 -b17_bit_5 -b17_bit_4 -b17_bit_3 -b17_bit_2 -b17_bit_1 -b17_bit0 b17_bit1 b17_bit2 b17_bit3 b17_bit4 -b17_bit5 -b17_bit6 -b17_bit7 -b17_bit8 -b17_bit9 -b17_bit10 -b17_bit11 -b17_bit12 -b18_bit_7 -b18_bit_6 -b18_bit_5 -b18_bit_4 -b18_bit_3 -b18_bit_2 -b18_bit_1 -b18_bit0 -b18_bit1 -b18_bit2 -b18_bit3 -b18_bit4 -b18_bit5 -b18_bit6 -b18_bit7 -b18_bit8 -b18_bit9 -b18_bit10 -b18_bit11 -b18_bit12 -b19_bit_7 -b19_bit_6 -b19_bit_5 -b19_bit_4 -b19_bit_3 -b19_bit_2 -b19_bit_1 -b19_bit0 -b19_bit1 -b19_bit2 b19_bit3 b19_bit4 -b19_bit5 b19_bit6 -b19_bit7 -b19_bit8 b19_bit9 -b19_bit10 -b19_bit11 -b19_bit12 -b20_bit_7 -b20_bit_6 -b20_bit_5 -b20_bit_4 -b20_bit_3 -b20_bit_2 -b20_bit_1 -b20_bit0 -b20_bit1 -b20_bit2 b20_bit3 b20_bit4 -b20_bit5 b20_bit6 -b20_bit7 -b20_bit8 b20_bit9 -b20_bit10 -b20_bit11 -b20_bit12 -b21_bit_7 -b21_bit_6 -b21_bit_5 -b21_bit_4 -b21_bit_3 -b21_bit_2 -b21_bit_1 -b21_bit0 -b21_bit1 -b21_bit2 b21_bit3 -b21_bit4 -b21_bit5 b21_bit6 b21_bit7 -b21_bit8 -b21_bit9 -b21_bit10 -b21_bit11 -b21_bit12 -b22_bit_7 -b22_bit_6 -b22_bit_5 -b22_bit_4 -b22_bit_3 -b22_bit_2 -b22_bit_1 -b22_bit0 -b22_bit1 -b22_bit2 -b22_bit3 -b22_bit4 -b22_bit5 -b22_bit6 -b22_bit7 -b22_bit8 -b22_bit9 -b22_bit10 -b22_bit11 -b22_bit12 -b23_bit_7 -b23_bit_6 -b23_bit_5 -b23_bit_4 -b23_bit_3 -b23_bit_2 -b23_bit_1 -b23_bit0 -b23_bit1 -b23_bit2 -b23_bit3 -b23_bit4 -b23_bit5 -b23_bit6 -b23_bit7 -b23_bit8 -b23_bit9 -b23_bit10 -b23_bit11 -b23_bit12 -c1_bit0 -c2_bit0 -c3_bit0 -c4_bit0 -c5_bit0 -c6_bit0 -c7_bit0 -c8_bit0 -c9_bit0 -c10_bit0 -c11_bit0 -c12_bit0 -c13_bit0 -c14_bit0 -c15_bit0 -c16_bit0 -c17_bit0 -c18_bit0 -c19_bit0 -c20_bit0 -c21_bit0 -c22_bit0 -c23_bit0 -f1_bit_7 -f1_bit_6 -f1_bit_5 -f1_bit_4 -f1_bit_3 -f1_bit_2 -f1_bit_1 -f1_bit0 -f1_bit1 -f1_bit2 -f1_bit3 -f1_bit4 -f1_bit5 -f1_bit6 -f1_bit7 -f1_bit8 -f1_bit9 -f1_bit10 -f1_bit11 -f1_bit12 -f10_bit_7 -f10_bit_6 -f10_bit_5 -f10_bit_4 -f10_bit_3 -f10_bit_2 -f10_bit_1 -f10_bit0 -f10_bit1 -f10_bit2 f10_bit3 -f10_bit4 f10_bit5 -f10_bit6 f10_bit7 -f10_bit8 -f10_bit9 -f10_bit10 -f10_bit11 -f10_bit12 -f12_bit_7 -f12_bit_6 -f12_bit_5 -f12_bit_4 -f12_bit_3 -f12_bit_2 -f12_bit_1 -f12_bit0 -f12_bit1 f12_bit2 -f12_bit3 -f12_bit4 f12_bit5 -f12_bit6 f12_bit7 -f12_bit8 -f12_bit9 -f12_bit10 -f12_bit11 -f12_bit12 -f13_bit_7 -f13_bit_6 -f13_bit_5 -f13_bit_4 -f13_bit_3 -f13_bit_2 -f13_bit_1 -f13_bit0 -f13_bit1 -f13_bit2 -f13_bit3 -f13_bit4 f13_bit5 f13_bit6 -f13_bit7 -f13_bit8 -f13_bit9 -f13_bit10 -f13_bit11 -f13_bit12 -f15_bit_7 -f15_bit_6 -f15_bit_5 -f15_bit_4 -f15_bit_3 -f15_bit_2 -f15_bit_1 -f15_bit0 -f15_bit1 -f15_bit2 -f15_bit3 -f15_bit4 -f15_bit5 -f15_bit6 -f15_bit7 -f15_bit8 -f15_bit9 -f15_bit10 -f15_bit11 -f15_bit12 -f16_bit_7 -f16_bit_6 -f16_bit_5 -f16_bit_4 -f16_bit_3 -f16_bit_2 -f16_bit_1 -f16_bit0 f16_bit1 f16_bit2 -f16_bit3 f16_bit4 -f16_bit5 -f16_bit6 f16_bit7 -f16_bit8 -f16_bit9 -f16_bit10 -f16_bit11 -f16_bit12 -f17_bit_7 -f17_bit_6 -f17_bit_5 -f17_bit_4 -f17_bit_3 -f17_bit_2 -f17_bit_1 -f17_bit0 f17_bit1 f17_bit2 f17_bit3 f17_bit4 -f17_bit5 -f17_bit6 -f17_bit7 -f17_bit8 -f17_bit9 -f17_bit10 -f17_bit11 -f17_bit12 -f2_bit_7 -f2_bit_6 -f2_bit_5 -f2_bit_4 -f2_bit_3 -f2_bit_2 -f2_bit_1 -f2_bit0 -f2_bit1 -f2_bit2 -f2_bit3 -f2_bit4 -f2_bit5 -f2_bit6 -f2_bit7 -f2_bit8 -f2_bit9 -f2_bit10 -f2_bit11 -f2_bit12 -f20_bit_7 -f20_bit_6 -f20_bit_5 -f20_bit_4 -f20_bit_3 -f20_bit_2 -f20_bit_1 -f20_bit0 -f20_bit1 -f20_bit2 f20_bit3 f20_bit4 -f20_bit5 f20_bit6 -f20_bit7 -f20_bit8 f20_bit9 -f20_bit10 -f20_bit11 -f20_bit12 -f21_bit_7 -f21_bit_6 -f21_bit_5 -f21_bit_4 -f21_bit_3 -f21_bit_2 -f21_bit_1 -f21_bit0 -f21_bit1 -f21_bit2 f21_bit3 -f21_bit4 -f21_bit5 f21_bit6 f21_bit7 -f21_bit8 -f21_bit9 -f21_bit10 -f21_bit11 -f21_bit12 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 -f3_bit1 -f3_bit2 f3_bit3 -f3_bit4 f3_bit5 f3_bit6 -f3_bit7 f3_bit8 -f3_bit9 -f3_bit10 -f3_bit11 -f3_bit12 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 f4_bit1 -f4_bit2 f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 f4_bit7 -f4_bit8 -f4_bit9 -f4_bit10 -f4_bit11 -f4_bit12 f5_bit_7 f5_bit_6 f5_bit_5 f5_bit_4 f5_bit_3 f5_bit_2 f5_bit_1 f5_bit0 f5_bit1 f5_bit2 f5_bit3 f5_bit4 f5_bit5 f5_bit6 f5_bit7 -f5_bit8 -f5_bit9 -f5_bit10 -f5_bit11 -f5_bit12 -f6_bit_7 -f6_bit_6 -f6_bit_5 -f6_bit_4 -f6_bit_3 -f6_bit_2 -f6_bit_1 -f6_bit0 -f6_bit1 -f6_bit2 -f6_bit3 -f6_bit4 -f6_bit5 -f6_bit6 -f6_bit7 -f6_bit8 -f6_bit9 -f6_bit10 -f6_bit11 -f6_bit12 -f7_bit_7 -f7_bit_6 -f7_bit_5 -f7_bit_4 -f7_bit_3 -f7_bit_2 -f7_bit_1 -f7_bit0 -f7_bit1 -f7_bit2 -f7_bit3 -f7_bit4 f7_bit5 f7_bit6 -f7_bit7 f7_bit8 -f7_bit9 -f7_bit10 -f7_bit11 -f7_bit12 f9_bit_7 f9_bit_6 f9_bit_5 f9_bit_4 f9_bit_3 f9_bit_2 f9_bit_1 f9_bit0 f9_bit1 f9_bit2 -f9_bit3 f9_bit4 f9_bit5 -f9_bit6 -f9_bit7 f9_bit8 -f9_bit9 -f9_bit10 -f9_bit11 -f9_bit12 c objective function=43633148139800 c Total CPU time (ms) : 1238.982
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/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802723310 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 39 3 38 16 0 23 0 [pid=12452] 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/12452 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=12453 New thread pid=12454 New thread pid=12455 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=12456 New thread pid=12457 New thread pid=12458 New thread pid=12459 New thread pid=12460 New thread pid=12461 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/wulflinc9/normalized-mps-v2-13-7-bell3a.opb New thread pid=12462 [startup+10.002 s] Raw data (loadavg): 1.06 1.06 1.04 1/66 12462 Raw data (/proc/12452/stat): 12452 (java) T 12451 12452 30740 0 -1 0 18164 0 1 0 706 44 0 0 21 0 11 0 1802723310 859697152 20200 4294967295 134512640 134569956 3221224336 3221213672 1073952732 0 4 1 23758 3222434794 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 20200 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 7.5 Current children cumulated vsize (Kb) 839548 [startup+20.0025 s] Raw data (loadavg): 1.05 1.06 1.03 2/66 12462 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18172 0 1 0 1635 44 0 0 25 0 11 0 1802723310 859697152 20841 4294967295 134512640 134569956 3221224336 3221214408 1131694018 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 20841 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 16.79 Current children cumulated vsize (Kb) 839548 [startup+30.0032 s] Raw data (loadavg): 1.04 1.05 1.03 2/66 12462 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18180 0 1 0 2578 44 0 0 20 0 11 0 1802723310 859697152 21351 4294967295 134512640 134569956 3221224336 3221214536 1131436202 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 21351 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 26.22 Current children cumulated vsize (Kb) 839548 One traced child (pid=12462) exited with status: 0 New thread pid=12463 [startup+40.0041 s] Raw data (loadavg): 1.03 1.05 1.03 3/66 12463 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18232 3 1 0 3526 45 0 0 22 0 11 0 1802723310 859697152 21545 4294967295 134512640 134569956 3221224336 3221214612 1131435212 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 21545 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 35.71 Current children cumulated vsize (Kb) 839548 [startup+50.0048 s] Raw data (loadavg): 1.03 1.05 1.03 2/66 12463 Raw data (/proc/12452/stat): 12452 (java) S 12451 12452 30740 0 -1 0 18239 3 1 0 4471 45 0 0 25 0 11 0 1802723310 859697152 21978 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 21978 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 45.16 Current children cumulated vsize (Kb) 839548 [startup+60.0055 s] Raw data (loadavg): 1.02 1.05 1.03 2/66 12463 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18245 3 1 0 5416 46 0 0 25 0 11 0 1802723310 859697152 22059 4294967295 134512640 134569956 3221224336 3221214184 1085806307 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 22059 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 54.62 Current children cumulated vsize (Kb) 839548 [startup+70.0063 s] Raw data (loadavg): 1.02 1.05 1.03 3/66 12463 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18252 3 1 0 6347 46 0 0 18 0 11 0 1802723310 859697152 22312 4294967295 134512640 134569956 3221224336 3221214240 1131698308 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 22312 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 63.93 Current children cumulated vsize (Kb) 839548 One traced child (pid=12463) exited with status: 0 New thread pid=12464 [startup+80.0071 s] Raw data (loadavg): 1.02 1.04 1.03 2/66 12464 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18260 3 1 0 7270 47 0 0 18 0 11 0 1802723310 859697152 22523 4294967295 134512640 134569956 3221224336 3221214512 1131435492 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 22523 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 73.17 Current children cumulated vsize (Kb) 839548 One traced child (pid=12464) exited with status: 0 New thread pid=12465 [startup+90.0079 s] Raw data (loadavg): 1.01 1.04 1.03 2/66 12465 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18267 3 1 0 8216 47 0 0 25 0 11 0 1802723310 859697152 22639 4294967295 134512640 134569956 3221224336 3221214552 1131435665 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 22639 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 82.63 Current children cumulated vsize (Kb) 839548 [startup+100.008 s] Raw data (loadavg): 1.01 1.04 1.03 2/66 12465 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18275 3 1 0 9156 48 0 0 25 0 11 0 1802723310 859697152 22871 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 22871 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 92.04 Current children cumulated vsize (Kb) 839548 One traced child (pid=12465) exited with status: 0 New thread pid=12466 [startup+110.008 s] Raw data (loadavg): 1.01 1.04 1.03 2/66 12466 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18282 3 1 0 10121 48 0 0 25 0 11 0 1802723310 859697152 23162 4294967295 134512640 134569956 3221224336 3221214552 1131435687 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 23162 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 101.69 Current children cumulated vsize (Kb) 839548 One traced child (pid=12466) exited with status: 0 New thread pid=12467 [startup+120.009 s] Raw data (loadavg): 1.09 1.05 1.03 2/66 12467 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18289 3 1 0 11090 48 0 0 25 0 11 0 1802723310 859697152 23243 4294967295 134512640 134569956 3221224336 3221214464 1131399719 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 23243 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 111.38 Current children cumulated vsize (Kb) 839548 [startup+130.01 s] Raw data (loadavg): 1.07 1.05 1.03 2/66 12467 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18297 3 1 0 12054 49 0 0 25 0 11 0 1802723310 859697152 23383 4294967295 134512640 134569956 3221224336 3221214728 1131490736 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 23383 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 121.03 Current children cumulated vsize (Kb) 839548 [startup+140.011 s] Raw data (loadavg): 1.14 1.07 1.03 2/66 12467 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18304 3 1 0 13022 49 0 0 24 0 11 0 1802723310 859697152 23413 4294967295 134512640 134569956 3221224336 3221214572 1131057272 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 23413 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 130.71 Current children cumulated vsize (Kb) 839548 [startup+150.011 s] Raw data (loadavg): 1.12 1.06 1.03 2/66 12467 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18312 3 1 0 13988 50 0 0 17 0 11 0 1802723310 859697152 23486 4294967295 134512640 134569956 3221224336 3221214464 1131399713 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 23486 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 140.38 Current children cumulated vsize (Kb) 839548 One traced child (pid=12467) exited with status: 0 New thread pid=12468 [startup+160.011 s] Raw data (loadavg): 1.10 1.06 1.03 2/66 12468 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18321 3 1 0 14952 50 0 0 25 0 11 0 1802723310 859697152 23566 4294967295 134512640 134569956 3221224336 3221214552 1131435327 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 23566 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 839548 [startup+170.012 s] Raw data (loadavg): 1.08 1.06 1.03 2/66 12468 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18330 3 1 0 15916 50 0 0 25 0 11 0 1802723310 859697152 23690 4294967295 134512640 134569956 3221224336 3221214624 1131440807 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 23690 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 159.66 Current children cumulated vsize (Kb) 839548 [startup+180.013 s] Raw data (loadavg): 1.07 1.06 1.03 2/66 12468 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18337 3 1 0 16892 51 0 0 25 0 11 0 1802723310 859697152 23786 4294967295 134512640 134569956 3221224336 3221214552 1131436639 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 23786 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 169.43 Current children cumulated vsize (Kb) 839548 One traced child (pid=12468) exited with status: 0 New thread pid=12469 [startup+190.014 s] Raw data (loadavg): 1.06 1.05 1.03 2/66 12469 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18344 3 1 0 17869 51 0 0 25 0 11 0 1802723310 859697152 23851 4294967295 134512640 134569956 3221224336 3221214572 1131057186 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 23851 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 179.2 Current children cumulated vsize (Kb) 839548 [startup+200.014 s] Raw data (loadavg): 1.05 1.05 1.03 2/66 12469 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18349 3 1 0 18853 51 0 0 25 0 11 0 1802723310 859697152 23876 4294967295 134512640 134569956 3221224336 3221214656 1131495108 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 23876 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 189.04 Current children cumulated vsize (Kb) 839548 [startup+210.015 s] Raw data (loadavg): 1.04 1.05 1.03 2/66 12469 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18356 3 1 0 19830 51 0 0 22 0 11 0 1802723310 859697152 23934 4294967295 134512640 134569956 3221224336 3221214596 1131696064 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 23934 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 198.81 Current children cumulated vsize (Kb) 839548 One traced child (pid=12469) exited with status: 0 New thread pid=12470 [startup+220.016 s] Raw data (loadavg): 1.12 1.06 1.03 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18364 3 1 0 20803 52 0 0 25 0 11 0 1802723310 859697152 24011 4294967295 134512640 134569956 3221224336 3221214552 1131436127 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 24011 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 208.55 Current children cumulated vsize (Kb) 839548 [startup+230.017 s] Raw data (loadavg): 1.10 1.06 1.03 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18373 3 1 0 21771 52 0 0 25 0 11 0 1802723310 859697152 24058 4294967295 134512640 134569956 3221224336 3221214656 1131495059 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 24058 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 218.23 Current children cumulated vsize (Kb) 839548 [startup+240.017 s] Raw data (loadavg): 1.08 1.06 1.03 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18380 3 1 0 22746 52 0 0 25 0 11 0 1802723310 859697152 24129 4294967295 134512640 134569956 3221224336 3221214668 1131448236 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 24129 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 227.98 Current children cumulated vsize (Kb) 839548 [startup+250.018 s] Raw data (loadavg): 1.07 1.06 1.03 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18389 3 1 0 23713 52 0 0 25 0 11 0 1802723310 859697152 24168 4294967295 134512640 134569956 3221224336 3221214552 1131436124 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 24168 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 237.65 Current children cumulated vsize (Kb) 839548 [startup+260.019 s] Raw data (loadavg): 1.06 1.05 1.03 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18396 3 1 0 24687 53 0 0 25 0 11 0 1802723310 859697152 24257 4294967295 134512640 134569956 3221224336 3221214304 1131694028 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 24257 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 247.4 Current children cumulated vsize (Kb) 839548 [startup+270.02 s] Raw data (loadavg): 1.05 1.05 1.03 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18402 3 1 0 25667 53 0 0 25 0 11 0 1802723310 859697152 24344 4294967295 134512640 134569956 3221224336 3221214760 1131480163 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 24344 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 257.2 Current children cumulated vsize (Kb) 839548 [startup+280.02 s] Raw data (loadavg): 1.04 1.05 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18411 3 1 0 26617 53 0 0 21 0 11 0 1802723310 859697152 24394 4294967295 134512640 134569956 3221224336 3221214552 1131436076 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 24394 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 266.7 Current children cumulated vsize (Kb) 839548 [startup+290.021 s] Raw data (loadavg): 1.03 1.05 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18419 3 1 0 27566 54 0 0 25 0 11 0 1802723310 859697152 24465 4294967295 134512640 134569956 3221224336 3221214608 1131406169 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 24465 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 276.2 Current children cumulated vsize (Kb) 839548 [startup+300.022 s] Raw data (loadavg): 1.03 1.05 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18426 3 1 0 28522 54 0 0 22 0 11 0 1802723310 859697152 24490 4294967295 134512640 134569956 3221224336 3221214656 1131495074 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 24490 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 285.76 Current children cumulated vsize (Kb) 839548 [startup+310.022 s] Raw data (loadavg): 1.02 1.04 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18433 3 1 0 29476 55 0 0 25 0 11 0 1802723310 859697152 24569 4294967295 134512640 134569956 3221224336 3221214520 1131525461 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 24569 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 295.31 Current children cumulated vsize (Kb) 839548 [startup+320.023 s] Raw data (loadavg): 1.02 1.04 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18442 3 1 0 30436 55 0 0 21 0 11 0 1802723310 859697152 24895 4294967295 134512640 134569956 3221224336 3221214656 1131499439 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 24895 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 304.91 Current children cumulated vsize (Kb) 839548 [startup+330.023 s] Raw data (loadavg): 1.02 1.04 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18448 3 1 0 31409 56 0 0 25 0 11 0 1802723310 859697152 24989 4294967295 134512640 134569956 3221224336 3221214656 1131496176 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 24989 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 314.65 Current children cumulated vsize (Kb) 839548 [startup+340.024 s] Raw data (loadavg): 1.01 1.04 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18455 3 1 0 32376 57 0 0 17 0 11 0 1802723310 859697152 25020 4294967295 134512640 134569956 3221224336 3221214528 1131417321 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 25020 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 324.33 Current children cumulated vsize (Kb) 839548 [startup+350.025 s] Raw data (loadavg): 1.01 1.04 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18461 3 1 0 33344 58 0 0 25 0 11 0 1802723310 859697152 25078 4294967295 134512640 134569956 3221224336 3221214576 1131406152 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 25078 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 334.02 Current children cumulated vsize (Kb) 839548 [startup+360.026 s] Raw data (loadavg): 1.01 1.04 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18468 3 1 0 34303 58 0 0 19 0 11 0 1802723310 859697152 25111 4294967295 134512640 134569956 3221224336 3221214596 1131406139 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 25111 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 343.61 Current children cumulated vsize (Kb) 839548 [startup+370.026 s] Raw data (loadavg): 1.08 1.05 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18474 3 1 0 35267 59 0 0 25 0 11 0 1802723310 859697152 25243 4294967295 134512640 134569956 3221224336 3221214520 1131521829 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 25243 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 353.26 Current children cumulated vsize (Kb) 839548 [startup+380.027 s] Raw data (loadavg): 1.07 1.05 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18479 3 1 0 36238 59 0 0 25 0 11 0 1802723310 859697152 25296 4294967295 134512640 134569956 3221224336 3221214480 1131720134 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 25296 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 362.97 Current children cumulated vsize (Kb) 839548 [startup+390.028 s] Raw data (loadavg): 1.06 1.05 1.02 2/66 12470 Raw data (/proc/12452/stat): 12452 (java) S 12451 12452 30740 0 -1 0 18487 3 1 0 37198 59 0 0 25 0 11 0 1802723310 859697152 25384 4294967295 134512640 134569956 3221224336 3221213152 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 25384 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 372.57 Current children cumulated vsize (Kb) 839548 One traced child (pid=12470) exited with status: 0 New thread pid=12471 [startup+400.033 s] Raw data (loadavg): 1.05 1.04 1.02 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18494 3 1 0 38163 60 0 0 25 0 11 0 1802723310 859697152 25529 4294967295 134512640 134569956 3221224336 3221214552 1131435316 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 25529 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 382.23 Current children cumulated vsize (Kb) 839548 [startup+410.033 s] Raw data (loadavg): 1.04 1.04 1.02 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18500 3 1 0 39138 60 0 0 20 0 11 0 1802723310 859697152 25626 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 25626 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 391.98 Current children cumulated vsize (Kb) 839548 [startup+420.034 s] Raw data (loadavg): 1.03 1.04 1.02 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18507 3 1 0 40113 61 0 0 25 0 11 0 1802723310 859697152 25747 4294967295 134512640 134569956 3221224336 3221214608 1131406169 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 25747 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 401.74 Current children cumulated vsize (Kb) 839548 [startup+430.035 s] Raw data (loadavg): 1.03 1.04 1.02 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18514 3 1 0 41085 61 0 0 25 0 11 0 1802723310 859697152 25782 4294967295 134512640 134569956 3221224336 3221214528 1131417077 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 25782 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 411.46 Current children cumulated vsize (Kb) 839548 [startup+440.036 s] Raw data (loadavg): 1.02 1.04 1.01 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18522 3 1 0 42050 61 0 0 25 0 11 0 1802723310 859697152 25823 4294967295 134512640 134569956 3221224336 3221214520 1131417626 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 25823 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 421.11 Current children cumulated vsize (Kb) 839548 [startup+450.037 s] Raw data (loadavg): 1.02 1.03 1.01 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18530 3 1 0 43011 62 0 0 25 0 11 0 1802723310 859697152 25875 4294967295 134512640 134569956 3221224336 3221214656 1131496180 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 25875 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 430.73 Current children cumulated vsize (Kb) 839548 [startup+460.037 s] Raw data (loadavg): 1.02 1.03 1.01 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18539 3 1 0 43953 62 0 0 25 0 11 0 1802723310 859697152 25985 4294967295 134512640 134569956 3221224336 3221214656 1131496203 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 25985 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 440.15 Current children cumulated vsize (Kb) 839548 [startup+470.038 s] Raw data (loadavg): 1.01 1.03 1.01 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18547 3 1 0 44912 62 0 0 25 0 11 0 1802723310 859697152 26116 4294967295 134512640 134569956 3221224336 3221214520 1131417198 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 26116 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 449.74 Current children cumulated vsize (Kb) 839548 [startup+480.038 s] Raw data (loadavg): 1.01 1.03 1.01 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18553 3 1 0 45883 63 0 0 25 0 11 0 1802723310 859697152 26159 4294967295 134512640 134569956 3221224336 3221214656 1131497086 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 26159 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 459.46 Current children cumulated vsize (Kb) 839548 [startup+490.04 s] Raw data (loadavg): 1.01 1.03 1.01 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18559 3 1 0 46850 64 0 0 25 0 11 0 1802723310 859697152 26254 4294967295 134512640 134569956 3221224336 3221214552 1131435244 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 26254 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 469.14 Current children cumulated vsize (Kb) 839548 [startup+500.04 s] Raw data (loadavg): 1.01 1.03 1.01 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18566 3 1 0 47820 64 0 0 24 0 11 0 1802723310 859697152 26471 4294967295 134512640 134569956 3221224336 3221214760 1131480163 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 26471 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 478.84 Current children cumulated vsize (Kb) 839548 [startup+510.04 s] Raw data (loadavg): 1.00 1.03 1.01 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18571 3 1 0 48796 64 0 0 17 0 11 0 1802723310 859697152 26474 4294967295 134512640 134569956 3221224336 3221214656 1131496958 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 26474 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 488.6 Current children cumulated vsize (Kb) 839548 [startup+520.041 s] Raw data (loadavg): 1.00 1.02 1.01 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18578 3 1 0 49756 64 0 0 23 0 11 0 1802723310 859697152 26479 4294967295 134512640 134569956 3221224336 3221214536 1131439517 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 26479 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 498.2 Current children cumulated vsize (Kb) 839548 [startup+530.041 s] Raw data (loadavg): 1.00 1.02 1.01 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18586 3 1 0 50711 64 0 0 25 0 11 0 1802723310 859697152 26582 4294967295 134512640 134569956 3221224336 3221214272 1085759260 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 26582 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 507.75 Current children cumulated vsize (Kb) 839548 [startup+540.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18592 3 1 0 51682 64 0 0 25 0 11 0 1802723310 859697152 26705 4294967295 134512640 134569956 3221224336 3221214352 1131698236 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 26705 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 517.46 Current children cumulated vsize (Kb) 839548 [startup+550.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18601 3 1 0 52646 65 0 0 22 0 11 0 1802723310 859697152 26902 4294967295 134512640 134569956 3221224336 3221214624 1131440783 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 26902 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 527.11 Current children cumulated vsize (Kb) 839548 [startup+560.043 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18608 3 1 0 53625 66 0 0 16 0 11 0 1802723310 859697152 27028 4294967295 134512640 134569956 3221224336 3221214528 1131417463 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 27028 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 536.91 Current children cumulated vsize (Kb) 839548 [startup+570.044 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18616 3 1 0 54606 66 0 0 24 0 11 0 1802723310 859697152 27055 4294967295 134512640 134569956 3221224336 3221214552 1131435755 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 27055 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 546.72 Current children cumulated vsize (Kb) 839548 [startup+580.045 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18623 3 1 0 55588 66 0 0 25 0 11 0 1802723310 859697152 27079 4294967295 134512640 134569956 3221224336 3221214552 1131435774 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 27079 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 556.54 Current children cumulated vsize (Kb) 839548 [startup+590.046 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18631 3 1 0 56561 66 0 0 21 0 11 0 1802723310 859697152 27159 4294967295 134512640 134569956 3221224336 3221214616 1131492640 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 27159 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 566.27 Current children cumulated vsize (Kb) 839548 [startup+600.046 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18638 3 1 0 57539 67 0 0 25 0 11 0 1802723310 859697152 27159 4294967295 134512640 134569956 3221224336 3221214520 1131521131 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 27159 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 576.06 Current children cumulated vsize (Kb) 839548 [startup+610.047 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18645 3 1 0 58512 67 0 0 25 0 11 0 1802723310 859697152 27194 4294967295 134512640 134569956 3221224336 3221214552 1131435274 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 27194 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 585.79 Current children cumulated vsize (Kb) 839548 [startup+620.048 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18653 3 1 0 59476 67 0 0 25 0 11 0 1802723310 859697152 27269 4294967295 134512640 134569956 3221224336 3221214560 1131430350 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 27269 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 595.43 Current children cumulated vsize (Kb) 839548 [startup+630.048 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18661 3 1 0 60435 67 0 0 25 0 11 0 1802723310 859697152 27348 4294967295 134512640 134569956 3221224336 3221214528 1131417365 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 27348 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 605.02 Current children cumulated vsize (Kb) 839548 [startup+640.049 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) S 12451 12452 30740 0 -1 0 18669 3 1 0 61393 68 0 0 25 0 11 0 1802723310 859697152 27389 4294967295 134512640 134569956 3221224336 3221213192 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 27389 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 614.61 Current children cumulated vsize (Kb) 839548 [startup+650.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18677 3 1 0 62348 68 0 0 25 0 11 0 1802723310 859697152 27496 4294967295 134512640 134569956 3221224336 3221214552 1131435665 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 27496 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 624.16 Current children cumulated vsize (Kb) 839548 [startup+660.051 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18684 3 1 0 63309 68 0 0 25 0 11 0 1802723310 859697152 27616 4294967295 134512640 134569956 3221224336 3221214696 1131691212 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 27616 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 633.77 Current children cumulated vsize (Kb) 839548 [startup+670.051 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18691 3 1 0 64274 68 0 0 25 0 11 0 1802723310 859697152 27756 4294967295 134512640 134569956 3221224336 3221214592 1131490733 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 27756 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 643.42 Current children cumulated vsize (Kb) 839548 [startup+680.052 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18698 3 1 0 65236 68 0 0 25 0 11 0 1802723310 859697152 27827 4294967295 134512640 134569956 3221224336 3221214592 1131490798 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 27827 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 653.04 Current children cumulated vsize (Kb) 839548 [startup+690.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18705 3 1 0 66199 69 0 0 22 0 11 0 1802723310 859697152 27979 4294967295 134512640 134569956 3221224336 3221214552 1131435715 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 27979 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 662.68 Current children cumulated vsize (Kb) 839548 [startup+700.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18713 3 1 0 67164 69 0 0 24 0 11 0 1802723310 859697152 28044 4294967295 134512640 134569956 3221224336 3221214552 1131435741 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28044 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 672.33 Current children cumulated vsize (Kb) 839548 [startup+710.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18722 3 1 0 68124 69 0 0 18 0 11 0 1802723310 859697152 28150 4294967295 134512640 134569956 3221224336 3221214552 1131435858 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28150 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 681.93 Current children cumulated vsize (Kb) 839548 [startup+720.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18730 3 1 0 69092 70 0 0 25 0 11 0 1802723310 859697152 28380 4294967295 134512640 134569956 3221224336 3221214552 1131435233 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28380 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 691.62 Current children cumulated vsize (Kb) 839548 [startup+730.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18735 3 1 0 70072 70 0 0 25 0 11 0 1802723310 859697152 28399 4294967295 134512640 134569956 3221224336 3221214552 1131435270 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28399 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 701.42 Current children cumulated vsize (Kb) 839548 [startup+740.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18741 3 1 0 71045 70 0 0 25 0 11 0 1802723310 859697152 28399 4294967295 134512640 134569956 3221224336 3221214552 1131435782 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28399 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 711.15 Current children cumulated vsize (Kb) 839548 [startup+750.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18749 3 1 0 72012 70 0 0 25 0 11 0 1802723310 859697152 28511 4294967295 134512640 134569956 3221224336 3221214552 1131435874 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28511 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 720.82 Current children cumulated vsize (Kb) 839548 [startup+760.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18758 3 1 0 72981 70 0 0 25 0 11 0 1802723310 859697152 28589 4294967295 134512640 134569956 3221224336 3221214464 1131399717 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28589 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 730.51 Current children cumulated vsize (Kb) 839548 [startup+770.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18767 3 1 0 73960 71 0 0 21 0 11 0 1802723310 859697152 28690 4294967295 134512640 134569956 3221224336 3221214552 1131435932 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28690 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 740.31 Current children cumulated vsize (Kb) 839548 [startup+780.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18777 3 1 0 74949 71 0 0 25 0 11 0 1802723310 859697152 28715 4294967295 134512640 134569956 3221224336 3221214552 1131435586 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28715 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 750.2 Current children cumulated vsize (Kb) 839548 [startup+790.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18786 3 1 0 75941 71 0 0 17 0 11 0 1802723310 859697152 28724 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28724 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 760.12 Current children cumulated vsize (Kb) 839548 [startup+800.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12471 Raw data (/proc/12452/stat): 12452 (java) T 12451 12452 30740 0 -1 0 18794 3 1 0 76935 72 0 0 25 0 11 0 1802723310 859697152 28729 4294967295 134512640 134569956 3221224336 3221213384 1073952732 0 4 1 23758 3222434794 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28729 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 770.07 Current children cumulated vsize (Kb) 839548 One traced child (pid=12471) exited with status: 0 New thread pid=12472 [startup+810.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18801 3 1 0 77920 72 0 0 24 0 11 0 1802723310 859697152 28731 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28731 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 779.92 Current children cumulated vsize (Kb) 839548 [startup+820.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18810 3 1 0 78903 73 0 0 25 0 11 0 1802723310 859697152 28733 4294967295 134512640 134569956 3221224336 3221214552 1131435611 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28733 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 789.76 Current children cumulated vsize (Kb) 839548 [startup+830.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18819 3 1 0 79884 73 0 0 23 0 11 0 1802723310 859697152 28735 4294967295 134512640 134569956 3221224336 3221214656 1131496190 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28735 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 799.57 Current children cumulated vsize (Kb) 839548 [startup+840.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18829 3 1 0 80865 73 0 0 25 0 11 0 1802723310 859697152 28778 4294967295 134512640 134569956 3221224336 3221214528 1131417529 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28778 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 809.38 Current children cumulated vsize (Kb) 839548 [startup+850.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18838 3 1 0 81853 74 0 0 22 0 11 0 1802723310 859697152 28797 4294967295 134512640 134569956 3221224336 3221214552 1131435611 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28797 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 819.27 Current children cumulated vsize (Kb) 839548 [startup+860.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18846 3 1 0 82842 75 0 0 25 0 11 0 1802723310 859697152 28800 4294967295 134512640 134569956 3221224336 3221214552 1131694092 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28800 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 829.17 Current children cumulated vsize (Kb) 839548 [startup+870.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18853 3 1 0 83831 75 0 0 25 0 11 0 1802723310 859697152 28806 4294967295 134512640 134569956 3221224336 3221214216 1085806322 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28806 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 839.06 Current children cumulated vsize (Kb) 839548 [startup+880.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18861 3 1 0 84818 75 0 0 19 0 11 0 1802723310 859697152 28820 4294967295 134512640 134569956 3221224336 3221214552 1131435631 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28820 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 848.93 Current children cumulated vsize (Kb) 839548 [startup+890.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18870 3 1 0 85804 76 0 0 18 0 11 0 1802723310 859697152 28826 4294967295 134512640 134569956 3221224336 3221214552 1131435870 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28826 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 858.8 Current children cumulated vsize (Kb) 839548 [startup+900.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18877 3 1 0 86788 76 0 0 25 0 11 0 1802723310 859697152 28844 4294967295 134512640 134569956 3221224336 3221214552 1131435712 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28844 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 868.64 Current children cumulated vsize (Kb) 839548 [startup+910.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12472 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18883 3 1 0 87776 77 0 0 25 0 11 0 1802723310 859697152 28850 4294967295 134512640 134569956 3221224336 3221214552 1131436202 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28850 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 878.53 Current children cumulated vsize (Kb) 839548 [startup+920.069 s] Raw data (loadavg): 1.00 1.00 1.00 1/66 12472 Raw data (/proc/12452/stat): 12452 (java) T 12451 12452 30740 0 -1 0 18887 3 1 0 88767 77 0 0 25 0 11 0 1802723310 859697152 28852 4294967295 134512640 134569956 3221224336 3221213636 1074594577 0 4 1 23758 3222434794 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28852 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 888.44 Current children cumulated vsize (Kb) 839548 One traced child (pid=12472) exited with status: 0 New thread pid=12473 [startup+930.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18893 3 1 0 89751 78 0 0 24 0 11 0 1802723310 859697152 28853 4294967295 134512640 134569956 3221224336 3221214352 1085806307 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28853 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 898.29 Current children cumulated vsize (Kb) 839548 [startup+940.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18901 3 1 0 90731 79 0 0 21 0 11 0 1802723310 859697152 28880 4294967295 134512640 134569956 3221224336 3221214656 1131499421 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28880 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 908.1 Current children cumulated vsize (Kb) 839548 [startup+950.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18909 3 1 0 91710 79 0 0 25 0 11 0 1802723310 859697152 28889 4294967295 134512640 134569956 3221224336 3221214656 1131499519 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28889 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 917.89 Current children cumulated vsize (Kb) 839548 [startup+960.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18917 3 1 0 92688 80 0 0 25 0 11 0 1802723310 859697152 28906 4294967295 134512640 134569956 3221224336 3221214656 1131496176 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28906 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 927.68 Current children cumulated vsize (Kb) 839548 [startup+970.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18923 3 1 0 93673 80 0 0 24 0 11 0 1802723310 859697152 28947 4294967295 134512640 134569956 3221224336 3221214656 1131495071 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28947 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 937.53 Current children cumulated vsize (Kb) 839548 [startup+980.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18928 3 1 0 94660 81 0 0 25 0 11 0 1802723310 859697152 28948 4294967295 134512640 134569956 3221224336 3221214832 1131711479 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28948 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 947.41 Current children cumulated vsize (Kb) 839548 [startup+990.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18936 3 1 0 95639 81 0 0 25 0 11 0 1802723310 859697152 28981 4294967295 134512640 134569956 3221224336 3221214656 1131496136 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 28981 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 957.2 Current children cumulated vsize (Kb) 839548 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18942 3 1 0 96624 82 0 0 25 0 11 0 1802723310 859697152 28999 4294967295 134512640 134569956 3221224336 3221214552 1131435611 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 28999 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 967.06 Current children cumulated vsize (Kb) 839548 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18948 3 1 0 97607 82 0 0 18 0 11 0 1802723310 859697152 29004 4294967295 134512640 134569956 3221224336 3221214552 1131435475 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29004 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 976.89 Current children cumulated vsize (Kb) 839548 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18954 3 1 0 98590 82 0 0 19 0 11 0 1802723310 859697152 29026 4294967295 134512640 134569956 3221224336 3221214752 1131691000 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29026 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 986.72 Current children cumulated vsize (Kb) 839548 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18961 3 1 0 99571 82 0 0 25 0 11 0 1802723310 859697152 29059 4294967295 134512640 134569956 3221224336 3221214656 1131495074 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 29059 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 996.53 Current children cumulated vsize (Kb) 839548 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12473 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18968 3 1 0 100554 83 0 0 18 0 11 0 1802723310 859697152 29061 4294967295 134512640 134569956 3221224336 3221214552 1131435233 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29061 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1006.37 Current children cumulated vsize (Kb) 839548 One traced child (pid=12473) exited with status: 0 New thread pid=12474 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12474 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18975 3 1 0 101535 83 0 0 25 0 11 0 1802723310 859697152 29098 4294967295 134512640 134569956 3221224336 3221214656 1131694908 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29098 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1016.18 Current children cumulated vsize (Kb) 839548 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12474 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18983 3 1 0 102514 84 0 0 23 0 11 0 1802723310 859697152 29134 4294967295 134512640 134569956 3221224336 3221214656 1131495074 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 29134 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1025.98 Current children cumulated vsize (Kb) 839548 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12474 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 18992 3 1 0 103491 84 0 0 25 0 11 0 1802723310 859697152 29146 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29146 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1035.75 Current children cumulated vsize (Kb) 839548 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12474 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19000 3 1 0 104470 85 0 0 25 0 11 0 1802723310 859697152 29153 4294967295 134512640 134569956 3221224336 3221214552 1131435341 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29153 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1045.55 Current children cumulated vsize (Kb) 839548 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12474 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19008 3 1 0 105450 85 0 0 23 0 11 0 1802723310 859697152 29208 4294967295 134512640 134569956 3221224336 3221214552 1131435782 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 29208 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1055.35 Current children cumulated vsize (Kb) 839548 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12474 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19016 3 1 0 106432 85 0 0 25 0 11 0 1802723310 859697152 29232 4294967295 134512640 134569956 3221224336 3221214552 1131435225 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29232 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1065.17 Current children cumulated vsize (Kb) 839548 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12474 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19024 3 1 0 107415 86 0 0 23 0 11 0 1802723310 859697152 29247 4294967295 134512640 134569956 3221224336 3221214656 1131694761 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29247 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1075.01 Current children cumulated vsize (Kb) 839548 One traced child (pid=12474) exited with status: 0 New thread pid=12475 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12475 Raw data (/proc/12452/stat): 12452 (java) S 12451 12452 30740 0 -1 0 19033 3 1 0 108397 87 0 0 25 0 11 0 1802723310 859697152 29251 4294967295 134512640 134569956 3221224336 3221213152 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29251 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1084.84 Current children cumulated vsize (Kb) 839548 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12475 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19040 3 1 0 109378 87 0 0 25 0 11 0 1802723310 859697152 29276 4294967295 134512640 134569956 3221224336 3221214480 1131720206 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29276 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1094.65 Current children cumulated vsize (Kb) 839548 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12475 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19049 3 1 0 110358 88 0 0 21 0 11 0 1802723310 859697152 29291 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29291 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1104.46 Current children cumulated vsize (Kb) 839548 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12475 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19058 3 1 0 111339 88 0 0 25 0 11 0 1802723310 859697152 29296 4294967295 134512640 134569956 3221224336 3221214352 1131698226 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 29296 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1114.27 Current children cumulated vsize (Kb) 839548 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12475 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19067 3 1 0 112320 89 0 0 25 0 11 0 1802723310 859697152 29329 4294967295 134512640 134569956 3221224336 3221214656 1131495108 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 29329 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1124.09 Current children cumulated vsize (Kb) 839548 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12475 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19076 3 1 0 113305 89 0 0 19 0 11 0 1802723310 859697152 29359 4294967295 134512640 134569956 3221224336 3221214552 1131435576 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29359 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1133.94 Current children cumulated vsize (Kb) 839548 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12475 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19084 3 1 0 114293 90 0 0 25 0 11 0 1802723310 859697152 29363 4294967295 134512640 134569956 3221224336 3221214656 1131495129 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29363 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1143.83 Current children cumulated vsize (Kb) 839548 One traced child (pid=12475) exited with status: 0 New thread pid=12476 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12476 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19092 3 1 0 115277 90 0 0 23 0 11 0 1802723310 859697152 29367 4294967295 134512640 134569956 3221224336 3221214552 1131435600 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29367 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1153.67 Current children cumulated vsize (Kb) 839548 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12476 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19101 3 1 0 116257 91 0 0 18 0 11 0 1802723310 859697152 29386 4294967295 134512640 134569956 3221224336 3221214552 1131435665 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29386 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1163.48 Current children cumulated vsize (Kb) 839548 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12476 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19110 3 1 0 117236 91 0 0 25 0 11 0 1802723310 859697152 29389 4294967295 134512640 134569956 3221224336 3221214552 1131435301 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29389 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1173.27 Current children cumulated vsize (Kb) 839548 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12476 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19120 3 1 0 118211 92 0 0 25 0 11 0 1802723310 859697152 29426 4294967295 134512640 134569956 3221224336 3221214656 1131495007 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/12452/statm): 209887 29426 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1183.03 Current children cumulated vsize (Kb) 839548 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12476 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19129 3 1 0 119185 92 0 0 25 0 11 0 1802723310 859697152 29457 4294967295 134512640 134569956 3221224336 3221214656 1131496133 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29457 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1192.77 Current children cumulated vsize (Kb) 839548 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12476 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19139 3 1 0 120152 92 0 0 17 0 11 0 1802723310 859697152 29466 4294967295 134512640 134569956 3221224336 3221214656 1131496252 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29466 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1202.44 Current children cumulated vsize (Kb) 839548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 12476 Raw data (/proc/12452/stat): 12452 (java) R 12451 12452 30740 0 -1 0 19139 3 1 0 120152 92 0 0 17 0 11 0 1802723310 859697152 29466 4294967295 134512640 134569956 3221224336 3221214552 1131435344 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/12452/statm): 209887 29466 13129 16 0 209871 0 [pid=12452] vsize: 839548 Current children cumulated CPU time (s) 1202.44 Current children cumulated vsize (Kb) 839548 Sending SIGTERM to -12452 Sleeping 2 seconds New thread pid=12478 New thread pid=12479 One traced child (pid=12479) exited with status: 0 One traced child (pid=12461) exited with status: 0 One traced child (pid=12456) exited with status: 0 One traced child (pid=12453) exited with status: 143 One traced child (pid=12454) exited with status: 143 One traced child (pid=12457) exited with status: 143 One traced child (pid=12460) exited with status: 143 One traced child (pid=12455) exited with status: 143 One traced child (pid=12459) exited with status: 143 One traced child (pid=12476) exited with status: 143 One traced child (pid=12458) exited with status: 143 One traced child (pid=12478) exited with status: 143 One traced child (pid=12452) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1240.37 CPU time (s): 1248.64 CPU user time (s): 1246.86 CPU system time (s): 1.78073 CPU usage (%): 100.666 Max. virtual memory (cumulated for all children) (Kb): 839548
Verifier: OK 43633148139800