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