Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-10teams.opb |
MD5SUM | 130bea0863cb3f92addf09aabe15daa3 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 956 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1800 |
Biggest coefficient in the objective function | 86 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 41700 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 86 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 41700 |
Number of bits of the biggest sum of numbers | 16 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.02 |
Number of variables | 1800 |
Total number of constraints | 2015 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2015 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 72 |
LAUNCH ON wulflinc30 THE 2005-09-19 20:29:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6531 boxname=wulflinc30 idbench=671 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 130bea0863cb3f92addf09aabe15daa3 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-10teams.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-10teams.opb IDLAUNCH: 6531 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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 : 3 cpu MHz : 451.072 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 895864 kB Buffers: 32964 kB Cached: 77044 kB SwapCached: 764 kB Active: 52152 kB Inactive: 60460 kB HighTotal: 131008 kB HighFree: 53340 kB LowTotal: 903652 kB LowFree: 842524 kB SwapTotal: 2097892 kB SwapFree: 2096620 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5712 kB Slab: 20724 kB Committed_AS: 64304 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 20:50:49 (client local time) WITH STATUS 143 IN 1268.85 SECONDS stats: 6531 0 1268.85 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/wulflinc30/normalized-mps-v2-20-10-10teams.opb c reading problem ... done. Time 2.972 ms. c #vars 1800 c #constraints 335 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 1022 Current CPU time: 72.63 ms c starts : 7 c conflicts : 1228 c decisions : 7721 c propagations : 81265 c inspects : 786274 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 1228 c root simplifications : 7 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 5991 c speed (decisions/second) : 6.508581447887514 c non guided choices 900 c random choices 0 s SATISFIABLE v -x10212_bit0 -x10312_bit0 -x20312_bit0 -x10412_bit0 -x20412_bit0 -x30412_bit0 -x10512_bit0 -x20512_bit0 -x30512_bit0 -x40512_bit0 -x10612_bit0 -x20612_bit0 -x30612_bit0 -x40612_bit0 -x50612_bit0 -x10712_bit0 -x20712_bit0 -x30712_bit0 -x40712_bit0 -x50712_bit0 -x60712_bit0 -x10812_bit0 -x20812_bit0 -x30812_bit0 -x40812_bit0 -x50812_bit0 -x60812_bit0 -x70812_bit0 -x10912_bit0 -x20912_bit0 -x30912_bit0 -x40912_bit0 x50912_bit0 -x60912_bit0 -x70912_bit0 -x80912_bit0 -x11012_bit0 -x21012_bit0 -x31012_bit0 -x41012_bit0 -x51012_bit0 -x61012_bit0 -x71012_bit0 -x81012_bit0 -x91012_bit0 -x10222_bit0 -x10322_bit0 -x20322_bit0 -x10422_bit0 -x20422_bit0 -x30422_bit0 -x10522_bit0 -x20522_bit0 -x30522_bit0 -x40522_bit0 -x10622_bit0 -x20622_bit0 -x30622_bit0 x40622_bit0 -x50622_bit0 -x10722_bit0 -x20722_bit0 -x30722_bit0 -x40722_bit0 -x50722_bit0 -x60722_bit0 -x10822_bit0 -x20822_bit0 -x30822_bit0 -x40822_bit0 -x50822_bit0 -x60822_bit0 -x70822_bit0 -x10922_bit0 -x20922_bit0 -x30922_bit0 -x40922_bit0 -x50922_bit0 -x60922_bit0 -x70922_bit0 -x80922_bit0 -x11022_bit0 -x21022_bit0 -x31022_bit0 -x41022_bit0 -x51022_bit0 -x61022_bit0 -x71022_bit0 -x81022_bit0 -x91022_bit0 -x10232_bit0 x10332_bit0 -x20332_bit0 -x10432_bit0 -x20432_bit0 -x30432_bit0 -x10532_bit0 -x20532_bit0 -x30532_bit0 -x40532_bit0 -x10632_bit0 -x20632_bit0 -x30632_bit0 -x40632_bit0 -x50632_bit0 -x10732_bit0 -x20732_bit0 -x30732_bit0 -x40732_bit0 -x50732_bit0 -x60732_bit0 -x10832_bit0 -x20832_bit0 -x30832_bit0 -x40832_bit0 -x50832_bit0 -x60832_bit0 -x70832_bit0 -x10932_bit0 -x20932_bit0 -x30932_bit0 -x40932_bit0 -x50932_bit0 -x60932_bit0 -x70932_bit0 -x80932_bit0 -x11032_bit0 -x21032_bit0 -x31032_bit0 -x41032_bit0 -x51032_bit0 -x61032_bit0 -x71032_bit0 -x81032_bit0 -x91032_bit0 -x10242_bit0 -x10342_bit0 -x20342_bit0 -x10442_bit0 -x20442_bit0 -x30442_bit0 -x10542_bit0 -x20542_bit0 -x30542_bit0 -x40542_bit0 -x10642_bit0 -x20642_bit0 -x30642_bit0 -x40642_bit0 -x50642_bit0 -x10742_bit0 -x20742_bit0 -x30742_bit0 -x40742_bit0 -x50742_bit0 -x60742_bit0 -x10842_bit0 x20842_bit0 -x30842_bit0 -x40842_bit0 -x50842_bit0 -x60842_bit0 -x70842_bit0 -x10942_bit0 -x20942_bit0 -x30942_bit0 -x40942_bit0 -x50942_bit0 -x60942_bit0 -x70942_bit0 -x80942_bit0 -x11042_bit0 -x21042_bit0 -x31042_bit0 -x41042_bit0 -x51042_bit0 -x61042_bit0 -x71042_bit0 -x81042_bit0 -x91042_bit0 -x10252_bit0 -x10352_bit0 -x20352_bit0 -x10452_bit0 -x20452_bit0 -x30452_bit0 -x10552_bit0 -x20552_bit0 -x30552_bit0 -x40552_bit0 -x10652_bit0 -x20652_bit0 -x30652_bit0 -x40652_bit0 -x50652_bit0 -x10752_bit0 -x20752_bit0 -x30752_bit0 -x40752_bit0 -x50752_bit0 -x60752_bit0 -x10852_bit0 -x20852_bit0 -x30852_bit0 -x40852_bit0 -x50852_bit0 -x60852_bit0 -x70852_bit0 -x10952_bit0 -x20952_bit0 -x30952_bit0 -x40952_bit0 -x50952_bit0 -x60952_bit0 -x70952_bit0 -x80952_bit0 -x11052_bit0 -x21052_bit0 -x31052_bit0 -x41052_bit0 -x51052_bit0 -x61052_bit0 x71052_bit0 -x81052_bit0 -x91052_bit0 -x10213_bit0 -x10313_bit0 -x20313_bit0 -x10413_bit0 -x20413_bit0 -x30413_bit0 -x10513_bit0 -x20513_bit0 -x30513_bit0 -x40513_bit0 -x10613_bit0 -x20613_bit0 -x30613_bit0 -x40613_bit0 -x50613_bit0 -x10713_bit0 -x20713_bit0 x30713_bit0 -x40713_bit0 -x50713_bit0 -x60713_bit0 -x10813_bit0 -x20813_bit0 -x30813_bit0 -x40813_bit0 -x50813_bit0 -x60813_bit0 -x70813_bit0 -x10913_bit0 -x20913_bit0 -x30913_bit0 -x40913_bit0 -x50913_bit0 -x60913_bit0 -x70913_bit0 -x80913_bit0 -x11013_bit0 -x21013_bit0 -x31013_bit0 -x41013_bit0 -x51013_bit0 -x61013_bit0 -x71013_bit0 -x81013_bit0 -x91013_bit0 -x10223_bit0 -x10323_bit0 -x20323_bit0 -x10423_bit0 -x20423_bit0 -x30423_bit0 -x10523_bit0 -x20523_bit0 -x30523_bit0 -x40523_bit0 -x10623_bit0 -x20623_bit0 -x30623_bit0 -x40623_bit0 -x50623_bit0 -x10723_bit0 -x20723_bit0 -x30723_bit0 -x40723_bit0 -x50723_bit0 -x60723_bit0 -x10823_bit0 -x20823_bit0 -x30823_bit0 -x40823_bit0 -x50823_bit0 -x60823_bit0 -x70823_bit0 -x10923_bit0 -x20923_bit0 -x30923_bit0 -x40923_bit0 -x50923_bit0 x60923_bit0 -x70923_bit0 -x80923_bit0 -x11023_bit0 -x21023_bit0 -x31023_bit0 -x41023_bit0 -x51023_bit0 -x61023_bit0 -x71023_bit0 -x81023_bit0 -x91023_bit0 -x10233_bit0 -x10333_bit0 -x20333_bit0 -x10433_bit0 -x20433_bit0 -x30433_bit0 -x10533_bit0 -x20533_bit0 -x30533_bit0 -x40533_bit0 -x10633_bit0 -x20633_bit0 -x30633_bit0 -x40633_bit0 -x50633_bit0 -x10733_bit0 -x20733_bit0 -x30733_bit0 -x40733_bit0 -x50733_bit0 -x60733_bit0 x10833_bit0 -x20833_bit0 -x30833_bit0 -x40833_bit0 -x50833_bit0 -x60833_bit0 -x70833_bit0 -x10933_bit0 -x20933_bit0 -x30933_bit0 -x40933_bit0 -x50933_bit0 -x60933_bit0 -x70933_bit0 -x80933_bit0 -x11033_bit0 -x21033_bit0 -x31033_bit0 -x41033_bit0 -x51033_bit0 -x61033_bit0 -x71033_bit0 -x81033_bit0 -x91033_bit0 -x10243_bit0 -x10343_bit0 -x20343_bit0 -x10443_bit0 -x20443_bit0 -x30443_bit0 -x10543_bit0 -x20543_bit0 -x30543_bit0 -x40543_bit0 -x10643_bit0 -x20643_bit0 -x30643_bit0 -x40643_bit0 -x50643_bit0 -x10743_bit0 -x20743_bit0 -x30743_bit0 -x40743_bit0 -x50743_bit0 -x60743_bit0 -x10843_bit0 -x20843_bit0 -x30843_bit0 -x40843_bit0 -x50843_bit0 -x60843_bit0 -x70843_bit0 -x10943_bit0 -x20943_bit0 -x30943_bit0 -x40943_bit0 -x50943_bit0 -x60943_bit0 -x70943_bit0 -x80943_bit0 -x11043_bit0 -x21043_bit0 -x31043_bit0 -x41043_bit0 x51043_bit0 -x61043_bit0 -x71043_bit0 -x81043_bit0 -x91043_bit0 -x10253_bit0 -x10353_bit0 -x20353_bit0 -x10453_bit0 x20453_bit0 -x30453_bit0 -x10553_bit0 -x20553_bit0 -x30553_bit0 -x40553_bit0 -x10653_bit0 -x20653_bit0 -x30653_bit0 -x40653_bit0 -x50653_bit0 -x10753_bit0 -x20753_bit0 -x30753_bit0 -x40753_bit0 -x50753_bit0 -x60753_bit0 -x10853_bit0 -x20853_bit0 -x30853_bit0 -x40853_bit0 -x50853_bit0 -x60853_bit0 -x70853_bit0 -x10953_bit0 -x20953_bit0 -x30953_bit0 -x40953_bit0 -x50953_bit0 -x60953_bit0 -x70953_bit0 -x80953_bit0 -x11053_bit0 -x21053_bit0 -x31053_bit0 -x41053_bit0 -x51053_bit0 -x61053_bit0 -x71053_bit0 -x81053_bit0 -x91053_bit0 -x10214_bit0 -x10314_bit0 -x20314_bit0 -x10414_bit0 -x20414_bit0 -x30414_bit0 -x10514_bit0 -x20514_bit0 -x30514_bit0 -x40514_bit0 -x10614_bit0 -x20614_bit0 -x30614_bit0 -x40614_bit0 -x50614_bit0 -x10714_bit0 -x20714_bit0 -x30714_bit0 -x40714_bit0 -x50714_bit0 -x60714_bit0 -x10814_bit0 -x20814_bit0 -x30814_bit0 -x40814_bit0 x50814_bit0 -x60814_bit0 -x70814_bit0 -x10914_bit0 -x20914_bit0 -x30914_bit0 -x40914_bit0 -x50914_bit0 -x60914_bit0 -x70914_bit0 -x80914_bit0 -x11014_bit0 -x21014_bit0 -x31014_bit0 -x41014_bit0 -x51014_bit0 -x61014_bit0 -x71014_bit0 -x81014_bit0 -x91014_bit0 -x10224_bit0 -x10324_bit0 -x20324_bit0 -x10424_bit0 -x20424_bit0 -x30424_bit0 -x10524_bit0 -x20524_bit0 -x30524_bit0 -x40524_bit0 -x10624_bit0 -x20624_bit0 -x30624_bit0 -x40624_bit0 -x50624_bit0 -x10724_bit0 x20724_bit0 -x30724_bit0 -x40724_bit0 -x50724_bit0 -x60724_bit0 -x10824_bit0 -x20824_bit0 -x30824_bit0 -x40824_bit0 -x50824_bit0 -x60824_bit0 -x70824_bit0 -x10924_bit0 -x20924_bit0 -x30924_bit0 -x40924_bit0 -x50924_bit0 -x60924_bit0 -x70924_bit0 -x80924_bit0 -x11024_bit0 -x21024_bit0 -x31024_bit0 -x41024_bit0 -x51024_bit0 -x61024_bit0 -x71024_bit0 -x81024_bit0 -x91024_bit0 -x10234_bit0 -x10334_bit0 -x20334_bit0 -x10434_bit0 -x20434_bit0 -x30434_bit0 -x10534_bit0 -x20534_bit0 -x30534_bit0 -x40534_bit0 -x10634_bit0 -x20634_bit0 -x30634_bit0 -x40634_bit0 -x50634_bit0 -x10734_bit0 -x20734_bit0 -x30734_bit0 -x40734_bit0 -x50734_bit0 -x60734_bit0 -x10834_bit0 -x20834_bit0 -x30834_bit0 -x40834_bit0 -x50834_bit0 -x60834_bit0 -x70834_bit0 -x10934_bit0 -x20934_bit0 -x30934_bit0 x40934_bit0 -x50934_bit0 -x60934_bit0 -x70934_bit0 -x80934_bit0 -x11034_bit0 -x21034_bit0 -x31034_bit0 -x41034_bit0 -x51034_bit0 -x61034_bit0 -x71034_bit0 -x81034_bit0 -x91034_bit0 -x10244_bit0 -x10344_bit0 -x20344_bit0 -x10444_bit0 -x20444_bit0 -x30444_bit0 -x10544_bit0 -x20544_bit0 -x30544_bit0 -x40544_bit0 -x10644_bit0 -x20644_bit0 -x30644_bit0 -x40644_bit0 -x50644_bit0 -x10744_bit0 -x20744_bit0 -x30744_bit0 -x40744_bit0 -x50744_bit0 -x60744_bit0 -x10844_bit0 -x20844_bit0 -x30844_bit0 -x40844_bit0 -x50844_bit0 -x60844_bit0 -x70844_bit0 -x10944_bit0 -x20944_bit0 -x30944_bit0 -x40944_bit0 -x50944_bit0 -x60944_bit0 -x70944_bit0 -x80944_bit0 x11044_bit0 -x21044_bit0 -x31044_bit0 -x41044_bit0 -x51044_bit0 -x61044_bit0 -x71044_bit0 -x81044_bit0 -x91044_bit0 -x10254_bit0 -x10354_bit0 -x20354_bit0 -x10454_bit0 -x20454_bit0 -x30454_bit0 -x10554_bit0 -x20554_bit0 -x30554_bit0 -x40554_bit0 -x10654_bit0 -x20654_bit0 x30654_bit0 -x40654_bit0 -x50654_bit0 -x10754_bit0 -x20754_bit0 -x30754_bit0 -x40754_bit0 -x50754_bit0 -x60754_bit0 -x10854_bit0 -x20854_bit0 -x30854_bit0 -x40854_bit0 -x50854_bit0 -x60854_bit0 -x70854_bit0 -x10954_bit0 -x20954_bit0 -x30954_bit0 -x40954_bit0 -x50954_bit0 -x60954_bit0 -x70954_bit0 -x80954_bit0 -x11054_bit0 -x21054_bit0 -x31054_bit0 -x41054_bit0 -x51054_bit0 -x61054_bit0 -x71054_bit0 -x81054_bit0 -x91054_bit0 -x10215_bit0 -x10315_bit0 -x20315_bit0 x10415_bit0 -x20415_bit0 -x30415_bit0 -x10515_bit0 -x20515_bit0 -x30515_bit0 -x40515_bit0 -x10615_bit0 -x20615_bit0 -x30615_bit0 -x40615_bit0 -x50615_bit0 -x10715_bit0 -x20715_bit0 -x30715_bit0 -x40715_bit0 -x50715_bit0 -x60715_bit0 -x10815_bit0 -x20815_bit0 -x30815_bit0 -x40815_bit0 -x50815_bit0 -x60815_bit0 -x70815_bit0 -x10915_bit0 -x20915_bit0 -x30915_bit0 -x40915_bit0 -x50915_bit0 -x60915_bit0 -x70915_bit0 -x80915_bit0 -x11015_bit0 -x21015_bit0 -x31015_bit0 -x41015_bit0 -x51015_bit0 -x61015_bit0 -x71015_bit0 -x81015_bit0 -x91015_bit0 -x10225_bit0 -x10325_bit0 -x20325_bit0 -x10425_bit0 -x20425_bit0 -x30425_bit0 -x10525_bit0 -x20525_bit0 -x30525_bit0 -x40525_bit0 -x10625_bit0 -x20625_bit0 -x30625_bit0 -x40625_bit0 -x50625_bit0 -x10725_bit0 -x20725_bit0 -x30725_bit0 -x40725_bit0 -x50725_bit0 -x60725_bit0 -x10825_bit0 -x20825_bit0 -x30825_bit0 -x40825_bit0 -x50825_bit0 -x60825_bit0 -x70825_bit0 -x10925_bit0 -x20925_bit0 -x30925_bit0 -x40925_bit0 -x50925_bit0 -x60925_bit0 -x70925_bit0 x80925_bit0 -x11025_bit0 -x21025_bit0 -x31025_bit0 -x41025_bit0 -x51025_bit0 -x61025_bit0 -x71025_bit0 -x81025_bit0 -x91025_bit0 -x10235_bit0 -x10335_bit0 -x20335_bit0 -x10435_bit0 -x20435_bit0 -x30435_bit0 -x10535_bit0 -x20535_bit0 -x30535_bit0 -x40535_bit0 -x10635_bit0 -x20635_bit0 -x30635_bit0 -x40635_bit0 -x50635_bit0 -x10735_bit0 -x20735_bit0 -x30735_bit0 -x40735_bit0 -x50735_bit0 -x60735_bit0 -x10835_bit0 -x20835_bit0 -x30835_bit0 -x40835_bit0 -x50835_bit0 -x60835_bit0 -x70835_bit0 -x10935_bit0 -x20935_bit0 -x30935_bit0 -x40935_bit0 -x50935_bit0 -x60935_bit0 -x70935_bit0 -x80935_bit0 -x11035_bit0 -x21035_bit0 -x31035_bit0 -x41035_bit0 -x51035_bit0 x61035_bit0 -x71035_bit0 -x81035_bit0 -x91035_bit0 -x10245_bit0 -x10345_bit0 x20345_bit0 -x10445_bit0 -x20445_bit0 -x30445_bit0 -x10545_bit0 -x20545_bit0 -x30545_bit0 -x40545_bit0 -x10645_bit0 -x20645_bit0 -x30645_bit0 -x40645_bit0 -x50645_bit0 -x10745_bit0 -x20745_bit0 -x30745_bit0 -x40745_bit0 -x50745_bit0 -x60745_bit0 -x10845_bit0 -x20845_bit0 -x30845_bit0 -x40845_bit0 -x50845_bit0 -x60845_bit0 -x70845_bit0 -x10945_bit0 -x20945_bit0 -x30945_bit0 -x40945_bit0 -x50945_bit0 -x60945_bit0 -x70945_bit0 -x80945_bit0 -x11045_bit0 -x21045_bit0 -x31045_bit0 -x41045_bit0 -x51045_bit0 -x61045_bit0 -x71045_bit0 -x81045_bit0 -x91045_bit0 -x10255_bit0 -x10355_bit0 -x20355_bit0 -x10455_bit0 -x20455_bit0 -x30455_bit0 -x10555_bit0 -x20555_bit0 -x30555_bit0 -x40555_bit0 -x10655_bit0 -x20655_bit0 -x30655_bit0 -x40655_bit0 -x50655_bit0 -x10755_bit0 -x20755_bit0 -x30755_bit0 -x40755_bit0 x50755_bit0 -x60755_bit0 -x10855_bit0 -x20855_bit0 -x30855_bit0 -x40855_bit0 -x50855_bit0 -x60855_bit0 -x70855_bit0 -x10955_bit0 -x20955_bit0 -x30955_bit0 -x40955_bit0 -x50955_bit0 -x60955_bit0 -x70955_bit0 -x80955_bit0 -x11055_bit0 -x21055_bit0 -x31055_bit0 -x41055_bit0 -x51055_bit0 -x61055_bit0 -x71055_bit0 -x81055_bit0 -x91055_bit0 -x10216_bit0 -x10316_bit0 -x20316_bit0 -x10416_bit0 -x20416_bit0 -x30416_bit0 -x10516_bit0 -x20516_bit0 -x30516_bit0 -x40516_bit0 -x10616_bit0 x20616_bit0 -x30616_bit0 -x40616_bit0 -x50616_bit0 -x10716_bit0 -x20716_bit0 -x30716_bit0 -x40716_bit0 -x50716_bit0 -x60716_bit0 -x10816_bit0 -x20816_bit0 -x30816_bit0 -x40816_bit0 -x50816_bit0 -x60816_bit0 -x70816_bit0 -x10916_bit0 -x20916_bit0 -x30916_bit0 -x40916_bit0 -x50916_bit0 -x60916_bit0 -x70916_bit0 -x80916_bit0 -x11016_bit0 -x21016_bit0 -x31016_bit0 -x41016_bit0 -x51016_bit0 -x61016_bit0 -x71016_bit0 -x81016_bit0 -x91016_bit0 -x10226_bit0 -x10326_bit0 -x20326_bit0 -x10426_bit0 -x20426_bit0 -x30426_bit0 -x10526_bit0 -x20526_bit0 -x30526_bit0 -x40526_bit0 -x10626_bit0 -x20626_bit0 -x30626_bit0 -x40626_bit0 -x50626_bit0 -x10726_bit0 -x20726_bit0 -x30726_bit0 -x40726_bit0 -x50726_bit0 -x60726_bit0 -x10826_bit0 -x20826_bit0 -x30826_bit0 -x40826_bit0 -x50826_bit0 -x60826_bit0 -x70826_bit0 -x10926_bit0 -x20926_bit0 -x30926_bit0 -x40926_bit0 -x50926_bit0 -x60926_bit0 -x70926_bit0 -x80926_bit0 -x11026_bit0 -x21026_bit0 -x31026_bit0 -x41026_bit0 -x51026_bit0 -x61026_bit0 -x71026_bit0 x81026_bit0 -x91026_bit0 -x10236_bit0 -x10336_bit0 -x20336_bit0 -x10436_bit0 -x20436_bit0 -x30436_bit0 -x10536_bit0 -x20536_bit0 -x30536_bit0 -x40536_bit0 -x10636_bit0 -x20636_bit0 -x30636_bit0 -x40636_bit0 -x50636_bit0 -x10736_bit0 -x20736_bit0 -x30736_bit0 x40736_bit0 -x50736_bit0 -x60736_bit0 -x10836_bit0 -x20836_bit0 -x30836_bit0 -x40836_bit0 -x50836_bit0 -x60836_bit0 -x70836_bit0 -x10936_bit0 -x20936_bit0 -x30936_bit0 -x40936_bit0 -x50936_bit0 -x60936_bit0 -x70936_bit0 -x80936_bit0 -x11036_bit0 -x21036_bit0 -x31036_bit0 -x41036_bit0 -x51036_bit0 -x61036_bit0 -x71036_bit0 -x81036_bit0 -x91036_bit0 -x10246_bit0 -x10346_bit0 -x20346_bit0 -x10446_bit0 -x20446_bit0 -x30446_bit0 -x10546_bit0 -x20546_bit0 -x30546_bit0 -x40546_bit0 -x10646_bit0 -x20646_bit0 -x30646_bit0 -x40646_bit0 -x50646_bit0 -x10746_bit0 -x20746_bit0 -x30746_bit0 -x40746_bit0 -x50746_bit0 -x60746_bit0 -x10846_bit0 -x20846_bit0 -x30846_bit0 -x40846_bit0 -x50846_bit0 -x60846_bit0 -x70846_bit0 -x10946_bit0 -x20946_bit0 x30946_bit0 -x40946_bit0 -x50946_bit0 -x60946_bit0 -x70946_bit0 -x80946_bit0 -x11046_bit0 -x21046_bit0 -x31046_bit0 -x41046_bit0 -x51046_bit0 -x61046_bit0 -x71046_bit0 -x81046_bit0 -x91046_bit0 -x10256_bit0 -x10356_bit0 -x20356_bit0 -x10456_bit0 -x20456_bit0 -x30456_bit0 x10556_bit0 -x20556_bit0 -x30556_bit0 -x40556_bit0 -x10656_bit0 -x20656_bit0 -x30656_bit0 -x40656_bit0 -x50656_bit0 -x10756_bit0 -x20756_bit0 -x30756_bit0 -x40756_bit0 -x50756_bit0 -x60756_bit0 -x10856_bit0 -x20856_bit0 -x30856_bit0 -x40856_bit0 -x50856_bit0 -x60856_bit0 -x70856_bit0 -x10956_bit0 -x20956_bit0 -x30956_bit0 -x40956_bit0 -x50956_bit0 -x60956_bit0 -x70956_bit0 -x80956_bit0 -x11056_bit0 -x21056_bit0 -x31056_bit0 -x41056_bit0 -x51056_bit0 -x61056_bit0 -x71056_bit0 -x81056_bit0 -x91056_bit0 -x10217_bit0 -x10317_bit0 -x20317_bit0 -x10417_bit0 -x20417_bit0 -x30417_bit0 -x10517_bit0 -x20517_bit0 -x30517_bit0 -x40517_bit0 -x10617_bit0 -x20617_bit0 -x30617_bit0 -x40617_bit0 -x50617_bit0 -x10717_bit0 -x20717_bit0 -x30717_bit0 -x40717_bit0 -x50717_bit0 -x60717_bit0 -x10817_bit0 -x20817_bit0 -x30817_bit0 -x40817_bit0 -x50817_bit0 -x60817_bit0 -x70817_bit0 -x10917_bit0 -x20917_bit0 -x30917_bit0 -x40917_bit0 -x50917_bit0 -x60917_bit0 -x70917_bit0 -x80917_bit0 -x11017_bit0 -x21017_bit0 -x31017_bit0 x41017_bit0 -x51017_bit0 -x61017_bit0 -x71017_bit0 -x81017_bit0 -x91017_bit0 -x10227_bit0 -x10327_bit0 -x20327_bit0 -x10427_bit0 -x20427_bit0 -x30427_bit0 -x10527_bit0 x20527_bit0 -x30527_bit0 -x40527_bit0 -x10627_bit0 -x20627_bit0 -x30627_bit0 -x40627_bit0 -x50627_bit0 -x10727_bit0 -x20727_bit0 -x30727_bit0 -x40727_bit0 -x50727_bit0 -x60727_bit0 -x10827_bit0 -x20827_bit0 -x30827_bit0 -x40827_bit0 -x50827_bit0 -x60827_bit0 -x70827_bit0 -x10927_bit0 -x20927_bit0 -x30927_bit0 -x40927_bit0 -x50927_bit0 -x60927_bit0 -x70927_bit0 -x80927_bit0 -x11027_bit0 -x21027_bit0 -x31027_bit0 -x41027_bit0 -x51027_bit0 -x61027_bit0 -x71027_bit0 -x81027_bit0 -x91027_bit0 -x10237_bit0 -x10337_bit0 -x20337_bit0 -x10437_bit0 -x20437_bit0 -x30437_bit0 -x10537_bit0 -x20537_bit0 -x30537_bit0 -x40537_bit0 -x10637_bit0 -x20637_bit0 -x30637_bit0 -x40637_bit0 -x50637_bit0 -x10737_bit0 -x20737_bit0 -x30737_bit0 -x40737_bit0 -x50737_bit0 -x60737_bit0 -x10837_bit0 -x20837_bit0 x30837_bit0 -x40837_bit0 -x50837_bit0 -x60837_bit0 -x70837_bit0 -x10937_bit0 -x20937_bit0 -x30937_bit0 -x40937_bit0 -x50937_bit0 -x60937_bit0 -x70937_bit0 -x80937_bit0 -x11037_bit0 -x21037_bit0 -x31037_bit0 -x41037_bit0 -x51037_bit0 -x61037_bit0 -x71037_bit0 -x81037_bit0 -x91037_bit0 -x10247_bit0 -x10347_bit0 -x20347_bit0 -x10447_bit0 -x20447_bit0 -x30447_bit0 -x10547_bit0 -x20547_bit0 -x30547_bit0 -x40547_bit0 -x10647_bit0 -x20647_bit0 -x30647_bit0 -x40647_bit0 -x50647_bit0 -x10747_bit0 -x20747_bit0 -x30747_bit0 -x40747_bit0 -x50747_bit0 x60747_bit0 -x10847_bit0 -x20847_bit0 -x30847_bit0 -x40847_bit0 -x50847_bit0 -x60847_bit0 -x70847_bit0 -x10947_bit0 -x20947_bit0 -x30947_bit0 -x40947_bit0 -x50947_bit0 -x60947_bit0 -x70947_bit0 -x80947_bit0 -x11047_bit0 -x21047_bit0 -x31047_bit0 -x41047_bit0 -x51047_bit0 -x61047_bit0 -x71047_bit0 -x81047_bit0 -x91047_bit0 -x10257_bit0 -x10357_bit0 -x20357_bit0 -x10457_bit0 -x20457_bit0 -x30457_bit0 -x10557_bit0 -x20557_bit0 -x30557_bit0 -x40557_bit0 -x10657_bit0 -x20657_bit0 -x30657_bit0 -x40657_bit0 -x50657_bit0 -x10757_bit0 -x20757_bit0 -x30757_bit0 -x40757_bit0 -x50757_bit0 -x60757_bit0 -x10857_bit0 -x20857_bit0 -x30857_bit0 -x40857_bit0 -x50857_bit0 -x60857_bit0 -x70857_bit0 x10957_bit0 -x20957_bit0 -x30957_bit0 -x40957_bit0 -x50957_bit0 -x60957_bit0 -x70957_bit0 -x80957_bit0 -x11057_bit0 -x21057_bit0 -x31057_bit0 -x41057_bit0 -x51057_bit0 -x61057_bit0 -x71057_bit0 -x81057_bit0 -x91057_bit0 -x10218_bit0 -x10318_bit0 -x20318_bit0 -x10418_bit0 -x20418_bit0 -x30418_bit0 -x10518_bit0 -x20518_bit0 -x30518_bit0 -x40518_bit0 -x10618_bit0 -x20618_bit0 -x30618_bit0 -x40618_bit0 -x50618_bit0 -x10718_bit0 -x20718_bit0 -x30718_bit0 -x40718_bit0 -x50718_bit0 -x60718_bit0 -x10818_bit0 -x20818_bit0 -x30818_bit0 -x40818_bit0 -x50818_bit0 -x60818_bit0 -x70818_bit0 -x10918_bit0 -x20918_bit0 -x30918_bit0 -x40918_bit0 -x50918_bit0 -x60918_bit0 x70918_bit0 -x80918_bit0 -x11018_bit0 -x21018_bit0 -x31018_bit0 -x41018_bit0 -x51018_bit0 -x61018_bit0 -x71018_bit0 -x81018_bit0 -x91018_bit0 -x10228_bit0 -x10328_bit0 -x20328_bit0 -x10428_bit0 -x20428_bit0 -x30428_bit0 -x10528_bit0 -x20528_bit0 x30528_bit0 -x40528_bit0 -x10628_bit0 -x20628_bit0 -x30628_bit0 -x40628_bit0 -x50628_bit0 -x10728_bit0 -x20728_bit0 -x30728_bit0 -x40728_bit0 -x50728_bit0 -x60728_bit0 -x10828_bit0 -x20828_bit0 -x30828_bit0 -x40828_bit0 -x50828_bit0 -x60828_bit0 -x70828_bit0 -x10928_bit0 -x20928_bit0 -x30928_bit0 -x40928_bit0 -x50928_bit0 -x60928_bit0 -x70928_bit0 -x80928_bit0 -x11028_bit0 -x21028_bit0 -x31028_bit0 -x41028_bit0 -x51028_bit0 -x61028_bit0 -x71028_bit0 -x81028_bit0 -x91028_bit0 -x10238_bit0 -x10338_bit0 -x20338_bit0 -x10438_bit0 -x20438_bit0 -x30438_bit0 -x10538_bit0 -x20538_bit0 -x30538_bit0 -x40538_bit0 -x10638_bit0 -x20638_bit0 -x30638_bit0 -x40638_bit0 -x50638_bit0 -x10738_bit0 -x20738_bit0 -x30738_bit0 -x40738_bit0 -x50738_bit0 -x60738_bit0 -x10838_bit0 -x20838_bit0 -x30838_bit0 -x40838_bit0 -x50838_bit0 -x60838_bit0 -x70838_bit0 -x10938_bit0 -x20938_bit0 -x30938_bit0 -x40938_bit0 -x50938_bit0 -x60938_bit0 -x70938_bit0 -x80938_bit0 -x11038_bit0 x21038_bit0 -x31038_bit0 -x41038_bit0 -x51038_bit0 -x61038_bit0 -x71038_bit0 -x81038_bit0 -x91038_bit0 -x10248_bit0 -x10348_bit0 -x20348_bit0 -x10448_bit0 -x20448_bit0 -x30448_bit0 -x10548_bit0 -x20548_bit0 -x30548_bit0 -x40548_bit0 x10648_bit0 -x20648_bit0 -x30648_bit0 -x40648_bit0 -x50648_bit0 -x10748_bit0 -x20748_bit0 -x30748_bit0 -x40748_bit0 -x50748_bit0 -x60748_bit0 -x10848_bit0 -x20848_bit0 -x30848_bit0 -x40848_bit0 -x50848_bit0 -x60848_bit0 -x70848_bit0 -x10948_bit0 -x20948_bit0 -x30948_bit0 -x40948_bit0 -x50948_bit0 -x60948_bit0 -x70948_bit0 -x80948_bit0 -x11048_bit0 -x21048_bit0 -x31048_bit0 -x41048_bit0 -x51048_bit0 -x61048_bit0 -x71048_bit0 -x81048_bit0 -x91048_bit0 -x10258_bit0 -x10358_bit0 -x20358_bit0 -x10458_bit0 -x20458_bit0 -x30458_bit0 -x10558_bit0 -x20558_bit0 -x30558_bit0 -x40558_bit0 -x10658_bit0 -x20658_bit0 -x30658_bit0 -x40658_bit0 -x50658_bit0 -x10758_bit0 -x20758_bit0 -x30758_bit0 -x40758_bit0 -x50758_bit0 -x60758_bit0 -x10858_bit0 -x20858_bit0 -x30858_bit0 x40858_bit0 -x50858_bit0 -x60858_bit0 -x70858_bit0 -x10958_bit0 -x20958_bit0 -x30958_bit0 -x40958_bit0 -x50958_bit0 -x60958_bit0 -x70958_bit0 -x80958_bit0 -x11058_bit0 -x21058_bit0 -x31058_bit0 -x41058_bit0 -x51058_bit0 -x61058_bit0 -x71058_bit0 -x81058_bit0 -x91058_bit0 -x10219_bit0 -x10319_bit0 -x20319_bit0 -x10419_bit0 -x20419_bit0 -x30419_bit0 -x10519_bit0 -x20519_bit0 -x30519_bit0 -x40519_bit0 -x10619_bit0 -x20619_bit0 -x30619_bit0 -x40619_bit0 -x50619_bit0 -x10719_bit0 -x20719_bit0 -x30719_bit0 -x40719_bit0 -x50719_bit0 -x60719_bit0 -x10819_bit0 -x20819_bit0 -x30819_bit0 -x40819_bit0 -x50819_bit0 -x60819_bit0 -x70819_bit0 -x10919_bit0 -x20919_bit0 -x30919_bit0 -x40919_bit0 -x50919_bit0 -x60919_bit0 -x70919_bit0 -x80919_bit0 -x11019_bit0 -x21019_bit0 x31019_bit0 -x41019_bit0 -x51019_bit0 -x61019_bit0 -x71019_bit0 -x81019_bit0 -x91019_bit0 -x10229_bit0 -x10329_bit0 -x20329_bit0 -x10429_bit0 -x20429_bit0 -x30429_bit0 -x10529_bit0 -x20529_bit0 -x30529_bit0 -x40529_bit0 -x10629_bit0 -x20629_bit0 -x30629_bit0 -x40629_bit0 -x50629_bit0 x10729_bit0 -x20729_bit0 -x30729_bit0 -x40729_bit0 -x50729_bit0 -x60729_bit0 -x10829_bit0 -x20829_bit0 -x30829_bit0 -x40829_bit0 -x50829_bit0 -x60829_bit0 -x70829_bit0 -x10929_bit0 -x20929_bit0 -x30929_bit0 -x40929_bit0 -x50929_bit0 -x60929_bit0 -x70929_bit0 -x80929_bit0 -x11029_bit0 -x21029_bit0 -x31029_bit0 -x41029_bit0 -x51029_bit0 -x61029_bit0 -x71029_bit0 -x81029_bit0 -x91029_bit0 -x10239_bit0 -x10339_bit0 -x20339_bit0 -x10439_bit0 -x20439_bit0 -x30439_bit0 -x10539_bit0 -x20539_bit0 -x30539_bit0 -x40539_bit0 -x10639_bit0 -x20639_bit0 -x30639_bit0 -x40639_bit0 -x50639_bit0 -x10739_bit0 -x20739_bit0 -x30739_bit0 -x40739_bit0 -x50739_bit0 -x60739_bit0 -x10839_bit0 -x20839_bit0 -x30839_bit0 -x40839_bit0 -x50839_bit0 -x60839_bit0 -x70839_bit0 -x10939_bit0 x20939_bit0 -x30939_bit0 -x40939_bit0 -x50939_bit0 -x60939_bit0 -x70939_bit0 -x80939_bit0 -x11039_bit0 -x21039_bit0 -x31039_bit0 -x41039_bit0 -x51039_bit0 -x61039_bit0 -x71039_bit0 -x81039_bit0 -x91039_bit0 -x10249_bit0 -x10349_bit0 -x20349_bit0 -x10449_bit0 -x20449_bit0 -x30449_bit0 -x10549_bit0 -x20549_bit0 -x30549_bit0 x40549_bit0 -x10649_bit0 -x20649_bit0 -x30649_bit0 -x40649_bit0 -x50649_bit0 -x10749_bit0 -x20749_bit0 -x30749_bit0 -x40749_bit0 -x50749_bit0 -x60749_bit0 -x10849_bit0 -x20849_bit0 -x30849_bit0 -x40849_bit0 -x50849_bit0 -x60849_bit0 -x70849_bit0 -x10949_bit0 -x20949_bit0 -x30949_bit0 -x40949_bit0 -x50949_bit0 -x60949_bit0 -x70949_bit0 -x80949_bit0 -x11049_bit0 -x21049_bit0 -x31049_bit0 -x41049_bit0 -x51049_bit0 -x61049_bit0 -x71049_bit0 -x81049_bit0 -x91049_bit0 -x10259_bit0 -x10359_bit0 -x20359_bit0 -x10459_bit0 -x20459_bit0 -x30459_bit0 -x10559_bit0 -x20559_bit0 -x30559_bit0 -x40559_bit0 -x10659_bit0 -x20659_bit0 -x30659_bit0 -x40659_bit0 -x50659_bit0 -x10759_bit0 -x20759_bit0 -x30759_bit0 -x40759_bit0 -x50759_bit0 -x60759_bit0 -x10859_bit0 -x20859_bit0 -x30859_bit0 -x40859_bit0 -x50859_bit0 x60859_bit0 -x70859_bit0 -x10959_bit0 -x20959_bit0 -x30959_bit0 -x40959_bit0 -x50959_bit0 -x60959_bit0 -x70959_bit0 -x80959_bit0 -x11059_bit0 -x21059_bit0 -x31059_bit0 -x41059_bit0 -x51059_bit0 -x61059_bit0 -x71059_bit0 -x81059_bit0 -x91059_bit0 c objective function=1022 c Total CPU time (ms) : 1259.185
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/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1852773312 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 39 3 38 16 0 23 0 [pid=25518] 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/25518 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=25519 New thread pid=25520 New thread pid=25521 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=25522 New thread pid=25523 New thread pid=25524 New thread pid=25525 New thread pid=25526 New thread pid=25527 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/wulflinc30/normalized-mps-v2-20-10-10teams.opb New thread pid=25528 [startup+10.003 s] Raw data (loadavg): 1.10 1.03 1.00 2/66 25528 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18147 0 1 0 567 50 0 0 18 0 11 0 1852773312 867676160 22410 4294967295 134512640 134569956 3221224336 3221214720 1131491210 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 211835 22410 13129 16 0 211819 0 [pid=25518] vsize: 847340 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (Kb) 847340 [startup+20.0039 s] Raw data (loadavg): 1.09 1.03 1.00 2/66 25528 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18157 0 1 0 1505 50 0 0 25 0 11 0 1852773312 862666752 23035 4294967295 134512640 134569956 3221224336 3221214720 1131491277 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 23035 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 15.55 Current children cumulated vsize (Kb) 842448 [startup+30.0046 s] Raw data (loadavg): 1.07 1.03 1.00 2/66 25528 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18162 0 1 0 2471 50 0 0 25 0 11 0 1852773312 862666752 22971 4294967295 134512640 134569956 3221224336 3221214608 1131484675 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 22971 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 25.21 Current children cumulated vsize (Kb) 842448 [startup+40.0055 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 25528 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18168 0 1 0 3419 50 0 0 16 0 11 0 1852773312 862666752 22976 4294967295 134512640 134569956 3221224336 3221214608 1131484722 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 22976 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 34.69 Current children cumulated vsize (Kb) 842448 [startup+50.0063 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 25528 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18172 0 1 0 4379 51 0 0 25 0 11 0 1852773312 862666752 23024 4294967295 134512640 134569956 3221224336 3221214608 1131484722 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 23024 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 44.3 Current children cumulated vsize (Kb) 842448 [startup+60.0071 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 25528 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18178 0 1 0 5333 51 0 0 25 0 11 0 1852773312 862666752 23232 4294967295 134512640 134569956 3221224336 3221214648 1131518221 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 23232 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 53.84 Current children cumulated vsize (Kb) 842448 [startup+70.0079 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 25528 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18182 0 1 0 6289 51 0 0 25 0 11 0 1852773312 862666752 23451 4294967295 134512640 134569956 3221224336 3221214496 1131602718 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 23451 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 63.4 Current children cumulated vsize (Kb) 842448 One traced child (pid=25528) exited with status: 0 New thread pid=25529 [startup+80.0087 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) S 25517 25518 5245 0 -1 0 18233 4 1 0 7221 51 0 0 25 0 11 0 1852773312 862666752 23776 4294967295 134512640 134569956 3221224336 3221213208 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 23776 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 72.72 Current children cumulated vsize (Kb) 842448 [startup+90.0095 s] Raw data (loadavg): 1.18 1.06 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18239 4 1 0 8161 52 0 0 25 0 11 0 1852773312 862666752 23998 4294967295 134512640 134569956 3221224336 3221214564 1131057189 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 23998 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 82.13 Current children cumulated vsize (Kb) 842448 [startup+100.01 s] Raw data (loadavg): 1.16 1.05 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18245 4 1 0 9095 52 0 0 25 0 11 0 1852773312 862666752 24171 4294967295 134512640 134569956 3221224336 3221214504 1131428740 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 24171 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 91.47 Current children cumulated vsize (Kb) 842448 [startup+110.011 s] Raw data (loadavg): 1.13 1.05 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18252 4 1 0 10030 52 0 0 21 0 11 0 1852773312 862666752 24468 4294967295 134512640 134569956 3221224336 3221214648 1131517057 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 24468 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 100.82 Current children cumulated vsize (Kb) 842448 [startup+120.012 s] Raw data (loadavg): 1.11 1.05 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18257 4 1 0 10975 52 0 0 25 0 11 0 1852773312 862666752 24672 4294967295 134512640 134569956 3221224336 3221214560 1131453051 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 24672 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 110.27 Current children cumulated vsize (Kb) 842448 [startup+130.013 s] Raw data (loadavg): 1.09 1.05 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18263 4 1 0 11906 52 0 0 22 0 11 0 1852773312 862666752 24972 4294967295 134512640 134569956 3221224336 3221214648 1131520819 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 24972 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 119.58 Current children cumulated vsize (Kb) 842448 [startup+140.014 s] Raw data (loadavg): 1.08 1.05 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18269 4 1 0 12840 53 0 0 16 0 11 0 1852773312 862666752 25231 4294967295 134512640 134569956 3221224336 3221214504 1131428941 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 25231 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 128.93 Current children cumulated vsize (Kb) 842448 [startup+150.016 s] Raw data (loadavg): 1.07 1.04 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) S 25517 25518 5245 0 -1 0 18274 4 1 0 13790 54 0 0 25 0 11 0 1852773312 862666752 25312 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 25312 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 138.44 Current children cumulated vsize (Kb) 842448 [startup+160.017 s] Raw data (loadavg): 1.06 1.04 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18279 4 1 0 14729 54 0 0 20 0 11 0 1852773312 862666752 25474 4294967295 134512640 134569956 3221224336 3221214480 1131700270 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 25474 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 147.83 Current children cumulated vsize (Kb) 842448 [startup+170.018 s] Raw data (loadavg): 1.19 1.07 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18284 4 1 0 15675 54 0 0 24 0 11 0 1852773312 862666752 25575 4294967295 134512640 134569956 3221224336 3221214504 1131429362 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 25575 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 157.29 Current children cumulated vsize (Kb) 842448 [startup+180.019 s] Raw data (loadavg): 1.16 1.07 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18288 4 1 0 16633 55 0 0 25 0 11 0 1852773312 862666752 25575 4294967295 134512640 134569956 3221224336 3221214504 1131428941 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 25575 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 166.88 Current children cumulated vsize (Kb) 842448 [startup+190.02 s] Raw data (loadavg): 1.14 1.07 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18292 4 1 0 17594 55 0 0 25 0 11 0 1852773312 862666752 25804 4294967295 134512640 134569956 3221224336 3221214468 1131737267 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 25804 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 176.49 Current children cumulated vsize (Kb) 842448 [startup+200.019 s] Raw data (loadavg): 1.12 1.06 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18296 4 1 0 18562 55 0 0 25 0 11 0 1852773312 862666752 25977 4294967295 134512640 134569956 3221224336 3221214584 1131460913 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 25977 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 186.17 Current children cumulated vsize (Kb) 842448 [startup+210.02 s] Raw data (loadavg): 1.10 1.06 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18301 4 1 0 19528 56 0 0 23 0 11 0 1852773312 862666752 26104 4294967295 134512640 134569956 3221224336 3221214608 1131484675 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 26104 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 195.84 Current children cumulated vsize (Kb) 842448 [startup+220.021 s] Raw data (loadavg): 1.08 1.06 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18306 4 1 0 20502 56 0 0 17 0 11 0 1852773312 862666752 26289 4294967295 134512640 134569956 3221224336 3221214496 1131603809 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 26289 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 205.58 Current children cumulated vsize (Kb) 842448 [startup+230.022 s] Raw data (loadavg): 1.07 1.06 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18311 4 1 0 21483 57 0 0 25 0 11 0 1852773312 862666752 26432 4294967295 134512640 134569956 3221224336 3221214608 1131484704 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 26432 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 215.4 Current children cumulated vsize (Kb) 842448 [startup+240.023 s] Raw data (loadavg): 1.06 1.05 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18315 4 1 0 22472 57 0 0 25 0 11 0 1852773312 862666752 26452 4294967295 134512640 134569956 3221224336 3221214600 1131507510 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 26452 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 225.29 Current children cumulated vsize (Kb) 842448 [startup+250.023 s] Raw data (loadavg): 1.05 1.05 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) S 25517 25518 5245 0 -1 0 18319 4 1 0 23462 57 0 0 16 0 11 0 1852773312 862666752 26452 4294967295 134512640 134569956 3221224336 3221213440 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 26452 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 235.19 Current children cumulated vsize (Kb) 842448 [startup+260.024 s] Raw data (loadavg): 1.04 1.05 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18325 4 1 0 24443 57 0 0 25 0 11 0 1852773312 862666752 26491 4294967295 134512640 134569956 3221224336 3221214576 1131515248 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 26491 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 245 Current children cumulated vsize (Kb) 842448 [startup+270.025 s] Raw data (loadavg): 1.03 1.05 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18331 4 1 0 25415 58 0 0 25 0 11 0 1852773312 862666752 26520 4294967295 134512640 134569956 3221224336 3221214496 1131602524 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 26520 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 254.73 Current children cumulated vsize (Kb) 842448 [startup+280.026 s] Raw data (loadavg): 1.03 1.05 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18337 4 1 0 26377 58 0 0 16 0 11 0 1852773312 862666752 26542 4294967295 134512640 134569956 3221224336 3221214696 1131587071 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 26542 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 264.35 Current children cumulated vsize (Kb) 842448 [startup+290.027 s] Raw data (loadavg): 1.02 1.04 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18342 4 1 0 27341 58 0 0 25 0 11 0 1852773312 862666752 26566 4294967295 134512640 134569956 3221224336 3221214264 1085759286 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 26566 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 273.99 Current children cumulated vsize (Kb) 842448 [startup+300.027 s] Raw data (loadavg): 1.02 1.04 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18348 4 1 0 28283 59 0 0 25 0 11 0 1852773312 862666752 26566 4294967295 134512640 134569956 3221224336 3221214608 1131484675 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 26566 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 283.42 Current children cumulated vsize (Kb) 842448 [startup+310.029 s] Raw data (loadavg): 1.02 1.04 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18353 4 1 0 29228 59 0 0 25 0 11 0 1852773312 862666752 26675 4294967295 134512640 134569956 3221224336 3221214496 1131603779 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 26675 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 292.87 Current children cumulated vsize (Kb) 842448 [startup+320.029 s] Raw data (loadavg): 1.01 1.04 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18358 4 1 0 30174 59 0 0 22 0 11 0 1852773312 862666752 26778 4294967295 134512640 134569956 3221224336 3221214576 1131515254 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 26778 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 302.33 Current children cumulated vsize (Kb) 842448 [startup+330.03 s] Raw data (loadavg): 1.01 1.04 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18362 4 1 0 31130 60 0 0 19 0 11 0 1852773312 862666752 26901 4294967295 134512640 134569956 3221224336 3221214592 1131428941 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 26901 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 311.9 Current children cumulated vsize (Kb) 842448 [startup+340.031 s] Raw data (loadavg): 1.01 1.04 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18367 4 1 0 32074 60 0 0 22 0 11 0 1852773312 862666752 27032 4294967295 134512640 134569956 3221224336 3221214168 1131335975 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 27032 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 321.34 Current children cumulated vsize (Kb) 842448 [startup+350.031 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18373 4 1 0 33008 60 0 0 24 0 11 0 1852773312 862666752 27201 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 27201 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 330.68 Current children cumulated vsize (Kb) 842448 [startup+360.032 s] Raw data (loadavg): 1.00 1.03 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18380 4 1 0 33932 60 0 0 16 0 11 0 1852773312 862666752 27437 4294967295 134512640 134569956 3221224336 3221214560 1131452676 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 27437 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 339.92 Current children cumulated vsize (Kb) 842448 [startup+370.034 s] Raw data (loadavg): 1.00 1.03 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18385 4 1 0 34878 60 0 0 23 0 11 0 1852773312 862666752 27523 4294967295 134512640 134569956 3221224336 3221214616 1131429089 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 27523 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 349.38 Current children cumulated vsize (Kb) 842448 [startup+380.034 s] Raw data (loadavg): 1.00 1.03 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18390 4 1 0 35818 61 0 0 18 0 11 0 1852773312 862666752 27774 4294967295 134512640 134569956 3221224336 3221214696 1131587169 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 27774 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 358.79 Current children cumulated vsize (Kb) 842448 [startup+390.035 s] Raw data (loadavg): 1.00 1.03 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18394 4 1 0 36773 61 0 0 25 0 11 0 1852773312 862666752 27893 4294967295 134512640 134569956 3221224336 3221214128 1131736128 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 27893 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 368.34 Current children cumulated vsize (Kb) 842448 [startup+400.035 s] Raw data (loadavg): 1.00 1.03 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) S 25517 25518 5245 0 -1 0 18398 4 1 0 37724 61 0 0 17 0 11 0 1852773312 862666752 27989 4294967295 134512640 134569956 3221224336 3221213240 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 27989 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 377.85 Current children cumulated vsize (Kb) 842448 [startup+410.037 s] Raw data (loadavg): 1.00 1.03 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18404 4 1 0 38660 61 0 0 25 0 11 0 1852773312 862666752 28076 4294967295 134512640 134569956 3221224336 3221214648 1131517257 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 28076 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 387.21 Current children cumulated vsize (Kb) 842448 [startup+420.038 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18409 4 1 0 39606 61 0 0 25 0 11 0 1852773312 862666752 28277 4294967295 134512640 134569956 3221224336 3221214496 1131602888 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 28277 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 396.67 Current children cumulated vsize (Kb) 842448 [startup+430.039 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18413 4 1 0 40566 61 0 0 25 0 11 0 1852773312 862666752 28366 4294967295 134512640 134569956 3221224336 3221214600 1131507662 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 28366 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 406.27 Current children cumulated vsize (Kb) 842448 [startup+440.04 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18418 4 1 0 41518 62 0 0 25 0 11 0 1852773312 862666752 28561 4294967295 134512640 134569956 3221224336 3221214496 1131602718 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 28561 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 415.8 Current children cumulated vsize (Kb) 842448 [startup+450.04 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18422 4 1 0 42485 62 0 0 25 0 11 0 1852773312 862666752 28668 4294967295 134512640 134569956 3221224336 3221214560 1131406251 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 28668 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 425.47 Current children cumulated vsize (Kb) 842448 [startup+460.042 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18427 4 1 0 43446 62 0 0 24 0 11 0 1852773312 862666752 28821 4294967295 134512640 134569956 3221224336 3221214648 1131518388 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 28821 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 435.08 Current children cumulated vsize (Kb) 842448 [startup+470.043 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18434 4 1 0 44396 63 0 0 22 0 11 0 1852773312 862666752 28969 4294967295 134512640 134569956 3221224336 3221214608 1131484808 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 28969 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 444.59 Current children cumulated vsize (Kb) 842448 [startup+480.044 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18439 4 1 0 45359 63 0 0 25 0 11 0 1852773312 862666752 29037 4294967295 134512640 134569956 3221224336 3221214284 1076637342 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 29037 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 454.22 Current children cumulated vsize (Kb) 842448 [startup+490.046 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18445 4 1 0 46305 64 0 0 25 0 11 0 1852773312 862666752 29157 4294967295 134512640 134569956 3221224336 3221214560 1131453165 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 29157 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 463.69 Current children cumulated vsize (Kb) 842448 [startup+500.045 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18451 4 1 0 47249 64 0 0 20 0 11 0 1852773312 862666752 29208 4294967295 134512640 134569956 3221224336 3221214496 1131428941 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 29208 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 473.13 Current children cumulated vsize (Kb) 842448 [startup+510.046 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18456 4 1 0 48199 64 0 0 25 0 11 0 1852773312 862666752 29300 4294967295 134512640 134569956 3221224336 3221214648 1131517188 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 29300 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 482.63 Current children cumulated vsize (Kb) 842448 [startup+520.047 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18463 4 1 0 49124 65 0 0 24 0 11 0 1852773312 862666752 29445 4294967295 134512640 134569956 3221224336 3221214720 1131490634 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 29445 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 491.89 Current children cumulated vsize (Kb) 842448 [startup+530.048 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18468 4 1 0 50074 65 0 0 25 0 11 0 1852773312 862666752 29540 4294967295 134512640 134569956 3221224336 3221214696 1131503864 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 29540 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 501.39 Current children cumulated vsize (Kb) 842448 [startup+540.049 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18473 4 1 0 51026 65 0 0 25 0 11 0 1852773312 862666752 29808 4294967295 134512640 134569956 3221224336 3221214576 1131515223 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 29808 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 510.91 Current children cumulated vsize (Kb) 842448 [startup+550.049 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18478 4 1 0 51983 65 0 0 21 0 11 0 1852773312 862666752 29891 4294967295 134512640 134569956 3221224336 3221214496 1131603934 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 29891 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 520.48 Current children cumulated vsize (Kb) 842448 [startup+560.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18484 4 1 0 52940 66 0 0 25 0 11 0 1852773312 862666752 29983 4294967295 134512640 134569956 3221224336 3221214560 1131452487 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 29983 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 530.06 Current children cumulated vsize (Kb) 842448 [startup+570.051 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18491 4 1 0 53882 66 0 0 25 0 11 0 1852773312 862666752 30149 4294967295 134512640 134569956 3221224336 3221214648 1131517322 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 30149 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 539.48 Current children cumulated vsize (Kb) 842448 [startup+580.052 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18497 4 1 0 54832 66 0 0 25 0 11 0 1852773312 862666752 30261 4294967295 134512640 134569956 3221224336 3221214560 1131452222 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 30261 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 548.98 Current children cumulated vsize (Kb) 842448 [startup+590.053 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18503 4 1 0 55784 66 0 0 25 0 11 0 1852773312 862666752 30397 4294967295 134512640 134569956 3221224336 3221214576 1131515248 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 30397 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 558.5 Current children cumulated vsize (Kb) 842448 [startup+600.053 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18508 4 1 0 56745 67 0 0 25 0 11 0 1852773312 862666752 30451 4294967295 134512640 134569956 3221224336 3221214492 1131571744 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 30451 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 568.12 Current children cumulated vsize (Kb) 842448 [startup+610.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18513 4 1 0 57705 67 0 0 25 0 11 0 1852773312 862666752 30582 4294967295 134512640 134569956 3221224336 3221214648 1131517257 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 30582 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 577.72 Current children cumulated vsize (Kb) 842448 [startup+620.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18518 4 1 0 58666 67 0 0 25 0 11 0 1852773312 862666752 30696 4294967295 134512640 134569956 3221224336 3221214600 1131507488 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 30696 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 587.33 Current children cumulated vsize (Kb) 842448 [startup+630.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18523 4 1 0 59630 68 0 0 25 0 11 0 1852773312 862666752 30781 4294967295 134512640 134569956 3221224336 3221214496 1131602479 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 30781 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 596.98 Current children cumulated vsize (Kb) 842448 [startup+640.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18527 4 1 0 60603 68 0 0 25 0 11 0 1852773312 862666752 30862 4294967295 134512640 134569956 3221224336 3221214504 1131428890 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 30862 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 606.71 Current children cumulated vsize (Kb) 842448 [startup+650.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18533 4 1 0 61565 68 0 0 25 0 11 0 1852773312 862666752 30920 4294967295 134512640 134569956 3221224336 3221214608 1131484707 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 30920 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 616.33 Current children cumulated vsize (Kb) 842448 [startup+660.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18538 4 1 0 62534 69 0 0 25 0 11 0 1852773312 862666752 31019 4294967295 134512640 134569956 3221224336 3221214648 1131517188 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 31019 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 626.03 Current children cumulated vsize (Kb) 842448 [startup+670.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18544 4 1 0 63497 69 0 0 25 0 11 0 1852773312 862666752 31095 4294967295 134512640 134569956 3221224336 3221214600 1131507897 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 31095 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 635.66 Current children cumulated vsize (Kb) 842448 [startup+680.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18551 4 1 0 64458 70 0 0 17 0 11 0 1852773312 862666752 31193 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 31193 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 645.28 Current children cumulated vsize (Kb) 842448 [startup+690.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18557 4 1 0 65423 70 0 0 25 0 11 0 1852773312 862666752 31230 4294967295 134512640 134569956 3221224336 3221214496 1131602918 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 31230 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 654.93 Current children cumulated vsize (Kb) 842448 [startup+700.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18563 4 1 0 66385 70 0 0 20 0 11 0 1852773312 862666752 31323 4294967295 134512640 134569956 3221224336 3221214592 1131406233 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 31323 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 664.55 Current children cumulated vsize (Kb) 842448 [startup+710.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18568 4 1 0 67352 70 0 0 16 0 11 0 1852773312 862666752 31353 4294967295 134512640 134569956 3221224336 3221214608 1131484656 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 31353 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 674.22 Current children cumulated vsize (Kb) 842448 [startup+720.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18573 4 1 0 68318 71 0 0 25 0 11 0 1852773312 862666752 31438 4294967295 134512640 134569956 3221224336 3221214600 1131507513 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 31438 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 683.89 Current children cumulated vsize (Kb) 842448 [startup+730.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18580 4 1 0 69267 71 0 0 25 0 11 0 1852773312 862666752 31539 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 31539 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 693.38 Current children cumulated vsize (Kb) 842448 [startup+740.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18585 4 1 0 70230 72 0 0 25 0 11 0 1852773312 862666752 31610 4294967295 134512640 134569956 3221224336 3221214584 1131460857 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 31610 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 703.02 Current children cumulated vsize (Kb) 842448 [startup+750.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18590 4 1 0 71189 73 0 0 25 0 11 0 1852773312 862666752 31638 4294967295 134512640 134569956 3221224336 3221214720 1131490402 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 31638 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 712.62 Current children cumulated vsize (Kb) 842448 [startup+760.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18597 4 1 0 72136 73 0 0 25 0 11 0 1852773312 862666752 31787 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 31787 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 722.09 Current children cumulated vsize (Kb) 842448 [startup+770.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18604 4 1 0 73083 73 0 0 25 0 11 0 1852773312 862666752 31933 4294967295 134512640 134569956 3221224336 3221214556 1131057201 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 31933 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 731.56 Current children cumulated vsize (Kb) 842448 [startup+780.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18612 4 1 0 74023 74 0 0 24 0 11 0 1852773312 862666752 32029 4294967295 134512640 134569956 3221224336 3221214608 1131484758 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 32029 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 740.97 Current children cumulated vsize (Kb) 842448 [startup+790.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18618 4 1 0 74980 74 0 0 25 0 11 0 1852773312 862666752 32186 4294967295 134512640 134569956 3221224336 3221214584 1131476734 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 32186 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 750.54 Current children cumulated vsize (Kb) 842448 [startup+800.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18624 4 1 0 75943 75 0 0 25 0 11 0 1852773312 862666752 32262 4294967295 134512640 134569956 3221224336 3221214600 1131507504 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 32262 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 760.18 Current children cumulated vsize (Kb) 842448 [startup+810.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18629 4 1 0 76911 75 0 0 25 0 11 0 1852773312 862666752 32335 4294967295 134512640 134569956 3221224336 3221214560 1131453056 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 32335 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 769.86 Current children cumulated vsize (Kb) 842448 [startup+820.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18637 4 1 0 77859 76 0 0 20 0 11 0 1852773312 862666752 32503 4294967295 134512640 134569956 3221224336 3221214604 1131515168 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 32503 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 779.35 Current children cumulated vsize (Kb) 842448 [startup+830.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18643 4 1 0 78822 76 0 0 25 0 11 0 1852773312 862666752 32521 4294967295 134512640 134569956 3221224336 3221214408 1131452521 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 32521 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 788.98 Current children cumulated vsize (Kb) 842448 [startup+840.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18649 4 1 0 79783 76 0 0 17 0 11 0 1852773312 862666752 32580 4294967295 134512640 134569956 3221224336 3221214284 1131735584 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 32580 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 798.59 Current children cumulated vsize (Kb) 842448 [startup+850.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18657 4 1 0 80729 77 0 0 20 0 11 0 1852773312 862666752 32686 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 32686 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 808.06 Current children cumulated vsize (Kb) 842448 [startup+860.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18664 4 1 0 81685 77 0 0 25 0 11 0 1852773312 862666752 32838 4294967295 134512640 134569956 3221224336 3221214648 1131518392 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 32838 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 817.62 Current children cumulated vsize (Kb) 842448 [startup+870.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18670 4 1 0 82646 77 0 0 25 0 11 0 1852773312 862666752 32892 4294967295 134512640 134569956 3221224336 3221214400 1131735973 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 32892 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 827.23 Current children cumulated vsize (Kb) 842448 [startup+880.076 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18679 4 1 0 83593 77 0 0 25 0 11 0 1852773312 862666752 33043 4294967295 134512640 134569956 3221224336 3221214648 1131520772 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 33043 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 836.7 Current children cumulated vsize (Kb) 842448 [startup+890.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18687 4 1 0 84550 78 0 0 24 0 11 0 1852773312 862666752 33119 4294967295 134512640 134569956 3221224336 3221214600 1131507597 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 33119 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 846.28 Current children cumulated vsize (Kb) 842448 [startup+900.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18693 4 1 0 85520 78 0 0 25 0 11 0 1852773312 862666752 33207 4294967295 134512640 134569956 3221224336 3221214608 1131484707 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 33207 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 855.98 Current children cumulated vsize (Kb) 842448 [startup+910.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18698 4 1 0 86499 78 0 0 25 0 11 0 1852773312 862666752 33278 4294967295 134512640 134569956 3221224336 3221214712 1131541820 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 33278 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 865.77 Current children cumulated vsize (Kb) 842448 [startup+920.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18705 4 1 0 87470 78 0 0 25 0 11 0 1852773312 862666752 33325 4294967295 134512640 134569956 3221224336 3221214504 1131428941 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 33325 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 875.48 Current children cumulated vsize (Kb) 842448 [startup+930.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18713 4 1 0 88430 79 0 0 25 0 11 0 1852773312 862666752 33375 4294967295 134512640 134569956 3221224336 3221214472 1131400252 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 33375 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 885.09 Current children cumulated vsize (Kb) 842448 [startup+940.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18720 4 1 0 89390 79 0 0 25 0 11 0 1852773312 862666752 33432 4294967295 134512640 134569956 3221224336 3221214560 1131452257 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 33432 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 894.69 Current children cumulated vsize (Kb) 842448 [startup+950.081 s] Raw data (loadavg): 1.08 1.02 1.01 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18727 4 1 0 90348 79 0 0 16 0 11 0 1852773312 862666752 33433 4294967295 134512640 134569956 3221224336 3221214720 1131541808 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 33433 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 904.27 Current children cumulated vsize (Kb) 842448 [startup+960.083 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18735 4 1 0 91299 79 0 0 25 0 11 0 1852773312 862666752 33535 4294967295 134512640 134569956 3221224336 3221214608 1131484761 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 33535 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 913.78 Current children cumulated vsize (Kb) 842448 [startup+970.084 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18739 4 1 0 92276 79 0 0 25 0 11 0 1852773312 862666752 33578 4294967295 134512640 134569956 3221224336 3221214496 1131603075 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 33578 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 923.55 Current children cumulated vsize (Kb) 842448 [startup+980.084 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18744 4 1 0 93250 80 0 0 20 0 11 0 1852773312 862666752 33728 4294967295 134512640 134569956 3221224336 3221214560 1131452193 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 33728 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 933.3 Current children cumulated vsize (Kb) 842448 [startup+990.086 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18751 4 1 0 94221 80 0 0 24 0 11 0 1852773312 862666752 33806 4294967295 134512640 134569956 3221224336 3221214560 1131452234 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 33806 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 943.01 Current children cumulated vsize (Kb) 842448 [startup+1000.09 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18757 4 1 0 95193 80 0 0 25 0 11 0 1852773312 862666752 33844 4294967295 134512640 134569956 3221224336 3221214504 1131428941 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 33844 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 952.73 Current children cumulated vsize (Kb) 842448 [startup+1010.09 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18765 4 1 0 96156 81 0 0 17 0 11 0 1852773312 862666752 33883 4294967295 134512640 134569956 3221224336 3221214560 1131452775 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 33883 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 962.37 Current children cumulated vsize (Kb) 842448 [startup+1020.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18772 4 1 0 97118 81 0 0 16 0 11 0 1852773312 862666752 33914 4294967295 134512640 134569956 3221224336 3221214560 1131452817 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 33914 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 971.99 Current children cumulated vsize (Kb) 842448 [startup+1030.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18777 4 1 0 98086 81 0 0 25 0 11 0 1852773312 862666752 33960 4294967295 134512640 134569956 3221224336 3221214648 1131518268 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 33960 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 981.67 Current children cumulated vsize (Kb) 842448 [startup+1040.09 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18784 4 1 0 99035 82 0 0 16 0 11 0 1852773312 862666752 34037 4294967295 134512640 134569956 3221224336 3221214616 1131428941 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 34037 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 991.17 Current children cumulated vsize (Kb) 842448 [startup+1050.24 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18790 4 1 0 100002 82 0 0 17 0 11 0 1852773312 862666752 34112 4294967295 134512640 134569956 3221224336 3221214560 1131452193 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 34112 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1000.84 Current children cumulated vsize (Kb) 842448 [startup+1060.24 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18795 4 1 0 100959 82 0 0 25 0 11 0 1852773312 862666752 34159 4294967295 134512640 134569956 3221224336 3221214560 1131452564 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 34159 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1010.41 Current children cumulated vsize (Kb) 842448 [startup+1070.24 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18802 4 1 0 101901 82 0 0 25 0 11 0 1852773312 862666752 34258 4294967295 134512640 134569956 3221224336 3221214648 1131517322 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 34258 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1019.83 Current children cumulated vsize (Kb) 842448 [startup+1080.24 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18807 4 1 0 102859 82 0 0 20 0 11 0 1852773312 862666752 34357 4294967295 134512640 134569956 3221224336 3221214648 1131517322 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 34357 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1029.41 Current children cumulated vsize (Kb) 842448 [startup+1090.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18812 4 1 0 103820 83 0 0 25 0 11 0 1852773312 862666752 34480 4294967295 134512640 134569956 3221224336 3221214560 1131452222 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 34480 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1039.03 Current children cumulated vsize (Kb) 842448 [startup+1100.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18819 4 1 0 104768 83 0 0 19 0 11 0 1852773312 862666752 34651 4294967295 134512640 134569956 3221224336 3221214504 1131429241 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 34651 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1048.51 Current children cumulated vsize (Kb) 842448 [startup+1110.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18825 4 1 0 105727 83 0 0 25 0 11 0 1852773312 862666752 34742 4294967295 134512640 134569956 3221224336 3221214496 1131602479 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 34742 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1058.1 Current children cumulated vsize (Kb) 842448 [startup+1120.24 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18830 4 1 0 106690 83 0 0 25 0 11 0 1852773312 862666752 34820 4294967295 134512640 134569956 3221224336 3221214648 1131517257 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 34820 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1067.73 Current children cumulated vsize (Kb) 842448 [startup+1130.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18837 4 1 0 107633 83 0 0 25 0 11 0 1852773312 862666752 34883 4294967295 134512640 134569956 3221224336 3221214496 1131602486 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 34883 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1077.16 Current children cumulated vsize (Kb) 842448 [startup+1140.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18841 4 1 0 108598 84 0 0 25 0 11 0 1852773312 862666752 34966 4294967295 134512640 134569956 3221224336 3221214496 1131429024 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 34966 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1086.82 Current children cumulated vsize (Kb) 842448 [startup+1150.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18846 4 1 0 109558 84 0 0 25 0 11 0 1852773312 862666752 35050 4294967295 134512640 134569956 3221224336 3221214560 1131452882 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 35050 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1096.42 Current children cumulated vsize (Kb) 842448 [startup+1160.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18853 4 1 0 110502 84 0 0 24 0 11 0 1852773312 862666752 35141 4294967295 134512640 134569956 3221224336 3221214576 1131515329 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 35141 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1105.86 Current children cumulated vsize (Kb) 842448 [startup+1170.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18858 4 1 0 111463 84 0 0 25 0 11 0 1852773312 862666752 35241 4294967295 134512640 134569956 3221224336 3221214496 1131603845 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 35241 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1115.47 Current children cumulated vsize (Kb) 842448 [startup+1180.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18863 4 1 0 112426 84 0 0 23 0 11 0 1852773312 862666752 35373 4294967295 134512640 134569956 3221224336 3221214648 1131517331 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 35373 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1125.1 Current children cumulated vsize (Kb) 842448 [startup+1190.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18869 4 1 0 113380 84 0 0 21 0 11 0 1852773312 862666752 35505 4294967295 134512640 134569956 3221224336 3221214312 1076478361 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 35505 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1134.64 Current children cumulated vsize (Kb) 842448 [startup+1200.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18873 4 1 0 114348 84 0 0 25 0 11 0 1852773312 862666752 35533 4294967295 134512640 134569956 3221224336 3221214648 1131517322 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 35533 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1144.32 Current children cumulated vsize (Kb) 842448 [startup+1210.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18878 4 1 0 115309 84 0 0 23 0 11 0 1852773312 862666752 35662 4294967295 134512640 134569956 3221224336 3221214584 1131476722 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 35662 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1153.93 Current children cumulated vsize (Kb) 842448 [startup+1220.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18884 4 1 0 116264 84 0 0 17 0 11 0 1852773312 862666752 35685 4294967295 134512640 134569956 3221224336 3221214472 1131400860 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 35685 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1163.48 Current children cumulated vsize (Kb) 842448 [startup+1230.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18889 4 1 0 117226 85 0 0 25 0 11 0 1852773312 862666752 35748 4294967295 134512640 134569956 3221224336 3221214648 1131517204 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 35748 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1173.11 Current children cumulated vsize (Kb) 842448 [startup+1240.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18895 4 1 0 118180 85 0 0 25 0 11 0 1852773312 862666752 35864 4294967295 134512640 134569956 3221224336 3221214392 1131737537 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 35864 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1182.65 Current children cumulated vsize (Kb) 842448 [startup+1250.25 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18899 4 1 0 119154 85 0 0 25 0 11 0 1852773312 862666752 36063 4294967295 134512640 134569956 3221224336 3221214496 1131463793 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25518/statm): 210612 36063 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1192.39 Current children cumulated vsize (Kb) 842448 [startup+1260.26 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18906 4 1 0 120110 86 0 0 25 0 11 0 1852773312 862666752 36118 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 36118 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1201.96 Current children cumulated vsize (Kb) 842448 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1260.26 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25529 Raw data (/proc/25518/stat): 25518 (java) R 25517 25518 5245 0 -1 0 18906 4 1 0 120110 86 0 0 25 0 11 0 1852773312 862666752 36118 4294967295 134512640 134569956 3221224336 3221214560 1131452641 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25518/statm): 210612 36118 13129 16 0 210596 0 [pid=25518] vsize: 842448 Current children cumulated CPU time (s) 1201.96 Current children cumulated vsize (Kb) 842448 Sending SIGTERM to -25518 Sleeping 2 seconds New thread pid=25531 New thread pid=25532 One traced child (pid=25532) exited with status: 0 One traced child (pid=25527) exited with status: 0 One traced child (pid=25522) exited with status: 0 One traced child (pid=25519) exited with status: 143 One traced child (pid=25520) exited with status: 143 One traced child (pid=25521) exited with status: 143 One traced child (pid=25526) exited with status: 143 One traced child (pid=25523) exited with status: 143 One traced child (pid=25525) exited with status: 143 One traced child (pid=25529) exited with status: 143 One traced child (pid=25524) exited with status: 143 One traced child (pid=25531) exited with status: 143 One traced child (pid=25518) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1260.59 CPU time (s): 1268.85 CPU user time (s): 1267.03 CPU system time (s): 1.81472 CPU usage (%): 100.655 Max. virtual memory (cumulated for all children) (Kb): 847340
Verifier: OK 1022