Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-skc 0.8.0 | SAT (TO) | 372 | 1800.61 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb |
MD5SUM | 2821538067d8c071dc9bd4a000c6d040 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 340 |
Best CPU time to get the best result obtained on this benchmark | 1782.81 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 340 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 2500 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 2500 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c 0.00 c wildcat-skc (VERSION 0.8.0-lite-skc-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:27:47 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node84/33140-1149400663/instance-33140-1149400663.opb 845078833 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 845078833 0.00 c Noise: 0.1 (10 : 100) 0.94 c Starting searching: 0.94 c Phase 1 ... 159.06 c trying 2500: xxvc 159.06 o 398 1135.51 c trying 264: xxxxxxxxxxc 1135.51 c Phase 2 ... 1296.25 c trying 397: vc 1296.25 o 392 1375.49 c trying 391: vc 1375.49 o 380 1546.97 c trying 379: vc 1546.97 o 372 1801.14 c trying 371: xc 1801.14 c Phase 3 ... 1801.14 c trying 371 again: c 1801.14 s SATISFIABLE 1801.14 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 -x29 1801.14 v -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 1801.14 v -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 x81 -x82 1801.14 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 1801.14 v -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 1801.14 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 1801.14 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1801.14 v x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 1801.14 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1801.14 v x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1801.14 v -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1801.14 v -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 1801.14 v -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 x293 -x294 -x295 1801.14 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 1801.14 v -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 1801.14 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 1801.14 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 1801.14 v -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 1801.14 v -x401 -x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1801.14 v -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1801.14 v -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1801.14 v -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 1801.14 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 1801.14 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1801.14 v -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 1801.14 v -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 1801.14 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 1801.14 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 1801.14 v -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 1801.14 v -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1801.14 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 1801.14 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 1801.14 v -x695 -x696 -x697 -x698 -x699 x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1801.14 v -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 1801.14 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 1801.14 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 1801.14 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1801.14 v -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 1801.14 v -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1801.14 v -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1801.14 v -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 x883 1801.14 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 1801.14 v -x905 x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 1801.14 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 1801.14 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 1801.14 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 1801.14 v -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1801.14 v -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 1801.14 v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1801.14 v -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 1801.14 v x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 1801.14 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 1801.14 v -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 1801.14 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 1801.14 v -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 1801.14 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 1801.14 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1801.14 v -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 1801.14 v -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1801.14 v -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 1801.14 v -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 1801.14 v -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 1801.14 v -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 1801.14 v -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 1801.14 v x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 1801.14 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 1801.14 v -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 1801.14 v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 1801.14 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 1801.14 v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1801.14 v x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1801.14 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1801.14 v -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 1801.14 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1801.14 v x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 x1501 -x1502 -x1503 1801.14 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1801.14 v -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 1801.14 v -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 1801.14 v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 1801.14 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 1801.14 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 1801.14 v -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 1801.14 v -x1628 -x1629 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 1801.14 v -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 1801.14 v -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 1801.14 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 -x1698 1801.14 v -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 1801.14 v x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 1801.14 v x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 1801.14 v -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 1801.14 v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 1801.14 v -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 x1801 x1802 x1803 x1804 1801.14 v x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 x1819 -x1820 -x1821 -x1822 1801.14 v -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1801.14 v -x1840 -x1841 -x1842 -x1843 x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 1801.14 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1801.14 v -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 x1891 -x1892 1801.14 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 x1902 -x1903 x1904 x1905 x1906 x1907 -x1908 -x1909 x1910 -x1911 1801.14 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 1801.14 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 1801.14 v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1801.14 v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 1801.14 v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 x2000 1801.14 v -x2001 x2002 x2003 x2004 -x2005 -x2006 x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 1801.14 v x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1801.14 v -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 1801.14 v -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 1801.14 v x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1801.14 v x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 x2100 -x2101 -x2102 x2103 x2104 x2105 x2106 -x2107 -x2108 -x2109 1801.14 v x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1801.14 v -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1801.14 v x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 1801.14 v -x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1801.14 v x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 x2199 1801.14 v x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1801.14 v -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 1801.14 v -x2236 -x2237 -x2238 -x2239 x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 1801.14 v -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1801.14 v -x2272 x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 1801.14 v -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 x2299 x2300 x2301 x2302 x2303 -x2304 -x2305 -x2306 -x2307 1801.14 v -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 1801.14 v -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 1801.14 v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 1801.14 v -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 1801.14 v -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 x2396 1801.14 v -x2397 x2398 x2399 -x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414 1801.14 v -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 1801.14 v -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 1801.14 v -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 1801.14 v -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 1801.14 v -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 x2495 x2496 -x2497 x2498 -x2499 x2500 x2501 x2502 -x2503 -x2504 1801.14 v -x2505 -x2506 -x2507 x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 1801.14 v -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1801.14 v -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1801.14 v -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1801.14 v -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 x2593 -x2594 1801.14 v x2595 x2596 -x2597 x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 1801.14 v -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 1801.14 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 1801.14 v -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 1801.14 v -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 1801.14 v -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 x2692 -x2693 x2694 x2695 x2696 -x2697 x2698 x2699 -x2700 1801.14 c Total Number of Positive Atoms : 329 1801.14 c 1801.14 c During searching: 1546.03 seconds elapsed. 1801.14 c CPU time spent: 1545.71 seconds. 1801.14 c 1801.14 c =================================== END ===================================== 1801.14 c
OK 372
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/node84/watcher-33140-1149400663 -o ROOT/results/node84/solver-33140-1149400663 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node84/33140-1149400663/instance-33140-1149400663.opb 845078833 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 3/67 1312 /proc/meminfo: memFree=1842528/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=1076 CPUtime=0 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 51 0 0 0 0 0 0 0 19 0 1 0 205705642 1101824 37 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134636566 0 0 4096 0 0 0 0 17 1 0 0 /proc/1312/statm: 269 51 44 226 0 40 0 [startup+10.0032 s] /proc/loadavg: 0.93 0.95 0.97 2/67 1312 /proc/meminfo: memFree=1503840/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=9.99 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 963 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 350328 [startup+20.0082 s] /proc/loadavg: 0.94 0.96 0.97 2/67 1312 /proc/meminfo: memFree=1503968/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=20 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 1964 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 350328 [startup+30.0133 s] /proc/loadavg: 0.95 0.96 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=29.99 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 2963 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134599100 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 350328 [startup+40.0194 s] /proc/loadavg: 0.95 0.96 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=40 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 3964 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 350328 [startup+50.0255 s] /proc/loadavg: 0.96 0.96 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=50 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 4964 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 350328 [startup+60.0315 s] /proc/loadavg: 0.97 0.96 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=60 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 5964 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 350328 [startup+70.0376 s] /proc/loadavg: 0.97 0.96 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=70.01 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 6965 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 350328 [startup+80.0427 s] /proc/loadavg: 0.98 0.96 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=80.01 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 7965 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 350328 [startup+90.0477 s] /proc/loadavg: 0.98 0.96 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=90.01 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 8965 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 350328 [startup+100.054 s] /proc/loadavg: 0.98 0.96 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=100.01 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 9965 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 350328 [startup+110.06 s] /proc/loadavg: 0.98 0.96 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=110.02 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84625 0 0 0 10966 36 0 0 25 0 1 0 205705642 358735872 84602 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84602 115 226 0 87353 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 350328 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=120.02 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 11966 36 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 350328 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=130.02 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 12966 36 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 350328 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=140.03 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 13967 36 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 350328 [startup+150.082 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=150.03 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 14967 36 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 350328 [startup+160.088 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=160.03 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 15967 36 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 350328 [startup+170.094 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1312 /proc/meminfo: memFree=1504096/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=170.04 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 16968 36 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 350328 [startup+180.1 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=180.04 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 17968 36 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 350328 [startup+190.106 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1312 /proc/meminfo: memFree=1504032/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=190.04 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 18968 36 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 350328 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.97 2/73 1335 /proc/meminfo: memFree=1502832/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=200.02 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 19965 37 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 350328 [startup+210.118 s] /proc/loadavg: 0.99 0.97 0.97 2/73 1411 /proc/meminfo: memFree=1502640/2055892 swapFree=4085292/4096564 ################ # More data... # ################ [pid=1312] ppid=1310 vsize=350328 CPUtime=1781.45 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 178105 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 350328 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1782.46 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 178206 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 350328 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1783.46 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 178306 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134543856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 350328 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1784.47 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 178407 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 350328 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1785.47 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 178507 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 350328 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1786.48 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 178608 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 350328 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1787.48 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 178708 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 350328 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1788.49 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 178809 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 350328 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1789.49 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 178909 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134565719 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 350328 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1790.49 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 179009 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 350328 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1791.5 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 179110 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134550116 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 350328 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1792.5 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 179210 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 350328 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1793.51 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 179311 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 350328 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1794.51 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 179411 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134543906 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 350328 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1795.52 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 179512 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 350328 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1796.52 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 179612 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 350328 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1797.53 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 179713 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 350328 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1798.53 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 179813 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 350328 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1799.53 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 179913 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 350328 [startup+1801.13 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1800.54 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 180014 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 350328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.97 2/67 1507 /proc/meminfo: memFree=1503456/2055892 swapFree=4085292/4096564 [pid=1312] ppid=1310 vsize=350328 CPUtime=1800.54 /proc/1312/stat : 1312 (wildcat-skc) R 1310 1312 1266 0 -1 4194304 84627 0 0 0 180014 40 0 0 25 0 1 0 205705642 358735872 84604 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1312/statm: 87582 84604 117 226 0 87353 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 350328 Sending SIGTERM to -1312 Sleeping 2 seconds Child status: 0 Real time (s): 1801.2 CPU time (s): 1800.61 CPU user time (s): 1800.15 CPU system time (s): 0.45993 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (Kb): 350328
Begin job on node84 on Sun Jun 4 05:57:43 UTC 2006 FILE ID= 33140-1149400663 PBS_JOBID= 314004 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node84/33140-1149400663/instance-33140-1149400663.opb 845078833 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node84/watcher-33140-1149400663 -o ROOT/results/node84/solver-33140-1149400663 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node84/33140-1149400663/instance-33140-1149400663.opb 845078833 MD5SUM SOLVER= e3d27fcb27e96c4c5fdaee74465b047d MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040 RANDOM SEED= 845078833 /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.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.15 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.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1842672 kB Buffers: 14864 kB Cached: 133908 kB SwapCached: 2324 kB Active: 29088 kB Inactive: 128256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1842672 kB SwapTotal: 4096564 kB SwapFree: 4085292 kB Dirty: 176 kB Writeback: 0 kB Mapped: 16424 kB Slab: 42476 kB Committed_AS: 432496 kB PageTables: 1272 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node84 on Sun Jun 4 06:27:45 UTC 2006