Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 45 | 1800.88 | 1709.69 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb |
MD5SUM | a226ce89d775a348c35d29e51d9044b6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 1800.39 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | NO |
Number of variables | 1108 |
Total number of constraints | 2313 |
Number of constraints which are clauses | 2313 |
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 | 295 |
Number of terms in the objective function | 1108 |
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 | 1108 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1108 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.21 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.21 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.22 c no version file found!!! 0.22 c sun.arch.data.model 32 0.22 c java.version 1.5.0_06 0.22 c os.name Linux 0.22 c os.version 2.6.9-22.EL.rootsmp 0.22 c os.arch i386 0.22 c Free memory 1548419056 0.22 c Max memory 1551040512 0.22 c Total memory 1551040512 0.22 c Number of processors 2 0.27 c Cutting planes based inference 0.27 c --- Begin Solver configuration --- 0.27 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.27 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.27 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.27 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.27 c VSIDS like heuristics from MiniSAT using a heap 0.27 c No reason simplification 0.27 c --- End Solver configuration --- 0.27 c solving ROOT/tmp/node15/50632-1154093465/instance-50632-1154093465.opb 0.27 c reading problem ... 1.03 c ... done. Time 0.761 ms. 1.03 c #vars 1108 1.03 c #constraints 2103 1.12 c SATISFIABLE 1.12 c OPTIMIZING... 1.12 c Got one! Ellapsed CPU time (in seconds):0.846 1.20 o 53 1.43 c Got one! Ellapsed CPU time (in seconds):1.163 1.43 o 52 1.76 c Got one! Ellapsed CPU time (in seconds):1.491 1.76 o 51 4.23 c Got one! Ellapsed CPU time (in seconds):3.963 4.23 o 50 20.34 c Got one! Ellapsed CPU time (in seconds):20.069 20.34 o 49 28.58 c Got one! Ellapsed CPU time (in seconds):28.306 28.58 o 48 257.50 c Got one! Ellapsed CPU time (in seconds):257.233 257.50 o 47 489.60 c Got one! Ellapsed CPU time (in seconds):489.33 489.60 o 46 1374.63 c Got one! Ellapsed CPU time (in seconds):1374.353 1374.63 o 45 1709.41 c starts : 41 1709.41 c conflicts : 12667 1709.41 c decisions : 242542 1709.41 c propagations : 712511 1709.41 c inspects : 106593973 1709.41 c learnt literals : 0 1709.41 c learnt binary clauses : 0 1709.41 c learnt ternary clauses : 0 1709.41 c learnt clauses : 12666 1709.41 c root simplifications : 0 1709.41 c removed literals (reason simplification) : 0 1709.41 c reason swapping (by a shorter reason) : 0 1709.41 c Calls to reduceDB : 0 1709.41 c speed (decisions/second) : 724.4990620482 1709.41 c non guided choices 0 1709.41 s SATISFIABLE 1709.41 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 1709.41 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 1709.41 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 1709.41 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 1709.41 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1709.41 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1709.41 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 1709.41 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1709.41 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1709.41 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1709.41 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1709.41 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1709.41 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 1709.41 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 x308 x309 -x310 -x311 x312 -x313 -x314 1709.41 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1709.41 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1709.41 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1709.41 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1709.41 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1709.41 v -x420 x421 x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1709.41 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1709.41 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 1709.41 v -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1709.41 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1709.41 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1709.41 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1709.41 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1709.41 v -x589 -x590 x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1709.41 v -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1709.41 v x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1709.41 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1709.41 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1709.41 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1709.41 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1709.41 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 1709.41 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1709.41 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1709.41 v -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1709.41 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1709.41 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1709.41 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1709.41 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 1709.41 v -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 x913 x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1709.41 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1709.41 v -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 x956 x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 1709.41 v -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1709.41 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1709.41 v -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1709.41 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1709.41 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1709.41 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1709.41 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1709.41 v -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 x1107 -x1108 1709.44 c objective function=45 1709.44 c Total wall clock time (ms): 1709.171
OK 45
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/node15/watcher-50632-1154093465 -o ROOT/results/node15/solver-50632-1154093465 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/50632-1154093465/instance-50632-1154093465.opb 375345862 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.04 1.00 2/64 22086 /proc/meminfo: memFree=1495672/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=164 CPUtime=0 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 20 0 0 0 0 0 0 0 19 0 1 0 156207271 167936 3 18446744073709551615 0 0 4294956991 18446744073709551615 240472616231 0 0 4096 0 0 0 0 17 1 0 0 /proc/22086/statm: 41 11 7 14 0 1 0 [startup+10.0023 s] /proc/loadavg: 1.00 1.04 1.00 2/76 22102 /proc/meminfo: memFree=1283800/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=11.9 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 62166 0 1 0 1159 31 0 0 25 0 13 0 156207271 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071671969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22086/statm: 428303 54685 1910 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=0.55 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 10549 0 0 0 50 5 0 0 16 0 13 0 156207281 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=0.54 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 10827 0 0 0 48 6 0 0 16 0 13 0 156207281 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 156207283 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 156207287 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=0.94 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2130 0 0 0 93 1 0 0 16 0 13 0 156207287 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.05 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2070 0 0 0 104 1 0 0 17 0 13 0 156207287 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22102] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22102/stat : 22102 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 156207700 1754329088 54685 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.9 Current children cumulated vsize (Kb) 1713212 [startup+20.0103 s] /proc/loadavg: 1.00 1.03 1.00 2/76 22102 /proc/meminfo: memFree=1275288/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=22.07 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 77905 0 1 0 2169 38 0 0 25 0 13 0 156207271 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071531116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22086/statm: 428303 56890 1910 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=0.72 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 14536 0 0 0 65 7 0 0 17 0 13 0 156207281 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=0.7 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 14314 0 0 0 63 7 0 0 16 0 13 0 156207281 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0.02 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 50 0 0 0 1 1 0 0 15 0 13 0 156207283 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 156207287 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=0.95 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2130 0 0 0 94 1 0 0 16 0 13 0 156207287 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.05 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2070 0 0 0 104 1 0 0 17 0 13 0 156207287 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22102] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22102/stat : 22102 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 156207700 1754329088 56890 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.07 Current children cumulated vsize (Kb) 1713212 [startup+30.0181 s] /proc/loadavg: 1.00 1.03 1.00 2/76 22104 /proc/meminfo: memFree=1225232/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=32.38 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 91734 0 1 0 3194 44 0 0 16 0 13 0 156207271 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071534734 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22086/statm: 428303 69402 1910 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=1 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 21268 0 0 0 90 10 0 0 16 0 13 0 156207281 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=0.98 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 20123 0 0 0 88 10 0 0 16 0 13 0 156207281 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0.02 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 50 0 0 0 1 1 0 0 15 0 13 0 156207283 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 156207287 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=0.95 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2130 0 0 0 94 1 0 0 16 0 13 0 156207287 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.08 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2073 0 0 0 107 1 0 0 17 0 13 0 156207287 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22104] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22104/stat : 22104 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 156210130 1754329088 69402 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.38 Current children cumulated vsize (Kb) 1713212 [startup+40.0261 s] /proc/loadavg: 1.00 1.03 1.00 2/76 22104 /proc/meminfo: memFree=1194512/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=42.65 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 100848 0 1 0 4215 50 0 0 18 0 13 0 156207271 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071682103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22086/statm: 428303 77088 1910 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=1.27 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 25650 0 0 0 114 13 0 0 16 0 13 0 156207281 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=1.25 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 24839 0 0 0 113 12 0 0 16 0 13 0 156207281 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0.02 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 50 0 0 0 1 1 0 0 15 0 13 0 156207283 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 156207287 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=0.95 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2130 0 0 0 94 1 0 0 16 0 13 0 156207287 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.08 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2073 0 0 0 107 1 0 0 17 0 13 0 156207287 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22104] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22104/stat : 22104 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 156210130 1754329088 77088 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.65 Current children cumulated vsize (Kb) 1713212 [startup+50.033 s] /proc/loadavg: 1.00 1.03 1.00 2/76 22104 /proc/meminfo: memFree=1182416/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=52.84 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 104238 0 1 0 5233 51 0 0 25 0 13 0 156207271 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071679962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22086/statm: 428303 80099 1910 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=1.47 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 27465 0 0 0 134 13 0 0 16 0 13 0 156207281 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=1.43 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 26395 0 0 0 131 12 0 0 16 0 13 0 156207281 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0.04 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 50 0 0 0 2 2 0 0 15 0 13 0 156207283 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 156207287 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=0.95 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2130 0 0 0 94 1 0 0 16 0 13 0 156207287 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.08 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2073 0 0 0 107 1 0 0 17 0 13 0 156207287 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22104] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22104/stat : 22104 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 156210130 1754329088 80099 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.84 Current children cumulated vsize (Kb) 1713212 [startup+60.0399 s] /proc/loadavg: 1.00 1.03 1.00 2/76 22104 /proc/meminfo: memFree=1166928/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=63.11 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 108522 0 1 0 6258 53 0 0 24 0 13 0 156207271 1754329088 83971 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071508846 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22086/statm: 428303 83971 1910 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=1.69 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 29628 0 0 0 155 14 0 0 16 0 13 0 156207281 1754329088 83971 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=1.66 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 28497 0 0 0 153 13 0 0 16 0 13 0 156207281 1754329088 83971 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0.04 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 50 0 0 0 2 2 0 0 16 0 13 0 156207283 1754329088 83971 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 83971 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 83971 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 ################ # More data... # ################ /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 319968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 319968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 319968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 156207287 1754329088 319968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=1.04 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2138 0 0 0 103 1 0 0 17 0 13 0 156207287 1754329088 319968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.15 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2075 0 0 0 114 1 0 0 17 0 13 0 156207287 1754329088 319968 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 319986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 319986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22109] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22109/stat : 22109 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156344735 1754329088 319986 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (Kb) 1713212 [startup+1706.38 s] /proc/loadavg: 1.05 1.07 1.02 2/76 22109 /proc/meminfo: memFree=219960/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=1797.23 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 370680 0 1 0 179466 257 0 0 19 0 13 0 156207271 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071590978 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22086/statm: 428303 320021 1914 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=90.56 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 155818 0 0 0 8963 93 0 0 17 0 13 0 156207281 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=90.48 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 161664 0 0 0 8945 103 0 0 16 0 13 0 156207281 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0.66 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 58 0 0 0 40 26 0 0 15 0 13 0 156207283 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 156207287 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=1.04 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2138 0 0 0 103 1 0 0 17 0 13 0 156207287 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.15 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2075 0 0 0 114 1 0 0 17 0 13 0 156207287 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22109] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22109/stat : 22109 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156344735 1754329088 320021 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.23 Current children cumulated vsize (Kb) 1713212 [startup+1707.38 s] /proc/loadavg: 1.05 1.07 1.02 2/76 22109 /proc/meminfo: memFree=219640/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=1798.3 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 370766 0 1 0 179573 257 0 0 24 0 13 0 156207271 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071514851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22086/statm: 428303 320106 1914 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=90.62 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 155818 0 0 0 8969 93 0 0 16 0 13 0 156207281 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=90.54 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 161749 0 0 0 8951 103 0 0 17 0 13 0 156207281 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0.66 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 58 0 0 0 40 26 0 0 16 0 13 0 156207283 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 156207287 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=1.04 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2138 0 0 0 103 1 0 0 17 0 13 0 156207287 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.15 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2075 0 0 0 114 1 0 0 17 0 13 0 156207287 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22109] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22109/stat : 22109 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156344735 1754329088 320106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.3 Current children cumulated vsize (Kb) 1713212 [startup+1708.39 s] /proc/loadavg: 1.05 1.07 1.02 2/76 22109 /proc/meminfo: memFree=218552/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=1799.41 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 371036 0 1 0 179684 257 0 0 18 0 13 0 156207271 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071575663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22086/statm: 428303 320364 1914 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=90.73 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 155895 0 0 0 8980 93 0 0 16 0 13 0 156207281 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=90.66 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 161940 0 0 0 8962 104 0 0 16 0 13 0 156207281 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0.66 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 58 0 0 0 40 26 0 0 16 0 13 0 156207283 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 156207287 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=1.04 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2138 0 0 0 103 1 0 0 17 0 13 0 156207287 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.15 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2075 0 0 0 114 1 0 0 17 0 13 0 156207287 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22109] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22109/stat : 22109 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156344735 1754329088 320364 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (Kb) 1713212 [startup+1709.4 s] /proc/loadavg: 1.04 1.07 1.02 2/76 22109 /proc/meminfo: memFree=217720/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=1800.55 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 371247 0 1 0 179798 257 0 0 17 0 13 0 156207271 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071514692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22086/statm: 428303 320571 1914 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=90.86 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 155955 0 0 0 8993 93 0 0 16 0 13 0 156207281 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=90.79 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 162089 0 0 0 8975 104 0 0 16 0 13 0 156207281 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0.66 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 58 0 0 0 40 26 0 0 16 0 13 0 156207283 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=1.04 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2138 0 0 0 103 1 0 0 17 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.15 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2075 0 0 0 114 1 0 0 17 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22109] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22109/stat : 22109 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156344735 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 1713212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1709.4 s] /proc/loadavg: 1.04 1.07 1.02 2/76 22109 /proc/meminfo: memFree=217720/2055920 swapFree=4182804/4192956 [pid=22086] ppid=22084 vsize=1713212 CPUtime=1800.55 /proc/22086/stat : 22086 (java) R 22084 22086 22037 0 -1 0 371247 0 1 0 179798 257 0 0 17 0 13 0 156207271 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071679938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22086/statm: 428303 320571 1914 14 0 415050 0 [pid=22086/tid=22087] ppid=22084 vsize=1713212 CPUtime=90.86 /proc/22086/task/22087/stat : 22087 (java) S 22084 22086 22037 0 -1 64 155955 0 0 0 8993 93 0 0 16 0 13 0 156207281 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22088] ppid=22084 vsize=1713212 CPUtime=90.79 /proc/22086/task/22088/stat : 22088 (java) S 22084 22086 22037 0 -1 64 162089 0 0 0 8975 104 0 0 16 0 13 0 156207281 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22089] ppid=22084 vsize=1713212 CPUtime=0.66 /proc/22086/task/22089/stat : 22089 (java) S 22084 22086 22037 0 -1 64 58 0 0 0 40 26 0 0 16 0 13 0 156207283 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22090] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22090/stat : 22090 (java) S 22084 22086 22037 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22091] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22091/stat : 22091 (java) S 22084 22086 22037 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156207284 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22092] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22092/stat : 22092 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22093] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22093/stat : 22093 (java) S 22084 22086 22037 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22094] ppid=22084 vsize=1713212 CPUtime=1.04 /proc/22086/task/22094/stat : 22094 (java) S 22084 22086 22037 0 -1 64 2138 0 0 0 103 1 0 0 17 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22086/tid=22095] ppid=22084 vsize=1713212 CPUtime=1.15 /proc/22086/task/22095/stat : 22095 (java) S 22084 22086 22037 0 -1 64 2075 0 0 0 114 1 0 0 17 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22096] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22096/stat : 22096 (java) S 22084 22086 22037 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22097] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22097/stat : 22097 (java) S 22084 22086 22037 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 156207287 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22086/tid=22109] ppid=22084 vsize=1713212 CPUtime=0 /proc/22086/task/22109/stat : 22109 (java) S 22084 22086 22037 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156344735 1754329088 320571 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 1713212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1709.69 CPU time (s): 1800.88 CPU user time (s): 1798.11 CPU system time (s): 2.77258 CPU usage (%): 105.334 Max. virtual memory (cumulated for all children) (Kb): 1713212 The end
Begin job on node15 on Fri Jul 28 13:31:05 UTC 2006 FILE ID= 50632-1154093465 PBS_JOBID= 885794 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/50632-1154093465/instance-50632-1154093465.opb 375345862 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-50632-1154093465 -o ROOT/results/node15/solver-50632-1154093465 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/50632-1154093465/instance-50632-1154093465.opb 375345862 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= a226ce89d775a348c35d29e51d9044b6 RANDOM SEED= 375345862 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.227 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.227 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: 1495880 kB Buffers: 25336 kB Cached: 460412 kB SwapCached: 3852 kB Active: 44088 kB Inactive: 450276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1495880 kB SwapTotal: 4192956 kB SwapFree: 4182804 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14508 kB Slab: 51628 kB Committed_AS: 717516 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Fri Jul 28 13:59:35 UTC 2006