Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb |
MD5SUM | 3acd642471b3f4559739eef7eb2e9b58 |
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.03 |
Number of variables | 760 |
Total number of constraints | 41095 |
Number of constraints which are clauses | 41095 |
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 wulflinc7 THE 2005-09-18 23:20:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6215 boxname=wulflinc7 idbench=355 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3acd642471b3f4559739eef7eb2e9b58 /oldhome/oroussel/tmp/wulflinc7/normalized-frb40-19-3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc7/normalized-frb40-19-3.opb IDLAUNCH: 6215 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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 : 451.050 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: 897676 kB Buffers: 36164 kB Cached: 76248 kB SwapCached: 740 kB Active: 71504 kB Inactive: 43416 kB HighTotal: 131008 kB HighFree: 52724 kB LowTotal: 903652 kB LowFree: 844952 kB SwapTotal: 2097136 kB SwapFree: 2095892 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5716 kB Slab: 16396 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 23:40:40 (client local time) WITH STATUS 143 IN 1227.84 SECONDS stats: 6215 0 1227.84 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/wulflinc7/normalized-frb40-19-3.opb c reading problem ... done. Time 7.461 ms. c #vars 760 c #constraints 41095 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 0 Current CPU time: 7.96 ms c CURRENT OPTIMUM= -1 Current CPU time: 8.09 ms c CURRENT OPTIMUM= -2 Current CPU time: 9.64 ms c CURRENT OPTIMUM= -3 Current CPU time: 16.26 ms c CURRENT OPTIMUM= -27 Current CPU time: 35.54 ms c CURRENT OPTIMUM= -28 Current CPU time: 186.65 ms c starts : 9 c conflicts : 335 c decisions : 5456 c propagations : 12630 c inspects : 146582 c learnt literals : 0 c learnt binary clauses : 0 c learnt ternary clauses : 0 c learnt clauses : 334 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.286196786813962 c non guided choices 5203 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.803
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/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1786964314 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 39 3 38 16 0 23 0 [pid=30771] 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/30771 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=30772 New thread pid=30773 New thread pid=30774 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=30775 New thread pid=30776 New thread pid=30777 New thread pid=30778 New thread pid=30779 New thread pid=30780 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/wulflinc7/normalized-frb40-19-3.opb New thread pid=30781 One traced child (pid=30781) exited with status: 0 New thread pid=30782 One traced child (pid=30782) exited with status: 0 New thread pid=30783 [startup+10.0026 s] Raw data (loadavg): 0.93 0.98 0.99 4/66 30783 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18196 4 1 0 718 56 0 0 17 0 11 0 1786964314 856944640 22596 4294967295 134512640 134569956 3221224336 3221214736 1131089180 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209215 22596 13129 16 0 209199 0 [pid=30771] vsize: 836860 Current children cumulated CPU time (s) 7.74 Current children cumulated vsize (Kb) 836860 One traced child (pid=30783) exited with status: 0 New thread pid=30784 One traced child (pid=30784) exited with status: 0 New thread pid=30785 [startup+20.0022 s] Raw data (loadavg): 1.09 1.02 1.00 2/66 30785 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18212 4 1 0 1600 58 0 0 17 0 11 0 1786964314 857493504 27222 4294967295 134512640 134569956 3221224336 3221214664 1131448574 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209349 27222 13129 16 0 209333 0 [pid=30771] vsize: 837396 Current children cumulated CPU time (s) 16.58 Current children cumulated vsize (Kb) 837396 [startup+30.0028 s] Raw data (loadavg): 1.08 1.02 1.00 2/66 30785 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18220 4 1 0 2532 58 0 0 24 0 11 0 1786964314 857108480 27631 4294967295 134512640 134569956 3221224336 3221214664 1131448753 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209255 27631 13129 16 0 209239 0 [pid=30771] vsize: 837020 Current children cumulated CPU time (s) 25.9 Current children cumulated vsize (Kb) 837020 One traced child (pid=30785) exited with status: 0 New thread pid=30786 [startup+40.0035 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18229 4 1 0 3464 58 0 0 25 0 11 0 1786964314 861208576 28990 4294967295 134512640 134569956 3221224336 3221214648 1131449119 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 210256 28990 13129 16 0 210240 0 [pid=30771] vsize: 841024 Current children cumulated CPU time (s) 35.22 Current children cumulated vsize (Kb) 841024 [startup+50.0041 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18238 4 1 0 4362 59 0 0 16 0 11 0 1786964314 858968064 29262 4294967295 134512640 134569956 3221224336 3221214648 1131448537 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 29262 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 44.21 Current children cumulated vsize (Kb) 838836 [startup+60.0047 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18245 4 1 0 5277 59 0 0 17 0 11 0 1786964314 858968064 29647 4294967295 134512640 134569956 3221224336 3221214648 1131449119 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 29647 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 53.36 Current children cumulated vsize (Kb) 838836 [startup+70.0053 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18251 4 1 0 6218 59 0 0 17 0 11 0 1786964314 858968064 29844 4294967295 134512640 134569956 3221224336 3221214432 1131667626 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 29844 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 62.77 Current children cumulated vsize (Kb) 838836 [startup+80.006 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18257 4 1 0 7166 59 0 0 16 0 11 0 1786964314 858968064 30339 4294967295 134512640 134569956 3221224336 3221214448 1131424252 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 30339 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 72.25 Current children cumulated vsize (Kb) 838836 [startup+90.0066 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18259 4 1 0 8152 60 0 0 25 0 11 0 1786964314 858968064 30414 4294967295 134512640 134569956 3221224336 3221214416 1131476646 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 30414 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 82.12 Current children cumulated vsize (Kb) 838836 [startup+100.007 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18262 4 1 0 9134 60 0 0 23 0 11 0 1786964314 858968064 30566 4294967295 134512640 134569956 3221224336 3221214544 1131535248 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 30566 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 91.94 Current children cumulated vsize (Kb) 838836 [startup+110.008 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18264 4 1 0 10123 60 0 0 25 0 11 0 1786964314 858968064 30643 4294967295 134512640 134569956 3221224336 3221214328 1131691639 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 30643 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 101.83 Current children cumulated vsize (Kb) 838836 [startup+120.009 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18268 4 1 0 11102 60 0 0 18 0 11 0 1786964314 858968064 30902 4294967295 134512640 134569956 3221224336 3221214408 1131476364 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 30902 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 111.62 Current children cumulated vsize (Kb) 838836 [startup+130.009 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18270 4 1 0 12092 60 0 0 25 0 11 0 1786964314 858968064 30997 4294967295 134512640 134569956 3221224336 3221214648 1131449042 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 30997 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 121.52 Current children cumulated vsize (Kb) 838836 [startup+140.01 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18274 4 1 0 13073 61 0 0 17 0 11 0 1786964314 858968064 31212 4294967295 134512640 134569956 3221224336 3221214676 1131523820 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 31212 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 131.34 Current children cumulated vsize (Kb) 838836 [startup+150.011 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18276 4 1 0 14063 61 0 0 25 0 11 0 1786964314 858968064 31308 4294967295 134512640 134569956 3221224336 3221214328 1131691700 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 31308 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 141.24 Current children cumulated vsize (Kb) 838836 [startup+160.012 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18280 4 1 0 15043 62 0 0 17 0 11 0 1786964314 858968064 31399 4294967295 134512640 134569956 3221224336 3221214336 1131449161 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 31399 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 151.05 Current children cumulated vsize (Kb) 838836 [startup+170.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18282 4 1 0 16032 62 0 0 23 0 11 0 1786964314 858968064 31494 4294967295 134512640 134569956 3221224336 3221214240 1131646017 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 31494 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 160.94 Current children cumulated vsize (Kb) 838836 [startup+180.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30786 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18284 4 1 0 17022 63 0 0 25 0 11 0 1786964314 858968064 31584 4294967295 134512640 134569956 3221224336 3221214408 1131476407 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 31584 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 170.85 Current children cumulated vsize (Kb) 838836 One traced child (pid=30786) exited with status: 0 New thread pid=30787 [startup+190.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18287 4 1 0 18001 63 0 0 16 0 11 0 1786964314 858968064 32130 4294967295 134512640 134569956 3221224336 3221214648 1131448574 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 32130 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (Kb) 838836 [startup+200.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18292 4 1 0 18973 63 0 0 20 0 11 0 1786964314 858968064 32130 4294967295 134512640 134569956 3221224336 3221214448 1131424467 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 32130 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 190.36 Current children cumulated vsize (Kb) 838836 [startup+210.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18294 4 1 0 19957 63 0 0 16 0 11 0 1786964314 858968064 32406 4294967295 134512640 134569956 3221224336 3221214648 1131448897 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 32406 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 200.2 Current children cumulated vsize (Kb) 838836 [startup+220.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18294 4 1 0 20957 63 0 0 25 0 11 0 1786964314 858968064 32406 4294967295 134512640 134569956 3221224336 3221214472 1131476471 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 32406 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 210.2 Current children cumulated vsize (Kb) 838836 [startup+230.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18294 4 1 0 21958 63 0 0 25 0 11 0 1786964314 858968064 32406 4294967295 134512640 134569956 3221224336 3221214416 1131476632 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 32406 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 220.21 Current children cumulated vsize (Kb) 838836 [startup+240.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18296 4 1 0 22945 63 0 0 25 0 11 0 1786964314 858968064 32856 4294967295 134512640 134569956 3221224336 3221214472 1131476479 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 32856 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 230.08 Current children cumulated vsize (Kb) 838836 [startup+250.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18296 4 1 0 23946 63 0 0 25 0 11 0 1786964314 858968064 32856 4294967295 134512640 134569956 3221224336 3221214328 1131691829 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 32856 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 240.09 Current children cumulated vsize (Kb) 838836 [startup+260.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18298 4 1 0 24934 63 0 0 25 0 11 0 1786964314 858968064 33278 4294967295 134512640 134569956 3221224336 3221214408 1131476646 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 33278 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 249.97 Current children cumulated vsize (Kb) 838836 [startup+270.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18298 4 1 0 25934 63 0 0 25 0 11 0 1786964314 858968064 33278 4294967295 134512640 134569956 3221224336 3221214328 1131691885 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 33278 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 259.97 Current children cumulated vsize (Kb) 838836 [startup+280.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18300 4 1 0 26926 64 0 0 25 0 11 0 1786964314 858968064 33431 4294967295 134512640 134569956 3221224336 3221214320 1131687092 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 33431 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 269.9 Current children cumulated vsize (Kb) 838836 [startup+290.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18300 4 1 0 27926 64 0 0 25 0 11 0 1786964314 858968064 33431 4294967295 134512640 134569956 3221224336 3221214416 1131476646 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 33431 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 279.9 Current children cumulated vsize (Kb) 838836 [startup+300.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18302 4 1 0 28917 64 0 0 25 0 11 0 1786964314 858968064 34122 4294967295 134512640 134569956 3221224336 3221214472 1131476572 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 34122 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 289.81 Current children cumulated vsize (Kb) 838836 [startup+310.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18302 4 1 0 29917 64 0 0 25 0 11 0 1786964314 858968064 34122 4294967295 134512640 134569956 3221224336 3221214328 1131691893 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 34122 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 299.81 Current children cumulated vsize (Kb) 838836 [startup+320.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18304 4 1 0 30910 64 0 0 25 0 11 0 1786964314 858968064 34122 4294967295 134512640 134569956 3221224336 3221214328 1131691796 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 34122 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 309.74 Current children cumulated vsize (Kb) 838836 [startup+330.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18305 4 1 0 31904 65 0 0 21 0 11 0 1786964314 858968064 34495 4294967295 134512640 134569956 3221224336 3221214320 1131687132 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 34495 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 319.69 Current children cumulated vsize (Kb) 838836 [startup+340.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18307 4 1 0 32896 65 0 0 25 0 11 0 1786964314 858968064 34809 4294967295 134512640 134569956 3221224336 3221214472 1131476449 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 34809 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 329.61 Current children cumulated vsize (Kb) 838836 [startup+350.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18307 4 1 0 33896 65 0 0 25 0 11 0 1786964314 858968064 34809 4294967295 134512640 134569956 3221224336 3221214416 1131476547 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 34809 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 339.61 Current children cumulated vsize (Kb) 838836 [startup+360.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18309 4 1 0 34888 66 0 0 19 0 11 0 1786964314 858968064 35182 4294967295 134512640 134569956 3221224336 3221214320 1131687260 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 35182 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 349.54 Current children cumulated vsize (Kb) 838836 [startup+370.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18310 4 1 0 35885 66 0 0 25 0 11 0 1786964314 858968064 35182 4294967295 134512640 134569956 3221224336 3221214328 1131691737 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 35182 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 359.51 Current children cumulated vsize (Kb) 838836 [startup+380.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18312 4 1 0 36877 66 0 0 19 0 11 0 1786964314 858968064 35496 4294967295 134512640 134569956 3221224336 3221214400 1131631207 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 35496 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 369.43 Current children cumulated vsize (Kb) 838836 [startup+390.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18312 4 1 0 37877 66 0 0 25 0 11 0 1786964314 858968064 35496 4294967295 134512640 134569956 3221224336 3221214408 1131476407 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 35496 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 379.43 Current children cumulated vsize (Kb) 838836 [startup+400.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18313 4 1 0 38874 66 0 0 25 0 11 0 1786964314 858968064 35496 4294967295 134512640 134569956 3221224336 3221214648 1131449127 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 35496 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 389.4 Current children cumulated vsize (Kb) 838836 [startup+410.024 s] Raw data (loadavg): 1.08 1.02 1.01 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18314 4 1 0 39870 66 0 0 25 0 11 0 1786964314 858968064 35496 4294967295 134512640 134569956 3221224336 3221214408 1131476535 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 35496 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 399.36 Current children cumulated vsize (Kb) 838836 [startup+420.024 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18316 4 1 0 40861 66 0 0 18 0 11 0 1786964314 858968064 36183 4294967295 134512640 134569956 3221224336 3221214472 1131476527 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 36183 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 409.27 Current children cumulated vsize (Kb) 838836 [startup+430.025 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18316 4 1 0 41861 67 0 0 25 0 11 0 1786964314 858968064 36183 4294967295 134512640 134569956 3221224336 3221214472 1131476364 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 36183 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 419.28 Current children cumulated vsize (Kb) 838836 [startup+440.026 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18317 4 1 0 42858 67 0 0 18 0 11 0 1786964314 858968064 36183 4294967295 134512640 134569956 3221224336 3221214648 1131448897 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 36183 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 429.25 Current children cumulated vsize (Kb) 838836 [startup+450.026 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18319 4 1 0 43850 67 0 0 25 0 11 0 1786964314 858968064 36553 4294967295 134512640 134569956 3221224336 3221214408 1131476505 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 36553 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 439.17 Current children cumulated vsize (Kb) 838836 [startup+460.027 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18321 4 1 0 44843 67 0 0 25 0 11 0 1786964314 858968064 36553 4294967295 134512640 134569956 3221224336 3221214648 1131448897 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 36553 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 449.1 Current children cumulated vsize (Kb) 838836 [startup+470.028 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18322 4 1 0 45839 68 0 0 25 0 11 0 1786964314 858968064 36863 4294967295 134512640 134569956 3221224336 3221214384 1131695344 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 36863 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 459.07 Current children cumulated vsize (Kb) 838836 [startup+480.028 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18322 4 1 0 46839 68 0 0 25 0 11 0 1786964314 858968064 36863 4294967295 134512640 134569956 3221224336 3221214328 1131691829 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 36863 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 469.07 Current children cumulated vsize (Kb) 838836 [startup+490.029 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18325 4 1 0 47828 68 0 0 25 0 11 0 1786964314 858968064 37159 4294967295 134512640 134569956 3221224336 3221214432 1131603051 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 37159 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 478.96 Current children cumulated vsize (Kb) 838836 [startup+500.03 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18326 4 1 0 48825 68 0 0 25 0 11 0 1786964314 858968064 37159 4294967295 134512640 134569956 3221224336 3221214320 1131687167 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 37159 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 488.93 Current children cumulated vsize (Kb) 838836 [startup+510.03 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18328 4 1 0 49817 68 0 0 25 0 11 0 1786964314 858968064 37540 4294967295 134512640 134569956 3221224336 3221214472 1131476430 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 37540 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 498.85 Current children cumulated vsize (Kb) 838836 [startup+520.03 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18328 4 1 0 50817 68 0 0 25 0 11 0 1786964314 858968064 37540 4294967295 134512640 134569956 3221224336 3221214432 1131662115 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 37540 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 508.85 Current children cumulated vsize (Kb) 838836 [startup+530.03 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18332 4 1 0 51802 68 0 0 17 0 11 0 1786964314 858968064 37770 4294967295 134512640 134569956 3221224336 3221214328 1131691343 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 37770 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 518.7 Current children cumulated vsize (Kb) 838836 [startup+540.031 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18332 4 1 0 52802 68 0 0 25 0 11 0 1786964314 858968064 37770 4294967295 134512640 134569956 3221224336 3221214328 1131691855 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 37770 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 528.7 Current children cumulated vsize (Kb) 838836 [startup+550.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18333 4 1 0 53799 69 0 0 25 0 11 0 1786964314 858968064 37770 4294967295 134512640 134569956 3221224336 3221214320 1131687179 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 37770 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 538.68 Current children cumulated vsize (Kb) 838836 [startup+560.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18338 4 1 0 54774 69 0 0 17 0 11 0 1786964314 858968064 38217 4294967295 134512640 134569956 3221224336 3221214648 1131449387 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 38217 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 548.43 Current children cumulated vsize (Kb) 838836 [startup+570.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18343 4 1 0 55744 69 0 0 17 0 11 0 1786964314 858968064 38579 4294967295 134512640 134569956 3221224336 3221214416 1131476505 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 38579 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 558.13 Current children cumulated vsize (Kb) 838836 [startup+580.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18344 4 1 0 56735 69 0 0 23 0 11 0 1786964314 858968064 38885 4294967295 134512640 134569956 3221224336 3221214472 1131476632 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 38885 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 568.04 Current children cumulated vsize (Kb) 838836 [startup+590.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18347 4 1 0 57717 69 0 0 17 0 11 0 1786964314 858968064 39302 4294967295 134512640 134569956 3221224336 3221214448 1131424595 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 39302 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 577.86 Current children cumulated vsize (Kb) 838836 [startup+600.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18348 4 1 0 58711 70 0 0 25 0 11 0 1786964314 858968064 39440 4294967295 134512640 134569956 3221224336 3221214472 1131476368 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 39440 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 587.81 Current children cumulated vsize (Kb) 838836 [startup+610.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18351 4 1 0 59697 70 0 0 25 0 11 0 1786964314 858968064 40069 4294967295 134512640 134569956 3221224336 3221214472 1131476501 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 40069 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 597.67 Current children cumulated vsize (Kb) 838836 [startup+620.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18351 4 1 0 60697 70 0 0 25 0 11 0 1786964314 858968064 40069 4294967295 134512640 134569956 3221224336 3221214416 1131476320 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 40069 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 607.67 Current children cumulated vsize (Kb) 838836 [startup+630.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18352 4 1 0 61693 70 0 0 25 0 11 0 1786964314 858968064 40069 4294967295 134512640 134569956 3221224336 3221214224 1080338972 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 40069 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 617.63 Current children cumulated vsize (Kb) 838836 [startup+640.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18354 4 1 0 62684 70 0 0 21 0 11 0 1786964314 858968064 40527 4294967295 134512640 134569956 3221224336 3221214408 1131476612 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 40527 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 627.54 Current children cumulated vsize (Kb) 838836 [startup+650.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18354 4 1 0 63684 70 0 0 25 0 11 0 1786964314 858968064 40527 4294967295 134512640 134569956 3221224336 3221214472 1131476385 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 40527 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 637.54 Current children cumulated vsize (Kb) 838836 [startup+660.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18354 4 1 0 64684 70 0 0 25 0 11 0 1786964314 858968064 40527 4294967295 134512640 134569956 3221224336 3221214472 1131476380 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 40527 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 647.54 Current children cumulated vsize (Kb) 838836 [startup+670.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18355 4 1 0 65679 70 0 0 25 0 11 0 1786964314 858968064 40527 4294967295 134512640 134569956 3221224336 3221214472 1131476612 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 40527 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 657.49 Current children cumulated vsize (Kb) 838836 [startup+680.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18355 4 1 0 66679 70 0 0 25 0 11 0 1786964314 858968064 40527 4294967295 134512640 134569956 3221224336 3221214472 1131476580 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 40527 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 667.49 Current children cumulated vsize (Kb) 838836 [startup+690.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18355 4 1 0 67680 70 0 0 25 0 11 0 1786964314 858968064 40527 4294967295 134512640 134569956 3221224336 3221214408 1131476471 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 40527 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 677.5 Current children cumulated vsize (Kb) 838836 [startup+700.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18357 4 1 0 68669 70 0 0 25 0 11 0 1786964314 858968064 41160 4294967295 134512640 134569956 3221224336 3221214448 1131424370 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41160 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 687.39 Current children cumulated vsize (Kb) 838836 [startup+710.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18357 4 1 0 69669 70 0 0 25 0 11 0 1786964314 858968064 41160 4294967295 134512640 134569956 3221224336 3221214408 1131476600 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41160 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 697.39 Current children cumulated vsize (Kb) 838836 [startup+720.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18357 4 1 0 70670 70 0 0 25 0 11 0 1786964314 858968064 41160 4294967295 134512640 134569956 3221224336 3221214472 1131476467 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41160 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 707.4 Current children cumulated vsize (Kb) 838836 [startup+730.041 s] Raw data (loadavg): 1.08 1.02 1.01 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18358 4 1 0 71664 70 0 0 17 0 11 0 1786964314 858968064 41946 4294967295 134512640 134569956 3221224336 3221214504 1131385625 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 41946 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 717.34 Current children cumulated vsize (Kb) 838836 [startup+740.042 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18360 4 1 0 72659 70 0 0 25 0 11 0 1786964314 858968064 41946 4294967295 134512640 134569956 3221224336 3221214320 1131687205 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41946 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 727.29 Current children cumulated vsize (Kb) 838836 [startup+750.042 s] Raw data (loadavg): 1.06 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18360 4 1 0 73659 70 0 0 25 0 11 0 1786964314 858968064 41946 4294967295 134512640 134569956 3221224336 3221214328 1131691867 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41946 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 737.29 Current children cumulated vsize (Kb) 838836 [startup+760.043 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18362 4 1 0 74652 70 0 0 25 0 11 0 1786964314 858968064 41946 4294967295 134512640 134569956 3221224336 3221214472 1131476362 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41946 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 747.22 Current children cumulated vsize (Kb) 838836 [startup+770.044 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18362 4 1 0 75653 70 0 0 25 0 11 0 1786964314 858968064 41946 4294967295 134512640 134569956 3221224336 3221214320 1131687055 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41946 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 757.23 Current children cumulated vsize (Kb) 838836 [startup+780.044 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18362 4 1 0 76653 70 0 0 25 0 11 0 1786964314 858968064 41946 4294967295 134512640 134569956 3221224336 3221214472 1131476430 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41946 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 767.23 Current children cumulated vsize (Kb) 838836 [startup+790.044 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18362 4 1 0 77653 70 0 0 25 0 11 0 1786964314 858968064 41946 4294967295 134512640 134569956 3221224336 3221214416 1131476320 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41946 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 777.23 Current children cumulated vsize (Kb) 838836 [startup+800.045 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18363 4 1 0 78647 70 0 0 25 0 11 0 1786964314 858968064 41946 4294967295 134512640 134569956 3221224336 3221214472 1131476505 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41946 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 787.17 Current children cumulated vsize (Kb) 838836 [startup+810.045 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18363 4 1 0 79647 70 0 0 25 0 11 0 1786964314 858968064 41946 4294967295 134512640 134569956 3221224336 3221214200 1131475906 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 41946 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 797.17 Current children cumulated vsize (Kb) 838836 [startup+820.045 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18369 4 1 0 80624 71 0 0 18 0 11 0 1786964314 858968064 42750 4294967295 134512640 134569956 3221224336 3221214472 1131476430 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 42750 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 806.95 Current children cumulated vsize (Kb) 838836 [startup+830.045 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18369 4 1 0 81624 71 0 0 25 0 11 0 1786964314 858968064 42750 4294967295 134512640 134569956 3221224336 3221214432 1131662243 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 42750 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 816.95 Current children cumulated vsize (Kb) 838836 [startup+840.045 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18369 4 1 0 82624 71 0 0 25 0 11 0 1786964314 858968064 42750 4294967295 134512640 134569956 3221224336 3221214432 1131603007 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 42750 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 826.95 Current children cumulated vsize (Kb) 838836 [startup+850.046 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18369 4 1 0 83624 71 0 0 25 0 11 0 1786964314 858968064 42750 4294967295 134512640 134569956 3221224336 3221214416 1131476342 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 42750 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 836.95 Current children cumulated vsize (Kb) 838836 [startup+860.046 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18370 4 1 0 84621 71 0 0 17 0 11 0 1786964314 858968064 42750 4294967295 134512640 134569956 3221224336 3221214648 1131449060 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 42750 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 846.92 Current children cumulated vsize (Kb) 838836 [startup+870.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18375 4 1 0 85602 71 0 0 22 0 11 0 1786964314 858968064 43533 4294967295 134512640 134569956 3221224336 3221214648 1131449060 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 43533 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 856.73 Current children cumulated vsize (Kb) 838836 [startup+880.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18379 4 1 0 86588 71 0 0 21 0 11 0 1786964314 858968064 44084 4294967295 134512640 134569956 3221224336 3221214648 1131449129 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 44084 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 866.59 Current children cumulated vsize (Kb) 838836 [startup+890.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18386 4 1 0 87559 71 0 0 17 0 11 0 1786964314 858968064 44337 4294967295 134512640 134569956 3221224336 3221214648 1131448994 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 44337 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 876.3 Current children cumulated vsize (Kb) 838836 [startup+900.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18389 4 1 0 88546 72 0 0 25 0 11 0 1786964314 858968064 44337 4294967295 134512640 134569956 3221224336 3221214472 1131476562 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 44337 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 886.18 Current children cumulated vsize (Kb) 838836 [startup+910.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18389 4 1 0 89546 72 0 0 25 0 11 0 1786964314 858968064 44337 4294967295 134512640 134569956 3221224336 3221214408 1131475272 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 44337 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 896.18 Current children cumulated vsize (Kb) 838836 [startup+920.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18389 4 1 0 90547 72 0 0 25 0 11 0 1786964314 858968064 44337 4294967295 134512640 134569956 3221224336 3221214472 1131476449 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 44337 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 906.19 Current children cumulated vsize (Kb) 838836 [startup+930.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18389 4 1 0 91547 72 0 0 25 0 11 0 1786964314 858968064 44337 4294967295 134512640 134569956 3221224336 3221214288 1131361054 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 44337 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 916.19 Current children cumulated vsize (Kb) 838836 [startup+940.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18396 4 1 0 92525 72 0 0 25 0 11 0 1786964314 858968064 46570 4294967295 134512640 134569956 3221224336 3221214472 1131476422 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 46570 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 925.97 Current children cumulated vsize (Kb) 838836 [startup+950.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18396 4 1 0 93525 72 0 0 25 0 11 0 1786964314 858968064 46570 4294967295 134512640 134569956 3221224336 3221214408 1131476527 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 46570 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 935.97 Current children cumulated vsize (Kb) 838836 [startup+960.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18396 4 1 0 94525 72 0 0 25 0 11 0 1786964314 858968064 46570 4294967295 134512640 134569956 3221224336 3221214408 1131476535 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 46570 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 945.97 Current children cumulated vsize (Kb) 838836 [startup+970.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18396 4 1 0 95525 72 0 0 25 0 11 0 1786964314 858968064 46570 4294967295 134512640 134569956 3221224336 3221214472 1131476517 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 46570 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 955.97 Current children cumulated vsize (Kb) 838836 [startup+980.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18396 4 1 0 96526 72 0 0 25 0 11 0 1786964314 858968064 46570 4294967295 134512640 134569956 3221224336 3221214408 1131476403 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 46570 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 965.98 Current children cumulated vsize (Kb) 838836 [startup+990.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18399 4 1 0 97514 72 0 0 20 0 11 0 1786964314 858968064 46570 4294967295 134512640 134569956 3221224336 3221214472 1131475440 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 46570 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 975.86 Current children cumulated vsize (Kb) 838836 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18399 4 1 0 98514 72 0 0 25 0 11 0 1786964314 858968064 46570 4294967295 134512640 134569956 3221224336 3221214408 1131476467 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 46570 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 985.86 Current children cumulated vsize (Kb) 838836 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18399 4 1 0 99514 72 0 0 25 0 11 0 1786964314 858968064 46570 4294967295 134512640 134569956 3221224336 3221214408 1131476505 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 46570 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 995.86 Current children cumulated vsize (Kb) 838836 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18402 4 1 0 100499 72 0 0 18 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476479 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1005.71 Current children cumulated vsize (Kb) 838836 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18403 4 1 0 101496 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214224 1131687151 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1015.68 Current children cumulated vsize (Kb) 838836 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18403 4 1 0 102496 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214416 1131476461 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1025.68 Current children cumulated vsize (Kb) 838836 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18403 4 1 0 103496 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476389 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1035.68 Current children cumulated vsize (Kb) 838836 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18403 4 1 0 104496 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476457 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1045.68 Current children cumulated vsize (Kb) 838836 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18403 4 1 0 105496 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476505 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1055.68 Current children cumulated vsize (Kb) 838836 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18403 4 1 0 106497 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214408 1131476465 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1065.69 Current children cumulated vsize (Kb) 838836 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18403 4 1 0 107497 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214408 1131476471 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1075.69 Current children cumulated vsize (Kb) 838836 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18404 4 1 0 108496 72 0 0 19 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214328 1131691810 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1085.68 Current children cumulated vsize (Kb) 838836 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18404 4 1 0 109496 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214328 1131691829 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1095.68 Current children cumulated vsize (Kb) 838836 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18404 4 1 0 110496 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214320 1131687159 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1105.68 Current children cumulated vsize (Kb) 838836 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18404 4 1 0 111496 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214416 1131476487 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1115.68 Current children cumulated vsize (Kb) 838836 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18404 4 1 0 112496 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476509 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1125.68 Current children cumulated vsize (Kb) 838836 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18404 4 1 0 113497 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476461 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1135.69 Current children cumulated vsize (Kb) 838836 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18404 4 1 0 114497 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476646 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1145.69 Current children cumulated vsize (Kb) 838836 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18404 4 1 0 115497 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476517 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1155.69 Current children cumulated vsize (Kb) 838836 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18404 4 1 0 116497 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476553 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1165.69 Current children cumulated vsize (Kb) 838836 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18404 4 1 0 117497 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476535 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1175.69 Current children cumulated vsize (Kb) 838836 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18405 4 1 0 118492 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214472 1131476422 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1185.64 Current children cumulated vsize (Kb) 838836 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18405 4 1 0 119493 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214408 1131476628 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1195.65 Current children cumulated vsize (Kb) 838836 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18405 4 1 0 120493 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214408 1131476646 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1205.65 Current children cumulated vsize (Kb) 838836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 30787 Raw data (/proc/30771/stat): 30771 (java) R 30770 30771 15400 0 -1 0 18405 4 1 0 120493 72 0 0 25 0 11 0 1786964314 858968064 48153 4294967295 134512640 134569956 3221224336 3221214408 1131476553 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/30771/statm): 209709 48153 13129 16 0 209693 0 [pid=30771] vsize: 838836 Current children cumulated CPU time (s) 1205.65 Current children cumulated vsize (Kb) 838836 Sending SIGTERM to -30771 Sleeping 2 seconds New thread pid=30789 New thread pid=30790 One traced child (pid=30790) exited with status: 0 One traced child (pid=30780) exited with status: 0 One traced child (pid=30775) exited with status: 0 One traced child (pid=30772) exited with status: 143 One traced child (pid=30773) exited with status: 143 One traced child (pid=30776) exited with status: 143 One traced child (pid=30777) exited with status: 143 One traced child (pid=30779) exited with status: 143 One traced child (pid=30778) exited with status: 143 One traced child (pid=30774) exited with status: 143 One traced child (pid=30787) exited with status: 143 One traced child (pid=30789) exited with status: 143 One traced child (pid=30771) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1220.24 CPU time (s): 1227.84 CPU user time (s): 1226.24 CPU system time (s): 1.59476 CPU usage (%): 100.623 Max. virtual memory (cumulated for all children) (Kb): 841024
Verifier: OK -28