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