Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
MD5SUM | 94f501465233508e2f652cf118ddaf2d |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -33 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 760 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.04 |
Number of variables | 760 |
Total number of constraints | 41314 |
Number of constraints which are clauses | 41314 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
LAUNCH ON wulflinc23 THE 2005-09-18 23:18:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6211 boxname=wulflinc23 idbench=351 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 94f501465233508e2f652cf118ddaf2d /oldhome/oroussel/tmp/wulflinc23/normalized-frb40-19-1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc23/normalized-frb40-19-1.opb IDLAUNCH: 6211 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 3 cpu MHz : 451.037 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: 897556 kB Buffers: 33716 kB Cached: 75856 kB SwapCached: 792 kB Active: 59360 kB Inactive: 52812 kB HighTotal: 131008 kB HighFree: 52024 kB LowTotal: 903652 kB LowFree: 845532 kB SwapTotal: 2097136 kB SwapFree: 2095868 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5692 kB Slab: 19384 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 23:39:13 (client local time) WITH STATUS 143 IN 1217.32 SECONDS stats: 6211 0 1217.32 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/wulflinc23/normalized-frb40-19-1.opb c reading problem ... done. Time 7.581 ms. c #vars 760 c #constraints 41314 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 0 Current CPU time: 8.07 ms c CURRENT OPTIMUM= -1 Current CPU time: 8.21 ms c CURRENT OPTIMUM= -2 Current CPU time: 10.23 ms c CURRENT OPTIMUM= -3 Current CPU time: 16.83 ms c CURRENT OPTIMUM= -27 Current CPU time: 30.23 ms c CURRENT OPTIMUM= -28 Current CPU time: 179.79 ms c starts : 9 c conflicts : 280 c decisions : 5407 c propagations : 11289 c inspects : 110741 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 279 c root simplifications : 9 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 0 c speed (decisions/second) : 5.204247713336137 c non guided choices 5194 c random choices 0 s SATISFIABLE v -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 C632 -C631 -C630 -C629 -C628 C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 C422 -C421 -C420 -C419 -C418 -C417 -C416 C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 C326 -C325 -C324 -C323 -C322 C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 C231 -C230 -C229 -C228 -C227 C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 c objective function=-28 c Total CPU time (ms) : 1218.787
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/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845169925 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 39 3 38 16 0 23 0 [pid=17952] 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/17952 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=17953 New thread pid=17954 New thread pid=17955 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=17956 New thread pid=17957 New thread pid=17958 New thread pid=17959 New thread pid=17960 New thread pid=17961 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/wulflinc23/normalized-frb40-19-1.opb New thread pid=17962 One traced child (pid=17962) exited with status: 0 New thread pid=17963 One traced child (pid=17963) exited with status: 0 New thread pid=17964 [startup+10.0016 s] Raw data (loadavg): 1.09 1.02 0.96 3/66 17964 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18189 3 1 0 705 59 0 0 19 0 11 0 1845169925 856358912 22705 4294967295 134512640 134569956 3221224336 3221214456 1131089606 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209072 22705 13129 16 0 209056 0 [pid=17952] vsize: 836288 Current children cumulated CPU time (s) 7.64 Current children cumulated vsize (Kb) 836288 One traced child (pid=17964) exited with status: 0 New thread pid=17965 One traced child (pid=17965) exited with status: 0 New thread pid=17966 [startup+20.0022 s] Raw data (loadavg): 1.22 1.05 0.97 2/66 17966 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18203 3 1 0 1537 60 0 0 16 0 11 0 1845169925 857341952 27393 4294967295 134512640 134569956 3221224336 3221214488 1131526757 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209312 27393 13129 16 0 209296 0 [pid=17952] vsize: 837248 Current children cumulated CPU time (s) 15.97 Current children cumulated vsize (Kb) 837248 [startup+30.0029 s] Raw data (loadavg): 1.26 1.06 0.98 2/66 17966 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18211 3 1 0 2462 60 0 0 23 0 11 0 1845169925 857341952 28212 4294967295 134512640 134569956 3221224336 3221214748 1131526176 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209312 28212 13129 16 0 209296 0 [pid=17952] vsize: 837248 Current children cumulated CPU time (s) 25.22 Current children cumulated vsize (Kb) 837248 One traced child (pid=17966) exited with status: 0 New thread pid=17967 [startup+40.0035 s] Raw data (loadavg): 1.30 1.08 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18220 3 1 0 3382 60 0 0 25 0 11 0 1845169925 859746304 29313 4294967295 134512640 134569956 3221224336 3221214520 1131450337 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209899 29313 13129 16 0 209883 0 [pid=17952] vsize: 839596 Current children cumulated CPU time (s) 34.42 Current children cumulated vsize (Kb) 839596 [startup+50.0041 s] Raw data (loadavg): 1.26 1.07 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18229 3 1 0 4289 61 0 0 22 0 11 0 1845169925 858963968 29714 4294967295 134512640 134569956 3221224336 3221214520 1131451252 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 29714 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 43.5 Current children cumulated vsize (Kb) 838832 [startup+60.0048 s] Raw data (loadavg): 1.22 1.07 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18236 3 1 0 5204 61 0 0 18 0 11 0 1845169925 858963968 29856 4294967295 134512640 134569956 3221224336 3221214520 1131450911 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 29856 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 52.65 Current children cumulated vsize (Kb) 838832 [startup+70.0054 s] Raw data (loadavg): 1.18 1.07 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) S 17951 17952 5299 0 -1 0 18241 3 1 0 6150 62 0 0 17 0 11 0 1845169925 858963968 30123 4294967295 134512640 134569956 3221224336 3221213264 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 30123 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 62.12 Current children cumulated vsize (Kb) 838832 [startup+80.0061 s] Raw data (loadavg): 1.15 1.06 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18246 3 1 0 7116 62 0 0 19 0 11 0 1845169925 858963968 30434 4294967295 134512640 134569956 3221224336 3221214520 1131450716 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 30434 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 71.78 Current children cumulated vsize (Kb) 838832 [startup+90.0077 s] Raw data (loadavg): 1.13 1.06 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18249 3 1 0 8098 62 0 0 25 0 11 0 1845169925 858963968 30607 4294967295 134512640 134569956 3221224336 3221214408 1131700636 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 30607 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 81.6 Current children cumulated vsize (Kb) 838832 [startup+100.007 s] Raw data (loadavg): 1.11 1.06 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18252 3 1 0 9081 62 0 0 25 0 11 0 1845169925 858963968 30829 4294967295 134512640 134569956 3221224336 3221214616 1131572647 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 30829 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 91.43 Current children cumulated vsize (Kb) 838832 [startup+110.008 s] Raw data (loadavg): 1.09 1.06 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18255 3 1 0 10065 63 0 0 25 0 11 0 1845169925 858963968 30856 4294967295 134512640 134569956 3221224336 3221214520 1131450911 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 30856 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 101.28 Current children cumulated vsize (Kb) 838832 [startup+120.01 s] Raw data (loadavg): 1.08 1.05 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18259 3 1 0 11046 63 0 0 21 0 11 0 1845169925 858963968 31090 4294967295 134512640 134569956 3221224336 3221214512 1131635833 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 31090 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 111.09 Current children cumulated vsize (Kb) 838832 [startup+130.009 s] Raw data (loadavg): 1.06 1.05 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18261 3 1 0 12037 63 0 0 25 0 11 0 1845169925 858963968 31090 4294967295 134512640 134569956 3221224336 3221214520 1131450969 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 31090 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 121 Current children cumulated vsize (Kb) 838832 [startup+140.01 s] Raw data (loadavg): 1.05 1.05 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18265 3 1 0 13017 64 0 0 25 0 11 0 1845169925 858963968 31211 4294967295 134512640 134569956 3221224336 3221214512 1131635492 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 31211 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 130.81 Current children cumulated vsize (Kb) 838832 [startup+150.011 s] Raw data (loadavg): 1.05 1.05 0.98 3/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18269 3 1 0 13997 64 0 0 25 0 11 0 1845169925 858963968 31446 4294967295 134512640 134569956 3221224336 3221214520 1131450969 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 31446 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 140.61 Current children cumulated vsize (Kb) 838832 [startup+160.01 s] Raw data (loadavg): 1.04 1.05 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18271 3 1 0 14987 64 0 0 25 0 11 0 1845169925 858963968 31446 4294967295 134512640 134569956 3221224336 3221214552 1131474382 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 31446 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 150.51 Current children cumulated vsize (Kb) 838832 [startup+170.011 s] Raw data (loadavg): 1.03 1.04 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18274 3 1 0 15971 65 0 0 25 0 11 0 1845169925 858963968 31752 4294967295 134512640 134569956 3221224336 3221214552 1131474124 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 31752 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 160.36 Current children cumulated vsize (Kb) 838832 [startup+180.011 s] Raw data (loadavg): 1.03 1.04 0.98 2/66 17967 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18276 3 1 0 16959 65 0 0 25 0 11 0 1845169925 858963968 32356 4294967295 134512640 134569956 3221224336 3221214488 1131474394 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 32356 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 170.24 Current children cumulated vsize (Kb) 838832 One traced child (pid=17967) exited with status: 0 New thread pid=17968 [startup+190.012 s] Raw data (loadavg): 1.02 1.04 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18284 3 1 0 17919 65 0 0 18 0 11 0 1845169925 858963968 32356 4294967295 134512640 134569956 3221224336 3221214520 1131450689 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 32356 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (Kb) 838832 [startup+200.013 s] Raw data (loadavg): 1.02 1.04 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18287 3 1 0 18902 66 0 0 25 0 11 0 1845169925 858963968 32356 4294967295 134512640 134569956 3221224336 3221214552 1131474247 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 32356 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 189.68 Current children cumulated vsize (Kb) 838832 [startup+210.012 s] Raw data (loadavg): 1.02 1.04 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18287 3 1 0 19902 66 0 0 25 0 11 0 1845169925 858963968 32356 4294967295 134512640 134569956 3221224336 3221214552 1131474313 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 32356 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 199.68 Current children cumulated vsize (Kb) 838832 [startup+220.013 s] Raw data (loadavg): 1.01 1.04 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18287 3 1 0 20902 66 0 0 25 0 11 0 1845169925 858963968 32356 4294967295 134512640 134569956 3221224336 3221214488 1131474203 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 32356 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 209.68 Current children cumulated vsize (Kb) 838832 [startup+230.013 s] Raw data (loadavg): 1.01 1.03 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18287 3 1 0 21902 66 0 0 25 0 11 0 1845169925 858963968 32356 4294967295 134512640 134569956 3221224336 3221214552 1131474380 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 32356 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 219.68 Current children cumulated vsize (Kb) 838832 [startup+240.013 s] Raw data (loadavg): 1.01 1.03 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18288 3 1 0 22895 66 0 0 25 0 11 0 1845169925 858963968 32613 4294967295 134512640 134569956 3221224336 3221214528 1131427403 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 32613 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 229.61 Current children cumulated vsize (Kb) 838832 [startup+250.013 s] Raw data (loadavg): 1.01 1.03 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18290 3 1 0 23882 66 0 0 25 0 11 0 1845169925 858963968 33165 4294967295 134512640 134569956 3221224336 3221214552 1131474555 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 33165 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 239.48 Current children cumulated vsize (Kb) 838832 [startup+260.014 s] Raw data (loadavg): 1.00 1.03 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18290 3 1 0 24882 66 0 0 25 0 11 0 1845169925 858963968 33165 4294967295 134512640 134569956 3221224336 3221214488 1131474255 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 33165 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 249.48 Current children cumulated vsize (Kb) 838832 [startup+270.014 s] Raw data (loadavg): 1.00 1.03 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18293 3 1 0 25866 66 0 0 25 0 11 0 1845169925 858963968 33817 4294967295 134512640 134569956 3221224336 3221214552 1131474287 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 33817 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 259.32 Current children cumulated vsize (Kb) 838832 [startup+280.014 s] Raw data (loadavg): 1.00 1.03 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18293 3 1 0 26865 67 0 0 25 0 11 0 1845169925 858963968 33817 4294967295 134512640 134569956 3221224336 3221214488 1131474092 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 33817 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 269.32 Current children cumulated vsize (Kb) 838832 [startup+290.014 s] Raw data (loadavg): 1.00 1.03 0.98 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18297 3 1 0 27850 67 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214512 1131635961 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 279.17 Current children cumulated vsize (Kb) 838832 [startup+300.015 s] Raw data (loadavg): 1.07 1.04 0.99 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18297 3 1 0 28850 68 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214408 1131700820 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 289.18 Current children cumulated vsize (Kb) 838832 [startup+310.015 s] Raw data (loadavg): 1.06 1.04 0.99 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18297 3 1 0 29850 68 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214496 1131474180 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 299.18 Current children cumulated vsize (Kb) 838832 [startup+320.015 s] Raw data (loadavg): 1.13 1.05 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18297 3 1 0 30850 68 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214520 1131427415 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 309.18 Current children cumulated vsize (Kb) 838832 [startup+330.016 s] Raw data (loadavg): 1.11 1.05 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18298 3 1 0 31847 68 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214512 1131635602 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 319.15 Current children cumulated vsize (Kb) 838832 [startup+340.017 s] Raw data (loadavg): 1.09 1.05 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18298 3 1 0 32848 68 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214520 1131450689 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 329.16 Current children cumulated vsize (Kb) 838832 [startup+350.017 s] Raw data (loadavg): 1.15 1.06 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18301 3 1 0 33837 68 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214488 1131474140 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 339.05 Current children cumulated vsize (Kb) 838832 [startup+360.018 s] Raw data (loadavg): 1.13 1.06 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18301 3 1 0 34837 69 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214552 1131474190 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 349.06 Current children cumulated vsize (Kb) 838832 [startup+370.019 s] Raw data (loadavg): 1.11 1.06 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18302 3 1 0 35831 69 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214488 1131474227 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 359 Current children cumulated vsize (Kb) 838832 [startup+380.019 s] Raw data (loadavg): 1.09 1.06 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18302 3 1 0 36830 69 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214488 1131474239 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 368.99 Current children cumulated vsize (Kb) 838832 [startup+390.02 s] Raw data (loadavg): 1.08 1.05 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18302 3 1 0 37830 69 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214552 1131474382 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 378.99 Current children cumulated vsize (Kb) 838832 [startup+400.02 s] Raw data (loadavg): 1.06 1.05 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18302 3 1 0 38831 69 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214488 1131474354 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 389 Current children cumulated vsize (Kb) 838832 [startup+410.02 s] Raw data (loadavg): 1.05 1.05 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18302 3 1 0 39831 69 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214488 1131474330 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 399 Current children cumulated vsize (Kb) 838832 [startup+420.021 s] Raw data (loadavg): 1.05 1.05 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18302 3 1 0 40831 69 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214552 1131473641 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 409 Current children cumulated vsize (Kb) 838832 [startup+430.02 s] Raw data (loadavg): 1.04 1.05 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18302 3 1 0 41831 69 0 0 25 0 11 0 1845169925 858963968 34504 4294967295 134512640 134569956 3221224336 3221214552 1131474102 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 34504 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 419 Current children cumulated vsize (Kb) 838832 [startup+440.021 s] Raw data (loadavg): 1.03 1.04 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18305 3 1 0 42816 69 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214520 1131450961 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 428.85 Current children cumulated vsize (Kb) 838832 [startup+450.022 s] Raw data (loadavg): 1.03 1.04 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18309 3 1 0 43813 70 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214552 1131474231 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 438.83 Current children cumulated vsize (Kb) 838832 [startup+460.021 s] Raw data (loadavg): 1.02 1.04 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18309 3 1 0 44813 70 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214496 1131474213 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 448.83 Current children cumulated vsize (Kb) 838832 [startup+470.022 s] Raw data (loadavg): 1.02 1.04 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18310 3 1 0 45813 70 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214408 1131700649 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 458.83 Current children cumulated vsize (Kb) 838832 [startup+480.023 s] Raw data (loadavg): 1.02 1.04 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18310 3 1 0 46812 70 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214552 1131474265 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 468.82 Current children cumulated vsize (Kb) 838832 [startup+490.023 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18310 3 1 0 47811 71 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214552 1131474313 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 478.82 Current children cumulated vsize (Kb) 838832 [startup+500.024 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18310 3 1 0 48811 71 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214488 1131474176 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 488.82 Current children cumulated vsize (Kb) 838832 [startup+510.023 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18310 3 1 0 49811 71 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214488 1131474180 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 498.82 Current children cumulated vsize (Kb) 838832 [startup+520.023 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18310 3 1 0 50812 71 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214496 1131474354 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 508.83 Current children cumulated vsize (Kb) 838832 [startup+530.024 s] Raw data (loadavg): 1.00 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18311 3 1 0 51808 71 0 0 16 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214488 1131474209 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 518.79 Current children cumulated vsize (Kb) 838832 [startup+540.025 s] Raw data (loadavg): 1.00 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18311 3 1 0 52808 71 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214512 1131709911 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 528.79 Current children cumulated vsize (Kb) 838832 [startup+550.025 s] Raw data (loadavg): 1.00 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18311 3 1 0 53808 71 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214496 1131474080 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 538.79 Current children cumulated vsize (Kb) 838832 [startup+560.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18311 3 1 0 54808 71 0 0 25 0 11 0 1845169925 858963968 36405 4294967295 134512640 134569956 3221224336 3221214408 1131704459 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36405 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 548.79 Current children cumulated vsize (Kb) 838832 [startup+570.026 s] Raw data (loadavg): 1.08 1.04 1.01 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18312 3 1 0 55806 71 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131700636 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 558.77 Current children cumulated vsize (Kb) 838832 [startup+580.026 s] Raw data (loadavg): 1.07 1.04 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18312 3 1 0 56806 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131700887 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 568.78 Current children cumulated vsize (Kb) 838832 [startup+590.027 s] Raw data (loadavg): 1.06 1.04 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18312 3 1 0 57806 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131700624 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 578.78 Current children cumulated vsize (Kb) 838832 [startup+600.027 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18312 3 1 0 58806 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131700901 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 588.78 Current children cumulated vsize (Kb) 838832 [startup+610.027 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18312 3 1 0 59806 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131700919 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 598.78 Current children cumulated vsize (Kb) 838832 [startup+620.027 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18312 3 1 0 60806 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131700830 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 608.78 Current children cumulated vsize (Kb) 838832 [startup+630.028 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18312 3 1 0 61807 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131700645 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 618.79 Current children cumulated vsize (Kb) 838832 [startup+640.029 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18312 3 1 0 62807 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214496 1131474265 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 628.79 Current children cumulated vsize (Kb) 838832 [startup+650.029 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18312 3 1 0 63807 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131700847 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 638.79 Current children cumulated vsize (Kb) 838832 [startup+660.029 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18313 3 1 0 64806 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131700830 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 648.78 Current children cumulated vsize (Kb) 838832 [startup+670.03 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18313 3 1 0 65806 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131700853 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 658.78 Current children cumulated vsize (Kb) 838832 [startup+680.029 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18313 3 1 0 66806 72 0 0 25 0 11 0 1845169925 858963968 36466 4294967295 134512640 134569956 3221224336 3221214408 1131704463 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 36466 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 668.78 Current children cumulated vsize (Kb) 838832 [startup+690.03 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18317 3 1 0 67795 73 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214520 1131450791 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 678.68 Current children cumulated vsize (Kb) 838832 [startup+700.031 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18321 3 1 0 68793 73 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131704532 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 688.66 Current children cumulated vsize (Kb) 838832 [startup+710.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18321 3 1 0 69792 73 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214488 1131474205 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 698.65 Current children cumulated vsize (Kb) 838832 [startup+720.032 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18322 3 1 0 70791 73 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131704425 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 708.64 Current children cumulated vsize (Kb) 838832 [startup+730.032 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18322 3 1 0 71790 73 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131704499 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 718.63 Current children cumulated vsize (Kb) 838832 [startup+740.032 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18322 3 1 0 72790 73 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131700644 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 728.63 Current children cumulated vsize (Kb) 838832 [startup+750.033 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18322 3 1 0 73790 73 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131700802 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 738.63 Current children cumulated vsize (Kb) 838832 [startup+760.032 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18322 3 1 0 74791 73 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214392 1131671914 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 748.64 Current children cumulated vsize (Kb) 838832 [startup+770.033 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18322 3 1 0 75791 73 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131704347 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 758.64 Current children cumulated vsize (Kb) 838832 [startup+780.034 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18323 3 1 0 76789 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214496 1131474231 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 768.63 Current children cumulated vsize (Kb) 838832 [startup+790.034 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18323 3 1 0 77789 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131704463 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 778.63 Current children cumulated vsize (Kb) 838832 [startup+800.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18323 3 1 0 78789 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214496 1131474382 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 788.63 Current children cumulated vsize (Kb) 838832 [startup+810.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18328 3 1 0 79781 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214616 1131603684 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 798.55 Current children cumulated vsize (Kb) 838832 [startup+820.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18331 3 1 0 80775 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214512 1131635713 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 808.49 Current children cumulated vsize (Kb) 838832 [startup+830.036 s] Raw data (loadavg): 1.07 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18331 3 1 0 81776 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214488 1131474231 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 818.5 Current children cumulated vsize (Kb) 838832 [startup+840.038 s] Raw data (loadavg): 1.06 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18331 3 1 0 82776 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214512 1131635713 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 828.5 Current children cumulated vsize (Kb) 838832 [startup+850.038 s] Raw data (loadavg): 1.05 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18331 3 1 0 83776 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214496 1131474197 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 838.5 Current children cumulated vsize (Kb) 838832 [startup+860.038 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18332 3 1 0 84774 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131704553 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 848.48 Current children cumulated vsize (Kb) 838832 [startup+870.038 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18332 3 1 0 85774 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131704477 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 858.48 Current children cumulated vsize (Kb) 838832 [startup+880.039 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18332 3 1 0 86774 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214496 1131474113 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 868.48 Current children cumulated vsize (Kb) 838832 [startup+890.04 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18332 3 1 0 87774 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131704416 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 878.48 Current children cumulated vsize (Kb) 838832 [startup+900.04 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18332 3 1 0 88775 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131700772 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 888.49 Current children cumulated vsize (Kb) 838832 [startup+910.04 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18332 3 1 0 89775 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131700834 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 898.49 Current children cumulated vsize (Kb) 838832 [startup+920.041 s] Raw data (loadavg): 1.09 1.03 1.01 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18333 3 1 0 90772 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131700632 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 908.46 Current children cumulated vsize (Kb) 838832 [startup+930.04 s] Raw data (loadavg): 1.08 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18333 3 1 0 91772 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131700872 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 918.46 Current children cumulated vsize (Kb) 838832 [startup+940.041 s] Raw data (loadavg): 1.07 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18339 3 1 0 92753 74 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214520 1131450791 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 928.27 Current children cumulated vsize (Kb) 838832 [startup+950.042 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18341 3 1 0 93746 75 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214552 1131474309 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 938.21 Current children cumulated vsize (Kb) 838832 [startup+960.042 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18341 3 1 0 94745 75 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131700697 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 948.2 Current children cumulated vsize (Kb) 838832 [startup+970.043 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18341 3 1 0 95746 75 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214512 1131635492 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 958.21 Current children cumulated vsize (Kb) 838832 [startup+980.043 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18341 3 1 0 96746 75 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214408 1131704408 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 968.21 Current children cumulated vsize (Kb) 838832 [startup+990.044 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18341 3 1 0 97746 75 0 0 25 0 11 0 1845169925 858963968 37455 4294967295 134512640 134569956 3221224336 3221214496 1131474380 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37455 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 978.21 Current children cumulated vsize (Kb) 838832 [startup+1000.04 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18342 3 1 0 98743 75 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214512 1131635787 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 988.18 Current children cumulated vsize (Kb) 838832 [startup+1010.05 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18342 3 1 0 99742 75 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214408 1131704367 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 998.17 Current children cumulated vsize (Kb) 838832 [startup+1020.05 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18342 3 1 0 100742 75 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214496 1131474392 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1008.17 Current children cumulated vsize (Kb) 838832 [startup+1030.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18342 3 1 0 101743 75 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214408 1131700784 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1018.18 Current children cumulated vsize (Kb) 838832 [startup+1040.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18342 3 1 0 102743 75 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214408 1131700638 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1028.18 Current children cumulated vsize (Kb) 838832 [startup+1050.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18348 3 1 0 103721 76 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214520 1131450875 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1037.97 Current children cumulated vsize (Kb) 838832 [startup+1060.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18351 3 1 0 104711 76 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214512 1131635747 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1047.87 Current children cumulated vsize (Kb) 838832 [startup+1070.05 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18351 3 1 0 105711 76 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214488 1131474221 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1057.87 Current children cumulated vsize (Kb) 838832 [startup+1080.05 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18351 3 1 0 106711 76 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214408 1131700874 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1067.87 Current children cumulated vsize (Kb) 838832 [startup+1090.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18351 3 1 0 107711 76 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214408 1131700913 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1077.87 Current children cumulated vsize (Kb) 838832 [startup+1100.05 s] Raw data (loadavg): 1.08 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18351 3 1 0 108711 76 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214408 1131700883 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1087.87 Current children cumulated vsize (Kb) 838832 [startup+1110.05 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18351 3 1 0 109711 76 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214408 1131700701 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1097.87 Current children cumulated vsize (Kb) 838832 [startup+1120.05 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18352 3 1 0 110707 77 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214408 1131700851 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1107.84 Current children cumulated vsize (Kb) 838832 [startup+1130.05 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18352 3 1 0 111708 77 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214496 1131474180 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1117.85 Current children cumulated vsize (Kb) 838832 [startup+1140.05 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18352 3 1 0 112708 77 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214408 1131704477 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1127.85 Current children cumulated vsize (Kb) 838832 [startup+1150.05 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18352 3 1 0 113708 77 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214496 1131474132 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1137.85 Current children cumulated vsize (Kb) 838832 [startup+1160.05 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18352 3 1 0 114708 77 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214408 1131700978 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1147.85 Current children cumulated vsize (Kb) 838832 [startup+1170.05 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18352 3 1 0 115708 77 0 0 25 0 11 0 1845169925 858963968 37846 4294967295 134512640 134569956 3221224336 3221214496 1131474265 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 37846 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1157.85 Current children cumulated vsize (Kb) 838832 [startup+1180.05 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18359 3 1 0 116684 77 0 0 25 0 11 0 1845169925 858963968 38341 4294967295 134512640 134569956 3221224336 3221214520 1131450791 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 38341 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1167.61 Current children cumulated vsize (Kb) 838832 [startup+1190.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18361 3 1 0 117676 77 0 0 24 0 11 0 1845169925 858963968 38341 4294967295 134512640 134569956 3221224336 3221214552 1131474124 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/17952/statm): 209708 38341 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1177.53 Current children cumulated vsize (Kb) 838832 [startup+1200.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18361 3 1 0 118676 77 0 0 25 0 11 0 1845169925 858963968 38341 4294967295 134512640 134569956 3221224336 3221214408 1131704372 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 38341 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1187.53 Current children cumulated vsize (Kb) 838832 [startup+1210.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18361 3 1 0 119676 77 0 0 25 0 11 0 1845169925 858963968 38341 4294967295 134512640 134569956 3221224336 3221214408 1131700724 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 38341 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1197.53 Current children cumulated vsize (Kb) 838832 [startup+1220.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18361 3 1 0 120676 77 0 0 25 0 11 0 1845169925 858963968 38341 4294967295 134512640 134569956 3221224336 3221214408 1131704309 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 38341 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1207.53 Current children cumulated vsize (Kb) 838832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.06 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 17968 Raw data (/proc/17952/stat): 17952 (java) R 17951 17952 5299 0 -1 0 18361 3 1 0 120676 77 0 0 25 0 11 0 1845169925 858963968 38341 4294967295 134512640 134569956 3221224336 3221214408 1131704497 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/17952/statm): 209708 38341 13129 16 0 209692 0 [pid=17952] vsize: 838832 Current children cumulated CPU time (s) 1207.53 Current children cumulated vsize (Kb) 838832 Sending SIGTERM to -17952 Sleeping 2 seconds New thread pid=17970 New thread pid=17971 One traced child (pid=17971) exited with status: 0 One traced child (pid=17961) exited with status: 0 One traced child (pid=17956) exited with status: 0 One traced child (pid=17953) exited with status: 143 One traced child (pid=17959) exited with status: 143 One traced child (pid=17958) exited with status: 143 One traced child (pid=17957) exited with status: 143 One traced child (pid=17960) exited with status: 143 One traced child (pid=17954) exited with status: 143 One traced child (pid=17968) exited with status: 143 One traced child (pid=17970) exited with status: 143 One traced child (pid=17955) exited with status: 143 One traced child (pid=17952) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1220.2 CPU time (s): 1217.32 CPU user time (s): 1216.09 CPU system time (s): 1.23081 CPU usage (%): 99.7639 Max. virtual memory (cumulated for all children) (Kb): 839596
Verifier: OK -28