Name | submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb |
MD5SUM | 9758fd8c9a8bc907d5083400c8e6642e |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 334 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 668 |
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 | 668 |
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 | 668 |
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 | 5.02423 |
Number of variables | 668 |
Total number of constraints | 1666 |
Number of constraints which are clauses | 1666 |
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 wulflinc31 THE 2005-09-18 16:53:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=6044 boxname=wulflinc31 idbench=184 idsolver=6 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 9758fd8c9a8bc907d5083400c8e6642e /oldhome/oroussel/tmp/wulflinc31/normalized-par16-3-c.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc31/normalized-par16-3-c.opb IDLAUNCH: 6044 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 694032 kB Buffers: 35792 kB Cached: 274224 kB SwapCached: 1016 kB Active: 105200 kB Inactive: 207584 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 693780 kB SwapTotal: 2097892 kB SwapFree: 2096404 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5772 kB Slab: 22140 kB Committed_AS: 64376 kB PageTables: 340 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 17:02:14 (client local time) WITH STATUS 30 IN 551.266 SECONDS stats: 6044 0 551.266 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/wulflinc31/normalized-par16-3-c.opb c reading problem ... done. Time 1.885 ms. c #vars 668 c #constraints 1666 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 334 Current CPU time: 28.93 ms c starts : 15 c conflicts : 8039 c decisions : 8736 c propagations : 1527837 c inspects : 10306958 c learnt literals : 0 c learnt binary clauses : 12 c learnt ternary clauses : 73 c learnt clauses : 8038 c root simplifications : 24 c removed literals (reason simplification) : 0 c reason swapping (by a shorter reason) : 0 c Calls to reduceDB : 7050 c speed (decisions/second) : 16.933579893699918 c non guided choices 4695 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 c objective function=334 c Total CPU time (ms) : 544.897
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/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842804545 159744 3 4294967295 134512640 134569956 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 39 3 38 16 0 23 0 [pid=15811] 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/15811 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=15812 New thread pid=15813 New thread pid=15814 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=15815 New thread pid=15816 New thread pid=15817 New thread pid=15818 New thread pid=15819 New thread pid=15820 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/wulflinc31/normalized-par16-3-c.opb New thread pid=15821 [startup+10.0026 s] Raw data (loadavg): 1.01 1.00 0.94 3/67 15821 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18150 0 1 0 780 45 0 0 25 0 11 0 1842804545 856006656 19619 4294967295 134512640 134569956 3221224336 3221214576 1131425275 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 208986 19619 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 8.25 Current children cumulated vsize (Kb) 835944 [startup+20.0045 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15823 Raw data (/proc/15811/stat): 15811 (java) S 15810 15811 9102 0 -1 0 18157 0 1 0 1742 46 0 0 16 0 11 0 1842804545 856006656 19980 4294967295 134512640 134569956 3221224336 3221213400 1073943035 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 208986 19980 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 17.88 Current children cumulated vsize (Kb) 835944 [startup+30.0054 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15823 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18163 0 1 0 2692 46 0 0 25 0 11 0 1842804545 856006656 20376 4294967295 134512640 134569956 3221224336 3221214656 1131425623 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 208986 20376 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 27.38 Current children cumulated vsize (Kb) 835944 One traced child (pid=15821) exited with status: 0 New thread pid=15824 [startup+40.0064 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15824 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18215 4 1 0 3637 47 0 0 25 0 11 0 1842804545 856006656 20687 4294967295 134512640 134569956 3221224336 3221214748 1131441580 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 208986 20687 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 36.84 Current children cumulated vsize (Kb) 835944 [startup+50.0083 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15824 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18220 4 1 0 4585 48 0 0 25 0 11 0 1842804545 856006656 21102 4294967295 134512640 134569956 3221224336 3221214208 1085806281 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 208986 21102 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 46.33 Current children cumulated vsize (Kb) 835944 [startup+60.0092 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15824 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18224 4 1 0 5552 48 0 0 25 0 11 0 1842804545 856006656 21102 4294967295 134512640 134569956 3221224336 3221214400 1131594652 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 208986 21102 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 56 Current children cumulated vsize (Kb) 835944 [startup+70.0102 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15824 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18229 4 1 0 6508 48 0 0 25 0 11 0 1842804545 856006656 21102 4294967295 134512640 134569956 3221224336 3221214040 1131614061 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 208986 21102 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 65.56 Current children cumulated vsize (Kb) 835944 [startup+80.0111 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15826 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18236 4 1 0 7462 49 0 0 25 0 11 0 1842804545 856006656 21232 4294967295 134512640 134569956 3221224336 3221214320 1131594624 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 208986 21232 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 75.11 Current children cumulated vsize (Kb) 835944 [startup+90.0111 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15826 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18240 4 1 0 8430 49 0 0 25 0 11 0 1842804545 856006656 21399 4294967295 134512640 134569956 3221224336 3221214744 1131433856 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 208986 21399 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 84.79 Current children cumulated vsize (Kb) 835944 [startup+100.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15826 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18245 4 1 0 9393 49 0 0 25 0 11 0 1842804545 856006656 21568 4294967295 134512640 134569956 3221224336 3221214744 1131433479 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 208986 21568 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 94.42 Current children cumulated vsize (Kb) 835944 [startup+110.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15826 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18249 4 1 0 10367 49 0 0 25 0 11 0 1842804545 856006656 21637 4294967295 134512640 134569956 3221224336 3221214368 1131599829 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 208986 21637 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 104.16 Current children cumulated vsize (Kb) 835944 [startup+120.015 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15826 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18254 4 1 0 11339 50 0 0 25 0 11 0 1842804545 856006656 21689 4294967295 134512640 134569956 3221224336 3221214632 1131425540 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 208986 21689 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 113.89 Current children cumulated vsize (Kb) 835944 [startup+130.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15826 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18258 4 1 0 12311 50 0 0 25 0 11 0 1842804545 856006656 21747 4294967295 134512640 134569956 3221224336 3221214104 1131603806 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 208986 21747 13129 16 0 208970 0 [pid=15811] vsize: 835944 Current children cumulated CPU time (s) 123.61 Current children cumulated vsize (Kb) 835944 [startup+140.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15828 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18262 4 1 0 13284 50 0 0 25 0 11 0 1842804545 857055232 22013 4294967295 134512640 134569956 3221224336 3221214632 1131425860 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 22013 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 133.34 Current children cumulated vsize (Kb) 836968 [startup+150.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15828 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18266 4 1 0 14257 50 0 0 25 0 11 0 1842804545 857055232 22066 4294967295 134512640 134569956 3221224336 3221214432 1131594591 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22066 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 143.07 Current children cumulated vsize (Kb) 836968 [startup+160.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15828 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18270 4 1 0 15229 51 0 0 25 0 11 0 1842804545 857055232 22122 4294967295 134512640 134569956 3221224336 3221214264 1131594663 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22122 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 152.8 Current children cumulated vsize (Kb) 836968 [startup+170.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15828 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18273 4 1 0 16208 51 0 0 25 0 11 0 1842804545 857055232 22168 4294967295 134512640 134569956 3221224336 3221214256 1131594696 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 22168 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 162.59 Current children cumulated vsize (Kb) 836968 [startup+180.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15828 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18277 4 1 0 17180 51 0 0 25 0 11 0 1842804545 857055232 22231 4294967295 134512640 134569956 3221224336 3221214728 1131443368 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22231 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 172.31 Current children cumulated vsize (Kb) 836968 [startup+190.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15828 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18281 4 1 0 18152 51 0 0 25 0 11 0 1842804545 857055232 22286 4294967295 134512640 134569956 3221224336 3221214320 1131594656 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22286 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 182.03 Current children cumulated vsize (Kb) 836968 [startup+200.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15830 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18284 4 1 0 19130 52 0 0 25 0 11 0 1842804545 857055232 22328 4294967295 134512640 134569956 3221224336 3221214656 1131065435 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 22328 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 191.82 Current children cumulated vsize (Kb) 836968 [startup+210.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15830 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18288 4 1 0 20101 52 0 0 25 0 11 0 1842804545 857055232 22390 4294967295 134512640 134569956 3221224336 3221214632 1131425494 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22390 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 201.53 Current children cumulated vsize (Kb) 836968 [startup+220.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15830 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18292 4 1 0 21080 52 0 0 25 0 11 0 1842804545 857055232 22426 4294967295 134512640 134569956 3221224336 3221213968 1131603761 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 22426 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 211.32 Current children cumulated vsize (Kb) 836968 [startup+230.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15830 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18296 4 1 0 22052 52 0 0 25 0 11 0 1842804545 857055232 22480 4294967295 134512640 134569956 3221224336 3221213880 1085806281 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 22480 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 221.04 Current children cumulated vsize (Kb) 836968 [startup+240.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15830 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18299 4 1 0 23030 52 0 0 25 0 11 0 1842804545 857055232 22526 4294967295 134512640 134569956 3221224336 3221214632 1131420168 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22526 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 230.82 Current children cumulated vsize (Kb) 836968 [startup+250.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15830 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18303 4 1 0 24002 52 0 0 25 0 11 0 1842804545 857055232 22588 4294967295 134512640 134569956 3221224336 3221214632 1131425734 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22588 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 240.54 Current children cumulated vsize (Kb) 836968 [startup+260.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15832 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18306 4 1 0 24981 52 0 0 25 0 11 0 1842804545 857055232 22635 4294967295 134512640 134569956 3221224336 3221214728 1131444101 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 22635 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 250.33 Current children cumulated vsize (Kb) 836968 [startup+270.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15832 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18310 4 1 0 25952 53 0 0 25 0 11 0 1842804545 857055232 22690 4294967295 134512640 134569956 3221224336 3221213880 1085806711 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22690 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 260.05 Current children cumulated vsize (Kb) 836968 [startup+280.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15832 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18313 4 1 0 26931 53 0 0 25 0 11 0 1842804545 857055232 22735 4294967295 134512640 134569956 3221224336 3221214632 1131425227 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 22735 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 269.84 Current children cumulated vsize (Kb) 836968 [startup+290.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15832 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18316 4 1 0 27911 53 0 0 25 0 11 0 1842804545 857055232 22786 4294967295 134512640 134569956 3221224336 3221214424 1131599831 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 22786 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 279.64 Current children cumulated vsize (Kb) 836968 [startup+300.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15832 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18320 4 1 0 28883 53 0 0 25 0 11 0 1842804545 857055232 22842 4294967295 134512640 134569956 3221224336 3221214632 1131425680 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22842 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 289.36 Current children cumulated vsize (Kb) 836968 [startup+310.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15832 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18323 4 1 0 29862 54 0 0 25 0 11 0 1842804545 857055232 22886 4294967295 134512640 134569956 3221224336 3221213880 1085806738 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22886 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 299.16 Current children cumulated vsize (Kb) 836968 [startup+320.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15834 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18327 4 1 0 30842 54 0 0 25 0 11 0 1842804545 857055232 22922 4294967295 134512640 134569956 3221224336 3221214728 1131443621 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 22922 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 308.96 Current children cumulated vsize (Kb) 836968 [startup+330.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15834 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18330 4 1 0 31821 54 0 0 25 0 11 0 1842804545 857055232 22959 4294967295 134512640 134569956 3221224336 3221214016 1131614128 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 22959 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 318.75 Current children cumulated vsize (Kb) 836968 [startup+340.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15834 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18333 4 1 0 32802 54 0 0 25 0 11 0 1842804545 857055232 22998 4294967295 134512640 134569956 3221224336 3221214008 1131599826 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 22998 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 328.56 Current children cumulated vsize (Kb) 836968 [startup+350.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15834 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18336 4 1 0 33781 54 0 0 25 0 11 0 1842804545 857055232 23036 4294967295 134512640 134569956 3221224336 3221214104 1131603732 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23036 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 338.35 Current children cumulated vsize (Kb) 836968 [startup+360.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15834 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18339 4 1 0 34759 55 0 0 25 0 11 0 1842804545 857055232 23068 4294967295 134512640 134569956 3221224336 3221214724 1131575811 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23068 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 348.14 Current children cumulated vsize (Kb) 836968 [startup+370.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15834 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18343 4 1 0 35732 55 0 0 25 0 11 0 1842804545 857055232 23112 4294967295 134512640 134569956 3221224336 3221214728 1131443621 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 23112 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 357.87 Current children cumulated vsize (Kb) 836968 [startup+380.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15836 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18346 4 1 0 36709 56 0 0 25 0 11 0 1842804545 857055232 23148 4294967295 134512640 134569956 3221224336 3221213928 1085806742 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23148 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 367.65 Current children cumulated vsize (Kb) 836968 [startup+390.038 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15836 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18349 4 1 0 37688 56 0 0 25 0 11 0 1842804545 857055232 23185 4294967295 134512640 134569956 3221224336 3221213880 1085806307 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23185 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 377.44 Current children cumulated vsize (Kb) 836968 [startup+400.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15836 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18352 4 1 0 38666 56 0 0 25 0 11 0 1842804545 857055232 23219 4294967295 134512640 134569956 3221224336 3221214728 1131443624 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23219 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 387.22 Current children cumulated vsize (Kb) 836968 [startup+410.041 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15836 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18355 4 1 0 39645 56 0 0 25 0 11 0 1842804545 857055232 23255 4294967295 134512640 134569956 3221224336 3221214184 1085806260 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23255 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 397.01 Current children cumulated vsize (Kb) 836968 [startup+420.042 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15836 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18358 4 1 0 40624 57 0 0 25 0 11 0 1842804545 857055232 23301 4294967295 134512640 134569956 3221224336 3221214376 1131594671 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 23301 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 406.81 Current children cumulated vsize (Kb) 836968 [startup+430.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15836 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18361 4 1 0 41603 57 0 0 25 0 11 0 1842804545 857055232 23337 4294967295 134512640 134569956 3221224336 3221214632 1131425204 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 23337 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 416.6 Current children cumulated vsize (Kb) 836968 [startup+440.043 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15838 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18364 4 1 0 42582 57 0 0 25 0 11 0 1842804545 857055232 23375 4294967295 134512640 134569956 3221224336 3221213928 1085806742 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23375 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 426.39 Current children cumulated vsize (Kb) 836968 [startup+450.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15838 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18367 4 1 0 43561 58 0 0 25 0 11 0 1842804545 857055232 23411 4294967295 134512640 134569956 3221224336 3221214296 1085806738 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23411 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 436.19 Current children cumulated vsize (Kb) 836968 [startup+460.044 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15838 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18369 4 1 0 44547 58 0 0 25 0 11 0 1842804545 857055232 23436 4294967295 134512640 134569956 3221224336 3221214472 1131606215 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23436 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 446.05 Current children cumulated vsize (Kb) 836968 [startup+470.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15838 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18372 4 1 0 45526 58 0 0 25 0 11 0 1842804545 857055232 23469 4294967295 134512640 134569956 3221224336 3221214616 1131377524 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23469 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 455.84 Current children cumulated vsize (Kb) 836968 [startup+480.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15838 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18375 4 1 0 46505 58 0 0 25 0 11 0 1842804545 857055232 23501 4294967295 134512640 134569956 3221224336 3221214208 1131594676 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23501 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 465.63 Current children cumulated vsize (Kb) 836968 [startup+490.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15838 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18378 4 1 0 47485 59 0 0 25 0 11 0 1842804545 857055232 23546 4294967295 134512640 134569956 3221224336 3221214416 1131605960 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 23546 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 475.44 Current children cumulated vsize (Kb) 836968 [startup+500.048 s] Raw data (loadavg): 1.00 1.00 0.94 4/67 15840 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18382 4 1 0 48463 59 0 0 25 0 11 0 1842804545 857055232 23582 4294967295 134512640 134569956 3221224336 3221214656 1131650572 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 23582 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 485.22 Current children cumulated vsize (Kb) 836968 [startup+510.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15840 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18388 4 1 0 49440 59 0 0 25 0 11 0 1842804545 857055232 23619 4294967295 134512640 134569956 3221224336 3221214312 1131599829 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23619 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 494.99 Current children cumulated vsize (Kb) 836968 [startup+520.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15840 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18392 4 1 0 50423 59 0 0 25 0 11 0 1842804545 857055232 23634 4294967295 134512640 134569956 3221224336 3221214712 1131441666 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 23634 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 504.82 Current children cumulated vsize (Kb) 836968 [startup+530.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15840 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18397 4 1 0 51399 59 0 0 25 0 11 0 1842804545 857055232 23671 4294967295 134512640 134569956 3221224336 3221214472 1131605944 0 4 1 23758 0 0 0 17 0 0 0 Raw data (/proc/15811/statm): 209242 23671 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 514.58 Current children cumulated vsize (Kb) 836968 [startup+540.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/67 15840 Raw data (/proc/15811/stat): 15811 (java) R 15810 15811 9102 0 -1 0 18404 4 1 0 52373 60 0 0 25 0 11 0 1842804545 857055232 23703 4294967295 134512640 134569956 3221224336 3221214616 1131420920 0 4 1 23758 0 0 0 17 1 0 0 Raw data (/proc/15811/statm): 209242 23703 13129 16 0 209226 0 [pid=15811] vsize: 836968 Current children cumulated CPU time (s) 524.33 Current children cumulated vsize (Kb) 836968 New thread pid=15841 One traced child (pid=15824) exited with status: 0 One traced child (pid=15841) exited with status: 0 One traced child (pid=15820) exited with status: 0 One traced child (pid=15815) exited with status: 0 One traced child (pid=15812) exited with status: 30 One traced child (pid=15819) exited with status: 30 One traced child (pid=15814) exited with status: 30 One traced child (pid=15813) exited with status: 30 One traced child (pid=15818) exited with status: 30 One traced child (pid=15816) exited with status: 30 One traced child (pid=15817) exited with status: 30 One traced child (pid=15811) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 546.275 CPU time (s): 551.266 CPU user time (s): 550.313 CPU system time (s): 0.952855 CPU usage (%): 100.914 Max. virtual memory (cumulated for all children) (Kb): 836968
Verifier: OK 334