Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb |
MD5SUM | fbdb3cf321a85412feefcaac30780520 |
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.07 |
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 wulflinc11 THE 2005-09-20 18:09:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6768 boxname=wulflinc11 idbench=908 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: fbdb3cf321a85412feefcaac30780520 /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-mod008.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-mod008.opb IDLAUNCH: 6768 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 818352 kB Buffers: 34272 kB Cached: 155484 kB SwapCached: 916 kB Active: 98932 kB Inactive: 93368 kB HighTotal: 131008 kB HighFree: 2044 kB LowTotal: 903652 kB LowFree: 816308 kB SwapTotal: 2097136 kB SwapFree: 2095640 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5684 kB Slab: 18356 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 18:29:53 (client local time) WITH STATUS 143 IN 1258.89 SECONDS stats: 6768 0 1258.89 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/wulflinc11/normalized-mps-v2-13-7-mod008.opb c reading problem ... done. Time 0.821 ms. c #vars 319 c #constraints 6 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 696 Current CPU time: 1.26 ms c CURRENT OPTIMUM= 609 Current CPU time: 8.94 ms c CURRENT OPTIMUM= 585 Current CPU time: 31.90 ms c CURRENT OPTIMUM= 535 Current CPU time: 57.66 ms c CURRENT OPTIMUM= 514 Current CPU time: 61.03 ms c CURRENT OPTIMUM= 506 Current CPU time: 64.45 ms c CURRENT OPTIMUM= 503 Current CPU time: 93.70 ms c CURRENT OPTIMUM= 496 Current CPU time: 128.94 ms c CURRENT OPTIMUM= 492 Current CPU time: 171.42 ms c CURRENT OPTIMUM= 478 Current CPU time: 257.59 ms c CURRENT OPTIMUM= 455 Current CPU time: 325.19 ms c CURRENT OPTIMUM= 419 Current CPU time: 334.09 ms c CURRENT OPTIMUM= 414 Current CPU time: 361.52 ms c CURRENT OPTIMUM= 385 Current CPU time: 575.91 ms c CURRENT OPTIMUM= 378 Current CPU time: 649.86 ms c CURRENT OPTIMUM= 369 Current CPU time: 807.09 ms c CURRENT OPTIMUM= 368 Current CPU time: 987.17 ms c starts : 31 c conflicts : 1809 c decisions : 15928 c propagations : 31124 c inspects : 809685 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 1808 c root simplifications : 31 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 15332 c speed (decisions/second) : 60.883359134606195 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) : 1248.937
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/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1802351099 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 39 3 38 16 0 23 0 [pid=8740] 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/8740 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=8741 New thread pid=8742 New thread pid=8743 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=8744 New thread pid=8745 New thread pid=8746 New thread pid=8747 New thread pid=8748 New thread pid=8749 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/wulflinc11/normalized-mps-v2-13-7-mod008.opb New thread pid=8750 One traced child (pid=8750) exited with status: 0 New thread pid=8751 [startup+10.0022 s] Raw data (loadavg): 1.06 1.03 0.94 2/66 8751 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18196 4 1 0 770 46 0 0 18 0 11 0 1802351099 857538560 19558 4294967295 134512640 134569956 3221224336 3221214512 1131408747 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 209360 19558 13129 16 0 209344 0 [pid=8740] vsize: 837440 Current children cumulated CPU time (s) 8.16 Current children cumulated vsize (Kb) 837440 One traced child (pid=8751) exited with status: 0 New thread pid=8752 [startup+20.003 s] Raw data (loadavg): 1.05 1.03 0.94 2/66 8752 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18205 4 1 0 1729 47 0 0 25 0 11 0 1802351099 863268864 21599 4294967295 134512640 134569956 3221224336 3221214512 1131410357 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210759 21599 13129 16 0 210743 0 [pid=8740] vsize: 843036 Current children cumulated CPU time (s) 17.76 Current children cumulated vsize (Kb) 843036 [startup+30.0038 s] Raw data (loadavg): 1.04 1.03 0.94 2/66 8752 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18210 4 1 0 2694 47 0 0 25 0 11 0 1802351099 862978048 21942 4294967295 134512640 134569956 3221224336 3221214496 1131522320 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 21942 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 27.41 Current children cumulated vsize (Kb) 842752 One traced child (pid=8752) exited with status: 0 New thread pid=8753 [startup+40.0035 s] Raw data (loadavg): 1.03 1.03 0.94 2/66 8753 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18217 4 1 0 3646 47 0 0 25 0 11 0 1802351099 862978048 22418 4294967295 134512640 134569956 3221224336 3221214512 1131409412 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 22418 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 36.93 Current children cumulated vsize (Kb) 842752 [startup+50.0034 s] Raw data (loadavg): 1.03 1.03 0.94 2/66 8753 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18223 4 1 0 4587 47 0 0 25 0 11 0 1802351099 862978048 22732 4294967295 134512640 134569956 3221224336 3221214712 1131350094 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 22732 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 46.34 Current children cumulated vsize (Kb) 842752 One traced child (pid=8753) exited with status: 0 New thread pid=8754 [startup+60.0041 s] Raw data (loadavg): 1.02 1.03 0.94 2/66 8754 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18228 4 1 0 5537 48 0 0 17 0 11 0 1802351099 862978048 22890 4294967295 134512640 134569956 3221224336 3221214720 1131354202 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 22890 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 55.85 Current children cumulated vsize (Kb) 842752 One traced child (pid=8754) exited with status: 0 New thread pid=8755 One traced child (pid=8755) exited with status: 0 New thread pid=8756 [startup+70.0039 s] Raw data (loadavg): 1.02 1.02 0.94 2/66 8756 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18234 4 1 0 6483 48 0 0 25 0 11 0 1802351099 862978048 23096 4294967295 134512640 134569956 3221224336 3221214504 1131388513 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 23096 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 65.31 Current children cumulated vsize (Kb) 842752 [startup+80.0047 s] Raw data (loadavg): 1.02 1.02 0.94 2/66 8756 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18240 4 1 0 7421 48 0 0 25 0 11 0 1802351099 862978048 23322 4294967295 134512640 134569956 3221224336 3221214672 1131363648 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 23322 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 74.69 Current children cumulated vsize (Kb) 842752 [startup+90.0055 s] Raw data (loadavg): 1.01 1.02 0.94 2/66 8756 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18246 4 1 0 8358 49 0 0 24 0 11 0 1802351099 862978048 23555 4294967295 134512640 134569956 3221224336 3221214584 1131386537 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 23555 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 84.07 Current children cumulated vsize (Kb) 842752 One traced child (pid=8756) exited with status: 0 New thread pid=8757 [startup+100.005 s] Raw data (loadavg): 1.01 1.02 0.94 2/66 8757 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18251 4 1 0 9305 50 0 0 23 0 11 0 1802351099 862978048 23741 4294967295 134512640 134569956 3221224336 3221214496 1131388728 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 23741 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 93.55 Current children cumulated vsize (Kb) 842752 [startup+110.006 s] Raw data (loadavg): 1.01 1.02 0.94 2/66 8757 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18257 4 1 0 10243 50 0 0 17 0 11 0 1802351099 862978048 23924 4294967295 134512640 134569956 3221224336 3221214496 1131388749 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 23924 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 102.93 Current children cumulated vsize (Kb) 842752 [startup+120.007 s] Raw data (loadavg): 1.01 1.02 0.94 2/66 8757 Raw data (/proc/8740/stat): 8740 (java) S 8739 8740 9854 0 -1 0 18263 4 1 0 11189 50 0 0 25 0 11 0 1802351099 862978048 24070 4294967295 134512640 134569956 3221224336 3221213232 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 24070 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 112.39 Current children cumulated vsize (Kb) 842752 [startup+130.008 s] Raw data (loadavg): 1.00 1.02 0.94 2/66 8757 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18269 4 1 0 12132 50 0 0 25 0 11 0 1802351099 862978048 24239 4294967295 134512640 134569956 3221224336 3221214520 1131411165 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 24239 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 121.82 Current children cumulated vsize (Kb) 842752 One traced child (pid=8757) exited with status: 0 New thread pid=8758 [startup+140.007 s] Raw data (loadavg): 1.00 1.02 0.94 2/66 8758 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18275 4 1 0 13072 51 0 0 20 0 11 0 1802351099 862978048 24375 4294967295 134512640 134569956 3221224336 3221214520 1131388396 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 24375 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 131.23 Current children cumulated vsize (Kb) 842752 [startup+150.008 s] Raw data (loadavg): 1.00 1.02 0.94 2/66 8758 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18281 4 1 0 14013 51 0 0 18 0 11 0 1802351099 862978048 24618 4294967295 134512640 134569956 3221224336 3221214424 1131613349 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 24618 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 140.64 Current children cumulated vsize (Kb) 842752 [startup+160.009 s] Raw data (loadavg): 1.00 1.02 0.94 2/66 8758 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18287 4 1 0 14954 51 0 0 25 0 11 0 1802351099 862978048 24777 4294967295 134512640 134569956 3221224336 3221214496 1131388661 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 24777 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 150.05 Current children cumulated vsize (Kb) 842752 [startup+170.009 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 8758 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18293 4 1 0 15895 52 0 0 25 0 11 0 1802351099 862978048 24954 4294967295 134512640 134569956 3221224336 3221214624 1131383811 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 24954 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 159.47 Current children cumulated vsize (Kb) 842752 One traced child (pid=8758) exited with status: 0 New thread pid=8759 [startup+180.01 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 8759 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18299 4 1 0 16843 52 0 0 25 0 11 0 1802351099 862978048 25123 4294967295 134512640 134569956 3221224336 3221214520 1131408747 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 25123 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 168.95 Current children cumulated vsize (Kb) 842752 [startup+190.01 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 8759 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18306 4 1 0 17790 53 0 0 17 0 11 0 1802351099 862978048 25242 4294967295 134512640 134569956 3221224336 3221214632 1131358370 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 25242 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 178.43 Current children cumulated vsize (Kb) 842752 [startup+200.01 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 8759 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18311 4 1 0 18743 53 0 0 25 0 11 0 1802351099 862978048 25390 4294967295 134512640 134569956 3221224336 3221214600 1131381903 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 25390 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 187.96 Current children cumulated vsize (Kb) 842752 [startup+210.01 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 8759 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18317 4 1 0 19688 53 0 0 25 0 11 0 1802351099 862978048 25620 4294967295 134512640 134569956 3221224336 3221214592 1131386537 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 25620 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 197.41 Current children cumulated vsize (Kb) 842752 [startup+220.011 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 8759 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18322 4 1 0 20645 53 0 0 25 0 11 0 1802351099 862978048 25738 4294967295 134512640 134569956 3221224336 3221214584 1131385627 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 25738 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 206.98 Current children cumulated vsize (Kb) 842752 [startup+230.011 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 8759 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18327 4 1 0 21599 54 0 0 24 0 11 0 1802351099 862978048 25788 4294967295 134512640 134569956 3221224336 3221214708 1131442412 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 25788 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 216.53 Current children cumulated vsize (Kb) 842752 [startup+240.012 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 8759 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18332 4 1 0 22554 54 0 0 24 0 11 0 1802351099 862978048 25906 4294967295 134512640 134569956 3221224336 3221214496 1131388749 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 25906 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 226.08 Current children cumulated vsize (Kb) 842752 [startup+250.013 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 8759 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18338 4 1 0 23512 54 0 0 25 0 11 0 1802351099 862978048 26093 4294967295 134512640 134569956 3221224336 3221214392 1131556354 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 26093 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 235.66 Current children cumulated vsize (Kb) 842752 One traced child (pid=8759) exited with status: 0 New thread pid=8760 [startup+260.014 s] Raw data (loadavg): 1.00 1.01 0.94 2/66 8760 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18344 4 1 0 24484 54 0 0 25 0 11 0 1802351099 862978048 26235 4294967295 134512640 134569956 3221224336 3221214712 1131743806 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 26235 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 245.38 Current children cumulated vsize (Kb) 842752 [startup+270.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8760 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18351 4 1 0 25449 55 0 0 16 0 11 0 1802351099 862978048 26415 4294967295 134512640 134569956 3221224336 3221214600 1131592665 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 26415 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 255.04 Current children cumulated vsize (Kb) 842752 [startup+280.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8760 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18357 4 1 0 26418 55 0 0 16 0 11 0 1802351099 862978048 26613 4294967295 134512640 134569956 3221224336 3221214496 1131388728 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 26613 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 264.73 Current children cumulated vsize (Kb) 842752 [startup+290.015 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8760 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18363 4 1 0 27388 56 0 0 20 0 11 0 1802351099 862978048 26613 4294967295 134512640 134569956 3221224336 3221214496 1131388691 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 26613 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 274.44 Current children cumulated vsize (Kb) 842752 [startup+300.015 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8760 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18368 4 1 0 28356 56 0 0 25 0 11 0 1802351099 862978048 26613 4294967295 134512640 134569956 3221224336 3221214520 1131410429 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 26613 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 284.12 Current children cumulated vsize (Kb) 842752 [startup+310.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8760 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18373 4 1 0 29320 56 0 0 25 0 11 0 1802351099 862978048 26613 4294967295 134512640 134569956 3221224336 3221214520 1131411073 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 26613 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 293.76 Current children cumulated vsize (Kb) 842752 [startup+320.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8760 Raw data (/proc/8740/stat): 8740 (java) S 8739 8740 9854 0 -1 0 18378 4 1 0 30280 56 0 0 25 0 11 0 1802351099 862978048 26686 4294967295 134512640 134569956 3221224336 3221213240 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 26686 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 303.36 Current children cumulated vsize (Kb) 842752 One traced child (pid=8760) exited with status: 0 New thread pid=8761 [startup+330.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8761 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18384 4 1 0 31247 57 0 0 24 0 11 0 1802351099 862978048 26852 4294967295 134512640 134569956 3221224336 3221214632 1131358471 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 26852 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 313.04 Current children cumulated vsize (Kb) 842752 One traced child (pid=8761) exited with status: 0 New thread pid=8762 [startup+340.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8762 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18389 4 1 0 32219 57 0 0 25 0 11 0 1802351099 862978048 26988 4294967295 134512640 134569956 3221224336 3221214556 1131057236 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 26988 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 322.76 Current children cumulated vsize (Kb) 842752 [startup+350.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8762 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18394 4 1 0 33192 57 0 0 25 0 11 0 1802351099 862978048 27095 4294967295 134512640 134569956 3221224336 3221214544 1131442818 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 27095 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 332.49 Current children cumulated vsize (Kb) 842752 [startup+360.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8762 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18400 4 1 0 34159 58 0 0 25 0 11 0 1802351099 862978048 27218 4294967295 134512640 134569956 3221224336 3221214576 1131377713 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 27218 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (Kb) 842752 One traced child (pid=8762) exited with status: 0 New thread pid=8763 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18403 4 1 0 35140 58 0 0 25 0 11 0 1802351099 862978048 27218 4294967295 134512640 134569956 3221224336 3221214600 1131381946 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 27218 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 351.98 Current children cumulated vsize (Kb) 842752 [startup+380.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18408 4 1 0 36101 58 0 0 25 0 11 0 1802351099 862978048 27218 4294967295 134512640 134569956 3221224336 3221214592 1131386614 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 27218 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 361.59 Current children cumulated vsize (Kb) 842752 [startup+390.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18413 4 1 0 37057 58 0 0 25 0 11 0 1802351099 862978048 27288 4294967295 134512640 134569956 3221224336 3221214496 1131388749 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 27288 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 371.15 Current children cumulated vsize (Kb) 842752 [startup+400.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18418 4 1 0 38010 58 0 0 25 0 11 0 1802351099 862978048 27357 4294967295 134512640 134569956 3221224336 3221214620 1131386476 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 27357 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 380.68 Current children cumulated vsize (Kb) 842752 [startup+410.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18422 4 1 0 38972 59 0 0 25 0 11 0 1802351099 862978048 27444 4294967295 134512640 134569956 3221224336 3221214208 1131643594 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 27444 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 390.31 Current children cumulated vsize (Kb) 842752 [startup+420.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18426 4 1 0 39934 59 0 0 25 0 11 0 1802351099 862978048 27550 4294967295 134512640 134569956 3221224336 3221214400 1085759277 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 27550 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 399.93 Current children cumulated vsize (Kb) 842752 [startup+430.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18432 4 1 0 40879 59 0 0 18 0 11 0 1802351099 862978048 27680 4294967295 134512640 134569956 3221224336 3221214576 1131377729 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 27680 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 409.38 Current children cumulated vsize (Kb) 842752 [startup+440.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18439 4 1 0 41831 60 0 0 25 0 11 0 1802351099 862978048 27978 4294967295 134512640 134569956 3221224336 3221214520 1131388939 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 27978 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 418.91 Current children cumulated vsize (Kb) 842752 [startup+450.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18445 4 1 0 42802 60 0 0 25 0 11 0 1802351099 862978048 28103 4294967295 134512640 134569956 3221224336 3221214584 1131385659 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 28103 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 428.62 Current children cumulated vsize (Kb) 842752 [startup+460.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18450 4 1 0 43782 61 0 0 25 0 11 0 1802351099 862978048 28241 4294967295 134512640 134569956 3221224336 3221214720 1131354216 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 28241 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 438.43 Current children cumulated vsize (Kb) 842752 [startup+470.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18455 4 1 0 44767 62 0 0 25 0 11 0 1802351099 862978048 28357 4294967295 134512640 134569956 3221224336 3221214496 1131388523 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 28357 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 448.29 Current children cumulated vsize (Kb) 842752 [startup+480.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18460 4 1 0 45753 62 0 0 25 0 11 0 1802351099 862978048 28429 4294967295 134512640 134569956 3221224336 3221214496 1131388435 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 28429 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 458.15 Current children cumulated vsize (Kb) 842752 [startup+490.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18465 4 1 0 46737 62 0 0 25 0 11 0 1802351099 862978048 28436 4294967295 134512640 134569956 3221224336 3221214496 1131388749 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 28436 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 467.99 Current children cumulated vsize (Kb) 842752 [startup+500.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18470 4 1 0 47715 63 0 0 25 0 11 0 1802351099 862978048 28436 4294967295 134512640 134569956 3221224336 3221214624 1131383888 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 28436 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 477.78 Current children cumulated vsize (Kb) 842752 [startup+510.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18476 4 1 0 48688 63 0 0 25 0 11 0 1802351099 862978048 28445 4294967295 134512640 134569956 3221224336 3221214640 1131388749 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 28445 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 487.51 Current children cumulated vsize (Kb) 842752 [startup+520.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18482 4 1 0 49657 63 0 0 18 0 11 0 1802351099 862978048 28468 4294967295 134512640 134569956 3221224336 3221214520 1131388749 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 28468 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 497.2 Current children cumulated vsize (Kb) 842752 [startup+530.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18487 4 1 0 50630 63 0 0 25 0 11 0 1802351099 862978048 28532 4294967295 134512640 134569956 3221224336 3221214624 1131383811 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 28532 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 506.93 Current children cumulated vsize (Kb) 842752 [startup+540.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18493 4 1 0 51601 64 0 0 17 0 11 0 1802351099 862978048 28634 4294967295 134512640 134569956 3221224336 3221214620 1131381792 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 28634 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 516.65 Current children cumulated vsize (Kb) 842752 [startup+550.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18498 4 1 0 52576 65 0 0 21 0 11 0 1802351099 862978048 28734 4294967295 134512640 134569956 3221224336 3221214520 1131410103 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 28734 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 526.41 Current children cumulated vsize (Kb) 842752 [startup+560.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18503 4 1 0 53553 65 0 0 25 0 11 0 1802351099 862978048 28784 4294967295 134512640 134569956 3221224336 3221214556 1131057186 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 28784 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 536.18 Current children cumulated vsize (Kb) 842752 [startup+570.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8763 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18508 4 1 0 54531 65 0 0 25 0 11 0 1802351099 862978048 28827 4294967295 134512640 134569956 3221224336 3221214600 1131592544 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 28827 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 545.96 Current children cumulated vsize (Kb) 842752 One traced child (pid=8763) exited with status: 0 New thread pid=8764 [startup+580.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8764 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18515 4 1 0 55506 65 0 0 25 0 11 0 1802351099 862978048 28874 4294967295 134512640 134569956 3221224336 3221214584 1131358491 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 28874 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 555.71 Current children cumulated vsize (Kb) 842752 [startup+590.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8764 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18520 4 1 0 56480 66 0 0 25 0 11 0 1802351099 862978048 28903 4294967295 134512640 134569956 3221224336 3221214584 1131358397 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 28903 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 565.46 Current children cumulated vsize (Kb) 842752 [startup+600.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8764 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18525 4 1 0 57451 66 0 0 25 0 11 0 1802351099 862978048 28980 4294967295 134512640 134569956 3221224336 3221214264 1131474109 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 28980 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 575.17 Current children cumulated vsize (Kb) 842752 [startup+610.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8764 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18530 4 1 0 58418 66 0 0 25 0 11 0 1802351099 862978048 29062 4294967295 134512640 134569956 3221224336 3221214464 1131388698 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 29062 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 584.84 Current children cumulated vsize (Kb) 842752 [startup+620.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8764 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18535 4 1 0 59386 66 0 0 25 0 11 0 1802351099 862978048 29106 4294967295 134512640 134569956 3221224336 3221214592 1131383843 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 29106 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 594.52 Current children cumulated vsize (Kb) 842752 [startup+630.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8764 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18539 4 1 0 60358 66 0 0 25 0 11 0 1802351099 862978048 29137 4294967295 134512640 134569956 3221224336 3221214568 1131592717 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 29137 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 604.24 Current children cumulated vsize (Kb) 842752 [startup+640.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8764 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18544 4 1 0 61323 66 0 0 22 0 11 0 1802351099 862978048 29226 4294967295 134512640 134569956 3221224336 3221214524 1131057201 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 29226 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 613.89 Current children cumulated vsize (Kb) 842752 [startup+650.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8764 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18549 4 1 0 62287 66 0 0 25 0 11 0 1802351099 862978048 29296 4294967295 134512640 134569956 3221224336 3221214544 1131377722 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 29296 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 623.53 Current children cumulated vsize (Kb) 842752 One traced child (pid=8764) exited with status: 0 New thread pid=8765 [startup+660.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18553 4 1 0 63257 67 0 1 25 0 11 0 1802351099 862978048 29389 4294967295 134512640 134569956 3221224336 3221214568 1131526081 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 29389 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 633.25 Current children cumulated vsize (Kb) 842752 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18558 4 1 0 64223 67 0 1 25 0 11 0 1802351099 862978048 29522 4294967295 134512640 134569956 3221224336 3221214488 1131388939 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 29522 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 642.91 Current children cumulated vsize (Kb) 842752 [startup+680.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18563 4 1 0 65193 68 0 1 25 0 11 0 1802351099 862978048 29650 4294967295 134512640 134569956 3221224336 3221214568 1131377670 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 29650 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 652.62 Current children cumulated vsize (Kb) 842752 [startup+690.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18568 4 1 0 66165 68 0 1 25 0 11 0 1802351099 862978048 29737 4294967295 134512640 134569956 3221224336 3221214588 1131406281 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 29737 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 662.34 Current children cumulated vsize (Kb) 842752 [startup+700.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18574 4 1 0 67131 69 0 1 21 0 11 0 1802351099 862978048 29813 4294967295 134512640 134569956 3221224336 3221214488 1131388728 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 29813 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 672.01 Current children cumulated vsize (Kb) 842752 [startup+710.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18580 4 1 0 68096 70 0 1 18 0 11 0 1802351099 862978048 29987 4294967295 134512640 134569956 3221224336 3221214488 1131388765 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 29987 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 681.67 Current children cumulated vsize (Kb) 842752 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18585 4 1 0 69067 70 0 1 25 0 11 0 1802351099 862978048 30028 4294967295 134512640 134569956 3221224336 3221214568 1131381817 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 30028 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 691.38 Current children cumulated vsize (Kb) 842752 [startup+730.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18590 4 1 0 70034 70 0 1 25 0 11 0 1802351099 862978048 30089 4294967295 134512640 134569956 3221224336 3221214712 1131366213 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 30089 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 701.05 Current children cumulated vsize (Kb) 842752 [startup+740.039 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18595 4 1 0 71001 71 0 1 25 0 11 0 1802351099 862978048 30170 4294967295 134512640 134569956 3221224336 3221214568 1131379565 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 30170 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 710.73 Current children cumulated vsize (Kb) 842752 [startup+750.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18601 4 1 0 71961 71 0 1 17 0 11 0 1802351099 862978048 30227 4294967295 134512640 134569956 3221224336 3221214568 1131381842 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 30227 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 720.33 Current children cumulated vsize (Kb) 842752 [startup+760.039 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18607 4 1 0 72924 71 0 1 25 0 11 0 1802351099 862978048 30361 4294967295 134512640 134569956 3221224336 3221214464 1131388956 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 30361 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 729.96 Current children cumulated vsize (Kb) 842752 [startup+770.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18614 4 1 0 73890 71 0 1 25 0 11 0 1802351099 862978048 30522 4294967295 134512640 134569956 3221224336 3221214488 1131388698 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 30522 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 739.62 Current children cumulated vsize (Kb) 842752 [startup+780.041 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18619 4 1 0 74872 72 0 1 25 0 11 0 1802351099 862978048 30641 4294967295 134512640 134569956 3221224336 3221214488 1131410257 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 30641 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 749.45 Current children cumulated vsize (Kb) 842752 [startup+790.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18625 4 1 0 75848 72 0 1 22 0 11 0 1802351099 862978048 30697 4294967295 134512640 134569956 3221224336 3221214400 1131527813 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 30697 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 759.21 Current children cumulated vsize (Kb) 842752 [startup+800.041 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8765 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18631 4 1 0 76821 73 0 1 25 0 11 0 1802351099 862978048 30812 4294967295 134512640 134569956 3221224336 3221214488 1131408752 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 30812 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 768.95 Current children cumulated vsize (Kb) 842752 One traced child (pid=8765) exited with status: 0 New thread pid=8766 [startup+810.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18636 4 1 0 77798 73 0 1 25 0 11 0 1802351099 862978048 30812 4294967295 134512640 134569956 3221224336 3221214040 1085806289 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 30812 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 778.72 Current children cumulated vsize (Kb) 842752 [startup+820.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18641 4 1 0 78774 74 0 1 25 0 11 0 1802351099 862978048 30812 4294967295 134512640 134569956 3221224336 3221214584 1131358260 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 30812 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 788.49 Current children cumulated vsize (Kb) 842752 [startup+830.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18646 4 1 0 79746 74 0 1 25 0 11 0 1802351099 862978048 30812 4294967295 134512640 134569956 3221224336 3221214584 1131358324 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 30812 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 798.21 Current children cumulated vsize (Kb) 842752 [startup+840.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18651 4 1 0 80717 74 0 1 25 0 11 0 1802351099 862978048 30888 4294967295 134512640 134569956 3221224336 3221214560 1131386569 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 30888 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 807.92 Current children cumulated vsize (Kb) 842752 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18656 4 1 0 81687 74 0 1 25 0 11 0 1802351099 862978048 31035 4294967295 134512640 134569956 3221224336 3221214568 1131381864 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 31035 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 817.62 Current children cumulated vsize (Kb) 842752 [startup+860.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18661 4 1 0 82655 75 0 1 24 0 11 0 1802351099 862978048 31095 4294967295 134512640 134569956 3221224336 3221214424 1131569063 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 31095 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 827.31 Current children cumulated vsize (Kb) 842752 [startup+870.045 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18666 4 1 0 83621 75 0 1 22 0 11 0 1802351099 862978048 31156 4294967295 134512640 134569956 3221224336 3221214464 1131388394 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 31156 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 836.97 Current children cumulated vsize (Kb) 842752 [startup+880.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18672 4 1 0 84577 75 0 1 19 0 11 0 1802351099 862978048 31200 4294967295 134512640 134569956 3221224336 3221214584 1131358324 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 31200 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 846.53 Current children cumulated vsize (Kb) 842752 [startup+890.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18678 4 1 0 85531 76 0 1 24 0 11 0 1802351099 862978048 31281 4294967295 134512640 134569956 3221224336 3221214560 1131386614 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 31281 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 856.08 Current children cumulated vsize (Kb) 842752 [startup+900.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18683 4 1 0 86496 76 0 1 25 0 11 0 1802351099 862978048 31404 4294967295 134512640 134569956 3221224336 3221214556 1131386628 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 31404 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 865.73 Current children cumulated vsize (Kb) 842752 [startup+910.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18688 4 1 0 87464 76 0 1 25 0 11 0 1802351099 862978048 31559 4294967295 134512640 134569956 3221224336 3221214568 1131592571 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 31559 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 875.41 Current children cumulated vsize (Kb) 842752 [startup+920.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18692 4 1 0 88442 76 0 1 25 0 11 0 1802351099 862978048 31711 4294967295 134512640 134569956 3221224336 3221214216 1131649911 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 31711 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 885.19 Current children cumulated vsize (Kb) 842752 [startup+930.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18697 4 1 0 89414 77 0 1 25 0 11 0 1802351099 862978048 31792 4294967295 134512640 134569956 3221224336 3221214280 1131579222 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 31792 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 894.92 Current children cumulated vsize (Kb) 842752 [startup+940.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18703 4 1 0 90382 77 0 1 25 0 11 0 1802351099 862978048 31929 4294967295 134512640 134569956 3221224336 3221214488 1131388558 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 31929 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 904.6 Current children cumulated vsize (Kb) 842752 [startup+950.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18709 4 1 0 91353 78 0 1 21 0 11 0 1802351099 862978048 31958 4294967295 134512640 134569956 3221224336 3221214664 1131347584 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 31958 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 914.32 Current children cumulated vsize (Kb) 842752 [startup+960.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18715 4 1 0 92323 78 0 1 25 0 11 0 1802351099 862978048 32006 4294967295 134512640 134569956 3221224336 3221214456 1131531975 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 32006 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 924.02 Current children cumulated vsize (Kb) 842752 [startup+970.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18720 4 1 0 93301 78 0 1 25 0 11 0 1802351099 862978048 32060 4294967295 134512640 134569956 3221224336 3221214176 1131598316 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 32060 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 933.8 Current children cumulated vsize (Kb) 842752 [startup+980.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8766 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18726 4 1 0 94277 78 0 1 25 0 11 0 1802351099 862978048 32183 4294967295 134512640 134569956 3221224336 3221214568 1131592563 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 32183 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 943.56 Current children cumulated vsize (Kb) 842752 One traced child (pid=8766) exited with status: 0 New thread pid=8767 [startup+990.052 s] Raw data (loadavg): 1.07 1.02 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18732 4 1 0 95255 79 0 1 25 0 11 0 1802351099 862978048 32277 4294967295 134512640 134569956 3221224336 3221214440 1131600393 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 32277 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 953.35 Current children cumulated vsize (Kb) 842752 [startup+1000.05 s] Raw data (loadavg): 1.06 1.02 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18737 4 1 0 96238 80 0 1 23 0 11 0 1802351099 862978048 32311 4294967295 134512640 134569956 3221224336 3221214592 1131383968 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 32311 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 963.19 Current children cumulated vsize (Kb) 842752 [startup+1010.05 s] Raw data (loadavg): 1.05 1.01 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18743 4 1 0 97214 80 0 1 17 0 11 0 1802351099 862978048 32337 4294967295 134512640 134569956 3221224336 3221214564 1131385680 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 32337 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 972.95 Current children cumulated vsize (Kb) 842752 [startup+1020.05 s] Raw data (loadavg): 1.04 1.01 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18748 4 1 0 98191 80 0 1 23 0 11 0 1802351099 862978048 32337 4294967295 134512640 134569956 3221224336 3221214584 1131358507 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 32337 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 982.72 Current children cumulated vsize (Kb) 842752 [startup+1030.06 s] Raw data (loadavg): 1.04 1.01 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18753 4 1 0 99164 80 0 1 25 0 11 0 1802351099 862978048 32386 4294967295 134512640 134569956 3221224336 3221214560 1131386589 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 32386 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 992.45 Current children cumulated vsize (Kb) 842752 [startup+1040.06 s] Raw data (loadavg): 1.03 1.01 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) S 8739 8740 9854 0 -1 0 18758 4 1 0 100136 80 0 1 16 0 11 0 1802351099 862978048 32438 4294967295 134512640 134569956 3221224336 3221213416 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 32438 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1002.17 Current children cumulated vsize (Kb) 842752 [startup+1050.06 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18763 4 1 0 101107 80 0 1 25 0 11 0 1802351099 862978048 32477 4294967295 134512640 134569956 3221224336 3221214664 1131347601 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 32477 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1011.88 Current children cumulated vsize (Kb) 842752 [startup+1060.06 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18767 4 1 0 102080 81 0 1 25 0 11 0 1802351099 862978048 32498 4294967295 134512640 134569956 3221224336 3221214528 1131442960 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 32498 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1021.62 Current children cumulated vsize (Kb) 842752 [startup+1070.06 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18773 4 1 0 103042 83 0 1 16 0 11 0 1802351099 862978048 32626 4294967295 134512640 134569956 3221224336 3221214688 1131377697 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 32626 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1031.26 Current children cumulated vsize (Kb) 842752 [startup+1080.06 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18777 4 1 0 104016 83 0 1 25 0 11 0 1802351099 862978048 32688 4294967295 134512640 134569956 3221224336 3221214568 1131592671 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 32688 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1041 Current children cumulated vsize (Kb) 842752 [startup+1090.06 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18781 4 1 0 104991 83 0 1 25 0 11 0 1802351099 862978048 32755 4294967295 134512640 134569956 3221224336 3221214552 1131385592 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 32755 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1050.75 Current children cumulated vsize (Kb) 842752 [startup+1100.06 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18787 4 1 0 105957 84 0 1 17 0 11 0 1802351099 862978048 32826 4294967295 134512640 134569956 3221224336 3221214592 1131383855 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 32826 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1060.42 Current children cumulated vsize (Kb) 842752 [startup+1110.06 s] Raw data (loadavg): 1.01 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18792 4 1 0 106930 85 0 1 25 0 11 0 1802351099 862978048 32925 4294967295 134512640 134569956 3221224336 3221214396 1131623787 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 32925 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1070.16 Current children cumulated vsize (Kb) 842752 [startup+1120.06 s] Raw data (loadavg): 1.01 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18796 4 1 0 107909 85 0 1 25 0 11 0 1802351099 862978048 33049 4294967295 134512640 134569956 3221224336 3221214488 1131410407 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33049 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1079.95 Current children cumulated vsize (Kb) 842752 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18800 4 1 0 108890 85 0 1 25 0 11 0 1802351099 862978048 33074 4294967295 134512640 134569956 3221224336 3221214584 1131358324 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 33074 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1089.76 Current children cumulated vsize (Kb) 842752 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18806 4 1 0 109861 86 0 1 24 0 11 0 1802351099 862978048 33160 4294967295 134512640 134569956 3221224336 3221214560 1131386662 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 33160 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1099.48 Current children cumulated vsize (Kb) 842752 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18810 4 1 0 110844 86 0 1 25 0 11 0 1802351099 862978048 33242 4294967295 134512640 134569956 3221224336 3221214400 1131536756 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 33242 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1109.31 Current children cumulated vsize (Kb) 842752 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18815 4 1 0 111825 86 0 1 24 0 11 0 1802351099 862978048 33272 4294967295 134512640 134569956 3221224336 3221214488 1131388700 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33272 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1119.12 Current children cumulated vsize (Kb) 842752 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18819 4 1 0 112807 87 0 1 25 0 11 0 1802351099 862978048 33296 4294967295 134512640 134569956 3221224336 3221214560 1131386652 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33296 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1128.95 Current children cumulated vsize (Kb) 842752 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18824 4 1 0 113786 87 0 1 22 0 11 0 1802351099 862978048 33339 4294967295 134512640 134569956 3221224336 3221214524 1131057189 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33339 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1138.74 Current children cumulated vsize (Kb) 842752 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18829 4 1 0 114766 88 0 1 25 0 11 0 1802351099 862978048 33424 4294967295 134512640 134569956 3221224336 3221214392 1131530752 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33424 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1148.55 Current children cumulated vsize (Kb) 842752 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18834 4 1 0 115748 88 0 1 25 0 11 0 1802351099 862978048 33482 4294967295 134512640 134569956 3221224336 3221214488 1131388876 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/8740/statm): 210688 33482 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1158.37 Current children cumulated vsize (Kb) 842752 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18840 4 1 0 116727 89 0 1 25 0 11 0 1802351099 862978048 33533 4294967295 134512640 134569956 3221224336 3221214568 1131377702 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33533 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1168.17 Current children cumulated vsize (Kb) 842752 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18844 4 1 0 117712 89 0 1 25 0 11 0 1802351099 862978048 33562 4294967295 134512640 134569956 3221224336 3221214560 1131386576 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33562 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1178.02 Current children cumulated vsize (Kb) 842752 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18849 4 1 0 118693 89 0 1 25 0 11 0 1802351099 862978048 33643 4294967295 134512640 134569956 3221224336 3221214568 1131381894 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33643 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1187.83 Current children cumulated vsize (Kb) 842752 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18855 4 1 0 119668 89 0 1 23 0 11 0 1802351099 862978048 33710 4294967295 134512640 134569956 3221224336 3221214524 1131057272 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33710 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1197.58 Current children cumulated vsize (Kb) 842752 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18861 4 1 0 120645 90 0 1 25 0 11 0 1802351099 862978048 33719 4294967295 134512640 134569956 3221224336 3221214588 1131406284 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33719 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1207.36 Current children cumulated vsize (Kb) 842752 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 8767 Raw data (/proc/8740/stat): 8740 (java) R 8739 8740 9854 0 -1 0 18861 4 1 0 120645 90 0 1 25 0 11 0 1802351099 862978048 33719 4294967295 134512640 134569956 3221224336 3221214588 1131406284 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/8740/statm): 210688 33719 13129 16 0 210672 0 [pid=8740] vsize: 842752 Current children cumulated CPU time (s) 1207.36 Current children cumulated vsize (Kb) 842752 Sending SIGTERM to -8740 Sleeping 2 seconds New thread pid=8769 New thread pid=8770 One traced child (pid=8770) exited with status: 0 One traced child (pid=8749) exited with status: 0 One traced child (pid=8744) exited with status: 0 One traced child (pid=8741) exited with status: 143 One traced child (pid=8742) exited with status: 143 One traced child (pid=8743) exited with status: 143 One traced child (pid=8748) exited with status: 143 One traced child (pid=8747) exited with status: 143 One traced child (pid=8767) exited with status: 143 One traced child (pid=8746) exited with status: 143 One traced child (pid=8745) exited with status: 143 One traced child (pid=8769) exited with status: 143 One traced child (pid=8740) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1250.34 CPU time (s): 1258.89 CPU user time (s): 1257.17 CPU system time (s): 1.72174 CPU usage (%): 100.684 Max. virtual memory (cumulated for all children) (Kb): 843036
Verifier: OK 368