Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 180 | 1800.53 | 1784.58 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb |
MD5SUM | d431323968e1ca4dc95d181076d01437 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 162 |
Best CPU time to get the best result obtained on this benchmark | 1800.43 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 154 |
Optimality of the best value was proved | NO |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 1024 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 1024 |
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.22 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.22 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.29 c Cutting planes based inference 0.29 c --- Begin Solver configuration --- 0.29 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.29 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.29 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.29 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.29 c VSIDS like heuristics from MiniSAT using a heap 0.29 c No reason simplification 0.29 c --- End Solver configuration --- 0.29 c solving ROOT/tmp/node45/44264-1149399200/instance-44264-1149399200.opb 0.29 c reading problem ... 2.18 c ... done. Time 1.893 ms. 2.18 c #vars 1344 2.18 c #constraints 16376 4.50 c SATISFIABLE 4.50 c OPTIMIZING... 4.50 c Got one! Ellapsed CPU time (in seconds):4.216 4.52 o 202 6.39 c Got one! Ellapsed CPU time (in seconds):6.101 6.39 o 198 88.82 c Got one! Ellapsed CPU time (in seconds):88.535 88.82 o 190 301.80 c Got one! Ellapsed CPU time (in seconds):301.509 301.80 o 184 348.10 c Got one! Ellapsed CPU time (in seconds):347.809 348.10 o 180 1784.37 c starts : 42 1784.37 c conflicts : 28747 1784.37 c decisions : 99738 1784.37 c propagations : 2242456 1784.37 c inspects : 368192132 1784.37 c learnt literals : 0 1784.37 c learnt binary clauses : 0 1784.37 c learnt ternary clauses : 0 1784.37 c learnt clauses : 28747 1784.37 c root simplifications : 0 1784.37 c removed literals (reason simplification) : 0 1784.37 c reason swapping (by a shorter reason) : 0 1784.37 c Calls to reduceDB : 0 1784.37 c speed (decisions/second) : 69.44232669182905 1784.37 c non guided choices 2129 1784.37 s SATISFIABLE 1784.38 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 1784.38 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 1784.38 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1784.38 v -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 1784.38 v -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1784.38 v x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 1784.38 v -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 1784.38 v -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 1784.38 v -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 1784.38 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 1784.38 v -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 1784.38 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1784.38 v x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 1784.38 v -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 1784.38 v x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1784.38 v x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 1784.38 v -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 1784.38 v -x380 -x381 -x382 -x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 1784.38 v -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1784.38 v -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1784.38 v -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 1784.38 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1784.38 v x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 1784.38 v -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 1784.38 v -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 1784.38 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 1784.38 v x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 1784.38 v -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 x610 1784.38 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 1784.38 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 1784.38 v -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 x673 1784.38 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1784.38 v x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 x714 -x715 1784.38 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 1784.38 v -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 1784.38 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 1784.38 v -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 1784.38 v -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 1784.38 v -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 1784.38 v -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 1784.38 v -x863 -x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 1784.38 v -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 x897 x898 -x899 -x900 x901 -x902 x903 -x904 -x905 1784.38 v -x906 -x907 -x908 x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 1784.38 v -x927 x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1784.38 v -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 x960 -x961 x962 -x963 -x964 -x965 x966 -x967 x968 -x969 1784.38 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 1784.38 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1784.38 v x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 x1023 x1024 -x1025 x1026 -x1027 1784.38 v x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1784.38 v -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 1784.38 v -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 x1081 1784.38 v -x1082 -x1083 -x1084 -x1085 -x1086 x1087 x1088 x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 1784.38 v -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 x1114 -x1115 -x1116 -x1117 1784.38 v -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1784.38 v x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 x1151 x1152 -x1153 1784.38 v x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 1784.38 v -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 1784.38 v -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 1784.38 v -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 1784.38 v -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1784.38 v -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 1784.38 v -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 x1278 x1279 1784.38 v x1280 x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 1784.38 v -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 1784.38 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 x1332 -x1333 1784.38 v -x1334 -x1335 -x1336 -x1337 x1338 -x1339 x1340 -x1341 -x1342 x1343 -x1344 1784.40 c objective function=180 1784.40 c Total wall clock time (ms): 1784.117
OK 180
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-44264-1149399200 -o ROOT/results/node45/solver-44264-1149399200 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node45/44264-1149399200/instance-44264-1149399200.opb 934945052 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 3578 /proc/meminfo: memFree=1434320/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=18540 CPUtime=0 /proc/3578/stat : 3578 (runsolver) D 3576 3578 3532 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 101357794 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 258939088167 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0 /proc/3578/statm: 4635 279 243 16 0 2626 0 [startup+10.0026 s] /proc/loadavg: 1.01 1.00 1.00 2/76 3592 /proc/meminfo: memFree=1253936/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1712076 CPUtime=11.35 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 48440 0 1 0 1111 24 0 0 25 0 13 0 101357794 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071389547 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 428019 46884 1910 14 0 414766 0 [pid=3578/tid=3579] ppid=3576 vsize=1712076 CPUtime=0.28 /proc/3578/task/3579/stat : 3579 (java) S 3576 3578 3532 0 -1 64 5348 0 0 0 26 2 0 0 16 0 13 0 101357801 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1712076 CPUtime=0.29 /proc/3578/task/3580/stat : 3580 (java) S 3576 3578 3532 0 -1 64 3980 0 0 0 27 2 0 0 16 0 13 0 101357801 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1712076 CPUtime=0 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 23 0 0 0 0 0 0 0 16 0 13 0 101357804 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1712076 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1712076 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1712076 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1712076 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 101357811 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1712076 CPUtime=0.86 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1870 0 0 0 86 0 0 0 17 0 13 0 101357811 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1712076 CPUtime=0.74 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 683 0 0 0 74 0 0 0 16 0 13 0 101357811 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1712076 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1712076 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3592] ppid=3576 vsize=1712076 CPUtime=0 /proc/3578/task/3592/stat : 3592 (java) S 3576 3578 3532 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 101358434 1753165824 46884 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.35 Current children cumulated vsize (Kb) 1712076 [startup+20.0104 s] /proc/loadavg: 1.00 1.00 1.00 2/76 3592 /proc/meminfo: memFree=1235760/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1711820 CPUtime=21.54 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 53548 0 1 0 2127 27 0 0 25 0 13 0 101357794 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071503929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 427955 51425 1910 14 0 414702 0 [pid=3578/tid=3579] ppid=3576 vsize=1711820 CPUtime=0.44 /proc/3578/task/3579/stat : 3579 (java) S 3576 3578 3532 0 -1 64 7445 0 0 0 41 3 0 0 16 0 13 0 101357801 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1711820 CPUtime=0.44 /proc/3578/task/3580/stat : 3580 (java) S 3576 3578 3532 0 -1 64 6980 0 0 0 41 3 0 0 16 0 13 0 101357801 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1711820 CPUtime=0.01 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 23 0 0 0 1 0 0 0 16 0 13 0 101357804 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 101357811 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1711820 CPUtime=0.88 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1871 0 0 0 88 0 0 0 16 0 13 0 101357811 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1711820 CPUtime=0.76 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 683 0 0 0 76 0 0 0 17 0 13 0 101357811 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3592] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3592/stat : 3592 (java) S 3576 3578 3532 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 101358434 1752903680 51425 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.54 Current children cumulated vsize (Kb) 1711820 [startup+30.0173 s] /proc/loadavg: 1.00 1.00 1.00 2/76 3592 /proc/meminfo: memFree=1223024/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1711820 CPUtime=31.66 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 57059 0 1 0 3137 29 0 0 25 0 13 0 101357794 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071514670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 427955 54616 1910 14 0 414702 0 [pid=3578/tid=3579] ppid=3576 vsize=1711820 CPUtime=0.55 /proc/3578/task/3579/stat : 3579 (java) S 3576 3578 3532 0 -1 64 9385 0 0 0 51 4 0 0 16 0 13 0 101357801 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1711820 CPUtime=0.56 /proc/3578/task/3580/stat : 3580 (java) S 3576 3578 3532 0 -1 64 8542 0 0 0 52 4 0 0 17 0 13 0 101357801 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1711820 CPUtime=0.01 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 26 0 0 0 1 0 0 0 16 0 13 0 101357804 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 101357811 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1711820 CPUtime=0.88 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1871 0 0 0 88 0 0 0 16 0 13 0 101357811 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1711820 CPUtime=0.76 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 683 0 0 0 76 0 0 0 16 0 13 0 101357811 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3592] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3592/stat : 3592 (java) S 3576 3578 3532 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 101358434 1752903680 54616 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.66 Current children cumulated vsize (Kb) 1711820 [startup+40.0241 s] /proc/loadavg: 1.00 1.00 1.00 2/76 3592 /proc/meminfo: memFree=1208368/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1711820 CPUtime=41.75 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 60996 0 1 0 4145 30 0 0 25 0 13 0 101357794 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071071781 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 427955 58276 1910 14 0 414702 0 [pid=3578/tid=3579] ppid=3576 vsize=1711820 CPUtime=0.65 /proc/3578/task/3579/stat : 3579 (java) S 3576 3578 3532 0 -1 64 11375 0 0 0 60 5 0 0 17 0 13 0 101357801 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1711820 CPUtime=0.66 /proc/3578/task/3580/stat : 3580 (java) S 3576 3578 3532 0 -1 64 10405 0 0 0 61 5 0 0 17 0 13 0 101357801 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1711820 CPUtime=0.01 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 101357804 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 101357811 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1711820 CPUtime=0.88 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1871 0 0 0 88 0 0 0 16 0 13 0 101357811 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1711820 CPUtime=0.76 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 683 0 0 0 76 0 0 0 16 0 13 0 101357811 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3592] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3592/stat : 3592 (java) S 3576 3578 3532 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 101358434 1752903680 58276 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.75 Current children cumulated vsize (Kb) 1711820 [startup+50.0309 s] /proc/loadavg: 1.00 1.00 1.00 2/76 3592 /proc/meminfo: memFree=1197360/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1711820 CPUtime=51.85 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 64054 0 1 0 5154 31 0 0 17 0 13 0 101357794 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071546267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 427955 61031 1910 14 0 414702 0 [pid=3578/tid=3579] ppid=3576 vsize=1711820 CPUtime=0.75 /proc/3578/task/3579/stat : 3579 (java) S 3576 3578 3532 0 -1 64 12711 0 0 0 70 5 0 0 17 0 13 0 101357801 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1711820 CPUtime=0.76 /proc/3578/task/3580/stat : 3580 (java) S 3576 3578 3532 0 -1 64 12118 0 0 0 71 5 0 0 16 0 13 0 101357801 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1711820 CPUtime=0.01 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 29 0 0 0 1 0 0 0 15 0 13 0 101357804 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 101357811 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1711820 CPUtime=0.88 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1871 0 0 0 88 0 0 0 16 0 13 0 101357811 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1711820 CPUtime=0.76 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 683 0 0 0 76 0 0 0 16 0 13 0 101357811 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3592] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3592/stat : 3592 (java) S 3576 3578 3532 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 101358434 1752903680 61031 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.85 Current children cumulated vsize (Kb) 1711820 [startup+60.0377 s] /proc/loadavg: 1.00 1.00 1.00 2/76 3592 /proc/meminfo: memFree=1191344/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1711820 CPUtime=61.93 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 66209 0 1 0 6161 32 0 0 24 0 13 0 101357794 1752903680 62477 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071531969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 427955 62477 1910 14 0 414702 0 [pid=3578/tid=3579] ppid=3576 vsize=1711820 CPUtime=0.83 /proc/3578/task/3579/stat : 3579 (java) S 3576 3578 3532 0 -1 64 13614 0 0 0 77 6 0 0 16 0 13 0 101357801 1752903680 62477 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1711820 CPUtime=0.85 /proc/3578/task/3580/stat : 3580 (java) S 3576 3578 3532 0 -1 64 13362 0 0 0 79 6 0 0 16 0 13 0 101357801 1752903680 62477 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1711820 CPUtime=0.01 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 31 0 0 0 1 0 0 0 16 0 13 0 101357804 1752903680 62477 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 62477 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 62477 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 62477 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1711820 CPUtime=0.95 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1872 0 0 0 95 0 0 0 16 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1711820 CPUtime=0.83 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 685 0 0 0 83 0 0 0 16 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3595] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3595/stat : 3595 (java) S 3576 3578 3532 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 101392605 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (Kb) 1711820 [startup+1781.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 3790 /proc/meminfo: memFree=824280/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1711820 CPUtime=1797.23 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 236919 0 1 0 179601 122 0 0 25 0 13 0 101357794 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071509346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 427955 153789 1910 14 0 414702 0 [pid=3578/tid=3579] ppid=3576 vsize=1711820 CPUtime=15.77 /proc/3578/task/3579/stat : 3579 (java) S 3576 3578 3532 0 -1 64 82118 0 0 0 1541 36 0 0 17 0 13 0 101357801 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1711820 CPUtime=15.78 /proc/3578/task/3580/stat : 3580 (java) S 3576 3578 3532 0 -1 64 77832 0 0 0 1541 37 0 0 16 0 13 0 101357801 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1711820 CPUtime=0.2 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 176 0 0 0 11 9 0 0 16 0 13 0 101357804 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1711820 CPUtime=0.95 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1872 0 0 0 95 0 0 0 16 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1711820 CPUtime=0.83 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 685 0 0 0 83 0 0 0 16 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3595] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3595/stat : 3595 (java) S 3576 3578 3532 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 101392605 1752903680 153789 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.23 Current children cumulated vsize (Kb) 1711820 [startup+1782.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 3790 /proc/meminfo: memFree=824216/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1711820 CPUtime=1798.28 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 236965 0 1 0 179705 123 0 0 24 0 13 0 101357794 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071524787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 427955 153834 1910 14 0 414702 0 [pid=3578/tid=3579] ppid=3576 vsize=1711820 CPUtime=15.8 /proc/3578/task/3579/stat : 3579 (java) S 3576 3578 3532 0 -1 64 82126 0 0 0 1544 36 0 0 17 0 13 0 101357801 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1711820 CPUtime=15.81 /proc/3578/task/3580/stat : 3580 (java) S 3576 3578 3532 0 -1 64 77869 0 0 0 1544 37 0 0 16 0 13 0 101357801 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1711820 CPUtime=0.2 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 176 0 0 0 11 9 0 0 15 0 13 0 101357804 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1711820 CPUtime=0.95 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1872 0 0 0 95 0 0 0 16 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1711820 CPUtime=0.83 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 685 0 0 0 83 0 0 0 16 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3595] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3595/stat : 3595 (java) S 3576 3578 3532 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 101392605 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.28 Current children cumulated vsize (Kb) 1711820 [startup+1783.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 3790 /proc/meminfo: memFree=824216/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1711820 CPUtime=1799.28 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 236965 0 1 0 179805 123 0 0 25 0 13 0 101357794 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071333267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 427955 153834 1910 14 0 414702 0 [pid=3578/tid=3579] ppid=3576 vsize=1711820 CPUtime=15.8 /proc/3578/task/3579/stat : 3579 (java) S 3576 3578 3532 0 -1 64 82126 0 0 0 1544 36 0 0 17 0 13 0 101357801 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1711820 CPUtime=15.81 /proc/3578/task/3580/stat : 3580 (java) S 3576 3578 3532 0 -1 64 77869 0 0 0 1544 37 0 0 16 0 13 0 101357801 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1711820 CPUtime=0.2 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 176 0 0 0 11 9 0 0 16 0 13 0 101357804 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1711820 CPUtime=0.95 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1872 0 0 0 95 0 0 0 16 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1711820 CPUtime=0.83 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 685 0 0 0 83 0 0 0 16 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3595] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3595/stat : 3595 (java) S 3576 3578 3532 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 101392605 1752903680 153834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.28 Current children cumulated vsize (Kb) 1711820 [startup+1784.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 3790 /proc/meminfo: memFree=824216/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1711820 CPUtime=1800.29 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 236972 0 1 0 179906 123 0 0 25 0 13 0 101357794 1752903680 153840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 427955 153840 1910 14 0 414702 0 [pid=3578/tid=3579] ppid=3576 vsize=1711820 CPUtime=15.8 /proc/3578/task/3579/stat : 3579 (java) R 3576 3578 3532 0 -1 64 82132 0 0 0 1544 36 0 0 16 0 13 0 101357801 1752903680 153840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154975950 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1711820 CPUtime=15.81 /proc/3578/task/3580/stat : 3580 (java) R 3576 3578 3532 0 -1 64 77869 0 0 0 1544 37 0 0 16 0 13 0 101357801 1752903680 153840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1711820 CPUtime=0.2 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 176 0 0 0 11 9 0 0 16 0 13 0 101357804 1752903680 153840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 153840 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357811 1752903680 153841 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1711820 CPUtime=0.95 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1872 0 0 0 95 0 0 0 16 0 13 0 101357811 1752903680 153841 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1711820 CPUtime=0.83 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 685 0 0 0 83 0 0 0 16 0 13 0 101357811 1752903680 153841 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1752903680 153841 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1752903680 153841 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3595] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3595/stat : 3595 (java) S 3576 3578 3532 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 101392605 1752903680 153841 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (Kb) 1711820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.34 s] /proc/loadavg: 1.00 1.00 1.00 4/76 3790 /proc/meminfo: memFree=824216/2055920 swapFree=4191900/4192956 [pid=3578] ppid=3576 vsize=1711820 CPUtime=1800.29 /proc/3578/stat : 3578 (java) R 3576 3578 3532 0 -1 0 236983 0 1 0 179906 123 0 0 25 0 13 0 101357794 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/3578/statm: 427955 153851 1910 14 0 414702 0 [pid=3578/tid=3579] ppid=3576 vsize=1711820 CPUtime=15.81 /proc/3578/task/3579/stat : 3579 (java) R 3576 3578 3532 0 -1 64 82134 0 0 0 1545 36 0 0 16 0 13 0 101357801 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4154649090 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3580] ppid=3576 vsize=1711820 CPUtime=15.81 /proc/3578/task/3580/stat : 3580 (java) R 3576 3578 3532 0 -1 64 77878 0 0 0 1544 37 0 0 16 0 13 0 101357801 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4151726512 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3581] ppid=3576 vsize=1711820 CPUtime=0.2 /proc/3578/task/3581/stat : 3581 (java) S 3576 3578 3532 0 -1 64 176 0 0 0 11 9 0 0 16 0 13 0 101357804 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3582] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3582/stat : 3582 (java) S 3576 3578 3532 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3583] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3583/stat : 3583 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357804 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3584] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3584/stat : 3584 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 101357811 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3585] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3585/stat : 3585 (java) S 3576 3578 3532 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 101357811 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3586] ppid=3576 vsize=1711820 CPUtime=0.95 /proc/3578/task/3586/stat : 3586 (java) S 3576 3578 3532 0 -1 64 1872 0 0 0 95 0 0 0 16 0 13 0 101357811 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3578/tid=3587] ppid=3576 vsize=1711820 CPUtime=0.83 /proc/3578/task/3587/stat : 3587 (java) S 3576 3578 3532 0 -1 64 685 0 0 0 83 0 0 0 16 0 13 0 101357811 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3588] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3588/stat : 3588 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 101357811 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3589] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3589/stat : 3589 (java) S 3576 3578 3532 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 101357811 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3578/tid=3595] ppid=3576 vsize=1711820 CPUtime=0 /proc/3578/task/3595/stat : 3595 (java) S 3576 3578 3532 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 101392605 1752903680 153851 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (Kb) 1711820 Sending SIGTERM to -3578 Sleeping 2 seconds Child status: 143 Real time (s): 1784.58 CPU time (s): 1800.53 CPU user time (s): 1799.2 CPU system time (s): 1.3308 CPU usage (%): 100.894 Max. virtual memory (cumulated for all children) (Kb): 1712076
Begin job on node45 on Sun Jun 4 05:33:20 UTC 2006 FILE ID= 44264-1149399200 PBS_JOBID= 313908 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node45/44264-1149399200/instance-44264-1149399200.opb 934945052 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-44264-1149399200 -o ROOT/results/node45/solver-44264-1149399200 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node45/44264-1149399200/instance-44264-1149399200.opb 934945052 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= d431323968e1ca4dc95d181076d01437 RANDOM SEED= 934945052 /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.263 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.263 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: 1434528 kB Buffers: 30752 kB Cached: 511560 kB SwapCached: 260 kB Active: 50516 kB Inactive: 505752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1434528 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 176 kB Writeback: 0 kB Mapped: 23016 kB Slab: 51208 kB Committed_AS: 340604 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node45 on Sun Jun 4 06:03:05 UTC 2006