Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 6 | 1800.92 | 1744.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb |
MD5SUM | 6560abb26f607ef952ebe1a74dd5dae1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 26.276 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 1009 |
Total number of constraints | 3773 |
Number of constraints which are clauses | 3773 |
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 | 5 |
Maximum length of a constraint | 446 |
Number of terms in the objective function | 1009 |
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 | 1009 |
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 | 1009 |
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.16 c Free memory 1548419056 0.16 c Max memory 1551040512 0.16 c Total memory 1551040512 0.16 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.22 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node51/50809-1154083660/instance-50809-1154083660.opb 0.22 c reading problem ... 1.71 c ... done. Time 1.485 ms. 1.71 c #vars 1009 1.71 c #constraints 3773 1.77 c SATISFIABLE 1.77 c OPTIMIZING... 1.77 c Got one! Ellapsed CPU time (in seconds):1.552 1.79 o 9 2.06 c Got one! Ellapsed CPU time (in seconds):1.837 2.06 o 8 3.35 c Got one! Ellapsed CPU time (in seconds):3.131 3.35 o 7 10.60 c Got one! Ellapsed CPU time (in seconds):10.377 10.60 o 6 1744.37 c starts : 15 1744.37 c conflicts : 10631 1744.37 c decisions : 263060 1744.37 c propagations : 774730 1744.37 c inspects : 31955908 1744.37 c learnt literals : 0 1744.37 c learnt binary clauses : 0 1744.37 c learnt ternary clauses : 0 1744.37 c learnt clauses : 10630 1744.37 c root simplifications : 0 1744.37 c removed literals (reason simplification) : 0 1744.37 c reason swapping (by a shorter reason) : 0 1744.37 c Calls to reduceDB : 0 1744.37 c speed (decisions/second) : 151.72716104212208 1744.37 c non guided choices 4179 1744.37 s SATISFIABLE 1744.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 1744.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 1744.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 1744.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 1744.38 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1744.38 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 1744.38 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1744.38 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1744.38 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1744.38 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1744.38 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1744.38 v -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1744.38 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1744.38 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1744.38 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1744.38 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1744.38 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1744.38 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1744.38 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1744.38 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1744.38 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1744.38 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1744.38 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1744.38 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1744.38 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1744.38 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1744.38 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1744.38 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1744.38 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1744.38 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 1744.38 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1744.38 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1744.38 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1744.38 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1744.38 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1744.38 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1744.38 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1744.38 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1744.38 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1744.38 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1744.38 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1744.38 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1744.38 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1744.38 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1744.38 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1744.38 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1744.38 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1744.38 v -x1006 -x1007 -x1008 -x1009 1744.40 c objective function=6 1744.40 c Total wall clock time (ms): 1744.183
OK 6
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/node51/watcher-50809-1154083660 -o ROOT/results/node51/solver-50809-1154083660 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node51/50809-1154083660/instance-50809-1154083660.opb 50296604 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.96 3/64 2775 /proc/meminfo: memFree=710176/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=168 CPUtime=0 /proc/2775/stat : 2775 (java) D 2773 2775 2726 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 155236576 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 2618148 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/2775/statm: 42 23 18 14 0 2 0 [startup+10.0016 s] /proc/loadavg: 0.93 0.95 0.96 2/76 2790 /proc/meminfo: memFree=531464/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=10.97 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 48521 0 1 0 1071 26 0 0 17 0 13 0 155236576 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071493139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 46458 1910 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=0.08 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 2711 0 0 0 7 1 0 0 16 0 13 0 155236580 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=0.08 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 2757 0 0 0 7 1 0 0 16 0 13 0 155236580 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 155236582 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 155236586 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.74 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 847 0 0 0 74 0 0 0 16 0 13 0 155236586 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.62 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 443 0 0 0 62 0 0 0 16 0 13 0 155236586 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2790] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2790/stat : 2790 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 155236912 1752207360 46458 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.97 Current children cumulated vsize (Kb) 1711140 [startup+20.0085 s] /proc/loadavg: 0.94 0.96 0.96 2/76 2791 /proc/meminfo: memFree=534080/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=21.2 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 52110 0 1 0 2092 28 0 0 25 0 13 0 155236576 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071499770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 45806 1911 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=0.17 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 4418 0 0 0 14 3 0 0 16 0 13 0 155236580 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=0.16 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 4188 0 0 0 15 1 0 0 16 0 13 0 155236580 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0.01 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 33 0 0 0 1 0 0 0 16 0 13 0 155236582 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 155236586 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.81 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 868 0 0 0 81 0 0 0 16 0 13 0 155236586 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.74 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 452 0 0 0 74 0 0 0 16 0 13 0 155236586 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2791] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2791/stat : 2791 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 155237637 1752207360 45806 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.2 Current children cumulated vsize (Kb) 1711140 [startup+30.0154 s] /proc/loadavg: 0.95 0.96 0.96 2/76 2791 /proc/meminfo: memFree=509376/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=31.31 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 60901 0 1 0 3099 32 0 0 24 0 13 0 155236576 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071499789 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 52019 1911 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=0.27 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 6098 0 0 0 23 4 0 0 16 0 13 0 155236580 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=0.26 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 6514 0 0 0 24 2 0 0 16 0 13 0 155236580 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0.02 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 59 0 0 0 1 1 0 0 16 0 13 0 155236582 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 155236586 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.82 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 868 0 0 0 82 0 0 0 17 0 13 0 155236586 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.74 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 452 0 0 0 74 0 0 0 16 0 13 0 155236586 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2791] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2791/stat : 2791 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 155237637 1752207360 52019 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.31 Current children cumulated vsize (Kb) 1711140 [startup+40.0223 s] /proc/loadavg: 0.95 0.96 0.96 2/76 2791 /proc/meminfo: memFree=495296/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=41.4 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 65405 0 1 0 4104 36 0 0 18 0 13 0 155236576 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071499879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 55500 1911 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=0.35 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 7550 0 0 0 31 4 0 0 16 0 13 0 155236580 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=0.35 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 7736 0 0 0 32 3 0 0 16 0 13 0 155236580 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0.03 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 61 0 0 0 2 1 0 0 16 0 13 0 155236582 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 155236586 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.82 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 868 0 0 0 82 0 0 0 17 0 13 0 155236586 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.74 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 452 0 0 0 74 0 0 0 16 0 13 0 155236586 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2791] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2791/stat : 2791 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 155237637 1752207360 55500 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.4 Current children cumulated vsize (Kb) 1711140 [startup+50.0302 s] /proc/loadavg: 0.96 0.96 0.96 2/76 2791 /proc/meminfo: memFree=486144/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=51.51 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 69601 0 1 0 5113 38 0 0 21 0 13 0 155236576 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071640034 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 57788 1911 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=0.47 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 9806 0 0 0 42 5 0 0 15 0 13 0 155236580 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=0.46 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 9650 0 0 0 42 4 0 0 16 0 13 0 155236580 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0.04 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 64 0 0 0 2 2 0 0 16 0 13 0 155236582 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 155236586 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.82 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 868 0 0 0 82 0 0 0 17 0 13 0 155236586 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.75 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 452 0 0 0 75 0 0 0 17 0 13 0 155236586 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2791] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2791/stat : 2791 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 155237637 1752207360 57788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.51 Current children cumulated vsize (Kb) 1711140 [startup+60.0371 s] /proc/loadavg: 0.97 0.96 0.96 2/76 2791 /proc/meminfo: memFree=474048/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=61.64 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 73361 0 1 0 6123 41 0 0 25 0 13 0 155236576 1752207360 60840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071525804 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 60840 1911 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=0.59 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 11754 0 0 0 53 6 0 0 16 0 13 0 155236580 1752207360 60840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=0.57 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 11376 0 0 0 52 5 0 0 15 0 13 0 155236580 1752207360 60840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0.04 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 65 0 0 0 2 2 0 0 16 0 13 0 155236582 1752207360 60840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 60840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 60840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 ################ # More data... # ################ /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 244646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 244646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 244646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 155236586 1752207360 244646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.86 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 869 0 0 0 86 0 0 0 16 0 13 0 155236586 1752207360 244646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.8 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 454 0 0 0 80 0 0 0 17 0 13 0 155236586 1752207360 244646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 244646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 244646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2791] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2791/stat : 2791 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155237637 1752207360 244646 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.33 Current children cumulated vsize (Kb) 1711140 [startup+1741.34 s] /proc/loadavg: 1.09 1.06 1.00 2/76 2989 /proc/meminfo: memFree=14912/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=1797.42 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 291602 0 1 0 179478 264 0 0 19 0 13 0 155236576 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071580013 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 244878 1911 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=56.55 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 112492 0 0 0 5567 88 0 0 16 0 13 0 155236580 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=56.52 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 117798 0 0 0 5559 93 0 0 16 0 13 0 155236580 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0.85 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 97 0 0 0 50 35 0 0 15 0 13 0 155236582 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 155236586 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.86 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 869 0 0 0 86 0 0 0 16 0 13 0 155236586 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.8 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 454 0 0 0 80 0 0 0 17 0 13 0 155236586 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2791] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2791/stat : 2791 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155237637 1752207360 244878 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (Kb) 1711140 [startup+1742.35 s] /proc/loadavg: 1.09 1.06 1.00 2/76 2989 /proc/meminfo: memFree=14912/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=1798.5 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 291609 0 1 0 179585 265 0 0 21 0 13 0 155236576 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071580168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 244883 1911 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=56.62 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 112495 0 0 0 5574 88 0 0 16 0 13 0 155236580 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=56.58 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 117800 0 0 0 5565 93 0 0 17 0 13 0 155236580 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0.85 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 97 0 0 0 50 35 0 0 15 0 13 0 155236582 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 155236586 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.86 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 869 0 0 0 86 0 0 0 16 0 13 0 155236586 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.8 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 454 0 0 0 80 0 0 0 17 0 13 0 155236586 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2791] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2791/stat : 2791 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155237637 1752207360 244883 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 1711140 [startup+1743.35 s] /proc/loadavg: 1.09 1.06 1.00 2/76 2989 /proc/meminfo: memFree=16000/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=1799.55 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 291709 0 1 0 179690 265 0 0 25 0 13 0 155236576 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071499532 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 244980 1911 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=56.66 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 112567 0 0 0 5578 88 0 0 16 0 13 0 155236580 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=56.62 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 117827 0 0 0 5569 93 0 0 17 0 13 0 155236580 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0.85 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 97 0 0 0 50 35 0 0 16 0 13 0 155236582 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 155236586 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.86 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 869 0 0 0 86 0 0 0 16 0 13 0 155236586 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.8 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 454 0 0 0 80 0 0 0 17 0 13 0 155236586 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2791] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2791/stat : 2791 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155237637 1752207360 244980 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 1711140 [startup+1744.36 s] /proc/loadavg: 1.08 1.06 1.00 2/76 2989 /proc/meminfo: memFree=14848/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=1800.64 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 292013 0 1 0 179799 265 0 0 23 0 13 0 155236576 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071500093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 245270 1911 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=56.75 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 112773 0 0 0 5587 88 0 0 16 0 13 0 155236580 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=56.71 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 117923 0 0 0 5578 93 0 0 16 0 13 0 155236580 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0.85 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 97 0 0 0 50 35 0 0 16 0 13 0 155236582 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.86 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 869 0 0 0 86 0 0 0 16 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.8 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 454 0 0 0 80 0 0 0 17 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2791] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2791/stat : 2791 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155237637 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 1711140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1744.36 s] /proc/loadavg: 1.08 1.06 1.00 2/76 2989 /proc/meminfo: memFree=14848/2055920 swapFree=4183068/4192956 [pid=2775] ppid=2773 vsize=1711140 CPUtime=1800.64 /proc/2775/stat : 2775 (java) R 2773 2775 2726 0 -1 0 292013 0 1 0 179799 265 0 0 23 0 13 0 155236576 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071579998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/2775/statm: 427785 245270 1911 14 0 414532 0 [pid=2775/tid=2776] ppid=2773 vsize=1711140 CPUtime=56.75 /proc/2775/task/2776/stat : 2776 (java) S 2773 2775 2726 0 -1 64 112773 0 0 0 5587 88 0 0 16 0 13 0 155236580 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2777] ppid=2773 vsize=1711140 CPUtime=56.71 /proc/2775/task/2777/stat : 2777 (java) S 2773 2775 2726 0 -1 64 117923 0 0 0 5578 93 0 0 16 0 13 0 155236580 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2778] ppid=2773 vsize=1711140 CPUtime=0.85 /proc/2775/task/2778/stat : 2778 (java) S 2773 2775 2726 0 -1 64 97 0 0 0 50 35 0 0 16 0 13 0 155236582 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2779] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2779/stat : 2779 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155236583 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2780] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2780/stat : 2780 (java) S 2773 2775 2726 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155236583 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2781] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2781/stat : 2781 (java) S 2773 2775 2726 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2782] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2782/stat : 2782 (java) S 2773 2775 2726 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2783] ppid=2773 vsize=1711140 CPUtime=0.86 /proc/2775/task/2783/stat : 2783 (java) S 2773 2775 2726 0 -1 64 869 0 0 0 86 0 0 0 16 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2775/tid=2784] ppid=2773 vsize=1711140 CPUtime=0.8 /proc/2775/task/2784/stat : 2784 (java) S 2773 2775 2726 0 -1 64 454 0 0 0 80 0 0 0 17 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2785] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2785/stat : 2785 (java) S 2773 2775 2726 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2786] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2786/stat : 2786 (java) S 2773 2775 2726 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155236586 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2775/tid=2791] ppid=2773 vsize=1711140 CPUtime=0 /proc/2775/task/2791/stat : 2791 (java) S 2773 2775 2726 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155237637 1752207360 245270 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 1711140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1744.6 CPU time (s): 1800.92 CPU user time (s): 1798.11 CPU system time (s): 2.80657 CPU usage (%): 103.228 Max. virtual memory (cumulated for all children) (Kb): 1711140 The end
Begin job on node51 on Fri Jul 28 10:47:40 UTC 2006 FILE ID= 50809-1154083660 PBS_JOBID= 885208 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node51/50809-1154083660/instance-50809-1154083660.opb 50296604 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-50809-1154083660 -o ROOT/results/node51/solver-50809-1154083660 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node51/50809-1154083660/instance-50809-1154083660.opb 50296604 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1 RANDOM SEED= 50296604 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.231 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.231 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: 710384 kB Buffers: 31664 kB Cached: 1254348 kB SwapCached: 3880 kB Active: 166092 kB Inactive: 1128748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 710384 kB SwapTotal: 4192956 kB SwapFree: 4183068 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14496 kB Slab: 36724 kB Committed_AS: 674148 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 node51 on Fri Jul 28 11:16:44 UTC 2006