Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 75 | 1801.12 | 1745.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.b.opb |
MD5SUM | d95d18eb9f9494c32273975c1bc570ba |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 8.73867 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | YES |
Number of variables | 756 |
Total number of constraints | 1853 |
Number of constraints which are clauses | 1853 |
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 | 1 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 756 |
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 | 756 |
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 | 756 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node9/50851-1154092436/instance-50851-1154092436.opb 0.20 c reading problem ... 0.71 c ... done. Time 0.503 ms. 0.71 c #vars 756 0.71 c #constraints 1521 0.75 c SATISFIABLE 0.75 c OPTIMIZING... 0.75 c Got one! Ellapsed CPU time (in seconds):0.548 0.77 o 88 0.91 c Got one! Ellapsed CPU time (in seconds):0.703 0.91 o 86 1.12 c Got one! Ellapsed CPU time (in seconds):0.913 1.12 o 85 1.26 c Got one! Ellapsed CPU time (in seconds):1.056 1.26 o 84 5.12 c Got one! Ellapsed CPU time (in seconds):4.913 5.12 o 83 6.18 c Got one! Ellapsed CPU time (in seconds):5.975 6.18 o 82 7.84 c Got one! Ellapsed CPU time (in seconds):7.632 7.84 o 79 16.71 c Got one! Ellapsed CPU time (in seconds):16.508 16.71 o 78 26.36 c Got one! Ellapsed CPU time (in seconds):26.156 26.36 o 77 37.31 c Got one! Ellapsed CPU time (in seconds):37.105 37.31 o 76 49.70 c Got one! Ellapsed CPU time (in seconds):49.499 49.70 o 75 1745.38 c starts : 38 1745.38 c conflicts : 15259 1745.38 c decisions : 111340 1745.38 c propagations : 394110 1745.38 c inspects : 145731727 1745.38 c learnt literals : 0 1745.38 c learnt binary clauses : 0 1745.38 c learnt ternary clauses : 2 1745.38 c learnt clauses : 15258 1745.38 c root simplifications : 0 1745.38 c removed literals (reason simplification) : 0 1745.38 c reason swapping (by a shorter reason) : 0 1745.38 c Calls to reduceDB : 0 1745.38 c speed (decisions/second) : 65.66116738172114 1745.38 c non guided choices 6183 1745.38 s SATISFIABLE 1745.38 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 1745.38 v -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 1745.38 v -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 1745.38 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1745.38 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 1745.38 v x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 x146 1745.38 v -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 1745.38 v x168 -x169 -x170 -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1745.38 v -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 1745.38 v -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 1745.38 v -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 1745.38 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1745.38 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 1745.38 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1745.38 v -x315 x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 1745.38 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1745.38 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1745.38 v -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 1745.38 v -x399 x400 x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 1745.38 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1745.38 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 1745.38 v -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1745.38 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1745.38 v -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 1745.38 v -x525 x526 x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1745.38 v -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1745.38 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1745.38 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 x607 -x608 1745.38 v -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1745.38 v x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 1745.38 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1745.38 v -x673 -x674 x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 x692 x693 -x694 1745.38 v x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 x715 x716 1745.38 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1745.38 v -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 x752 -x753 -x754 -x755 -x756 1745.41 c objective function=75 1745.41 c Total wall clock time (ms): 1745.207
OK 75
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node9/watcher-50851-1154092436 -o ROOT/results/node9/solver-50851-1154092436 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node9/50851-1154092436/instance-50851-1154092436.opb 361876292 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 20432 /proc/meminfo: memFree=1530176/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1496 CPUtime=0 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 61 0 0 0 0 0 0 0 19 0 1 0 156104779 1531904 44 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 8627951 0 0 4096 0 0 0 0 17 1 0 0 /proc/20432/statm: 375 50 39 14 0 8 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.98 0.99 2/76 20451 /proc/meminfo: memFree=1319464/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711792 CPUtime=11.53 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 58341 0 1 0 1126 27 0 0 24 0 13 0 156104779 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071546923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427948 54474 1912 14 0 414695 0 [pid=20432/tid=20433] ppid=20430 vsize=1711792 CPUtime=0.43 /proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 9334 0 0 0 39 4 0 0 17 0 13 0 156104783 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711792 CPUtime=0.42 /proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 10373 0 0 0 38 4 0 0 16 0 13 0 156104783 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711792 CPUtime=0 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 156104785 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711792 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711792 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711792 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711792 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156104789 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711792 CPUtime=0.71 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 610 0 0 0 71 0 0 0 16 0 13 0 156104789 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711792 CPUtime=0.85 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1076 0 0 0 85 0 0 0 16 0 13 0 156104789 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711792 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711792 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20451] ppid=20430 vsize=1711792 CPUtime=0 /proc/20432/task/20451/stat : 20451 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156105564 1752875008 54474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.53 Current children cumulated vsize (Kb) 1711792 [startup+20.0097 s] /proc/loadavg: 0.94 0.98 0.99 2/76 20452 /proc/meminfo: memFree=1289440/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711760 CPUtime=21.75 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 67019 0 1 0 2144 31 0 0 25 0 13 0 156104779 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071474008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427940 61996 1913 14 0 414687 0 [pid=20432/tid=20433] ppid=20430 vsize=1711760 CPUtime=0.65 /proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 13754 0 0 0 60 5 0 0 16 0 13 0 156104783 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711760 CPUtime=0.66 /proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 14613 0 0 0 59 7 0 0 17 0 13 0 156104783 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711760 CPUtime=0.01 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 28 0 0 0 1 0 0 0 16 0 13 0 156104785 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156104789 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711760 CPUtime=0.71 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 610 0 0 0 71 0 0 0 17 0 13 0 156104789 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711760 CPUtime=0.85 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1076 0 0 0 85 0 0 0 17 0 13 0 156104789 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20452] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20452/stat : 20452 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 156106451 1752842240 61996 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.75 Current children cumulated vsize (Kb) 1711760 [startup+30.0168 s] /proc/loadavg: 0.95 0.98 0.99 2/76 20453 /proc/meminfo: memFree=1252952/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711760 CPUtime=31.99 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 77092 0 1 0 3163 36 0 0 24 0 13 0 156104779 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071474205 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427940 71079 1913 14 0 414687 0 [pid=20432/tid=20433] ppid=20430 vsize=1711760 CPUtime=0.89 /proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 19219 0 0 0 81 8 0 0 16 0 13 0 156104783 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711760 CPUtime=0.9 /proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 19211 0 0 0 81 9 0 0 16 0 13 0 156104783 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711760 CPUtime=0.01 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 28 0 0 0 1 0 0 0 16 0 13 0 156104785 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156104789 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711760 CPUtime=0.71 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 610 0 0 0 71 0 0 0 17 0 13 0 156104789 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711760 CPUtime=0.85 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1076 0 0 0 85 0 0 0 17 0 13 0 156104789 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20453] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20453/stat : 20453 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 156107416 1752842240 71079 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.99 Current children cumulated vsize (Kb) 1711760 [startup+40.024 s] /proc/loadavg: 0.96 0.98 0.99 2/76 20454 /proc/meminfo: memFree=1235280/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711760 CPUtime=42.17 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 82197 0 1 0 4178 39 0 0 17 0 13 0 156104779 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071572570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427940 75513 1913 14 0 414687 0 [pid=20432/tid=20433] ppid=20430 vsize=1711760 CPUtime=1.07 /proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 21988 0 0 0 98 9 0 0 16 0 13 0 156104783 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711760 CPUtime=1.07 /proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 21536 0 0 0 97 10 0 0 16 0 13 0 156104783 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711760 CPUtime=0.01 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 28 0 0 0 1 0 0 0 16 0 13 0 156104785 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156104789 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711760 CPUtime=0.71 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 610 0 0 0 71 0 0 0 17 0 13 0 156104789 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711760 CPUtime=0.85 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1076 0 0 0 85 0 0 0 17 0 13 0 156104789 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20454] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20454/stat : 20454 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 156108511 1752842240 75513 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.17 Current children cumulated vsize (Kb) 1711760 [startup+50.0311 s] /proc/loadavg: 0.96 0.98 0.99 2/76 20455 /proc/meminfo: memFree=1220488/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711760 CPUtime=52.34 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 86394 0 1 0 5193 41 0 0 17 0 13 0 156104779 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071466989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427940 79212 1913 14 0 414687 0 [pid=20432/tid=20433] ppid=20430 vsize=1711760 CPUtime=1.23 /proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 24253 0 0 0 113 10 0 0 16 0 13 0 156104783 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711760 CPUtime=1.24 /proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 23460 0 0 0 113 11 0 0 16 0 13 0 156104783 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711760 CPUtime=0.01 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 28 0 0 0 1 0 0 0 16 0 13 0 156104785 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156104789 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711760 CPUtime=0.71 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 610 0 0 0 71 0 0 0 17 0 13 0 156104789 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711760 CPUtime=0.85 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1076 0 0 0 85 0 0 0 17 0 13 0 156104789 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20455] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20455/stat : 20455 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156109750 1752842240 79212 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.34 Current children cumulated vsize (Kb) 1711760 [startup+60.0382 s] /proc/loadavg: 0.97 0.98 0.99 2/76 20455 /proc/meminfo: memFree=1206728/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711760 CPUtime=62.48 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 90181 0 1 0 6205 43 0 0 25 0 13 0 156104779 1752842240 82643 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071473903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427940 82643 1913 14 0 414687 0 [pid=20432/tid=20433] ppid=20430 vsize=1711760 CPUtime=1.37 /proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 25950 0 0 0 126 11 0 0 17 0 13 0 156104783 1752842240 82643 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711760 CPUtime=1.37 /proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 25544 0 0 0 125 12 0 0 16 0 13 0 156104783 1752842240 82643 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711760 CPUtime=0.01 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 28 0 0 0 1 0 0 0 16 0 13 0 156104785 1752842240 82643 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 82643 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 82643 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 ################ # More data... # ################ /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711760 CPUtime=0.79 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 613 0 0 0 79 0 0 0 16 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711760 CPUtime=0.89 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1077 0 0 0 89 0 0 0 16 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20455] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20455/stat : 20455 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156109750 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.71 Current children cumulated vsize (Kb) 1711760 [startup+1742.35 s] /proc/loadavg: 1.06 1.07 1.01 2/76 20457 /proc/meminfo: memFree=431432/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711760 CPUtime=1797.71 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 317598 0 1 0 179575 196 0 0 25 0 13 0 156104779 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071402487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427940 275869 1913 14 0 414687 0 [pid=20432/tid=20433] ppid=20430 vsize=1711760 CPUtime=55.43 /proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 136556 0 0 0 5468 75 0 0 16 0 13 0 156104783 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711760 CPUtime=55.46 /proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 133673 0 0 0 5476 70 0 0 16 0 13 0 156104783 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711760 CPUtime=0.45 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 57 0 0 0 27 18 0 0 16 0 13 0 156104785 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711760 CPUtime=0.79 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 613 0 0 0 79 0 0 0 16 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711760 CPUtime=0.89 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1077 0 0 0 89 0 0 0 16 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20455] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20455/stat : 20455 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156109750 1752842240 275869 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (Kb) 1711760 [startup+1743.35 s] /proc/loadavg: 1.06 1.07 1.01 2/76 20457 /proc/meminfo: memFree=431432/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711760 CPUtime=1798.72 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 317693 0 1 0 179676 196 0 0 25 0 13 0 156104779 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427940 275963 1913 14 0 414687 0 [pid=20432/tid=20433] ppid=20430 vsize=1711760 CPUtime=55.44 /proc/20432/task/20433/stat : 20433 (java) R 20430 20432 20383 0 -1 64 136588 0 0 0 5468 76 0 0 16 0 13 0 156104783 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154975961 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711760 CPUtime=55.47 /proc/20432/task/20434/stat : 20434 (java) R 20430 20432 20383 0 -1 64 133735 0 0 0 5477 70 0 0 16 0 13 0 156104783 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4151726533 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711760 CPUtime=0.45 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 57 0 0 0 27 18 0 0 15 0 13 0 156104785 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156104789 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711760 CPUtime=0.79 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 613 0 0 0 79 0 0 0 16 0 13 0 156104789 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711760 CPUtime=0.89 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1077 0 0 0 89 0 0 0 16 0 13 0 156104789 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20455] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20455/stat : 20455 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156109750 1752842240 275963 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.72 Current children cumulated vsize (Kb) 1711760 [startup+1744.36 s] /proc/loadavg: 1.06 1.07 1.01 2/76 20457 /proc/meminfo: memFree=429000/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711760 CPUtime=1799.85 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 318264 0 1 0 179789 196 0 0 25 0 13 0 156104779 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071546896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427940 276464 1913 14 0 414687 0 [pid=20432/tid=20433] ppid=20430 vsize=1711760 CPUtime=55.56 /proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 136916 0 0 0 5480 76 0 0 16 0 13 0 156104783 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711760 CPUtime=55.59 /proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 133977 0 0 0 5489 70 0 0 16 0 13 0 156104783 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711760 CPUtime=0.45 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 57 0 0 0 27 18 0 0 16 0 13 0 156104785 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711760 CPUtime=0.79 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 613 0 0 0 79 0 0 0 16 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711760 CPUtime=0.89 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1077 0 0 0 89 0 0 0 16 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20455] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20455/stat : 20455 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156109750 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.85 Current children cumulated vsize (Kb) 1711760 [startup+1745.37 s] /proc/loadavg: 1.06 1.07 1.01 2/76 20457 /proc/meminfo: memFree=429000/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711760 CPUtime=1800.85 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 318264 0 1 0 179889 196 0 0 25 0 13 0 156104779 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071467048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427940 276464 1913 14 0 414687 0 [pid=20432/tid=20433] ppid=20430 vsize=1711760 CPUtime=55.56 /proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 136916 0 0 0 5480 76 0 0 16 0 13 0 156104783 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711760 CPUtime=55.59 /proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 133977 0 0 0 5489 70 0 0 16 0 13 0 156104783 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711760 CPUtime=0.45 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 57 0 0 0 27 18 0 0 16 0 13 0 156104785 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711760 CPUtime=0.79 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 613 0 0 0 79 0 0 0 16 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711760 CPUtime=0.89 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1077 0 0 0 89 0 0 0 16 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20455] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20455/stat : 20455 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156109750 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.85 Current children cumulated vsize (Kb) 1711760 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1745.37 s] /proc/loadavg: 1.06 1.07 1.01 2/76 20457 /proc/meminfo: memFree=429000/2055920 swapFree=4183012/4192956 [pid=20432] ppid=20430 vsize=1711760 CPUtime=1800.86 /proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 318264 0 1 0 179890 196 0 0 25 0 13 0 156104779 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071467055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20432/statm: 427940 276464 1913 14 0 414687 0 [pid=20432/tid=20433] ppid=20430 vsize=1711760 CPUtime=55.56 /proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 136916 0 0 0 5480 76 0 0 16 0 13 0 156104783 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20434] ppid=20430 vsize=1711760 CPUtime=55.59 /proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 133977 0 0 0 5489 70 0 0 16 0 13 0 156104783 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20435] ppid=20430 vsize=1711760 CPUtime=0.45 /proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 57 0 0 0 27 18 0 0 16 0 13 0 156104785 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20436] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20437] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156104786 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20438] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20439] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20440] ppid=20430 vsize=1711760 CPUtime=0.79 /proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 613 0 0 0 79 0 0 0 16 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20441] ppid=20430 vsize=1711760 CPUtime=0.89 /proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 1077 0 0 0 89 0 0 0 16 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20442] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20432/tid=20443] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156104789 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20432/tid=20455] ppid=20430 vsize=1711760 CPUtime=0 /proc/20432/task/20455/stat : 20455 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156109750 1752842240 276464 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (Kb) 1711760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1745.6 CPU time (s): 1801.12 CPU user time (s): 1798.99 CPU system time (s): 2.13068 CPU usage (%): 103.181 Max. virtual memory (cumulated for all children) (Kb): 1711792 The end
Begin job on node9 on Fri Jul 28 13:13:56 UTC 2006 FILE ID= 50851-1154092436 PBS_JOBID= 885754 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.b.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node9/50851-1154092436/instance-50851-1154092436.opb 361876292 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-50851-1154092436 -o ROOT/results/node9/solver-50851-1154092436 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node9/50851-1154092436/instance-50851-1154092436.opb 361876292 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= d95d18eb9f9494c32273975c1bc570ba RANDOM SEED= 361876292 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.223 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.223 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1530384 kB Buffers: 32880 kB Cached: 418012 kB SwapCached: 3620 kB Active: 52632 kB Inactive: 406696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1530384 kB SwapTotal: 4192956 kB SwapFree: 4183012 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14496 kB Slab: 52204 kB Committed_AS: 667984 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node9 on Fri Jul 28 13:43:02 UTC 2006