Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 37 | 1782.75 | 1783.32 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bw.b.opb |
MD5SUM | acd1698068c8e97cbd0c7cd62fe047fc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 2847 |
Total number of constraints | 4902 |
Number of constraints which are clauses | 4902 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 860 |
Number of terms in the objective function | 2847 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2847 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2847 |
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 Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 1.10 c starting to Solve 1.10 c #variables read: 2847 - #constraints read: 4903 1.11 o 49 1.15 o 44 1.32 o 43 1.34 o 42 20.74 o 40 21.11 o 39 1602.86 o 38 1640.77 o 37 1783.30 c total time : 1783 s 1783.30 s SATISFIABLE 1783.30 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 1783.30 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 -x56 1783.30 v -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 1783.30 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 1783.30 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1783.30 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1783.30 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1783.30 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1783.30 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1783.30 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1783.30 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1783.30 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1783.30 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1783.30 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1783.30 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1783.30 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1783.30 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1783.30 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1783.30 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1783.30 v -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1783.30 v -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1783.30 v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1783.30 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1783.30 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1783.30 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1783.30 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1783.30 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1783.30 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1783.30 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1783.30 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1783.30 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 1783.30 v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1783.30 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1783.30 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1783.30 v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1783.30 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 1783.30 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1783.30 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1783.30 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1783.30 v -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1783.30 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1783.30 v -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 1783.30 v -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 1783.30 v -x926 -x927 -x928 x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1783.30 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1783.30 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1783.30 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1783.30 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1783.30 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1783.30 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1783.30 v -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1783.30 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1783.30 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1783.30 v -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1783.30 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1783.30 v -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1783.30 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1783.30 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1783.30 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1783.30 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1783.30 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 1783.30 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1783.30 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1783.30 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1783.30 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1783.30 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1783.30 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1783.30 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1783.30 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1783.30 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1783.30 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1783.30 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1783.30 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1783.30 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1783.30 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 1783.30 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1783.30 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1783.30 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1783.30 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1783.30 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1783.30 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1783.30 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1783.30 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1783.30 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1783.30 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1783.30 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1783.30 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1783.30 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1783.30 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1783.30 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1783.30 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1783.30 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1783.30 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1783.30 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1783.30 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 1783.30 v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1783.30 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 1783.30 v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 1783.30 v -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1783.30 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1783.30 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1783.30 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1783.30 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1783.30 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1783.30 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1783.30 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1783.30 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1783.30 v -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1783.30 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1783.30 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1783.30 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1783.30 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1783.30 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1783.30 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1783.30 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1783.30 v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1783.30 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1783.30 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 1783.30 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1783.30 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1783.30 v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 1783.30 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1783.30 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 1783.30 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 1783.30 v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 1783.30 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 1783.30 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1783.30 v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1783.30 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1783.30 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1783.30 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1783.30 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 1783.30 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1783.30 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1783.30 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1783.30 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1783.30 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1783.30 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 1783.30 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1783.30 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 1783.30 v -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 1783.30 v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 1783.30 v -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1783.30 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1783.30 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 1783.30 v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 1783.30 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 1783.30 v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 1783.30 v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 1783.30 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 1783.30 v -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 -x2776 1783.30 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 1783.30 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1783.30 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1783.30 v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 x2842 -x2843 -x2844 1783.30 v -x2845 x2846 -x2847
OK 37
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node87/watcher-49927-1149893898 -o ROOT/results/node87/solver-49927-1149893898 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node87/49927-1149893898/instance-49927-1149893898.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/67 21389 /proc/meminfo: memFree=1681512/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=18548 CPUtime=0 /proc/21389/stat : 21389 (runsolver) R 21387 21389 21343 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 255028903 18993152 278 18446744073709551615 4194304 4264532 548682069056 18446744073709551615 230047675415 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/21389/statm: 4637 278 242 17 0 2626 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.95 0.90 2/67 21389 /proc/meminfo: memFree=1673984/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=9980 CPUtime=9.99 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 2115 0 0 0 985 14 0 0 25 0 1 0 255028903 10219520 2087 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 2495 2087 205 16 0 1935 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9980 [startup+20.0088 s] /proc/loadavg: 0.94 0.96 0.91 2/67 21389 /proc/meminfo: memFree=1669120/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=14908 CPUtime=19.99 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 3348 0 0 0 1970 29 0 0 25 0 1 0 255028903 15265792 3320 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 3727 3320 205 16 0 3167 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 14908 [startup+30.015 s] /proc/loadavg: 0.95 0.96 0.91 2/67 21389 /proc/meminfo: memFree=1666304/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=17764 CPUtime=29.99 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 4072 0 0 0 2964 35 0 0 25 0 1 0 255028903 18190336 4041 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 4441 4041 205 16 0 3881 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 17764 [startup+40.0202 s] /proc/loadavg: 0.95 0.96 0.91 2/67 21389 /proc/meminfo: memFree=1666304/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=17760 CPUtime=40 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 4072 0 0 0 3957 43 0 0 25 0 1 0 255028903 18186240 4040 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 4440 4040 205 16 0 3880 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 17760 [startup+50.0263 s] /proc/loadavg: 0.96 0.96 0.91 2/67 21389 /proc/meminfo: memFree=1666304/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=17736 CPUtime=50 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 4072 0 0 0 4944 56 0 0 25 0 1 0 255028903 18161664 4034 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 4434 4034 205 16 0 3874 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 17736 [startup+60.0325 s] /proc/loadavg: 0.97 0.96 0.91 2/67 21389 /proc/meminfo: memFree=1663168/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=20912 CPUtime=60 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 4866 0 0 0 5941 59 0 0 25 0 1 0 255028903 21413888 4828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5228 4828 205 16 0 4668 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 20912 [startup+70.0387 s] /proc/loadavg: 0.97 0.96 0.91 2/67 21389 /proc/meminfo: memFree=1663168/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=20856 CPUtime=70.01 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 4866 0 0 0 6933 68 0 0 25 0 1 0 255028903 21356544 4815 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5214 4815 205 16 0 4654 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 20856 [startup+80.0448 s] /proc/loadavg: 0.98 0.96 0.91 2/67 21389 /proc/meminfo: memFree=1663168/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=20856 CPUtime=80.01 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 4867 0 0 0 7926 75 0 0 25 0 1 0 255028903 21356544 4816 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5214 4816 205 16 0 4654 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 20856 [startup+90.051 s] /proc/loadavg: 0.98 0.96 0.91 2/67 21389 /proc/meminfo: memFree=1663168/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=20856 CPUtime=90.02 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 4867 0 0 0 8917 85 0 0 25 0 1 0 255028903 21356544 4816 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5214 4816 205 16 0 4654 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 20856 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.91 2/67 21389 /proc/meminfo: memFree=1662336/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=21800 CPUtime=100.02 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 5091 0 0 0 9909 93 0 0 25 0 1 0 255028903 22323200 5040 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5450 5040 205 16 0 4890 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 21800 [startup+110.061 s] /proc/loadavg: 0.98 0.96 0.91 2/67 21389 /proc/meminfo: memFree=1662336/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=21800 CPUtime=110.02 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 5091 0 0 0 10901 101 0 0 25 0 1 0 255028903 22323200 5040 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528725 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5450 5040 205 16 0 4890 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 21800 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21389 /proc/meminfo: memFree=1662336/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=21800 CPUtime=120.03 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 5092 0 0 0 11887 116 0 0 25 0 1 0 255028903 22323200 5041 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528832 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5450 5041 205 16 0 4890 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 21800 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21389 /proc/meminfo: memFree=1662336/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=21800 CPUtime=130.03 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 5092 0 0 0 12879 124 0 0 25 0 1 0 255028903 22323200 5041 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5450 5041 205 16 0 4890 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 21800 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21389 /proc/meminfo: memFree=1662336/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=21800 CPUtime=140.03 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 5092 0 0 0 13871 132 0 0 25 0 1 0 255028903 22323200 5041 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5450 5041 205 16 0 4890 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 21800 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21389 /proc/meminfo: memFree=1662336/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=21800 CPUtime=150.04 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 5092 0 0 0 14866 138 0 0 25 0 1 0 255028903 22323200 5041 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5450 5041 205 16 0 4890 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 21800 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21389 /proc/meminfo: memFree=1662272/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=21920 CPUtime=160.04 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 5106 0 0 0 15860 144 0 0 25 0 1 0 255028903 22446080 5055 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5480 5055 205 16 0 4920 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 21920 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/73 21452 /proc/meminfo: memFree=1660928/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=21904 CPUtime=170.01 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 5106 0 0 0 16850 151 0 0 25 0 1 0 255028903 22429696 5055 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557642 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5476 5055 205 16 0 4916 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 21904 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/73 21510 /proc/meminfo: memFree=1660856/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=21884 CPUtime=179.98 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 5106 0 0 0 17841 157 0 0 25 0 1 0 255028903 22409216 5055 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5471 5055 205 16 0 4911 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 21884 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1661552/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=22228 CPUtime=189.97 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 5191 0 0 0 18836 161 0 0 25 0 1 0 255028903 22761472 5140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 5557 5140 205 16 0 4997 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 22228 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1656128/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=27792 CPUtime=199.97 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 6578 0 0 0 19833 164 0 0 25 0 1 0 255028903 28459008 6527 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 6948 6527 205 16 0 6388 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 27792 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 ################ # More data... # ################ Current children cumulated CPU time (s) 1590.43 Current children cumulated vsize (Kb) 83752 [startup+1600.95 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1600.43 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 158942 1101 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559545 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1600.43 Current children cumulated vsize (Kb) 83752 [startup+1610.96 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1610.43 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 159934 1109 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1610.43 Current children cumulated vsize (Kb) 83752 [startup+1620.97 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1620.44 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 160926 1118 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1620.44 Current children cumulated vsize (Kb) 83752 [startup+1630.97 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1630.44 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 161921 1123 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1630.44 Current children cumulated vsize (Kb) 83752 [startup+1640.98 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1640.45 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 162916 1129 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1640.45 Current children cumulated vsize (Kb) 83752 [startup+1650.98 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1650.44 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 163912 1132 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1650.44 Current children cumulated vsize (Kb) 83752 [startup+1660.99 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1660.45 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 164904 1141 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528850 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1660.45 Current children cumulated vsize (Kb) 83752 [startup+1671 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1670.46 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 165894 1152 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1670.46 Current children cumulated vsize (Kb) 83752 [startup+1681 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1680.46 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 166886 1160 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1680.46 Current children cumulated vsize (Kb) 83752 [startup+1691.01 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1690.46 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 167876 1170 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1690.46 Current children cumulated vsize (Kb) 83752 [startup+1701.01 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1700.46 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 168864 1182 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1700.46 Current children cumulated vsize (Kb) 83752 [startup+1711.02 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1710.47 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 169855 1192 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1710.47 Current children cumulated vsize (Kb) 83752 [startup+1721.03 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1720.47 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 170843 1204 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528777 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1720.47 Current children cumulated vsize (Kb) 83752 [startup+1731.03 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1730.48 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 171833 1215 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1730.48 Current children cumulated vsize (Kb) 83752 [startup+1741.04 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1740.48 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 172825 1223 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1740.48 Current children cumulated vsize (Kb) 83752 [startup+1751.04 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1750.49 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 173819 1230 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1750.49 Current children cumulated vsize (Kb) 83752 [startup+1761.05 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599872/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1760.48 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 174811 1237 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 83752 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599808/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1770.49 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 175806 1243 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1770.49 Current children cumulated vsize (Kb) 83752 [startup+1781.06 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599808/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1780.5 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 176800 1250 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1780.5 Current children cumulated vsize (Kb) 83752 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599808/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1781.5 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 176899 1251 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 83752 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/67 21584 /proc/meminfo: memFree=1599808/2055888 swapFree=4085404/4096564 [pid=21389] ppid=21387 vsize=83752 CPUtime=1782.5 /proc/21389/stat : 21389 (Pueblo) R 21387 21389 21343 0 -1 4194304 20721 0 0 0 176998 1252 0 0 25 0 1 0 255028903 85762048 20532 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21389/statm: 20938 20532 205 16 0 20378 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 83752 Child status: 10 Real time (s): 1783.32 CPU time (s): 1782.75 CPU user time (s): 1770.21 CPU system time (s): 12.5401 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (Kb): 84392 The end
Begin job on node87 on Fri Jun 9 22:58:18 UTC 2006 FILE ID= 49927-1149893898 PBS_JOBID= 385055 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node87/49927-1149893898/instance-49927-1149893898.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-49927-1149893898 -o ROOT/results/node87/solver-49927-1149893898 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node87/49927-1149893898/instance-49927-1149893898.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc RANDOM SEED= 743880177 /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.234 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.17 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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1681720 kB Buffers: 35504 kB Cached: 267360 kB SwapCached: 2388 kB Active: 98784 kB Inactive: 212808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1681720 kB SwapTotal: 4096564 kB SwapFree: 4085404 kB Dirty: 164 kB Writeback: 0 kB Mapped: 16832 kB Slab: 49192 kB Committed_AS: 562156 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Fri Jun 9 23:28:01 UTC 2006