Name | mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb |
MD5SUM | f10dfcccbc5d23245c6e708690ee08ea |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -60000 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 5905580032 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 22548578283 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.38 |
Number of variables | 1440 |
Total number of constraints | 48 |
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 | 48 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 120 |
LAUNCH ON wulflinc5 THE 2005-09-19 00:29:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6316 boxname=wulflinc5 idbench=456 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: f10dfcccbc5d23245c6e708690ee08ea /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50b.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-sc50b.opb IDLAUNCH: 6316 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 907996 kB Buffers: 34648 kB Cached: 68408 kB SwapCached: 780 kB Active: 65252 kB Inactive: 40452 kB HighTotal: 131008 kB HighFree: 59024 kB LowTotal: 903652 kB LowFree: 848972 kB SwapTotal: 2097136 kB SwapFree: 2095888 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5804 kB Slab: 15340 kB Committed_AS: 64300 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 00:50:25 (client local time) WITH STATUS 143 IN 1258.14 SECONDS stats: 6316 0 1258.14 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/wulflinc5/normalized-mps-v2-20-10-sc50b.opb c reading problem ... done. Time 1.426 ms. c #vars 1440 c #constraints 68 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 0 Current CPU time: 3.37 ms c CURRENT OPTIMUM= -10000 Current CPU time: 845.13 ms c starts : 16 c conflicts : 8422 c decisions : 10267 c propagations : 163255 c inspects : 7346344 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 8422 c root simplifications : 36 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 9916 c speed (decisions/second) : 25.434078742342155 c non guided choices 3178 c random choices 0 s SATISFIABLE v -COL00004_bit_10 -COL00004_bit_9 -COL00004_bit_8 -COL00004_bit_7 COL00004_bit_6 -COL00004_bit_5 -COL00004_bit_4 -COL00004_bit_3 COL00004_bit_2 COL00004_bit_1 COL00004_bit0 -COL00004_bit1 -COL00004_bit2 COL00004_bit3 -COL00004_bit4 -COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00004_bit13 -COL00004_bit14 -COL00004_bit15 -COL00004_bit16 -COL00004_bit17 -COL00004_bit18 -COL00004_bit19 -COL00001_bit_10 -COL00001_bit_9 -COL00001_bit_8 -COL00001_bit_7 -COL00001_bit_6 -COL00001_bit_5 -COL00001_bit_4 -COL00001_bit_3 -COL00001_bit_2 -COL00001_bit_1 -COL00001_bit0 -COL00001_bit1 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00001_bit13 -COL00001_bit14 -COL00001_bit15 -COL00001_bit16 -COL00001_bit17 -COL00001_bit18 -COL00001_bit19 COL00002_bit_10 COL00002_bit_9 COL00002_bit_8 COL00002_bit_7 COL00002_bit_6 COL00002_bit_5 COL00002_bit_4 COL00002_bit_3 COL00002_bit_2 COL00002_bit_1 COL00002_bit0 COL00002_bit1 COL00002_bit2 COL00002_bit3 COL00002_bit4 COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00002_bit13 -COL00002_bit14 -COL00002_bit15 -COL00002_bit16 -COL00002_bit17 -COL00002_bit18 -COL00002_bit19 -COL00003_bit_10 -COL00003_bit_9 -COL00003_bit_8 -COL00003_bit_7 COL00003_bit_6 COL00003_bit_5 COL00003_bit_4 -COL00003_bit_3 COL00003_bit_2 COL00003_bit_1 COL00003_bit0 -COL00003_bit1 COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 -COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00003_bit13 -COL00003_bit14 -COL00003_bit15 -COL00003_bit16 -COL00003_bit17 -COL00003_bit18 -COL00003_bit19 -COL00005_bit_10 -COL00005_bit_9 -COL00005_bit_8 -COL00005_bit_7 COL00005_bit_6 -COL00005_bit_5 -COL00005_bit_4 -COL00005_bit_3 COL00005_bit_2 COL00005_bit_1 COL00005_bit0 -COL00005_bit1 -COL00005_bit2 COL00005_bit3 -COL00005_bit4 -COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00005_bit13 -COL00005_bit14 -COL00005_bit15 -COL00005_bit16 -COL00005_bit17 -COL00005_bit18 -COL00005_bit19 -COL00006_bit_10 -COL00006_bit_9 -COL00006_bit_8 -COL00006_bit_7 -COL00006_bit_6 -COL00006_bit_5 -COL00006_bit_4 -COL00006_bit_3 -COL00006_bit_2 -COL00006_bit_1 -COL00006_bit0 -COL00006_bit1 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00006_bit13 -COL00006_bit14 -COL00006_bit15 -COL00006_bit16 -COL00006_bit17 -COL00006_bit18 -COL00006_bit19 COL00007_bit_10 COL00007_bit_9 COL00007_bit_8 COL00007_bit_7 COL00007_bit_6 COL00007_bit_5 COL00007_bit_4 COL00007_bit_3 COL00007_bit_2 COL00007_bit_1 COL00007_bit0 COL00007_bit1 COL00007_bit2 COL00007_bit3 COL00007_bit4 COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00007_bit13 -COL00007_bit14 -COL00007_bit15 -COL00007_bit16 -COL00007_bit17 -COL00007_bit18 -COL00007_bit19 -COL00008_bit_10 -COL00008_bit_9 -COL00008_bit_8 -COL00008_bit_7 COL00008_bit_6 COL00008_bit_5 COL00008_bit_4 -COL00008_bit_3 COL00008_bit_2 COL00008_bit_1 COL00008_bit0 -COL00008_bit1 COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 -COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00008_bit13 -COL00008_bit14 -COL00008_bit15 -COL00008_bit16 -COL00008_bit17 -COL00008_bit18 -COL00008_bit19 -COL00009_bit_10 -COL00009_bit_9 -COL00009_bit_8 -COL00009_bit_7 -COL00009_bit_6 -COL00009_bit_5 -COL00009_bit_4 -COL00009_bit_3 -COL00009_bit_2 -COL00009_bit_1 -COL00009_bit0 -COL00009_bit1 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00009_bit13 -COL00009_bit14 -COL00009_bit15 -COL00009_bit16 -COL00009_bit17 -COL00009_bit18 -COL00009_bit19 COL00010_bit_10 COL00010_bit_9 COL00010_bit_8 COL00010_bit_7 COL00010_bit_6 COL00010_bit_5 COL00010_bit_4 COL00010_bit_3 COL00010_bit_2 COL00010_bit_1 COL00010_bit0 COL00010_bit1 COL00010_bit2 -COL00010_bit3 -COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00010_bit13 -COL00010_bit14 -COL00010_bit15 -COL00010_bit16 -COL00010_bit17 -COL00010_bit18 -COL00010_bit19 -COL00011_bit_10 -COL00011_bit_9 -COL00011_bit_8 -COL00011_bit_7 COL00011_bit_6 COL00011_bit_5 COL00011_bit_4 -COL00011_bit_3 COL00011_bit_2 COL00011_bit_1 COL00011_bit0 -COL00011_bit1 COL00011_bit2 -COL00011_bit3 -COL00011_bit4 -COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00011_bit13 -COL00011_bit14 -COL00011_bit15 -COL00011_bit16 -COL00011_bit17 -COL00011_bit18 -COL00011_bit19 -COL00012_bit_10 -COL00012_bit_9 -COL00012_bit_8 -COL00012_bit_7 -COL00012_bit_6 -COL00012_bit_5 -COL00012_bit_4 -COL00012_bit_3 -COL00012_bit_2 -COL00012_bit_1 -COL00012_bit0 -COL00012_bit1 -COL00012_bit2 -COL00012_bit3 -COL00012_bit4 -COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00012_bit13 -COL00012_bit14 -COL00012_bit15 -COL00012_bit16 -COL00012_bit17 -COL00012_bit18 -COL00012_bit19 -COL00013_bit_10 -COL00013_bit_9 -COL00013_bit_8 -COL00013_bit_7 -COL00013_bit_6 -COL00013_bit_5 -COL00013_bit_4 -COL00013_bit_3 -COL00013_bit_2 -COL00013_bit_1 -COL00013_bit0 -COL00013_bit1 -COL00013_bit2 -COL00013_bit3 -COL00013_bit4 -COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00013_bit13 -COL00013_bit14 -COL00013_bit15 -COL00013_bit16 -COL00013_bit17 -COL00013_bit18 -COL00013_bit19 -COL00014_bit_10 -COL00014_bit_9 -COL00014_bit_8 -COL00014_bit_7 -COL00014_bit_6 -COL00014_bit_5 -COL00014_bit_4 -COL00014_bit_3 -COL00014_bit_2 -COL00014_bit_1 -COL00014_bit0 -COL00014_bit1 -COL00014_bit2 -COL00014_bit3 -COL00014_bit4 -COL00014_bit5 COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00014_bit13 -COL00014_bit14 -COL00014_bit15 -COL00014_bit16 -COL00014_bit17 -COL00014_bit18 -COL00014_bit19 -COL00015_bit_10 -COL00015_bit_9 -COL00015_bit_8 COL00015_bit_7 COL00015_bit_6 COL00015_bit_5 COL00015_bit_4 COL00015_bit_3 -COL00015_bit_2 COL00015_bit_1 -COL00015_bit0 COL00015_bit1 -COL00015_bit2 COL00015_bit3 -COL00015_bit4 -COL00015_bit5 -COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00015_bit13 -COL00015_bit14 -COL00015_bit15 -COL00015_bit16 -COL00015_bit17 -COL00015_bit18 -COL00015_bit19 -COL00016_bit_10 -COL00016_bit_9 -COL00016_bit_8 COL00016_bit_7 -COL00016_bit_6 -COL00016_bit_5 -COL00016_bit_4 -COL00016_bit_3 -COL00016_bit_2 COL00016_bit_1 -COL00016_bit0 -COL00016_bit1 COL00016_bit2 -COL00016_bit3 COL00016_bit4 -COL00016_bit5 -COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00016_bit13 -COL00016_bit14 -COL00016_bit15 -COL00016_bit16 -COL00016_bit17 -COL00016_bit18 -COL00016_bit19 -COL00017_bit_10 -COL00017_bit_9 -COL00017_bit_8 -COL00017_bit_7 -COL00017_bit_6 -COL00017_bit_5 -COL00017_bit_4 -COL00017_bit_3 -COL00017_bit_2 -COL00017_bit_1 -COL00017_bit0 -COL00017_bit1 -COL00017_bit2 -COL00017_bit3 -COL00017_bit4 -COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00017_bit13 -COL00017_bit14 -COL00017_bit15 -COL00017_bit16 -COL00017_bit17 -COL00017_bit18 -COL00017_bit19 COL00018_bit_10 COL00018_bit_9 COL00018_bit_8 COL00018_bit_7 COL00018_bit_6 COL00018_bit_5 COL00018_bit_4 COL00018_bit_3 COL00018_bit_2 COL00018_bit_1 COL00018_bit0 COL00018_bit1 COL00018_bit2 COL00018_bit3 COL00018_bit4 COL00018_bit5 -COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00018_bit13 -COL00018_bit14 -COL00018_bit15 -COL00018_bit16 -COL00018_bit17 -COL00018_bit18 -COL00018_bit19 -COL00019_bit_10 -COL00019_bit_9 -COL00019_bit_8 -COL00019_bit_7 COL00019_bit_6 COL00019_bit_5 COL00019_bit_4 -COL00019_bit_3 COL00019_bit_2 COL00019_bit_1 COL00019_bit0 -COL00019_bit1 COL00019_bit2 -COL00019_bit3 -COL00019_bit4 -COL00019_bit5 COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00019_bit13 -COL00019_bit14 -COL00019_bit15 -COL00019_bit16 -COL00019_bit17 -COL00019_bit18 -COL00019_bit19 -COL00020_bit_10 -COL00020_bit_9 -COL00020_bit_8 -COL00020_bit_7 -COL00020_bit_6 -COL00020_bit_5 -COL00020_bit_4 -COL00020_bit_3 -COL00020_bit_2 -COL00020_bit_1 -COL00020_bit0 -COL00020_bit1 -COL00020_bit2 -COL00020_bit3 -COL00020_bit4 -COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00020_bit13 -COL00020_bit14 -COL00020_bit15 -COL00020_bit16 -COL00020_bit17 -COL00020_bit18 -COL00020_bit19 -COL00021_bit_10 -COL00021_bit_9 -COL00021_bit_8 -COL00021_bit_7 -COL00021_bit_6 -COL00021_bit_5 -COL00021_bit_4 -COL00021_bit_3 -COL00021_bit_2 -COL00021_bit_1 -COL00021_bit0 -COL00021_bit1 -COL00021_bit2 -COL00021_bit3 -COL00021_bit4 COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00021_bit13 -COL00021_bit14 -COL00021_bit15 -COL00021_bit16 -COL00021_bit17 -COL00021_bit18 -COL00021_bit19 COL00022_bit_10 COL00022_bit_9 COL00022_bit_8 COL00022_bit_7 COL00022_bit_6 COL00022_bit_5 COL00022_bit_4 COL00022_bit_3 COL00022_bit_2 COL00022_bit_1 COL00022_bit0 COL00022_bit1 COL00022_bit2 -COL00022_bit3 -COL00022_bit4 COL00022_bit5 -COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00022_bit13 -COL00022_bit14 -COL00022_bit15 -COL00022_bit16 -COL00022_bit17 -COL00022_bit18 -COL00022_bit19 -COL00023_bit_10 -COL00023_bit_9 -COL00023_bit_8 -COL00023_bit_7 -COL00023_bit_6 -COL00023_bit_5 -COL00023_bit_4 -COL00023_bit_3 -COL00023_bit_2 -COL00023_bit_1 -COL00023_bit0 -COL00023_bit1 -COL00023_bit2 -COL00023_bit3 -COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00023_bit13 -COL00023_bit14 -COL00023_bit15 -COL00023_bit16 -COL00023_bit17 -COL00023_bit18 -COL00023_bit19 -COL00024_bit_10 -COL00024_bit_9 -COL00024_bit_8 -COL00024_bit_7 -COL00024_bit_6 -COL00024_bit_5 -COL00024_bit_4 -COL00024_bit_3 -COL00024_bit_2 -COL00024_bit_1 -COL00024_bit0 -COL00024_bit1 -COL00024_bit2 -COL00024_bit3 -COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00024_bit13 -COL00024_bit14 -COL00024_bit15 -COL00024_bit16 -COL00024_bit17 -COL00024_bit18 -COL00024_bit19 -COL00025_bit_10 -COL00025_bit_9 -COL00025_bit_8 -COL00025_bit_7 -COL00025_bit_6 -COL00025_bit_5 -COL00025_bit_4 -COL00025_bit_3 -COL00025_bit_2 -COL00025_bit_1 -COL00025_bit0 -COL00025_bit1 -COL00025_bit2 -COL00025_bit3 -COL00025_bit4 -COL00025_bit5 -COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00025_bit13 -COL00025_bit14 -COL00025_bit15 -COL00025_bit16 -COL00025_bit17 -COL00025_bit18 -COL00025_bit19 -COL00026_bit_10 -COL00026_bit_9 COL00026_bit_8 -COL00026_bit_7 -COL00026_bit_6 -COL00026_bit_5 COL00026_bit_4 -COL00026_bit_3 COL00026_bit_2 COL00026_bit_1 COL00026_bit0 COL00026_bit1 -COL00026_bit2 COL00026_bit3 -COL00026_bit4 -COL00026_bit5 -COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00026_bit13 -COL00026_bit14 -COL00026_bit15 -COL00026_bit16 -COL00026_bit17 -COL00026_bit18 -COL00026_bit19 -COL00027_bit_10 -COL00027_bit_9 COL00027_bit_8 COL00027_bit_7 -COL00027_bit_6 -COL00027_bit_5 COL00027_bit_4 -COL00027_bit_3 COL00027_bit_2 -COL00027_bit_1 -COL00027_bit0 -COL00027_bit1 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 COL00027_bit5 -COL00027_bit6 -COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00027_bit13 -COL00027_bit14 -COL00027_bit15 -COL00027_bit16 -COL00027_bit17 -COL00027_bit18 -COL00027_bit19 -COL00028_bit_10 -COL00028_bit_9 -COL00028_bit_8 -COL00028_bit_7 -COL00028_bit_6 -COL00028_bit_5 -COL00028_bit_4 -COL00028_bit_3 -COL00028_bit_2 -COL00028_bit_1 -COL00028_bit0 -COL00028_bit1 -COL00028_bit2 -COL00028_bit3 -COL00028_bit4 -COL00028_bit5 -COL00028_bit6 -COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00028_bit13 -COL00028_bit14 -COL00028_bit15 -COL00028_bit16 -COL00028_bit17 -COL00028_bit18 -COL00028_bit19 COL00029_bit_10 COL00029_bit_9 COL00029_bit_8 COL00029_bit_7 COL00029_bit_6 COL00029_bit_5 COL00029_bit_4 COL00029_bit_3 COL00029_bit_2 COL00029_bit_1 COL00029_bit0 COL00029_bit1 COL00029_bit2 COL00029_bit3 COL00029_bit4 COL00029_bit5 -COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00029_bit13 -COL00029_bit14 -COL00029_bit15 -COL00029_bit16 -COL00029_bit17 -COL00029_bit18 -COL00029_bit19 -COL00030_bit_10 -COL00030_bit_9 -COL00030_bit_8 -COL00030_bit_7 COL00030_bit_6 COL00030_bit_5 COL00030_bit_4 -COL00030_bit_3 COL00030_bit_2 COL00030_bit_1 COL00030_bit0 -COL00030_bit1 COL00030_bit2 -COL00030_bit3 -COL00030_bit4 -COL00030_bit5 COL00030_bit6 -COL00030_bit7 -COL00030_bit8 -COL00030_bit9 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00030_bit13 -COL00030_bit14 -COL00030_bit15 -COL00030_bit16 -COL00030_bit17 -COL00030_bit18 -COL00030_bit19 -COL00031_bit_10 -COL00031_bit_9 -COL00031_bit_8 -COL00031_bit_7 -COL00031_bit_6 -COL00031_bit_5 -COL00031_bit_4 -COL00031_bit_3 -COL00031_bit_2 -COL00031_bit_1 -COL00031_bit0 -COL00031_bit1 -COL00031_bit2 -COL00031_bit3 -COL00031_bit4 -COL00031_bit5 -COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00031_bit13 -COL00031_bit14 -COL00031_bit15 -COL00031_bit16 -COL00031_bit17 -COL00031_bit18 -COL00031_bit19 -COL00032_bit_10 -COL00032_bit_9 -COL00032_bit_8 -COL00032_bit_7 -COL00032_bit_6 -COL00032_bit_5 -COL00032_bit_4 -COL00032_bit_3 -COL00032_bit_2 -COL00032_bit_1 -COL00032_bit0 -COL00032_bit1 -COL00032_bit2 -COL00032_bit3 -COL00032_bit4 COL00032_bit5 -COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00032_bit13 -COL00032_bit14 -COL00032_bit15 -COL00032_bit16 -COL00032_bit17 -COL00032_bit18 -COL00032_bit19 -COL00033_bit_10 -COL00033_bit_9 -COL00033_bit_8 -COL00033_bit_7 -COL00033_bit_6 -COL00033_bit_5 -COL00033_bit_4 -COL00033_bit_3 -COL00033_bit_2 -COL00033_bit_1 -COL00033_bit0 -COL00033_bit1 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 COL00033_bit6 -COL00033_bit7 -COL00033_bit8 -COL00033_bit9 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00033_bit13 -COL00033_bit14 -COL00033_bit15 -COL00033_bit16 -COL00033_bit17 -COL00033_bit18 -COL00033_bit19 -COL00034_bit_10 -COL00034_bit_9 -COL00034_bit_8 -COL00034_bit_7 -COL00034_bit_6 -COL00034_bit_5 -COL00034_bit_4 -COL00034_bit_3 -COL00034_bit_2 -COL00034_bit_1 -COL00034_bit0 -COL00034_bit1 -COL00034_bit2 -COL00034_bit3 -COL00034_bit4 -COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00034_bit13 -COL00034_bit14 -COL00034_bit15 -COL00034_bit16 -COL00034_bit17 -COL00034_bit18 -COL00034_bit19 -COL00035_bit_10 -COL00035_bit_9 -COL00035_bit_8 -COL00035_bit_7 -COL00035_bit_6 -COL00035_bit_5 -COL00035_bit_4 -COL00035_bit_3 -COL00035_bit_2 -COL00035_bit_1 -COL00035_bit0 -COL00035_bit1 -COL00035_bit2 -COL00035_bit3 -COL00035_bit4 -COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00035_bit13 -COL00035_bit14 -COL00035_bit15 -COL00035_bit16 -COL00035_bit17 -COL00035_bit18 -COL00035_bit19 -COL00036_bit_10 -COL00036_bit_9 -COL00036_bit_8 -COL00036_bit_7 -COL00036_bit_6 -COL00036_bit_5 -COL00036_bit_4 -COL00036_bit_3 -COL00036_bit_2 -COL00036_bit_1 -COL00036_bit0 -COL00036_bit1 -COL00036_bit2 -COL00036_bit3 -COL00036_bit4 -COL00036_bit5 -COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00036_bit13 -COL00036_bit14 -COL00036_bit15 -COL00036_bit16 -COL00036_bit17 -COL00036_bit18 -COL00036_bit19 -COL00037_bit_10 COL00037_bit_9 COL00037_bit_8 COL00037_bit_7 COL00037_bit_6 COL00037_bit_5 COL00037_bit_4 COL00037_bit_3 COL00037_bit_2 COL00037_bit_1 -COL00037_bit0 -COL00037_bit1 COL00037_bit2 COL00037_bit3 -COL00037_bit4 -COL00037_bit5 -COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00037_bit13 -COL00037_bit14 -COL00037_bit15 -COL00037_bit16 -COL00037_bit17 -COL00037_bit18 -COL00037_bit19 -COL00038_bit_10 COL00038_bit_9 -COL00038_bit_8 COL00038_bit_7 -COL00038_bit_6 -COL00038_bit_5 COL00038_bit_4 -COL00038_bit_3 COL00038_bit_2 -COL00038_bit_1 COL00038_bit0 -COL00038_bit1 COL00038_bit2 COL00038_bit3 -COL00038_bit4 COL00038_bit5 -COL00038_bit6 -COL00038_bit7 -COL00038_bit8 -COL00038_bit9 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00038_bit13 -COL00038_bit14 -COL00038_bit15 -COL00038_bit16 -COL00038_bit17 -COL00038_bit18 -COL00038_bit19 -COL00039_bit_10 -COL00039_bit_9 -COL00039_bit_8 -COL00039_bit_7 -COL00039_bit_6 -COL00039_bit_5 -COL00039_bit_4 -COL00039_bit_3 -COL00039_bit_2 -COL00039_bit_1 -COL00039_bit0 -COL00039_bit1 -COL00039_bit2 -COL00039_bit3 -COL00039_bit4 -COL00039_bit5 -COL00039_bit6 -COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00039_bit13 -COL00039_bit14 -COL00039_bit15 -COL00039_bit16 -COL00039_bit17 -COL00039_bit18 -COL00039_bit19 COL00040_bit_10 COL00040_bit_9 COL00040_bit_8 COL00040_bit_7 COL00040_bit_6 COL00040_bit_5 COL00040_bit_4 COL00040_bit_3 COL00040_bit_2 COL00040_bit_1 COL00040_bit0 COL00040_bit1 COL00040_bit2 COL00040_bit3 COL00040_bit4 COL00040_bit5 -COL00040_bit6 -COL00040_bit7 -COL00040_bit8 -COL00040_bit9 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00040_bit13 -COL00040_bit14 -COL00040_bit15 -COL00040_bit16 -COL00040_bit17 -COL00040_bit18 -COL00040_bit19 -COL00041_bit_10 -COL00041_bit_9 -COL00041_bit_8 -COL00041_bit_7 COL00041_bit_6 COL00041_bit_5 COL00041_bit_4 -COL00041_bit_3 COL00041_bit_2 COL00041_bit_1 COL00041_bit0 -COL00041_bit1 COL00041_bit2 -COL00041_bit3 -COL00041_bit4 -COL00041_bit5 COL00041_bit6 -COL00041_bit7 -COL00041_bit8 -COL00041_bit9 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00041_bit13 -COL00041_bit14 -COL00041_bit15 -COL00041_bit16 -COL00041_bit17 -COL00041_bit18 -COL00041_bit19 -COL00042_bit_10 -COL00042_bit_9 -COL00042_bit_8 -COL00042_bit_7 -COL00042_bit_6 -COL00042_bit_5 -COL00042_bit_4 -COL00042_bit_3 -COL00042_bit_2 -COL00042_bit_1 -COL00042_bit0 -COL00042_bit1 -COL00042_bit2 -COL00042_bit3 -COL00042_bit4 -COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00042_bit13 -COL00042_bit14 -COL00042_bit15 -COL00042_bit16 -COL00042_bit17 -COL00042_bit18 -COL00042_bit19 -COL00043_bit_10 -COL00043_bit_9 -COL00043_bit_8 -COL00043_bit_7 -COL00043_bit_6 -COL00043_bit_5 -COL00043_bit_4 -COL00043_bit_3 -COL00043_bit_2 -COL00043_bit_1 -COL00043_bit0 -COL00043_bit1 -COL00043_bit2 -COL00043_bit3 -COL00043_bit4 COL00043_bit5 -COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00043_bit13 -COL00043_bit14 -COL00043_bit15 -COL00043_bit16 -COL00043_bit17 -COL00043_bit18 -COL00043_bit19 -COL00044_bit_10 -COL00044_bit_9 -COL00044_bit_8 -COL00044_bit_7 -COL00044_bit_6 -COL00044_bit_5 -COL00044_bit_4 -COL00044_bit_3 -COL00044_bit_2 -COL00044_bit_1 -COL00044_bit0 -COL00044_bit1 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 -COL00044_bit5 COL00044_bit6 -COL00044_bit7 -COL00044_bit8 -COL00044_bit9 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00044_bit13 -COL00044_bit14 -COL00044_bit15 -COL00044_bit16 -COL00044_bit17 -COL00044_bit18 -COL00044_bit19 -COL00045_bit_10 -COL00045_bit_9 -COL00045_bit_8 -COL00045_bit_7 -COL00045_bit_6 -COL00045_bit_5 -COL00045_bit_4 -COL00045_bit_3 -COL00045_bit_2 -COL00045_bit_1 -COL00045_bit0 -COL00045_bit1 -COL00045_bit2 -COL00045_bit3 -COL00045_bit4 -COL00045_bit5 COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00045_bit13 -COL00045_bit14 -COL00045_bit15 -COL00045_bit16 -COL00045_bit17 -COL00045_bit18 -COL00045_bit19 COL00046_bit_10 -COL00046_bit_9 -COL00046_bit_8 -COL00046_bit_7 -COL00046_bit_6 COL00046_bit_5 COL00046_bit_4 COL00046_bit_3 -COL00046_bit_2 COL00046_bit_1 COL00046_bit0 -COL00046_bit1 COL00046_bit2 -COL00046_bit3 -COL00046_bit4 -COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00046_bit13 -COL00046_bit14 -COL00046_bit15 -COL00046_bit16 -COL00046_bit17 -COL00046_bit18 -COL00046_bit19 -COL00047_bit_10 -COL00047_bit_9 -COL00047_bit_8 -COL00047_bit_7 -COL00047_bit_6 -COL00047_bit_5 -COL00047_bit_4 -COL00047_bit_3 -COL00047_bit_2 -COL00047_bit_1 -COL00047_bit0 -COL00047_bit1 -COL00047_bit2 -COL00047_bit3 COL00047_bit4 -COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00047_bit13 -COL00047_bit14 -COL00047_bit15 -COL00047_bit16 -COL00047_bit17 -COL00047_bit18 -COL00047_bit19 COL00048_bit_10 -COL00048_bit_9 -COL00048_bit_8 -COL00048_bit_7 COL00048_bit_6 COL00048_bit_5 -COL00048_bit_4 -COL00048_bit_3 COL00048_bit_2 -COL00048_bit_1 -COL00048_bit0 COL00048_bit1 COL00048_bit2 COL00048_bit3 -COL00048_bit4 -COL00048_bit5 -COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 -COL00048_bit13 -COL00048_bit14 -COL00048_bit15 -COL00048_bit16 -COL00048_bit17 -COL00048_bit18 -COL00048_bit19 c objective function=-10000 c Total CPU time (ms) : 1248.964
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/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787361117 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 39 3 38 16 0 23 0 [pid=14876] 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/14876 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=14877 New thread pid=14878 New thread pid=14879 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=14880 New thread pid=14881 New thread pid=14882 New thread pid=14883 New thread pid=14884 New thread pid=14885 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/wulflinc5/normalized-mps-v2-20-10-sc50b.opb New thread pid=14886 One traced child (pid=14886) exited with status: 0 New thread pid=14887 [startup+10.0021 s] Raw data (loadavg): 1.08 1.03 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18189 3 1 0 689 52 0 0 22 0 11 0 1787361117 859705344 20411 4294967295 134512640 134569956 3221224336 3221214464 1131425383 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209889 20411 13129 16 0 209873 0 [pid=14876] vsize: 839556 Current children cumulated CPU time (s) 7.41 Current children cumulated vsize (Kb) 839556 [startup+20.0029 s] Raw data (loadavg): 1.14 1.04 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18201 3 1 0 1630 52 0 0 19 0 11 0 1787361117 859537408 21097 4294967295 134512640 134569956 3221224336 3221214640 1131338012 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 21097 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 16.82 Current children cumulated vsize (Kb) 839392 [startup+30.0036 s] Raw data (loadavg): 1.12 1.04 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18208 3 1 0 2573 53 0 0 25 0 11 0 1787361117 859537408 21658 4294967295 134512640 134569956 3221224336 3221214576 1131490450 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 21658 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 26.26 Current children cumulated vsize (Kb) 839392 [startup+40.0044 s] Raw data (loadavg): 1.10 1.04 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18215 3 1 0 3519 53 0 0 25 0 11 0 1787361117 859537408 21980 4294967295 134512640 134569956 3221224336 3221214228 1131367112 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 21980 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 35.72 Current children cumulated vsize (Kb) 839392 [startup+50.0061 s] Raw data (loadavg): 1.08 1.04 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18223 3 1 0 4459 53 0 0 25 0 11 0 1787361117 859537408 22158 4294967295 134512640 134569956 3221224336 3221214504 1131420991 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 22158 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 45.12 Current children cumulated vsize (Kb) 839392 [startup+60.0058 s] Raw data (loadavg): 1.07 1.04 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18229 3 1 0 5396 54 0 0 22 0 11 0 1787361117 859537408 22522 4294967295 134512640 134569956 3221224336 3221213672 1131388095 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 22522 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 54.5 Current children cumulated vsize (Kb) 839392 [startup+70.0066 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18235 3 1 0 6336 54 0 0 25 0 11 0 1787361117 859537408 22699 4294967295 134512640 134569956 3221224336 3221214648 1131453126 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 22699 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 63.9 Current children cumulated vsize (Kb) 839392 [startup+80.0073 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18243 3 1 0 7273 54 0 0 25 0 11 0 1787361117 859537408 22923 4294967295 134512640 134569956 3221224336 3221214648 1131453033 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 22923 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 73.27 Current children cumulated vsize (Kb) 839392 [startup+90.0081 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18250 3 1 0 8211 54 0 0 19 0 11 0 1787361117 859537408 23130 4294967295 134512640 134569956 3221224336 3221214560 1131435719 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 23130 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 82.65 Current children cumulated vsize (Kb) 839392 [startup+100.008 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18256 3 1 0 9149 55 0 0 16 0 11 0 1787361117 859537408 23319 4294967295 134512640 134569956 3221224336 3221214000 1085806738 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 23319 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 92.04 Current children cumulated vsize (Kb) 839392 [startup+110.009 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18261 3 1 0 10096 55 0 0 25 0 11 0 1787361117 859537408 23512 4294967295 134512640 134569956 3221224336 3221214564 1131299984 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 23512 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 101.51 Current children cumulated vsize (Kb) 839392 [startup+120.01 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18266 3 1 0 11044 55 0 0 25 0 11 0 1787361117 859537408 23686 4294967295 134512640 134569956 3221224336 3221214648 1131453826 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 23686 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 110.99 Current children cumulated vsize (Kb) 839392 [startup+130.01 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18272 3 1 0 11981 55 0 0 17 0 11 0 1787361117 859537408 23896 4294967295 134512640 134569956 3221224336 3221214552 1131428151 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 23896 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 120.36 Current children cumulated vsize (Kb) 839392 [startup+140.012 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18277 3 1 0 12929 56 0 0 25 0 11 0 1787361117 859537408 24078 4294967295 134512640 134569956 3221224336 3221214560 1131435515 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 24078 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 129.85 Current children cumulated vsize (Kb) 839392 [startup+150.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18284 3 1 0 13867 56 0 0 25 0 11 0 1787361117 859537408 24176 4294967295 134512640 134569956 3221224336 3221214604 1131399459 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 24176 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 139.23 Current children cumulated vsize (Kb) 839392 [startup+160.012 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18290 3 1 0 14806 56 0 0 25 0 11 0 1787361117 859537408 24306 4294967295 134512640 134569956 3221224336 3221214376 1085806289 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 24306 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 148.62 Current children cumulated vsize (Kb) 839392 [startup+170.013 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18295 3 1 0 15754 57 0 0 25 0 11 0 1787361117 859537408 24482 4294967295 134512640 134569956 3221224336 3221214584 1131399527 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 24482 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 158.11 Current children cumulated vsize (Kb) 839392 [startup+180.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18301 3 1 0 16697 57 0 0 25 0 11 0 1787361117 859537408 24709 4294967295 134512640 134569956 3221224336 3221214464 1131658436 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 24709 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 167.54 Current children cumulated vsize (Kb) 839392 [startup+190.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18308 3 1 0 17640 57 0 0 16 0 11 0 1787361117 859537408 24938 4294967295 134512640 134569956 3221224336 3221214560 1131435734 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 24938 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 176.97 Current children cumulated vsize (Kb) 839392 [startup+200.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18314 3 1 0 18597 58 0 0 25 0 11 0 1787361117 859537408 25061 4294967295 134512640 134569956 3221224336 3221214080 1131658582 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 25061 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 186.55 Current children cumulated vsize (Kb) 839392 [startup+210.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18321 3 1 0 19550 58 0 0 19 0 11 0 1787361117 859537408 25220 4294967295 134512640 134569956 3221224336 3221214604 1131490345 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 25220 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 196.08 Current children cumulated vsize (Kb) 839392 [startup+220.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18328 3 1 0 20508 59 0 0 25 0 11 0 1787361117 859537408 25381 4294967295 134512640 134569956 3221224336 3221214608 1131488080 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 25381 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 205.67 Current children cumulated vsize (Kb) 839392 [startup+230.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18335 3 1 0 21472 59 0 0 24 0 11 0 1787361117 859537408 25501 4294967295 134512640 134569956 3221224336 3221214080 1131658481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 25501 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 215.31 Current children cumulated vsize (Kb) 839392 [startup+240.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18341 3 1 0 22441 59 0 0 25 0 11 0 1787361117 859537408 25583 4294967295 134512640 134569956 3221224336 3221214640 1131338044 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 25583 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 225 Current children cumulated vsize (Kb) 839392 [startup+250.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18348 3 1 0 23407 59 0 0 18 0 11 0 1787361117 859537408 25680 4294967295 134512640 134569956 3221224336 3221214728 1131519715 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 25680 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 234.66 Current children cumulated vsize (Kb) 839392 [startup+260.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18354 3 1 0 24377 59 0 0 25 0 11 0 1787361117 859537408 25745 4294967295 134512640 134569956 3221224336 3221214648 1131450783 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 25745 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 244.36 Current children cumulated vsize (Kb) 839392 [startup+270.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18361 3 1 0 25341 60 0 0 25 0 11 0 1787361117 859537408 25819 4294967295 134512640 134569956 3221224336 3221214504 1131421255 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 25819 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 254.01 Current children cumulated vsize (Kb) 839392 [startup+280.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18369 3 1 0 26305 60 0 0 25 0 11 0 1787361117 859537408 25892 4294967295 134512640 134569956 3221224336 3221214568 1131490438 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 25892 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 263.65 Current children cumulated vsize (Kb) 839392 [startup+290.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18375 3 1 0 27275 61 0 0 25 0 11 0 1787361117 859537408 25967 4294967295 134512640 134569956 3221224336 3221214544 1131692068 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 25967 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 273.36 Current children cumulated vsize (Kb) 839392 [startup+300.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18382 3 1 0 28240 61 0 0 25 0 11 0 1787361117 859537408 26062 4294967295 134512640 134569956 3221224336 3221214536 1131436226 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 26062 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 283.01 Current children cumulated vsize (Kb) 839392 [startup+310.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18388 3 1 0 29209 62 0 0 25 0 11 0 1787361117 859537408 26146 4294967295 134512640 134569956 3221224336 3221214520 1131421094 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 26146 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 292.71 Current children cumulated vsize (Kb) 839392 [startup+320.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18394 3 1 0 30176 62 0 0 25 0 11 0 1787361117 859537408 26205 4294967295 134512640 134569956 3221224336 3221214292 1080338864 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 26205 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 302.38 Current children cumulated vsize (Kb) 839392 [startup+330.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18400 3 1 0 31143 62 0 0 25 0 11 0 1787361117 859537408 26278 4294967295 134512640 134569956 3221224336 3221214616 1131338005 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 26278 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 312.05 Current children cumulated vsize (Kb) 839392 [startup+340.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18406 3 1 0 32107 62 0 0 25 0 11 0 1787361117 859537408 26339 4294967295 134512640 134569956 3221224336 3221214496 1131422108 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 26339 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 321.69 Current children cumulated vsize (Kb) 839392 [startup+350.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18412 3 1 0 33068 63 0 0 25 0 11 0 1787361117 859537408 26411 4294967295 134512640 134569956 3221224336 3221214720 1131519333 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 26411 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 331.31 Current children cumulated vsize (Kb) 839392 [startup+360.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18419 3 1 0 34023 63 0 0 25 0 11 0 1787361117 859537408 26523 4294967295 134512640 134569956 3221224336 3221214584 1131516970 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 26523 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 340.86 Current children cumulated vsize (Kb) 839392 [startup+370.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18425 3 1 0 34990 63 0 0 25 0 11 0 1787361117 859537408 26596 4294967295 134512640 134569956 3221224336 3221213264 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 26596 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 350.53 Current children cumulated vsize (Kb) 839392 [startup+380.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18431 3 1 0 35946 64 0 0 25 0 11 0 1787361117 859537408 26688 4294967295 134512640 134569956 3221224336 3221213936 1085806297 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 26688 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 360.1 Current children cumulated vsize (Kb) 839392 [startup+390.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18437 3 1 0 36909 64 0 0 25 0 11 0 1787361117 859537408 26842 4294967295 134512640 134569956 3221224336 3221214624 1131451064 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 26842 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 369.73 Current children cumulated vsize (Kb) 839392 [startup+400.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18443 3 1 0 37875 65 0 0 17 0 11 0 1787361117 859537408 26926 4294967295 134512640 134569956 3221224336 3221214536 1131352440 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 26926 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 379.4 Current children cumulated vsize (Kb) 839392 [startup+410.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18449 3 1 0 38839 65 0 0 25 0 11 0 1787361117 859537408 26989 4294967295 134512640 134569956 3221224336 3221214624 1131452408 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 26989 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 389.04 Current children cumulated vsize (Kb) 839392 [startup+420.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18454 3 1 0 39806 65 0 0 25 0 11 0 1787361117 859537408 27055 4294967295 134512640 134569956 3221224336 3221214496 1131421255 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 27055 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 398.71 Current children cumulated vsize (Kb) 839392 [startup+430.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18460 3 1 0 40765 66 0 0 25 0 11 0 1787361117 859537408 27143 4294967295 134512640 134569956 3221224336 3221213992 1085759263 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 27143 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 408.31 Current children cumulated vsize (Kb) 839392 [startup+440.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18466 3 1 0 41724 66 0 0 25 0 11 0 1787361117 859537408 27240 4294967295 134512640 134569956 3221224336 3221214624 1131453108 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 27240 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 417.9 Current children cumulated vsize (Kb) 839392 [startup+450.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18472 3 1 0 42685 67 0 0 25 0 11 0 1787361117 859537408 27316 4294967295 134512640 134569956 3221224336 3221214496 1131421126 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 27316 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 427.52 Current children cumulated vsize (Kb) 839392 [startup+460.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18478 3 1 0 43644 67 0 0 25 0 11 0 1787361117 859537408 27409 4294967295 134512640 134569956 3221224336 3221214528 1131428263 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 27409 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 437.11 Current children cumulated vsize (Kb) 839392 [startup+470.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18484 3 1 0 44605 68 0 0 23 0 11 0 1787361117 859537408 27563 4294967295 134512640 134569956 3221224336 3221214624 1131450946 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 27563 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 446.73 Current children cumulated vsize (Kb) 839392 [startup+480.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18490 3 1 0 45571 68 0 0 25 0 11 0 1787361117 859537408 27641 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 27641 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 456.39 Current children cumulated vsize (Kb) 839392 [startup+490.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18495 3 1 0 46538 68 0 0 25 0 11 0 1787361117 859537408 27722 4294967295 134512640 134569956 3221224336 3221214624 1131452892 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 27722 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 466.06 Current children cumulated vsize (Kb) 839392 [startup+500.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18501 3 1 0 47499 69 0 0 24 0 11 0 1787361117 859537408 27798 4294967295 134512640 134569956 3221224336 3221214616 1131338041 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 27798 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 475.68 Current children cumulated vsize (Kb) 839392 [startup+510.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18506 3 1 0 48466 69 0 0 25 0 11 0 1787361117 859537408 27864 4294967295 134512640 134569956 3221224336 3221214536 1131435809 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 27864 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 485.35 Current children cumulated vsize (Kb) 839392 [startup+520.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18512 3 1 0 49426 69 0 0 25 0 11 0 1787361117 859537408 27950 4294967295 134512640 134569956 3221224336 3221214568 1131421338 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 27950 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 494.95 Current children cumulated vsize (Kb) 839392 [startup+530.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18519 3 1 0 50384 70 0 0 24 0 11 0 1787361117 859537408 28042 4294967295 134512640 134569956 3221224336 3221214536 1131436857 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 28042 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 504.54 Current children cumulated vsize (Kb) 839392 [startup+540.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18524 3 1 0 51351 70 0 0 25 0 11 0 1787361117 859537408 28123 4294967295 134512640 134569956 3221224336 3221214112 1131650817 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 28123 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 514.21 Current children cumulated vsize (Kb) 839392 [startup+550.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18530 3 1 0 52312 70 0 0 25 0 11 0 1787361117 859537408 28216 4294967295 134512640 134569956 3221224336 3221214624 1131452892 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 28216 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 523.82 Current children cumulated vsize (Kb) 839392 [startup+560.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18535 3 1 0 53279 70 0 0 25 0 11 0 1787361117 859537408 28298 4294967295 134512640 134569956 3221224336 3221214568 1131489889 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 28298 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 533.49 Current children cumulated vsize (Kb) 839392 [startup+570.048 s] Raw data (loadavg): 1.16 1.03 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18541 3 1 0 54239 71 0 0 18 0 11 0 1787361117 859537408 28391 4294967295 134512640 134569956 3221224336 3221214536 1131436779 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 28391 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 543.1 Current children cumulated vsize (Kb) 839392 [startup+580.048 s] Raw data (loadavg): 1.13 1.03 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18546 3 1 0 55206 71 0 0 25 0 11 0 1787361117 859537408 28481 4294967295 134512640 134569956 3221224336 3221214576 1131399512 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 28481 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 552.77 Current children cumulated vsize (Kb) 839392 [startup+590.05 s] Raw data (loadavg): 1.11 1.03 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18552 3 1 0 56168 71 0 0 25 0 11 0 1787361117 859537408 28575 4294967295 134512640 134569956 3221224336 3221214624 1131452843 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 28575 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 562.39 Current children cumulated vsize (Kb) 839392 [startup+600.051 s] Raw data (loadavg): 1.10 1.03 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18558 3 1 0 57131 71 0 0 15 0 11 0 1787361117 859537408 28655 4294967295 134512640 134569956 3221224336 3221214576 1131489875 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 28655 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 572.02 Current children cumulated vsize (Kb) 839392 [startup+610.052 s] Raw data (loadavg): 1.08 1.03 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18563 3 1 0 58099 72 0 0 25 0 11 0 1787361117 859537408 28723 4294967295 134512640 134569956 3221224336 3221214624 1131452800 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 28723 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 581.71 Current children cumulated vsize (Kb) 839392 [startup+620.052 s] Raw data (loadavg): 1.07 1.03 1.01 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18568 3 1 0 59067 72 0 0 23 0 11 0 1787361117 859537408 28807 4294967295 134512640 134569956 3221224336 3221214616 1131338044 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 28807 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 591.39 Current children cumulated vsize (Kb) 839392 [startup+630.053 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18573 3 1 0 60035 72 0 0 25 0 11 0 1787361117 859537408 28877 4294967295 134512640 134569956 3221224336 3221214536 1131435517 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 28877 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 601.07 Current children cumulated vsize (Kb) 839392 [startup+640.054 s] Raw data (loadavg): 1.05 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18579 3 1 0 60997 73 0 0 23 0 11 0 1787361117 859537408 28958 4294967295 134512640 134569956 3221224336 3221214072 1131656060 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 28958 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 610.7 Current children cumulated vsize (Kb) 839392 [startup+650.055 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18585 3 1 0 61958 73 0 0 25 0 11 0 1787361117 859537408 29036 4294967295 134512640 134569956 3221224336 3221214624 1131450968 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 29036 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 620.31 Current children cumulated vsize (Kb) 839392 [startup+660.055 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18589 3 1 0 62932 73 0 0 25 0 11 0 1787361117 859537408 29091 4294967295 134512640 134569956 3221224336 3221214544 1131692942 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 29091 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 630.05 Current children cumulated vsize (Kb) 839392 [startup+670.056 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18594 3 1 0 63898 73 0 0 25 0 11 0 1787361117 859537408 29176 4294967295 134512640 134569956 3221224336 3221214536 1131435570 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 29176 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 639.71 Current children cumulated vsize (Kb) 839392 [startup+680.057 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18598 3 1 0 64871 73 0 0 25 0 11 0 1787361117 859537408 29238 4294967295 134512640 134569956 3221224336 3221214536 1131436874 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 29238 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 649.44 Current children cumulated vsize (Kb) 839392 [startup+690.058 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18602 3 1 0 65842 74 0 0 25 0 11 0 1787361117 859537408 29291 4294967295 134512640 134569956 3221224336 3221214536 1131659221 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 29291 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 659.16 Current children cumulated vsize (Kb) 839392 [startup+700.058 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18607 3 1 0 66803 74 0 0 25 0 11 0 1787361117 859537408 29366 4294967295 134512640 134569956 3221224336 3221214536 1131659221 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 29366 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 668.77 Current children cumulated vsize (Kb) 839392 [startup+710.059 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18611 3 1 0 67770 74 0 0 25 0 11 0 1787361117 859537408 29418 4294967295 134512640 134569956 3221224336 3221214536 1131692220 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 29418 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 678.44 Current children cumulated vsize (Kb) 839392 [startup+720.06 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18615 3 1 0 68737 75 0 0 25 0 11 0 1787361117 859537408 29467 4294967295 134512640 134569956 3221224336 3221214536 1131352442 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 29467 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 688.12 Current children cumulated vsize (Kb) 839392 [startup+730.059 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18620 3 1 0 69693 75 0 0 24 0 11 0 1787361117 859537408 29559 4294967295 134512640 134569956 3221224336 3221214352 1131694428 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 29559 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 697.68 Current children cumulated vsize (Kb) 839392 [startup+740.06 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18624 3 1 0 70658 75 0 0 25 0 11 0 1787361117 859537408 29648 4294967295 134512640 134569956 3221224336 3221214716 1131487241 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 29648 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 707.33 Current children cumulated vsize (Kb) 839392 [startup+750.061 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18629 3 1 0 71614 76 0 0 24 0 11 0 1787361117 859537408 29749 4294967295 134512640 134569956 3221224336 3221214108 1131655808 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 29749 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 716.9 Current children cumulated vsize (Kb) 839392 [startup+760.061 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18633 3 1 0 72581 76 0 0 25 0 11 0 1787361117 859537408 29840 4294967295 134512640 134569956 3221224336 3221214544 1131692395 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 29840 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 726.57 Current children cumulated vsize (Kb) 839392 [startup+770.062 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18638 3 1 0 73539 76 0 0 25 0 11 0 1787361117 859537408 29949 4294967295 134512640 134569956 3221224336 3221214564 1131057182 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 29949 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 736.15 Current children cumulated vsize (Kb) 839392 [startup+780.062 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18642 3 1 0 74505 76 0 0 25 0 11 0 1787361117 859537408 30045 4294967295 134512640 134569956 3221224336 3221214068 1131659209 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 30045 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 745.81 Current children cumulated vsize (Kb) 839392 [startup+790.063 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18646 3 1 0 75473 76 0 0 25 0 11 0 1787361117 859537408 30121 4294967295 134512640 134569956 3221224336 3221214068 1131659200 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 30121 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 755.49 Current children cumulated vsize (Kb) 839392 [startup+800.064 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18651 3 1 0 76435 77 0 0 25 0 11 0 1787361117 859537408 30210 4294967295 134512640 134569956 3221224336 3221213264 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 30210 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 765.12 Current children cumulated vsize (Kb) 839392 [startup+810.063 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18655 3 1 0 77396 77 0 0 25 0 11 0 1787361117 859537408 30306 4294967295 134512640 134569956 3221224336 3221214624 1131450783 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 30306 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 774.73 Current children cumulated vsize (Kb) 839392 [startup+820.064 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18659 3 1 0 78361 77 0 0 25 0 11 0 1787361117 859537408 30384 4294967295 134512640 134569956 3221224336 3221214624 1131450649 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 30384 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 784.38 Current children cumulated vsize (Kb) 839392 [startup+830.065 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18660 3 1 0 79352 77 0 0 25 0 11 0 1787361117 859537408 30397 4294967295 134512640 134569956 3221224336 3221214208 1131658489 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 30397 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 794.29 Current children cumulated vsize (Kb) 839392 [startup+840.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14887 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18661 3 1 0 80342 77 0 0 25 0 11 0 1787361117 859537408 30412 4294967295 134512640 134569956 3221224336 3221214544 1131694210 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 30412 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 804.19 Current children cumulated vsize (Kb) 839392 One traced child (pid=14887) exited with status: 0 New thread pid=14888 [startup+850.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18663 3 1 0 81333 78 0 0 16 0 11 0 1787361117 859537408 30437 4294967295 134512640 134569956 3221224336 3221214620 1131436674 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 30437 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 814.11 Current children cumulated vsize (Kb) 839392 [startup+860.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18667 3 1 0 82297 78 0 0 25 0 11 0 1787361117 859537408 30499 4294967295 134512640 134569956 3221224336 3221214152 1131692220 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 30499 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 823.75 Current children cumulated vsize (Kb) 839392 [startup+870.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18673 3 1 0 83255 78 0 0 25 0 11 0 1787361117 859537408 30595 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 30595 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 833.33 Current children cumulated vsize (Kb) 839392 [startup+880.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18677 3 1 0 84216 78 0 0 25 0 11 0 1787361117 859537408 30704 4294967295 134512640 134569956 3221224336 3221214624 1131450783 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 30704 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 842.94 Current children cumulated vsize (Kb) 839392 [startup+890.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18682 3 1 0 85179 78 0 0 25 0 11 0 1787361117 859537408 30789 4294967295 134512640 134569956 3221224336 3221214624 1131452892 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 30789 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 852.57 Current children cumulated vsize (Kb) 839392 [startup+900.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18687 3 1 0 86143 79 0 0 25 0 11 0 1787361117 859537408 30953 4294967295 134512640 134569956 3221224336 3221214624 1131452843 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 30953 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 862.22 Current children cumulated vsize (Kb) 839392 [startup+910.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18692 3 1 0 87111 79 0 0 25 0 11 0 1787361117 859537408 31054 4294967295 134512640 134569956 3221224336 3221214624 1131450783 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 31054 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 871.9 Current children cumulated vsize (Kb) 839392 [startup+920.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18697 3 1 0 88080 80 0 0 25 0 11 0 1787361117 859537408 31106 4294967295 134512640 134569956 3221224336 3221214624 1131450783 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 31106 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 881.6 Current children cumulated vsize (Kb) 839392 [startup+930.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18702 3 1 0 89049 80 0 0 25 0 11 0 1787361117 859537408 31165 4294967295 134512640 134569956 3221224336 3221214600 1131367128 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 31165 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 891.29 Current children cumulated vsize (Kb) 839392 [startup+940.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18707 3 1 0 90019 80 0 0 25 0 11 0 1787361117 859537408 31236 4294967295 134512640 134569956 3221224336 3221214068 1131659212 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 31236 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 900.99 Current children cumulated vsize (Kb) 839392 [startup+950.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18713 3 1 0 90980 81 0 0 25 0 11 0 1787361117 859537408 31289 4294967295 134512640 134569956 3221224336 3221214528 1131428208 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 31289 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 910.61 Current children cumulated vsize (Kb) 839392 [startup+960.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18718 3 1 0 91950 81 0 0 25 0 11 0 1787361117 859537408 31369 4294967295 134512640 134569956 3221224336 3221214528 1131428277 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 31369 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 920.31 Current children cumulated vsize (Kb) 839392 [startup+970.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18724 3 1 0 92916 81 0 0 25 0 11 0 1787361117 859537408 31427 4294967295 134512640 134569956 3221224336 3221214528 1131428171 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 31427 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 929.97 Current children cumulated vsize (Kb) 839392 [startup+980.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18730 3 1 0 93883 82 0 0 25 0 11 0 1787361117 859537408 31516 4294967295 134512640 134569956 3221224336 3221214536 1131435570 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 31516 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 939.65 Current children cumulated vsize (Kb) 839392 [startup+990.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18736 3 1 0 94853 82 0 0 25 0 11 0 1787361117 859537408 31597 4294967295 134512640 134569956 3221224336 3221214624 1131450999 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 31597 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 949.35 Current children cumulated vsize (Kb) 839392 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18742 3 1 0 95825 83 0 0 25 0 11 0 1787361117 859537408 31658 4294967295 134512640 134569956 3221224336 3221214624 1131450946 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 31658 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 959.08 Current children cumulated vsize (Kb) 839392 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18748 3 1 0 96798 83 0 0 25 0 11 0 1787361117 859537408 31720 4294967295 134512640 134569956 3221224336 3221214544 1131691687 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 31720 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 968.81 Current children cumulated vsize (Kb) 839392 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18755 3 1 0 97768 83 0 0 24 0 11 0 1787361117 859537408 31763 4294967295 134512640 134569956 3221224336 3221214496 1131504699 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 31763 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 978.51 Current children cumulated vsize (Kb) 839392 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18761 3 1 0 98745 84 0 0 25 0 11 0 1787361117 859537408 31791 4294967295 134512640 134569956 3221224336 3221213128 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 31791 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 988.29 Current children cumulated vsize (Kb) 839392 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18767 3 1 0 99716 84 0 0 20 0 11 0 1787361117 859537408 31847 4294967295 134512640 134569956 3221224336 3221214112 1131658547 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 31847 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 998 Current children cumulated vsize (Kb) 839392 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18773 3 1 0 100690 84 0 0 25 0 11 0 1787361117 859537408 31890 4294967295 134512640 134569956 3221224336 3221214520 1131421611 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 31890 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1007.74 Current children cumulated vsize (Kb) 839392 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18778 3 1 0 101665 85 0 0 17 0 11 0 1787361117 859537408 31926 4294967295 134512640 134569956 3221224336 3221213240 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 31926 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1017.5 Current children cumulated vsize (Kb) 839392 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18784 3 1 0 102641 85 0 0 25 0 11 0 1787361117 859537408 31959 4294967295 134512640 134569956 3221224336 3221214624 1131450635 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 31959 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1027.26 Current children cumulated vsize (Kb) 839392 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18790 3 1 0 103614 86 0 0 25 0 11 0 1787361117 859537408 32007 4294967295 134512640 134569956 3221224336 3221214112 1131658460 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32007 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1037 Current children cumulated vsize (Kb) 839392 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18796 3 1 0 104588 86 0 0 23 0 11 0 1787361117 859537408 32043 4294967295 134512640 134569956 3221224336 3221214024 1085806738 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32043 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1046.74 Current children cumulated vsize (Kb) 839392 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18803 3 1 0 105556 86 0 0 24 0 11 0 1787361117 859537408 32087 4294967295 134512640 134569956 3221224336 3221214204 1085759292 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 32087 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1056.42 Current children cumulated vsize (Kb) 839392 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18809 3 1 0 106530 87 0 0 25 0 11 0 1787361117 859537408 32139 4294967295 134512640 134569956 3221224336 3221214536 1131435570 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 32139 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1066.17 Current children cumulated vsize (Kb) 839392 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18816 3 1 0 107501 87 0 0 25 0 11 0 1787361117 859537408 32187 4294967295 134512640 134569956 3221224336 3221214624 1131450992 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32187 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1075.88 Current children cumulated vsize (Kb) 839392 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18822 3 1 0 108476 87 0 0 25 0 11 0 1787361117 859537408 32231 4294967295 134512640 134569956 3221224336 3221214500 1131631443 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32231 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1085.63 Current children cumulated vsize (Kb) 839392 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) S 14875 14876 824 0 -1 0 18829 3 1 0 109449 87 0 0 25 0 11 0 1787361117 859537408 32277 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32277 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1095.36 Current children cumulated vsize (Kb) 839392 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18835 3 1 0 110422 88 0 0 25 0 11 0 1787361117 859537408 32310 4294967295 134512640 134569956 3221224336 3221214408 1085806738 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32310 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1105.1 Current children cumulated vsize (Kb) 839392 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18842 3 1 0 111392 88 0 0 25 0 11 0 1787361117 859537408 32347 4294967295 134512640 134569956 3221224336 3221214532 1131057207 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 32347 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1114.8 Current children cumulated vsize (Kb) 839392 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18848 3 1 0 112367 88 0 0 24 0 11 0 1787361117 859537408 32385 4294967295 134512640 134569956 3221224336 3221214620 1131338053 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 32385 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1124.55 Current children cumulated vsize (Kb) 839392 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18855 3 1 0 113338 89 0 0 18 0 11 0 1787361117 859537408 32431 4294967295 134512640 134569956 3221224336 3221214160 1131694203 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 32431 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1134.27 Current children cumulated vsize (Kb) 839392 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18862 3 1 0 114309 89 0 0 16 0 11 0 1787361117 859537408 32481 4294967295 134512640 134569956 3221224336 3221214616 1131338018 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32481 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1143.98 Current children cumulated vsize (Kb) 839392 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18868 3 1 0 115285 89 0 0 25 0 11 0 1787361117 859537408 32513 4294967295 134512640 134569956 3221224336 3221214536 1131435698 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 32513 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1153.74 Current children cumulated vsize (Kb) 839392 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18875 3 1 0 116257 89 0 0 19 0 11 0 1787361117 859537408 32552 4294967295 134512640 134569956 3221224336 3221214624 1131453712 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32552 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1163.46 Current children cumulated vsize (Kb) 839392 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18881 3 1 0 117233 90 0 0 25 0 11 0 1787361117 859537408 32597 4294967295 134512640 134569956 3221224336 3221214520 1131421255 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32597 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1173.23 Current children cumulated vsize (Kb) 839392 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18888 3 1 0 118204 90 0 0 24 0 11 0 1787361117 859537408 32632 4294967295 134512640 134569956 3221224336 3221214488 1131532543 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14876/statm): 209848 32632 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1182.94 Current children cumulated vsize (Kb) 839392 [startup+1240.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18894 3 1 0 119179 90 0 0 25 0 11 0 1787361117 859537408 32669 4294967295 134512640 134569956 3221224336 3221214272 1085759286 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32669 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1192.69 Current children cumulated vsize (Kb) 839392 [startup+1250.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18900 3 1 0 120152 90 0 0 25 0 11 0 1787361117 859537408 32699 4294967295 134512640 134569956 3221224336 3221214356 1085806240 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32699 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1202.42 Current children cumulated vsize (Kb) 839392 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1250.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14888 Raw data (/proc/14876/stat): 14876 (java) R 14875 14876 824 0 -1 0 18900 3 1 0 120153 90 0 0 25 0 11 0 1787361117 859537408 32699 4294967295 134512640 134569956 3221224336 3221214352 1131691965 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14876/statm): 209848 32699 13129 16 0 209832 0 [pid=14876] vsize: 839392 Current children cumulated CPU time (s) 1202.43 Current children cumulated vsize (Kb) 839392 Sending SIGTERM to -14876 Sleeping 2 seconds New thread pid=14890 New thread pid=14891 One traced child (pid=14891) exited with status: 0 One traced child (pid=14885) exited with status: 0 One traced child (pid=14880) exited with status: 0 One traced child (pid=14877) exited with status: 143 One traced child (pid=14890) exited with status: 143 One traced child (pid=14884) exited with status: 143 One traced child (pid=14881) exited with status: 143 One traced child (pid=14883) exited with status: 143 One traced child (pid=14878) exited with status: 143 One traced child (pid=14879) exited with status: 143 One traced child (pid=14888) exited with status: 143 One traced child (pid=14882) exited with status: 143 One traced child (pid=14876) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1250.39 CPU time (s): 1258.14 CPU user time (s): 1256.36 CPU system time (s): 1.78873 CPU usage (%): 100.62 Max. virtual memory (cumulated for all children) (Kb): 839556
Verifier: OK -10000