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