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