Name | submitted/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb |
MD5SUM | e4299a962dbf619cce8fa1cb0ec0a149 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 349 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 698 |
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 | 698 |
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 | 698 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 7.36588 |
Number of variables | 698 |
Total number of constraints | 1741 |
Number of constraints which are clauses | 1741 |
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 | 3 |
LAUNCH ON wulflinc23 THE 2005-09-18 16:52:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6043 boxname=wulflinc23 idbench=183 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: e4299a962dbf619cce8fa1cb0ec0a149 /oldhome/oroussel/tmp/wulflinc23/normalized-par16-2-c.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc23/normalized-par16-2-c.opb IDLAUNCH: 6043 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 916100 kB Buffers: 32836 kB Cached: 58648 kB SwapCached: 792 kB Active: 43616 kB Inactive: 50504 kB HighTotal: 131008 kB HighFree: 69104 kB LowTotal: 903652 kB LowFree: 846996 kB SwapTotal: 2097136 kB SwapFree: 2095868 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5692 kB Slab: 18780 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 17:05:00 (client local time) WITH STATUS 30 IN 735.498 SECONDS stats: 6043 0 735.498 30
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version JAVA5.1.1.31 c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@a20892 c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08 c org.sat4j.minisat.learning.MiniSATLearning@158b649 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c VSIDS like heuristics from MiniSAT using a sorted array c No reason simplification c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc23/normalized-par16-2-c.opb c reading problem ... done. Time 2.162 ms. c #vars 698 c #constraints 1741 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 349 Current CPU time: 285.99 ms c starts : 17 c conflicts : 9490 c decisions : 10180 c propagations : 2114525 c inspects : 11762975 c learnt literals : 0 c learnt binary clauses : 2 c learnt ternary clauses : 51 c learnt clauses : 9489 c root simplifications : 30 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 8658 c speed (decisions/second) : 23.05415461683225 c non guided choices 6228 c random choices 0 s OPTIMUM FOUND 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 c objective function=349 c Total CPU time (ms) : 727.626
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/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842853413 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 39 3 38 16 0 23 0 [pid=9376] 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/9376 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=9377 New thread pid=9378 New thread pid=9379 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=9380 New thread pid=9381 New thread pid=9382 New thread pid=9383 New thread pid=9384 New thread pid=9385 open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security open syscall for file /dev/random open syscall for file /dev/urandom open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-par16-2-c.opb New thread pid=9386 [startup+10.0026 s] Raw data (loadavg): 1.08 1.02 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18159 0 1 0 725 49 0 0 21 0 11 0 1842853413 859295744 19863 4294967295 134512640 134569956 3221224336 3221214544 1131448881 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209789 19863 13129 16 0 209773 0 [pid=9376] vsize: 839156 Current children cumulated CPU time (s) 7.74 Current children cumulated vsize (Kb) 839156 [startup+20.0033 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18168 0 1 0 1683 49 0 0 18 0 11 0 1842853413 857956352 20365 4294967295 134512640 134569956 3221224336 3221214632 1131441012 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209462 20365 13129 16 0 209446 0 [pid=9376] vsize: 837848 Current children cumulated CPU time (s) 17.32 Current children cumulated vsize (Kb) 837848 [startup+30.0029 s] Raw data (loadavg): 1.06 1.02 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18174 0 1 0 2641 50 0 0 25 0 11 0 1842853413 857759744 20649 4294967295 134512640 134569956 3221224336 3221214632 1131520784 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209414 20649 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 26.91 Current children cumulated vsize (Kb) 837656 [startup+40.0035 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18180 0 1 0 3598 50 0 0 25 0 11 0 1842853413 857759744 20929 4294967295 134512640 134569956 3221224336 3221214616 1131523409 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209414 20929 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 36.48 Current children cumulated vsize (Kb) 837656 [startup+50.0042 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18184 0 1 0 4553 51 0 0 25 0 11 0 1842853413 857759744 21433 4294967295 134512640 134569956 3221224336 3221214120 1131500444 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209414 21433 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 46.04 Current children cumulated vsize (Kb) 837656 [startup+60.0048 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18187 0 1 0 5527 52 0 0 25 0 11 0 1842853413 857759744 21434 4294967295 134512640 134569956 3221224336 3221214592 1131460928 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209414 21434 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 55.79 Current children cumulated vsize (Kb) 837656 [startup+70.0044 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18192 0 1 0 6496 53 0 0 17 0 11 0 1842853413 857759744 21435 4294967295 134512640 134569956 3221224336 3221214144 1085759263 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209414 21435 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 65.49 Current children cumulated vsize (Kb) 837656 [startup+80.0051 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18195 0 1 0 7465 53 0 0 25 0 11 0 1842853413 857759744 21435 4294967295 134512640 134569956 3221224336 3221213816 1085806278 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209414 21435 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 75.18 Current children cumulated vsize (Kb) 837656 [startup+90.0047 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18198 0 1 0 8432 53 0 0 25 0 11 0 1842853413 857759744 21510 4294967295 134512640 134569956 3221224336 3221214688 1131494421 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209414 21510 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 84.85 Current children cumulated vsize (Kb) 837656 [startup+100.004 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18201 0 1 0 9399 54 0 0 23 0 11 0 1842853413 857759744 21595 4294967295 134512640 134569956 3221224336 3221214592 1131441723 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209414 21595 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 94.53 Current children cumulated vsize (Kb) 837656 [startup+110.006 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18203 0 1 0 10376 54 0 0 25 0 11 0 1842853413 857759744 21662 4294967295 134512640 134569956 3221224336 3221213904 1131500444 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209414 21662 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 104.3 Current children cumulated vsize (Kb) 837656 [startup+120.007 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18206 0 1 0 11342 54 0 0 25 0 11 0 1842853413 857759744 21761 4294967295 134512640 134569956 3221224336 3221214320 1131663996 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209414 21761 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 113.96 Current children cumulated vsize (Kb) 837656 [startup+130.006 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18208 0 1 0 12319 55 0 0 25 0 11 0 1842853413 857759744 21842 4294967295 134512640 134569956 3221224336 3221214656 1131409924 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209414 21842 13129 16 0 209398 0 [pid=9376] vsize: 837656 Current children cumulated CPU time (s) 123.74 Current children cumulated vsize (Kb) 837656 [startup+140.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18210 0 1 0 13295 55 0 0 25 0 11 0 1842853413 858689536 22140 4294967295 134512640 134569956 3221224336 3221213952 1131640231 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209641 22140 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 133.5 Current children cumulated vsize (Kb) 838564 [startup+150.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18212 0 1 0 14271 55 0 0 25 0 11 0 1842853413 858689536 22203 4294967295 134512640 134569956 3221224336 3221213896 1085759249 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209641 22203 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 143.26 Current children cumulated vsize (Kb) 838564 [startup+160.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18215 0 1 0 15247 56 0 0 25 0 11 0 1842853413 858689536 22279 4294967295 134512640 134569956 3221224336 3221214372 1131640012 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209641 22279 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 153.03 Current children cumulated vsize (Kb) 838564 [startup+170.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18218 0 1 0 16212 56 0 0 25 0 11 0 1842853413 858689536 22379 4294967295 134512640 134569956 3221224336 3221214600 1131514074 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209641 22379 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 162.68 Current children cumulated vsize (Kb) 838564 [startup+180.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18220 0 1 0 17188 57 0 0 25 0 11 0 1842853413 858689536 22461 4294967295 134512640 134569956 3221224336 3221213996 1131630281 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209641 22461 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 172.45 Current children cumulated vsize (Kb) 838564 [startup+190.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18222 0 1 0 18164 57 0 0 25 0 11 0 1842853413 858689536 22547 4294967295 134512640 134569956 3221224336 3221214168 1131640252 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209641 22547 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 182.21 Current children cumulated vsize (Kb) 838564 [startup+200.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18224 0 1 0 19140 57 0 0 25 0 11 0 1842853413 858689536 22607 4294967295 134512640 134569956 3221224336 3221214616 1131517506 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209641 22607 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 191.97 Current children cumulated vsize (Kb) 838564 [startup+210.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18226 0 1 0 20116 57 0 0 25 0 11 0 1842853413 858689536 22685 4294967295 134512640 134569956 3221224336 3221214224 1131640272 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209641 22685 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 201.73 Current children cumulated vsize (Kb) 838564 [startup+220.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18228 0 1 0 21093 58 0 0 25 0 11 0 1842853413 858689536 22743 4294967295 134512640 134569956 3221224336 3221214112 1131640220 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209641 22743 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 211.51 Current children cumulated vsize (Kb) 838564 [startup+230.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18230 0 1 0 22069 58 0 0 25 0 11 0 1842853413 858689536 22810 4294967295 134512640 134569956 3221224336 3221213896 1131640252 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209641 22810 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 221.27 Current children cumulated vsize (Kb) 838564 [startup+240.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18232 0 1 0 23046 58 0 0 25 0 11 0 1842853413 858689536 22846 4294967295 134512640 134569956 3221224336 3221213844 1085759248 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209641 22846 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 231.04 Current children cumulated vsize (Kb) 838564 [startup+250.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18234 0 1 0 24021 58 0 0 25 0 11 0 1842853413 858689536 22911 4294967295 134512640 134569956 3221224336 3221214392 1131640176 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209641 22911 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 240.79 Current children cumulated vsize (Kb) 838564 [startup+260.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18236 0 1 0 24997 59 0 0 25 0 11 0 1842853413 858689536 22994 4294967295 134512640 134569956 3221224336 3221214616 1131517611 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209641 22994 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 250.56 Current children cumulated vsize (Kb) 838564 [startup+270.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) S 9375 9376 5299 0 -1 0 18237 0 1 0 25984 59 0 0 25 0 11 0 1842853413 858689536 22995 4294967295 134512640 134569956 3221224336 3221213344 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209641 22995 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 260.43 Current children cumulated vsize (Kb) 838564 [startup+280.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9386 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18239 0 1 0 26961 59 0 0 25 0 11 0 1842853413 858689536 23052 4294967295 134512640 134569956 3221224336 3221213896 1131640239 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209641 23052 13129 16 0 209625 0 [pid=9376] vsize: 838564 Current children cumulated CPU time (s) 270.2 Current children cumulated vsize (Kb) 838564 One traced child (pid=9386) exited with status: 0 New thread pid=9387 [startup+290.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18286 5 1 0 27932 60 0 0 25 0 11 0 1842853413 858624000 23168 4294967295 134512640 134569956 3221224336 3221214616 1131518638 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209625 23168 13129 16 0 209609 0 [pid=9376] vsize: 838500 Current children cumulated CPU time (s) 279.92 Current children cumulated vsize (Kb) 838500 [startup+300.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18290 5 1 0 28885 60 0 0 25 0 11 0 1842853413 858624000 23259 4294967295 134512640 134569956 3221224336 3221214088 1085806738 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209625 23259 13129 16 0 209609 0 [pid=9376] vsize: 838500 Current children cumulated CPU time (s) 289.45 Current children cumulated vsize (Kb) 838500 [startup+310.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18295 5 1 0 29841 60 0 0 25 0 11 0 1842853413 857935872 23127 4294967295 134512640 134569956 3221224336 3221214000 1131640159 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 23127 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 299.01 Current children cumulated vsize (Kb) 837828 [startup+320.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18299 5 1 0 30797 60 0 0 16 0 11 0 1842853413 857935872 23270 4294967295 134512640 134569956 3221224336 3221214528 1131448330 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 23270 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 308.57 Current children cumulated vsize (Kb) 837828 [startup+330.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18302 5 1 0 31768 61 0 0 25 0 11 0 1842853413 857935872 23371 4294967295 134512640 134569956 3221224336 3221214616 1131518646 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 23371 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 318.29 Current children cumulated vsize (Kb) 837828 [startup+340.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18305 5 1 0 32740 61 0 0 18 0 11 0 1842853413 857935872 23446 4294967295 134512640 134569956 3221224336 3221214088 1085806342 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 23446 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 328.01 Current children cumulated vsize (Kb) 837828 [startup+350.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18308 5 1 0 33712 61 0 0 18 0 11 0 1842853413 857935872 23540 4294967295 134512640 134569956 3221224336 3221213760 1085806732 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 23540 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 337.73 Current children cumulated vsize (Kb) 837828 [startup+360.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18311 5 1 0 34687 61 0 0 25 0 11 0 1842853413 857935872 23624 4294967295 134512640 134569956 3221224336 3221214280 1131640252 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 23624 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 347.48 Current children cumulated vsize (Kb) 837828 [startup+370.016 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18314 5 1 0 35663 62 0 0 25 0 11 0 1842853413 857935872 23706 4294967295 134512640 134569956 3221224336 3221214696 1131669772 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 23706 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 357.25 Current children cumulated vsize (Kb) 837828 [startup+380.016 s] Raw data (loadavg): 1.06 1.02 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18317 5 1 0 36641 62 0 0 25 0 11 0 1842853413 857935872 23798 4294967295 134512640 134569956 3221224336 3221214528 1131448353 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 23798 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 367.03 Current children cumulated vsize (Kb) 837828 [startup+390.017 s] Raw data (loadavg): 1.05 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18320 5 1 0 37621 63 0 0 25 0 11 0 1842853413 857935872 23872 4294967295 134512640 134569956 3221224336 3221214616 1131518638 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 23872 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 376.84 Current children cumulated vsize (Kb) 837828 [startup+400.017 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18323 5 1 0 38599 63 0 0 25 0 11 0 1842853413 857935872 23897 4294967295 134512640 134569956 3221224336 3221213936 1131649698 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 23897 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 386.62 Current children cumulated vsize (Kb) 837828 [startup+410.017 s] Raw data (loadavg): 1.04 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18326 5 1 0 39579 63 0 0 25 0 11 0 1842853413 857935872 23917 4294967295 134512640 134569956 3221224336 3221214616 1131517592 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 23917 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 396.42 Current children cumulated vsize (Kb) 837828 [startup+420.018 s] Raw data (loadavg): 1.03 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18330 5 1 0 40551 64 0 0 25 0 11 0 1842853413 857935872 23967 4294967295 134512640 134569956 3221224336 3221214528 1131448278 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 23967 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 406.15 Current children cumulated vsize (Kb) 837828 [startup+430.017 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18333 5 1 0 41529 64 0 0 25 0 11 0 1842853413 857935872 24000 4294967295 134512640 134569956 3221224336 3221213848 1131500407 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24000 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 415.93 Current children cumulated vsize (Kb) 837828 [startup+440.018 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18336 5 1 0 42508 65 0 0 25 0 11 0 1842853413 857935872 24041 4294967295 134512640 134569956 3221224336 3221214728 1131477991 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24041 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 425.73 Current children cumulated vsize (Kb) 837828 [startup+450.019 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18339 5 1 0 43488 65 0 0 25 0 11 0 1842853413 857935872 24072 4294967295 134512640 134569956 3221224336 3221214528 1131448353 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24072 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 435.53 Current children cumulated vsize (Kb) 837828 [startup+460.019 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18342 5 1 0 44467 65 0 0 25 0 11 0 1842853413 857935872 24105 4294967295 134512640 134569956 3221224336 3221214528 1131448805 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24105 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 445.32 Current children cumulated vsize (Kb) 837828 [startup+470.02 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18346 5 1 0 45439 65 0 0 25 0 11 0 1842853413 857935872 24143 4294967295 134512640 134569956 3221224336 3221213892 1131630272 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24143 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 455.04 Current children cumulated vsize (Kb) 837828 [startup+480.02 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18349 5 1 0 46419 66 0 0 25 0 11 0 1842853413 857935872 24182 4294967295 134512640 134569956 3221224336 3221214112 1131640033 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24182 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 464.85 Current children cumulated vsize (Kb) 837828 [startup+490.02 s] Raw data (loadavg): 1.08 1.02 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18352 5 1 0 47399 66 0 0 25 0 11 0 1842853413 857935872 24219 4294967295 134512640 134569956 3221224336 3221214804 1131425760 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24219 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 474.65 Current children cumulated vsize (Kb) 837828 [startup+500.021 s] Raw data (loadavg): 1.07 1.02 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18355 5 1 0 48380 66 0 0 25 0 11 0 1842853413 857935872 24268 4294967295 134512640 134569956 3221224336 3221214528 1131448537 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24268 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 484.46 Current children cumulated vsize (Kb) 837828 [startup+510.022 s] Raw data (loadavg): 1.06 1.02 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18358 5 1 0 49361 66 0 0 25 0 11 0 1842853413 857935872 24298 4294967295 134512640 134569956 3221224336 3221214528 1131448388 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24298 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 494.27 Current children cumulated vsize (Kb) 837828 [startup+520.022 s] Raw data (loadavg): 1.05 1.02 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18361 5 1 0 50341 66 0 0 25 0 11 0 1842853413 857935872 24324 4294967295 134512640 134569956 3221224336 3221214528 1131448895 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24324 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 504.07 Current children cumulated vsize (Kb) 837828 [startup+530.022 s] Raw data (loadavg): 1.04 1.02 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18364 5 1 0 51322 66 0 0 25 0 11 0 1842853413 857935872 24353 4294967295 134512640 134569956 3221224336 3221213864 1085806313 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24353 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 513.88 Current children cumulated vsize (Kb) 837828 [startup+540.023 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18367 5 1 0 52302 66 0 0 25 0 11 0 1842853413 857935872 24388 4294967295 134512640 134569956 3221224336 3221213760 1085759257 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24388 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 523.68 Current children cumulated vsize (Kb) 837828 [startup+550.022 s] Raw data (loadavg): 1.03 1.02 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18370 5 1 0 53282 67 0 0 25 0 11 0 1842853413 857935872 24418 4294967295 134512640 134569956 3221224336 3221214200 1085806738 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24418 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 533.49 Current children cumulated vsize (Kb) 837828 [startup+560.024 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18373 5 1 0 54261 68 0 0 25 0 11 0 1842853413 857935872 24449 4294967295 134512640 134569956 3221224336 3221213896 1131640045 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24449 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 543.29 Current children cumulated vsize (Kb) 837828 [startup+570.024 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18376 5 1 0 55240 68 0 0 25 0 11 0 1842853413 857935872 24478 4294967295 134512640 134569956 3221224336 3221213840 1131640220 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24478 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 553.08 Current children cumulated vsize (Kb) 837828 [startup+580.024 s] Raw data (loadavg): 1.02 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18380 5 1 0 56213 68 0 0 19 0 11 0 1842853413 857935872 24512 4294967295 134512640 134569956 3221224336 3221214784 1131425817 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24512 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 562.81 Current children cumulated vsize (Kb) 837828 [startup+590.026 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18383 5 1 0 57193 68 0 0 19 0 11 0 1842853413 857935872 24538 4294967295 134512640 134569956 3221224336 3221214728 1131478612 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24538 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 572.61 Current children cumulated vsize (Kb) 837828 [startup+600.026 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18386 5 1 0 58172 69 0 0 25 0 11 0 1842853413 857935872 24575 4294967295 134512640 134569956 3221224336 3221213952 1131500395 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24575 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 582.41 Current children cumulated vsize (Kb) 837828 [startup+610.027 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18389 5 1 0 59153 69 0 0 25 0 11 0 1842853413 857935872 24596 4294967295 134512640 134569956 3221224336 3221214616 1131519597 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24596 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 592.22 Current children cumulated vsize (Kb) 837828 [startup+620.029 s] Raw data (loadavg): 1.01 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) S 9375 9376 5299 0 -1 0 18394 5 1 0 60127 69 0 0 25 0 11 0 1842853413 857935872 24630 4294967295 134512640 134569956 3221224336 3221213168 1073952481 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24630 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 601.96 Current children cumulated vsize (Kb) 837828 [startup+630.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18397 5 1 0 61106 69 0 0 25 0 11 0 1842853413 857935872 24665 4294967295 134512640 134569956 3221224336 3221213992 1131640264 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24665 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 611.75 Current children cumulated vsize (Kb) 837828 [startup+640.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18400 5 1 0 62086 70 0 0 25 0 11 0 1842853413 857935872 24700 4294967295 134512640 134569956 3221224336 3221214384 1131630293 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24700 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 621.56 Current children cumulated vsize (Kb) 837828 [startup+650.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18403 5 1 0 63066 70 0 0 25 0 11 0 1842853413 857935872 24727 4294967295 134512640 134569956 3221224336 3221214320 1131664032 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24727 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 631.36 Current children cumulated vsize (Kb) 837828 [startup+660.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18406 5 1 0 64046 70 0 0 25 0 11 0 1842853413 857935872 24765 4294967295 134512640 134569956 3221224336 3221214440 1131630293 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24765 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 641.16 Current children cumulated vsize (Kb) 837828 [startup+670.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18409 5 1 0 65027 71 0 0 25 0 11 0 1842853413 857935872 24790 4294967295 134512640 134569956 3221224336 3221214344 1131500389 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24790 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 650.98 Current children cumulated vsize (Kb) 837828 [startup+680.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18412 5 1 0 66007 71 0 0 24 0 11 0 1842853413 857935872 24819 4294967295 134512640 134569956 3221224336 3221214028 1085743747 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24819 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 660.78 Current children cumulated vsize (Kb) 837828 [startup+690.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18416 5 1 0 66993 71 0 0 25 0 11 0 1842853413 857935872 24838 4294967295 134512640 134569956 3221224336 3221213992 1131640258 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24838 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 670.64 Current children cumulated vsize (Kb) 837828 [startup+700.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18420 5 1 0 67975 72 0 0 25 0 11 0 1842853413 857935872 24867 4294967295 134512640 134569956 3221224336 3221214520 1131440712 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/9376/statm): 209457 24867 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 680.47 Current children cumulated vsize (Kb) 837828 [startup+710.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18424 5 1 0 68957 72 0 0 17 0 11 0 1842853413 857935872 24898 4294967295 134512640 134569956 3221224336 3221214616 1131517579 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24898 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 690.29 Current children cumulated vsize (Kb) 837828 [startup+720.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/66 9387 Raw data (/proc/9376/stat): 9376 (java) R 9375 9376 5299 0 -1 0 18428 5 1 0 69937 72 0 0 25 0 11 0 1842853413 857935872 24909 4294967295 134512640 134569956 3221224336 3221214528 1131447909 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/9376/statm): 209457 24909 13129 16 0 209441 0 [pid=9376] vsize: 837828 Current children cumulated CPU time (s) 700.09 Current children cumulated vsize (Kb) 837828 New thread pid=9388 One traced child (pid=9387) exited with status: 0 One traced child (pid=9388) exited with status: 0 One traced child (pid=9385) exited with status: 0 One traced child (pid=9380) exited with status: 0 One traced child (pid=9377) exited with status: 30 One traced child (pid=9378) exited with status: 30 One traced child (pid=9384) exited with status: 30 One traced child (pid=9379) exited with status: 30 One traced child (pid=9381) exited with status: 30 One traced child (pid=9383) exited with status: 30 One traced child (pid=9382) exited with status: 30 One traced child (pid=9376) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 729.021 CPU time (s): 735.498 CPU user time (s): 734.369 CPU system time (s): 1.12883 CPU usage (%): 100.888 Max. virtual memory (cumulated for all children) (Kb): 839156
Verifier: OK 349