Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | -6855 | 1800.56 | 1768.75 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb |
MD5SUM | bae2de9f4879fca72b44ba1c72e8b4a3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -7863 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7952 |
Optimality of the best value was proved | NO |
Number of variables | 2993 |
Total number of constraints | 112 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 73 |
Number of constraints which are nor clauses,nor cardinality constraints | 39 |
Minimum length of a constraint | 41 |
Maximum length of a constraint | 73 |
Number of terms in the objective function | 2993 |
Biggest coefficient in the objective function | 2020 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 525822 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 96167 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 525822 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node65/44034-1149356164/instance-44034-1149356164.opb 0.20 c reading problem ... 0.72 c ... done. Time 0.52 ms. 0.72 c #vars 2993 0.72 c #constraints 185 1.00 c SATISFIABLE 1.00 c OPTIMIZING... 1.00 c Got one! Ellapsed CPU time (in seconds):0.794 1.14 o -5690 1.34 c Got one! Ellapsed CPU time (in seconds):1.135 1.34 o -5723 1.51 c Got one! Ellapsed CPU time (in seconds):1.312 1.52 o -5765 1.67 c Got one! Ellapsed CPU time (in seconds):1.472 1.68 o -5774 2.42 c Got one! Ellapsed CPU time (in seconds):2.215 2.42 o -5795 2.56 c Got one! Ellapsed CPU time (in seconds):2.359 2.57 o -5810 2.76 c Got one! Ellapsed CPU time (in seconds):2.562 2.77 o -5993 19.70 c Got one! Ellapsed CPU time (in seconds):19.503 19.71 o -6159 31.17 c Got one! Ellapsed CPU time (in seconds):30.968 31.18 o -6161 44.17 c Got one! Ellapsed CPU time (in seconds):43.973 44.18 o -6191 66.73 c Got one! Ellapsed CPU time (in seconds):66.533 66.74 o -6240 95.66 c Got one! Ellapsed CPU time (in seconds):95.457 95.67 o -6292 136.24 c Got one! Ellapsed CPU time (in seconds):136.039 136.25 o -6497 175.63 c Got one! Ellapsed CPU time (in seconds):175.432 175.64 o -6500 238.09 c Got one! Ellapsed CPU time (in seconds):237.885 238.09 o -6501 328.74 c Got one! Ellapsed CPU time (in seconds):328.542 328.75 o -6520 351.98 c Got one! Ellapsed CPU time (in seconds):351.777 351.99 o -6623 488.11 c Got one! Ellapsed CPU time (in seconds):487.912 488.12 o -6634 708.53 c Got one! Ellapsed CPU time (in seconds):708.331 708.54 o -6833 1360.57 c Got one! Ellapsed CPU time (in seconds):1360.369 1360.58 o -6840 1528.29 c Got one! Ellapsed CPU time (in seconds):1528.085 1528.29 o -6855 1768.38 c starts : 52 1768.38 c conflicts : 5387 1768.38 c decisions : 43030 1768.38 c propagations : 219430 1768.38 c inspects : 33352090 1768.38 c learnt literals : 0 1768.38 c learnt binary clauses : 0 1768.38 c learnt ternary clauses : 0 1768.38 c learnt clauses : 5386 1768.38 c root simplifications : 0 1768.38 c removed literals (reason simplification) : 0 1768.38 c reason swapping (by a shorter reason) : 0 1768.38 c Calls to reduceDB : 0 1768.38 c speed (decisions/second) : 179.2364021093496 1768.38 c non guided choices 17561 1768.38 s SATISFIABLE 1768.46 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 1768.46 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 1768.46 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 1768.46 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 -x105 1768.46 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1768.46 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1768.46 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 1768.46 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1768.46 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1768.46 v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1768.46 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1768.46 v -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 1768.46 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1768.46 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 1768.46 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1768.46 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1768.46 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1768.46 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 x398 -x399 1768.46 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1768.46 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1768.46 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1768.46 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1768.46 v -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1768.46 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1768.46 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1768.46 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1768.46 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 1768.46 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1768.46 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 1768.46 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1768.46 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1768.46 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1768.46 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 1768.46 v -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1768.46 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1768.46 v -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1768.46 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1768.46 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1768.46 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1768.46 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1768.46 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1768.46 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1768.46 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1768.46 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 x944 -x945 1768.46 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1768.46 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1768.46 v -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1768.46 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1768.46 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 1768.46 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1768.46 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1768.46 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1768.46 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 1768.46 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1768.46 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1768.46 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1768.46 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 1768.46 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1768.46 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1768.46 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1768.46 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1768.46 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 1768.46 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1768.46 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1768.46 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1768.46 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1768.46 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1768.46 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1768.46 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 1768.46 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 1768.46 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1768.46 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1768.46 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1768.46 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1768.46 v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1768.46 v x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 1768.46 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1768.46 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 1768.46 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1768.46 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1768.46 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1768.46 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 1768.46 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1768.46 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 1768.46 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1768.46 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 1768.46 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 1768.46 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1768.46 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 1768.46 v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1768.46 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 1768.46 v -x1758 -x1759 x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1768.46 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1768.46 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 1768.46 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1768.46 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1768.46 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1768.46 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1768.46 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1768.46 v -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1768.46 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1768.46 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 1768.46 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1768.46 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1768.46 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 1768.46 v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 1768.46 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1768.46 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1768.46 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1768.46 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1768.46 v -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1768.46 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1768.46 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 1768.46 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1768.46 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1768.46 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1768.46 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1768.46 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1768.46 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1768.46 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1768.46 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1768.46 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1768.46 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 1768.46 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1768.46 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1768.46 v -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1768.46 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1768.46 v -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1768.46 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1768.46 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1768.46 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 -x2439 1768.46 v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 1768.46 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 1768.46 v -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1768.46 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1768.46 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2524 1768.46 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 1768.46 v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1768.46 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 1768.46 v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 1768.46 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1768.46 v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1768.46 v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 1768.46 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2659 -x2660 1768.46 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 1768.46 v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 1768.46 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 1768.46 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 1768.46 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1768.46 v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 1768.46 v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 1768.46 v -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 1768.46 v -x2797 -x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1768.46 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 1768.46 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1768.46 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 1768.46 v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 1768.46 v -x2883 -x2884 -x2885 x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1768.46 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1768.46 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 1768.46 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 1768.46 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 1768.46 v -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 x2977 -x2978 -x2979 x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1768.46 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 1768.47 c objective function=-6855 1768.47 c Total wall clock time (ms): 1768.271
OK -6855
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/node65/watcher-44034-1149356164 -o ROOT/results/node65/solver-44034-1149356164 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node65/44034-1149356164/instance-44034-1149356164.opb 418274853 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 7788 /proc/meminfo: memFree=1767976/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=220 CPUtime=0 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 208 0 0 0 0 0 0 0 18 0 1 0 201285725 225280 31 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 5686180 0 0 4096 0 0 0 0 17 0 0 0 /proc/7788/statm: 73 35 27 14 0 5 0 [startup+10.0023 s] /proc/loadavg: 1.00 1.00 1.00 2/76 7807 /proc/meminfo: memFree=1582288/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=11.64 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 51999 0 1 0 1141 23 0 0 23 0 13 0 201285725 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/7788/statm: 428921 48286 1910 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.26 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 5919 0 0 0 23 3 0 0 16 0 13 0 201285728 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.26 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 4590 0 0 0 24 2 0 0 16 0 13 0 201285728 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 201285731 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 98 1 0 0 17 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.92 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2586 0 0 0 92 0 0 0 16 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7807] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7807/stat : 7807 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 201286004 1756860416 48286 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.64 Current children cumulated vsize (Kb) 1715684 [startup+20.0089 s] /proc/loadavg: 1.00 1.00 1.00 2/76 7808 /proc/meminfo: memFree=1565704/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=21.77 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 56603 0 1 0 2152 25 0 0 25 0 13 0 201285725 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071518224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7788/statm: 428921 52444 1910 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.38 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 8454 0 0 0 34 4 0 0 16 0 13 0 201285728 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.38 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 6648 0 0 0 35 3 0 0 17 0 13 0 201285728 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 201285731 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 98 1 0 0 17 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.92 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2586 0 0 0 92 0 0 0 16 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7808] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7808/stat : 7808 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201287698 1756860416 52444 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.77 Current children cumulated vsize (Kb) 1715684 [startup+30.0164 s] /proc/loadavg: 1.00 1.00 1.00 2/76 7808 /proc/meminfo: memFree=1545480/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=31.91 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 62129 0 1 0 3163 28 0 0 25 0 13 0 201285725 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071541129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7788/statm: 428921 57488 1910 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.51 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 10993 0 0 0 46 5 0 0 16 0 13 0 201285728 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.51 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 9423 0 0 0 47 4 0 0 16 0 13 0 201285728 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 201285731 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 98 1 0 0 16 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.92 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2586 0 0 0 92 0 0 0 17 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7808] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7808/stat : 7808 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201287698 1756860416 57488 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.91 Current children cumulated vsize (Kb) 1715684 [startup+40.024 s] /proc/loadavg: 1.00 1.00 1.00 2/76 7809 /proc/meminfo: memFree=1522944/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=42.07 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 68553 0 1 0 4176 31 0 0 25 0 13 0 201285725 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071426285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7788/statm: 428921 63107 1910 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.67 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 13730 0 0 0 61 6 0 0 16 0 13 0 201285728 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.68 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 13102 0 0 0 62 6 0 0 16 0 13 0 201285728 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 27 0 0 0 0 0 0 0 15 0 13 0 201285731 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 98 1 0 0 16 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.92 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2586 0 0 0 92 0 0 0 16 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7809] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7809/stat : 7809 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201288845 1756860416 63107 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.07 Current children cumulated vsize (Kb) 1715684 [startup+50.0317 s] /proc/loadavg: 1.00 1.00 1.00 2/76 7810 /proc/meminfo: memFree=1508152/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=52.2 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 72751 0 1 0 5187 33 0 0 25 0 13 0 201285725 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7788/statm: 428921 66805 1910 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.8 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 15849 0 0 0 73 7 0 0 16 0 13 0 201285728 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.8 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 15172 0 0 0 73 7 0 0 16 0 13 0 201285728 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 201285731 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 98 1 0 0 16 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.92 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2586 0 0 0 92 0 0 0 16 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7810] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7810/stat : 7810 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 201290145 1756860416 66805 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.2 Current children cumulated vsize (Kb) 1715684 [startup+60.0394 s] /proc/loadavg: 1.00 1.00 1.00 2/76 7810 /proc/meminfo: memFree=1495992/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=62.29 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 76308 0 1 0 6195 34 0 0 19 0 13 0 201285725 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7788/statm: 428921 69834 1910 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=0.89 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 17482 0 0 0 81 8 0 0 17 0 13 0 201285728 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=0.9 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 17088 0 0 0 83 7 0 0 16 0 13 0 201285728 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 27 0 0 0 1 0 0 0 15 0 13 0 201285731 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 69834 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (Kb) 1715684 [startup+1765.36 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8016 /proc/meminfo: memFree=212192/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=1797.02 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 470523 0 1 0 179458 244 0 0 25 0 13 0 201285725 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7788/statm: 428921 389786 1912 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=31.33 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 214772 0 0 0 3032 101 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=31.32 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 204913 0 0 0 3033 99 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=4.51 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 63 0 0 0 439 12 0 0 15 0 13 0 201285731 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.02 Current children cumulated vsize (Kb) 1715684 [startup+1766.36 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8016 /proc/meminfo: memFree=212128/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=1798.03 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 470523 0 1 0 179559 244 0 0 25 0 13 0 201285725 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071518224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7788/statm: 428921 389786 1912 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=31.33 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 214772 0 0 0 3032 101 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=31.32 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 204913 0 0 0 3033 99 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=4.51 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 63 0 0 0 439 12 0 0 16 0 13 0 201285731 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (Kb) 1715684 [startup+1767.37 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8016 /proc/meminfo: memFree=212128/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=1799.03 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 470523 0 1 0 179659 244 0 0 25 0 13 0 201285725 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071511082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7788/statm: 428921 389786 1912 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=31.33 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 214772 0 0 0 3032 101 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=31.32 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 204913 0 0 0 3033 99 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=4.51 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 63 0 0 0 439 12 0 0 16 0 13 0 201285731 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.03 Current children cumulated vsize (Kb) 1715684 [startup+1768.37 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8016 /proc/meminfo: memFree=212128/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=1800.09 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 470524 0 1 0 179765 244 0 0 25 0 13 0 201285725 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7788/statm: 428921 389786 1912 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=31.38 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 214772 0 0 0 3037 101 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=31.37 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 204913 0 0 0 3038 99 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=4.51 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 63 0 0 0 439 12 0 0 15 0 13 0 201285731 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (Kb) 1715684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1768.38 s] /proc/loadavg: 1.00 1.00 1.00 2/76 8016 /proc/meminfo: memFree=212128/2055920 swapFree=4181844/4192956 [pid=7788] ppid=7786 vsize=1715684 CPUtime=1800.09 /proc/7788/stat : 7788 (java) R 7786 7788 7742 0 -1 0 470524 0 1 0 179765 244 0 0 25 0 13 0 201285725 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071426295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7788/statm: 428921 389786 1912 14 0 415668 0 [pid=7788/tid=7789] ppid=7786 vsize=1715684 CPUtime=31.38 /proc/7788/task/7789/stat : 7789 (java) S 7786 7788 7742 0 -1 64 214772 0 0 0 3037 101 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7790] ppid=7786 vsize=1715684 CPUtime=31.37 /proc/7788/task/7790/stat : 7790 (java) S 7786 7788 7742 0 -1 64 204913 0 0 0 3038 99 0 0 16 0 13 0 201285728 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7791] ppid=7786 vsize=1715684 CPUtime=4.51 /proc/7788/task/7791/stat : 7791 (java) S 7786 7788 7742 0 -1 64 63 0 0 0 439 12 0 0 15 0 13 0 201285731 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7792] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7792/stat : 7792 (java) S 7786 7788 7742 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7793] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7793/stat : 7793 (java) S 7786 7788 7742 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 201285732 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7794] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7794/stat : 7794 (java) S 7786 7788 7742 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7795] ppid=7786 vsize=1715684 CPUtime=0.01 /proc/7788/task/7795/stat : 7795 (java) S 7786 7788 7742 0 -1 64 15 0 0 0 1 0 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7788/tid=7796] ppid=7786 vsize=1715684 CPUtime=1 /proc/7788/task/7796/stat : 7796 (java) S 7786 7788 7742 0 -1 64 2294 0 0 0 99 1 0 0 17 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7797] ppid=7786 vsize=1715684 CPUtime=0.99 /proc/7788/task/7797/stat : 7797 (java) S 7786 7788 7742 0 -1 64 2596 0 0 0 99 0 0 0 16 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7798] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7798/stat : 7798 (java) S 7786 7788 7742 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=7799] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/7799/stat : 7799 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 201285735 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7788/tid=8016] ppid=7786 vsize=1715684 CPUtime=0 /proc/7788/task/8016/stat : 8016 (java) S 7786 7788 7742 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 201438556 1756860416 389786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (Kb) 1715684 Sending SIGTERM to -7788 Sleeping 2 seconds Child status: 143 Real time (s): 1768.75 CPU time (s): 1800.56 CPU user time (s): 1797.87 CPU system time (s): 2.68159 CPU usage (%): 101.798 Max. virtual memory (cumulated for all children) (Kb): 1715684
Begin job on node65 on Sat Jun 3 17:36:04 UTC 2006 FILE ID= 44034-1149356164 PBS_JOBID= 311262 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node65/44034-1149356164/instance-44034-1149356164.opb 418274853 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-44034-1149356164 -o ROOT/results/node65/solver-44034-1149356164 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node65/44034-1149356164/instance-44034-1149356164.opb 418274853 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= bae2de9f4879fca72b44ba1c72e8b4a3 RANDOM SEED= 418274853 /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.283 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.283 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: 1768376 kB Buffers: 19188 kB Cached: 204816 kB SwapCached: 2776 kB Active: 53240 kB Inactive: 179452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1768376 kB SwapTotal: 4192956 kB SwapFree: 4181844 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14748 kB Slab: 40836 kB Committed_AS: 346192 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node65 on Sat Jun 3 18:05:33 UTC 2006