Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-blend.opb |
MD5SUM | 7713e9174526352f04e3c528ca3ecb01 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 440 |
Biggest coefficient in the objective function | 14050918400 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 198838131525 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 76598476800 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 770522270100 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1238.79 |
Number of variables | 1660 |
Total number of constraints | 74 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 74 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 520 |
LAUNCH ON wulflinc15 THE 2005-09-20 11:39:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6655 boxname=wulflinc15 idbench=795 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 7713e9174526352f04e3c528ca3ecb01 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-blend.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-blend.opb IDLAUNCH: 6655 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 833356 kB Buffers: 27040 kB Cached: 144664 kB SwapCached: 744 kB Active: 62984 kB Inactive: 111396 kB HighTotal: 131008 kB HighFree: 5264 kB LowTotal: 903652 kB LowFree: 828092 kB SwapTotal: 2097136 kB SwapFree: 2095884 kB Dirty: 64 kB Writeback: 0 kB Mapped: 5724 kB Slab: 21316 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 11:59:32 (client local time) WITH STATUS 143 IN 1238.79 SECONDS stats: 6655 0 1238.79 143
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version JAVA5.1.1.31 c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@a20892 c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08 c org.sat4j.minisat.learning.MiniSATLearning@158b649 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a sorted array c No reason simplification c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-blend.opb c reading problem ... done. Time 2.583 ms. c #vars 1660 c #constraints 114 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 0 Current CPU time: 5.80 ms c starts : 12 c conflicts : 13596 c decisions : 15105 c propagations : 64060 c inspects : 4399285 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 13596 c root simplifications : 14 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 14809 c speed (decisions/second) : 12.35135243425082 c non guided choices 14874 c random choices 0 s SATISFIABLE v -V1_bit_7 -V1_bit_6 -V1_bit_5 -V1_bit_4 -V1_bit_3 -V1_bit_2 -V1_bit_1 -V1_bit0 -V1_bit1 -V1_bit2 -V1_bit3 -V1_bit4 -V1_bit5 -V1_bit6 -V1_bit7 -V1_bit8 -V1_bit9 -V1_bit10 -V1_bit11 -V1_bit12 -V2_bit_7 -V2_bit_6 -V2_bit_5 -V2_bit_4 -V2_bit_3 -V2_bit_2 -V2_bit_1 -V2_bit0 -V2_bit1 -V2_bit2 -V2_bit3 -V2_bit4 -V2_bit5 -V2_bit6 -V2_bit7 -V2_bit8 -V2_bit9 -V2_bit10 -V2_bit11 -V2_bit12 -V8_bit_7 -V8_bit_6 -V8_bit_5 -V8_bit_4 -V8_bit_3 -V8_bit_2 -V8_bit_1 -V8_bit0 -V8_bit1 -V8_bit2 -V8_bit3 -V8_bit4 -V8_bit5 -V8_bit6 -V8_bit7 -V8_bit8 -V8_bit9 -V8_bit10 -V8_bit11 -V8_bit12 -V13_bit_7 -V13_bit_6 -V13_bit_5 -V13_bit_4 -V13_bit_3 -V13_bit_2 -V13_bit_1 -V13_bit0 -V13_bit1 -V13_bit2 -V13_bit3 -V13_bit4 -V13_bit5 -V13_bit6 -V13_bit7 -V13_bit8 -V13_bit9 -V13_bit10 -V13_bit11 -V13_bit12 -V15_bit_7 -V15_bit_6 -V15_bit_5 -V15_bit_4 -V15_bit_3 -V15_bit_2 -V15_bit_1 -V15_bit0 -V15_bit1 -V15_bit2 -V15_bit3 -V15_bit4 -V15_bit5 -V15_bit6 -V15_bit7 -V15_bit8 -V15_bit9 -V15_bit10 -V15_bit11 -V15_bit12 -V16_bit_7 -V16_bit_6 -V16_bit_5 -V16_bit_4 -V16_bit_3 -V16_bit_2 -V16_bit_1 -V16_bit0 -V16_bit1 -V16_bit2 -V16_bit3 -V16_bit4 -V16_bit5 -V16_bit6 -V16_bit7 -V16_bit8 -V16_bit9 -V16_bit10 -V16_bit11 -V16_bit12 -V17_bit_7 -V17_bit_6 -V17_bit_5 -V17_bit_4 -V17_bit_3 -V17_bit_2 -V17_bit_1 -V17_bit0 -V17_bit1 -V17_bit2 -V17_bit3 -V17_bit4 -V17_bit5 -V17_bit6 -V17_bit7 -V17_bit8 -V17_bit9 -V17_bit10 -V17_bit11 -V17_bit12 -V18_bit_7 -V18_bit_6 -V18_bit_5 -V18_bit_4 -V18_bit_3 -V18_bit_2 -V18_bit_1 -V18_bit0 -V18_bit1 -V18_bit2 -V18_bit3 -V18_bit4 -V18_bit5 -V18_bit6 -V18_bit7 -V18_bit8 -V18_bit9 -V18_bit10 -V18_bit11 -V18_bit12 -V23_bit_7 -V23_bit_6 -V23_bit_5 -V23_bit_4 -V23_bit_3 -V23_bit_2 -V23_bit_1 -V23_bit0 -V23_bit1 -V23_bit2 -V23_bit3 -V23_bit4 -V23_bit5 -V23_bit6 -V23_bit7 -V23_bit8 -V23_bit9 -V23_bit10 -V23_bit11 -V23_bit12 -V24_bit_7 -V24_bit_6 -V24_bit_5 -V24_bit_4 -V24_bit_3 -V24_bit_2 -V24_bit_1 -V24_bit0 -V24_bit1 -V24_bit2 -V24_bit3 -V24_bit4 -V24_bit5 -V24_bit6 -V24_bit7 -V24_bit8 -V24_bit9 -V24_bit10 -V24_bit11 -V24_bit12 -V37_bit_7 -V37_bit_6 -V37_bit_5 -V37_bit_4 -V37_bit_3 -V37_bit_2 -V37_bit_1 -V37_bit0 -V37_bit1 -V37_bit2 -V37_bit3 -V37_bit4 -V37_bit5 -V37_bit6 -V37_bit7 -V37_bit8 -V37_bit9 -V37_bit10 -V37_bit11 -V37_bit12 -V45_bit_7 -V45_bit_6 -V45_bit_5 -V45_bit_4 -V45_bit_3 -V45_bit_2 -V45_bit_1 -V45_bit0 -V45_bit1 -V45_bit2 -V45_bit3 -V45_bit4 -V45_bit5 -V45_bit6 -V45_bit7 -V45_bit8 -V45_bit9 -V45_bit10 -V45_bit11 -V45_bit12 -V53_bit_7 -V53_bit_6 -V53_bit_5 -V53_bit_4 -V53_bit_3 -V53_bit_2 -V53_bit_1 -V53_bit0 -V53_bit1 -V53_bit2 -V53_bit3 -V53_bit4 -V53_bit5 -V53_bit6 -V53_bit7 -V53_bit8 -V53_bit9 -V53_bit10 -V53_bit11 -V53_bit12 -V57_bit_7 -V57_bit_6 -V57_bit_5 -V57_bit_4 -V57_bit_3 -V57_bit_2 -V57_bit_1 -V57_bit0 -V57_bit1 -V57_bit2 -V57_bit3 -V57_bit4 -V57_bit5 -V57_bit6 -V57_bit7 -V57_bit8 -V57_bit9 -V57_bit10 -V57_bit11 -V57_bit12 -V60_bit_7 -V60_bit_6 -V60_bit_5 -V60_bit_4 -V60_bit_3 -V60_bit_2 -V60_bit_1 -V60_bit0 -V60_bit1 -V60_bit2 -V60_bit3 -V60_bit4 -V60_bit5 -V60_bit6 -V60_bit7 -V60_bit8 -V60_bit9 -V60_bit10 -V60_bit11 -V60_bit12 -V63_bit_7 -V63_bit_6 -V63_bit_5 -V63_bit_4 -V63_bit_3 -V63_bit_2 -V63_bit_1 -V63_bit0 -V63_bit1 -V63_bit2 -V63_bit3 -V63_bit4 -V63_bit5 -V63_bit6 -V63_bit7 -V63_bit8 -V63_bit9 -V63_bit10 -V63_bit11 -V63_bit12 -V70_bit_7 -V70_bit_6 -V70_bit_5 -V70_bit_4 -V70_bit_3 -V70_bit_2 -V70_bit_1 -V70_bit0 -V70_bit1 -V70_bit2 -V70_bit3 -V70_bit4 -V70_bit5 -V70_bit6 -V70_bit7 -V70_bit8 -V70_bit9 -V70_bit10 -V70_bit11 -V70_bit12 -V77_bit_7 -V77_bit_6 -V77_bit_5 -V77_bit_4 -V77_bit_3 -V77_bit_2 -V77_bit_1 -V77_bit0 -V77_bit1 -V77_bit2 -V77_bit3 -V77_bit4 -V77_bit5 -V77_bit6 -V77_bit7 -V77_bit8 -V77_bit9 -V77_bit10 -V77_bit11 -V77_bit12 -V79_bit_7 -V79_bit_6 -V79_bit_5 -V79_bit_4 -V79_bit_3 -V79_bit_2 -V79_bit_1 -V79_bit0 -V79_bit1 -V79_bit2 -V79_bit3 -V79_bit4 -V79_bit5 -V79_bit6 -V79_bit7 -V79_bit8 -V79_bit9 -V79_bit10 -V79_bit11 -V79_bit12 -V80_bit_7 -V80_bit_6 -V80_bit_5 -V80_bit_4 -V80_bit_3 -V80_bit_2 -V80_bit_1 -V80_bit0 -V80_bit1 -V80_bit2 -V80_bit3 -V80_bit4 -V80_bit5 -V80_bit6 -V80_bit7 -V80_bit8 -V80_bit9 -V80_bit10 -V80_bit11 -V80_bit12 -V82_bit_7 -V82_bit_6 -V82_bit_5 -V82_bit_4 -V82_bit_3 -V82_bit_2 -V82_bit_1 -V82_bit0 -V82_bit1 -V82_bit2 -V82_bit3 -V82_bit4 -V82_bit5 -V82_bit6 -V82_bit7 -V82_bit8 -V82_bit9 -V82_bit10 -V82_bit11 -V82_bit12 -V83_bit_7 -V83_bit_6 -V83_bit_5 -V83_bit_4 -V83_bit_3 -V83_bit_2 -V83_bit_1 -V83_bit0 -V83_bit1 -V83_bit2 -V83_bit3 -V83_bit4 -V83_bit5 -V83_bit6 -V83_bit7 -V83_bit8 -V83_bit9 -V83_bit10 -V83_bit11 -V83_bit12 -V4_bit_7 -V4_bit_6 -V4_bit_5 -V4_bit_4 -V4_bit_3 -V4_bit_2 -V4_bit_1 -V4_bit0 -V4_bit1 -V4_bit2 -V4_bit3 -V4_bit4 -V4_bit5 -V4_bit6 -V4_bit7 -V4_bit8 -V4_bit9 -V4_bit10 -V4_bit11 -V4_bit12 -V3_bit_7 -V3_bit_6 -V3_bit_5 -V3_bit_4 -V3_bit_3 -V3_bit_2 -V3_bit_1 -V3_bit0 -V3_bit1 -V3_bit2 -V3_bit3 -V3_bit4 -V3_bit5 -V3_bit6 -V3_bit7 -V3_bit8 -V3_bit9 -V3_bit10 -V3_bit11 -V3_bit12 -V5_bit_7 -V5_bit_6 -V5_bit_5 -V5_bit_4 -V5_bit_3 -V5_bit_2 -V5_bit_1 -V5_bit0 -V5_bit1 -V5_bit2 -V5_bit3 -V5_bit4 -V5_bit5 -V5_bit6 -V5_bit7 -V5_bit8 -V5_bit9 -V5_bit10 -V5_bit11 -V5_bit12 -V6_bit_7 -V6_bit_6 -V6_bit_5 -V6_bit_4 -V6_bit_3 -V6_bit_2 -V6_bit_1 -V6_bit0 -V6_bit1 -V6_bit2 -V6_bit3 -V6_bit4 -V6_bit5 -V6_bit6 -V6_bit7 -V6_bit8 -V6_bit9 -V6_bit10 -V6_bit11 -V6_bit12 -V7_bit_7 -V7_bit_6 -V7_bit_5 -V7_bit_4 -V7_bit_3 -V7_bit_2 -V7_bit_1 -V7_bit0 -V7_bit1 -V7_bit2 -V7_bit3 -V7_bit4 -V7_bit5 -V7_bit6 -V7_bit7 -V7_bit8 -V7_bit9 -V7_bit10 -V7_bit11 -V7_bit12 -V26_bit_7 -V26_bit_6 -V26_bit_5 -V26_bit_4 -V26_bit_3 -V26_bit_2 -V26_bit_1 -V26_bit0 -V26_bit1 -V26_bit2 -V26_bit3 -V26_bit4 -V26_bit5 -V26_bit6 -V26_bit7 -V26_bit8 -V26_bit9 -V26_bit10 -V26_bit11 -V26_bit12 -V27_bit_7 -V27_bit_6 -V27_bit_5 -V27_bit_4 -V27_bit_3 -V27_bit_2 -V27_bit_1 -V27_bit0 -V27_bit1 -V27_bit2 -V27_bit3 -V27_bit4 -V27_bit5 -V27_bit6 -V27_bit7 -V27_bit8 -V27_bit9 -V27_bit10 -V27_bit11 -V27_bit12 -V35_bit_7 -V35_bit_6 -V35_bit_5 -V35_bit_4 -V35_bit_3 -V35_bit_2 -V35_bit_1 -V35_bit0 -V35_bit1 -V35_bit2 -V35_bit3 -V35_bit4 -V35_bit5 -V35_bit6 -V35_bit7 -V35_bit8 -V35_bit9 -V35_bit10 -V35_bit11 -V35_bit12 -V43_bit_7 -V43_bit_6 -V43_bit_5 -V43_bit_4 -V43_bit_3 -V43_bit_2 -V43_bit_1 -V43_bit0 -V43_bit1 -V43_bit2 -V43_bit3 -V43_bit4 -V43_bit5 -V43_bit6 -V43_bit7 -V43_bit8 -V43_bit9 -V43_bit10 -V43_bit11 -V43_bit12 -V51_bit_7 -V51_bit_6 -V51_bit_5 -V51_bit_4 -V51_bit_3 -V51_bit_2 -V51_bit_1 -V51_bit0 -V51_bit1 -V51_bit2 -V51_bit3 -V51_bit4 -V51_bit5 -V51_bit6 -V51_bit7 -V51_bit8 -V51_bit9 -V51_bit10 -V51_bit11 -V51_bit12 -V56_bit_7 -V56_bit_6 -V56_bit_5 -V56_bit_4 -V56_bit_3 -V56_bit_2 -V56_bit_1 -V56_bit0 -V56_bit1 -V56_bit2 -V56_bit3 -V56_bit4 -V56_bit5 -V56_bit6 -V56_bit7 -V56_bit8 -V56_bit9 -V56_bit10 -V56_bit11 -V56_bit12 -V73_bit_7 -V73_bit_6 -V73_bit_5 -V73_bit_4 -V73_bit_3 -V73_bit_2 -V73_bit_1 -V73_bit0 -V73_bit1 -V73_bit2 -V73_bit3 -V73_bit4 -V73_bit5 -V73_bit6 -V73_bit7 -V73_bit8 -V73_bit9 -V73_bit10 -V73_bit11 -V73_bit12 -V28_bit_7 -V28_bit_6 -V28_bit_5 -V28_bit_4 -V28_bit_3 -V28_bit_2 -V28_bit_1 -V28_bit0 -V28_bit1 -V28_bit2 -V28_bit3 -V28_bit4 -V28_bit5 -V28_bit6 -V28_bit7 -V28_bit8 -V28_bit9 -V28_bit10 -V28_bit11 -V28_bit12 -V38_bit_7 -V38_bit_6 -V38_bit_5 -V38_bit_4 -V38_bit_3 -V38_bit_2 -V38_bit_1 -V38_bit0 -V38_bit1 -V38_bit2 -V38_bit3 -V38_bit4 -V38_bit5 -V38_bit6 -V38_bit7 -V38_bit8 -V38_bit9 -V38_bit10 -V38_bit11 -V38_bit12 -V46_bit_7 -V46_bit_6 -V46_bit_5 -V46_bit_4 -V46_bit_3 -V46_bit_2 -V46_bit_1 -V46_bit0 -V46_bit1 -V46_bit2 -V46_bit3 -V46_bit4 -V46_bit5 -V46_bit6 -V46_bit7 -V46_bit8 -V46_bit9 -V46_bit10 -V46_bit11 -V46_bit12 -V58_bit_7 -V58_bit_6 -V58_bit_5 -V58_bit_4 -V58_bit_3 -V58_bit_2 -V58_bit_1 -V58_bit0 -V58_bit1 -V58_bit2 -V58_bit3 -V58_bit4 -V58_bit5 -V58_bit6 -V58_bit7 -V58_bit8 -V58_bit9 -V58_bit10 -V58_bit11 -V58_bit12 -V59_bit_7 -V59_bit_6 -V59_bit_5 -V59_bit_4 -V59_bit_3 -V59_bit_2 -V59_bit_1 -V59_bit0 -V59_bit1 -V59_bit2 -V59_bit3 -V59_bit4 -V59_bit5 -V59_bit6 -V59_bit7 -V59_bit8 -V59_bit9 -V59_bit10 -V59_bit11 -V59_bit12 -V21_bit_7 -V21_bit_6 -V21_bit_5 -V21_bit_4 -V21_bit_3 -V21_bit_2 -V21_bit_1 -V21_bit0 -V21_bit1 -V21_bit2 -V21_bit3 -V21_bit4 -V21_bit5 -V21_bit6 -V21_bit7 -V21_bit8 -V21_bit9 -V21_bit10 -V21_bit11 -V21_bit12 -V22_bit_7 -V22_bit_6 -V22_bit_5 -V22_bit_4 -V22_bit_3 -V22_bit_2 -V22_bit_1 -V22_bit0 -V22_bit1 -V22_bit2 -V22_bit3 -V22_bit4 -V22_bit5 -V22_bit6 -V22_bit7 -V22_bit8 -V22_bit9 -V22_bit10 -V22_bit11 -V22_bit12 -V72_bit_7 -V72_bit_6 -V72_bit_5 -V72_bit_4 -V72_bit_3 -V72_bit_2 -V72_bit_1 -V72_bit0 -V72_bit1 -V72_bit2 -V72_bit3 -V72_bit4 -V72_bit5 -V72_bit6 -V72_bit7 -V72_bit8 -V72_bit9 -V72_bit10 -V72_bit11 -V72_bit12 -V11_bit_7 -V11_bit_6 -V11_bit_5 -V11_bit_4 -V11_bit_3 -V11_bit_2 -V11_bit_1 -V11_bit0 -V11_bit1 -V11_bit2 -V11_bit3 -V11_bit4 -V11_bit5 -V11_bit6 -V11_bit7 -V11_bit8 -V11_bit9 -V11_bit10 -V11_bit11 -V11_bit12 -V12_bit_7 -V12_bit_6 -V12_bit_5 -V12_bit_4 -V12_bit_3 -V12_bit_2 -V12_bit_1 -V12_bit0 -V12_bit1 -V12_bit2 -V12_bit3 -V12_bit4 -V12_bit5 -V12_bit6 -V12_bit7 -V12_bit8 -V12_bit9 -V12_bit10 -V12_bit11 -V12_bit12 -V9_bit_7 -V9_bit_6 -V9_bit_5 -V9_bit_4 -V9_bit_3 -V9_bit_2 -V9_bit_1 -V9_bit0 -V9_bit1 -V9_bit2 -V9_bit3 -V9_bit4 -V9_bit5 -V9_bit6 -V9_bit7 -V9_bit8 -V9_bit9 -V9_bit10 -V9_bit11 -V9_bit12 -V10_bit_7 -V10_bit_6 -V10_bit_5 -V10_bit_4 -V10_bit_3 -V10_bit_2 -V10_bit_1 -V10_bit0 -V10_bit1 -V10_bit2 -V10_bit3 -V10_bit4 -V10_bit5 -V10_bit6 -V10_bit7 -V10_bit8 -V10_bit9 -V10_bit10 -V10_bit11 -V10_bit12 -V14_bit_7 -V14_bit_6 -V14_bit_5 -V14_bit_4 -V14_bit_3 -V14_bit_2 -V14_bit_1 -V14_bit0 -V14_bit1 -V14_bit2 -V14_bit3 -V14_bit4 -V14_bit5 -V14_bit6 -V14_bit7 -V14_bit8 -V14_bit9 -V14_bit10 -V14_bit11 -V14_bit12 -V30_bit_7 -V30_bit_6 -V30_bit_5 -V30_bit_4 -V30_bit_3 -V30_bit_2 -V30_bit_1 -V30_bit0 -V30_bit1 -V30_bit2 -V30_bit3 -V30_bit4 -V30_bit5 -V30_bit6 -V30_bit7 -V30_bit8 -V30_bit9 -V30_bit10 -V30_bit11 -V30_bit12 -V40_bit_7 -V40_bit_6 -V40_bit_5 -V40_bit_4 -V40_bit_3 -V40_bit_2 -V40_bit_1 -V40_bit0 -V40_bit1 -V40_bit2 -V40_bit3 -V40_bit4 -V40_bit5 -V40_bit6 -V40_bit7 -V40_bit8 -V40_bit9 -V40_bit10 -V40_bit11 -V40_bit12 -V48_bit_7 -V48_bit_6 -V48_bit_5 -V48_bit_4 -V48_bit_3 -V48_bit_2 -V48_bit_1 -V48_bit0 -V48_bit1 -V48_bit2 -V48_bit3 -V48_bit4 -V48_bit5 -V48_bit6 -V48_bit7 -V48_bit8 -V48_bit9 -V48_bit10 -V48_bit11 -V48_bit12 -V31_bit_7 -V31_bit_6 -V31_bit_5 -V31_bit_4 -V31_bit_3 -V31_bit_2 -V31_bit_1 -V31_bit0 -V31_bit1 -V31_bit2 -V31_bit3 -V31_bit4 -V31_bit5 -V31_bit6 -V31_bit7 -V31_bit8 -V31_bit9 -V31_bit10 -V31_bit11 -V31_bit12 -V41_bit_7 -V41_bit_6 -V41_bit_5 -V41_bit_4 -V41_bit_3 -V41_bit_2 -V41_bit_1 -V41_bit0 -V41_bit1 -V41_bit2 -V41_bit3 -V41_bit4 -V41_bit5 -V41_bit6 -V41_bit7 -V41_bit8 -V41_bit9 -V41_bit10 -V41_bit11 -V41_bit12 -V49_bit_7 -V49_bit_6 -V49_bit_5 -V49_bit_4 -V49_bit_3 -V49_bit_2 -V49_bit_1 -V49_bit0 -V49_bit1 -V49_bit2 -V49_bit3 -V49_bit4 -V49_bit5 -V49_bit6 -V49_bit7 -V49_bit8 -V49_bit9 -V49_bit10 -V49_bit11 -V49_bit12 -V29_bit_7 -V29_bit_6 -V29_bit_5 -V29_bit_4 -V29_bit_3 -V29_bit_2 -V29_bit_1 -V29_bit0 -V29_bit1 -V29_bit2 -V29_bit3 -V29_bit4 -V29_bit5 -V29_bit6 -V29_bit7 -V29_bit8 -V29_bit9 -V29_bit10 -V29_bit11 -V29_bit12 -V39_bit_7 -V39_bit_6 -V39_bit_5 -V39_bit_4 -V39_bit_3 -V39_bit_2 -V39_bit_1 -V39_bit0 -V39_bit1 -V39_bit2 -V39_bit3 -V39_bit4 -V39_bit5 -V39_bit6 -V39_bit7 -V39_bit8 -V39_bit9 -V39_bit10 -V39_bit11 -V39_bit12 -V47_bit_7 -V47_bit_6 -V47_bit_5 -V47_bit_4 -V47_bit_3 -V47_bit_2 -V47_bit_1 -V47_bit0 -V47_bit1 -V47_bit2 -V47_bit3 -V47_bit4 -V47_bit5 -V47_bit6 -V47_bit7 -V47_bit8 -V47_bit9 -V47_bit10 -V47_bit11 -V47_bit12 -V76_bit_7 -V76_bit_6 -V76_bit_5 -V76_bit_4 -V76_bit_3 -V76_bit_2 -V76_bit_1 -V76_bit0 -V76_bit1 -V76_bit2 -V76_bit3 -V76_bit4 -V76_bit5 -V76_bit6 -V76_bit7 -V76_bit8 -V76_bit9 -V76_bit10 -V76_bit11 -V76_bit12 -V25_bit_7 -V25_bit_6 -V25_bit_5 -V25_bit_4 -V25_bit_3 -V25_bit_2 -V25_bit_1 -V25_bit0 -V25_bit1 -V25_bit2 -V25_bit3 -V25_bit4 -V25_bit5 -V25_bit6 -V25_bit7 -V25_bit8 -V25_bit9 -V25_bit10 -V25_bit11 -V25_bit12 -V75_bit_7 -V75_bit_6 -V75_bit_5 -V75_bit_4 -V75_bit_3 -V75_bit_2 -V75_bit_1 -V75_bit0 -V75_bit1 -V75_bit2 -V75_bit3 -V75_bit4 -V75_bit5 -V75_bit6 -V75_bit7 -V75_bit8 -V75_bit9 -V75_bit10 -V75_bit11 -V75_bit12 -V54_bit_7 -V54_bit_6 -V54_bit_5 -V54_bit_4 -V54_bit_3 -V54_bit_2 -V54_bit_1 -V54_bit0 -V54_bit1 -V54_bit2 -V54_bit3 -V54_bit4 -V54_bit5 -V54_bit6 -V54_bit7 -V54_bit8 -V54_bit9 -V54_bit10 -V54_bit11 -V54_bit12 -V19_bit_7 -V19_bit_6 -V19_bit_5 -V19_bit_4 -V19_bit_3 -V19_bit_2 -V19_bit_1 -V19_bit0 -V19_bit1 -V19_bit2 -V19_bit3 -V19_bit4 -V19_bit5 -V19_bit6 -V19_bit7 -V19_bit8 -V19_bit9 -V19_bit10 -V19_bit11 -V19_bit12 -V20_bit_7 -V20_bit_6 -V20_bit_5 -V20_bit_4 -V20_bit_3 -V20_bit_2 -V20_bit_1 -V20_bit0 -V20_bit1 -V20_bit2 -V20_bit3 -V20_bit4 -V20_bit5 -V20_bit6 -V20_bit7 -V20_bit8 -V20_bit9 -V20_bit10 -V20_bit11 -V20_bit12 -V32_bit_7 -V32_bit_6 -V32_bit_5 -V32_bit_4 -V32_bit_3 -V32_bit_2 -V32_bit_1 -V32_bit0 -V32_bit1 -V32_bit2 -V32_bit3 -V32_bit4 -V32_bit5 -V32_bit6 -V32_bit7 -V32_bit8 -V32_bit9 -V32_bit10 -V32_bit11 -V32_bit12 -V42_bit_7 -V42_bit_6 -V42_bit_5 -V42_bit_4 -V42_bit_3 -V42_bit_2 -V42_bit_1 -V42_bit0 -V42_bit1 -V42_bit2 -V42_bit3 -V42_bit4 -V42_bit5 -V42_bit6 -V42_bit7 -V42_bit8 -V42_bit9 -V42_bit10 -V42_bit11 -V42_bit12 -V50_bit_7 -V50_bit_6 -V50_bit_5 -V50_bit_4 -V50_bit_3 -V50_bit_2 -V50_bit_1 -V50_bit0 -V50_bit1 -V50_bit2 -V50_bit3 -V50_bit4 -V50_bit5 -V50_bit6 -V50_bit7 -V50_bit8 -V50_bit9 -V50_bit10 -V50_bit11 -V50_bit12 -V69_bit_7 -V69_bit_6 -V69_bit_5 -V69_bit_4 -V69_bit_3 -V69_bit_2 -V69_bit_1 -V69_bit0 -V69_bit1 -V69_bit2 -V69_bit3 -V69_bit4 -V69_bit5 -V69_bit6 -V69_bit7 -V69_bit8 -V69_bit9 -V69_bit10 -V69_bit11 -V69_bit12 -V68_bit_7 -V68_bit_6 -V68_bit_5 -V68_bit_4 -V68_bit_3 -V68_bit_2 -V68_bit_1 -V68_bit0 -V68_bit1 -V68_bit2 -V68_bit3 -V68_bit4 -V68_bit5 -V68_bit6 -V68_bit7 -V68_bit8 -V68_bit9 -V68_bit10 -V68_bit11 -V68_bit12 -V62_bit_7 -V62_bit_6 -V62_bit_5 -V62_bit_4 -V62_bit_3 -V62_bit_2 -V62_bit_1 -V62_bit0 -V62_bit1 -V62_bit2 -V62_bit3 -V62_bit4 -V62_bit5 -V62_bit6 -V62_bit7 -V62_bit8 -V62_bit9 -V62_bit10 -V62_bit11 -V62_bit12 -V33_bit_7 -V33_bit_6 -V33_bit_5 -V33_bit_4 -V33_bit_3 -V33_bit_2 -V33_bit_1 -V33_bit0 -V33_bit1 -V33_bit2 -V33_bit3 -V33_bit4 -V33_bit5 -V33_bit6 -V33_bit7 -V33_bit8 -V33_bit9 -V33_bit10 -V33_bit11 -V33_bit12 -V34_bit_7 -V34_bit_6 -V34_bit_5 -V34_bit_4 -V34_bit_3 -V34_bit_2 -V34_bit_1 -V34_bit0 -V34_bit1 -V34_bit2 -V34_bit3 -V34_bit4 -V34_bit5 -V34_bit6 -V34_bit7 -V34_bit8 -V34_bit9 -V34_bit10 -V34_bit11 -V34_bit12 -V61_bit_7 -V61_bit_6 -V61_bit_5 -V61_bit_4 -V61_bit_3 -V61_bit_2 -V61_bit_1 -V61_bit0 -V61_bit1 -V61_bit2 -V61_bit3 -V61_bit4 -V61_bit5 -V61_bit6 -V61_bit7 -V61_bit8 -V61_bit9 -V61_bit10 -V61_bit11 -V61_bit12 -V64_bit_7 -V64_bit_6 -V64_bit_5 -V64_bit_4 -V64_bit_3 -V64_bit_2 -V64_bit_1 -V64_bit0 -V64_bit1 -V64_bit2 -V64_bit3 -V64_bit4 -V64_bit5 -V64_bit6 -V64_bit7 -V64_bit8 -V64_bit9 -V64_bit10 -V64_bit11 -V64_bit12 -V65_bit_7 -V65_bit_6 -V65_bit_5 -V65_bit_4 -V65_bit_3 -V65_bit_2 -V65_bit_1 -V65_bit0 -V65_bit1 -V65_bit2 -V65_bit3 -V65_bit4 -V65_bit5 -V65_bit6 -V65_bit7 -V65_bit8 -V65_bit9 -V65_bit10 -V65_bit11 -V65_bit12 -V66_bit_7 -V66_bit_6 -V66_bit_5 -V66_bit_4 -V66_bit_3 -V66_bit_2 -V66_bit_1 -V66_bit0 -V66_bit1 -V66_bit2 -V66_bit3 -V66_bit4 -V66_bit5 -V66_bit6 -V66_bit7 -V66_bit8 -V66_bit9 -V66_bit10 -V66_bit11 -V66_bit12 -V67_bit_7 -V67_bit_6 -V67_bit_5 -V67_bit_4 -V67_bit_3 -V67_bit_2 -V67_bit_1 -V67_bit0 -V67_bit1 -V67_bit2 -V67_bit3 -V67_bit4 -V67_bit5 -V67_bit6 -V67_bit7 -V67_bit8 -V67_bit9 -V67_bit10 -V67_bit11 -V67_bit12 -V55_bit_7 -V55_bit_6 -V55_bit_5 -V55_bit_4 -V55_bit_3 -V55_bit_2 -V55_bit_1 -V55_bit0 -V55_bit1 -V55_bit2 -V55_bit3 -V55_bit4 -V55_bit5 -V55_bit6 -V55_bit7 -V55_bit8 -V55_bit9 -V55_bit10 -V55_bit11 -V55_bit12 -V71_bit_7 -V71_bit_6 -V71_bit_5 -V71_bit_4 -V71_bit_3 -V71_bit_2 -V71_bit_1 -V71_bit0 -V71_bit1 -V71_bit2 -V71_bit3 -V71_bit4 -V71_bit5 -V71_bit6 -V71_bit7 -V71_bit8 -V71_bit9 -V71_bit10 -V71_bit11 -V71_bit12 -V78_bit_7 -V78_bit_6 -V78_bit_5 -V78_bit_4 -V78_bit_3 -V78_bit_2 -V78_bit_1 -V78_bit0 -V78_bit1 -V78_bit2 -V78_bit3 -V78_bit4 -V78_bit5 -V78_bit6 -V78_bit7 -V78_bit8 -V78_bit9 -V78_bit10 -V78_bit11 -V78_bit12 -V74_bit_7 -V74_bit_6 -V74_bit_5 -V74_bit_4 -V74_bit_3 -V74_bit_2 -V74_bit_1 -V74_bit0 -V74_bit1 -V74_bit2 -V74_bit3 -V74_bit4 -V74_bit5 -V74_bit6 -V74_bit7 -V74_bit8 -V74_bit9 -V74_bit10 -V74_bit11 -V74_bit12 -V81_bit_7 -V81_bit_6 -V81_bit_5 -V81_bit_4 -V81_bit_3 -V81_bit_2 -V81_bit_1 -V81_bit0 -V81_bit1 -V81_bit2 -V81_bit3 -V81_bit4 -V81_bit5 -V81_bit6 -V81_bit7 -V81_bit8 -V81_bit9 -V81_bit10 -V81_bit11 -V81_bit12 -V36_bit_7 -V36_bit_6 -V36_bit_5 -V36_bit_4 -V36_bit_3 -V36_bit_2 -V36_bit_1 -V36_bit0 -V36_bit1 -V36_bit2 -V36_bit3 -V36_bit4 -V36_bit5 -V36_bit6 -V36_bit7 -V36_bit8 -V36_bit9 -V36_bit10 -V36_bit11 -V36_bit12 -V44_bit_7 -V44_bit_6 -V44_bit_5 -V44_bit_4 -V44_bit_3 -V44_bit_2 -V44_bit_1 -V44_bit0 -V44_bit1 -V44_bit2 -V44_bit3 -V44_bit4 -V44_bit5 -V44_bit6 -V44_bit7 -V44_bit8 -V44_bit9 -V44_bit10 -V44_bit11 -V44_bit12 -V52_bit_7 -V52_bit_6 -V52_bit_5 -V52_bit_4 -V52_bit_3 -V52_bit_2 -V52_bit_1 -V52_bit0 -V52_bit1 -V52_bit2 -V52_bit3 -V52_bit4 -V52_bit5 -V52_bit6 -V52_bit7 -V52_bit8 -V52_bit9 -V52_bit10 -V52_bit11 -V52_bit12 c objective function=0 c Total CPU time (ms) : 1228.973
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/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1800004624 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 39 3 38 16 0 23 0 [pid=10615] 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/10615 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=10616 New thread pid=10617 New thread pid=10618 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=10619 New thread pid=10620 New thread pid=10621 New thread pid=10622 New thread pid=10623 New thread pid=10624 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security open syscall for file /dev/random open syscall for file /dev/urandom open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-blend.opb New thread pid=10625 One traced child (pid=10625) exited with status: 0 New thread pid=10626 [startup+10.0021 s] Raw data (loadavg): 1.23 1.05 0.75 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18195 4 1 0 720 49 0 0 25 0 11 0 1800004624 858578944 20397 4294967295 134512640 134569956 3221224336 3221214552 1131359815 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 209614 20397 13129 16 0 209598 0 [pid=10615] vsize: 838456 Current children cumulated CPU time (s) 7.69 Current children cumulated vsize (Kb) 838456 [startup+20.0019 s] Raw data (loadavg): 1.26 1.06 0.76 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18206 4 1 0 1568 50 0 0 25 0 11 0 1800004624 861016064 22017 4294967295 134512640 134569956 3221224336 3221214552 1131359808 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 22017 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 16.18 Current children cumulated vsize (Kb) 840836 [startup+30.0027 s] Raw data (loadavg): 1.22 1.06 0.76 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18211 4 1 0 2527 50 0 0 25 0 11 0 1800004624 861016064 22703 4294967295 134512640 134569956 3221224336 3221214160 1131670364 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 22703 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 25.77 Current children cumulated vsize (Kb) 840836 [startup+40.0035 s] Raw data (loadavg): 1.19 1.06 0.77 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18218 4 1 0 3487 51 0 0 25 0 11 0 1800004624 861016064 23192 4294967295 134512640 134569956 3221224336 3221214104 1131670396 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 23192 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 35.38 Current children cumulated vsize (Kb) 840836 [startup+50.0043 s] Raw data (loadavg): 1.16 1.06 0.77 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18224 4 1 0 4438 51 0 0 25 0 11 0 1800004624 861016064 23632 4294967295 134512640 134569956 3221224336 3221214792 1131667613 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 23632 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 44.89 Current children cumulated vsize (Kb) 840836 [startup+60.0042 s] Raw data (loadavg): 1.13 1.05 0.77 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18229 4 1 0 5403 51 0 0 25 0 11 0 1800004624 861016064 24027 4294967295 134512640 134569956 3221224336 3221214204 1131670372 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 24027 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 54.54 Current children cumulated vsize (Kb) 840836 [startup+70.006 s] Raw data (loadavg): 1.11 1.05 0.77 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18233 4 1 0 6361 51 0 0 25 0 11 0 1800004624 861016064 24483 4294967295 134512640 134569956 3221224336 3221214520 1131458790 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 24483 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 64.12 Current children cumulated vsize (Kb) 840836 [startup+80.0068 s] Raw data (loadavg): 1.10 1.05 0.77 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18237 4 1 0 7330 51 0 0 25 0 11 0 1800004624 861016064 24803 4294967295 134512640 134569956 3221224336 3221214792 1131667273 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 24803 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 73.81 Current children cumulated vsize (Kb) 840836 [startup+90.0066 s] Raw data (loadavg): 1.08 1.05 0.77 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18242 4 1 0 8291 52 0 0 17 0 11 0 1800004624 861016064 25260 4294967295 134512640 134569956 3221224336 3221214520 1131458139 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 25260 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 83.43 Current children cumulated vsize (Kb) 840836 [startup+100.007 s] Raw data (loadavg): 1.07 1.05 0.78 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18245 4 1 0 9260 52 0 0 25 0 11 0 1800004624 861016064 25561 4294967295 134512640 134569956 3221224336 3221213912 1085806738 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 25561 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 93.12 Current children cumulated vsize (Kb) 840836 [startup+110.008 s] Raw data (loadavg): 1.06 1.04 0.78 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18248 4 1 0 10230 52 0 0 25 0 11 0 1800004624 861016064 25759 4294967295 134512640 134569956 3221224336 3221214152 1131670375 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 25759 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 102.82 Current children cumulated vsize (Kb) 840836 [startup+120.008 s] Raw data (loadavg): 1.05 1.04 0.78 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18251 4 1 0 11198 52 0 0 25 0 11 0 1800004624 861016064 26067 4294967295 134512640 134569956 3221224336 3221214048 1131670344 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 26067 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 112.5 Current children cumulated vsize (Kb) 840836 [startup+130.009 s] Raw data (loadavg): 1.04 1.04 0.78 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18255 4 1 0 12158 52 0 0 25 0 11 0 1800004624 861016064 26275 4294967295 134512640 134569956 3221224336 3221214280 1131560264 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 26275 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 122.1 Current children cumulated vsize (Kb) 840836 [startup+140.01 s] Raw data (loadavg): 1.03 1.04 0.78 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18257 4 1 0 13136 52 0 0 25 0 11 0 1800004624 861016064 26479 4294967295 134512640 134569956 3221224336 3221214040 1131670402 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 26479 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 131.88 Current children cumulated vsize (Kb) 840836 [startup+150.011 s] Raw data (loadavg): 1.03 1.04 0.79 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18260 4 1 0 14104 52 0 0 25 0 11 0 1800004624 861016064 26801 4294967295 134512640 134569956 3221224336 3221214616 1131504918 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 26801 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 141.56 Current children cumulated vsize (Kb) 840836 [startup+160.011 s] Raw data (loadavg): 1.02 1.03 0.79 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18263 4 1 0 15082 53 0 0 25 0 11 0 1800004624 861016064 27009 4294967295 134512640 134569956 3221224336 3221214616 1131506899 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 27009 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 151.35 Current children cumulated vsize (Kb) 840836 [startup+170.011 s] Raw data (loadavg): 1.02 1.03 0.79 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18266 4 1 0 16050 53 0 0 25 0 11 0 1800004624 861016064 27310 4294967295 134512640 134569956 3221224336 3221214264 1131670396 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 27310 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 161.03 Current children cumulated vsize (Kb) 840836 [startup+180.012 s] Raw data (loadavg): 1.02 1.03 0.79 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18268 4 1 0 17029 53 0 0 25 0 11 0 1800004624 861016064 27549 4294967295 134512640 134569956 3221224336 3221214048 1131670344 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 27549 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 170.82 Current children cumulated vsize (Kb) 840836 [startup+190.013 s] Raw data (loadavg): 1.01 1.03 0.79 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18270 4 1 0 18007 53 0 0 25 0 11 0 1800004624 861016064 27649 4294967295 134512640 134569956 3221224336 3221214792 1131667468 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 27649 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 180.6 Current children cumulated vsize (Kb) 840836 [startup+200.014 s] Raw data (loadavg): 1.01 1.03 0.80 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18273 4 1 0 18973 53 0 0 25 0 11 0 1800004624 861016064 28029 4294967295 134512640 134569956 3221224336 3221214520 1131457836 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 28029 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 190.26 Current children cumulated vsize (Kb) 840836 [startup+210.014 s] Raw data (loadavg): 1.01 1.03 0.80 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18275 4 1 0 19953 54 0 0 25 0 11 0 1800004624 861016064 28122 4294967295 134512640 134569956 3221224336 3221214032 1131620756 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 28122 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 200.07 Current children cumulated vsize (Kb) 840836 [startup+220.014 s] Raw data (loadavg): 1.01 1.03 0.80 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18278 4 1 0 20921 54 0 0 25 0 11 0 1800004624 861016064 28339 4294967295 134512640 134569956 3221224336 3221214616 1131504751 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 28339 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 209.75 Current children cumulated vsize (Kb) 840836 [startup+230.015 s] Raw data (loadavg): 1.00 1.02 0.80 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18280 4 1 0 21900 54 0 0 25 0 11 0 1800004624 861016064 28533 4294967295 134512640 134569956 3221224336 3221213992 1131670364 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 28533 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 219.54 Current children cumulated vsize (Kb) 840836 [startup+240.016 s] Raw data (loadavg): 1.00 1.02 0.80 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18282 4 1 0 22880 54 0 0 25 0 11 0 1800004624 861016064 28730 4294967295 134512640 134569956 3221224336 3221214584 1131673975 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 28730 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 229.34 Current children cumulated vsize (Kb) 840836 [startup+250.017 s] Raw data (loadavg): 1.00 1.02 0.81 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18284 4 1 0 23857 54 0 0 25 0 11 0 1800004624 861016064 28917 4294967295 134512640 134569956 3221224336 3221213944 1131671473 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 28917 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 239.11 Current children cumulated vsize (Kb) 840836 [startup+260.017 s] Raw data (loadavg): 1.00 1.02 0.81 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18287 4 1 0 24824 54 0 0 16 0 11 0 1800004624 861016064 29211 4294967295 134512640 134569956 3221224336 3221214432 1131670249 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 29211 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 248.78 Current children cumulated vsize (Kb) 840836 [startup+270.016 s] Raw data (loadavg): 1.00 1.02 0.81 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18289 4 1 0 25801 55 0 0 16 0 11 0 1800004624 861016064 29378 4294967295 134512640 134569956 3221224336 3221214160 1131671494 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 29378 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 258.56 Current children cumulated vsize (Kb) 840836 [startup+280.017 s] Raw data (loadavg): 1.00 1.02 0.81 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18290 4 1 0 26789 55 0 0 25 0 11 0 1800004624 861016064 29546 4294967295 134512640 134569956 3221224336 3221214032 1131620756 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 29546 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 268.44 Current children cumulated vsize (Kb) 840836 [startup+290.017 s] Raw data (loadavg): 1.00 1.02 0.81 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18292 4 1 0 27766 55 0 0 25 0 11 0 1800004624 861016064 29782 4294967295 134512640 134569956 3221224336 3221214376 1131670354 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 29782 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 278.21 Current children cumulated vsize (Kb) 840836 [startup+300.018 s] Raw data (loadavg): 1.00 1.02 0.82 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18294 4 1 0 28746 55 0 0 25 0 11 0 1800004624 861016064 29901 4294967295 134512640 134569956 3221224336 3221214616 1131506128 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 29901 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 288.01 Current children cumulated vsize (Kb) 840836 [startup+310.019 s] Raw data (loadavg): 1.00 1.02 0.82 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18296 4 1 0 29724 56 0 0 25 0 11 0 1800004624 861016064 30163 4294967295 134512640 134569956 3221224336 3221214368 1131670408 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 30163 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 297.8 Current children cumulated vsize (Kb) 840836 [startup+320.018 s] Raw data (loadavg): 1.00 1.02 0.82 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18298 4 1 0 30702 56 0 0 25 0 11 0 1800004624 861016064 30373 4294967295 134512640 134569956 3221224336 3221214104 1131671452 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 30373 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 307.58 Current children cumulated vsize (Kb) 840836 [startup+330.019 s] Raw data (loadavg): 1.00 1.01 0.82 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18300 4 1 0 31682 56 0 0 25 0 11 0 1800004624 861016064 30574 4294967295 134512640 134569956 3221224336 3221214776 1131681593 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 30574 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 317.38 Current children cumulated vsize (Kb) 840836 [startup+340.02 s] Raw data (loadavg): 1.00 1.01 0.82 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18302 4 1 0 32661 56 0 0 25 0 11 0 1800004624 861016064 30790 4294967295 134512640 134569956 3221224336 3221214520 1131458407 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 30790 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 327.17 Current children cumulated vsize (Kb) 840836 [startup+350.021 s] Raw data (loadavg): 1.00 1.01 0.82 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18304 4 1 0 33641 57 0 0 18 0 11 0 1800004624 861016064 30887 4294967295 134512640 134569956 3221224336 3221213984 1131670408 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 30887 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 336.98 Current children cumulated vsize (Kb) 840836 [startup+360.022 s] Raw data (loadavg): 1.00 1.01 0.82 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18305 4 1 0 34629 57 0 0 25 0 11 0 1800004624 861016064 30993 4294967295 134512640 134569956 3221224336 3221214216 1131671349 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 30993 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 346.86 Current children cumulated vsize (Kb) 840836 [startup+370.021 s] Raw data (loadavg): 1.00 1.01 0.82 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18307 4 1 0 35607 57 0 0 25 0 11 0 1800004624 861016064 31245 4294967295 134512640 134569956 3221224336 3221214440 1131671473 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 31245 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 356.64 Current children cumulated vsize (Kb) 840836 [startup+380.022 s] Raw data (loadavg): 1.00 1.01 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18309 4 1 0 36587 57 0 0 25 0 11 0 1800004624 861016064 31352 4294967295 134512640 134569956 3221224336 3221214184 1085806278 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 31352 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 366.44 Current children cumulated vsize (Kb) 840836 [startup+390.023 s] Raw data (loadavg): 1.00 1.01 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18311 4 1 0 37565 57 0 0 25 0 11 0 1800004624 861016064 31546 4294967295 134512640 134569956 3221224336 3221214032 1131620756 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 31546 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 376.22 Current children cumulated vsize (Kb) 840836 [startup+400.024 s] Raw data (loadavg): 1.00 1.01 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18313 4 1 0 38543 57 0 0 25 0 11 0 1800004624 861016064 31719 4294967295 134512640 134569956 3221224336 3221213988 1131672576 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 31719 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 386 Current children cumulated vsize (Kb) 840836 [startup+410.025 s] Raw data (loadavg): 1.00 1.01 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18315 4 1 0 39523 58 0 0 25 0 11 0 1800004624 861016064 31810 4294967295 134512640 134569956 3221224336 3221214268 1085759248 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 31810 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 395.81 Current children cumulated vsize (Kb) 840836 [startup+420.025 s] Raw data (loadavg): 1.00 1.01 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18317 4 1 0 40502 58 0 0 25 0 11 0 1800004624 861016064 32043 4294967295 134512640 134569956 3221224336 3221214328 1131671494 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 32043 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 405.6 Current children cumulated vsize (Kb) 840836 [startup+430.025 s] Raw data (loadavg): 1.00 1.00 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18319 4 1 0 41483 58 0 0 25 0 11 0 1800004624 861016064 32138 4294967295 134512640 134569956 3221224336 3221214044 1131370656 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 32138 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 415.41 Current children cumulated vsize (Kb) 840836 [startup+440.025 s] Raw data (loadavg): 1.00 1.00 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18321 4 1 0 42463 58 0 0 25 0 11 0 1800004624 861016064 32302 4294967295 134512640 134569956 3221224336 3221213992 1131670354 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 32302 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 425.21 Current children cumulated vsize (Kb) 840836 [startup+450.026 s] Raw data (loadavg): 1.00 1.00 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18325 4 1 0 43448 58 0 0 25 0 11 0 1800004624 861016064 32353 4294967295 134512640 134569956 3221224336 3221214544 1131670189 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 32353 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 435.06 Current children cumulated vsize (Kb) 840836 [startup+460.027 s] Raw data (loadavg): 1.00 1.00 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18327 4 1 0 44431 58 0 0 18 0 11 0 1800004624 861016064 32353 4294967295 134512640 134569956 3221224336 3221214312 1131672597 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 32353 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 444.89 Current children cumulated vsize (Kb) 840836 [startup+470.028 s] Raw data (loadavg): 1.00 1.00 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18328 4 1 0 45421 58 0 0 25 0 11 0 1800004624 861016064 32353 4294967295 134512640 134569956 3221224336 3221214152 1131670396 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 32353 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 454.79 Current children cumulated vsize (Kb) 840836 [startup+480.028 s] Raw data (loadavg): 1.00 1.00 0.83 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18330 4 1 0 46400 59 0 0 25 0 11 0 1800004624 861016064 32552 4294967295 134512640 134569956 3221224336 3221214320 1131670388 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 32552 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 464.59 Current children cumulated vsize (Kb) 840836 [startup+490.029 s] Raw data (loadavg): 1.00 1.00 0.84 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18332 4 1 0 47378 59 0 0 22 0 11 0 1800004624 861016064 32785 4294967295 134512640 134569956 3221224336 3221214316 1131672608 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 32785 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 474.37 Current children cumulated vsize (Kb) 840836 [startup+500.03 s] Raw data (loadavg): 1.00 1.00 0.84 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18334 4 1 0 48358 59 0 0 25 0 11 0 1800004624 861016064 33032 4294967295 134512640 134569956 3221224336 3221214520 1131458413 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 33032 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 484.17 Current children cumulated vsize (Kb) 840836 [startup+510.031 s] Raw data (loadavg): 1.00 1.00 0.84 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18336 4 1 0 49338 59 0 0 25 0 11 0 1800004624 861016064 33137 4294967295 134512640 134569956 3221224336 3221214320 1131670249 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 33137 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 493.97 Current children cumulated vsize (Kb) 840836 [startup+520.031 s] Raw data (loadavg): 1.00 1.00 0.84 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18338 4 1 0 50318 60 0 0 25 0 11 0 1800004624 861016064 33426 4294967295 134512640 134569956 3221224336 3221214016 1085806332 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 33426 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 503.78 Current children cumulated vsize (Kb) 840836 [startup+530.032 s] Raw data (loadavg): 1.00 1.00 0.84 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18340 4 1 0 51298 60 0 0 25 0 11 0 1800004624 861016064 33672 4294967295 134512640 134569956 3221224336 3221213992 1131670336 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 33672 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 513.58 Current children cumulated vsize (Kb) 840836 [startup+540.033 s] Raw data (loadavg): 1.00 1.00 0.84 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18342 4 1 0 52278 61 0 0 25 0 11 0 1800004624 861016064 33768 4294967295 134512640 134569956 3221224336 3221214144 1131670408 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 33768 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 523.39 Current children cumulated vsize (Kb) 840836 [startup+550.034 s] Raw data (loadavg): 1.00 1.00 0.84 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18344 4 1 0 53259 62 0 0 25 0 11 0 1800004624 861016064 33945 4294967295 134512640 134569956 3221224336 3221214264 1131670249 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 33945 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 533.21 Current children cumulated vsize (Kb) 840836 [startup+560.035 s] Raw data (loadavg): 1.00 1.00 0.84 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18346 4 1 0 54241 62 0 0 25 0 11 0 1800004624 861016064 34109 4294967295 134512640 134569956 3221224336 3221214240 1085806334 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 34109 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 543.03 Current children cumulated vsize (Kb) 840836 [startup+570.035 s] Raw data (loadavg): 1.00 1.00 0.84 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18348 4 1 0 55222 63 0 0 25 0 11 0 1800004624 861016064 34238 4294967295 134512640 134569956 3221224336 3221214352 1131639889 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 34238 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 552.85 Current children cumulated vsize (Kb) 840836 [startup+580.036 s] Raw data (loadavg): 1.00 1.00 0.84 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18350 4 1 0 56203 63 0 0 25 0 11 0 1800004624 861016064 34448 4294967295 134512640 134569956 3221224336 3221214584 1131673916 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 34448 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 562.66 Current children cumulated vsize (Kb) 840836 [startup+590.035 s] Raw data (loadavg): 1.00 1.00 0.85 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18352 4 1 0 57184 63 0 0 25 0 11 0 1800004624 861016064 34612 4294967295 134512640 134569956 3221224336 3221213992 1131670396 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 34612 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 572.47 Current children cumulated vsize (Kb) 840836 [startup+600.037 s] Raw data (loadavg): 1.00 1.00 0.85 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18354 4 1 0 58164 63 0 0 25 0 11 0 1800004624 861016064 34703 4294967295 134512640 134569956 3221224336 3221214504 1131581076 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 34703 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (Kb) 840836 [startup+610.038 s] Raw data (loadavg): 1.00 1.00 0.85 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18356 4 1 0 59144 64 0 0 25 0 11 0 1800004624 861016064 34846 4294967295 134512640 134569956 3221224336 3221213988 1131672579 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 34846 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 592.08 Current children cumulated vsize (Kb) 840836 [startup+620.038 s] Raw data (loadavg): 1.00 1.00 0.85 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18358 4 1 0 60125 64 0 0 25 0 11 0 1800004624 861016064 35020 4294967295 134512640 134569956 3221224336 3221214520 1131458097 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 35020 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 601.89 Current children cumulated vsize (Kb) 840836 [startup+630.04 s] Raw data (loadavg): 1.07 1.02 0.85 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18360 4 1 0 61105 64 0 0 25 0 11 0 1800004624 861016064 35186 4294967295 134512640 134569956 3221224336 3221214088 1131672594 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 35186 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 611.69 Current children cumulated vsize (Kb) 840836 [startup+640.04 s] Raw data (loadavg): 1.06 1.02 0.86 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18362 4 1 0 62085 65 0 0 25 0 11 0 1800004624 861016064 35343 4294967295 134512640 134569956 3221224336 3221214248 1131673704 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 35343 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 621.5 Current children cumulated vsize (Kb) 840836 [startup+650.041 s] Raw data (loadavg): 1.13 1.03 0.86 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18365 4 1 0 63057 65 0 0 25 0 11 0 1800004624 861016064 35479 4294967295 134512640 134569956 3221224336 3221214528 1131458399 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 35479 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 631.22 Current children cumulated vsize (Kb) 840836 [startup+660.042 s] Raw data (loadavg): 1.11 1.03 0.86 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18367 4 1 0 64038 65 0 0 25 0 11 0 1800004624 861016064 35638 4294967295 134512640 134569956 3221224336 3221214384 1131671462 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 35638 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 641.03 Current children cumulated vsize (Kb) 840836 [startup+670.042 s] Raw data (loadavg): 1.09 1.03 0.86 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18369 4 1 0 65019 65 0 0 25 0 11 0 1800004624 861016064 35791 4294967295 134512640 134569956 3221224336 3221214152 1131670375 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 35791 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 650.84 Current children cumulated vsize (Kb) 840836 [startup+680.042 s] Raw data (loadavg): 1.08 1.03 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18372 4 1 0 65993 65 0 0 25 0 11 0 1800004624 861016064 35927 4294967295 134512640 134569956 3221224336 3221214436 1131671440 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 35927 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 660.58 Current children cumulated vsize (Kb) 840836 [startup+690.043 s] Raw data (loadavg): 1.07 1.03 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18374 4 1 0 66974 66 0 0 25 0 11 0 1800004624 861016064 36072 4294967295 134512640 134569956 3221224336 3221213856 1085759268 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 36072 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 670.4 Current children cumulated vsize (Kb) 840836 [startup+700.043 s] Raw data (loadavg): 1.06 1.02 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18376 4 1 0 67956 66 0 0 25 0 11 0 1800004624 861016064 36215 4294967295 134512640 134569956 3221224336 3221214600 1131530569 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 36215 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 680.22 Current children cumulated vsize (Kb) 840836 [startup+710.043 s] Raw data (loadavg): 1.05 1.02 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18378 4 1 0 68938 66 0 0 25 0 11 0 1800004624 861016064 36344 4294967295 134512640 134569956 3221224336 3221214184 1085806281 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 36344 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 690.04 Current children cumulated vsize (Kb) 840836 [startup+720.043 s] Raw data (loadavg): 1.04 1.02 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18381 4 1 0 69911 67 0 0 18 0 11 0 1800004624 861016064 36550 4294967295 134512640 134569956 3221224336 3221214600 1131358815 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 36550 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 699.78 Current children cumulated vsize (Kb) 840836 [startup+730.044 s] Raw data (loadavg): 1.03 1.02 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18383 4 1 0 70891 67 0 0 25 0 11 0 1800004624 861016064 36717 4294967295 134512640 134569956 3221224336 3221214544 1131670186 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 36717 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 709.58 Current children cumulated vsize (Kb) 840836 [startup+740.045 s] Raw data (loadavg): 1.03 1.02 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18385 4 1 0 71873 67 0 0 25 0 11 0 1800004624 861016064 36837 4294967295 134512640 134569956 3221224336 3221214600 1131530465 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 36837 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 719.4 Current children cumulated vsize (Kb) 840836 [startup+750.045 s] Raw data (loadavg): 1.02 1.02 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18388 4 1 0 72846 68 0 0 25 0 11 0 1800004624 861016064 37035 4294967295 134512640 134569956 3221224336 3221214536 1131672599 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 37035 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 729.14 Current children cumulated vsize (Kb) 840836 [startup+760.046 s] Raw data (loadavg): 1.02 1.02 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18390 4 1 0 73829 68 0 0 25 0 11 0 1800004624 861016064 37167 4294967295 134512640 134569956 3221224336 3221214248 1131673980 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 37167 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 738.97 Current children cumulated vsize (Kb) 840836 [startup+770.046 s] Raw data (loadavg): 1.02 1.02 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18393 4 1 0 74802 68 0 0 24 0 11 0 1800004624 861016064 37304 4294967295 134512640 134569956 3221224336 3221214544 1131670186 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 37304 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 748.7 Current children cumulated vsize (Kb) 840836 [startup+780.047 s] Raw data (loadavg): 1.01 1.02 0.87 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18395 4 1 0 75782 68 0 0 25 0 11 0 1800004624 861016064 37453 4294967295 134512640 134569956 3221224336 3221214616 1131505040 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 37453 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 758.5 Current children cumulated vsize (Kb) 840836 [startup+790.048 s] Raw data (loadavg): 1.01 1.02 0.88 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18397 4 1 0 76764 68 0 0 25 0 11 0 1800004624 861016064 37587 4294967295 134512640 134569956 3221224336 3221214520 1131458425 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 37587 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 768.32 Current children cumulated vsize (Kb) 840836 [startup+800.048 s] Raw data (loadavg): 1.01 1.02 0.88 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18400 4 1 0 77738 68 0 0 25 0 11 0 1800004624 861016064 37761 4294967295 134512640 134569956 3221224336 3221214544 1131670249 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 37761 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 778.06 Current children cumulated vsize (Kb) 840836 [startup+810.049 s] Raw data (loadavg): 1.01 1.01 0.88 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18403 4 1 0 78713 68 0 0 25 0 11 0 1800004624 861016064 37946 4294967295 134512640 134569956 3221224336 3221214352 1131639601 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 37946 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 787.81 Current children cumulated vsize (Kb) 840836 [startup+820.049 s] Raw data (loadavg): 1.00 1.01 0.88 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18405 4 1 0 79696 69 0 0 25 0 11 0 1800004624 861016064 38059 4294967295 134512640 134569956 3221224336 3221214520 1131457937 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 38059 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 797.65 Current children cumulated vsize (Kb) 840836 [startup+830.05 s] Raw data (loadavg): 1.00 1.01 0.88 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18407 4 1 0 80679 69 0 0 25 0 11 0 1800004624 861016064 38213 4294967295 134512640 134569956 3221224336 3221214424 1131670408 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 38213 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 807.48 Current children cumulated vsize (Kb) 840836 [startup+840.051 s] Raw data (loadavg): 1.00 1.01 0.88 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18409 4 1 0 81662 69 0 0 25 0 11 0 1800004624 861016064 38289 4294967295 134512640 134569956 3221224336 3221214384 1131614133 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 38289 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 817.31 Current children cumulated vsize (Kb) 840836 [startup+850.052 s] Raw data (loadavg): 1.00 1.01 0.88 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18411 4 1 0 82643 69 0 0 25 0 11 0 1800004624 861016064 38456 4294967295 134512640 134569956 3221224336 3221213800 1085806297 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 38456 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 827.12 Current children cumulated vsize (Kb) 840836 [startup+860.051 s] Raw data (loadavg): 1.00 1.01 0.88 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18414 4 1 0 83616 69 0 0 25 0 11 0 1800004624 861016064 38658 4294967295 134512640 134569956 3221224336 3221213884 1131671448 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 38658 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 836.85 Current children cumulated vsize (Kb) 840836 [startup+870.052 s] Raw data (loadavg): 1.00 1.01 0.88 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18416 4 1 0 84598 70 0 0 25 0 11 0 1800004624 861016064 38734 4294967295 134512640 134569956 3221224336 3221214148 1131672576 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 38734 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 846.68 Current children cumulated vsize (Kb) 840836 [startup+880.053 s] Raw data (loadavg): 1.00 1.01 0.88 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18418 4 1 0 85579 70 0 0 25 0 11 0 1800004624 861016064 38855 4294967295 134512640 134569956 3221224336 3221214152 1131670396 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 38855 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 856.49 Current children cumulated vsize (Kb) 840836 [startup+890.053 s] Raw data (loadavg): 1.00 1.01 0.89 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18421 4 1 0 86552 70 0 0 24 0 11 0 1800004624 861016064 39057 4294967295 134512640 134569956 3221224336 3221214792 1131667613 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 39057 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 866.22 Current children cumulated vsize (Kb) 840836 [startup+900.055 s] Raw data (loadavg): 1.08 1.02 0.89 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18422 4 1 0 87541 71 0 0 25 0 11 0 1800004624 861016064 39155 4294967295 134512640 134569956 3221224336 3221214152 1131670320 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 39155 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 876.12 Current children cumulated vsize (Kb) 840836 [startup+910.055 s] Raw data (loadavg): 1.07 1.02 0.89 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) S 10614 10615 31778 0 -1 0 18423 4 1 0 88521 71 0 0 25 0 11 0 1800004624 861016064 39368 4294967295 134512640 134569956 3221224336 3221213272 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 39370 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 885.92 Current children cumulated vsize (Kb) 840836 [startup+920.055 s] Raw data (loadavg): 1.06 1.02 0.89 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18425 4 1 0 89509 71 0 0 25 0 11 0 1800004624 861016064 39487 4294967295 134512640 134569956 3221224336 3221214352 1085806297 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 39487 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 895.8 Current children cumulated vsize (Kb) 840836 [startup+930.056 s] Raw data (loadavg): 1.05 1.02 0.89 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18426 4 1 0 90498 71 0 0 25 0 11 0 1800004624 861016064 39592 4294967295 134512640 134569956 3221224336 3221214264 1131670364 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 39592 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 905.69 Current children cumulated vsize (Kb) 840836 [startup+940.057 s] Raw data (loadavg): 1.04 1.02 0.90 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18428 4 1 0 91477 71 0 0 25 0 11 0 1800004624 861016064 39824 4294967295 134512640 134569956 3221224336 3221214184 1085806269 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 39824 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 915.48 Current children cumulated vsize (Kb) 840836 [startup+950.058 s] Raw data (loadavg): 1.03 1.02 0.90 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18429 4 1 0 92467 71 0 0 25 0 11 0 1800004624 861016064 39880 4294967295 134512640 134569956 3221224336 3221214528 1131409863 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 39880 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 925.38 Current children cumulated vsize (Kb) 840836 [startup+960.058 s] Raw data (loadavg): 1.03 1.02 0.90 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18431 4 1 0 93445 72 0 0 25 0 11 0 1800004624 861016064 40056 4294967295 134512640 134569956 3221224336 3221214016 1085806301 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 40056 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 935.17 Current children cumulated vsize (Kb) 840836 [startup+970.059 s] Raw data (loadavg): 1.02 1.02 0.90 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18432 4 1 0 94433 72 0 0 25 0 11 0 1800004624 861016064 40247 4294967295 134512640 134569956 3221224336 3221214616 1131505040 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 40247 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 945.05 Current children cumulated vsize (Kb) 840836 [startup+980.06 s] Raw data (loadavg): 1.02 1.01 0.90 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18434 4 1 0 95413 72 0 0 16 0 11 0 1800004624 861016064 40349 4294967295 134512640 134569956 3221224336 3221214096 1131670375 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 40349 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 954.85 Current children cumulated vsize (Kb) 840836 [startup+990.061 s] Raw data (loadavg): 1.02 1.01 0.90 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18435 4 1 0 96403 72 0 0 25 0 11 0 1800004624 861016064 40457 4294967295 134512640 134569956 3221224336 3221214144 1131670408 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 40457 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 964.75 Current children cumulated vsize (Kb) 840836 [startup+1000.06 s] Raw data (loadavg): 1.01 1.01 0.90 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18437 4 1 0 97383 72 0 0 25 0 11 0 1800004624 861016064 40651 4294967295 134512640 134569956 3221224336 3221214512 1131445195 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 40651 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 974.55 Current children cumulated vsize (Kb) 840836 [startup+1010.06 s] Raw data (loadavg): 1.16 1.04 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18439 4 1 0 98364 72 0 0 25 0 11 0 1800004624 861016064 40827 4294967295 134512640 134569956 3221224336 3221214040 1131670315 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 40827 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 984.36 Current children cumulated vsize (Kb) 840836 [startup+1020.06 s] Raw data (loadavg): 1.13 1.04 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18440 4 1 0 99354 72 0 0 25 0 11 0 1800004624 861016064 40934 4294967295 134512640 134569956 3221224336 3221214520 1131458636 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 40934 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 994.26 Current children cumulated vsize (Kb) 840836 [startup+1030.06 s] Raw data (loadavg): 1.11 1.04 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18442 4 1 0 100337 72 0 0 25 0 11 0 1800004624 861016064 41031 4294967295 134512640 134569956 3221224336 3221214520 1131445316 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 41031 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1004.09 Current children cumulated vsize (Kb) 840836 [startup+1040.06 s] Raw data (loadavg): 1.09 1.04 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18444 4 1 0 101319 73 0 0 25 0 11 0 1800004624 861016064 41220 4294967295 134512640 134569956 3221224336 3221214240 1085806281 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 41220 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1013.92 Current children cumulated vsize (Kb) 840836 [startup+1050.06 s] Raw data (loadavg): 1.08 1.04 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18446 4 1 0 102302 73 0 0 25 0 11 0 1800004624 861016064 41392 4294967295 134512640 134569956 3221224336 3221214096 1131670186 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 41392 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1023.75 Current children cumulated vsize (Kb) 840836 [startup+1060.07 s] Raw data (loadavg): 1.07 1.03 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18447 4 1 0 103293 74 0 0 25 0 11 0 1800004624 861016064 41464 4294967295 134512640 134569956 3221224336 3221214384 1131614693 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 41464 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1033.67 Current children cumulated vsize (Kb) 840836 [startup+1070.07 s] Raw data (loadavg): 1.06 1.03 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18449 4 1 0 104276 74 0 0 25 0 11 0 1800004624 861016064 41645 4294967295 134512640 134569956 3221224336 3221213800 1085806272 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 41645 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1043.5 Current children cumulated vsize (Kb) 840836 [startup+1080.07 s] Raw data (loadavg): 1.05 1.03 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18451 4 1 0 105259 74 0 0 25 0 11 0 1800004624 861016064 41816 4294967295 134512640 134569956 3221224336 3221214544 1131670396 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 41816 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1053.33 Current children cumulated vsize (Kb) 840836 [startup+1090.07 s] Raw data (loadavg): 1.04 1.03 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18453 4 1 0 106242 74 0 0 24 0 11 0 1800004624 861016064 41995 4294967295 134512640 134569956 3221224336 3221214248 1131673968 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 41995 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1063.16 Current children cumulated vsize (Kb) 840836 [startup+1100.07 s] Raw data (loadavg): 1.03 1.03 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18454 4 1 0 107233 75 0 0 25 0 11 0 1800004624 861016064 42072 4294967295 134512640 134569956 3221224336 3221214296 1085806301 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 42072 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1073.08 Current children cumulated vsize (Kb) 840836 [startup+1110.07 s] Raw data (loadavg): 1.03 1.03 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18456 4 1 0 108217 75 0 0 25 0 11 0 1800004624 861016064 42235 4294967295 134512640 134569956 3221224336 3221213800 1085806738 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 42235 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1082.92 Current children cumulated vsize (Kb) 840836 [startup+1120.07 s] Raw data (loadavg): 1.02 1.03 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18458 4 1 0 109199 75 0 0 25 0 11 0 1800004624 861016064 42471 4294967295 134512640 134569956 3221224336 3221213936 1131670181 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 42471 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1092.74 Current children cumulated vsize (Kb) 840836 [startup+1130.07 s] Raw data (loadavg): 1.02 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18460 4 1 0 110182 75 0 0 25 0 11 0 1800004624 861016064 42558 4294967295 134512640 134569956 3221224336 3221214520 1131458399 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 42558 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1102.57 Current children cumulated vsize (Kb) 840836 [startup+1140.07 s] Raw data (loadavg): 1.02 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18461 4 1 0 111173 75 0 0 25 0 11 0 1800004624 861016064 42633 4294967295 134512640 134569956 3221224336 3221213888 1131671586 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 42633 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1112.48 Current children cumulated vsize (Kb) 840836 [startup+1150.07 s] Raw data (loadavg): 1.01 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18463 4 1 0 112156 76 0 0 25 0 11 0 1800004624 861016064 42816 4294967295 134512640 134569956 3221224336 3221214408 1085806307 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 42816 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (Kb) 840836 [startup+1160.07 s] Raw data (loadavg): 1.01 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18466 4 1 0 113131 76 0 0 24 0 11 0 1800004624 861016064 43081 4294967295 134512640 134569956 3221224336 3221214256 1131672599 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 43081 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1132.07 Current children cumulated vsize (Kb) 840836 [startup+1170.07 s] Raw data (loadavg): 1.01 1.02 0.91 3/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18468 4 1 0 114123 76 0 0 25 0 11 0 1800004624 861016064 43152 4294967295 134512640 134569956 3221224336 3221213352 1073952732 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 43152 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1141.99 Current children cumulated vsize (Kb) 840836 [startup+1180.07 s] Raw data (loadavg): 1.01 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18470 4 1 0 115100 76 0 0 25 0 11 0 1800004624 861016064 43382 4294967295 134512640 134569956 3221224336 3221214520 1131458139 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 43382 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1151.76 Current children cumulated vsize (Kb) 840836 [startup+1190.07 s] Raw data (loadavg): 1.00 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18472 4 1 0 116084 76 0 0 25 0 11 0 1800004624 861016064 43484 4294967295 134512640 134569956 3221224336 3221214384 1131614610 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 43484 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1161.6 Current children cumulated vsize (Kb) 840836 [startup+1200.07 s] Raw data (loadavg): 1.00 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18473 4 1 0 117076 76 0 0 25 0 11 0 1800004624 861016064 43571 4294967295 134512640 134569956 3221224336 3221214216 1131671452 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 43571 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1171.52 Current children cumulated vsize (Kb) 840836 [startup+1210.07 s] Raw data (loadavg): 1.00 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18475 4 1 0 118059 77 0 0 25 0 11 0 1800004624 861016064 43735 4294967295 134512640 134569956 3221224336 3221214260 1131672608 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 43735 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1181.36 Current children cumulated vsize (Kb) 840836 [startup+1220.07 s] Raw data (loadavg): 1.00 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18476 4 1 0 119051 77 0 0 25 0 11 0 1800004624 861016064 43811 4294967295 134512640 134569956 3221224336 3221214040 1131670396 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/10615/statm): 210209 43811 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1191.28 Current children cumulated vsize (Kb) 840836 [startup+1230.07 s] Raw data (loadavg): 1.00 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18478 4 1 0 120034 77 0 0 25 0 11 0 1800004624 861016064 44007 4294967295 134512640 134569956 3221224336 3221214432 1131670416 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 44007 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1201.11 Current children cumulated vsize (Kb) 840836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1230.07 s] Raw data (loadavg): 1.00 1.02 0.91 2/66 10626 Raw data (/proc/10615/stat): 10615 (java) R 10614 10615 31778 0 -1 0 18478 4 1 0 120034 77 0 0 25 0 11 0 1800004624 861016064 44007 4294967295 134512640 134569956 3221224336 3221214432 1131670416 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/10615/statm): 210209 44007 13129 16 0 210193 0 [pid=10615] vsize: 840836 Current children cumulated CPU time (s) 1201.11 Current children cumulated vsize (Kb) 840836 Sending SIGTERM to -10615 Sleeping 2 seconds New thread pid=10628 New thread pid=10629 One traced child (pid=10629) exited with status: 0 One traced child (pid=10624) exited with status: 0 One traced child (pid=10619) exited with status: 0 One traced child (pid=10616) exited with status: 143 One traced child (pid=10617) exited with status: 143 One traced child (pid=10618) exited with status: 143 One traced child (pid=10623) exited with status: 143 One traced child (pid=10620) exited with status: 143 One traced child (pid=10621) exited with status: 143 One traced child (pid=10626) exited with status: 143 One traced child (pid=10628) exited with status: 143 One traced child (pid=10622) exited with status: 143 One traced child (pid=10615) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1230.4 CPU time (s): 1238.79 CPU user time (s): 1237.16 CPU system time (s): 1.63475 CPU usage (%): 100.682 Max. virtual memory (cumulated for all children) (Kb): 840836
Verifier: OK 0