Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sample2.opb |
MD5SUM | d28092793cdc5a919be9a0f5974c70fe |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 48000 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 489 |
Biggest coefficient in the objective function | 3145728 |
Number of bits for the biggest coefficient in the objective function | 22 |
Sum of the numbers in the objective function | 69282750 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 3145728 |
Number of bits of the biggest number in a constraint | 22 |
Biggest sum of numbers in a constraint | 69282750 |
Number of bits of the biggest sum of numbers | 27 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 7.66783 |
Number of variables | 873 |
Total number of constraints | 67 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 43 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 100 |
LAUNCH ON wulflinc2 THE 2005-09-20 18:15:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6783 boxname=wulflinc2 idbench=923 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d28092793cdc5a919be9a0f5974c70fe /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sample2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sample2.opb IDLAUNCH: 6783 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 875704 kB Buffers: 33108 kB Cached: 100868 kB SwapCached: 1004 kB Active: 58176 kB Inactive: 78440 kB HighTotal: 131008 kB HighFree: 29064 kB LowTotal: 903652 kB LowFree: 846640 kB SwapTotal: 2097136 kB SwapFree: 2095552 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5608 kB Slab: 16700 kB Committed_AS: 72460 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 18:35:35 (client local time) WITH STATUS 143 IN 1232.58 SECONDS stats: 6783 0 1232.58 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/wulflinc2/normalized-mps-v2-13-7-sample2.opb c reading problem ... done. Time 1.392 ms. c #vars 873 c #constraints 67 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 84371 Current CPU time: 4.79 ms c CURRENT OPTIMUM= 60800 Current CPU time: 7.15 ms c CURRENT OPTIMUM= 58880 Current CPU time: 105.20 ms c starts : 8 c conflicts : 769 c decisions : 18417 c propagations : 77790 c inspects : 1357819 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 769 c root simplifications : 503 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 16787 c speed (decisions/second) : 16.391079023744236 c non guided choices 1174 c random choices 0 s SATISFIABLE v -I_0x2e__0x2e__0x2e__0x2e_F01_bit0 -I_0x2e__0x2e__0x2e__0x2e_F02_bit0 I_0x2e__0x2e__0x2e__0x2e_F03_bit0 -I_0x2e_W01W01_bit0 I_0x2e_W02W02_bit0 -I_0x2e_W03W03_bit0 I_0x2e_D01D01_bit0 I_0x2e_D02D02_bit0 I_0x2e_D03D03_bit0 -F_0x2e_F01W01_bit_7 -F_0x2e_F01W01_bit_6 -F_0x2e_F01W01_bit_5 -F_0x2e_F01W01_bit_4 -F_0x2e_F01W01_bit_3 -F_0x2e_F01W01_bit_2 -F_0x2e_F01W01_bit_1 -F_0x2e_F01W01_bit0 -F_0x2e_F01W01_bit1 -F_0x2e_F01W01_bit2 -F_0x2e_F01W01_bit3 -F_0x2e_F01W01_bit4 -F_0x2e_F01W01_bit5 -F_0x2e_F01W01_bit6 -F_0x2e_F01W01_bit7 -F_0x2e_F01W01_bit8 -F_0x2e_F01W01_bit9 -F_0x2e_F01W01_bit10 -F_0x2e_F01W01_bit11 -F_0x2e_F01W01_bit12 -F_0x2e_F01W02_bit_7 -F_0x2e_F01W02_bit_6 -F_0x2e_F01W02_bit_5 -F_0x2e_F01W02_bit_4 -F_0x2e_F01W02_bit_3 -F_0x2e_F01W02_bit_2 -F_0x2e_F01W02_bit_1 -F_0x2e_F01W02_bit0 -F_0x2e_F01W02_bit1 -F_0x2e_F01W02_bit2 -F_0x2e_F01W02_bit3 -F_0x2e_F01W02_bit4 -F_0x2e_F01W02_bit5 -F_0x2e_F01W02_bit6 -F_0x2e_F01W02_bit7 -F_0x2e_F01W02_bit8 -F_0x2e_F01W02_bit9 -F_0x2e_F01W02_bit10 -F_0x2e_F01W02_bit11 -F_0x2e_F01W02_bit12 -F_0x2e_F02W02_bit_7 -F_0x2e_F02W02_bit_6 -F_0x2e_F02W02_bit_5 -F_0x2e_F02W02_bit_4 -F_0x2e_F02W02_bit_3 -F_0x2e_F02W02_bit_2 -F_0x2e_F02W02_bit_1 -F_0x2e_F02W02_bit0 -F_0x2e_F02W02_bit1 -F_0x2e_F02W02_bit2 -F_0x2e_F02W02_bit3 -F_0x2e_F02W02_bit4 -F_0x2e_F02W02_bit5 -F_0x2e_F02W02_bit6 -F_0x2e_F02W02_bit7 -F_0x2e_F02W02_bit8 -F_0x2e_F02W02_bit9 -F_0x2e_F02W02_bit10 -F_0x2e_F02W02_bit11 -F_0x2e_F02W02_bit12 -F_0x2e_F02W03_bit_7 -F_0x2e_F02W03_bit_6 -F_0x2e_F02W03_bit_5 -F_0x2e_F02W03_bit_4 -F_0x2e_F02W03_bit_3 -F_0x2e_F02W03_bit_2 -F_0x2e_F02W03_bit_1 -F_0x2e_F02W03_bit0 -F_0x2e_F02W03_bit1 -F_0x2e_F02W03_bit2 -F_0x2e_F02W03_bit3 -F_0x2e_F02W03_bit4 -F_0x2e_F02W03_bit5 -F_0x2e_F02W03_bit6 -F_0x2e_F02W03_bit7 -F_0x2e_F02W03_bit8 -F_0x2e_F02W03_bit9 -F_0x2e_F02W03_bit10 -F_0x2e_F02W03_bit11 -F_0x2e_F02W03_bit12 -F_0x2e_F03W01_bit_7 -F_0x2e_F03W01_bit_6 -F_0x2e_F03W01_bit_5 -F_0x2e_F03W01_bit_4 -F_0x2e_F03W01_bit_3 -F_0x2e_F03W01_bit_2 -F_0x2e_F03W01_bit_1 -F_0x2e_F03W01_bit0 -F_0x2e_F03W01_bit1 -F_0x2e_F03W01_bit2 -F_0x2e_F03W01_bit3 -F_0x2e_F03W01_bit4 -F_0x2e_F03W01_bit5 -F_0x2e_F03W01_bit6 -F_0x2e_F03W01_bit7 -F_0x2e_F03W01_bit8 -F_0x2e_F03W01_bit9 -F_0x2e_F03W01_bit10 -F_0x2e_F03W01_bit11 -F_0x2e_F03W01_bit12 -F_0x2e_F03W03_bit_7 -F_0x2e_F03W03_bit_6 -F_0x2e_F03W03_bit_5 -F_0x2e_F03W03_bit_4 -F_0x2e_F03W03_bit_3 -F_0x2e_F03W03_bit_2 -F_0x2e_F03W03_bit_1 -F_0x2e_F03W03_bit0 -F_0x2e_F03W03_bit1 -F_0x2e_F03W03_bit2 -F_0x2e_F03W03_bit3 -F_0x2e_F03W03_bit4 -F_0x2e_F03W03_bit5 -F_0x2e_F03W03_bit6 -F_0x2e_F03W03_bit7 -F_0x2e_F03W03_bit8 -F_0x2e_F03W03_bit9 -F_0x2e_F03W03_bit10 -F_0x2e_F03W03_bit11 -F_0x2e_F03W03_bit12 -F_0x2e_W01D02_bit_7 -F_0x2e_W01D02_bit_6 -F_0x2e_W01D02_bit_5 -F_0x2e_W01D02_bit_4 -F_0x2e_W01D02_bit_3 -F_0x2e_W01D02_bit_2 -F_0x2e_W01D02_bit_1 -F_0x2e_W01D02_bit0 -F_0x2e_W01D02_bit1 -F_0x2e_W01D02_bit2 -F_0x2e_W01D02_bit3 -F_0x2e_W01D02_bit4 -F_0x2e_W01D02_bit5 -F_0x2e_W01D02_bit6 -F_0x2e_W01D02_bit7 -F_0x2e_W01D02_bit8 -F_0x2e_W01D02_bit9 -F_0x2e_W01D02_bit10 -F_0x2e_W01D02_bit11 -F_0x2e_W01D02_bit12 -F_0x2e_W01D03_bit_7 -F_0x2e_W01D03_bit_6 -F_0x2e_W01D03_bit_5 -F_0x2e_W01D03_bit_4 -F_0x2e_W01D03_bit_3 -F_0x2e_W01D03_bit_2 -F_0x2e_W01D03_bit_1 -F_0x2e_W01D03_bit0 -F_0x2e_W01D03_bit1 -F_0x2e_W01D03_bit2 -F_0x2e_W01D03_bit3 -F_0x2e_W01D03_bit4 -F_0x2e_W01D03_bit5 -F_0x2e_W01D03_bit6 -F_0x2e_W01D03_bit7 -F_0x2e_W01D03_bit8 -F_0x2e_W01D03_bit9 -F_0x2e_W01D03_bit10 -F_0x2e_W01D03_bit11 -F_0x2e_W01D03_bit12 -F_0x2e_W01D04_bit_7 -F_0x2e_W01D04_bit_6 -F_0x2e_W01D04_bit_5 -F_0x2e_W01D04_bit_4 -F_0x2e_W01D04_bit_3 -F_0x2e_W01D04_bit_2 -F_0x2e_W01D04_bit_1 -F_0x2e_W01D04_bit0 -F_0x2e_W01D04_bit1 -F_0x2e_W01D04_bit2 -F_0x2e_W01D04_bit3 -F_0x2e_W01D04_bit4 -F_0x2e_W01D04_bit5 -F_0x2e_W01D04_bit6 -F_0x2e_W01D04_bit7 -F_0x2e_W01D04_bit8 -F_0x2e_W01D04_bit9 -F_0x2e_W01D04_bit10 -F_0x2e_W01D04_bit11 -F_0x2e_W01D04_bit12 -F_0x2e_W02D01_bit_7 -F_0x2e_W02D01_bit_6 -F_0x2e_W02D01_bit_5 -F_0x2e_W02D01_bit_4 -F_0x2e_W02D01_bit_3 -F_0x2e_W02D01_bit_2 -F_0x2e_W02D01_bit_1 -F_0x2e_W02D01_bit0 -F_0x2e_W02D01_bit1 -F_0x2e_W02D01_bit2 -F_0x2e_W02D01_bit3 -F_0x2e_W02D01_bit4 -F_0x2e_W02D01_bit5 -F_0x2e_W02D01_bit6 -F_0x2e_W02D01_bit7 -F_0x2e_W02D01_bit8 -F_0x2e_W02D01_bit9 -F_0x2e_W02D01_bit10 -F_0x2e_W02D01_bit11 -F_0x2e_W02D01_bit12 -F_0x2e_W02D03_bit_7 -F_0x2e_W02D03_bit_6 -F_0x2e_W02D03_bit_5 -F_0x2e_W02D03_bit_4 -F_0x2e_W02D03_bit_3 -F_0x2e_W02D03_bit_2 -F_0x2e_W02D03_bit_1 F_0x2e_W02D03_bit0 F_0x2e_W02D03_bit1 F_0x2e_W02D03_bit2 F_0x2e_W02D03_bit3 -F_0x2e_W02D03_bit4 -F_0x2e_W02D03_bit5 -F_0x2e_W02D03_bit6 -F_0x2e_W02D03_bit7 -F_0x2e_W02D03_bit8 -F_0x2e_W02D03_bit9 -F_0x2e_W02D03_bit10 -F_0x2e_W02D03_bit11 -F_0x2e_W02D03_bit12 -F_0x2e_W02D04_bit_7 -F_0x2e_W02D04_bit_6 -F_0x2e_W02D04_bit_5 -F_0x2e_W02D04_bit_4 -F_0x2e_W02D04_bit_3 -F_0x2e_W02D04_bit_2 -F_0x2e_W02D04_bit_1 F_0x2e_W02D04_bit0 F_0x2e_W02D04_bit1 F_0x2e_W02D04_bit2 F_0x2e_W02D04_bit3 -F_0x2e_W02D04_bit4 -F_0x2e_W02D04_bit5 -F_0x2e_W02D04_bit6 -F_0x2e_W02D04_bit7 -F_0x2e_W02D04_bit8 -F_0x2e_W02D04_bit9 -F_0x2e_W02D04_bit10 -F_0x2e_W02D04_bit11 -F_0x2e_W02D04_bit12 -F_0x2e_W03D01_bit_7 -F_0x2e_W03D01_bit_6 -F_0x2e_W03D01_bit_5 -F_0x2e_W03D01_bit_4 -F_0x2e_W03D01_bit_3 -F_0x2e_W03D01_bit_2 -F_0x2e_W03D01_bit_1 -F_0x2e_W03D01_bit0 -F_0x2e_W03D01_bit1 -F_0x2e_W03D01_bit2 -F_0x2e_W03D01_bit3 -F_0x2e_W03D01_bit4 -F_0x2e_W03D01_bit5 -F_0x2e_W03D01_bit6 -F_0x2e_W03D01_bit7 -F_0x2e_W03D01_bit8 -F_0x2e_W03D01_bit9 -F_0x2e_W03D01_bit10 -F_0x2e_W03D01_bit11 -F_0x2e_W03D01_bit12 -F_0x2e_W03D02_bit_7 -F_0x2e_W03D02_bit_6 -F_0x2e_W03D02_bit_5 -F_0x2e_W03D02_bit_4 -F_0x2e_W03D02_bit_3 -F_0x2e_W03D02_bit_2 -F_0x2e_W03D02_bit_1 -F_0x2e_W03D02_bit0 -F_0x2e_W03D02_bit1 -F_0x2e_W03D02_bit2 -F_0x2e_W03D02_bit3 -F_0x2e_W03D02_bit4 -F_0x2e_W03D02_bit5 -F_0x2e_W03D02_bit6 -F_0x2e_W03D02_bit7 -F_0x2e_W03D02_bit8 -F_0x2e_W03D02_bit9 -F_0x2e_W03D02_bit10 -F_0x2e_W03D02_bit11 -F_0x2e_W03D02_bit12 -F_0x2e_W03D04_bit_7 -F_0x2e_W03D04_bit_6 -F_0x2e_W03D04_bit_5 -F_0x2e_W03D04_bit_4 -F_0x2e_W03D04_bit_3 -F_0x2e_W03D04_bit_2 -F_0x2e_W03D04_bit_1 -F_0x2e_W03D04_bit0 -F_0x2e_W03D04_bit1 -F_0x2e_W03D04_bit2 -F_0x2e_W03D04_bit3 -F_0x2e_W03D04_bit4 -F_0x2e_W03D04_bit5 -F_0x2e_W03D04_bit6 -F_0x2e_W03D04_bit7 -F_0x2e_W03D04_bit8 -F_0x2e_W03D04_bit9 -F_0x2e_W03D04_bit10 -F_0x2e_W03D04_bit11 -F_0x2e_W03D04_bit12 -F_0x2e_D01C01_bit_7 -F_0x2e_D01C01_bit_6 -F_0x2e_D01C01_bit_5 -F_0x2e_D01C01_bit_4 -F_0x2e_D01C01_bit_3 -F_0x2e_D01C01_bit_2 -F_0x2e_D01C01_bit_1 -F_0x2e_D01C01_bit0 -F_0x2e_D01C01_bit1 -F_0x2e_D01C01_bit2 -F_0x2e_D01C01_bit3 -F_0x2e_D01C01_bit4 -F_0x2e_D01C01_bit5 -F_0x2e_D01C01_bit6 -F_0x2e_D01C01_bit7 -F_0x2e_D01C01_bit8 -F_0x2e_D01C01_bit9 -F_0x2e_D01C01_bit10 -F_0x2e_D01C01_bit11 -F_0x2e_D01C01_bit12 -F_0x2e_D01C03_bit_7 -F_0x2e_D01C03_bit_6 -F_0x2e_D01C03_bit_5 -F_0x2e_D01C03_bit_4 -F_0x2e_D01C03_bit_3 -F_0x2e_D01C03_bit_2 -F_0x2e_D01C03_bit_1 -F_0x2e_D01C03_bit0 -F_0x2e_D01C03_bit1 -F_0x2e_D01C03_bit2 -F_0x2e_D01C03_bit3 -F_0x2e_D01C03_bit4 -F_0x2e_D01C03_bit5 -F_0x2e_D01C03_bit6 -F_0x2e_D01C03_bit7 -F_0x2e_D01C03_bit8 -F_0x2e_D01C03_bit9 -F_0x2e_D01C03_bit10 -F_0x2e_D01C03_bit11 -F_0x2e_D01C03_bit12 -F_0x2e_D02C01_bit_7 -F_0x2e_D02C01_bit_6 -F_0x2e_D02C01_bit_5 -F_0x2e_D02C01_bit_4 -F_0x2e_D02C01_bit_3 -F_0x2e_D02C01_bit_2 -F_0x2e_D02C01_bit_1 -F_0x2e_D02C01_bit0 -F_0x2e_D02C01_bit1 -F_0x2e_D02C01_bit2 -F_0x2e_D02C01_bit3 -F_0x2e_D02C01_bit4 -F_0x2e_D02C01_bit5 -F_0x2e_D02C01_bit6 -F_0x2e_D02C01_bit7 -F_0x2e_D02C01_bit8 -F_0x2e_D02C01_bit9 -F_0x2e_D02C01_bit10 -F_0x2e_D02C01_bit11 -F_0x2e_D02C01_bit12 -F_0x2e_D02C02_bit_7 -F_0x2e_D02C02_bit_6 -F_0x2e_D02C02_bit_5 -F_0x2e_D02C02_bit_4 -F_0x2e_D02C02_bit_3 -F_0x2e_D02C02_bit_2 -F_0x2e_D02C02_bit_1 -F_0x2e_D02C02_bit0 -F_0x2e_D02C02_bit1 -F_0x2e_D02C02_bit2 -F_0x2e_D02C02_bit3 -F_0x2e_D02C02_bit4 -F_0x2e_D02C02_bit5 -F_0x2e_D02C02_bit6 -F_0x2e_D02C02_bit7 -F_0x2e_D02C02_bit8 -F_0x2e_D02C02_bit9 -F_0x2e_D02C02_bit10 -F_0x2e_D02C02_bit11 -F_0x2e_D02C02_bit12 -F_0x2e_D03C01_bit_7 -F_0x2e_D03C01_bit_6 -F_0x2e_D03C01_bit_5 -F_0x2e_D03C01_bit_4 -F_0x2e_D03C01_bit_3 -F_0x2e_D03C01_bit_2 -F_0x2e_D03C01_bit_1 F_0x2e_D03C01_bit0 F_0x2e_D03C01_bit1 F_0x2e_D03C01_bit2 F_0x2e_D03C01_bit3 -F_0x2e_D03C01_bit4 -F_0x2e_D03C01_bit5 -F_0x2e_D03C01_bit6 -F_0x2e_D03C01_bit7 -F_0x2e_D03C01_bit8 -F_0x2e_D03C01_bit9 -F_0x2e_D03C01_bit10 -F_0x2e_D03C01_bit11 -F_0x2e_D03C01_bit12 -F_0x2e_D03C03_bit_7 -F_0x2e_D03C03_bit_6 -F_0x2e_D03C03_bit_5 -F_0x2e_D03C03_bit_4 -F_0x2e_D03C03_bit_3 -F_0x2e_D03C03_bit_2 -F_0x2e_D03C03_bit_1 -F_0x2e_D03C03_bit0 -F_0x2e_D03C03_bit1 -F_0x2e_D03C03_bit2 -F_0x2e_D03C03_bit3 -F_0x2e_D03C03_bit4 -F_0x2e_D03C03_bit5 -F_0x2e_D03C03_bit6 -F_0x2e_D03C03_bit7 -F_0x2e_D03C03_bit8 -F_0x2e_D03C03_bit9 -F_0x2e_D03C03_bit10 -F_0x2e_D03C03_bit11 -F_0x2e_D03C03_bit12 -F_0x2e_D04C01_bit_7 -F_0x2e_D04C01_bit_6 -F_0x2e_D04C01_bit_5 -F_0x2e_D04C01_bit_4 -F_0x2e_D04C01_bit_3 -F_0x2e_D04C01_bit_2 -F_0x2e_D04C01_bit_1 -F_0x2e_D04C01_bit0 -F_0x2e_D04C01_bit1 -F_0x2e_D04C01_bit2 -F_0x2e_D04C01_bit3 -F_0x2e_D04C01_bit4 -F_0x2e_D04C01_bit5 -F_0x2e_D04C01_bit6 -F_0x2e_D04C01_bit7 -F_0x2e_D04C01_bit8 -F_0x2e_D04C01_bit9 -F_0x2e_D04C01_bit10 -F_0x2e_D04C01_bit11 -F_0x2e_D04C01_bit12 -F_0x2e_D04C02_bit_7 -F_0x2e_D04C02_bit_6 -F_0x2e_D04C02_bit_5 -F_0x2e_D04C02_bit_4 -F_0x2e_D04C02_bit_3 -F_0x2e_D04C02_bit_2 -F_0x2e_D04C02_bit_1 F_0x2e_D04C02_bit0 F_0x2e_D04C02_bit1 F_0x2e_D04C02_bit2 F_0x2e_D04C02_bit3 -F_0x2e_D04C02_bit4 -F_0x2e_D04C02_bit5 -F_0x2e_D04C02_bit6 -F_0x2e_D04C02_bit7 -F_0x2e_D04C02_bit8 -F_0x2e_D04C02_bit9 -F_0x2e_D04C02_bit10 -F_0x2e_D04C02_bit11 -F_0x2e_D04C02_bit12 -F_0x2e_D04C03_bit_7 -F_0x2e_D04C03_bit_6 -F_0x2e_D04C03_bit_5 -F_0x2e_D04C03_bit_4 -F_0x2e_D04C03_bit_3 -F_0x2e_D04C03_bit_2 -F_0x2e_D04C03_bit_1 -F_0x2e_D04C03_bit0 -F_0x2e_D04C03_bit1 -F_0x2e_D04C03_bit2 -F_0x2e_D04C03_bit3 -F_0x2e_D04C03_bit4 -F_0x2e_D04C03_bit5 -F_0x2e_D04C03_bit6 -F_0x2e_D04C03_bit7 -F_0x2e_D04C03_bit8 -F_0x2e_D04C03_bit9 -F_0x2e_D04C03_bit10 -F_0x2e_D04C03_bit11 -F_0x2e_D04C03_bit12 -I_0x2e_D01C01_bit0 -I_0x2e_D01C02_bit0 -I_0x2e_D01C03_bit0 -I_0x2e_D02C01_bit0 -I_0x2e_D02C02_bit0 I_0x2e_D02C03_bit0 I_0x2e_D03C01_bit0 -I_0x2e_D03C02_bit0 -I_0x2e_D03C03_bit0 -I_0x2e_D04C01_bit0 I_0x2e_D04C02_bit0 -I_0x2e_D04C03_bit0 -F_0x2e_D04D04_bit_7 -F_0x2e_D04D04_bit_6 -F_0x2e_D04D04_bit_5 -F_0x2e_D04D04_bit_4 -F_0x2e_D04D04_bit_3 -F_0x2e_D04D04_bit_2 -F_0x2e_D04D04_bit_1 F_0x2e_D04D04_bit0 F_0x2e_D04D04_bit1 F_0x2e_D04D04_bit2 F_0x2e_D04D04_bit3 -F_0x2e_D04D04_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit0 -F_0x2e__0x2e__0x2e__0x2e_F01_bit1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit8 -F_0x2e__0x2e__0x2e__0x2e_F01_bit9 -F_0x2e__0x2e__0x2e__0x2e_F01_bit10 -F_0x2e__0x2e__0x2e__0x2e_F01_bit11 -F_0x2e__0x2e__0x2e__0x2e_F01_bit12 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit0 -F_0x2e__0x2e__0x2e__0x2e_F02_bit1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit8 -F_0x2e__0x2e__0x2e__0x2e_F02_bit9 -F_0x2e__0x2e__0x2e__0x2e_F02_bit10 -F_0x2e__0x2e__0x2e__0x2e_F02_bit11 -F_0x2e__0x2e__0x2e__0x2e_F02_bit12 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_1 F_0x2e__0x2e__0x2e__0x2e_F03_bit0 -F_0x2e__0x2e__0x2e__0x2e_F03_bit1 F_0x2e__0x2e__0x2e__0x2e_F03_bit2 F_0x2e__0x2e__0x2e__0x2e_F03_bit3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit4 F_0x2e__0x2e__0x2e__0x2e_F03_bit5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit8 -F_0x2e__0x2e__0x2e__0x2e_F03_bit9 -F_0x2e__0x2e__0x2e__0x2e_F03_bit10 -F_0x2e__0x2e__0x2e__0x2e_F03_bit11 -F_0x2e__0x2e__0x2e__0x2e_F03_bit12 -F_0x2e_D01C02_bit_7 -F_0x2e_D01C02_bit_6 -F_0x2e_D01C02_bit_5 -F_0x2e_D01C02_bit_4 -F_0x2e_D01C02_bit_3 -F_0x2e_D01C02_bit_2 -F_0x2e_D01C02_bit_1 -F_0x2e_D01C02_bit0 -F_0x2e_D01C02_bit1 -F_0x2e_D01C02_bit2 -F_0x2e_D01C02_bit3 -F_0x2e_D01C02_bit4 -F_0x2e_D01C02_bit5 -F_0x2e_D01C02_bit6 -F_0x2e_D01C02_bit7 -F_0x2e_D01C02_bit8 -F_0x2e_D01C02_bit9 -F_0x2e_D01C02_bit10 -F_0x2e_D01C02_bit11 -F_0x2e_D01C02_bit12 -F_0x2e_D03C02_bit_7 -F_0x2e_D03C02_bit_6 -F_0x2e_D03C02_bit_5 -F_0x2e_D03C02_bit_4 -F_0x2e_D03C02_bit_3 -F_0x2e_D03C02_bit_2 -F_0x2e_D03C02_bit_1 -F_0x2e_D03C02_bit0 -F_0x2e_D03C02_bit1 -F_0x2e_D03C02_bit2 -F_0x2e_D03C02_bit3 -F_0x2e_D03C02_bit4 -F_0x2e_D03C02_bit5 -F_0x2e_D03C02_bit6 -F_0x2e_D03C02_bit7 -F_0x2e_D03C02_bit8 -F_0x2e_D03C02_bit9 -F_0x2e_D03C02_bit10 -F_0x2e_D03C02_bit11 -F_0x2e_D03C02_bit12 -F_0x2e_D02C03_bit_7 -F_0x2e_D02C03_bit_6 -F_0x2e_D02C03_bit_5 -F_0x2e_D02C03_bit_4 -F_0x2e_D02C03_bit_3 -F_0x2e_D02C03_bit_2 -F_0x2e_D02C03_bit_1 F_0x2e_D02C03_bit0 F_0x2e_D02C03_bit1 F_0x2e_D02C03_bit2 F_0x2e_D02C03_bit3 -F_0x2e_D02C03_bit4 -F_0x2e_D02C03_bit5 -F_0x2e_D02C03_bit6 -F_0x2e_D02C03_bit7 -F_0x2e_D02C03_bit8 -F_0x2e_D02C03_bit9 -F_0x2e_D02C03_bit10 -F_0x2e_D02C03_bit11 -F_0x2e_D02C03_bit12 -F_0x2e_W01D01_bit_7 -F_0x2e_W01D01_bit_6 -F_0x2e_W01D01_bit_5 -F_0x2e_W01D01_bit_4 -F_0x2e_W01D01_bit_3 -F_0x2e_W01D01_bit_2 -F_0x2e_W01D01_bit_1 -F_0x2e_W01D01_bit0 -F_0x2e_W01D01_bit1 -F_0x2e_W01D01_bit2 -F_0x2e_W01D01_bit3 -F_0x2e_W01D01_bit4 -F_0x2e_W01D01_bit5 -F_0x2e_W01D01_bit6 -F_0x2e_W01D01_bit7 -F_0x2e_W01D01_bit8 -F_0x2e_W01D01_bit9 -F_0x2e_W01D01_bit10 -F_0x2e_W01D01_bit11 -F_0x2e_W01D01_bit12 -F_0x2e_D01D01_bit_7 -F_0x2e_D01D01_bit_6 -F_0x2e_D01D01_bit_5 -F_0x2e_D01D01_bit_4 -F_0x2e_D01D01_bit_3 -F_0x2e_D01D01_bit_2 -F_0x2e_D01D01_bit_1 -F_0x2e_D01D01_bit0 -F_0x2e_D01D01_bit1 -F_0x2e_D01D01_bit2 -F_0x2e_D01D01_bit3 -F_0x2e_D01D01_bit4 -F_0x2e_D01D01_bit5 -F_0x2e_D01D01_bit6 -F_0x2e_D01D01_bit7 -F_0x2e_D01D01_bit8 -F_0x2e_D01D01_bit9 -F_0x2e_D01D01_bit10 -F_0x2e_D01D01_bit11 -F_0x2e_D01D01_bit12 -F_0x2e_W02D02_bit_7 -F_0x2e_W02D02_bit_6 -F_0x2e_W02D02_bit_5 -F_0x2e_W02D02_bit_4 -F_0x2e_W02D02_bit_3 -F_0x2e_W02D02_bit_2 -F_0x2e_W02D02_bit_1 F_0x2e_W02D02_bit0 F_0x2e_W02D02_bit1 F_0x2e_W02D02_bit2 F_0x2e_W02D02_bit3 -F_0x2e_W02D02_bit4 -F_0x2e_W02D02_bit5 -F_0x2e_W02D02_bit6 -F_0x2e_W02D02_bit7 -F_0x2e_W02D02_bit8 -F_0x2e_W02D02_bit9 -F_0x2e_W02D02_bit10 -F_0x2e_W02D02_bit11 -F_0x2e_W02D02_bit12 -F_0x2e_D02D02_bit_7 -F_0x2e_D02D02_bit_6 -F_0x2e_D02D02_bit_5 -F_0x2e_D02D02_bit_4 -F_0x2e_D02D02_bit_3 -F_0x2e_D02D02_bit_2 -F_0x2e_D02D02_bit_1 F_0x2e_D02D02_bit0 F_0x2e_D02D02_bit1 F_0x2e_D02D02_bit2 F_0x2e_D02D02_bit3 -F_0x2e_D02D02_bit4 -F_0x2e_D02D02_bit5 -F_0x2e_D02D02_bit6 -F_0x2e_D02D02_bit7 -F_0x2e_D02D02_bit8 -F_0x2e_D02D02_bit9 -F_0x2e_D02D02_bit10 -F_0x2e_D02D02_bit11 -F_0x2e_D02D02_bit12 -F_0x2e_W03D03_bit_7 -F_0x2e_W03D03_bit_6 -F_0x2e_W03D03_bit_5 -F_0x2e_W03D03_bit_4 -F_0x2e_W03D03_bit_3 -F_0x2e_W03D03_bit_2 -F_0x2e_W03D03_bit_1 -F_0x2e_W03D03_bit0 -F_0x2e_W03D03_bit1 -F_0x2e_W03D03_bit2 -F_0x2e_W03D03_bit3 -F_0x2e_W03D03_bit4 -F_0x2e_W03D03_bit5 -F_0x2e_W03D03_bit6 -F_0x2e_W03D03_bit7 -F_0x2e_W03D03_bit8 -F_0x2e_W03D03_bit9 -F_0x2e_W03D03_bit10 -F_0x2e_W03D03_bit11 -F_0x2e_W03D03_bit12 -F_0x2e_D03D03_bit_7 -F_0x2e_D03D03_bit_6 -F_0x2e_D03D03_bit_5 -F_0x2e_D03D03_bit_4 -F_0x2e_D03D03_bit_3 -F_0x2e_D03D03_bit_2 -F_0x2e_D03D03_bit_1 F_0x2e_D03D03_bit0 F_0x2e_D03D03_bit1 F_0x2e_D03D03_bit2 F_0x2e_D03D03_bit3 -F_0x2e_D03D03_bit4 -F_0x2e_D03D03_bit5 -F_0x2e_D03D03_bit6 -F_0x2e_D03D03_bit7 -F_0x2e_D03D03_bit8 -F_0x2e_D03D03_bit9 -F_0x2e_D03D03_bit10 -F_0x2e_D03D03_bit11 -F_0x2e_D03D03_bit12 -F_0x2e_F01W03_bit_7 -F_0x2e_F01W03_bit_6 -F_0x2e_F01W03_bit_5 -F_0x2e_F01W03_bit_4 -F_0x2e_F01W03_bit_3 -F_0x2e_F01W03_bit_2 -F_0x2e_F01W03_bit_1 -F_0x2e_F01W03_bit0 -F_0x2e_F01W03_bit1 -F_0x2e_F01W03_bit2 -F_0x2e_F01W03_bit3 -F_0x2e_F01W03_bit4 -F_0x2e_F01W03_bit5 -F_0x2e_F01W03_bit6 -F_0x2e_F01W03_bit7 -F_0x2e_F01W03_bit8 -F_0x2e_F01W03_bit9 -F_0x2e_F01W03_bit10 -F_0x2e_F01W03_bit11 -F_0x2e_F01W03_bit12 -F_0x2e_F02W01_bit_7 -F_0x2e_F02W01_bit_6 -F_0x2e_F02W01_bit_5 -F_0x2e_F02W01_bit_4 -F_0x2e_F02W01_bit_3 -F_0x2e_F02W01_bit_2 -F_0x2e_F02W01_bit_1 -F_0x2e_F02W01_bit0 -F_0x2e_F02W01_bit1 -F_0x2e_F02W01_bit2 -F_0x2e_F02W01_bit3 -F_0x2e_F02W01_bit4 -F_0x2e_F02W01_bit5 -F_0x2e_F02W01_bit6 -F_0x2e_F02W01_bit7 -F_0x2e_F02W01_bit8 -F_0x2e_F02W01_bit9 -F_0x2e_F02W01_bit10 -F_0x2e_F02W01_bit11 -F_0x2e_F02W01_bit12 -F_0x2e_F03W02_bit_7 -F_0x2e_F03W02_bit_6 -F_0x2e_F03W02_bit_5 -F_0x2e_F03W02_bit_4 -F_0x2e_F03W02_bit_3 -F_0x2e_F03W02_bit_2 -F_0x2e_F03W02_bit_1 F_0x2e_F03W02_bit0 -F_0x2e_F03W02_bit1 F_0x2e_F03W02_bit2 F_0x2e_F03W02_bit3 -F_0x2e_F03W02_bit4 F_0x2e_F03W02_bit5 -F_0x2e_F03W02_bit6 -F_0x2e_F03W02_bit7 -F_0x2e_F03W02_bit8 -F_0x2e_F03W02_bit9 -F_0x2e_F03W02_bit10 -F_0x2e_F03W02_bit11 -F_0x2e_F03W02_bit12 -F_0x2e_W01W01_bit_7 -F_0x2e_W01W01_bit_6 -F_0x2e_W01W01_bit_5 -F_0x2e_W01W01_bit_4 -F_0x2e_W01W01_bit_3 -F_0x2e_W01W01_bit_2 -F_0x2e_W01W01_bit_1 -F_0x2e_W01W01_bit0 -F_0x2e_W01W01_bit1 -F_0x2e_W01W01_bit2 -F_0x2e_W01W01_bit3 -F_0x2e_W01W01_bit4 -F_0x2e_W01W01_bit5 -F_0x2e_W01W01_bit6 -F_0x2e_W01W01_bit7 -F_0x2e_W01W01_bit8 -F_0x2e_W01W01_bit9 -F_0x2e_W01W01_bit10 -F_0x2e_W01W01_bit11 -F_0x2e_W01W01_bit12 -F_0x2e_W02W02_bit_7 -F_0x2e_W02W02_bit_6 -F_0x2e_W02W02_bit_5 -F_0x2e_W02W02_bit_4 -F_0x2e_W02W02_bit_3 -F_0x2e_W02W02_bit_2 -F_0x2e_W02W02_bit_1 F_0x2e_W02W02_bit0 -F_0x2e_W02W02_bit1 F_0x2e_W02W02_bit2 F_0x2e_W02W02_bit3 -F_0x2e_W02W02_bit4 F_0x2e_W02W02_bit5 -F_0x2e_W02W02_bit6 -F_0x2e_W02W02_bit7 -F_0x2e_W02W02_bit8 -F_0x2e_W02W02_bit9 -F_0x2e_W02W02_bit10 -F_0x2e_W02W02_bit11 -F_0x2e_W02W02_bit12 -F_0x2e_W03W03_bit_7 -F_0x2e_W03W03_bit_6 -F_0x2e_W03W03_bit_5 -F_0x2e_W03W03_bit_4 -F_0x2e_W03W03_bit_3 -F_0x2e_W03W03_bit_2 -F_0x2e_W03W03_bit_1 -F_0x2e_W03W03_bit0 -F_0x2e_W03W03_bit1 -F_0x2e_W03W03_bit2 -F_0x2e_W03W03_bit3 -F_0x2e_W03W03_bit4 -F_0x2e_W03W03_bit5 -F_0x2e_W03W03_bit6 -F_0x2e_W03W03_bit7 -F_0x2e_W03W03_bit8 -F_0x2e_W03W03_bit9 -F_0x2e_W03W03_bit10 -F_0x2e_W03W03_bit11 -F_0x2e_W03W03_bit12 c objective function=58880 c Total CPU time (ms) : 1228.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/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1802403255 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 39 3 38 16 0 23 0 [pid=15329] 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/15329 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=15330 New thread pid=15331 New thread pid=15332 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=15333 New thread pid=15334 New thread pid=15335 New thread pid=15336 New thread pid=15337 New thread pid=15338 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/wulflinc2/normalized-mps-v2-13-7-sample2.opb New thread pid=15339 One traced child (pid=15339) exited with status: 0 New thread pid=15340 One traced child (pid=15340) exited with status: 0 New thread pid=15341 [startup+10.0024 s] Raw data (loadavg): 1.12 1.03 0.98 2/66 15341 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18183 4 1 0 692 50 0 0 23 0 11 0 1802403255 861990912 20808 4294967295 134512640 134569956 3221224336 3221214648 1131483583 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210447 20808 13129 16 0 210431 0 [pid=15329] vsize: 841788 Current children cumulated CPU time (s) 7.42 Current children cumulated vsize (Kb) 841788 [startup+20.0031 s] Raw data (loadavg): 1.10 1.03 0.98 2/66 15341 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18196 4 1 0 1617 50 0 0 22 0 11 0 1802403255 861958144 21018 4294967295 134512640 134569956 3221224336 3221214560 1131397957 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 21018 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 16.67 Current children cumulated vsize (Kb) 841756 [startup+30.0038 s] Raw data (loadavg): 1.08 1.03 0.98 2/66 15341 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18205 4 1 0 2576 51 0 0 20 0 11 0 1802403255 861958144 21111 4294967295 134512640 134569956 3221224336 3221214648 1131480996 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 21111 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 26.27 Current children cumulated vsize (Kb) 841756 [startup+40.0053 s] Raw data (loadavg): 1.15 1.04 0.99 1/66 15341 Raw data (/proc/15329/stat): 15329 (java) S 15328 15329 6872 0 -1 0 18214 4 1 0 3533 51 0 0 17 0 11 0 1802403255 861958144 21208 4294967295 134512640 134569956 3221224336 3221213232 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 21208 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 35.84 Current children cumulated vsize (Kb) 841756 [startup+50.0062 s] Raw data (loadavg): 1.13 1.04 0.99 2/66 15341 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18221 4 1 0 4507 52 0 0 25 0 11 0 1802403255 861958144 21506 4294967295 134512640 134569956 3221224336 3221214584 1131535625 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 21506 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 45.59 Current children cumulated vsize (Kb) 841756 [startup+60.0069 s] Raw data (loadavg): 1.11 1.04 0.99 2/66 15341 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18230 4 1 0 5486 53 0 0 25 0 11 0 1802403255 861958144 21560 4294967295 134512640 134569956 3221224336 3221214488 1131381962 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 21560 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 55.39 Current children cumulated vsize (Kb) 841756 [startup+70.0076 s] Raw data (loadavg): 1.09 1.04 0.99 2/66 15341 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18239 4 1 0 6462 53 0 0 25 0 11 0 1802403255 861958144 21600 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 21600 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 65.15 Current children cumulated vsize (Kb) 841756 [startup+80.0083 s] Raw data (loadavg): 1.08 1.03 0.99 2/66 15341 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18249 4 1 0 7431 53 0 0 25 0 11 0 1802403255 861958144 21662 4294967295 134512640 134569956 3221224336 3221214552 1131344386 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 21662 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 74.84 Current children cumulated vsize (Kb) 841756 [startup+90.009 s] Raw data (loadavg): 1.06 1.03 0.99 2/66 15341 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18258 4 1 0 8402 54 0 0 25 0 11 0 1802403255 861958144 21748 4294967295 134512640 134569956 3221224336 3221214560 1131398672 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 21748 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 84.56 Current children cumulated vsize (Kb) 841756 [startup+100.009 s] Raw data (loadavg): 1.05 1.03 0.99 2/66 15341 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18268 4 1 0 9375 54 0 0 25 0 11 0 1802403255 861958144 21841 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 21841 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 94.29 Current children cumulated vsize (Kb) 841756 One traced child (pid=15341) exited with status: 0 New thread pid=15342 [startup+110.01 s] Raw data (loadavg): 1.04 1.03 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18278 4 1 0 10353 55 0 0 19 0 11 0 1802403255 861958144 21902 4294967295 134512640 134569956 3221224336 3221214648 1131476924 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 21902 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 104.08 Current children cumulated vsize (Kb) 841756 [startup+120.011 s] Raw data (loadavg): 1.04 1.03 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18287 4 1 0 11330 55 0 0 19 0 11 0 1802403255 861958144 21968 4294967295 134512640 134569956 3221224336 3221214648 1131483366 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 21968 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 113.85 Current children cumulated vsize (Kb) 841756 [startup+130.011 s] Raw data (loadavg): 1.03 1.03 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18294 4 1 0 12311 55 0 0 25 0 11 0 1802403255 861958144 22012 4294967295 134512640 134569956 3221224336 3221214600 1131456048 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22012 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 123.66 Current children cumulated vsize (Kb) 841756 [startup+140.012 s] Raw data (loadavg): 1.03 1.03 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18303 4 1 0 13285 56 0 0 19 0 11 0 1802403255 861958144 22035 4294967295 134512640 134569956 3221224336 3221214560 1131398073 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22035 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 133.41 Current children cumulated vsize (Kb) 841756 [startup+150.012 s] Raw data (loadavg): 1.02 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18313 4 1 0 14255 56 0 0 16 0 11 0 1802403255 861958144 22133 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22133 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 143.11 Current children cumulated vsize (Kb) 841756 [startup+160.013 s] Raw data (loadavg): 1.02 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18322 4 1 0 15234 57 0 0 25 0 11 0 1802403255 861958144 22192 4294967295 134512640 134569956 3221224336 3221214560 1131399519 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22192 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 152.91 Current children cumulated vsize (Kb) 841756 [startup+170.014 s] Raw data (loadavg): 1.01 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18331 4 1 0 16216 58 0 0 25 0 11 0 1802403255 861958144 22251 4294967295 134512640 134569956 3221224336 3221214644 1131367456 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22251 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 162.74 Current children cumulated vsize (Kb) 841756 [startup+180.014 s] Raw data (loadavg): 1.01 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18341 4 1 0 17198 58 0 0 18 0 11 0 1802403255 861958144 22287 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22287 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 172.56 Current children cumulated vsize (Kb) 841756 [startup+190.015 s] Raw data (loadavg): 1.01 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18350 4 1 0 18181 58 0 0 25 0 11 0 1802403255 861958144 22311 4294967295 134512640 134569956 3221224336 3221214648 1131481041 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22311 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 182.39 Current children cumulated vsize (Kb) 841756 [startup+200.016 s] Raw data (loadavg): 1.01 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18360 4 1 0 19162 59 0 0 25 0 11 0 1802403255 861958144 22366 4294967295 134512640 134569956 3221224336 3221214648 1131479170 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22366 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 192.21 Current children cumulated vsize (Kb) 841756 [startup+210.016 s] Raw data (loadavg): 1.01 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18369 4 1 0 20146 59 0 0 23 0 11 0 1802403255 861958144 22388 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22388 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 202.05 Current children cumulated vsize (Kb) 841756 [startup+220.017 s] Raw data (loadavg): 1.00 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18380 4 1 0 21127 60 0 0 24 0 11 0 1802403255 861958144 22430 4294967295 134512640 134569956 3221224336 3221214560 1131397988 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22430 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 211.87 Current children cumulated vsize (Kb) 841756 [startup+230.017 s] Raw data (loadavg): 1.00 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18390 4 1 0 22109 60 0 0 25 0 11 0 1802403255 861958144 22460 4294967295 134512640 134569956 3221224336 3221214560 1131397943 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22460 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 221.69 Current children cumulated vsize (Kb) 841756 [startup+240.018 s] Raw data (loadavg): 1.00 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18399 4 1 0 23094 61 0 0 25 0 11 0 1802403255 861958144 22488 4294967295 134512640 134569956 3221224336 3221214488 1131382088 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22488 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 231.55 Current children cumulated vsize (Kb) 841756 [startup+250.018 s] Raw data (loadavg): 1.00 1.02 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18409 4 1 0 24075 61 0 0 25 0 11 0 1802403255 861958144 22516 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22516 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 241.36 Current children cumulated vsize (Kb) 841756 [startup+260.019 s] Raw data (loadavg): 1.00 1.01 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18418 4 1 0 25057 61 0 0 25 0 11 0 1802403255 861958144 22536 4294967295 134512640 134569956 3221224336 3221214648 1131479208 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22536 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 251.18 Current children cumulated vsize (Kb) 841756 [startup+270.02 s] Raw data (loadavg): 1.00 1.01 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18428 4 1 0 26035 62 0 0 22 0 11 0 1802403255 861958144 22564 4294967295 134512640 134569956 3221224336 3221214648 1131479856 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22564 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 260.97 Current children cumulated vsize (Kb) 841756 [startup+280.02 s] Raw data (loadavg): 1.00 1.01 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18438 4 1 0 27016 63 0 0 25 0 11 0 1802403255 861958144 22614 4294967295 134512640 134569956 3221224336 3221214560 1131397988 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22614 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 270.79 Current children cumulated vsize (Kb) 841756 [startup+290.021 s] Raw data (loadavg): 1.00 1.01 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18448 4 1 0 27999 63 0 0 21 0 11 0 1802403255 861958144 22670 4294967295 134512640 134569956 3221224336 3221214648 1131484802 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22670 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 280.62 Current children cumulated vsize (Kb) 841756 [startup+300.022 s] Raw data (loadavg): 1.00 1.01 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18458 4 1 0 28982 63 0 0 25 0 11 0 1802403255 861958144 22680 4294967295 134512640 134569956 3221224336 3221214648 1131480268 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22680 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 290.45 Current children cumulated vsize (Kb) 841756 [startup+310.022 s] Raw data (loadavg): 1.00 1.01 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18468 4 1 0 29963 64 0 0 25 0 11 0 1802403255 861958144 22702 4294967295 134512640 134569956 3221224336 3221214560 1131398299 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22702 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 300.27 Current children cumulated vsize (Kb) 841756 [startup+320.023 s] Raw data (loadavg): 1.00 1.01 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18478 4 1 0 30946 64 0 0 25 0 11 0 1802403255 861958144 22735 4294967295 134512640 134569956 3221224336 3221214648 1131483285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22735 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 310.1 Current children cumulated vsize (Kb) 841756 [startup+330.024 s] Raw data (loadavg): 1.00 1.01 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18488 4 1 0 31928 65 0 0 25 0 11 0 1802403255 861958144 22761 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22761 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 319.93 Current children cumulated vsize (Kb) 841756 [startup+340.025 s] Raw data (loadavg): 1.00 1.01 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18498 4 1 0 32913 65 0 0 25 0 11 0 1802403255 861958144 22799 4294967295 134512640 134569956 3221224336 3221214648 1131484948 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22799 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 329.78 Current children cumulated vsize (Kb) 841756 [startup+350.025 s] Raw data (loadavg): 1.00 1.01 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18509 4 1 0 33897 66 0 0 24 0 11 0 1802403255 861958144 22818 4294967295 134512640 134569956 3221224336 3221214560 1131398704 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22818 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 339.63 Current children cumulated vsize (Kb) 841756 [startup+360.027 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18518 4 1 0 34883 66 0 0 23 0 11 0 1802403255 861958144 22849 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22849 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 349.49 Current children cumulated vsize (Kb) 841756 [startup+370.027 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) S 15328 15329 6872 0 -1 0 18528 4 1 0 35867 67 0 0 25 0 11 0 1802403255 861958144 22865 4294967295 134512640 134569956 3221224336 3221213160 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22865 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 359.34 Current children cumulated vsize (Kb) 841756 [startup+380.027 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18537 4 1 0 36852 67 0 0 25 0 11 0 1802403255 861958144 22878 4294967295 134512640 134569956 3221224336 3221214648 1131478118 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22878 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 369.19 Current children cumulated vsize (Kb) 841756 [startup+390.028 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18547 4 1 0 37836 68 0 0 24 0 11 0 1802403255 861958144 22915 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22915 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 379.04 Current children cumulated vsize (Kb) 841756 [startup+400.028 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18557 4 1 0 38822 68 0 0 25 0 11 0 1802403255 861958144 22951 4294967295 134512640 134569956 3221224336 3221214648 1131480172 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22951 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 388.9 Current children cumulated vsize (Kb) 841756 [startup+410.029 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18567 4 1 0 39809 68 0 0 25 0 11 0 1802403255 861958144 22964 4294967295 134512640 134569956 3221224336 3221214648 1131480324 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22964 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 398.77 Current children cumulated vsize (Kb) 841756 [startup+420.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18577 4 1 0 40795 69 0 0 25 0 11 0 1802403255 861958144 22972 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22972 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 408.64 Current children cumulated vsize (Kb) 841756 [startup+430.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18587 4 1 0 41782 70 0 0 19 0 11 0 1802403255 861958144 22986 4294967295 134512640 134569956 3221224336 3221214648 1131480996 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 22986 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 418.52 Current children cumulated vsize (Kb) 841756 [startup+440.031 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18597 4 1 0 42769 70 0 0 19 0 11 0 1802403255 861958144 22991 4294967295 134512640 134569956 3221224336 3221214648 1131481079 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 22991 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 428.39 Current children cumulated vsize (Kb) 841756 [startup+450.031 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18607 4 1 0 43757 71 0 0 25 0 11 0 1802403255 861958144 23013 4294967295 134512640 134569956 3221224336 3221214648 1131483587 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23013 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 438.28 Current children cumulated vsize (Kb) 841756 [startup+460.032 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18617 4 1 0 44744 71 0 0 21 0 11 0 1802403255 861958144 23025 4294967295 134512640 134569956 3221224336 3221214560 1131398103 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23025 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 448.15 Current children cumulated vsize (Kb) 841756 [startup+470.033 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18627 4 1 0 45731 71 0 0 20 0 11 0 1802403255 861958144 23037 4294967295 134512640 134569956 3221224336 3221214648 1131476917 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23037 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 458.02 Current children cumulated vsize (Kb) 841756 [startup+480.033 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18637 4 1 0 46718 72 0 0 22 0 11 0 1802403255 861958144 23046 4294967295 134512640 134569956 3221224336 3221214560 1131398688 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23046 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 467.9 Current children cumulated vsize (Kb) 841756 [startup+490.034 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18647 4 1 0 47705 72 0 0 25 0 11 0 1802403255 861958144 23057 4294967295 134512640 134569956 3221224336 3221214560 1131397988 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23057 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 477.77 Current children cumulated vsize (Kb) 841756 [startup+500.035 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18658 4 1 0 48691 72 0 0 17 0 11 0 1802403255 861958144 23071 4294967295 134512640 134569956 3221224336 3221214560 1131397876 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23071 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 487.63 Current children cumulated vsize (Kb) 841756 [startup+510.035 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18668 4 1 0 49676 73 0 0 25 0 11 0 1802403255 861958144 23084 4294967295 134512640 134569956 3221224336 3221214648 1131483302 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23084 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 497.49 Current children cumulated vsize (Kb) 841756 [startup+520.036 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18678 4 1 0 50661 74 0 0 17 0 11 0 1802403255 861958144 23097 4294967295 134512640 134569956 3221224336 3221214560 1131399675 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23097 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 507.35 Current children cumulated vsize (Kb) 841756 [startup+530.037 s] Raw data (loadavg): 1.00 1.00 0.99 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18687 4 1 0 51647 74 0 0 25 0 11 0 1802403255 861958144 23103 4294967295 134512640 134569956 3221224336 3221214648 1131483646 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23103 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 517.21 Current children cumulated vsize (Kb) 841756 [startup+540.038 s] Raw data (loadavg): 1.08 1.02 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18697 4 1 0 52631 76 0 0 25 0 11 0 1802403255 861958144 23120 4294967295 134512640 134569956 3221224336 3221214800 1131397337 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23120 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 527.07 Current children cumulated vsize (Kb) 841756 [startup+550.04 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18705 4 1 0 53618 76 0 0 23 0 11 0 1802403255 861958144 23141 4294967295 134512640 134569956 3221224336 3221214584 1131401152 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23141 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 536.94 Current children cumulated vsize (Kb) 841756 [startup+560.041 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18715 4 1 0 54602 76 0 0 18 0 11 0 1802403255 861958144 23153 4294967295 134512640 134569956 3221224336 3221214560 1131397988 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23153 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 546.78 Current children cumulated vsize (Kb) 841756 [startup+570.042 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18725 4 1 0 55585 77 0 0 17 0 11 0 1802403255 861958144 23167 4294967295 134512640 134569956 3221224336 3221214540 1131057236 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23167 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 556.62 Current children cumulated vsize (Kb) 841756 [startup+580.043 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18735 4 1 0 56565 77 0 0 24 0 11 0 1802403255 861958144 23201 4294967295 134512640 134569956 3221224336 3221214560 1131397928 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23201 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 566.42 Current children cumulated vsize (Kb) 841756 [startup+590.044 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18744 4 1 0 57549 78 0 0 25 0 11 0 1802403255 861958144 23236 4294967295 134512640 134569956 3221224336 3221214608 1131393409 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23236 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 576.27 Current children cumulated vsize (Kb) 841756 [startup+600.045 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18755 4 1 0 58531 79 0 0 25 0 11 0 1802403255 861958144 23252 4294967295 134512640 134569956 3221224336 3221214488 1131397953 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23252 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 586.1 Current children cumulated vsize (Kb) 841756 [startup+610.047 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18766 4 1 0 59515 79 0 0 18 0 11 0 1802403255 861958144 23280 4294967295 134512640 134569956 3221224336 3221214488 1131398514 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23280 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 595.94 Current children cumulated vsize (Kb) 841756 [startup+620.047 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18776 4 1 0 60501 79 0 0 25 0 11 0 1802403255 861958144 23315 4294967295 134512640 134569956 3221224336 3221214488 1131397848 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23315 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 605.8 Current children cumulated vsize (Kb) 841756 [startup+630.047 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18785 4 1 0 61487 80 0 0 25 0 11 0 1802403255 861958144 23337 4294967295 134512640 134569956 3221224336 3221214488 1131398658 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23337 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 615.67 Current children cumulated vsize (Kb) 841756 [startup+640.048 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18795 4 1 0 62473 80 0 0 20 0 11 0 1802403255 861958144 23345 4294967295 134512640 134569956 3221224336 3221214572 1131397696 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23345 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 625.53 Current children cumulated vsize (Kb) 841756 [startup+650.048 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18805 4 1 0 63458 80 0 0 25 0 11 0 1802403255 861958144 23362 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23362 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 635.38 Current children cumulated vsize (Kb) 841756 [startup+660.05 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18815 4 1 0 64443 81 0 0 25 0 11 0 1802403255 861958144 23387 4294967295 134512640 134569956 3221224336 3221214488 1131399672 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23387 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 645.24 Current children cumulated vsize (Kb) 841756 [startup+670.051 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18825 4 1 0 65428 81 0 0 20 0 11 0 1802403255 861958144 23391 4294967295 134512640 134569956 3221224336 3221214488 1131398009 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23391 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 655.09 Current children cumulated vsize (Kb) 841756 [startup+680.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18835 4 1 0 66414 82 0 0 25 0 11 0 1802403255 861958144 23409 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23409 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 664.96 Current children cumulated vsize (Kb) 841756 [startup+690.051 s] Raw data (loadavg): 1.08 1.02 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18845 4 1 0 67400 82 0 0 25 0 11 0 1802403255 861958144 23427 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23427 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 674.82 Current children cumulated vsize (Kb) 841756 [startup+700.052 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18855 4 1 0 68386 82 0 0 25 0 11 0 1802403255 861958144 23437 4294967295 134512640 134569956 3221224336 3221214576 1131476917 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23437 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 684.68 Current children cumulated vsize (Kb) 841756 [startup+710.053 s] Raw data (loadavg): 1.06 1.02 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18865 4 1 0 69372 82 0 0 25 0 11 0 1802403255 861958144 23450 4294967295 134512640 134569956 3221224336 3221214576 1131484668 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23450 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 694.54 Current children cumulated vsize (Kb) 841756 [startup+720.053 s] Raw data (loadavg): 1.05 1.02 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18875 4 1 0 70358 83 0 0 25 0 11 0 1802403255 861958144 23467 4294967295 134512640 134569956 3221224336 3221214576 1131477002 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23467 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 704.41 Current children cumulated vsize (Kb) 841756 [startup+730.054 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18885 4 1 0 71346 84 0 0 22 0 11 0 1802403255 861958144 23473 4294967295 134512640 134569956 3221224336 3221214488 1131397845 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23473 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 714.3 Current children cumulated vsize (Kb) 841756 [startup+740.055 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18895 4 1 0 72333 84 0 0 25 0 11 0 1802403255 861958144 23481 4294967295 134512640 134569956 3221224336 3221214488 1131398338 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23481 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 724.17 Current children cumulated vsize (Kb) 841756 [startup+750.054 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18904 4 1 0 73319 85 0 0 19 0 11 0 1802403255 861958144 23489 4294967295 134512640 134569956 3221224336 3221214728 1131397337 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23489 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 734.04 Current children cumulated vsize (Kb) 841756 [startup+760.056 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18914 4 1 0 74304 85 0 0 25 0 11 0 1802403255 861958144 23502 4294967295 134512640 134569956 3221224336 3221214488 1131398680 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23502 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 743.89 Current children cumulated vsize (Kb) 841756 [startup+770.057 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18924 4 1 0 75290 85 0 0 25 0 11 0 1802403255 861958144 23519 4294967295 134512640 134569956 3221224336 3221214488 1131367477 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23519 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 753.75 Current children cumulated vsize (Kb) 841756 [startup+780.056 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18934 4 1 0 76277 86 0 0 25 0 11 0 1802403255 861958144 23543 4294967295 134512640 134569956 3221224336 3221214056 1085806322 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23543 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 763.63 Current children cumulated vsize (Kb) 841756 [startup+790.057 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18944 4 1 0 77267 86 0 0 25 0 11 0 1802403255 861958144 23552 4294967295 134512640 134569956 3221224336 3221214488 1131399747 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23552 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 773.53 Current children cumulated vsize (Kb) 841756 [startup+800.058 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18954 4 1 0 78256 86 0 0 20 0 11 0 1802403255 861958144 23558 4294967295 134512640 134569956 3221224336 3221214488 1131399163 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23558 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 783.42 Current children cumulated vsize (Kb) 841756 [startup+810.059 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18964 4 1 0 79246 87 0 0 25 0 11 0 1802403255 861958144 23565 4294967295 134512640 134569956 3221224336 3221214128 1131612170 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23565 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 793.33 Current children cumulated vsize (Kb) 841756 [startup+820.059 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18974 4 1 0 80234 87 0 0 25 0 11 0 1802403255 861958144 23577 4294967295 134512640 134569956 3221224336 3221214448 1131381772 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23577 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 803.21 Current children cumulated vsize (Kb) 841756 [startup+830.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18984 4 1 0 81220 87 0 0 16 0 11 0 1802403255 861958144 23583 4294967295 134512640 134569956 3221224336 3221214488 1131399709 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23583 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 813.07 Current children cumulated vsize (Kb) 841756 [startup+840.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 18993 4 1 0 82208 88 0 0 25 0 11 0 1802403255 861958144 23594 4294967295 134512640 134569956 3221224336 3221214488 1131399727 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23594 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 822.96 Current children cumulated vsize (Kb) 841756 [startup+850.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19003 4 1 0 83195 88 0 0 24 0 11 0 1802403255 861958144 23637 4294967295 134512640 134569956 3221224336 3221214576 1131479848 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23637 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 832.83 Current children cumulated vsize (Kb) 841756 [startup+860.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19013 4 1 0 84185 89 0 0 25 0 11 0 1802403255 861958144 23663 4294967295 134512640 134569956 3221224336 3221214576 1131476735 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23663 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 842.74 Current children cumulated vsize (Kb) 841756 [startup+870.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19023 4 1 0 85174 89 0 0 21 0 11 0 1802403255 861958144 23671 4294967295 134512640 134569956 3221224336 3221214488 1131397988 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23671 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 852.63 Current children cumulated vsize (Kb) 841756 [startup+880.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19033 4 1 0 86164 89 0 0 20 0 11 0 1802403255 861958144 23681 4294967295 134512640 134569956 3221224336 3221214576 1131480137 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23681 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 862.53 Current children cumulated vsize (Kb) 841756 [startup+890.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19043 4 1 0 87154 90 0 0 19 0 11 0 1802403255 861958144 23702 4294967295 134512640 134569956 3221224336 3221214576 1131479880 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23702 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 872.44 Current children cumulated vsize (Kb) 841756 [startup+900.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19053 4 1 0 88145 90 0 0 25 0 11 0 1802403255 861958144 23727 4294967295 134512640 134569956 3221224336 3221214576 1131484668 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23727 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 882.35 Current children cumulated vsize (Kb) 841756 [startup+910.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19063 4 1 0 89138 91 0 0 25 0 11 0 1802403255 861958144 23731 4294967295 134512640 134569956 3221224336 3221214576 1131479969 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23731 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 892.29 Current children cumulated vsize (Kb) 841756 [startup+920.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19073 4 1 0 90130 91 0 0 17 0 11 0 1802403255 861958144 23736 4294967295 134512640 134569956 3221224336 3221214576 1131484668 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23736 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 902.21 Current children cumulated vsize (Kb) 841756 [startup+930.067 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19083 4 1 0 91123 92 0 0 25 0 11 0 1802403255 861958144 23742 4294967295 134512640 134569956 3221224336 3221214488 1131397821 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23742 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 912.15 Current children cumulated vsize (Kb) 841756 [startup+940.068 s] Raw data (loadavg): 1.06 1.02 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19092 4 1 0 92115 92 0 0 23 0 11 0 1802403255 861958144 23746 4294967295 134512640 134569956 3221224336 3221214488 1131398664 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23746 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 922.07 Current children cumulated vsize (Kb) 841756 [startup+950.068 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19102 4 1 0 93106 92 0 0 23 0 11 0 1802403255 861958144 23752 4294967295 134512640 134569956 3221224336 3221214576 1131483366 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23752 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 931.98 Current children cumulated vsize (Kb) 841756 [startup+960.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19112 4 1 0 94096 93 0 0 25 0 11 0 1802403255 861958144 23757 4294967295 134512640 134569956 3221224336 3221214576 1131483646 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23757 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (Kb) 841756 [startup+970.071 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19122 4 1 0 95087 93 0 0 20 0 11 0 1802403255 861958144 23769 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23769 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 951.8 Current children cumulated vsize (Kb) 841756 [startup+980.071 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19132 4 1 0 96077 94 0 0 18 0 11 0 1802403255 861958144 23781 4294967295 134512640 134569956 3221224336 3221214488 1131397988 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23781 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 961.71 Current children cumulated vsize (Kb) 841756 [startup+990.073 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19142 4 1 0 97069 94 0 0 25 0 11 0 1802403255 861958144 23787 4294967295 134512640 134569956 3221224336 3221214576 1131478040 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23787 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 971.63 Current children cumulated vsize (Kb) 841756 [startup+1000.07 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19152 4 1 0 98061 94 0 0 25 0 11 0 1802403255 861958144 23791 4294967295 134512640 134569956 3221224336 3221214576 1131484783 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23791 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 981.55 Current children cumulated vsize (Kb) 841756 [startup+1010.07 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19161 4 1 0 99053 94 0 0 24 0 11 0 1802403255 861958144 23796 4294967295 134512640 134569956 3221224336 3221214576 1131484301 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23796 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 991.47 Current children cumulated vsize (Kb) 841756 [startup+1020.08 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19171 4 1 0 100044 95 0 0 25 0 11 0 1802403255 861958144 23801 4294967295 134512640 134569956 3221224336 3221214576 1131484668 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23801 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1001.39 Current children cumulated vsize (Kb) 841756 [startup+1030.08 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19181 4 1 0 101035 95 0 0 23 0 11 0 1802403255 861958144 23808 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23808 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1011.3 Current children cumulated vsize (Kb) 841756 [startup+1040.08 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19191 4 1 0 102026 95 0 0 21 0 11 0 1802403255 861958144 23820 4294967295 134512640 134569956 3221224336 3221214576 1131478948 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23820 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1021.21 Current children cumulated vsize (Kb) 841756 [startup+1050.08 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19201 4 1 0 103017 96 0 0 25 0 11 0 1802403255 861958144 23830 4294967295 134512640 134569956 3221224336 3221214576 1131483658 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23830 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1031.13 Current children cumulated vsize (Kb) 841756 [startup+1060.08 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19211 4 1 0 104007 96 0 0 25 0 11 0 1802403255 861958144 23836 4294967295 134512640 134569956 3221224336 3221214488 1131398764 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23836 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1041.03 Current children cumulated vsize (Kb) 841756 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19221 4 1 0 104997 96 0 0 25 0 11 0 1802403255 861958144 23841 4294967295 134512640 134569956 3221224336 3221214520 1131381838 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23841 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1050.93 Current children cumulated vsize (Kb) 841756 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19231 4 1 0 105987 97 0 0 25 0 11 0 1802403255 861958144 23846 4294967295 134512640 134569956 3221224336 3221214576 1131476979 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23846 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1060.84 Current children cumulated vsize (Kb) 841756 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19240 4 1 0 106979 97 0 0 25 0 11 0 1802403255 861958144 23851 4294967295 134512640 134569956 3221224336 3221214572 1131368551 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23851 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1070.76 Current children cumulated vsize (Kb) 841756 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19250 4 1 0 107968 97 0 0 25 0 11 0 1802403255 861958144 23857 4294967295 134512640 134569956 3221224336 3221214488 1131397988 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23857 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1080.65 Current children cumulated vsize (Kb) 841756 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19260 4 1 0 108959 98 0 0 25 0 11 0 1802403255 861958144 23869 4294967295 134512640 134569956 3221224336 3221214728 1131397337 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23869 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1090.57 Current children cumulated vsize (Kb) 841756 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19270 4 1 0 109951 98 0 0 21 0 11 0 1802403255 861958144 23873 4294967295 134512640 134569956 3221224336 3221214576 1131479170 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23873 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1100.49 Current children cumulated vsize (Kb) 841756 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19280 4 1 0 110943 98 0 0 19 0 11 0 1802403255 861958144 23877 4294967295 134512640 134569956 3221224336 3221214488 1131397876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23877 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1110.41 Current children cumulated vsize (Kb) 841756 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19290 4 1 0 111933 99 0 0 25 0 11 0 1802403255 861958144 23885 4294967295 134512640 134569956 3221224336 3221214576 1131476917 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23885 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1120.32 Current children cumulated vsize (Kb) 841756 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19300 4 1 0 112924 100 0 0 25 0 11 0 1802403255 861958144 23889 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23889 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1130.24 Current children cumulated vsize (Kb) 841756 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19310 4 1 0 113913 100 0 0 17 0 11 0 1802403255 861958144 23893 4294967295 134512640 134569956 3221224336 3221214576 1131476924 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23893 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1140.13 Current children cumulated vsize (Kb) 841756 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19319 4 1 0 114904 101 0 0 25 0 11 0 1802403255 861958144 23899 4294967295 134512640 134569956 3221224336 3221214488 1131397876 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23899 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1150.05 Current children cumulated vsize (Kb) 841756 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19329 4 1 0 115894 101 0 0 25 0 11 0 1802403255 861958144 23910 4294967295 134512640 134569956 3221224336 3221214576 1131481041 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23910 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1159.95 Current children cumulated vsize (Kb) 841756 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19339 4 1 0 116884 101 0 0 25 0 11 0 1802403255 861958144 23917 4294967295 134512640 134569956 3221224336 3221214520 1131382887 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23917 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1169.85 Current children cumulated vsize (Kb) 841756 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19349 4 1 0 117874 102 0 0 25 0 11 0 1802403255 861958144 23927 4294967295 134512640 134569956 3221224336 3221214488 1131397876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23927 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1179.76 Current children cumulated vsize (Kb) 841756 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19359 4 1 0 118863 103 0 0 19 0 11 0 1802403255 861958144 23931 4294967295 134512640 134569956 3221224336 3221214488 1131399686 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15329/statm): 210439 23931 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1189.66 Current children cumulated vsize (Kb) 841756 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19369 4 1 0 119852 103 0 0 17 0 11 0 1802403255 861958144 23935 4294967295 134512640 134569956 3221224336 3221214576 1131476601 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23935 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1199.55 Current children cumulated vsize (Kb) 841756 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19379 4 1 0 120842 104 0 0 25 0 11 0 1802403255 861958144 23944 4294967295 134512640 134569956 3221224336 3221214488 1131397821 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23944 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1209.46 Current children cumulated vsize (Kb) 841756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 4/66 15342 Raw data (/proc/15329/stat): 15329 (java) R 15328 15329 6872 0 -1 0 19379 4 1 0 120842 104 0 0 25 0 11 0 1802403255 861958144 23944 4294967295 134512640 134569956 3221224336 3221214488 1131399759 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15329/statm): 210439 23944 13129 16 0 210423 0 [pid=15329] vsize: 841756 Current children cumulated CPU time (s) 1209.46 Current children cumulated vsize (Kb) 841756 Sending SIGTERM to -15329 Sleeping 2 seconds New thread pid=15344 New thread pid=15345 One traced child (pid=15345) exited with status: 0 One traced child (pid=15338) exited with status: 0 One traced child (pid=15333) exited with status: 0 One traced child (pid=15330) exited with status: 143 One traced child (pid=15337) exited with status: 143 One traced child (pid=15334) exited with status: 143 One traced child (pid=15332) exited with status: 143 One traced child (pid=15342) exited with status: 143 One traced child (pid=15331) exited with status: 143 One traced child (pid=15335) exited with status: 143 One traced child (pid=15336) exited with status: 143 One traced child (pid=15344) exited with status: 143 One traced child (pid=15329) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1230.37 CPU time (s): 1232.58 CPU user time (s): 1230.74 CPU system time (s): 1.84272 CPU usage (%): 100.18 Max. virtual memory (cumulated for all children) (Kb): 841788
Verifier: OK 58880