Name | mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.06 |
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 wulflinc10 THE 2005-09-19 20:30:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6535 boxname=wulflinc10 idbench=675 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 581d778a36086562107993896110e0a2 /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-mod008.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-mod008.opb IDLAUNCH: 6535 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 816164 kB Buffers: 37828 kB Cached: 153500 kB SwapCached: 228 kB Active: 72172 kB Inactive: 122084 kB HighTotal: 131008 kB HighFree: 29120 kB LowTotal: 903652 kB LowFree: 787044 kB SwapTotal: 2097136 kB SwapFree: 2096756 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6272 kB Slab: 18612 kB Committed_AS: 64164 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 20:50:52 (client local time) WITH STATUS 143 IN 1258.8 SECONDS stats: 6535 0 1258.8 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/wulflinc10/normalized-mps-v2-20-10-mod008.opb c reading problem ... done. Time 0.854 ms. c #vars 319 c #constraints 6 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 696 Current CPU time: 1.17 ms c CURRENT OPTIMUM= 609 Current CPU time: 8.90 ms c CURRENT OPTIMUM= 585 Current CPU time: 31.59 ms c CURRENT OPTIMUM= 535 Current CPU time: 57.03 ms c CURRENT OPTIMUM= 514 Current CPU time: 60.40 ms c CURRENT OPTIMUM= 506 Current CPU time: 63.77 ms c CURRENT OPTIMUM= 503 Current CPU time: 92.64 ms c CURRENT OPTIMUM= 496 Current CPU time: 127.64 ms c CURRENT OPTIMUM= 492 Current CPU time: 169.77 ms c CURRENT OPTIMUM= 478 Current CPU time: 255.23 ms c CURRENT OPTIMUM= 455 Current CPU time: 322.15 ms c CURRENT OPTIMUM= 419 Current CPU time: 331.06 ms c CURRENT OPTIMUM= 414 Current CPU time: 358.30 ms c CURRENT OPTIMUM= 385 Current CPU time: 570.96 ms c CURRENT OPTIMUM= 378 Current CPU time: 644.30 ms c CURRENT OPTIMUM= 369 Current CPU time: 800.65 ms c CURRENT OPTIMUM= 368 Current CPU time: 979.53 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) : 59.209744503862154 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.966
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/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1794596162 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 39 3 38 16 0 23 0 [pid=9597] 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/9597 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=9598 New thread pid=9599 New thread pid=9600 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=9601 New thread pid=9602 New thread pid=9603 New thread pid=9604 New thread pid=9605 New thread pid=9606 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/wulflinc10/normalized-mps-v2-20-10-mod008.opb New thread pid=9607 One traced child (pid=9607) exited with status: 0 New thread pid=9608 [startup+10.0023 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 9608 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18194 3 1 0 759 48 0 0 18 0 11 0 1794596162 860725248 19813 4294967295 134512640 134569956 3221224336 3221214308 1131082926 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 210138 19813 13129 16 0 210122 0 [pid=9597] vsize: 840552 Current children cumulated CPU time (s) 8.07 Current children cumulated vsize (Kb) 840552 One traced child (pid=9608) exited with status: 0 New thread pid=9609 [startup+20.0029 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 9609 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18201 3 1 0 1720 49 0 0 25 0 11 0 1794596162 866652160 21932 4294967295 134512640 134569956 3221224336 3221214504 1131414960 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211585 21932 13129 16 0 211569 0 [pid=9597] vsize: 846340 Current children cumulated CPU time (s) 17.69 Current children cumulated vsize (Kb) 846340 [startup+30.0054 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 9609 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18207 3 1 0 2682 49 0 0 25 0 11 0 1794596162 866652160 22346 4294967295 134512640 134569956 3221224336 3221214568 1131394232 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211585 22346 13129 16 0 211569 0 [pid=9597] vsize: 846340 Current children cumulated CPU time (s) 27.31 Current children cumulated vsize (Kb) 846340 One traced child (pid=9609) exited with status: 0 New thread pid=9610 [startup+40.006 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 9610 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18214 3 1 0 3624 50 0 0 25 0 11 0 1794596162 866652160 23045 4294967295 134512640 134569956 3221224336 3221214584 1131390540 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211585 23045 13129 16 0 211569 0 [pid=9597] vsize: 846340 Current children cumulated CPU time (s) 36.74 Current children cumulated vsize (Kb) 846340 [startup+50.0065 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9610 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18219 3 1 0 4576 51 0 0 22 0 11 0 1794596162 866652160 23136 4294967295 134512640 134569956 3221224336 3221214568 1131367028 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211585 23136 13129 16 0 211569 0 [pid=9597] vsize: 846340 Current children cumulated CPU time (s) 46.27 Current children cumulated vsize (Kb) 846340 One traced child (pid=9610) exited with status: 0 New thread pid=9611 [startup+60.0071 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9611 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18224 3 1 0 5526 51 0 0 23 0 11 0 1794596162 866652160 23294 4294967295 134512640 134569956 3221224336 3221214632 1131367175 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211585 23294 13129 16 0 211569 0 [pid=9597] vsize: 846340 Current children cumulated CPU time (s) 55.77 Current children cumulated vsize (Kb) 846340 One traced child (pid=9611) exited with status: 0 New thread pid=9612 New thread pid=9613 One traced child (pid=9612) exited with status: 0 [startup+70.0077 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9613 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18234 3 1 0 6463 52 0 0 17 0 11 0 1794596162 867180544 23547 4294967295 134512640 134569956 3221224336 3221214512 1131397368 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 23547 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 65.15 Current children cumulated vsize (Kb) 846856 [startup+80.0092 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9613 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18239 3 1 0 7412 52 0 0 25 0 11 0 1794596162 867180544 23732 4294967295 134512640 134569956 3221224336 3221214632 1131366971 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 23732 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 74.64 Current children cumulated vsize (Kb) 846856 [startup+90.0098 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9613 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18245 3 1 0 8350 52 0 0 25 0 11 0 1794596162 867180544 23965 4294967295 134512640 134569956 3221224336 3221214252 1131611748 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 23965 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 84.02 Current children cumulated vsize (Kb) 846856 One traced child (pid=9613) exited with status: 0 New thread pid=9614 [startup+100.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9614 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18251 6 1 0 9287 53 0 0 25 0 11 0 1794596162 867180544 24182 4294967295 134512640 134569956 3221224336 3221214608 1131392483 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 24182 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 93.4 Current children cumulated vsize (Kb) 846856 [startup+110.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9614 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18257 6 1 0 10235 53 0 0 25 0 11 0 1794596162 867180544 24328 4294967295 134512640 134569956 3221224336 3221214232 1080338882 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 24328 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 102.88 Current children cumulated vsize (Kb) 846856 [startup+120.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9614 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18263 6 1 0 11175 53 0 0 25 0 11 0 1794596162 867180544 24502 4294967295 134512640 134569956 3221224336 3221214712 1131358845 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 24502 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 112.28 Current children cumulated vsize (Kb) 846856 One traced child (pid=9614) exited with status: 0 New thread pid=9615 [startup+130.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9615 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18270 6 1 0 12113 54 0 0 19 0 11 0 1794596162 867180544 24670 4294967295 134512640 134569956 3221224336 3221214632 1131367028 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 24670 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 121.67 Current children cumulated vsize (Kb) 846856 [startup+140.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9615 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18276 6 1 0 13054 54 0 0 19 0 11 0 1794596162 867180544 24811 4294967295 134512640 134569956 3221224336 3221214496 1131397389 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 24811 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 131.08 Current children cumulated vsize (Kb) 846856 [startup+150.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9615 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18282 6 1 0 13996 55 0 0 25 0 11 0 1794596162 867180544 25025 4294967295 134512640 134569956 3221224336 3221214496 1131397328 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 25025 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 140.51 Current children cumulated vsize (Kb) 846856 [startup+160.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9615 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18288 6 1 0 14935 55 0 0 25 0 11 0 1794596162 867180544 25211 4294967295 134512640 134569956 3221224336 3221214512 1131541351 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 25211 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 149.9 Current children cumulated vsize (Kb) 846856 [startup+170.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9615 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18295 6 1 0 15878 55 0 0 25 0 11 0 1794596162 867180544 25388 4294967295 134512640 134569956 3221224336 3221214600 1131411253 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 25388 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 159.33 Current children cumulated vsize (Kb) 846856 One traced child (pid=9615) exited with status: 0 New thread pid=9616 [startup+180.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9616 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18301 6 1 0 16827 55 0 0 21 0 11 0 1794596162 867180544 25554 4294967295 134512640 134569956 3221224336 3221214800 1131364633 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 25554 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 168.82 Current children cumulated vsize (Kb) 846856 [startup+190.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9616 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18307 6 1 0 17772 56 0 0 19 0 11 0 1794596162 867180544 25668 4294967295 134512640 134569956 3221224336 3221214576 1131395243 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 25668 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 178.28 Current children cumulated vsize (Kb) 846856 [startup+200.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9616 Raw data (/proc/9597/stat): 9597 (java) S 9596 9597 22582 0 -1 0 18312 6 1 0 18716 57 0 0 17 0 11 0 1794596162 867180544 25816 4294967295 134512640 134569956 3221224336 3221213200 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 25816 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 187.73 Current children cumulated vsize (Kb) 846856 [startup+210.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9616 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18318 6 1 0 19671 57 0 0 23 0 11 0 1794596162 867180544 26045 4294967295 134512640 134569956 3221224336 3221214632 1131367028 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 26045 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 197.28 Current children cumulated vsize (Kb) 846856 [startup+220.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9616 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18322 6 1 0 20637 57 0 0 25 0 11 0 1794596162 867180544 26143 4294967295 134512640 134569956 3221224336 3221214696 1131403106 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 26143 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 206.94 Current children cumulated vsize (Kb) 846856 [startup+230.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9616 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18328 6 1 0 21582 57 0 0 25 0 11 0 1794596162 867180544 26199 4294967295 134512640 134569956 3221224336 3221214604 1131395113 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 26199 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 216.39 Current children cumulated vsize (Kb) 846856 [startup+240.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9616 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18333 6 1 0 22539 57 0 0 25 0 11 0 1794596162 867180544 26344 4294967295 134512640 134569956 3221224336 3221214608 1131392483 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 26344 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 225.96 Current children cumulated vsize (Kb) 846856 [startup+250.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9616 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18340 6 1 0 23492 58 0 0 25 0 11 0 1794596162 867180544 26556 4294967295 134512640 134569956 3221224336 3221214636 1131362515 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 26556 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 235.5 Current children cumulated vsize (Kb) 846856 One traced child (pid=9616) exited with status: 0 New thread pid=9617 [startup+260.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9617 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18344 6 1 0 24470 58 0 0 25 0 11 0 1794596162 867180544 26664 4294967295 134512640 134569956 3221224336 3221214820 1131364595 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 26664 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 245.28 Current children cumulated vsize (Kb) 846856 [startup+270.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9617 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18351 6 1 0 25435 58 0 0 25 0 11 0 1794596162 867180544 26824 4294967295 134512640 134569956 3221224336 3221214608 1131392451 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 26824 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 254.93 Current children cumulated vsize (Kb) 846856 [startup+280.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9617 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18357 6 1 0 26405 58 0 0 25 0 11 0 1794596162 867180544 27017 4294967295 134512640 134569956 3221224336 3221214572 1131395278 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 27017 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 264.63 Current children cumulated vsize (Kb) 846856 [startup+290.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9617 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18363 6 1 0 27373 59 0 0 25 0 11 0 1794596162 867180544 27017 4294967295 134512640 134569956 3221224336 3221214496 1131397148 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 27017 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 274.32 Current children cumulated vsize (Kb) 846856 [startup+300.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9617 Raw data (/proc/9597/stat): 9597 (java) S 9596 9597 22582 0 -1 0 18369 6 1 0 28337 60 0 0 25 0 11 0 1794596162 867180544 27017 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 27017 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 283.97 Current children cumulated vsize (Kb) 846856 [startup+310.017 s] Raw data (loadavg): 1.08 1.02 0.93 2/66 9617 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18374 6 1 0 29297 60 0 0 25 0 11 0 1794596162 867180544 27019 4294967295 134512640 134569956 3221224336 3221214496 1131397389 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 27019 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 293.57 Current children cumulated vsize (Kb) 846856 [startup+320.018 s] Raw data (loadavg): 1.07 1.02 0.93 2/66 9617 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18379 6 1 0 30263 60 0 0 25 0 11 0 1794596162 867180544 27146 4294967295 134512640 134569956 3221224336 3221214584 1131390488 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 27146 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 303.23 Current children cumulated vsize (Kb) 846856 One traced child (pid=9617) exited with status: 0 New thread pid=9618 [startup+330.018 s] Raw data (loadavg): 1.06 1.01 0.93 2/66 9618 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18385 6 1 0 31227 61 0 0 25 0 11 0 1794596162 867180544 27315 4294967295 134512640 134569956 3221224336 3221214632 1131367011 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 27315 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 312.88 Current children cumulated vsize (Kb) 846856 One traced child (pid=9618) exited with status: 0 New thread pid=9619 [startup+340.019 s] Raw data (loadavg): 1.05 1.01 0.93 2/66 9619 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18390 6 1 0 32199 61 0 0 20 0 11 0 1794596162 867180544 27434 4294967295 134512640 134569956 3221224336 3221214604 1131390432 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 27434 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 322.6 Current children cumulated vsize (Kb) 846856 [startup+350.019 s] Raw data (loadavg): 1.04 1.01 0.93 2/66 9619 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18395 6 1 0 33172 61 0 0 25 0 11 0 1794596162 867180544 27547 4294967295 134512640 134569956 3221224336 3221214632 1131367028 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 27547 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 332.33 Current children cumulated vsize (Kb) 846856 One traced child (pid=9619) exited with status: 0 New thread pid=9620 [startup+360.02 s] Raw data (loadavg): 1.03 1.01 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18400 6 1 0 34144 61 0 0 19 0 11 0 1794596162 867180544 27623 4294967295 134512640 134569956 3221224336 3221214208 1131650831 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 27623 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (Kb) 846856 [startup+370.02 s] Raw data (loadavg): 1.03 1.01 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18404 6 1 0 35117 62 0 0 25 0 11 0 1794596162 867180544 27623 4294967295 134512640 134569956 3221224336 3221214496 1131397689 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 27623 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 351.79 Current children cumulated vsize (Kb) 846856 [startup+380.02 s] Raw data (loadavg): 1.02 1.01 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18409 6 1 0 36075 62 0 0 25 0 11 0 1794596162 867180544 27658 4294967295 134512640 134569956 3221224336 3221214504 1131414728 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 27658 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 361.37 Current children cumulated vsize (Kb) 846856 [startup+390.021 s] Raw data (loadavg): 1.02 1.01 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18413 6 1 0 37039 62 0 0 25 0 11 0 1794596162 867180544 27714 4294967295 134512640 134569956 3221224336 3221214576 1131395177 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 27714 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 371.01 Current children cumulated vsize (Kb) 846856 [startup+400.021 s] Raw data (loadavg): 1.02 1.01 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18418 6 1 0 37992 62 0 0 25 0 11 0 1794596162 867180544 27786 4294967295 134512640 134569956 3221224336 3221214504 1131397389 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 27786 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 380.54 Current children cumulated vsize (Kb) 846856 [startup+410.022 s] Raw data (loadavg): 1.01 1.01 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18424 6 1 0 38953 62 0 0 25 0 11 0 1794596162 867180544 27868 4294967295 134512640 134569956 3221224336 3221214416 1131415307 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 27868 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 390.15 Current children cumulated vsize (Kb) 846856 [startup+420.022 s] Raw data (loadavg): 1.01 1.01 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18429 6 1 0 39906 62 0 0 25 0 11 0 1794596162 867180544 27994 4294967295 134512640 134569956 3221224336 3221214408 1131397389 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 27994 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 399.68 Current children cumulated vsize (Kb) 846856 [startup+430.023 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18435 6 1 0 40855 63 0 0 25 0 11 0 1794596162 867180544 28182 4294967295 134512640 134569956 3221224336 3221214488 1131395225 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 28182 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 409.18 Current children cumulated vsize (Kb) 846856 [startup+440.024 s] Raw data (loadavg): 1.01 1.00 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) S 9596 9597 22582 0 -1 0 18443 6 1 0 41808 63 0 0 25 0 11 0 1794596162 867180544 28421 4294967295 134512640 134569956 3221224336 3221213008 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 28421 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 418.71 Current children cumulated vsize (Kb) 846856 [startup+450.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18448 6 1 0 42785 64 0 0 25 0 11 0 1794596162 867180544 28580 4294967295 134512640 134569956 3221224336 3221214452 1131057164 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 28580 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 428.49 Current children cumulated vsize (Kb) 846856 [startup+460.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18453 6 1 0 43769 64 0 0 24 0 11 0 1794596162 867180544 28694 4294967295 134512640 134569956 3221224336 3221214476 1131364576 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 28694 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 438.33 Current children cumulated vsize (Kb) 846856 [startup+470.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18458 6 1 0 44755 65 0 0 25 0 11 0 1794596162 867180544 28787 4294967295 134512640 134569956 3221224336 3221214472 1131581033 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 28787 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 448.2 Current children cumulated vsize (Kb) 846856 [startup+480.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18463 6 1 0 45741 65 0 0 25 0 11 0 1794596162 867180544 28841 4294967295 134512640 134569956 3221224336 3221214716 1131358700 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 28841 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 458.06 Current children cumulated vsize (Kb) 846856 [startup+490.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18468 6 1 0 46723 65 0 0 25 0 11 0 1794596162 867180544 28841 4294967295 134512640 134569956 3221224336 3221214416 1131414635 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 28841 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 467.88 Current children cumulated vsize (Kb) 846856 [startup+500.026 s] Raw data (loadavg): 1.07 1.02 0.94 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18474 6 1 0 47696 65 0 0 25 0 11 0 1794596162 867180544 28841 4294967295 134512640 134569956 3221224336 3221214312 1131610449 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 28841 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 477.61 Current children cumulated vsize (Kb) 846856 [startup+510.026 s] Raw data (loadavg): 1.06 1.01 0.94 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18479 6 1 0 48672 65 0 0 25 0 11 0 1794596162 867180544 28850 4294967295 134512640 134569956 3221224336 3221214416 1131415269 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 28850 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 487.37 Current children cumulated vsize (Kb) 846856 [startup+520.027 s] Raw data (loadavg): 1.05 1.01 0.94 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18486 6 1 0 49635 65 0 0 16 0 11 0 1794596162 867180544 28894 4294967295 134512640 134569956 3221224336 3221214408 1131397389 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 28894 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 497 Current children cumulated vsize (Kb) 846856 [startup+530.029 s] Raw data (loadavg): 1.04 1.01 0.94 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18491 6 1 0 50610 66 0 0 18 0 11 0 1794596162 867180544 28982 4294967295 134512640 134569956 3221224336 3221214592 1131367063 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 28982 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 506.76 Current children cumulated vsize (Kb) 846856 [startup+540.028 s] Raw data (loadavg): 1.03 1.01 0.94 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18496 6 1 0 51586 66 0 0 25 0 11 0 1794596162 867180544 29075 4294967295 134512640 134569956 3221224336 3221214576 1131388188 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 29075 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 516.52 Current children cumulated vsize (Kb) 846856 [startup+550.028 s] Raw data (loadavg): 1.03 1.01 0.94 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18501 6 1 0 52562 66 0 0 25 0 11 0 1794596162 867180544 29172 4294967295 134512640 134569956 3221224336 3221214488 1131395180 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 29172 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 526.28 Current children cumulated vsize (Kb) 846856 [startup+560.029 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18506 6 1 0 53541 67 0 0 25 0 11 0 1794596162 867180544 29206 4294967295 134512640 134569956 3221224336 3221214452 1131057236 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 29206 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 536.08 Current children cumulated vsize (Kb) 846856 [startup+570.029 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 9620 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18513 6 1 0 54512 67 0 0 18 0 11 0 1794596162 867180544 29262 4294967295 134512640 134569956 3221224336 3221214408 1131397368 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 29262 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 545.79 Current children cumulated vsize (Kb) 846856 One traced child (pid=9620) exited with status: 0 New thread pid=9621 [startup+580.029 s] Raw data (loadavg): 1.02 1.01 0.94 2/66 9621 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18518 6 1 0 55487 67 0 0 21 0 11 0 1794596162 867180544 29296 4294967295 134512640 134569956 3221224336 3221214592 1131367255 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 29296 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 555.54 Current children cumulated vsize (Kb) 846856 [startup+590.03 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 9621 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18523 6 1 0 56459 68 0 0 25 0 11 0 1794596162 867180544 29350 4294967295 134512640 134569956 3221224336 3221214384 1131554531 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 29350 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 565.27 Current children cumulated vsize (Kb) 846856 [startup+600.03 s] Raw data (loadavg): 1.01 1.01 0.94 2/66 9621 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18528 6 1 0 57429 68 0 0 25 0 11 0 1794596162 867180544 29415 4294967295 134512640 134569956 3221224336 3221214416 1131417053 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 29415 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 574.97 Current children cumulated vsize (Kb) 846856 [startup+610.03 s] Raw data (loadavg): 1.01 1.00 0.94 2/66 9621 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18532 6 1 0 58402 69 0 0 25 0 11 0 1794596162 867180544 29485 4294967295 134512640 134569956 3221224336 3221214592 1131367233 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 29485 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 584.71 Current children cumulated vsize (Kb) 846856 [startup+620.031 s] Raw data (loadavg): 1.01 1.00 0.94 2/66 9621 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18537 6 1 0 59367 69 0 0 25 0 11 0 1794596162 867180544 29524 4294967295 134512640 134569956 3221224336 3221214512 1131411201 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 29524 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 594.36 Current children cumulated vsize (Kb) 846856 [startup+630.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9621 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18542 6 1 0 60333 70 0 0 24 0 11 0 1794596162 867180544 29602 4294967295 134512640 134569956 3221224336 3221214408 1131397368 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 29602 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 604.03 Current children cumulated vsize (Kb) 846856 [startup+640.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9621 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18547 6 1 0 61296 71 0 0 21 0 11 0 1794596162 867180544 29669 4294967295 134512640 134569956 3221224336 3221214512 1131411111 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 29669 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 613.67 Current children cumulated vsize (Kb) 846856 One traced child (pid=9621) exited with status: 0 New thread pid=9622 [startup+650.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18551 6 1 0 62265 71 0 1 25 0 11 0 1794596162 867180544 29753 4294967295 134512640 134569956 3221224336 3221214592 1131367469 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 29753 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 623.37 Current children cumulated vsize (Kb) 846856 [startup+660.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18556 6 1 0 63230 72 0 1 25 0 11 0 1794596162 867180544 29880 4294967295 134512640 134569956 3221224336 3221214480 1131367140 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 29880 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 633.03 Current children cumulated vsize (Kb) 846856 [startup+670.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18561 6 1 0 64199 72 0 1 25 0 11 0 1794596162 867180544 30037 4294967295 134512640 134569956 3221224336 3221214496 1131390472 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 30037 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 642.72 Current children cumulated vsize (Kb) 846856 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18566 6 1 0 65170 72 0 1 25 0 11 0 1794596162 867180544 30114 4294967295 134512640 134569956 3221224336 3221214456 1131364624 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 30114 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 652.43 Current children cumulated vsize (Kb) 846856 [startup+690.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18571 6 1 0 66144 72 0 1 25 0 11 0 1794596162 867180544 30195 4294967295 134512640 134569956 3221224336 3221214496 1131390503 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 30195 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 662.17 Current children cumulated vsize (Kb) 846856 [startup+700.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18577 6 1 0 67108 73 0 1 25 0 11 0 1794596162 867180544 30307 4294967295 134512640 134569956 3221224336 3221214408 1131397389 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 30307 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 671.82 Current children cumulated vsize (Kb) 846856 [startup+710.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18583 6 1 0 68074 73 0 1 23 0 11 0 1794596162 867180544 30418 4294967295 134512640 134569956 3221224336 3221214416 1131414960 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 30418 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 681.48 Current children cumulated vsize (Kb) 846856 [startup+720.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18588 6 1 0 69043 73 0 1 25 0 11 0 1794596162 867180544 30475 4294967295 134512640 134569956 3221224336 3221214592 1131367032 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 30475 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 691.17 Current children cumulated vsize (Kb) 846856 [startup+730.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18593 6 1 0 70010 74 0 1 25 0 11 0 1794596162 867180544 30555 4294967295 134512640 134569956 3221224336 3221214520 1131392608 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 30555 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 700.85 Current children cumulated vsize (Kb) 846856 [startup+740.038 s] Raw data (loadavg): 1.15 1.03 0.95 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18598 6 1 0 70976 74 0 1 25 0 11 0 1794596162 867180544 30595 4294967295 134512640 134569956 3221224336 3221214672 1131358720 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 30595 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 710.51 Current children cumulated vsize (Kb) 846856 [startup+750.038 s] Raw data (loadavg): 1.12 1.03 0.95 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18605 6 1 0 71930 75 0 1 25 0 11 0 1794596162 867180544 30719 4294967295 134512640 134569956 3221224336 3221214384 1131553167 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 30719 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 720.06 Current children cumulated vsize (Kb) 846856 [startup+760.039 s] Raw data (loadavg): 1.10 1.03 0.95 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18612 6 1 0 72894 75 0 1 17 0 11 0 1794596162 867180544 30890 4294967295 134512640 134569956 3221224336 3221214408 1131397577 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 30890 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 729.7 Current children cumulated vsize (Kb) 846856 [startup+770.039 s] Raw data (loadavg): 1.09 1.03 0.95 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18617 6 1 0 73874 75 0 1 18 0 11 0 1794596162 867180544 31007 4294967295 134512640 134569956 3221224336 3221214504 1131397023 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 31007 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 739.5 Current children cumulated vsize (Kb) 846856 [startup+780.04 s] Raw data (loadavg): 1.07 1.03 0.95 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18624 6 1 0 74852 75 0 1 25 0 11 0 1794596162 867180544 31097 4294967295 134512640 134569956 3221224336 3221214360 1131655496 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 31097 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 749.28 Current children cumulated vsize (Kb) 846856 [startup+790.04 s] Raw data (loadavg): 1.06 1.03 0.95 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18630 6 1 0 75825 76 0 1 25 0 11 0 1794596162 867180544 31172 4294967295 134512640 134569956 3221224336 3221214496 1131397194 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 31172 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 759.02 Current children cumulated vsize (Kb) 846856 [startup+800.041 s] Raw data (loadavg): 1.05 1.02 0.95 2/66 9622 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18636 6 1 0 76798 76 0 1 25 0 11 0 1794596162 867180544 31218 4294967295 134512640 134569956 3221224336 3221214496 1131397389 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 31218 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 768.75 Current children cumulated vsize (Kb) 846856 One traced child (pid=9622) exited with status: 0 New thread pid=9623 [startup+810.041 s] Raw data (loadavg): 1.04 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18640 6 1 0 77779 76 0 1 25 0 11 0 1794596162 867180544 31218 4294967295 134512640 134569956 3221224336 3221214552 1131495573 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 31218 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 778.56 Current children cumulated vsize (Kb) 846856 [startup+820.042 s] Raw data (loadavg): 1.04 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18646 6 1 0 78747 77 0 1 25 0 11 0 1794596162 867180544 31218 4294967295 134512640 134569956 3221224336 3221214284 1078904858 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 31218 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 788.25 Current children cumulated vsize (Kb) 846856 [startup+830.043 s] Raw data (loadavg): 1.03 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18652 6 1 0 79718 77 0 1 25 0 11 0 1794596162 867180544 31269 4294967295 134512640 134569956 3221224336 3221214500 1131621054 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 31269 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 797.96 Current children cumulated vsize (Kb) 846856 [startup+840.043 s] Raw data (loadavg): 1.02 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18656 6 1 0 80693 77 0 1 25 0 11 0 1794596162 867180544 31386 4294967295 134512640 134569956 3221224336 3221214608 1131392451 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 31386 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 807.71 Current children cumulated vsize (Kb) 846856 [startup+850.044 s] Raw data (loadavg): 1.02 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) S 9596 9597 22582 0 -1 0 18662 6 1 0 81659 77 0 1 25 0 11 0 1794596162 867180544 31475 4294967295 134512640 134569956 3221224336 3221213320 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 31475 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 817.37 Current children cumulated vsize (Kb) 846856 [startup+860.044 s] Raw data (loadavg): 1.02 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18666 6 1 0 82630 77 0 1 25 0 11 0 1794596162 867180544 31543 4294967295 134512640 134569956 3221224336 3221214504 1131397559 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 31543 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 827.08 Current children cumulated vsize (Kb) 846856 [startup+870.045 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18672 6 1 0 83587 78 0 1 25 0 11 0 1794596162 867180544 31590 4294967295 134512640 134569956 3221224336 3221214672 1131358720 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 31590 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 836.66 Current children cumulated vsize (Kb) 846856 [startup+880.045 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18678 6 1 0 84541 78 0 1 25 0 11 0 1794596162 867180544 31660 4294967295 134512640 134569956 3221224336 3221214504 1131415366 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 31660 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 846.2 Current children cumulated vsize (Kb) 846856 [startup+890.046 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18683 6 1 0 85505 78 0 1 25 0 11 0 1794596162 867180544 31735 4294967295 134512640 134569956 3221224336 3221214504 1131397518 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 31735 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 855.84 Current children cumulated vsize (Kb) 846856 [startup+900.045 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18689 6 1 0 86466 78 0 1 25 0 11 0 1794596162 867180544 31905 4294967295 134512640 134569956 3221224336 3221214536 1131398017 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 31905 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 865.45 Current children cumulated vsize (Kb) 846856 [startup+910.047 s] Raw data (loadavg): 1.08 1.03 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18693 6 1 0 87442 79 0 1 25 0 11 0 1794596162 867180544 32068 4294967295 134512640 134569956 3221224336 3221214616 1131390520 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32068 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 875.22 Current children cumulated vsize (Kb) 846856 [startup+920.048 s] Raw data (loadavg): 1.07 1.03 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18698 6 1 0 88414 79 0 1 25 0 11 0 1794596162 867180544 32178 4294967295 134512640 134569956 3221224336 3221214504 1131397405 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32178 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 884.94 Current children cumulated vsize (Kb) 846856 [startup+930.048 s] Raw data (loadavg): 1.06 1.03 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18703 6 1 0 89387 79 0 1 25 0 11 0 1794596162 867180544 32315 4294967295 134512640 134569956 3221224336 3221214576 1131395177 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 32315 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 894.67 Current children cumulated vsize (Kb) 846856 [startup+940.049 s] Raw data (loadavg): 1.05 1.03 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18709 6 1 0 90359 80 0 1 25 0 11 0 1794596162 867180544 32364 4294967295 134512640 134569956 3221224336 3221214504 1131385582 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 32364 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 904.4 Current children cumulated vsize (Kb) 846856 [startup+950.048 s] Raw data (loadavg): 1.04 1.03 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18715 6 1 0 91329 80 0 1 25 0 11 0 1794596162 867180544 32378 4294967295 134512640 134569956 3221224336 3221214572 1131395268 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 32378 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 914.1 Current children cumulated vsize (Kb) 846856 [startup+960.049 s] Raw data (loadavg): 1.03 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18721 6 1 0 92302 80 0 1 20 0 11 0 1794596162 867180544 32462 4294967295 134512640 134569956 3221224336 3221214504 1131397338 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 32462 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 923.83 Current children cumulated vsize (Kb) 846856 [startup+970.049 s] Raw data (loadavg): 1.03 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18727 6 1 0 93277 80 0 1 25 0 11 0 1794596162 867180544 32573 4294967295 134512640 134569956 3221224336 3221214504 1131415280 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32573 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 933.58 Current children cumulated vsize (Kb) 846856 [startup+980.051 s] Raw data (loadavg): 1.02 1.02 0.95 2/66 9623 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18733 6 1 0 94256 81 0 1 25 0 11 0 1794596162 867180544 32662 4294967295 134512640 134569956 3221224336 3221214504 1131417046 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32662 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 943.38 Current children cumulated vsize (Kb) 846856 One traced child (pid=9623) exited with status: 0 New thread pid=9624 [startup+990.052 s] Raw data (loadavg): 1.02 1.02 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18738 6 1 0 95238 81 0 1 25 0 11 0 1794596162 867180544 32709 4294967295 134512640 134569956 3221224336 3221214704 1131439394 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32709 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 953.2 Current children cumulated vsize (Kb) 846856 [startup+1000.05 s] Raw data (loadavg): 1.02 1.02 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18743 6 1 0 96219 81 0 1 25 0 11 0 1794596162 867180544 32743 4294967295 134512640 134569956 3221224336 3221214472 1131554486 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32743 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 963.01 Current children cumulated vsize (Kb) 846856 [startup+1010.05 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18749 6 1 0 97193 81 0 1 25 0 11 0 1794596162 867180544 32743 4294967295 134512640 134569956 3221224336 3221214592 1131367623 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32743 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 972.75 Current children cumulated vsize (Kb) 846856 [startup+1020.05 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18754 6 1 0 98167 82 0 1 25 0 11 0 1794596162 867180544 32772 4294967295 134512640 134569956 3221224336 3221214496 1131397292 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32772 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 982.5 Current children cumulated vsize (Kb) 846856 [startup+1030.05 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18760 6 1 0 99134 82 0 1 24 0 11 0 1794596162 867180544 32844 4294967295 134512640 134569956 3221224336 3221214672 1131358763 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32844 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 992.17 Current children cumulated vsize (Kb) 846856 [startup+1040.05 s] Raw data (loadavg): 1.01 1.02 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18764 6 1 0 100110 82 0 1 25 0 11 0 1794596162 867180544 32867 4294967295 134512640 134569956 3221224336 3221214504 1131415377 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32867 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (Kb) 846856 [startup+1050.05 s] Raw data (loadavg): 1.00 1.02 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18768 6 1 0 101083 83 0 1 25 0 11 0 1794596162 867180544 32889 4294967295 134512640 134569956 3221224336 3221214584 1131390592 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 32889 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1011.67 Current children cumulated vsize (Kb) 846856 [startup+1060.05 s] Raw data (loadavg): 1.00 1.02 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18774 6 1 0 102046 83 0 1 25 0 11 0 1794596162 867180544 33017 4294967295 134512640 134569956 3221224336 3221214504 1131414635 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 33017 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1021.3 Current children cumulated vsize (Kb) 846856 [startup+1070.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18778 6 1 0 103022 83 0 1 25 0 11 0 1794596162 867180544 33076 4294967295 134512640 134569956 3221224336 3221214504 1131397368 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 33076 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1031.06 Current children cumulated vsize (Kb) 846856 [startup+1080.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18782 6 1 0 103997 83 0 1 25 0 11 0 1794596162 867180544 33138 4294967295 134512640 134569956 3221224336 3221214540 1131057189 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 33138 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1040.81 Current children cumulated vsize (Kb) 846856 [startup+1090.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18788 6 1 0 104963 83 0 1 16 0 11 0 1794596162 867180544 33225 4294967295 134512640 134569956 3221224336 3221214496 1131397673 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 33225 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1050.47 Current children cumulated vsize (Kb) 846856 [startup+1100.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18793 6 1 0 105936 84 0 1 25 0 11 0 1794596162 867180544 33323 4294967295 134512640 134569956 3221224336 3221214544 1131364616 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 33323 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1060.21 Current children cumulated vsize (Kb) 846856 [startup+1110.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18797 6 1 0 106916 84 0 1 25 0 11 0 1794596162 867180544 33441 4294967295 134512640 134569956 3221224336 3221214584 1131397389 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 33441 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1070.01 Current children cumulated vsize (Kb) 846856 [startup+1120.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18802 6 1 0 107892 84 0 1 25 0 11 0 1794596162 867180544 33480 4294967295 134512640 134569956 3221224336 3221214232 1080339190 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 33480 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1079.77 Current children cumulated vsize (Kb) 846856 [startup+1130.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18807 6 1 0 108868 84 0 1 25 0 11 0 1794596162 867180544 33550 4294967295 134512640 134569956 3221224336 3221214496 1131397628 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 33550 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1089.53 Current children cumulated vsize (Kb) 846856 [startup+1140.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18812 6 1 0 109847 84 0 1 25 0 11 0 1794596162 867180544 33648 4294967295 134512640 134569956 3221224336 3221214604 1131395104 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 33648 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1099.32 Current children cumulated vsize (Kb) 846856 [startup+1150.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18816 6 1 0 110830 85 0 1 25 0 11 0 1794596162 867180544 33678 4294967295 134512640 134569956 3221224336 3221214716 1131363101 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 33678 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1109.16 Current children cumulated vsize (Kb) 846856 [startup+1160.06 s] Raw data (loadavg): 1.00 1.01 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18821 6 1 0 111809 85 0 1 16 0 11 0 1794596162 867180544 33702 4294967295 134512640 134569956 3221224336 3221214564 1131364576 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 33702 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1118.95 Current children cumulated vsize (Kb) 846856 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18825 6 1 0 112792 86 0 1 25 0 11 0 1794596162 867180544 33737 4294967295 134512640 134569956 3221224336 3221214376 1131367287 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 33737 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1128.79 Current children cumulated vsize (Kb) 846856 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18831 6 1 0 113769 86 0 1 24 0 11 0 1794596162 867180544 33830 4294967295 134512640 134569956 3221224336 3221214576 1131395272 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 33830 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1138.56 Current children cumulated vsize (Kb) 846856 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18836 6 1 0 114751 87 0 1 25 0 11 0 1794596162 867180544 33888 4294967295 134512640 134569956 3221224336 3221214584 1131390457 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 33888 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1148.39 Current children cumulated vsize (Kb) 846856 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18842 6 1 0 115730 87 0 1 25 0 11 0 1794596162 867180544 33939 4294967295 134512640 134569956 3221224336 3221214496 1131397303 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 33939 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1158.18 Current children cumulated vsize (Kb) 846856 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18846 6 1 0 116715 87 0 1 25 0 11 0 1794596162 867180544 33968 4294967295 134512640 134569956 3221224336 3221214496 1131657923 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 33968 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1168.03 Current children cumulated vsize (Kb) 846856 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18851 6 1 0 117695 88 0 1 25 0 11 0 1794596162 867180544 34049 4294967295 134512640 134569956 3221224336 3221214608 1131392483 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 34049 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1177.84 Current children cumulated vsize (Kb) 846856 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18857 6 1 0 118670 88 0 1 16 0 11 0 1794596162 867180544 34116 4294967295 134512640 134569956 3221224336 3221214352 1131750830 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 34116 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1187.59 Current children cumulated vsize (Kb) 846856 [startup+1240.06 s] Raw data (loadavg): 1.08 1.02 0.96 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18863 6 1 0 119646 89 0 1 25 0 11 0 1794596162 867180544 34125 4294967295 134512640 134569956 3221224336 3221214584 1131370188 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9597/statm): 211714 34125 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1197.36 Current children cumulated vsize (Kb) 846856 [startup+1250.06 s] Raw data (loadavg): 1.07 1.02 0.96 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18868 6 1 0 120627 89 0 1 25 0 11 0 1794596162 867180544 34154 4294967295 134512640 134569956 3221224336 3221214408 1131763702 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 34154 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1207.17 Current children cumulated vsize (Kb) 846856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1250.06 s] Raw data (loadavg): 1.07 1.02 0.96 2/66 9624 Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18868 6 1 0 120627 89 0 1 25 0 11 0 1794596162 867180544 34154 4294967295 134512640 134569956 3221224336 3221214552 1131495995 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9597/statm): 211714 34154 13129 16 0 211698 0 [pid=9597] vsize: 846856 Current children cumulated CPU time (s) 1207.17 Current children cumulated vsize (Kb) 846856 Sending SIGTERM to -9597 Sleeping 2 seconds New thread pid=9626 New thread pid=9627 One traced child (pid=9627) exited with status: 0 One traced child (pid=9606) exited with status: 0 One traced child (pid=9601) exited with status: 0 One traced child (pid=9598) exited with status: 143 One traced child (pid=9599) exited with status: 143 One traced child (pid=9600) exited with status: 143 One traced child (pid=9602) exited with status: 143 One traced child (pid=9605) exited with status: 143 One traced child (pid=9603) exited with status: 143 One traced child (pid=9624) exited with status: 143 One traced child (pid=9626) exited with status: 143 One traced child (pid=9604) exited with status: 143 One traced child (pid=9597) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1250.35 CPU time (s): 1258.8 CPU user time (s): 1256.99 CPU system time (s): 1.80472 CPU usage (%): 100.676 Max. virtual memory (cumulated for all children) (Kb): 846856
Verifier: OK 368