Name | submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb |
MD5SUM | 6292e63147fb202dc159fbf5a9ff5c77 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4882 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 771 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 33355 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 33355 |
Number of bits of the biggest sum of numbers | 16 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1196.31 |
Number of variables | 771 |
Total number of constraints | 1951 |
Number of constraints which are clauses | 1949 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
LAUNCH ON wulflinc29 THE 2005-09-18 22:25:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6108 boxname=wulflinc29 idbench=248 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6292e63147fb202dc159fbf5a9ff5c77 /oldhome/oroussel/tmp/wulflinc29/normalized-C432.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc29/normalized-C432.opb IDLAUNCH: 6108 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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: 908072 kB Buffers: 33864 kB Cached: 63332 kB SwapCached: 792 kB Active: 33484 kB Inactive: 66476 kB HighTotal: 131008 kB HighFree: 66500 kB LowTotal: 903652 kB LowFree: 841572 kB SwapTotal: 2097892 kB SwapFree: 2096664 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5740 kB Slab: 20912 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 22:46:41 (client local time) WITH STATUS 143 IN 1256.59 SECONDS stats: 6108 0 1256.59 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/wulflinc29/normalized-C432.opb c reading problem ... done. Time 2.46 ms. c #vars 771 c #constraints 1951 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 5742 Current CPU time: 3.84 ms c CURRENT OPTIMUM= 5672 Current CPU time: 4.88 ms c CURRENT OPTIMUM= 5663 Current CPU time: 5.23 ms c CURRENT OPTIMUM= 5629 Current CPU time: 7.20 ms c CURRENT OPTIMUM= 5620 Current CPU time: 8.51 ms c CURRENT OPTIMUM= 5598 Current CPU time: 11.99 ms c CURRENT OPTIMUM= 5550 Current CPU time: 12.31 ms c CURRENT OPTIMUM= 5507 Current CPU time: 12.82 ms c starts : 13 c conflicts : 1093 c decisions : 19686 c propagations : 67047 c inspects : 752685 c learnt literals : 7 c learnt binary clauses : 2 c learnt ternary clauses : 0 c learnt clauses : 1086 c root simplifications : 20 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 0 c speed (decisions/second) : 15.798977552707399 c non guided choices 3476 c random choices 0 s SATISFIABLE v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 x56 x57 x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 x226 x227 x228 -x229 -x230 -x231 x232 -x233 -x234 x235 -x236 x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 -x288 x289 -x290 x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 x303 x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 x327 x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 x382 x383 x384 x385 -x386 -x387 -x388 -x389 x390 -x391 x392 x393 x394 -x395 x396 x397 x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 x455 x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 x464 x465 -x466 -x467 -x468 -x469 x470 x471 x472 x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 x520 -x521 x522 -x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 x551 x552 -x553 -x554 -x555 -x556 x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 x582 x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 -x675 -x676 -x677 -x678 -x679 x680 x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 c objective function=5507 c Total CPU time (ms) : 1258.886
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/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1844829581 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 39 3 38 16 0 23 0 [pid=25603] 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/25603 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=25604 New thread pid=25605 New thread pid=25606 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=25607 New thread pid=25608 New thread pid=25609 New thread pid=25610 New thread pid=25611 New thread pid=25612 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/wulflinc29/normalized-C432.opb New thread pid=25613 One traced child (pid=25613) exited with status: 0 New thread pid=25614 One traced child (pid=25614) exited with status: 0 New thread pid=25615 One traced child (pid=25615) exited with status: 0 New thread pid=25616 One traced child (pid=25616) exited with status: 0 New thread pid=25617 One traced child (pid=25617) exited with status: 0 New thread pid=25618 [startup+10.0029 s] Raw data (loadavg): 1.04 1.00 0.98 2/66 25618 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18175 3 1 0 679 50 0 0 17 0 11 0 1844829581 859287552 20713 4294967295 134512640 134569956 3221224352 3221214752 1131487459 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209787 20713 13129 16 0 209771 0 [pid=25603] vsize: 839148 Current children cumulated CPU time (s) 7.29 Current children cumulated vsize (Kb) 839148 One traced child (pid=25618) exited with status: 0 New thread pid=25619 One traced child (pid=25619) exited with status: 0 New thread pid=25620 One traced child (pid=25620) exited with status: 0 New thread pid=25621 [startup+20.0027 s] Raw data (loadavg): 1.10 1.02 0.99 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18186 3 1 0 1608 51 0 0 18 0 11 0 1844829581 859287552 21262 4294967295 134512640 134569956 3221224352 3221214552 1131508439 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209787 21262 13129 16 0 209771 0 [pid=25603] vsize: 839148 Current children cumulated CPU time (s) 16.59 Current children cumulated vsize (Kb) 839148 [startup+30.0025 s] Raw data (loadavg): 1.17 1.03 0.99 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18192 3 1 0 2551 51 0 0 20 0 11 0 1844829581 858537984 21814 4294967295 134512640 134569956 3221224352 3221214584 1131569550 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 21814 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 26.02 Current children cumulated vsize (Kb) 838416 [startup+40.0032 s] Raw data (loadavg): 1.22 1.05 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18199 3 1 0 3509 52 0 0 25 0 11 0 1844829581 858537984 21817 4294967295 134512640 134569956 3221224352 3221214552 1131508314 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 21817 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 35.61 Current children cumulated vsize (Kb) 838416 [startup+50.004 s] Raw data (loadavg): 1.19 1.04 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18206 3 1 0 4450 52 0 0 20 0 11 0 1844829581 858537984 21817 4294967295 134512640 134569956 3221224352 3221214496 1131579212 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 21817 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 45.02 Current children cumulated vsize (Kb) 838416 [startup+60.0048 s] Raw data (loadavg): 1.16 1.04 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18213 3 1 0 5397 53 0 0 25 0 11 0 1844829581 858537984 21930 4294967295 134512640 134569956 3221224352 3221213192 1073952481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 21930 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 54.5 Current children cumulated vsize (Kb) 838416 [startup+70.0056 s] Raw data (loadavg): 1.13 1.04 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18219 3 1 0 6322 53 0 0 24 0 11 0 1844829581 858537984 22740 4294967295 134512640 134569956 3221224352 3221214556 1131057201 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 22740 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 63.75 Current children cumulated vsize (Kb) 838416 [startup+80.0064 s] Raw data (loadavg): 1.11 1.04 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18226 3 1 0 7271 53 0 0 25 0 11 0 1844829581 858537984 22740 4294967295 134512640 134569956 3221224352 3221214632 1131516658 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 22740 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 73.24 Current children cumulated vsize (Kb) 838416 [startup+90.0071 s] Raw data (loadavg): 1.09 1.04 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18234 3 1 0 8185 54 0 0 16 0 11 0 1844829581 858537984 23607 4294967295 134512640 134569956 3221224352 3221214536 1131436738 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 23607 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 82.39 Current children cumulated vsize (Kb) 838416 [startup+100.008 s] Raw data (loadavg): 1.08 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18241 3 1 0 9103 54 0 0 17 0 11 0 1844829581 858537984 24542 4294967295 134512640 134569956 3221224352 3221214648 1131632027 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 24542 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 91.57 Current children cumulated vsize (Kb) 838416 [startup+110.009 s] Raw data (loadavg): 1.07 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18247 3 1 0 10045 54 0 0 25 0 11 0 1844829581 858537984 25004 4294967295 134512640 134569956 3221224352 3221214608 1131569550 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 25004 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 100.99 Current children cumulated vsize (Kb) 838416 [startup+120.009 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18254 3 1 0 10980 54 0 0 25 0 11 0 1844829581 858537984 25004 4294967295 134512640 134569956 3221224352 3221214532 1131373600 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 25004 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 110.34 Current children cumulated vsize (Kb) 838416 [startup+130.01 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18260 3 1 0 11919 54 0 0 25 0 11 0 1844829581 858537984 25138 4294967295 134512640 134569956 3221224352 3221214632 1131516593 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 25138 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 119.73 Current children cumulated vsize (Kb) 838416 [startup+140.011 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18268 3 1 0 12840 55 0 0 19 0 11 0 1844829581 858537984 25138 4294967295 134512640 134569956 3221224352 3221214712 1131506675 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 25138 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 128.95 Current children cumulated vsize (Kb) 838416 [startup+150.012 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18274 3 1 0 13774 55 0 0 21 0 11 0 1844829581 858537984 25656 4294967295 134512640 134569956 3221224352 3221214632 1131516593 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 25656 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 138.29 Current children cumulated vsize (Kb) 838416 [startup+160.013 s] Raw data (loadavg): 1.03 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18281 3 1 0 14710 55 0 0 17 0 11 0 1844829581 858537984 25848 4294967295 134512640 134569956 3221224352 3221214608 1131569466 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 25848 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 147.65 Current children cumulated vsize (Kb) 838416 [startup+170.012 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18286 3 1 0 15638 55 0 0 24 0 11 0 1844829581 858537984 26826 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 26826 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 156.93 Current children cumulated vsize (Kb) 838416 [startup+180.013 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18293 3 1 0 16559 55 0 0 17 0 11 0 1844829581 858537984 27440 4294967295 134512640 134569956 3221224352 3221214632 1131516597 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 27440 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 166.14 Current children cumulated vsize (Kb) 838416 [startup+190.014 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18299 3 1 0 17495 56 0 0 24 0 11 0 1844829581 858537984 27738 4294967295 134512640 134569956 3221224352 3221214624 1131437210 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 27738 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 175.51 Current children cumulated vsize (Kb) 838416 [startup+200.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18306 3 1 0 18419 56 0 0 19 0 11 0 1844829581 858537984 27923 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 27923 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 184.75 Current children cumulated vsize (Kb) 838416 [startup+210.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18312 3 1 0 19355 56 0 0 25 0 11 0 1844829581 858537984 28132 4294967295 134512640 134569956 3221224352 3221214632 1131516677 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 28132 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 194.11 Current children cumulated vsize (Kb) 838416 [startup+220.015 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18317 3 1 0 20295 57 0 0 17 0 11 0 1844829581 858537984 28261 4294967295 134512640 134569956 3221224352 3221213280 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 28261 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 203.52 Current children cumulated vsize (Kb) 838416 [startup+230.015 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18324 3 1 0 21235 57 0 0 20 0 11 0 1844829581 858537984 28261 4294967295 134512640 134569956 3221224352 3221214536 1131437687 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 28261 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 212.92 Current children cumulated vsize (Kb) 838416 [startup+240.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18332 3 1 0 22170 57 0 0 21 0 11 0 1844829581 858537984 28760 4294967295 134512640 134569956 3221224352 3221214800 1131356569 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 28760 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (Kb) 838416 [startup+250.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18339 3 1 0 23125 57 0 0 20 0 11 0 1844829581 858537984 28916 4294967295 134512640 134569956 3221224352 3221214632 1131516741 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 28916 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 231.82 Current children cumulated vsize (Kb) 838416 [startup+260.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18347 3 1 0 24063 58 0 0 25 0 11 0 1844829581 858537984 29085 4294967295 134512640 134569956 3221224352 3221214632 1131518648 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 29085 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 241.21 Current children cumulated vsize (Kb) 838416 [startup+270.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18355 3 1 0 24973 58 0 0 25 0 11 0 1844829581 858537984 29475 4294967295 134512640 134569956 3221224352 3221214536 1131437303 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 29475 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 250.31 Current children cumulated vsize (Kb) 838416 [startup+280.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18363 3 1 0 25885 58 0 0 23 0 11 0 1844829581 858537984 29666 4294967295 134512640 134569956 3221224352 3221214768 1131487896 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 29666 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 259.43 Current children cumulated vsize (Kb) 838416 [startup+290.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18372 3 1 0 26780 59 0 0 17 0 11 0 1844829581 858537984 30137 4294967295 134512640 134569956 3221224352 3221214536 1131436705 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 30137 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 268.39 Current children cumulated vsize (Kb) 838416 [startup+300.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18381 3 1 0 27682 59 0 0 16 0 11 0 1844829581 858537984 30437 4294967295 134512640 134569956 3221224352 3221214628 1131436684 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 30437 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 277.41 Current children cumulated vsize (Kb) 838416 [startup+310.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18390 3 1 0 28583 60 0 0 16 0 11 0 1844829581 858537984 30693 4294967295 134512640 134569956 3221224352 3221214536 1131437657 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 30693 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 286.43 Current children cumulated vsize (Kb) 838416 [startup+320.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18399 3 1 0 29483 60 0 0 16 0 11 0 1844829581 858537984 30960 4294967295 134512640 134569956 3221224352 3221214632 1131520823 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 30960 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 295.43 Current children cumulated vsize (Kb) 838416 [startup+330.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18409 3 1 0 30386 60 0 0 16 0 11 0 1844829581 858537984 31198 4294967295 134512640 134569956 3221224352 3221214632 1131520926 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 31198 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 304.46 Current children cumulated vsize (Kb) 838416 [startup+340.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18419 3 1 0 31304 60 0 0 16 0 11 0 1844829581 858537984 31510 4294967295 134512640 134569956 3221224352 3221213280 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 31510 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 313.64 Current children cumulated vsize (Kb) 838416 [startup+350.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18430 3 1 0 32242 61 0 0 16 0 11 0 1844829581 858537984 31846 4294967295 134512640 134569956 3221224352 3221214632 1131516677 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 31846 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 323.03 Current children cumulated vsize (Kb) 838416 [startup+360.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18441 3 1 0 33189 61 0 0 16 0 11 0 1844829581 858537984 31941 4294967295 134512640 134569956 3221224352 3221214632 1131520982 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 31941 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 332.5 Current children cumulated vsize (Kb) 838416 [startup+370.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18451 3 1 0 34144 61 0 0 17 0 11 0 1844829581 858537984 32070 4294967295 134512640 134569956 3221224352 3221214632 1131517692 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 32070 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (Kb) 838416 [startup+380.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18462 3 1 0 35096 62 0 0 17 0 11 0 1844829581 858537984 32173 4294967295 134512640 134569956 3221224352 3221214536 1131436769 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 32173 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 351.58 Current children cumulated vsize (Kb) 838416 [startup+390.029 s] Raw data (loadavg): 1.15 1.04 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18473 3 1 0 36048 62 0 0 16 0 11 0 1844829581 858537984 32288 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 32288 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 361.1 Current children cumulated vsize (Kb) 838416 [startup+400.028 s] Raw data (loadavg): 1.12 1.03 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18483 3 1 0 37005 62 0 0 17 0 11 0 1844829581 858537984 32389 4294967295 134512640 134569956 3221224352 3221214632 1131521047 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 32389 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 370.67 Current children cumulated vsize (Kb) 838416 [startup+410.03 s] Raw data (loadavg): 1.10 1.03 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18494 3 1 0 37947 63 0 0 16 0 11 0 1844829581 858537984 32481 4294967295 134512640 134569956 3221224352 3221214536 1131436960 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 32481 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 380.1 Current children cumulated vsize (Kb) 838416 [startup+420.031 s] Raw data (loadavg): 1.09 1.03 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18504 3 1 0 38887 64 0 0 17 0 11 0 1844829581 858537984 32581 4294967295 134512640 134569956 3221224352 3221214632 1131520991 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 32581 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 389.51 Current children cumulated vsize (Kb) 838416 [startup+430.032 s] Raw data (loadavg): 1.07 1.03 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18515 3 1 0 39819 65 0 0 16 0 11 0 1844829581 858537984 32684 4294967295 134512640 134569956 3221224352 3221214632 1131517457 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 32684 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 398.84 Current children cumulated vsize (Kb) 838416 [startup+440.033 s] Raw data (loadavg): 1.06 1.03 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18526 3 1 0 40760 65 0 0 16 0 11 0 1844829581 858537984 32950 4294967295 134512640 134569956 3221224352 3221214632 1131521710 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 32950 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 408.25 Current children cumulated vsize (Kb) 838416 [startup+450.034 s] Raw data (loadavg): 1.05 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18536 3 1 0 41710 66 0 0 17 0 11 0 1844829581 858537984 33074 4294967295 134512640 134569956 3221224352 3221214536 1131437540 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 33074 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 417.76 Current children cumulated vsize (Kb) 838416 [startup+460.036 s] Raw data (loadavg): 1.04 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18547 3 1 0 42652 66 0 0 16 0 11 0 1844829581 858537984 33199 4294967295 134512640 134569956 3221224352 3221214632 1131520914 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 33199 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 427.18 Current children cumulated vsize (Kb) 838416 [startup+470.037 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18557 3 1 0 43597 66 0 0 16 0 11 0 1844829581 858537984 33319 4294967295 134512640 134569956 3221224352 3221214536 1131437657 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 33319 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 436.63 Current children cumulated vsize (Kb) 838416 [startup+480.038 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18568 3 1 0 44539 67 0 0 16 0 11 0 1844829581 858537984 33481 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 33481 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 446.06 Current children cumulated vsize (Kb) 838416 [startup+490.038 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18579 3 1 0 45483 68 0 0 16 0 11 0 1844829581 858537984 33622 4294967295 134512640 134569956 3221224352 3221214536 1131437684 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 33622 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 455.51 Current children cumulated vsize (Kb) 838416 [startup+500.04 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18584 3 1 0 46458 68 0 0 18 0 11 0 1844829581 858537984 33678 4294967295 134512640 134569956 3221224352 3221214632 1131516597 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 33678 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 465.26 Current children cumulated vsize (Kb) 838416 [startup+510.042 s] Raw data (loadavg): 1.02 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18590 3 1 0 47431 68 0 0 17 0 11 0 1844829581 858537984 33746 4294967295 134512640 134569956 3221224352 3221214632 1131516593 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 33746 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 474.99 Current children cumulated vsize (Kb) 838416 [startup+520.043 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18597 3 1 0 48398 69 0 0 18 0 11 0 1844829581 858537984 33813 4294967295 134512640 134569956 3221224352 3221213280 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 33813 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 484.67 Current children cumulated vsize (Kb) 838416 [startup+530.047 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18605 3 1 0 49368 69 0 0 17 0 11 0 1844829581 858537984 33914 4294967295 134512640 134569956 3221224352 3221214448 1131373626 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 33914 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 494.37 Current children cumulated vsize (Kb) 838416 [startup+540.048 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18613 3 1 0 50330 69 0 0 17 0 11 0 1844829581 858537984 33998 4294967295 134512640 134569956 3221224352 3221214608 1131569713 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 33998 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 503.99 Current children cumulated vsize (Kb) 838416 [startup+550.048 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18621 3 1 0 51289 70 0 0 17 0 11 0 1844829581 858537984 34025 4294967295 134512640 134569956 3221224352 3221214672 1131415481 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 34025 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 513.59 Current children cumulated vsize (Kb) 838416 [startup+560.05 s] Raw data (loadavg): 1.01 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18629 3 1 0 52239 70 0 0 16 0 11 0 1844829581 858537984 34073 4294967295 134512640 134569956 3221224352 3221214800 1131356569 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 34073 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 523.09 Current children cumulated vsize (Kb) 838416 [startup+570.052 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18636 3 1 0 53184 70 0 0 16 0 11 0 1844829581 858537984 34172 4294967295 134512640 134569956 3221224352 3221214632 1131516658 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 34172 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 532.54 Current children cumulated vsize (Kb) 838416 [startup+580.051 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18643 3 1 0 54129 70 0 0 16 0 11 0 1844829581 858537984 34297 4294967295 134512640 134569956 3221224352 3221214632 1131518648 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 34297 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 541.99 Current children cumulated vsize (Kb) 838416 [startup+590.052 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18650 3 1 0 55070 71 0 0 16 0 11 0 1844829581 858537984 34394 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 34394 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 551.41 Current children cumulated vsize (Kb) 838416 [startup+600.053 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18658 3 1 0 56002 71 0 0 16 0 11 0 1844829581 858537984 34558 4294967295 134512640 134569956 3221224352 3221214632 1131516658 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 34558 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 560.73 Current children cumulated vsize (Kb) 838416 [startup+610.054 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18665 3 1 0 56939 71 0 0 17 0 11 0 1844829581 858537984 34777 4294967295 134512640 134569956 3221224352 3221213240 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 34777 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 570.1 Current children cumulated vsize (Kb) 838416 [startup+620.059 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 18673 3 1 0 57872 72 0 0 16 0 11 0 1844829581 858537984 34922 4294967295 134512640 134569956 3221224352 3221213280 1073943035 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 34922 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 579.44 Current children cumulated vsize (Kb) 838416 [startup+630.06 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18682 3 1 0 58795 72 0 0 16 0 11 0 1844829581 858537984 35052 4294967295 134512640 134569956 3221224352 3221214536 1131437291 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 35052 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 588.67 Current children cumulated vsize (Kb) 838416 [startup+640.061 s] Raw data (loadavg): 1.08 1.02 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18690 3 1 0 59727 72 0 0 16 0 11 0 1844829581 858537984 35290 4294967295 134512640 134569956 3221224352 3221214632 1131516586 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 35290 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 597.99 Current children cumulated vsize (Kb) 838416 [startup+650.062 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18698 3 1 0 60667 73 0 0 16 0 11 0 1844829581 858537984 35482 4294967295 134512640 134569956 3221224352 3221214536 1131437299 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 35482 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 607.4 Current children cumulated vsize (Kb) 838416 [startup+660.063 s] Raw data (loadavg): 1.06 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18707 3 1 0 61601 73 0 0 16 0 11 0 1844829581 858537984 35681 4294967295 134512640 134569956 3221224352 3221214520 1131415265 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 35681 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 616.74 Current children cumulated vsize (Kb) 838416 [startup+670.063 s] Raw data (loadavg): 1.05 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18715 3 1 0 62541 73 0 0 16 0 11 0 1844829581 858537984 35863 4294967295 134512640 134569956 3221224352 3221214448 1131374076 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 35863 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 626.14 Current children cumulated vsize (Kb) 838416 [startup+680.064 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18722 3 1 0 63488 73 0 0 16 0 11 0 1844829581 858537984 35948 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 35948 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 635.61 Current children cumulated vsize (Kb) 838416 [startup+690.065 s] Raw data (loadavg): 1.11 1.04 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18728 3 1 0 64445 74 0 0 17 0 11 0 1844829581 858537984 36022 4294967295 134512640 134569956 3221224352 3221214536 1131437536 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 36022 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 645.19 Current children cumulated vsize (Kb) 838416 [startup+700.065 s] Raw data (loadavg): 1.10 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18737 3 1 0 65385 74 0 0 16 0 11 0 1844829581 858537984 36245 4294967295 134512640 134569956 3221224352 3221214448 1131373626 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 36245 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 654.59 Current children cumulated vsize (Kb) 838416 [startup+710.067 s] Raw data (loadavg): 1.08 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18745 3 1 0 66330 74 0 0 16 0 11 0 1844829581 858537984 36457 4294967295 134512640 134569956 3221224352 3221214536 1131437337 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 36457 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 664.04 Current children cumulated vsize (Kb) 838416 [startup+720.067 s] Raw data (loadavg): 1.07 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18753 3 1 0 67274 75 0 0 17 0 11 0 1844829581 858537984 36528 4294967295 134512640 134569956 3221224352 3221214632 1131516593 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 36528 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 673.49 Current children cumulated vsize (Kb) 838416 [startup+730.067 s] Raw data (loadavg): 1.06 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18760 3 1 0 68221 75 0 0 17 0 11 0 1844829581 858537984 36631 4294967295 134512640 134569956 3221224352 3221214408 1131675732 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 36631 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 682.96 Current children cumulated vsize (Kb) 838416 [startup+740.069 s] Raw data (loadavg): 1.13 1.04 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18766 3 1 0 69180 75 0 0 17 0 11 0 1844829581 858537984 36725 4294967295 134512640 134569956 3221224352 3221214672 1131415468 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 36725 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 692.55 Current children cumulated vsize (Kb) 838416 [startup+750.07 s] Raw data (loadavg): 1.11 1.04 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18772 3 1 0 70144 76 0 0 18 0 11 0 1844829581 858537984 36894 4294967295 134512640 134569956 3221224352 3221214432 1131666389 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 36894 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 702.2 Current children cumulated vsize (Kb) 838416 [startup+760.07 s] Raw data (loadavg): 1.16 1.06 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18778 3 1 0 71116 76 0 0 22 0 11 0 1844829581 858537984 37046 4294967295 134512640 134569956 3221224352 3221214432 1131667109 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 37046 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 711.92 Current children cumulated vsize (Kb) 838416 [startup+770.071 s] Raw data (loadavg): 1.14 1.06 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18782 3 1 0 72103 76 0 0 17 0 11 0 1844829581 858537984 37167 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 37167 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 721.79 Current children cumulated vsize (Kb) 838416 [startup+780.072 s] Raw data (loadavg): 1.12 1.05 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18790 3 1 0 73079 76 0 0 17 0 11 0 1844829581 858537984 37222 4294967295 134512640 134569956 3221224352 3221214512 1131415601 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37222 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 731.55 Current children cumulated vsize (Kb) 838416 [startup+790.073 s] Raw data (loadavg): 1.10 1.05 1.01 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18796 3 1 0 74060 76 0 0 18 0 11 0 1844829581 858537984 37287 4294967295 134512640 134569956 3221224352 3221214512 1131415616 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37287 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 741.36 Current children cumulated vsize (Kb) 838416 [startup+800.073 s] Raw data (loadavg): 1.08 1.05 1.01 3/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18802 3 1 0 75041 77 0 0 16 0 11 0 1844829581 858537984 37287 4294967295 134512640 134569956 3221224352 3221214512 1131415601 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37287 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 751.18 Current children cumulated vsize (Kb) 838416 [startup+810.075 s] Raw data (loadavg): 1.07 1.05 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18807 3 1 0 76025 77 0 0 24 0 11 0 1844829581 858537984 37287 4294967295 134512640 134569956 3221224352 3221214520 1131415536 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37287 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 761.02 Current children cumulated vsize (Kb) 838416 [startup+820.076 s] Raw data (loadavg): 1.06 1.05 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18810 3 1 0 77014 77 0 0 25 0 11 0 1844829581 858537984 37287 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 37287 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 770.91 Current children cumulated vsize (Kb) 838416 [startup+830.077 s] Raw data (loadavg): 1.05 1.04 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18816 3 1 0 77997 78 0 0 16 0 11 0 1844829581 858537984 37435 4294967295 134512640 134569956 3221224352 3221214512 1131415577 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37435 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 780.75 Current children cumulated vsize (Kb) 838416 [startup+840.078 s] Raw data (loadavg): 1.04 1.04 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18819 3 1 0 78989 78 0 0 19 0 11 0 1844829581 858537984 37444 4294967295 134512640 134569956 3221224352 3221214408 1131676094 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 37444 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 790.67 Current children cumulated vsize (Kb) 838416 [startup+850.078 s] Raw data (loadavg): 1.03 1.04 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18826 3 1 0 79968 79 0 0 17 0 11 0 1844829581 858537984 37527 4294967295 134512640 134569956 3221224352 3221214520 1131579416 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37527 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 800.47 Current children cumulated vsize (Kb) 838416 [startup+860.08 s] Raw data (loadavg): 1.03 1.04 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18832 3 1 0 80948 79 0 0 20 0 11 0 1844829581 858537984 37528 4294967295 134512640 134569956 3221224352 3221214488 1131663018 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37528 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 810.27 Current children cumulated vsize (Kb) 838416 [startup+870.081 s] Raw data (loadavg): 1.02 1.04 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18835 3 1 0 81937 79 0 0 19 0 11 0 1844829581 858537984 37528 4294967295 134512640 134569956 3221224352 3221214672 1131415436 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37528 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 820.16 Current children cumulated vsize (Kb) 838416 [startup+880.081 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18841 3 1 0 82912 79 0 0 18 0 11 0 1844829581 858537984 37528 4294967295 134512640 134569956 3221224352 3221214376 1131675690 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 37528 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 829.91 Current children cumulated vsize (Kb) 838416 [startup+890.082 s] Raw data (loadavg): 1.02 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18847 3 1 0 83887 80 0 0 17 0 11 0 1844829581 858537984 37528 4294967295 134512640 134569956 3221224352 3221214512 1131415564 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37528 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 839.67 Current children cumulated vsize (Kb) 838416 [startup+900.082 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18853 3 1 0 84865 80 0 0 25 0 11 0 1844829581 858537984 37853 4294967295 134512640 134569956 3221224352 3221214512 1131415436 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 37853 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 849.45 Current children cumulated vsize (Kb) 838416 [startup+910.084 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18857 3 1 0 85854 80 0 0 21 0 11 0 1844829581 858537984 37877 4294967295 134512640 134569956 3221224352 3221214512 1131415636 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37877 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 859.34 Current children cumulated vsize (Kb) 838416 [startup+920.085 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18859 3 1 0 86849 81 0 0 25 0 11 0 1844829581 858537984 37943 4294967295 134512640 134569956 3221224352 3221214432 1131666836 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37943 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 869.3 Current children cumulated vsize (Kb) 838416 [startup+930.086 s] Raw data (loadavg): 1.01 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18862 3 1 0 87843 81 0 0 25 0 11 0 1844829581 858537984 37950 4294967295 134512640 134569956 3221224352 3221214512 1131415436 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 37950 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 879.24 Current children cumulated vsize (Kb) 838416 [startup+940.086 s] Raw data (loadavg): 1.00 1.03 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18868 3 1 0 88834 81 0 0 19 0 11 0 1844829581 858537984 38030 4294967295 134512640 134569956 3221224352 3221214520 1131415660 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38030 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 889.15 Current children cumulated vsize (Kb) 838416 [startup+950.087 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18874 3 1 0 89827 81 0 0 17 0 11 0 1844829581 858537984 38030 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38030 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 899.08 Current children cumulated vsize (Kb) 838416 [startup+960.089 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18880 3 1 0 90820 82 0 0 19 0 11 0 1844829581 858537984 38031 4294967295 134512640 134569956 3221224352 3221214608 1131569888 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38031 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 909.02 Current children cumulated vsize (Kb) 838416 [startup+970.09 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18886 3 1 0 91813 82 0 0 18 0 11 0 1844829581 858537984 38031 4294967295 134512640 134569956 3221224352 3221214480 1131595293 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38031 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 918.95 Current children cumulated vsize (Kb) 838416 [startup+980.091 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18891 3 1 0 92807 83 0 0 18 0 11 0 1844829581 858537984 38031 4294967295 134512640 134569956 3221224352 3221214512 1131415587 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38031 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 928.9 Current children cumulated vsize (Kb) 838416 [startup+990.091 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18897 3 1 0 93801 83 0 0 20 0 11 0 1844829581 858537984 38032 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38032 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 938.84 Current children cumulated vsize (Kb) 838416 [startup+1000.09 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18903 3 1 0 94794 83 0 0 20 0 11 0 1844829581 858537984 38035 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38035 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 948.77 Current children cumulated vsize (Kb) 838416 [startup+1010.09 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18910 3 1 0 95778 84 0 0 17 0 11 0 1844829581 858537984 38035 4294967295 134512640 134569956 3221224352 3221214632 1131516352 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38035 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 958.62 Current children cumulated vsize (Kb) 838416 [startup+1020.09 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18918 3 1 0 96751 86 0 0 23 0 11 0 1844829581 858537984 38036 4294967295 134512640 134569956 3221224352 3221214536 1131437319 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38036 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 968.37 Current children cumulated vsize (Kb) 838416 [startup+1030.1 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18927 3 1 0 97716 86 0 0 17 0 11 0 1844829581 858537984 38036 4294967295 134512640 134569956 3221224352 3221214520 1131579125 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38036 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 978.02 Current children cumulated vsize (Kb) 838416 [startup+1040.1 s] Raw data (loadavg): 1.00 1.02 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18929 3 1 0 98707 86 0 0 25 0 11 0 1844829581 858537984 38037 4294967295 134512640 134569956 3221224352 3221214432 1131666966 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38037 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 987.93 Current children cumulated vsize (Kb) 838416 [startup+1050.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18931 3 1 0 99697 87 0 0 21 0 11 0 1844829581 858537984 38037 4294967295 134512640 134569956 3221224352 3221214408 1131676244 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38037 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 997.84 Current children cumulated vsize (Kb) 838416 [startup+1060.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18932 3 1 0 100692 87 0 0 25 0 11 0 1844829581 858537984 38037 4294967295 134512640 134569956 3221224352 3221214432 1131666857 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38037 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1007.79 Current children cumulated vsize (Kb) 838416 [startup+1070.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18934 3 1 0 101682 87 0 0 18 0 11 0 1844829581 858537984 38037 4294967295 134512640 134569956 3221224352 3221214488 1131663117 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38037 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1017.69 Current children cumulated vsize (Kb) 838416 [startup+1080.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18938 3 1 0 102664 87 0 0 17 0 11 0 1844829581 858537984 38318 4294967295 134512640 134569956 3221224352 3221214632 1131516658 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38318 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1027.51 Current children cumulated vsize (Kb) 838416 [startup+1090.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18945 3 1 0 103629 88 0 0 17 0 11 0 1844829581 858537984 38389 4294967295 134512640 134569956 3221224352 3221214520 1131415530 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38389 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1037.17 Current children cumulated vsize (Kb) 838416 [startup+1100.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18948 3 1 0 104613 88 0 0 24 0 11 0 1844829581 858537984 38423 4294967295 134512640 134569956 3221224352 3221214536 1131659973 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38423 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1047.01 Current children cumulated vsize (Kb) 838416 [startup+1110.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18949 3 1 0 105607 88 0 0 25 0 11 0 1844829581 858537984 38423 4294967295 134512640 134569956 3221224352 3221214432 1131667073 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38423 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1056.95 Current children cumulated vsize (Kb) 838416 [startup+1120.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18951 3 1 0 106595 88 0 0 25 0 11 0 1844829581 858537984 38443 4294967295 134512640 134569956 3221224352 3221214488 1131663125 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38443 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1066.83 Current children cumulated vsize (Kb) 838416 [startup+1130.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18952 3 1 0 107590 88 0 0 25 0 11 0 1844829581 858537984 38463 4294967295 134512640 134569956 3221224352 3221214520 1131415610 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38463 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1076.78 Current children cumulated vsize (Kb) 838416 [startup+1140.1 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18953 3 1 0 108585 89 0 0 25 0 11 0 1844829581 858537984 38463 4294967295 134512640 134569956 3221224352 3221214512 1131501830 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38463 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1086.74 Current children cumulated vsize (Kb) 838416 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18960 3 1 0 109548 89 0 0 17 0 11 0 1844829581 858537984 38685 4294967295 134512640 134569956 3221224352 3221214536 1131437111 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38685 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1096.37 Current children cumulated vsize (Kb) 838416 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18965 3 1 0 110522 89 0 0 20 0 11 0 1844829581 858537984 38869 4294967295 134512640 134569956 3221224352 3221214512 1131415620 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 38869 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1106.11 Current children cumulated vsize (Kb) 838416 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18968 3 1 0 111506 90 0 0 25 0 11 0 1844829581 858537984 38943 4294967295 134512640 134569956 3221224352 3221214520 1131415599 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38943 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1115.96 Current children cumulated vsize (Kb) 838416 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18970 3 1 0 112495 90 0 0 25 0 11 0 1844829581 858537984 38943 4294967295 134512640 134569956 3221224352 3221214408 1131676049 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 38943 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1125.85 Current children cumulated vsize (Kb) 838416 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18976 3 1 0 113463 90 0 0 17 0 11 0 1844829581 858537984 39098 4294967295 134512640 134569956 3221224352 3221214632 1131517457 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 39098 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1135.53 Current children cumulated vsize (Kb) 838416 [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18981 3 1 0 114434 91 0 0 19 0 11 0 1844829581 858537984 39423 4294967295 134512640 134569956 3221224352 3221214512 1131415599 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 39423 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1145.25 Current children cumulated vsize (Kb) 838416 [startup+1210.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18986 3 1 0 115406 91 0 0 17 0 11 0 1844829581 858537984 39423 4294967295 134512640 134569956 3221224352 3221214512 1131415601 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 39423 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1154.97 Current children cumulated vsize (Kb) 838416 [startup+1220.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18992 3 1 0 116373 91 0 0 17 0 11 0 1844829581 858537984 39666 4294967295 134512640 134569956 3221224352 3221214512 1131415591 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 39666 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1164.64 Current children cumulated vsize (Kb) 838416 [startup+1230.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 18998 3 1 0 117346 92 0 0 20 0 11 0 1844829581 858537984 39700 4294967295 134512640 134569956 3221224352 3221214512 1131415648 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 39700 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1174.38 Current children cumulated vsize (Kb) 838416 [startup+1240.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 19003 3 1 0 118324 92 0 0 19 0 11 0 1844829581 858537984 39781 4294967295 134512640 134569956 3221224352 3221214608 1131569436 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 39781 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1184.16 Current children cumulated vsize (Kb) 838416 [startup+1250.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) R 25602 25603 19818 0 -1 0 19010 3 1 0 119300 92 0 0 19 0 11 0 1844829581 858537984 40024 4294967295 134512640 134569956 3221224352 3221214632 1131517996 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/25603/statm): 209604 40024 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1193.92 Current children cumulated vsize (Kb) 838416 [startup+1260.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 19018 3 1 0 120282 92 0 0 23 0 11 0 1844829581 858537984 40166 4294967295 134512640 134569956 3221224352 3221213176 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 40166 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1203.74 Current children cumulated vsize (Kb) 838416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1260.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 25621 Raw data (/proc/25603/stat): 25603 (java) S 25602 25603 19818 0 -1 0 19018 3 1 0 120282 92 0 0 23 0 11 0 1844829581 858537984 40166 4294967295 134512640 134569956 3221224352 3221213176 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/25603/statm): 209604 40166 13129 16 0 209588 0 [pid=25603] vsize: 838416 Current children cumulated CPU time (s) 1203.74 Current children cumulated vsize (Kb) 838416 Sending SIGTERM to -25603 Sleeping 2 seconds New thread pid=25623 New thread pid=25624 One traced child (pid=25624) exited with status: 0 One traced child (pid=25612) exited with status: 0 One traced child (pid=25607) exited with status: 0 One traced child (pid=25604) exited with status: 143 One traced child (pid=25605) exited with status: 143 One traced child (pid=25606) exited with status: 143 One traced child (pid=25609) exited with status: 143 One traced child (pid=25611) exited with status: 143 One traced child (pid=25610) exited with status: 143 One traced child (pid=25608) exited with status: 143 One traced child (pid=25621) exited with status: 143 One traced child (pid=25623) exited with status: 143 One traced child (pid=25603) exited with status: 143 All traced children have exited ! Game is over. Child status: 143 Real time (s): 1260.26 CPU time (s): 1256.59 CPU user time (s): 1254.85 CPU system time (s): 1.73474 CPU usage (%): 99.7087 Max. virtual memory (cumulated for all children) (Kb): 839148
Verifier: OK 5507