Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb |
MD5SUM | 581d778a36086562107993896110e0a2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 361 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.05 |
Number of variables | 319 |
Total number of constraints | 325 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 319 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 231 |
LAUNCH ON wulflinc30 THE 2005-09-20 19:47:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6918 boxname=wulflinc30 idbench=1058 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 581d778a36086562107993896110e0a2 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-mod008.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-mod008.opb IDLAUNCH: 6918 /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: 837484 kB Buffers: 35104 kB Cached: 132140 kB SwapCached: 784 kB Active: 90788 kB Inactive: 79192 kB HighTotal: 131008 kB HighFree: 10640 kB LowTotal: 903652 kB LowFree: 826844 kB SwapTotal: 2097892 kB SwapFree: 2096640 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5792 kB Slab: 21548 kB Committed_AS: 64308 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 20:07:56 (client local time) WITH STATUS 143 IN 1258.5 SECONDS stats: 6918 0 1258.5 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-13-7-mod008.opb c reading problem ... done. Time 0.838 ms. c #vars 319 c #constraints 6 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 696 Current CPU time: 1.29 ms c CURRENT OPTIMUM= 609 Current CPU time: 8.53 ms c CURRENT OPTIMUM= 585 Current CPU time: 31.07 ms c CURRENT OPTIMUM= 535 Current CPU time: 56.44 ms c CURRENT OPTIMUM= 514 Current CPU time: 59.81 ms c CURRENT OPTIMUM= 506 Current CPU time: 63.20 ms c CURRENT OPTIMUM= 503 Current CPU time: 91.99 ms c CURRENT OPTIMUM= 496 Current CPU time: 126.89 ms c CURRENT OPTIMUM= 492 Current CPU time: 169.02 ms c CURRENT OPTIMUM= 478 Current CPU time: 254.53 ms c CURRENT OPTIMUM= 455 Current CPU time: 321.44 ms c CURRENT OPTIMUM= 419 Current CPU time: 330.32 ms c CURRENT OPTIMUM= 414 Current CPU time: 357.53 ms c CURRENT OPTIMUM= 385 Current CPU time: 570.01 ms c CURRENT OPTIMUM= 378 Current CPU time: 643.28 ms c CURRENT OPTIMUM= 369 Current CPU time: 799.35 ms c CURRENT OPTIMUM= 368 Current CPU time: 978.32 ms c starts : 31 c conflicts : 1810 c decisions : 15944 c propagations : 31177 c inspects : 811407 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 1809 c root simplifications : 31 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 15348 c speed (decisions/second) : 58.93485525031789 c non guided choices 5269 c random choices 0 s SATISFIABLE v -C2_0x2e__bit0 C3_0x2e__bit0 -C4_0x2e__bit0 -C5_0x2e__bit0 -C6_0x2e__bit0 C7_0x2e__bit0 -C8_0x2e__bit0 -C9_0x2e__bit0 -C10_0x2e__bit0 -C11_0x2e__bit0 -C12_0x2e__bit0 -C13_0x2e__bit0 -C14_0x2e__bit0 -C15_0x2e__bit0 -C16_0x2e__bit0 -C17_0x2e__bit0 -C18_0x2e__bit0 -C19_0x2e__bit0 -C20_0x2e__bit0 -C21_0x2e__bit0 -C22_0x2e__bit0 -C23_0x2e__bit0 -C24_0x2e__bit0 -C25_0x2e__bit0 -C26_0x2e__bit0 -C27_0x2e__bit0 -C28_0x2e__bit0 -C29_0x2e__bit0 -C30_0x2e__bit0 -C31_0x2e__bit0 -C32_0x2e__bit0 -C33_0x2e__bit0 -C34_0x2e__bit0 -C35_0x2e__bit0 -C36_0x2e__bit0 -C37_0x2e__bit0 -C38_0x2e__bit0 -C39_0x2e__bit0 -C40_0x2e__bit0 -C41_0x2e__bit0 -C42_0x2e__bit0 -C43_0x2e__bit0 -C44_0x2e__bit0 -C45_0x2e__bit0 -C46_0x2e__bit0 -C47_0x2e__bit0 -C48_0x2e__bit0 -C49_0x2e__bit0 -C50_0x2e__bit0 -C51_0x2e__bit0 -C52_0x2e__bit0 -C53_0x2e__bit0 -C54_0x2e__bit0 -C55_0x2e__bit0 -C56_0x2e__bit0 -C57_0x2e__bit0 -C58_0x2e__bit0 -C59_0x2e__bit0 -C60_0x2e__bit0 C61_0x2e__bit0 -C62_0x2e__bit0 -C63_0x2e__bit0 -C64_0x2e__bit0 -C65_0x2e__bit0 -C66_0x2e__bit0 -C67_0x2e__bit0 -C68_0x2e__bit0 -C69_0x2e__bit0 C70_0x2e__bit0 -C71_0x2e__bit0 -C72_0x2e__bit0 -C73_0x2e__bit0 -C74_0x2e__bit0 -C75_0x2e__bit0 -C76_0x2e__bit0 -C77_0x2e__bit0 -C78_0x2e__bit0 -C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 -C82_0x2e__bit0 -C83_0x2e__bit0 -C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 -C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 -C90_0x2e__bit0 -C91_0x2e__bit0 -C92_0x2e__bit0 -C93_0x2e__bit0 -C94_0x2e__bit0 -C95_0x2e__bit0 -C96_0x2e__bit0 -C97_0x2e__bit0 -C98_0x2e__bit0 -C99_0x2e__bit0 -C100_0x2e__bit0 -C101_0x2e__bit0 -C102_0x2e__bit0 -C103_0x2e__bit0 -C104_0x2e__bit0 -C105_0x2e__bit0 -C106_0x2e__bit0 -C107_0x2e__bit0 -C108_0x2e__bit0 -C109_0x2e__bit0 -C110_0x2e__bit0 -C111_0x2e__bit0 -C112_0x2e__bit0 -C113_0x2e__bit0 -C114_0x2e__bit0 -C115_0x2e__bit0 -C116_0x2e__bit0 -C117_0x2e__bit0 -C118_0x2e__bit0 -C119_0x2e__bit0 -C120_0x2e__bit0 -C121_0x2e__bit0 -C122_0x2e__bit0 C123_0x2e__bit0 -C124_0x2e__bit0 -C125_0x2e__bit0 -C126_0x2e__bit0 -C127_0x2e__bit0 -C128_0x2e__bit0 -C129_0x2e__bit0 -C130_0x2e__bit0 -C131_0x2e__bit0 -C132_0x2e__bit0 -C133_0x2e__bit0 -C134_0x2e__bit0 -C135_0x2e__bit0 -C136_0x2e__bit0 -C137_0x2e__bit0 -C138_0x2e__bit0 -C139_0x2e__bit0 -C140_0x2e__bit0 -C141_0x2e__bit0 -C142_0x2e__bit0 -C143_0x2e__bit0 -C144_0x2e__bit0 -C145_0x2e__bit0 -C146_0x2e__bit0 -C147_0x2e__bit0 -C148_0x2e__bit0 -C149_0x2e__bit0 -C150_0x2e__bit0 -C151_0x2e__bit0 -C152_0x2e__bit0 -C153_0x2e__bit0 -C154_0x2e__bit0 -C155_0x2e__bit0 -C156_0x2e__bit0 -C157_0x2e__bit0 -C158_0x2e__bit0 -C159_0x2e__bit0 -C160_0x2e__bit0 -C161_0x2e__bit0 -C162_0x2e__bit0 -C163_0x2e__bit0 -C164_0x2e__bit0 -C165_0x2e__bit0 -C166_0x2e__bit0 -C167_0x2e__bit0 C168_0x2e__bit0 -C169_0x2e__bit0 -C170_0x2e__bit0 -C171_0x2e__bit0 -C172_0x2e__bit0 -C173_0x2e__bit0 -C174_0x2e__bit0 -C175_0x2e__bit0 -C176_0x2e__bit0 -C177_0x2e__bit0 -C178_0x2e__bit0 -C179_0x2e__bit0 -C180_0x2e__bit0 -C181_0x2e__bit0 -C182_0x2e__bit0 -C183_0x2e__bit0 -C184_0x2e__bit0 -C185_0x2e__bit0 -C186_0x2e__bit0 -C187_0x2e__bit0 -C188_0x2e__bit0 -C189_0x2e__bit0 -C190_0x2e__bit0 -C191_0x2e__bit0 -C192_0x2e__bit0 -C193_0x2e__bit0 -C194_0x2e__bit0 -C195_0x2e__bit0 -C196_0x2e__bit0 -C197_0x2e__bit0 -C198_0x2e__bit0 -C199_0x2e__bit0 -C200_0x2e__bit0 -C201_0x2e__bit0 -C202_0x2e__bit0 -C203_0x2e__bit0 -C204_0x2e__bit0 -C205_0x2e__bit0 -C206_0x2e__bit0 -C207_0x2e__bit0 -C208_0x2e__bit0 -C209_0x2e__bit0 -C210_0x2e__bit0 -C211_0x2e__bit0 -C212_0x2e__bit0 -C213_0x2e__bit0 -C214_0x2e__bit0 -C215_0x2e__bit0 -C216_0x2e__bit0 -C217_0x2e__bit0 -C218_0x2e__bit0 -C219_0x2e__bit0 -C220_0x2e__bit0 -C221_0x2e__bit0 -C222_0x2e__bit0 -C223_0x2e__bit0 -C224_0x2e__bit0 -C225_0x2e__bit0 -C226_0x2e__bit0 -C227_0x2e__bit0 -C228_0x2e__bit0 -C229_0x2e__bit0 -C230_0x2e__bit0 -C231_0x2e__bit0 -C232_0x2e__bit0 -C233_0x2e__bit0 -C234_0x2e__bit0 -C235_0x2e__bit0 -C236_0x2e__bit0 -C237_0x2e__bit0 -C238_0x2e__bit0 -C239_0x2e__bit0 -C240_0x2e__bit0 -C241_0x2e__bit0 -C242_0x2e__bit0 -C243_0x2e__bit0 -C244_0x2e__bit0 -C245_0x2e__bit0 -C246_0x2e__bit0 -C247_0x2e__bit0 -C248_0x2e__bit0 -C249_0x2e__bit0 -C250_0x2e__bit0 -C251_0x2e__bit0 -C252_0x2e__bit0 -C253_0x2e__bit0 -C254_0x2e__bit0 -C255_0x2e__bit0 -C256_0x2e__bit0 -C257_0x2e__bit0 -C258_0x2e__bit0 -C259_0x2e__bit0 -C260_0x2e__bit0 -C261_0x2e__bit0 -C262_0x2e__bit0 -C263_0x2e__bit0 -C264_0x2e__bit0 -C265_0x2e__bit0 -C266_0x2e__bit0 -C267_0x2e__bit0 -C268_0x2e__bit0 -C269_0x2e__bit0 -C270_0x2e__bit0 -C271_0x2e__bit0 -C272_0x2e__bit0 -C273_0x2e__bit0 -C274_0x2e__bit0 -C275_0x2e__bit0 -C276_0x2e__bit0 -C277_0x2e__bit0 -C278_0x2e__bit0 -C279_0x2e__bit0 -C280_0x2e__bit0 -C281_0x2e__bit0 -C282_0x2e__bit0 -C283_0x2e__bit0 -C284_0x2e__bit0 -C285_0x2e__bit0 -C286_0x2e__bit0 -C287_0x2e__bit0 -C288_0x2e__bit0 -C289_0x2e__bit0 -C290_0x2e__bit0 -C291_0x2e__bit0 -C292_0x2e__bit0 -C293_0x2e__bit0 -C294_0x2e__bit0 -C295_0x2e__bit0 -C296_0x2e__bit0 -C297_0x2e__bit0 -C298_0x2e__bit0 -C299_0x2e__bit0 -C300_0x2e__bit0 -C301_0x2e__bit0 -C302_0x2e__bit0 -C303_0x2e__bit0 -C304_0x2e__bit0 -C305_0x2e__bit0 -C306_0x2e__bit0 -C307_0x2e__bit0 -C308_0x2e__bit0 -C309_0x2e__bit0 -C310_0x2e__bit0 -C311_0x2e__bit0 -C312_0x2e__bit0 -C313_0x2e__bit0 -C314_0x2e__bit0 -C315_0x2e__bit0 -C316_0x2e__bit0 -C317_0x2e__bit0 -C318_0x2e__bit0 -C319_0x2e__bit0 -C320_0x2e__bit0 c objective function=368 c Total CPU time (ms) : 1249.011
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/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1861158151 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 39 6 38 16 0 23 0 [pid=14805] 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/14805 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=14806 New thread pid=14807 New thread pid=14808 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=14809 New thread pid=14810 New thread pid=14811 New thread pid=14812 New thread pid=14813 New thread pid=14814 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-13-7-mod008.opb New thread pid=14815 One traced child (pid=14815) exited with status: 0 New thread pid=14816 One traced child (pid=14816) exited with status: 0 New thread pid=14817 [startup+10.0052 s] Raw data (loadavg): 1.08 1.02 1.00 3/66 14817 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18206 4 1 0 809 47 0 0 18 0 11 0 1861158151 857399296 19745 4294967295 134512640 134569956 3221224336 3221213636 1073952732 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209326 19745 13129 16 0 209310 0 [pid=14805] vsize: 837304 Current children cumulated CPU time (s) 8.56 Current children cumulated vsize (Kb) 837304 [startup+20.0054 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 14817 Raw data (/proc/14805/stat): 14805 (java) S 14804 14805 5245 0 -1 0 18213 4 1 0 1780 47 0 0 25 0 11 0 1861158151 859688960 20705 4294967295 134512640 134569956 3221224336 3221213144 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209885 20705 13129 16 0 209869 0 [pid=14805] vsize: 839540 Current children cumulated CPU time (s) 18.27 Current children cumulated vsize (Kb) 839540 [startup+30.0062 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 14817 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18218 4 1 0 2741 47 0 0 25 0 11 0 1861158151 859688960 21207 4294967295 134512640 134569956 3221224336 3221214256 1078903597 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209885 21207 13129 16 0 209869 0 [pid=14805] vsize: 839540 Current children cumulated CPU time (s) 27.88 Current children cumulated vsize (Kb) 839540 One traced child (pid=14817) exited with status: 0 New thread pid=14818 [startup+40.006 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 14818 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18224 4 1 0 3691 47 0 0 25 0 11 0 1861158151 859111424 21676 4294967295 134512640 134569956 3221224336 3221214616 1131512002 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 21676 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 37.38 Current children cumulated vsize (Kb) 838976 [startup+50.0068 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 14818 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18229 4 1 0 4645 48 0 0 25 0 11 0 1861158151 859111424 21767 4294967295 134512640 134569956 3221224336 3221214512 1131421142 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 21767 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 46.93 Current children cumulated vsize (Kb) 838976 One traced child (pid=14818) exited with status: 0 New thread pid=14819 [startup+60.0076 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 14819 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18234 4 1 0 5595 48 0 0 25 0 11 0 1861158151 859111424 21924 4294967295 134512640 134569956 3221224336 3221214632 1131364404 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 21924 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 56.43 Current children cumulated vsize (Kb) 838976 One traced child (pid=14819) exited with status: 0 New thread pid=14820 One traced child (pid=14820) exited with status: 0 New thread pid=14821 [startup+70.0074 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 14821 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18242 4 1 0 6531 49 0 0 20 0 11 0 1861158151 859111424 22173 4294967295 134512640 134569956 3221224336 3221214528 1131420100 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 22173 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 65.8 Current children cumulated vsize (Kb) 838976 [startup+80.0082 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 14821 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18248 4 1 0 7470 49 0 0 18 0 11 0 1861158151 859111424 22389 4294967295 134512640 134569956 3221224336 3221214584 1131393641 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 22389 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 75.19 Current children cumulated vsize (Kb) 838976 [startup+90.009 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 14821 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18254 4 1 0 8407 49 0 0 17 0 11 0 1861158151 859111424 22630 4294967295 134512640 134569956 3221224336 3221214720 1131360172 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 22630 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 84.56 Current children cumulated vsize (Kb) 838976 One traced child (pid=14821) exited with status: 0 New thread pid=14822 [startup+100.01 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 14822 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18259 4 1 0 9355 49 0 0 22 0 11 0 1861158151 859111424 22808 4294967295 134512640 134569956 3221224336 3221214756 1131360477 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 22808 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 94.04 Current children cumulated vsize (Kb) 838976 [startup+110.011 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 14822 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18266 4 1 0 10294 50 0 0 17 0 11 0 1861158151 859111424 22954 4294967295 134512640 134569956 3221224336 3221214632 1131364349 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 22954 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 103.44 Current children cumulated vsize (Kb) 838976 [startup+120.011 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 14822 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18272 4 1 0 11233 50 0 0 17 0 11 0 1861158151 859111424 23160 4294967295 134512640 134569956 3221224336 3221214504 1131395256 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 23160 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 112.83 Current children cumulated vsize (Kb) 838976 One traced child (pid=14822) exited with status: 0 New thread pid=14823 [startup+130.012 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 14823 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18278 4 1 0 12183 50 0 0 25 0 11 0 1861158151 859111424 23296 4294967295 134512640 134569956 3221224336 3221214616 1131386650 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 23296 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 122.33 Current children cumulated vsize (Kb) 838976 [startup+140.012 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 14823 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18284 4 1 0 13124 51 0 0 25 0 11 0 1861158151 859111424 23437 4294967295 134512640 134569956 3221224336 3221214548 1131057186 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 23437 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 131.75 Current children cumulated vsize (Kb) 838976 [startup+150.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 14823 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18290 4 1 0 14065 51 0 0 25 0 11 0 1861158151 859111424 23651 4294967295 134512640 134569956 3221224336 3221214616 1131390412 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 23651 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 141.16 Current children cumulated vsize (Kb) 838976 [startup+160.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14823 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18296 4 1 0 15006 51 0 0 25 0 11 0 1861158151 859111424 23837 4294967295 134512640 134569956 3221224336 3221214336 1131614826 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 23837 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 150.57 Current children cumulated vsize (Kb) 838976 [startup+170.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14823 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18302 4 1 0 15949 52 0 0 25 0 11 0 1861158151 859111424 24013 4294967295 134512640 134569956 3221224336 3221214168 1131571311 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 24013 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 838976 One traced child (pid=14823) exited with status: 0 New thread pid=14824 [startup+180.014 s] Raw data (loadavg): 1.08 1.02 1.00 2/66 14824 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18308 4 1 0 16897 52 0 1 25 0 11 0 1861158151 859111424 24179 4294967295 134512640 134569956 3221224336 3221214720 1131360296 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 24179 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 169.5 Current children cumulated vsize (Kb) 838976 [startup+190.015 s] Raw data (loadavg): 1.06 1.02 1.00 2/66 14824 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18314 4 1 0 17843 53 0 1 25 0 11 0 1861158151 859111424 24293 4294967295 134512640 134569956 3221224336 3221214504 1131395118 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 24293 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 178.97 Current children cumulated vsize (Kb) 838976 [startup+200.016 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 14824 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18320 4 1 0 18788 53 0 1 25 0 11 0 1861158151 859111424 24473 4294967295 134512640 134569956 3221224336 3221214736 1131384454 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 24473 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 188.42 Current children cumulated vsize (Kb) 838976 [startup+210.017 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 14824 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18325 4 1 0 19743 53 0 1 25 0 11 0 1861158151 859111424 24670 4294967295 134512640 134569956 3221224336 3221214296 1131573908 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 24670 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 197.97 Current children cumulated vsize (Kb) 838976 [startup+220.017 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 14824 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18330 4 1 0 20701 53 0 1 25 0 11 0 1861158151 859111424 24786 4294967295 134512640 134569956 3221224336 3221214616 1131390371 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 24786 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 207.55 Current children cumulated vsize (Kb) 838976 [startup+230.018 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 14824 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18335 4 1 0 21655 53 0 1 25 0 11 0 1861158151 859111424 24824 4294967295 134512640 134569956 3221224336 3221214504 1131395256 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 24824 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 217.09 Current children cumulated vsize (Kb) 838976 [startup+240.019 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 14824 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18341 4 1 0 22603 54 0 1 25 0 11 0 1861158151 859111424 24996 4294967295 134512640 134569956 3221224336 3221214512 1131420220 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 24996 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 226.58 Current children cumulated vsize (Kb) 838976 [startup+250.021 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 14824 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18347 4 1 0 23564 55 0 1 25 0 11 0 1861158151 859111424 25181 4294967295 134512640 134569956 3221224336 3221214552 1131369369 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 25181 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 236.2 Current children cumulated vsize (Kb) 838976 One traced child (pid=14824) exited with status: 0 New thread pid=14825 [startup+260.022 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 14825 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18353 4 1 0 24539 55 0 1 25 0 11 0 1861158151 859111424 25315 4294967295 134512640 134569956 3221224336 3221214480 1131616662 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 25315 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 245.95 Current children cumulated vsize (Kb) 838976 [startup+270.021 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 14825 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18359 4 1 0 25508 56 0 1 25 0 11 0 1861158151 859111424 25450 4294967295 134512640 134569956 3221224336 3221214512 1131420149 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 25450 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 255.65 Current children cumulated vsize (Kb) 838976 [startup+280.022 s] Raw data (loadavg): 1.09 1.02 1.00 2/66 14825 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18366 4 1 0 26473 56 0 1 24 0 11 0 1861158151 859111424 25643 4294967295 134512640 134569956 3221224336 3221214344 1131615284 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 25643 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 265.3 Current children cumulated vsize (Kb) 838976 [startup+290.025 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 14825 Raw data (/proc/14805/stat): 14805 (java) S 14804 14805 5245 0 -1 0 18372 4 1 0 27444 57 0 1 25 0 11 0 1861158151 859111424 25643 4294967295 134512640 134569956 3221224336 3221213112 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 25643 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 275.02 Current children cumulated vsize (Kb) 838976 [startup+300.026 s] Raw data (loadavg): 1.06 1.02 1.00 2/66 14825 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18377 4 1 0 28405 57 0 1 25 0 11 0 1861158151 859111424 25643 4294967295 134512640 134569956 3221224336 3221214504 1131395435 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 25643 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 284.63 Current children cumulated vsize (Kb) 838976 [startup+310.026 s] Raw data (loadavg): 1.05 1.02 1.00 2/66 14825 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18383 4 1 0 29364 57 0 1 18 0 11 0 1861158151 859111424 25672 4294967295 134512640 134569956 3221224336 3221214584 1131393718 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 25672 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 294.22 Current children cumulated vsize (Kb) 838976 [startup+320.026 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 14825 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18387 4 1 0 30337 58 0 1 25 0 11 0 1861158151 859111424 25771 4294967295 134512640 134569956 3221224336 3221214496 1131490996 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 25771 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 303.96 Current children cumulated vsize (Kb) 838976 One traced child (pid=14825) exited with status: 0 New thread pid=14826 [startup+330.027 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 14826 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18393 4 1 0 31301 58 0 1 25 0 11 0 1861158151 859111424 25940 4294967295 134512640 134569956 3221224336 3221214616 1131390377 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 25940 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 313.6 Current children cumulated vsize (Kb) 838976 One traced child (pid=14826) exited with status: 0 New thread pid=14827 [startup+340.028 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 14827 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18398 4 1 0 32274 59 0 1 25 0 11 0 1861158151 859111424 26059 4294967295 134512640 134569956 3221224336 3221214612 1131388329 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 26059 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 323.34 Current children cumulated vsize (Kb) 838976 [startup+350.029 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14827 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18403 4 1 0 33247 59 0 1 25 0 11 0 1861158151 859111424 26172 4294967295 134512640 134569956 3221224336 3221214576 1131392197 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 26172 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 333.07 Current children cumulated vsize (Kb) 838976 One traced child (pid=14827) exited with status: 0 New thread pid=14828 [startup+360.029 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18408 4 1 0 34219 60 0 1 25 0 11 0 1861158151 859111424 26248 4294967295 134512640 134569956 3221224336 3221214168 1131571117 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 26248 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 342.8 Current children cumulated vsize (Kb) 838976 [startup+370.029 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18412 4 1 0 35193 60 0 1 25 0 11 0 1861158151 859111424 26248 4294967295 134512640 134569956 3221224336 3221214512 1131395421 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 26248 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 352.54 Current children cumulated vsize (Kb) 838976 [startup+380.03 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18417 4 1 0 36151 60 0 1 25 0 11 0 1861158151 859111424 26283 4294967295 134512640 134569956 3221224336 3221214736 1131401311 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 26283 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 362.12 Current children cumulated vsize (Kb) 838976 [startup+390.031 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18422 4 1 0 37106 60 0 1 25 0 11 0 1861158151 859111424 26342 4294967295 134512640 134569956 3221224336 3221214592 1131388360 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 26342 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 371.67 Current children cumulated vsize (Kb) 838976 [startup+400.032 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) S 14804 14805 5245 0 -1 0 18426 4 1 0 38059 60 0 1 25 0 11 0 1861158151 859111424 26413 4294967295 134512640 134569956 3221224336 3221213464 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 26413 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 381.2 Current children cumulated vsize (Kb) 838976 [startup+410.032 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18433 4 1 0 39021 60 0 1 17 0 11 0 1861158151 859111424 26518 4294967295 134512640 134569956 3221224336 3221214424 1131419435 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 26518 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 390.82 Current children cumulated vsize (Kb) 838976 [startup+420.033 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18437 4 1 0 39984 61 0 1 25 0 11 0 1861158151 859111424 26621 4294967295 134512640 134569956 3221224336 3221214424 1131395277 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 26621 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 400.46 Current children cumulated vsize (Kb) 838976 [startup+430.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18444 4 1 0 40924 61 0 1 25 0 11 0 1861158151 859111424 26858 4294967295 134512640 134569956 3221224336 3221214520 1131415922 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 26858 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 409.86 Current children cumulated vsize (Kb) 838976 [startup+440.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18451 4 1 0 41884 61 0 1 23 0 11 0 1861158151 859111424 27063 4294967295 134512640 134569956 3221224336 3221214424 1131395400 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 27063 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 419.46 Current children cumulated vsize (Kb) 838976 [startup+450.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18456 4 1 0 42862 62 0 1 25 0 11 0 1861158151 859111424 27207 4294967295 134512640 134569956 3221224336 3221214504 1131388391 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 27207 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 429.25 Current children cumulated vsize (Kb) 838976 [startup+460.036 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18461 4 1 0 43846 62 0 1 25 0 11 0 1861158151 859111424 27321 4294967295 134512640 134569956 3221224336 3221214424 1131419392 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 27321 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 439.09 Current children cumulated vsize (Kb) 838976 [startup+470.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18467 4 1 0 44830 62 0 1 25 0 11 0 1861158151 859111424 27450 4294967295 134512640 134569956 3221224336 3221214424 1131395256 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 27450 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 448.93 Current children cumulated vsize (Kb) 838976 [startup+480.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18471 4 1 0 45819 62 0 1 25 0 11 0 1861158151 859111424 27468 4294967295 134512640 134569956 3221224336 3221214416 1131395277 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 27468 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 458.82 Current children cumulated vsize (Kb) 838976 [startup+490.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18476 4 1 0 46801 62 0 1 25 0 11 0 1861158151 859111424 27468 4294967295 134512640 134569956 3221224336 3221214232 1076478440 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 27468 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 468.64 Current children cumulated vsize (Kb) 838976 [startup+500.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18482 4 1 0 47774 62 0 1 25 0 11 0 1861158151 859111424 27468 4294967295 134512640 134569956 3221224336 3221214496 1131369369 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 27468 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 478.37 Current children cumulated vsize (Kb) 838976 [startup+510.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18488 4 1 0 48745 63 0 1 25 0 11 0 1861158151 859111424 27477 4294967295 134512640 134569956 3221224336 3221214672 1131356191 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 27477 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 488.09 Current children cumulated vsize (Kb) 838976 [startup+520.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18494 4 1 0 49713 63 0 1 25 0 11 0 1861158151 859111424 27521 4294967295 134512640 134569956 3221224336 3221214488 1131392199 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 27521 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 497.77 Current children cumulated vsize (Kb) 838976 [startup+530.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18499 4 1 0 50688 63 0 1 25 0 11 0 1861158151 859111424 27609 4294967295 134512640 134569956 3221224336 3221214416 1131395256 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 27609 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 507.52 Current children cumulated vsize (Kb) 838976 [startup+540.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18505 4 1 0 51659 64 0 1 17 0 11 0 1861158151 859111424 27712 4294967295 134512640 134569956 3221224336 3221214528 1131390339 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 27712 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 517.24 Current children cumulated vsize (Kb) 838976 [startup+550.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18510 4 1 0 52636 64 0 1 25 0 11 0 1861158151 859111424 27810 4294967295 134512640 134569956 3221224336 3221214416 1131395250 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 27810 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 527.01 Current children cumulated vsize (Kb) 838976 [startup+560.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18515 4 1 0 53614 64 0 1 25 0 11 0 1861158151 859111424 27843 4294967295 134512640 134569956 3221224336 3221214416 1131395256 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 27843 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 536.79 Current children cumulated vsize (Kb) 838976 [startup+570.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14828 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18521 4 1 0 54591 64 0 1 25 0 11 0 1861158151 859111424 27888 4294967295 134512640 134569956 3221224336 3221214424 1131419432 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 27888 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 546.56 Current children cumulated vsize (Kb) 838976 One traced child (pid=14828) exited with status: 0 New thread pid=14829 [startup+580.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14829 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18526 4 1 0 55566 65 0 1 25 0 11 0 1861158151 859111424 27922 4294967295 134512640 134569956 3221224336 3221214492 1131393732 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 27922 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 556.32 Current children cumulated vsize (Kb) 838976 [startup+590.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14829 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18531 4 1 0 56538 65 0 1 25 0 11 0 1861158151 859111424 27976 4294967295 134512640 134569956 3221224336 3221214592 1131364287 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 27976 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 566.04 Current children cumulated vsize (Kb) 838976 [startup+600.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14829 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18537 4 1 0 57501 65 0 1 25 0 11 0 1861158151 859111424 28080 4294967295 134512640 134569956 3221224336 3221214424 1131395118 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 28080 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 575.67 Current children cumulated vsize (Kb) 838976 [startup+610.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14829 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18541 4 1 0 58475 66 0 1 25 0 11 0 1861158151 859111424 28118 4294967295 134512640 134569956 3221224336 3221214264 1078035376 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 28118 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 585.42 Current children cumulated vsize (Kb) 838976 [startup+620.047 s] Raw data (loadavg): 1.00 1.00 1.00 1/66 14829 Raw data (/proc/14805/stat): 14805 (java) S 14804 14805 5245 0 -1 0 18545 4 1 0 59440 67 0 1 25 0 11 0 1861158151 859111424 28155 4294967295 134512640 134569956 3221224336 3221213096 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 28155 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 595.08 Current children cumulated vsize (Kb) 838976 [startup+630.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14829 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18550 4 1 0 60411 68 0 1 25 0 11 0 1861158151 859111424 28228 4294967295 134512640 134569956 3221224336 3221214672 1131353681 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 28228 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 604.8 Current children cumulated vsize (Kb) 838976 [startup+640.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14829 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18555 4 1 0 61375 68 0 1 25 0 11 0 1861158151 859111424 28295 4294967295 134512640 134569956 3221224336 3221214472 1131450320 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 28295 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 614.44 Current children cumulated vsize (Kb) 838976 One traced child (pid=14829) exited with status: 0 New thread pid=14830 [startup+650.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18560 4 1 0 62338 68 0 1 23 0 11 0 1861158151 859111424 28400 4294967295 134512640 134569956 3221224336 3221214256 1078137793 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 28400 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 624.07 Current children cumulated vsize (Kb) 838976 [startup+660.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18565 4 1 0 63304 68 0 1 16 0 11 0 1861158151 859111424 28528 4294967295 134512640 134569956 3221224336 3221214416 1131395180 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 28528 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 633.73 Current children cumulated vsize (Kb) 838976 [startup+670.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18570 4 1 0 64273 69 0 1 25 0 11 0 1861158151 859111424 28670 4294967295 134512640 134569956 3221224336 3221214492 1131393742 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 28670 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 643.43 Current children cumulated vsize (Kb) 838976 [startup+680.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18575 4 1 0 65245 69 0 1 24 0 11 0 1861158151 859111424 28757 4294967295 134512640 134569956 3221224336 3221214424 1131396016 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 28757 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 653.15 Current children cumulated vsize (Kb) 838976 [startup+690.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18580 4 1 0 66217 69 0 1 25 0 11 0 1861158151 859111424 28821 4294967295 134512640 134569956 3221224336 3221214672 1131353664 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 28821 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 662.87 Current children cumulated vsize (Kb) 838976 [startup+700.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18586 4 1 0 67183 70 0 1 25 0 11 0 1861158151 859111424 28962 4294967295 134512640 134569956 3221224336 3221214760 1131369369 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 28962 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 672.54 Current children cumulated vsize (Kb) 838976 [startup+710.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18592 4 1 0 68149 70 0 1 18 0 11 0 1861158151 859111424 29051 4294967295 134512640 134569956 3221224336 3221214672 1131353664 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 29051 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 682.2 Current children cumulated vsize (Kb) 838976 [startup+720.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18597 4 1 0 69117 70 0 1 25 0 11 0 1861158151 859111424 29109 4294967295 134512640 134569956 3221224336 3221214672 1131353761 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 29109 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 691.88 Current children cumulated vsize (Kb) 838976 [startup+730.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18602 4 1 0 70084 70 0 1 25 0 11 0 1861158151 859111424 29188 4294967295 134512640 134569956 3221224336 3221214416 1131395158 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 29188 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 701.55 Current children cumulated vsize (Kb) 838976 [startup+740.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18607 4 1 0 71052 70 0 1 25 0 11 0 1861158151 859111424 29229 4294967295 134512640 134569956 3221224336 3221214520 1131416043 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 29229 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 711.23 Current children cumulated vsize (Kb) 838976 [startup+750.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18614 4 1 0 72006 71 0 1 17 0 11 0 1861158151 859111424 29368 4294967295 134512640 134569956 3221224336 3221214504 1131388419 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 29368 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 720.78 Current children cumulated vsize (Kb) 838976 [startup+760.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18621 4 1 0 72972 71 0 1 24 0 11 0 1861158151 859111424 29527 4294967295 134512640 134569956 3221224336 3221214460 1131057201 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 29527 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 730.44 Current children cumulated vsize (Kb) 838976 [startup+770.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 14830 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18627 4 1 0 73953 71 0 1 20 0 11 0 1861158151 859111424 29651 4294967295 134512640 134569956 3221224336 3221214592 1131364404 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 29651 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 740.25 Current children cumulated vsize (Kb) 838976 [startup+780.059 s] Raw data (loadavg): 1.08 1.02 1.01 3/68 14838 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18633 4 1 0 74925 76 0 1 16 0 11 0 1861158151 859111424 29723 4294967295 134512640 134569956 3221224336 3221214512 1131395186 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 29723 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 750.02 Current children cumulated vsize (Kb) 838976 [startup+790.061 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 14885 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18639 4 1 0 75897 76 0 1 20 0 11 0 1861158151 859111424 29836 4294967295 134512640 134569956 3221224336 3221214616 1131390339 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 29836 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 759.74 Current children cumulated vsize (Kb) 838976 [startup+800.062 s] Raw data (loadavg): 1.14 1.03 1.01 2/66 14885 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18644 4 1 0 76876 76 0 1 25 0 11 0 1861158151 859111424 29844 4294967295 134512640 134569956 3221224336 3221214760 1131369369 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 29844 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 769.53 Current children cumulated vsize (Kb) 838976 One traced child (pid=14830) exited with status: 0 New thread pid=14886 [startup+810.062 s] Raw data (loadavg): 1.11 1.03 1.01 2/66 14886 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18649 4 1 0 77851 77 0 1 18 0 11 0 1861158151 859111424 29844 4294967295 134512640 134569956 3221224336 3221214464 1131536390 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 29844 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 779.29 Current children cumulated vsize (Kb) 838976 [startup+820.062 s] Raw data (loadavg): 1.10 1.03 1.01 2/66 14886 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18654 4 1 0 78825 77 0 1 25 0 11 0 1861158151 859111424 29844 4294967295 134512640 134569956 3221224336 3221214512 1131419528 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 29844 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 789.03 Current children cumulated vsize (Kb) 838976 [startup+830.063 s] Raw data (loadavg): 1.08 1.03 1.01 2/66 14886 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18660 4 1 0 79797 77 0 1 25 0 11 0 1861158151 859111424 29895 4294967295 134512640 134569956 3221224336 3221214720 1131372583 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 29895 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 798.75 Current children cumulated vsize (Kb) 838976 [startup+840.064 s] Raw data (loadavg): 1.07 1.03 1.00 2/66 14886 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18665 4 1 0 80766 77 0 1 25 0 11 0 1861158151 859111424 30036 4294967295 134512640 134569956 3221224336 3221214512 1131421830 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 30036 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 808.44 Current children cumulated vsize (Kb) 838976 [startup+850.066 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 14886 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18670 4 1 0 81736 77 0 1 25 0 11 0 1861158151 859111424 30108 4294967295 134512640 134569956 3221224336 3221214584 1131393776 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 30108 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 818.14 Current children cumulated vsize (Kb) 838976 [startup+860.066 s] Raw data (loadavg): 1.05 1.02 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18675 4 1 0 82702 78 0 1 25 0 11 0 1861158151 859111424 30188 4294967295 134512640 134569956 3221224336 3221214512 1131395277 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 30188 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 827.81 Current children cumulated vsize (Kb) 838976 [startup+870.067 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18681 4 1 0 83658 78 0 1 25 0 11 0 1861158151 859111424 30223 4294967295 134512640 134569956 3221224336 3221214576 1131392192 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 30223 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 837.37 Current children cumulated vsize (Kb) 838976 [startup+880.068 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18687 4 1 0 84612 79 0 1 21 0 11 0 1861158151 859111424 30297 4294967295 134512640 134569956 3221224336 3221214512 1131395118 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 30297 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 846.92 Current children cumulated vsize (Kb) 838976 [startup+890.068 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18692 4 1 0 85576 80 0 1 25 0 11 0 1861158151 859111424 30410 4294967295 134512640 134569956 3221224336 3221214576 1131386049 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 30410 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 856.57 Current children cumulated vsize (Kb) 838976 [startup+900.07 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18698 4 1 0 86538 80 0 1 19 0 11 0 1861158151 859111424 30591 4294967295 134512640 134569956 3221224336 3221214504 1131395277 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 30591 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 866.19 Current children cumulated vsize (Kb) 838976 [startup+910.07 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18702 4 1 0 87514 81 0 1 25 0 11 0 1861158151 859111424 30743 4294967295 134512640 134569956 3221224336 3221214512 1131395277 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 30743 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 875.96 Current children cumulated vsize (Kb) 838976 [startup+920.071 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18706 4 1 0 88492 81 0 1 25 0 11 0 1861158151 859111424 30804 4294967295 134512640 134569956 3221224336 3221214496 1131615254 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 30804 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 885.74 Current children cumulated vsize (Kb) 838976 [startup+930.072 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18712 4 1 0 89460 81 0 1 25 0 11 0 1861158151 859111424 30948 4294967295 134512640 134569956 3221224336 3221214512 1131395441 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 30948 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 895.42 Current children cumulated vsize (Kb) 838976 [startup+940.073 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18718 4 1 0 90430 82 0 1 24 0 11 0 1861158151 859111424 30990 4294967295 134512640 134569956 3221224336 3221214616 1131390383 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 30990 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 905.13 Current children cumulated vsize (Kb) 838976 [startup+950.074 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18724 4 1 0 91401 82 0 1 21 0 11 0 1861158151 859111424 31022 4294967295 134512640 134569956 3221224336 3221214512 1131395277 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31022 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 914.84 Current children cumulated vsize (Kb) 838976 [startup+960.074 s] Raw data (loadavg): 1.08 1.03 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18729 4 1 0 92379 82 0 1 25 0 11 0 1861158151 859111424 31088 4294967295 134512640 134569956 3221224336 3221214616 1131390388 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 31088 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 924.62 Current children cumulated vsize (Kb) 838976 [startup+970.075 s] Raw data (loadavg): 1.07 1.03 1.00 2/66 14890 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18736 4 1 0 93350 82 0 1 24 0 11 0 1861158151 859111424 31215 4294967295 134512640 134569956 3221224336 3221214512 1131420977 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31215 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 934.33 Current children cumulated vsize (Kb) 838976 One traced child (pid=14886) exited with status: 0 New thread pid=14891 [startup+980.076 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18741 4 1 0 94331 83 0 1 20 0 11 0 1861158151 859111424 31288 4294967295 134512640 134569956 3221224336 3221214492 1131575616 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31288 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 944.15 Current children cumulated vsize (Kb) 838976 [startup+990.076 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18746 4 1 0 95315 83 0 1 25 0 11 0 1861158151 859111424 31335 4294967295 134512640 134569956 3221224336 3221214612 1131393568 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31335 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 953.99 Current children cumulated vsize (Kb) 838976 [startup+1000.08 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18752 4 1 0 96292 83 0 1 25 0 11 0 1861158151 859111424 31369 4294967295 134512640 134569956 3221224336 3221214512 1131395256 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 31369 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 963.76 Current children cumulated vsize (Kb) 838976 [startup+1010.08 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) S 14804 14805 5245 0 -1 0 18757 4 1 0 97266 83 0 1 25 0 11 0 1861158151 859111424 31369 4294967295 134512640 134569956 3221224336 3221213216 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31369 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 973.5 Current children cumulated vsize (Kb) 838976 [startup+1020.08 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18763 4 1 0 98237 84 0 1 25 0 11 0 1861158151 859111424 31418 4294967295 134512640 134569956 3221224336 3221214608 1131415911 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31418 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 983.22 Current children cumulated vsize (Kb) 838976 [startup+1030.08 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18768 4 1 0 99209 84 0 1 25 0 11 0 1861158151 859111424 31470 4294967295 134512640 134569956 3221224336 3221214512 1131421093 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31470 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 992.94 Current children cumulated vsize (Kb) 838976 [startup+1040.08 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18773 4 1 0 100180 85 0 1 25 0 11 0 1861158151 859111424 31509 4294967295 134512640 134569956 3221224336 3221214496 1131616902 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 31509 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1002.66 Current children cumulated vsize (Kb) 838976 [startup+1050.08 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18777 4 1 0 101153 85 0 1 25 0 11 0 1861158151 859111424 31530 4294967295 134512640 134569956 3221224336 3221214504 1131395116 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31530 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1012.39 Current children cumulated vsize (Kb) 838976 [startup+1060.08 s] Raw data (loadavg): 1.09 1.04 1.01 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18782 4 1 0 102122 86 0 1 25 0 11 0 1861158151 859111424 31643 4294967295 134512640 134569956 3221224336 3221214356 1131616272 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31643 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1022.09 Current children cumulated vsize (Kb) 838976 [startup+1070.08 s] Raw data (loadavg): 1.08 1.03 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18787 4 1 0 103092 86 0 1 25 0 11 0 1861158151 859111424 31720 4294967295 134512640 134569956 3221224336 3221214728 1131401299 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 31720 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1031.79 Current children cumulated vsize (Kb) 838976 [startup+1080.08 s] Raw data (loadavg): 1.07 1.03 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18791 4 1 0 104066 86 0 1 22 0 11 0 1861158151 859111424 31787 4294967295 134512640 134569956 3221224336 3221214592 1131384497 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31787 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1041.53 Current children cumulated vsize (Kb) 838976 [startup+1090.08 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18796 4 1 0 105037 87 0 1 25 0 11 0 1861158151 859111424 31851 4294967295 134512640 134569956 3221224336 3221214512 1131420104 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 31851 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1051.25 Current children cumulated vsize (Kb) 838976 [startup+1100.08 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18802 4 1 0 106005 87 0 1 25 0 11 0 1861158151 859111424 31957 4294967295 134512640 134569956 3221224336 3221214352 1131616631 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 31957 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1060.93 Current children cumulated vsize (Kb) 838976 [startup+1110.09 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 14891 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18806 4 1 0 106985 87 0 1 25 0 11 0 1861158151 859111424 32081 4294967295 134512640 134569956 3221224336 3221214660 1131057195 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 32081 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1070.73 Current children cumulated vsize (Kb) 838976 [startup+1120.09 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18810 4 1 0 107966 88 0 1 25 0 11 0 1861158151 859111424 32106 4294967295 134512640 134569956 3221224336 3221214136 1131573836 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 32106 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1080.55 Current children cumulated vsize (Kb) 838976 [startup+1130.09 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18815 4 1 0 108942 88 0 1 25 0 11 0 1861158151 859111424 32176 4294967295 134512640 134569956 3221224336 3221214616 1131390420 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 32176 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1090.31 Current children cumulated vsize (Kb) 838976 [startup+1140.09 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18820 4 1 0 109920 89 0 1 25 0 11 0 1861158151 859111424 32274 4294967295 134512640 134569956 3221224336 3221214480 1131517945 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 32274 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1100.1 Current children cumulated vsize (Kb) 838976 [startup+1150.09 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18825 4 1 0 110900 89 0 1 25 0 11 0 1861158151 859111424 32304 4294967295 134512640 134569956 3221224336 3221214680 1131359956 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 32304 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1109.9 Current children cumulated vsize (Kb) 838976 [startup+1160.09 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18829 4 1 0 111883 89 0 1 25 0 11 0 1861158151 859111424 32328 4294967295 134512640 134569956 3221224336 3221214584 1131393644 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 32328 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1119.73 Current children cumulated vsize (Kb) 838976 [startup+1170.09 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18834 4 1 0 112861 89 0 1 23 0 11 0 1861158151 859111424 32371 4294967295 134512640 134569956 3221224336 3221214584 1131393593 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 32371 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1129.51 Current children cumulated vsize (Kb) 838976 [startup+1180.09 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18839 4 1 0 113842 90 0 1 25 0 11 0 1861158151 859111424 32456 4294967295 134512640 134569956 3221224336 3221214608 1131416005 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 32456 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1139.33 Current children cumulated vsize (Kb) 838976 [startup+1190.09 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18845 4 1 0 114821 90 0 1 24 0 11 0 1861158151 859111424 32514 4294967295 134512640 134569956 3221224336 3221214504 1131395256 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 32514 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1149.12 Current children cumulated vsize (Kb) 838976 [startup+1200.09 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18850 4 1 0 115804 91 0 1 25 0 11 0 1861158151 859111424 32565 4294967295 134512640 134569956 3221224336 3221214512 1131421846 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 32565 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1158.96 Current children cumulated vsize (Kb) 838976 [startup+1210.09 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18855 4 1 0 116786 91 0 1 24 0 11 0 1861158151 859111424 32621 4294967295 134512640 134569956 3221224336 3221214672 1131353700 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 32621 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1168.78 Current children cumulated vsize (Kb) 838976 [startup+1220.09 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18860 4 1 0 117767 91 0 1 24 0 11 0 1861158151 859111424 32675 4294967295 134512640 134569956 3221224336 3221214560 1131450281 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 32675 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1178.59 Current children cumulated vsize (Kb) 838976 [startup+1230.09 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18865 4 1 0 118747 91 0 1 25 0 11 0 1861158151 859111424 32742 4294967295 134512640 134569956 3221224336 3221214608 1131416035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 32742 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1188.39 Current children cumulated vsize (Kb) 838976 [startup+1240.09 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18872 4 1 0 119719 91 0 1 25 0 11 0 1861158151 859111424 32758 4294967295 134512640 134569956 3221224336 3221214512 1131421813 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/14805/statm): 209744 32758 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1198.11 Current children cumulated vsize (Kb) 838976 [startup+1250.09 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18876 4 1 0 120704 91 0 1 25 0 11 0 1861158151 859111424 32780 4294967295 134512640 134569956 3221224336 3221214512 1131395226 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 32780 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1207.96 Current children cumulated vsize (Kb) 838976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1250.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 14893 Raw data (/proc/14805/stat): 14805 (java) R 14804 14805 5245 0 -1 0 18876 4 1 0 120704 91 0 1 25 0 11 0 1861158151 859111424 32780 4294967295 134512640 134569956 3221224336 3221214512 1131419440 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/14805/statm): 209744 32780 13129 16 0 209728 0 [pid=14805] vsize: 838976 Current children cumulated CPU time (s) 1207.96 Current children cumulated vsize (Kb) 838976 Sending SIGTERM to -14805 Sleeping 2 seconds New thread pid=14895 New thread pid=14896 One traced child (pid=14896) exited with status: 0 One traced child (pid=14814) exited with status: 0 One traced child (pid=14809) exited with status: 0 One traced child (pid=14806) exited with status: 143 One traced child (pid=14808) exited with status: 143 One traced child (pid=14807) exited with status: 143 One traced child (pid=14813) exited with status: 143 One traced child (pid=14810) exited with status: 143 One traced child (pid=14812) exited with status: 143 One traced child (pid=14891) exited with status: 143 One traced child (pid=14811) exited with status: 143 One traced child (pid=14895) exited with status: 143 One traced child (pid=14805) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1250.42 CPU time (s): 1258.5 CPU user time (s): 1256.66 CPU system time (s): 1.83572 CPU usage (%): 100.646 Max. virtual memory (cumulated for all children) (Kb): 839540
Verifier: OK 368