Name | mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb |
MD5SUM | d90fce7408f7990dccb3ba4f8fa1c8f6 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24752128 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 744 |
Biggest coefficient in the objective function | 151934468096 |
Number of bits for the biggest coefficient in the objective function | 38 |
Sum of the numbers in the objective function | 3470370333536 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 151934468096 |
Number of bits of the biggest number in a constraint | 38 |
Biggest sum of numbers in a constraint | 3470370333536 |
Number of bits of the biggest sum of numbers | 42 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.05 |
Number of variables | 744 |
Total number of constraints | 34 |
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 | 34 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 180 |
LAUNCH ON wulflinc23 THE 2005-09-19 20:30:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6537 boxname=wulflinc23 idbench=677 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d90fce7408f7990dccb3ba4f8fa1c8f6 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-gr4x6.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-gr4x6.opb IDLAUNCH: 6537 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 3 cpu MHz : 451.037 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: 876656 kB Buffers: 37464 kB Cached: 91896 kB SwapCached: 792 kB Active: 69168 kB Inactive: 62812 kB HighTotal: 131008 kB HighFree: 35980 kB LowTotal: 903652 kB LowFree: 840676 kB SwapTotal: 2097136 kB SwapFree: 2095868 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5696 kB Slab: 20456 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 20:50:44 (client local time) WITH STATUS 143 IN 1249.4 SECONDS stats: 6537 0 1249.4 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/wulflinc23/normalized-mps-v2-20-10-gr4x6.opb c reading problem ... done. Time 1.412 ms. c #vars 744 c #constraints 44 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 31636468 Current CPU time: 4.28 ms c CURRENT OPTIMUM= 25729024 Current CPU time: 6.00 ms c starts : 9 c conflicts : 2488 c decisions : 10343 c propagations : 35120 c inspects : 3766599 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 2488 c root simplifications : 146 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 9497 c speed (decisions/second) : 8.390102874683029 c non guided choices 301 c random choices 0 s SATISFIABLE v -X0_bit_10 -X0_bit_9 -X0_bit_8 -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X0_bit13 -X0_bit14 -X0_bit15 -X0_bit16 -X0_bit17 -X0_bit18 -X0_bit19 -X1_bit_10 -X1_bit_9 -X1_bit_8 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X1_bit13 -X1_bit14 -X1_bit15 -X1_bit16 -X1_bit17 -X1_bit18 -X1_bit19 -X2_bit_10 -X2_bit_9 -X2_bit_8 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 X2_bit3 X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X2_bit13 -X2_bit14 -X2_bit15 -X2_bit16 -X2_bit17 -X2_bit18 -X2_bit19 -X3_bit_10 -X3_bit_9 -X3_bit_8 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X3_bit13 -X3_bit14 -X3_bit15 -X3_bit16 -X3_bit17 -X3_bit18 -X3_bit19 -X4_bit_10 -X4_bit_9 -X4_bit_8 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 X4_bit0 -X4_bit1 X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X4_bit13 -X4_bit14 -X4_bit15 -X4_bit16 -X4_bit17 -X4_bit18 -X4_bit19 -X5_bit_10 -X5_bit_9 -X5_bit_8 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X5_bit13 -X5_bit14 -X5_bit15 -X5_bit16 -X5_bit17 -X5_bit18 -X5_bit19 -X6_bit_10 -X6_bit_9 -X6_bit_8 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X6_bit13 -X6_bit14 -X6_bit15 -X6_bit16 -X6_bit17 -X6_bit18 -X6_bit19 -X7_bit_10 -X7_bit_9 -X7_bit_8 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 X7_bit1 X7_bit2 X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X7_bit13 -X7_bit14 -X7_bit15 -X7_bit16 -X7_bit17 -X7_bit18 -X7_bit19 -X8_bit_10 -X8_bit_9 -X8_bit_8 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X8_bit13 -X8_bit14 -X8_bit15 -X8_bit16 -X8_bit17 -X8_bit18 -X8_bit19 -X9_bit_10 -X9_bit_9 -X9_bit_8 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 X9_bit0 X9_bit1 X9_bit2 X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X9_bit13 -X9_bit14 -X9_bit15 -X9_bit16 -X9_bit17 -X9_bit18 -X9_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 -X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 X11_bit0 -X11_bit1 X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X11_bit17 -X11_bit18 -X11_bit19 -X12_bit_10 -X12_bit_9 -X12_bit_8 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 X12_bit2 -X12_bit3 X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 -X12_bit17 -X12_bit18 -X12_bit19 -X13_bit_10 -X13_bit_9 -X13_bit_8 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X13_bit17 -X13_bit18 -X13_bit19 -X14_bit_10 -X14_bit_9 -X14_bit_8 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X14_bit17 -X14_bit18 -X14_bit19 -X15_bit_10 -X15_bit_9 -X15_bit_8 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X15_bit17 -X15_bit18 -X15_bit19 -X16_bit_10 -X16_bit_9 -X16_bit_8 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 -X17_bit_10 -X17_bit_9 -X17_bit_8 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X17_bit13 -X17_bit14 -X17_bit15 -X17_bit16 -X17_bit17 -X17_bit18 -X17_bit19 -X18_bit_10 -X18_bit_9 -X18_bit_8 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 X18_bit0 X18_bit1 X18_bit2 X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X18_bit13 -X18_bit14 -X18_bit15 -X18_bit16 -X18_bit17 -X18_bit18 -X18_bit19 -X19_bit_10 -X19_bit_9 -X19_bit_8 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X19_bit13 -X19_bit14 -X19_bit15 -X19_bit16 -X19_bit17 -X19_bit18 -X19_bit19 -X20_bit_10 -X20_bit_9 -X20_bit_8 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X20_bit13 -X20_bit14 -X20_bit15 -X20_bit16 -X20_bit17 -X20_bit18 -X20_bit19 -X21_bit_10 -X21_bit_9 -X21_bit_8 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit13 -X21_bit14 -X21_bit15 -X21_bit16 -X21_bit17 -X21_bit18 -X21_bit19 -X22_bit_10 -X22_bit_9 -X22_bit_8 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X22_bit17 -X22_bit18 -X22_bit19 -X23_bit_10 -X23_bit_9 -X23_bit_8 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X23_bit17 -X23_bit18 -X23_bit19 -Y0_bit0 Y1_bit0 Y2_bit0 -Y3_bit0 Y4_bit0 -Y5_bit0 -Y6_bit0 Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 -Y17_bit0 Y18_bit0 -Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 c objective function=25729024 c Total CPU time (ms) : 1238.884
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/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1852798134 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 39 3 38 16 0 23 0 [pid=23543] 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/23543 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=23544 New thread pid=23545 New thread pid=23546 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=23547 New thread pid=23548 New thread pid=23549 New thread pid=23550 New thread pid=23551 New thread pid=23552 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/wulflinc23/normalized-mps-v2-20-10-gr4x6.opb New thread pid=23553 One traced child (pid=23553) exited with status: 0 New thread pid=23554 One traced child (pid=23554) exited with status: 0 New thread pid=23555 [startup+10.0023 s] Raw data (loadavg): 0.93 1.00 0.95 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18206 4 1 0 749 51 0 0 21 0 11 0 1852798134 857370624 19862 4294967295 134512640 134569956 3221224336 3221214336 1131064585 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209319 19862 13129 16 0 209303 0 [pid=23543] vsize: 837276 Current children cumulated CPU time (s) 8 Current children cumulated vsize (Kb) 837276 [startup+20.0019 s] Raw data (loadavg): 0.94 1.00 0.95 3/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18221 4 1 0 1661 51 0 0 18 0 11 0 1852798134 857788416 20089 4294967295 134512640 134569956 3221224336 3221213392 1073952732 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209421 20089 13129 16 0 209405 0 [pid=23543] vsize: 837684 Current children cumulated CPU time (s) 17.12 Current children cumulated vsize (Kb) 837684 [startup+30.0026 s] Raw data (loadavg): 0.95 1.00 0.95 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18233 4 1 0 2594 52 0 0 17 0 11 0 1852798134 857559040 20287 4294967295 134512640 134569956 3221224336 3221214544 1131405030 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 20287 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 26.46 Current children cumulated vsize (Kb) 837460 [startup+40.0033 s] Raw data (loadavg): 0.96 1.00 0.95 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18243 4 1 0 3544 52 0 0 17 0 11 0 1852798134 857559040 20516 4294967295 134512640 134569956 3221224336 3221214296 1076478094 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 20516 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 35.96 Current children cumulated vsize (Kb) 837460 [startup+50.004 s] Raw data (loadavg): 0.96 1.00 0.95 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18254 4 1 0 4502 53 0 0 24 0 11 0 1852798134 857559040 20799 4294967295 134512640 134569956 3221224336 3221214640 1131475448 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 20799 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 45.55 Current children cumulated vsize (Kb) 837460 [startup+60.0046 s] Raw data (loadavg): 0.97 1.00 0.95 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18262 4 1 0 5463 53 0 0 25 0 11 0 1852798134 857559040 20869 4294967295 134512640 134569956 3221224336 3221214640 1131476662 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 20869 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 55.16 Current children cumulated vsize (Kb) 837460 [startup+70.0053 s] Raw data (loadavg): 0.97 1.00 0.95 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18271 4 1 0 6421 54 0 0 23 0 11 0 1852798134 857559040 21001 4294967295 134512640 134569956 3221224336 3221214640 1131475448 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 21001 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 64.75 Current children cumulated vsize (Kb) 837460 [startup+80.007 s] Raw data (loadavg): 0.98 1.00 0.95 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18280 4 1 0 7379 54 0 0 25 0 11 0 1852798134 857559040 21047 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 21047 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 74.33 Current children cumulated vsize (Kb) 837460 [startup+90.0077 s] Raw data (loadavg): 0.98 1.00 0.95 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18289 4 1 0 8341 55 0 0 20 0 11 0 1852798134 857559040 21220 4294967295 134512640 134569956 3221224336 3221214472 1131400835 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 21220 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 83.96 Current children cumulated vsize (Kb) 837460 [startup+100.008 s] Raw data (loadavg): 0.98 1.00 0.95 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18299 4 1 0 9306 56 0 0 17 0 11 0 1852798134 857559040 21333 4294967295 134512640 134569956 3221224336 3221214572 1131367975 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 21333 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 93.62 Current children cumulated vsize (Kb) 837460 [startup+110.009 s] Raw data (loadavg): 0.98 1.00 0.95 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18309 4 1 0 10277 56 0 0 23 0 11 0 1852798134 857559040 21451 4294967295 134512640 134569956 3221224336 3221214800 1131361241 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 21451 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 103.33 Current children cumulated vsize (Kb) 837460 [startup+120.01 s] Raw data (loadavg): 1.07 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18319 4 1 0 11260 57 0 0 24 0 11 0 1852798134 857559040 21530 4294967295 134512640 134569956 3221224336 3221214544 1131405487 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 21530 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 113.17 Current children cumulated vsize (Kb) 837460 [startup+130.01 s] Raw data (loadavg): 1.06 1.01 0.96 3/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18328 4 1 0 12245 57 0 0 18 0 11 0 1852798134 857559040 21587 4294967295 134512640 134569956 3221224336 3221214640 1131475147 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 21587 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 123.02 Current children cumulated vsize (Kb) 837460 [startup+140.011 s] Raw data (loadavg): 1.05 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18338 4 1 0 13225 59 0 0 24 0 11 0 1852798134 857559040 21602 4294967295 134512640 134569956 3221224336 3221214544 1131404919 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 21602 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 132.84 Current children cumulated vsize (Kb) 837460 [startup+150.012 s] Raw data (loadavg): 1.04 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18348 4 1 0 14205 59 0 0 23 0 11 0 1852798134 857559040 21625 4294967295 134512640 134569956 3221224336 3221214584 1131456027 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 21625 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 142.64 Current children cumulated vsize (Kb) 837460 [startup+160.012 s] Raw data (loadavg): 1.03 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18357 4 1 0 15187 59 0 0 25 0 11 0 1852798134 857559040 21694 4294967295 134512640 134569956 3221224336 3221214544 1131404999 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 21694 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 152.46 Current children cumulated vsize (Kb) 837460 [startup+170.012 s] Raw data (loadavg): 1.03 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18367 4 1 0 16168 60 0 0 24 0 11 0 1852798134 857559040 21735 4294967295 134512640 134569956 3221224336 3221214796 1131057239 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 21735 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (Kb) 837460 [startup+180.014 s] Raw data (loadavg): 1.02 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18377 4 1 0 17149 60 0 0 16 0 11 0 1852798134 857559040 21745 4294967295 134512640 134569956 3221224336 3221214636 1131406145 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 21745 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 172.09 Current children cumulated vsize (Kb) 837460 [startup+190.014 s] Raw data (loadavg): 1.09 1.02 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18387 4 1 0 18131 61 0 0 17 0 11 0 1852798134 857559040 21824 4294967295 134512640 134569956 3221224336 3221214336 1085806738 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 21824 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 181.92 Current children cumulated vsize (Kb) 837460 [startup+200.015 s] Raw data (loadavg): 1.08 1.02 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18396 4 1 0 19119 61 0 0 25 0 11 0 1852798134 857559040 21855 4294967295 134512640 134569956 3221224336 3221214592 1131516982 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 21855 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 191.8 Current children cumulated vsize (Kb) 837460 [startup+210.017 s] Raw data (loadavg): 1.07 1.02 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18405 4 1 0 20100 62 0 0 24 0 11 0 1852798134 857559040 21867 4294967295 134512640 134569956 3221224336 3221214640 1131476606 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 21867 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 201.62 Current children cumulated vsize (Kb) 837460 [startup+220.016 s] Raw data (loadavg): 1.06 1.02 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18414 4 1 0 21075 62 0 0 25 0 11 0 1852798134 857559040 21879 4294967295 134512640 134569956 3221224336 3221214544 1131405872 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 21879 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 211.37 Current children cumulated vsize (Kb) 837460 [startup+230.017 s] Raw data (loadavg): 1.05 1.02 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18424 4 1 0 22039 63 0 0 16 0 11 0 1852798134 857559040 21900 4294967295 134512640 134569956 3221224336 3221214288 1131631750 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 21900 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 221.02 Current children cumulated vsize (Kb) 837460 [startup+240.018 s] Raw data (loadavg): 1.04 1.02 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18433 4 1 0 23004 63 0 0 18 0 11 0 1852798134 857559040 22011 4294967295 134512640 134569956 3221224336 3221214640 1131479515 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 22011 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 230.67 Current children cumulated vsize (Kb) 837460 [startup+250.017 s] Raw data (loadavg): 1.03 1.02 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18442 4 1 0 23967 65 0 0 25 0 11 0 1852798134 857559040 22094 4294967295 134512640 134569956 3221224336 3221214544 1131404833 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 22094 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 240.32 Current children cumulated vsize (Kb) 837460 [startup+260.019 s] Raw data (loadavg): 1.03 1.02 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18451 4 1 0 24930 65 0 0 25 0 11 0 1852798134 857559040 22181 4294967295 134512640 134569956 3221224336 3221214544 1131405246 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 22181 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 249.95 Current children cumulated vsize (Kb) 837460 [startup+270.02 s] Raw data (loadavg): 1.02 1.02 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18460 4 1 0 25890 66 0 0 25 0 11 0 1852798134 857559040 22282 4294967295 134512640 134569956 3221224336 3221214544 1131405038 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 22282 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 259.56 Current children cumulated vsize (Kb) 837460 [startup+280.02 s] Raw data (loadavg): 1.02 1.02 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18470 4 1 0 26850 66 0 0 25 0 11 0 1852798134 857559040 22370 4294967295 134512640 134569956 3221224336 3221214544 1131405246 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 22370 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 269.16 Current children cumulated vsize (Kb) 837460 [startup+290.02 s] Raw data (loadavg): 1.02 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18480 4 1 0 27818 66 0 0 17 0 11 0 1852798134 857559040 22494 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 22494 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 278.84 Current children cumulated vsize (Kb) 837460 [startup+300.021 s] Raw data (loadavg): 1.01 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18490 4 1 0 28797 67 0 0 21 0 11 0 1852798134 857559040 22615 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 22615 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 288.64 Current children cumulated vsize (Kb) 837460 [startup+310.021 s] Raw data (loadavg): 1.01 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18500 4 1 0 29776 67 0 0 17 0 11 0 1852798134 857559040 22639 4294967295 134512640 134569956 3221224336 3221214456 1131368029 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 22639 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 298.43 Current children cumulated vsize (Kb) 837460 [startup+320.022 s] Raw data (loadavg): 1.01 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18509 4 1 0 30753 68 0 0 25 0 11 0 1852798134 857559040 22665 4294967295 134512640 134569956 3221224336 3221214544 1131405032 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 22665 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 308.21 Current children cumulated vsize (Kb) 837460 [startup+330.024 s] Raw data (loadavg): 1.01 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18519 4 1 0 31722 68 0 0 17 0 11 0 1852798134 857559040 22686 4294967295 134512640 134569956 3221224336 3221214888 1131089416 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 22686 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 317.9 Current children cumulated vsize (Kb) 837460 [startup+340.024 s] Raw data (loadavg): 1.00 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18528 4 1 0 32693 68 0 0 25 0 11 0 1852798134 857559040 22763 4294967295 134512640 134569956 3221224336 3221214588 1131456036 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 22763 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 327.61 Current children cumulated vsize (Kb) 837460 [startup+350.024 s] Raw data (loadavg): 1.00 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18538 4 1 0 33663 69 0 0 25 0 11 0 1852798134 857559040 22829 4294967295 134512640 134569956 3221224336 3221214640 1131477449 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 22829 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 337.32 Current children cumulated vsize (Kb) 837460 [startup+360.024 s] Raw data (loadavg): 1.00 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18549 4 1 0 34629 69 0 0 21 0 11 0 1852798134 857559040 22919 4294967295 134512640 134569956 3221224336 3221214456 1131368576 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 22919 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 346.98 Current children cumulated vsize (Kb) 837460 [startup+370.024 s] Raw data (loadavg): 1.00 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) S 23542 23543 5299 0 -1 0 18559 4 1 0 35606 69 0 0 25 0 11 0 1852798134 857559040 22984 4294967295 134512640 134569956 3221224336 3221213184 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 22984 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 356.75 Current children cumulated vsize (Kb) 837460 [startup+380.025 s] Raw data (loadavg): 1.00 1.01 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18569 4 1 0 36586 69 0 0 19 0 11 0 1852798134 857559040 23067 4294967295 134512640 134569956 3221224336 3221214800 1131361241 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23067 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 366.55 Current children cumulated vsize (Kb) 837460 [startup+390.025 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18580 4 1 0 37568 70 0 0 25 0 11 0 1852798134 857559040 23082 4294967295 134512640 134569956 3221224336 3221214640 1131475513 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23082 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 376.38 Current children cumulated vsize (Kb) 837460 [startup+400.025 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18589 4 1 0 38554 71 0 0 25 0 11 0 1852798134 857559040 23105 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23105 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 386.25 Current children cumulated vsize (Kb) 837460 [startup+410.026 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18600 4 1 0 39540 71 0 0 19 0 11 0 1852798134 857559040 23123 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23123 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 396.11 Current children cumulated vsize (Kb) 837460 [startup+420.026 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18610 4 1 0 40527 71 0 0 25 0 11 0 1852798134 857559040 23132 4294967295 134512640 134569956 3221224336 3221214640 1131476610 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23132 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 405.98 Current children cumulated vsize (Kb) 837460 [startup+430.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18621 4 1 0 41513 71 0 0 25 0 11 0 1852798134 857559040 23143 4294967295 134512640 134569956 3221224336 3221214640 1131475488 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23143 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 415.84 Current children cumulated vsize (Kb) 837460 [startup+440.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18630 4 1 0 42498 72 0 0 25 0 11 0 1852798134 857559040 23148 4294967295 134512640 134569956 3221224336 3221214544 1131405457 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23148 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 425.7 Current children cumulated vsize (Kb) 837460 [startup+450.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18640 4 1 0 43474 72 0 0 23 0 11 0 1852798134 857559040 23155 4294967295 134512640 134569956 3221224336 3221214544 1131404919 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23155 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 435.46 Current children cumulated vsize (Kb) 837460 [startup+460.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18650 4 1 0 44447 73 0 0 25 0 11 0 1852798134 857559040 23170 4294967295 134512640 134569956 3221224336 3221214456 1131367989 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23170 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 445.2 Current children cumulated vsize (Kb) 837460 [startup+470.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18660 4 1 0 45416 73 0 0 25 0 11 0 1852798134 857559040 23239 4294967295 134512640 134569956 3221224336 3221214640 1131477468 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23239 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 454.89 Current children cumulated vsize (Kb) 837460 [startup+480.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18670 4 1 0 46388 74 0 0 25 0 11 0 1852798134 857559040 23303 4294967295 134512640 134569956 3221224336 3221214544 1131404919 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23303 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 464.62 Current children cumulated vsize (Kb) 837460 [startup+490.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18680 4 1 0 47359 74 0 0 25 0 11 0 1852798134 857559040 23364 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23364 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 474.33 Current children cumulated vsize (Kb) 837460 [startup+500.032 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18690 4 1 0 48331 74 0 0 25 0 11 0 1852798134 857559040 23423 4294967295 134512640 134569956 3221224336 3221214760 1131361253 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23423 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 484.05 Current children cumulated vsize (Kb) 837460 [startup+510.032 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18700 4 1 0 49302 75 0 0 25 0 11 0 1852798134 857559040 23485 4294967295 134512640 134569956 3221224336 3221214640 1131476727 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23485 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 493.77 Current children cumulated vsize (Kb) 837460 [startup+520.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18710 4 1 0 50274 75 0 0 25 0 11 0 1852798134 857559040 23540 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23540 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 503.49 Current children cumulated vsize (Kb) 837460 [startup+530.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18720 4 1 0 51245 76 0 0 25 0 11 0 1852798134 857559040 23599 4294967295 134512640 134569956 3221224336 3221214640 1131498743 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23599 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 513.21 Current children cumulated vsize (Kb) 837460 [startup+540.036 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18731 4 1 0 52215 77 0 0 25 0 11 0 1852798134 857559040 23655 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23655 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 522.92 Current children cumulated vsize (Kb) 837460 [startup+550.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18741 4 1 0 53186 77 0 0 22 0 11 0 1852798134 857559040 23709 4294967295 134512640 134569956 3221224336 3221214148 1131631696 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23709 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 532.63 Current children cumulated vsize (Kb) 837460 [startup+560.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18750 4 1 0 54160 78 0 0 23 0 11 0 1852798134 857559040 23759 4294967295 134512640 134569956 3221224336 3221214544 1131404912 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23759 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 542.38 Current children cumulated vsize (Kb) 837460 [startup+570.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18760 4 1 0 55133 79 0 0 19 0 11 0 1852798134 857559040 23813 4294967295 134512640 134569956 3221224336 3221214544 1131405333 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23813 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 552.12 Current children cumulated vsize (Kb) 837460 [startup+580.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18771 4 1 0 56107 79 0 0 24 0 11 0 1852798134 857559040 23876 4294967295 134512640 134569956 3221224336 3221214544 1131405865 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23876 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 561.86 Current children cumulated vsize (Kb) 837460 [startup+590.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18781 4 1 0 57088 79 0 0 24 0 11 0 1852798134 857559040 23932 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23932 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 571.67 Current children cumulated vsize (Kb) 837460 [startup+600.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18790 4 1 0 58071 80 0 0 25 0 11 0 1852798134 857559040 23941 4294967295 134512640 134569956 3221224336 3221214544 1131405812 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23941 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 581.51 Current children cumulated vsize (Kb) 837460 [startup+610.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18800 4 1 0 59053 80 0 0 25 0 11 0 1852798134 857559040 23976 4294967295 134512640 134569956 3221224336 3221214580 1131359655 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 23976 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 591.33 Current children cumulated vsize (Kb) 837460 [startup+620.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18810 4 1 0 60028 81 0 0 20 0 11 0 1852798134 857559040 23989 4294967295 134512640 134569956 3221224336 3221214544 1131404912 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 23989 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 601.09 Current children cumulated vsize (Kb) 837460 [startup+630.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18820 4 1 0 61000 81 0 0 24 0 11 0 1852798134 857559040 24008 4294967295 134512640 134569956 3221224336 3221214604 1131456000 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24008 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 610.81 Current children cumulated vsize (Kb) 837460 [startup+640.044 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18829 4 1 0 61972 82 0 0 25 0 11 0 1852798134 857559040 24055 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 24055 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 620.54 Current children cumulated vsize (Kb) 837460 [startup+650.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18839 4 1 0 62942 82 0 0 22 0 11 0 1852798134 857559040 24120 4294967295 134512640 134569956 3221224336 3221214544 1131405865 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24120 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 630.24 Current children cumulated vsize (Kb) 837460 [startup+660.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18849 4 1 0 63914 83 0 0 20 0 11 0 1852798134 857559040 24179 4294967295 134512640 134569956 3221224336 3221214544 1131404855 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24179 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 639.97 Current children cumulated vsize (Kb) 837460 [startup+670.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18859 4 1 0 64885 83 0 0 18 0 11 0 1852798134 857559040 24236 4294967295 134512640 134569956 3221224336 3221214736 1131595599 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24236 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 649.68 Current children cumulated vsize (Kb) 837460 [startup+680.046 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) S 23542 23543 5299 0 -1 0 18869 4 1 0 65857 83 0 0 25 0 11 0 1852798134 857559040 24284 4294967295 134512640 134569956 3221224336 3221213184 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24284 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 659.4 Current children cumulated vsize (Kb) 837460 [startup+690.047 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18878 4 1 0 66831 84 0 0 23 0 11 0 1852798134 857559040 24334 4294967295 134512640 134569956 3221224336 3221214456 1131368426 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24334 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 669.15 Current children cumulated vsize (Kb) 837460 [startup+700.047 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18888 4 1 0 67803 84 0 0 25 0 11 0 1852798134 857559040 24395 4294967295 134512640 134569956 3221224336 3221214576 1131454960 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 24395 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 678.87 Current children cumulated vsize (Kb) 837460 [startup+710.047 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18898 4 1 0 68776 84 0 0 25 0 11 0 1852798134 857559040 24448 4294967295 134512640 134569956 3221224336 3221214544 1131404890 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24448 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 688.6 Current children cumulated vsize (Kb) 837460 [startup+720.048 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18908 4 1 0 69749 84 0 0 25 0 11 0 1852798134 857559040 24499 4294967295 134512640 134569956 3221224336 3221214888 1131089190 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24499 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 698.33 Current children cumulated vsize (Kb) 837460 [startup+730.048 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18918 4 1 0 70721 85 0 0 25 0 11 0 1852798134 857559040 24552 4294967295 134512640 134569956 3221224336 3221214488 1131531490 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 24552 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 708.06 Current children cumulated vsize (Kb) 837460 [startup+740.049 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18928 4 1 0 71694 86 0 0 24 0 11 0 1852798134 857559040 24602 4294967295 134512640 134569956 3221224336 3221214504 1131400888 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 24602 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 717.8 Current children cumulated vsize (Kb) 837460 [startup+750.049 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18937 4 1 0 72669 86 0 0 25 0 11 0 1852798134 857559040 24652 4294967295 134512640 134569956 3221224336 3221214640 1131476599 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24652 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 727.55 Current children cumulated vsize (Kb) 837460 [startup+760.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18947 4 1 0 73640 87 0 0 21 0 11 0 1852798134 857559040 24702 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24702 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 737.27 Current children cumulated vsize (Kb) 837460 [startup+770.051 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18957 4 1 0 74610 87 0 0 25 0 11 0 1852798134 857559040 24754 4294967295 134512640 134569956 3221224336 3221214340 1076477888 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 24754 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 746.97 Current children cumulated vsize (Kb) 837460 [startup+780.052 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18967 4 1 0 75581 88 0 0 25 0 11 0 1852798134 857559040 24808 4294967295 134512640 134569956 3221224336 3221214640 1131477567 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 24808 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 756.69 Current children cumulated vsize (Kb) 837460 [startup+790.052 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) S 23542 23543 5299 0 -1 0 18977 4 1 0 76554 88 0 0 25 0 11 0 1852798134 857559040 24856 4294967295 134512640 134569956 3221224336 3221213144 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 24856 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 766.42 Current children cumulated vsize (Kb) 837460 [startup+800.053 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18986 4 1 0 77528 88 0 0 25 0 11 0 1852798134 857559040 24909 4294967295 134512640 134569956 3221224336 3221214488 1131401013 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 24909 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 776.16 Current children cumulated vsize (Kb) 837460 [startup+810.054 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18996 4 1 0 78500 88 0 0 25 0 11 0 1852798134 857559040 24960 4294967295 134512640 134569956 3221224336 3221214640 1131476466 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 24960 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 785.88 Current children cumulated vsize (Kb) 837460 [startup+820.054 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19006 4 1 0 79472 89 0 0 25 0 11 0 1852798134 857559040 25010 4294967295 134512640 134569956 3221224336 3221214544 1131404866 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25010 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 795.61 Current children cumulated vsize (Kb) 837460 [startup+830.056 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19016 4 1 0 80443 89 0 0 24 0 11 0 1852798134 857559040 25058 4294967295 134512640 134569956 3221224336 3221214544 1131405376 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25058 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 805.32 Current children cumulated vsize (Kb) 837460 [startup+840.057 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19025 4 1 0 81417 89 0 0 25 0 11 0 1852798134 857559040 25105 4294967295 134512640 134569956 3221224336 3221214456 1131369070 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25105 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 815.06 Current children cumulated vsize (Kb) 837460 [startup+850.057 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19035 4 1 0 82389 90 0 0 25 0 11 0 1852798134 857559040 25160 4294967295 134512640 134569956 3221224336 3221214544 1131404908 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25160 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 824.79 Current children cumulated vsize (Kb) 837460 [startup+860.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19045 4 1 0 83361 90 0 0 24 0 11 0 1852798134 857559040 25216 4294967295 134512640 134569956 3221224336 3221214640 1131477449 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25216 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 834.51 Current children cumulated vsize (Kb) 837460 [startup+870.059 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19054 4 1 0 84335 90 0 0 25 0 11 0 1852798134 857559040 25260 4294967295 134512640 134569956 3221224336 3221214640 1131476644 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25260 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 844.25 Current children cumulated vsize (Kb) 837460 [startup+880.061 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19064 4 1 0 85306 91 0 0 25 0 11 0 1852798134 857559040 25307 4294967295 134512640 134569956 3221224336 3221214488 1131528772 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25307 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 853.97 Current children cumulated vsize (Kb) 837460 [startup+890.062 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19074 4 1 0 86277 91 0 0 25 0 11 0 1852798134 857559040 25358 4294967295 134512640 134569956 3221224336 3221214544 1131405503 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25358 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 863.68 Current children cumulated vsize (Kb) 837460 [startup+900.062 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19084 4 1 0 87249 91 0 0 25 0 11 0 1852798134 857559040 25416 4294967295 134512640 134569956 3221224336 3221214640 1131479481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25416 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 873.4 Current children cumulated vsize (Kb) 837460 [startup+910.063 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19094 4 1 0 88218 92 0 0 25 0 11 0 1852798134 857559040 25464 4294967295 134512640 134569956 3221224336 3221214120 1085759286 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25464 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 883.1 Current children cumulated vsize (Kb) 837460 [startup+920.064 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19104 4 1 0 89190 93 0 0 25 0 11 0 1852798134 857559040 25503 4294967295 134512640 134569956 3221224336 3221214640 1131475513 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25503 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 892.83 Current children cumulated vsize (Kb) 837460 [startup+930.064 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19114 4 1 0 90161 93 0 0 20 0 11 0 1852798134 857559040 25552 4294967295 134512640 134569956 3221224336 3221214544 1131404833 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25552 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 902.54 Current children cumulated vsize (Kb) 837460 [startup+940.065 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19124 4 1 0 91139 93 0 0 22 0 11 0 1852798134 857559040 25606 4294967295 134512640 134569956 3221224336 3221214640 1131476620 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25606 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 912.32 Current children cumulated vsize (Kb) 837460 [startup+950.066 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19134 4 1 0 92119 94 0 0 25 0 11 0 1852798134 857559040 25630 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25630 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 922.13 Current children cumulated vsize (Kb) 837460 [startup+960.066 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19143 4 1 0 93103 94 0 0 25 0 11 0 1852798134 857559040 25657 4294967295 134512640 134569956 3221224336 3221214148 1131632905 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25657 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 931.97 Current children cumulated vsize (Kb) 837460 [startup+970.067 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19151 4 1 0 94088 94 0 0 25 0 11 0 1852798134 857559040 25660 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25660 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (Kb) 837460 [startup+980.067 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19161 4 1 0 95066 94 0 0 25 0 11 0 1852798134 857559040 25662 4294967295 134512640 134569956 3221224336 3221214544 1131405499 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25662 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 951.6 Current children cumulated vsize (Kb) 837460 [startup+990.068 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19171 4 1 0 96043 95 0 0 23 0 11 0 1852798134 857559040 25682 4294967295 134512640 134569956 3221224336 3221214544 1131405333 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25682 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 961.38 Current children cumulated vsize (Kb) 837460 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19181 4 1 0 97017 96 0 0 25 0 11 0 1852798134 857559040 25705 4294967295 134512640 134569956 3221224336 3221214544 1131405333 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25705 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 971.13 Current children cumulated vsize (Kb) 837460 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19192 4 1 0 97989 96 0 0 24 0 11 0 1852798134 857559040 25719 4294967295 134512640 134569956 3221224336 3221214544 1131404833 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25719 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 980.85 Current children cumulated vsize (Kb) 837460 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19201 4 1 0 98966 97 0 0 25 0 11 0 1852798134 857559040 25755 4294967295 134512640 134569956 3221224336 3221214544 1131405586 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25755 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 990.63 Current children cumulated vsize (Kb) 837460 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19211 4 1 0 99942 97 0 0 25 0 11 0 1852798134 857559040 25792 4294967295 134512640 134569956 3221224336 3221214544 1131405797 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25792 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1000.39 Current children cumulated vsize (Kb) 837460 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19222 4 1 0 100916 98 0 0 23 0 11 0 1852798134 857559040 25815 4294967295 134512640 134569956 3221224336 3221214544 1131404890 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25815 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1010.14 Current children cumulated vsize (Kb) 837460 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19231 4 1 0 101895 98 0 0 24 0 11 0 1852798134 857559040 25844 4294967295 134512640 134569956 3221224336 3221214416 1085759249 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25844 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1019.93 Current children cumulated vsize (Kb) 837460 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19241 4 1 0 102873 99 0 0 25 0 11 0 1852798134 857559040 25855 4294967295 134512640 134569956 3221224336 3221214544 1131405787 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25855 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1029.72 Current children cumulated vsize (Kb) 837460 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19251 4 1 0 103851 99 0 0 25 0 11 0 1852798134 857559040 25888 4294967295 134512640 134569956 3221224336 3221214544 1131405076 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25888 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1039.5 Current children cumulated vsize (Kb) 837460 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19261 4 1 0 104829 100 0 0 25 0 11 0 1852798134 857559040 25908 4294967295 134512640 134569956 3221224336 3221214544 1131405257 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25908 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1049.29 Current children cumulated vsize (Kb) 837460 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19272 4 1 0 105801 100 0 0 24 0 11 0 1852798134 857559040 25921 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25921 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1059.01 Current children cumulated vsize (Kb) 837460 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19281 4 1 0 106777 100 0 0 24 0 11 0 1852798134 857559040 25932 4294967295 134512640 134569956 3221224336 3221214640 1131476565 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 25932 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1068.77 Current children cumulated vsize (Kb) 837460 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19290 4 1 0 107753 101 0 0 18 0 11 0 1852798134 857559040 25975 4294967295 134512640 134569956 3221224336 3221214640 1131476610 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 25975 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1078.54 Current children cumulated vsize (Kb) 837460 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19300 4 1 0 108727 102 0 0 25 0 11 0 1852798134 857559040 26014 4294967295 134512640 134569956 3221224336 3221214544 1131405860 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 26014 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1088.29 Current children cumulated vsize (Kb) 837460 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19310 4 1 0 109703 103 0 0 24 0 11 0 1852798134 857559040 26033 4294967295 134512640 134569956 3221224336 3221214472 1131682416 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 26033 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1098.06 Current children cumulated vsize (Kb) 837460 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19320 4 1 0 110677 104 0 0 18 0 11 0 1852798134 857559040 26044 4294967295 134512640 134569956 3221224336 3221214544 1131405376 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 26044 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1107.81 Current children cumulated vsize (Kb) 837460 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19330 4 1 0 111648 105 0 0 19 0 11 0 1852798134 857559040 26087 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 26087 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1117.53 Current children cumulated vsize (Kb) 837460 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19340 4 1 0 112620 106 0 0 25 0 11 0 1852798134 857559040 26114 4294967295 134512640 134569956 3221224336 3221214640 1131476672 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 26114 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1127.26 Current children cumulated vsize (Kb) 837460 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19350 4 1 0 113590 106 0 0 25 0 11 0 1852798134 857559040 26147 4294967295 134512640 134569956 3221224336 3221214544 1131404833 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 26147 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1136.96 Current children cumulated vsize (Kb) 837460 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19360 4 1 0 114562 106 0 0 25 0 11 0 1852798134 857559040 26190 4294967295 134512640 134569956 3221224336 3221214576 1131454978 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 26190 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1146.68 Current children cumulated vsize (Kb) 837460 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19370 4 1 0 115531 108 0 0 25 0 11 0 1852798134 857559040 26231 4294967295 134512640 134569956 3221224336 3221214544 1131405487 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 26231 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1156.39 Current children cumulated vsize (Kb) 837460 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19380 4 1 0 116500 108 0 0 20 0 11 0 1852798134 857559040 26272 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 26272 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1166.08 Current children cumulated vsize (Kb) 837460 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19390 4 1 0 117469 108 0 0 25 0 11 0 1852798134 857559040 26317 4294967295 134512640 134569956 3221224336 3221214640 1131476518 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 26317 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1175.77 Current children cumulated vsize (Kb) 837460 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19399 4 1 0 118441 108 0 0 25 0 11 0 1852798134 857559040 26359 4294967295 134512640 134569956 3221224336 3221214544 1131404878 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/23543/statm): 209365 26359 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1185.49 Current children cumulated vsize (Kb) 837460 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19408 4 1 0 119412 109 0 0 25 0 11 0 1852798134 857559040 26399 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 26399 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1195.21 Current children cumulated vsize (Kb) 837460 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19418 4 1 0 120382 109 0 0 25 0 11 0 1852798134 857559040 26442 4294967295 134512640 134569956 3221224336 3221214640 1131476552 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 26442 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1204.91 Current children cumulated vsize (Kb) 837460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/66 23555 Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19418 4 1 0 120383 109 0 0 25 0 11 0 1852798134 857559040 26442 4294967295 134512640 134569956 3221224336 3221214544 1131405477 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/23543/statm): 209365 26442 13129 16 0 209349 0 [pid=23543] vsize: 837460 Current children cumulated CPU time (s) 1204.92 Current children cumulated vsize (Kb) 837460 Sending SIGTERM to -23543 Sleeping 2 seconds New thread pid=23557 New thread pid=23558 One traced child (pid=23558) exited with status: 0 One traced child (pid=23552) exited with status: 0 One traced child (pid=23547) exited with status: 0 One traced child (pid=23544) exited with status: 143 One traced child (pid=23550) exited with status: 143 One traced child (pid=23545) exited with status: 143 One traced child (pid=23546) exited with status: 143 One traced child (pid=23548) exited with status: 143 One traced child (pid=23551) exited with status: 143 One traced child (pid=23549) exited with status: 143 One traced child (pid=23555) exited with status: 143 One traced child (pid=23557) exited with status: 143 One traced child (pid=23543) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1240.3 CPU time (s): 1249.4 CPU user time (s): 1247.1 CPU system time (s): 2.30365 CPU usage (%): 100.734 Max. virtual memory (cumulated for all children) (Kb): 837684
Verifier: OK 25729024