Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 77 | 1800.92 | 1720.7 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-alu2.b.opb |
MD5SUM | a793af2f16b39bdc1dda733b5326bfb4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 60 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | NO |
Number of variables | 1266 |
Total number of constraints | 2888 |
Number of constraints which are clauses | 2888 |
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 | 183 |
Number of terms in the objective function | 1266 |
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 | 1266 |
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 | 1266 |
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.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.20 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node15/50625-1154091738/instance-50625-1154091738.opb 0.21 c reading problem ... 1.02 c ... done. Time 0.811 ms. 1.02 c #vars 1266 1.02 c #constraints 2768 1.10 c SATISFIABLE 1.10 c OPTIMIZING... 1.10 c Got one! Ellapsed CPU time (in seconds):0.894 1.12 o 89 1.50 c Got one! Ellapsed CPU time (in seconds):1.296 1.50 o 88 1.81 c Got one! Ellapsed CPU time (in seconds):1.604 1.81 o 87 2.03 c Got one! Ellapsed CPU time (in seconds):1.829 2.04 o 86 3.94 c Got one! Ellapsed CPU time (in seconds):3.734 3.94 o 85 13.62 c Got one! Ellapsed CPU time (in seconds):13.417 13.62 o 84 23.72 c Got one! Ellapsed CPU time (in seconds):23.511 23.72 o 83 45.93 c Got one! Ellapsed CPU time (in seconds):45.722 45.93 o 82 73.91 c Got one! Ellapsed CPU time (in seconds):73.706 73.91 o 81 101.97 c Got one! Ellapsed CPU time (in seconds):101.766 101.97 o 80 1067.83 c Got one! Ellapsed CPU time (in seconds):1067.626 1067.83 o 79 1195.82 c Got one! Ellapsed CPU time (in seconds):1195.614 1195.82 o 78 1469.64 c Got one! Ellapsed CPU time (in seconds):1469.438 1469.64 o 77 1720.40 c starts : 55 1720.40 c conflicts : 13307 1720.40 c decisions : 233071 1720.40 c propagations : 753584 1720.40 c inspects : 123473071 1720.40 c learnt literals : 1 1720.40 c learnt binary clauses : 0 1720.40 c learnt ternary clauses : 0 1720.40 c learnt clauses : 13305 1720.40 c root simplifications : 0 1720.40 c removed literals (reason simplification) : 0 1720.40 c reason swapping (by a shorter reason) : 0 1720.40 c Calls to reduceDB : 0 1720.40 c speed (decisions/second) : 929.4918066129347 1720.40 c non guided choices 0 1720.40 s SATISFIABLE 1720.40 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 1720.40 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 1720.40 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 1720.40 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 1720.40 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1720.40 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 1720.40 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1720.40 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1720.40 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1720.40 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 1720.40 v -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 1720.40 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 x267 -x268 x269 -x270 -x271 x272 1720.40 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1720.40 v x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1720.40 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1720.40 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1720.40 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1720.40 v -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 1720.40 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1720.40 v -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1720.40 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 1720.40 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1720.40 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1720.40 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1720.40 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1720.40 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 1720.40 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 1720.40 v -x588 -x589 -x590 -x591 -x592 x593 -x594 x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1720.40 v -x609 -x610 -x611 x612 -x613 -x614 x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1720.40 v -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 x650 1720.40 v x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 1720.40 v -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1720.40 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1720.40 v x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 x734 1720.40 v x735 -x736 -x737 x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1720.40 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 1720.40 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 1720.40 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1720.40 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1720.40 v -x840 -x841 -x842 -x843 x844 x845 x846 x847 x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1720.40 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1720.40 v x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 1720.40 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1720.40 v -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 1720.40 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1720.40 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1720.40 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1720.40 v x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1720.40 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1720.40 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1720.40 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1720.40 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1720.40 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1720.40 v -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1720.40 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1720.40 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1720.40 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1720.40 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1720.40 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 x1211 -x1212 1720.40 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 x1229 -x1230 1720.40 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 x1247 x1248 1720.40 v -x1249 -x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1720.43 c objective function=77 1720.43 c Total wall clock time (ms): 1720.226
OK 77
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-50625-1154091738 -o ROOT/results/node15/solver-50625-1154091738 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/50625-1154091738/instance-50625-1154091738.opb 823312127 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.14 1.05 1.01 2/64 21995 /proc/meminfo: memFree=1496432/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1500 CPUtime=0 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 88 0 0 0 0 0 0 0 18 0 1 0 156034664 1536000 69 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7484000 0 0 4096 0 0 0 0 17 1 0 0 /proc/21995/statm: 375 69 54 14 0 8 0 [startup+10.0021 s] /proc/loadavg: 1.19 1.07 1.02 2/76 22012 /proc/meminfo: memFree=1266064/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=12.06 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 65927 0 1 0 1176 30 0 0 20 0 13 0 156034664 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071504241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21995/statm: 428206 59377 1911 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=0.69 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 12374 0 0 0 63 6 0 0 16 0 13 0 156034668 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=0.68 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 13101 0 0 0 62 6 0 0 16 0 13 0 156034668 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 156034670 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 16 0 13 0 156034674 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=0.94 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 891 0 0 0 94 0 0 0 17 0 13 0 156034674 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.04 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2954 0 0 0 103 1 0 0 17 0 13 0 156034674 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22012] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22012/stat : 22012 (java) S 21993 21995 21946 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 156035060 1753931776 59377 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.06 Current children cumulated vsize (Kb) 1712824 [startup+20.01 s] /proc/loadavg: 1.16 1.06 1.02 2/76 22013 /proc/meminfo: memFree=1200464/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=22.57 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 84497 0 1 0 2217 40 0 0 24 0 13 0 156034664 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071769912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21995/statm: 428206 75769 1911 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=1.17 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 21730 0 0 0 106 11 0 0 16 0 13 0 156034668 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=1.15 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 22294 0 0 0 105 10 0 0 16 0 13 0 156034668 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 22 0 0 0 0 0 0 0 16 0 13 0 156034670 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 16 0 13 0 156034674 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=0.95 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 891 0 0 0 95 0 0 0 17 0 13 0 156034674 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.08 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2955 0 0 0 107 1 0 0 16 0 13 0 156034674 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22013] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22013/stat : 22013 (java) S 21993 21995 21946 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 156036029 1753931776 75769 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.57 Current children cumulated vsize (Kb) 1712824 [startup+30.0169 s] /proc/loadavg: 1.14 1.06 1.02 2/76 22014 /proc/meminfo: memFree=1169096/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=32.87 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 93173 0 1 0 3243 44 0 0 17 0 13 0 156034664 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071522631 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21995/statm: 428206 83597 1911 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=1.46 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 25294 0 0 0 133 13 0 0 16 0 13 0 156034668 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=1.44 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 27390 0 0 0 132 12 0 0 15 0 13 0 156034668 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 23 0 0 0 1 0 0 0 16 0 13 0 156034670 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 16 0 13 0 156034674 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=0.96 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 891 0 0 0 96 0 0 0 17 0 13 0 156034674 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.08 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2955 0 0 0 107 1 0 0 17 0 13 0 156034674 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22014] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22014/stat : 22014 (java) S 21993 21995 21946 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156037038 1753931776 83597 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 32.87 Current children cumulated vsize (Kb) 1712824 [startup+40.0239 s] /proc/loadavg: 1.12 1.06 1.01 2/76 22014 /proc/meminfo: memFree=1144456/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=43.15 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 99960 0 1 0 4267 48 0 0 25 0 13 0 156034664 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071632401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21995/statm: 428206 89745 1911 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=1.71 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 29184 0 0 0 157 14 0 0 16 0 13 0 156034668 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=1.69 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 30273 0 0 0 155 14 0 0 16 0 13 0 156034668 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 23 0 0 0 1 0 0 0 16 0 13 0 156034670 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 16 0 13 0 156034674 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=1 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 892 0 0 0 100 0 0 0 16 0 13 0 156034674 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.08 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2955 0 0 0 107 1 0 0 17 0 13 0 156034674 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22014] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22014/stat : 22014 (java) S 21993 21995 21946 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156037038 1753931776 89745 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 43.15 Current children cumulated vsize (Kb) 1712824 [startup+50.0308 s] /proc/loadavg: 1.10 1.06 1.01 2/76 22015 /proc/meminfo: memFree=1100032/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=53.52 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 112517 0 1 0 5298 54 0 0 25 0 13 0 156034664 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071522287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21995/statm: 428206 100844 1911 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=2.07 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 35820 0 0 0 189 18 0 0 17 0 13 0 156034668 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=2.04 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 36188 0 0 0 188 16 0 0 16 0 13 0 156034668 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 23 0 0 0 1 0 0 0 16 0 13 0 156034670 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 16 0 13 0 156034674 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=1.01 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 892 0 0 0 101 0 0 0 17 0 13 0 156034674 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.09 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2955 0 0 0 108 1 0 0 17 0 13 0 156034674 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22015] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22015/stat : 22015 (java) S 21993 21995 21946 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156039259 1753931776 100844 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 53.52 Current children cumulated vsize (Kb) 1712824 [startup+60.0377 s] /proc/loadavg: 1.08 1.05 1.01 2/76 22015 /proc/meminfo: memFree=1067200/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=63.8 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 121481 0 1 0 6321 59 0 0 25 0 13 0 156034664 1753931776 109027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071554864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21995/statm: 428206 109027 1911 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=2.35 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 40624 0 0 0 215 20 0 0 16 0 13 0 156034668 1753931776 109027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=2.32 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 40341 0 0 0 213 19 0 0 16 0 13 0 156034668 1753931776 109027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 24 0 0 0 1 0 0 0 16 0 13 0 156034670 1753931776 109027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 109027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 109027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 ################ # More data... # ################ /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 359974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 359974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 359974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 17 0 13 0 156034674 1753931776 359974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=1.09 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 895 0 0 0 109 0 0 0 16 0 13 0 156034674 1753931776 359974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.13 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2957 0 0 0 112 1 0 0 17 0 13 0 156034674 1753931776 359974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 359974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 359974 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22020] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22020/stat : 22020 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 156181630 1753931776 359974 18446744073709551615 134512640 134570276 4294956448 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) 1712824 [startup+1717.37 s] /proc/loadavg: 1.09 1.06 1.00 2/76 22020 /proc/meminfo: memFree=58584/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=1797.47 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 404174 0 1 0 179440 307 0 0 25 0 13 0 156034664 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071511135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21995/statm: 428206 360485 1912 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=80.05 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 186997 0 0 0 7877 128 0 0 16 0 13 0 156034668 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=80.02 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 174515 0 0 0 7873 129 0 0 17 0 13 0 156034668 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0.5 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 32 0 0 0 29 21 0 0 15 0 13 0 156034670 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 17 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=1.09 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 895 0 0 0 109 0 0 0 16 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.13 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2957 0 0 0 112 1 0 0 17 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22020] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22020/stat : 22020 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 156181630 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 1712824 [startup+1718.37 s] /proc/loadavg: 1.09 1.06 1.00 2/76 22020 /proc/meminfo: memFree=58584/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=1798.48 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 404174 0 1 0 179541 307 0 0 25 0 13 0 156034664 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071554846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21995/statm: 428206 360485 1912 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=80.05 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 186997 0 0 0 7877 128 0 0 16 0 13 0 156034668 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=80.02 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 174515 0 0 0 7873 129 0 0 17 0 13 0 156034668 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0.5 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 32 0 0 0 29 21 0 0 16 0 13 0 156034670 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 17 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=1.09 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 895 0 0 0 109 0 0 0 16 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.13 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2957 0 0 0 112 1 0 0 17 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22020] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22020/stat : 22020 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 156181630 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 1712824 [startup+1719.38 s] /proc/loadavg: 1.09 1.06 1.00 2/76 22020 /proc/meminfo: memFree=58584/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=1799.48 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 404174 0 1 0 179641 307 0 0 25 0 13 0 156034664 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071511144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21995/statm: 428206 360485 1912 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=80.05 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 186997 0 0 0 7877 128 0 0 16 0 13 0 156034668 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=80.02 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 174515 0 0 0 7873 129 0 0 17 0 13 0 156034668 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0.5 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 32 0 0 0 29 21 0 0 16 0 13 0 156034670 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 17 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=1.09 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 895 0 0 0 109 0 0 0 16 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.13 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2957 0 0 0 112 1 0 0 17 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22020] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22020/stat : 22020 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 156181630 1753931776 360485 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 1712824 [startup+1720.38 s] /proc/loadavg: 1.08 1.06 1.00 2/76 22020 /proc/meminfo: memFree=58520/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=1800.57 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 404187 0 1 0 179750 307 0 0 25 0 13 0 156034664 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071511139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21995/statm: 428206 360497 1912 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=80.13 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 187009 0 0 0 7885 128 0 0 16 0 13 0 156034668 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=80.1 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 174515 0 0 0 7881 129 0 0 17 0 13 0 156034668 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0.5 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 32 0 0 0 29 21 0 0 16 0 13 0 156034670 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 17 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=1.09 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 895 0 0 0 109 0 0 0 16 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.13 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2957 0 0 0 112 1 0 0 17 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22020] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22020/stat : 22020 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 156181630 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 1712824 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1720.39 s] /proc/loadavg: 1.08 1.06 1.00 2/76 22020 /proc/meminfo: memFree=58520/2055920 swapFree=4182804/4192956 [pid=21995] ppid=21993 vsize=1712824 CPUtime=1800.57 /proc/21995/stat : 21995 (java) R 21993 21995 21946 0 -1 0 404187 0 1 0 179750 307 0 0 25 0 13 0 156034664 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071511139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/21995/statm: 428206 360497 1912 14 0 414953 0 [pid=21995/tid=21996] ppid=21993 vsize=1712824 CPUtime=80.13 /proc/21995/task/21996/stat : 21996 (java) S 21993 21995 21946 0 -1 64 187009 0 0 0 7885 128 0 0 16 0 13 0 156034668 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21997] ppid=21993 vsize=1712824 CPUtime=80.1 /proc/21995/task/21997/stat : 21997 (java) S 21993 21995 21946 0 -1 64 174515 0 0 0 7881 129 0 0 17 0 13 0 156034668 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=21998] ppid=21993 vsize=1712824 CPUtime=0.5 /proc/21995/task/21998/stat : 21998 (java) S 21993 21995 21946 0 -1 64 32 0 0 0 29 21 0 0 16 0 13 0 156034670 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=21999] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/21999/stat : 21999 (java) S 21993 21995 21946 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22000] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22000/stat : 22000 (java) S 21993 21995 21946 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156034671 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22001] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22001/stat : 22001 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22002] ppid=21993 vsize=1712824 CPUtime=0.01 /proc/21995/task/22002/stat : 22002 (java) S 21993 21995 21946 0 -1 64 13 0 0 0 1 0 0 0 17 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22003] ppid=21993 vsize=1712824 CPUtime=1.09 /proc/21995/task/22003/stat : 22003 (java) S 21993 21995 21946 0 -1 64 895 0 0 0 109 0 0 0 16 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22004] ppid=21993 vsize=1712824 CPUtime=1.13 /proc/21995/task/22004/stat : 22004 (java) S 21993 21995 21946 0 -1 64 2957 0 0 0 112 1 0 0 17 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22005] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22005/stat : 22005 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21995/tid=22006] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22006/stat : 22006 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156034674 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21995/tid=22020] ppid=21993 vsize=1712824 CPUtime=0 /proc/21995/task/22020/stat : 22020 (java) S 21993 21995 21946 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 156181630 1753931776 360497 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 1712824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1720.7 CPU time (s): 1800.92 CPU user time (s): 1797.63 CPU system time (s): 3.2905 CPU usage (%): 104.662 Max. virtual memory (cumulated for all children) (Kb): 1712824 The end
Begin job on node15 on Fri Jul 28 13:02:19 UTC 2006 FILE ID= 50625-1154091738 PBS_JOBID= 885703 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/50625-1154091738/instance-50625-1154091738.opb 823312127 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-50625-1154091738 -o ROOT/results/node15/solver-50625-1154091738 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node15/50625-1154091738/instance-50625-1154091738.opb 823312127 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4 RANDOM SEED= 823312127 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: 1496640 kB Buffers: 25052 kB Cached: 459744 kB SwapCached: 3852 kB Active: 43880 kB Inactive: 449584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1496640 kB SwapTotal: 4192956 kB SwapFree: 4182804 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14508 kB Slab: 51820 kB Committed_AS: 715264 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:30:59 UTC 2006