Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | -5 | 1800.78 | 1784.57 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb |
MD5SUM | 00fd5397600f602b7512f4fbf6ea5edc |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -5 |
Best CPU time to get the best result obtained on this benchmark | 1800.78 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -15 |
Optimality of the best value was proved | NO |
Number of variables | 1951 |
Total number of constraints | 5581 |
Number of constraints which are clauses | 5580 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1860 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 618970019642690137449562112 |
Number of bits of the biggest number in a constraint | 90 |
Biggest sum of numbers in a constraint | 2475880078237913026827969150 |
Number of bits of the biggest sum of numbers | 91 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.32 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.32 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.33 c no version file found!!! 0.33 c sun.arch.data.model 32 0.33 c java.version 1.5.0_06 0.33 c os.name Linux 0.33 c os.version 2.6.9-22.EL.rootsmp 0.33 c os.arch i386 0.33 c Free memory 1548419056 0.33 c Max memory 1551040512 0.33 c Total memory 1551040512 0.33 c Number of processors 2 0.38 c Cutting planes based inference 0.38 c --- Begin Solver configuration --- 0.38 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.38 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.38 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.38 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.38 c VSIDS like heuristics from MiniSAT using a heap 0.38 c No reason simplification 0.38 c --- End Solver configuration --- 0.38 c solving ROOT/tmp/node44/50741-1154119675/instance-50741-1154119675.opb 0.38 c reading problem ... 1.26 c ... done. Time 0.875 ms. 1.26 c #vars 1951 1.26 c #constraints 5582 69.21 c SATISFIABLE 69.21 c OPTIMIZING... 69.21 c Got one! Ellapsed CPU time (in seconds):68.823 69.22 o -5 1784.35 c starts : 7 1784.35 c conflicts : 1115 1784.35 c decisions : 3684 1784.35 c propagations : 79351 1784.35 c inspects : 5836231 1784.35 c learnt literals : 0 1784.35 c learnt binary clauses : 0 1784.35 c learnt ternary clauses : 0 1784.35 c learnt clauses : 1114 1784.35 c root simplifications : 0 1784.35 c removed literals (reason simplification) : 0 1784.35 c reason swapping (by a shorter reason) : 0 1784.35 c Calls to reduceDB : 0 1784.35 c speed (decisions/second) : 2.147940886148055 1784.35 c non guided choices 4 1784.35 s SATISFIABLE 1784.38 v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1784.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 x55 -x56 x57 1784.38 v -x58 -x59 x60 x61 -x62 x63 -x64 x65 x66 -x67 x68 -x69 -x70 x71 -x72 x73 -x74 -x75 x76 x77 -x78 x79 -x80 x81 x82 -x83 -x84 -x85 x86 1784.38 v -x87 -x88 x89 -x90 -x91 x92 -x93 -x94 x95 x96 -x97 -x98 -x99 -x100 x101 -x102 x103 x104 x105 x106 x107 -x108 -x109 -x110 x111 1784.38 v x112 -x113 -x114 x115 -x116 x117 -x118 -x119 x120 x121 -x122 x123 -x124 x125 x126 -x127 x128 -x129 -x130 x131 -x132 x133 -x134 1784.38 v -x135 x136 x137 -x138 x139 -x140 x141 x142 -x143 -x144 -x145 x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 1784.38 v -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1784.38 v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 1784.38 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 1784.38 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1784.38 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 1784.38 v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 1784.38 v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 1784.38 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 1784.38 v -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 1784.38 v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 1784.38 v -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 1784.38 v -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1784.38 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 1784.38 v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1784.38 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 1784.38 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 1784.38 v -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 1784.38 v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 1784.38 v -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 1784.38 v -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 1784.38 v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 1784.38 v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 1784.38 v -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 1784.38 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1784.38 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 1784.38 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 1784.38 v -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 1784.38 v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 1784.38 v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 1784.38 v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 1784.38 v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 1784.38 v -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 1784.38 v -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 1784.38 v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 1784.38 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 1784.38 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 1784.38 v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 1784.38 v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1784.38 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 1784.38 v -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 1784.38 v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 1784.38 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 1784.38 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1784.38 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 1784.38 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1784.38 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1784.38 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1784.38 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1784.38 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1784.38 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1784.38 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1784.38 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1784.38 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1784.38 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1784.38 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 1784.38 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1784.38 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1784.38 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1784.38 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 1784.38 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 1784.38 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1784.38 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1784.38 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1784.38 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1784.38 v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 x1415 x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 x1423 1784.38 v x1424 x1425 x1426 x1427 -x1428 -x1429 -x1430 x1431 x1432 -x1433 -x1434 x1435 -x1436 x1437 -x1438 -x1439 x1440 x1441 -x1442 1784.38 v x1443 -x1444 x1445 x1446 -x1447 x1448 -x1449 -x1450 x1451 -x1452 x1453 -x1454 -x1455 x1456 x1457 -x1458 x1459 -x1460 x1461 1784.38 v x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 1784.38 v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 1784.38 v -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 1784.38 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 1784.38 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 1784.38 v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 1784.38 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 1784.38 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1784.38 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1784.38 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1784.38 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1784.38 v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 1784.38 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 1784.38 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 1784.38 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 1784.38 v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 1784.38 v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 1784.38 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 1784.38 v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1784.38 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 1784.38 v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 1784.38 v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1784.38 v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 1784.38 v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 1784.38 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 1784.38 v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 1784.38 v -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 1784.38 v -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 1784.38 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1784.38 c objective function=-5 1784.38 c Total wall clock time (ms): 1784.003
OK -5
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node44/watcher-50741-1154119675 -o ROOT/results/node44/solver-50741-1154119675 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node44/50741-1154119675/instance-50741-1154119675.opb 507626110 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 6306 /proc/meminfo: memFree=1437008/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1816 CPUtime=0 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 158838427 1859584 147 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/6306/statm: 446 146 111 14 0 91 0 [startup+10.0028 s] /proc/loadavg: 1.01 1.00 1.00 2/76 6318 /proc/meminfo: memFree=1269680/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1713928 CPUtime=11.29 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 48417 0 1 0 1108 21 0 0 25 0 13 0 158838427 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071505870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428482 43562 1906 14 0 415229 0 [pid=6306/tid=6307] ppid=6304 vsize=1713928 CPUtime=0.06 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 1840 0 0 0 6 0 0 0 16 0 13 0 158838448 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1713928 CPUtime=0.07 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 1692 0 0 0 7 0 0 0 17 0 13 0 158838448 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1713928 CPUtime=0 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 158838450 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1713928 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1713928 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1713928 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1713928 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 15 0 13 0 158838454 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1713928 CPUtime=1.02 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3170 0 0 0 101 1 0 0 16 0 13 0 158838454 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1713928 CPUtime=0.88 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 1764 0 0 0 88 0 0 0 17 0 13 0 158838454 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1713928 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1713928 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6318] ppid=6304 vsize=1713928 CPUtime=0 /proc/6306/task/6318/stat : 6318 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158838554 1755062272 43562 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.29 Current children cumulated vsize (Kb) 1713928 [startup+20.0098 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6318 /proc/meminfo: memFree=1280688/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1714524 CPUtime=21.39 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 50428 0 1 0 2116 23 0 0 25 0 13 0 158838427 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071505634 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428631 40807 1906 14 0 415378 0 [pid=6306/tid=6307] ppid=6304 vsize=1714524 CPUtime=0.11 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 2785 0 0 0 10 1 0 0 16 0 13 0 158838448 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1714524 CPUtime=0.1 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 2484 0 0 0 10 0 0 0 16 0 13 0 158838448 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 32 0 0 0 0 0 0 0 17 0 13 0 158838450 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1714524 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 15 0 13 0 158838454 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1714524 CPUtime=1.05 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3180 0 0 0 104 1 0 0 17 0 13 0 158838454 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1714524 CPUtime=0.95 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 2005 0 0 0 94 1 0 0 16 0 13 0 158838454 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6318] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6318/stat : 6318 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158838554 1755672576 40807 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.39 Current children cumulated vsize (Kb) 1714524 [startup+30.0178 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6318 /proc/meminfo: memFree=1288816/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1714524 CPUtime=31.45 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 51673 0 1 0 3120 25 0 0 19 0 13 0 158838427 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071447985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428631 38786 1908 14 0 415378 0 [pid=6306/tid=6307] ppid=6304 vsize=1714524 CPUtime=0.16 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 3347 0 0 0 15 1 0 0 16 0 13 0 158838448 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1714524 CPUtime=0.15 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 3142 0 0 0 14 1 0 0 15 0 13 0 158838448 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1714524 CPUtime=0.02 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 32 0 0 0 1 1 0 0 15 0 13 0 158838450 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1714524 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 15 0 13 0 158838454 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1714524 CPUtime=1.06 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3182 0 0 0 105 1 0 0 17 0 13 0 158838454 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1714524 CPUtime=0.95 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 2005 0 0 0 94 1 0 0 16 0 13 0 158838454 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6318] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6318/stat : 6318 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158838554 1755672576 38786 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.45 Current children cumulated vsize (Kb) 1714524 [startup+40.0249 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6318 /proc/meminfo: memFree=1294192/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1714524 CPUtime=41.49 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 52942 0 1 0 4123 26 0 0 25 0 13 0 158838427 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071537986 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428631 37440 1908 14 0 415378 0 [pid=6306/tid=6307] ppid=6304 vsize=1714524 CPUtime=0.21 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 3976 0 0 0 19 2 0 0 16 0 13 0 158838448 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1714524 CPUtime=0.2 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 3755 0 0 0 19 1 0 0 15 0 13 0 158838448 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1714524 CPUtime=0.03 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 32 0 0 0 1 2 0 0 17 0 13 0 158838450 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1714524 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 15 0 13 0 158838454 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1714524 CPUtime=1.06 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3182 0 0 0 105 1 0 0 17 0 13 0 158838454 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1714524 CPUtime=0.95 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 2005 0 0 0 94 1 0 0 16 0 13 0 158838454 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6318] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6318/stat : 6318 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 158838554 1755672576 37440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.49 Current children cumulated vsize (Kb) 1714524 [startup+50.0319 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6318 /proc/meminfo: memFree=1299888/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1714524 CPUtime=51.51 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 53804 0 1 0 5124 27 0 0 25 0 13 0 158838427 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071505450 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428631 36019 1908 14 0 415378 0 [pid=6306/tid=6307] ppid=6304 vsize=1714524 CPUtime=0.24 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 4288 0 0 0 22 2 0 0 15 0 13 0 158838448 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1714524 CPUtime=0.23 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 4271 0 0 0 22 1 0 0 16 0 13 0 158838448 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1714524 CPUtime=0.03 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 33 0 0 0 1 2 0 0 17 0 13 0 158838450 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1714524 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 15 0 13 0 158838454 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1714524 CPUtime=1.06 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3182 0 0 0 105 1 0 0 17 0 13 0 158838454 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1714524 CPUtime=0.95 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 2005 0 0 0 94 1 0 0 16 0 13 0 158838454 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6318] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6318/stat : 6318 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 158838554 1755672576 36019 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.51 Current children cumulated vsize (Kb) 1714524 [startup+60.0389 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6318 /proc/meminfo: memFree=1302000/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1714524 CPUtime=61.54 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 54987 0 1 0 6126 28 0 0 21 0 13 0 158838427 1755672576 35486 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071447822 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428631 35486 1908 14 0 415378 0 [pid=6306/tid=6307] ppid=6304 vsize=1714524 CPUtime=0.28 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 4877 0 0 0 25 3 0 0 16 0 13 0 158838448 1755672576 35486 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1714524 CPUtime=0.26 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 4835 0 0 0 25 1 0 0 16 0 13 0 158838448 1755672576 35486 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1714524 CPUtime=0.04 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 33 0 0 0 2 2 0 0 16 0 13 0 158838450 1755672576 35486 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 35486 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 35486 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 ################ # More data... # ################ /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1714524 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1714524 CPUtime=1.12 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3189 0 0 0 111 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1714524 CPUtime=0.99 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 2011 0 0 0 98 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6319] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6319/stat : 6319 (java) S 6304 6306 6257 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158845349 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (Kb) 1714524 [startup+1781.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6517 /proc/meminfo: memFree=425072/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1714524 CPUtime=1797.48 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 425570 0 1 0 179504 244 0 0 25 0 13 0 158838427 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071459639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428631 254095 1909 14 0 415378 0 [pid=6306/tid=6307] ppid=6304 vsize=1714524 CPUtime=15.93 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 151614 0 0 0 1521 72 0 0 16 0 13 0 158838448 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1714524 CPUtime=15.99 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 155815 0 0 0 1524 75 0 0 16 0 13 0 158838448 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1714524 CPUtime=0.67 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 361 0 0 0 36 31 0 0 16 0 13 0 158838450 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1714524 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1714524 CPUtime=1.12 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3189 0 0 0 111 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1714524 CPUtime=0.99 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 2011 0 0 0 98 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6319] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6319/stat : 6319 (java) S 6304 6306 6257 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158845349 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 1714524 [startup+1782.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6517 /proc/meminfo: memFree=425072/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1714524 CPUtime=1798.48 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 425570 0 1 0 179604 244 0 0 25 0 13 0 158838427 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071459631 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428631 254095 1909 14 0 415378 0 [pid=6306/tid=6307] ppid=6304 vsize=1714524 CPUtime=15.93 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 151614 0 0 0 1521 72 0 0 16 0 13 0 158838448 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1714524 CPUtime=15.99 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 155815 0 0 0 1524 75 0 0 16 0 13 0 158838448 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1714524 CPUtime=0.67 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 361 0 0 0 36 31 0 0 16 0 13 0 158838450 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1714524 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1714524 CPUtime=1.12 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3189 0 0 0 111 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1714524 CPUtime=0.99 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 2011 0 0 0 98 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6319] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6319/stat : 6319 (java) S 6304 6306 6257 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158845349 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 1714524 [startup+1783.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6517 /proc/meminfo: memFree=425072/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1714524 CPUtime=1799.49 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 425570 0 1 0 179705 244 0 0 25 0 13 0 158838427 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071682592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428631 254095 1909 14 0 415378 0 [pid=6306/tid=6307] ppid=6304 vsize=1714524 CPUtime=15.93 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 151614 0 0 0 1521 72 0 0 16 0 13 0 158838448 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1714524 CPUtime=15.99 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 155815 0 0 0 1524 75 0 0 16 0 13 0 158838448 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1714524 CPUtime=0.67 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 361 0 0 0 36 31 0 0 16 0 13 0 158838450 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1714524 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1714524 CPUtime=1.12 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3189 0 0 0 111 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1714524 CPUtime=0.99 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 2011 0 0 0 98 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6319] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6319/stat : 6319 (java) S 6304 6306 6257 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158845349 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 1714524 [startup+1784.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6517 /proc/meminfo: memFree=425072/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1714524 CPUtime=1800.49 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 425570 0 1 0 179805 244 0 0 25 0 13 0 158838427 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071505653 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428631 254095 1909 14 0 415378 0 [pid=6306/tid=6307] ppid=6304 vsize=1714524 CPUtime=15.93 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 151614 0 0 0 1521 72 0 0 16 0 13 0 158838448 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1714524 CPUtime=15.99 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 155815 0 0 0 1524 75 0 0 16 0 13 0 158838448 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1714524 CPUtime=0.67 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 361 0 0 0 36 31 0 0 16 0 13 0 158838450 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1714524 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1714524 CPUtime=1.12 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3189 0 0 0 111 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1714524 CPUtime=0.99 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 2011 0 0 0 98 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6319] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6319/stat : 6319 (java) S 6304 6306 6257 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158845349 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.49 Current children cumulated vsize (Kb) 1714524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 6517 /proc/meminfo: memFree=425072/2055920 swapFree=4183124/4192956 [pid=6306] ppid=6304 vsize=1714524 CPUtime=1800.5 /proc/6306/stat : 6306 (java) R 6304 6306 6257 0 -1 0 425570 0 1 0 179806 244 0 0 25 0 13 0 158838427 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071459778 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6306/statm: 428631 254095 1909 14 0 415378 0 [pid=6306/tid=6307] ppid=6304 vsize=1714524 CPUtime=15.93 /proc/6306/task/6307/stat : 6307 (java) S 6304 6306 6257 0 -1 64 151614 0 0 0 1521 72 0 0 16 0 13 0 158838448 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6308] ppid=6304 vsize=1714524 CPUtime=15.99 /proc/6306/task/6308/stat : 6308 (java) S 6304 6306 6257 0 -1 64 155815 0 0 0 1524 75 0 0 16 0 13 0 158838448 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6309] ppid=6304 vsize=1714524 CPUtime=0.67 /proc/6306/task/6309/stat : 6309 (java) S 6304 6306 6257 0 -1 64 361 0 0 0 36 31 0 0 16 0 13 0 158838450 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6310] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6310/stat : 6310 (java) S 6304 6306 6257 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6311] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6311/stat : 6311 (java) S 6304 6306 6257 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158838451 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6312] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6312/stat : 6312 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6313] ppid=6304 vsize=1714524 CPUtime=0.01 /proc/6306/task/6313/stat : 6313 (java) S 6304 6306 6257 0 -1 64 4 0 0 0 1 0 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6314] ppid=6304 vsize=1714524 CPUtime=1.12 /proc/6306/task/6314/stat : 6314 (java) S 6304 6306 6257 0 -1 64 3189 0 0 0 111 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6315] ppid=6304 vsize=1714524 CPUtime=0.99 /proc/6306/task/6315/stat : 6315 (java) S 6304 6306 6257 0 -1 64 2011 0 0 0 98 1 0 0 16 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6306/tid=6316] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6316/stat : 6316 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6317] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6317/stat : 6317 (java) S 6304 6306 6257 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158838454 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6306/tid=6319] ppid=6304 vsize=1714524 CPUtime=0 /proc/6306/task/6319/stat : 6319 (java) S 6304 6306 6257 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 158845349 1755672576 254095 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 1714524 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1784.57 CPU time (s): 1800.78 CPU user time (s): 1798.18 CPU system time (s): 2.6006 CPU usage (%): 100.908 Max. virtual memory (cumulated for all children) (Kb): 1714524 The end
Begin job on node44 on Fri Jul 28 20:47:55 UTC 2006 FILE ID= 50741-1154119675 PBS_JOBID= 886900 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=60-sizeP=31-sizeQ=60-784051325-max.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node44/50741-1154119675/instance-50741-1154119675.opb 507626110 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-50741-1154119675 -o ROOT/results/node44/solver-50741-1154119675 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node44/50741-1154119675/instance-50741-1154119675.opb 507626110 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 00fd5397600f602b7512f4fbf6ea5edc RANDOM SEED= 507626110 TIMEOUT= 1800 seconds /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.238 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.238 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: 1437280 kB Buffers: 35104 kB Cached: 504904 kB SwapCached: 3516 kB Active: 70568 kB Inactive: 477884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1437280 kB SwapTotal: 4192956 kB SwapFree: 4183124 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14476 kB Slab: 56240 kB Committed_AS: 695212 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Fri Jul 28 21:17:40 UTC 2006