Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_industrial-_home_maxsat_benchmarks_pms_industrial_bcp-fir_normalized-fir04_area_opers.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-fir/normalized-fir04_area_opers.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 28
o 111
o 110
o 109
o 108
o 107
o 106
o 105
o 104
o 103
o 102
o 101
o 100
o 99
o 98
o 97
o 96
o 95
o 94
o 93
o 92
o 91
o 90
o 89
o 88
o 87
o 86
o 85
o 84
o 83
o 82
o 81
o 80
o 79
o 78
o 77
o 76
o 75
o 74
o 73
o 72
o 71
o 70
o 69
o 68
o 67
o 66
o 65
o 64
o 63
o 62
o 61
o 60
o 59
o 58
o 57
o 56
o 55
o 54
o 53
o 52
o 51
o 50
o 49
o 48
o 47
o 46
o 45
o 44
o 43
o 42
o 41
o 40
o 39
o 38
o 37
o 36
o 35
o 34
o 33
o 32
o 31
o 30
o 29
c 30293 branches 101827 propagates
c total generalized unit propagation = 59946, success = 13.36%
s OPTIMUM FOUND
c Optimal Solution = 29
v -83 -85 -87 -89 -91 -93 -95 -97 -99 -101 -103 -105 107 -109 -111 -113 -115 -117 -119 -121 -123 -124 -126 -128 -130 -132 -133 -135 -137 -139 -140 -142 -144 -146 -148 -150 -152 -154 -156 -158 -160 -162 -164 -166 -167 -169 -171 -173 -175 176 -178 -180 -182 -184 -186 -188 -190 -192 -194 -196 -197 -199 -201 -203 -205 -207 -209 -211 213 -215 -217 -219 -221 -223 -225 -227 -229 -230 -232 -234 -235 -237 -239 -241 -242 -244 -246 -248 -250 -252 -254 -256 -258 -260 -262 -264 -266 -268 -269 -271 -273 -275 -277 -279 -281 -282 -284 -286 -288 -290 -292 -294 -295 -297 -298 -300 -302 -303 -305 -306 -308 -310 -312 -314 -316 -318 -319 -321 -322 -324 -326 -327 -328 -330 -332 -334 -336 -338 -340 -342 -344 -346 -347 348 -350 -352 -354 -356 -357 -359 -361 -363 -365 -367 -369 -371 -372 -374 -376 -378 -379 -381 -383 -385 -386 -388 -390 -392 -394 -396 -398 -400 -402 -404 -406 -407 -409 -411 -412 -414 -416 -418 -420 -422 -424 -425 -427 -429 -431 -433 -434 -436 -438 -439 -441 -443 -444 -446 -448 -449 -451 -453 -455 -457 -459 -461 -463 -465 -467 468 -470 -472 -474 -476 -478 -480 -482 -484 -486 -488 -490 -492 -493 -495 -497 -499 -501 -503 -505 -507 -509 -511 -513 -515 -517 -519 -521 -523 -525 -527 -529 -531 -533 -535 -537 -538 -540 -542 -544 -546 -548 -550 -552 -554 -555 -557 -559 -561 -563 -565 -567 -569 -571 -572 -574 -576 -578 -580 -582 -584 -585 -587 -589 -591 -593 -595 -597 -599 -601 -603 -605 -607 -608 -610 -612 -614 -616 -617 -619 -621 -623 -624 -626 628 -629 -631 -633 -635 -637 -639 -641 -642 -644 -646 -648 -650 -652 -654 -656 -658 -659 -661 -663 -665 -667 -668 -669 -671 -673 -675 -676 -678 -680 -682 683 -685 -687 -689 -691 -693 -695 -697 -699 -701 -703 -705 -707 -709 -711 -713 -715 -717 -719 -721 -723 -724 -726 -728 -730 -732 -734 -735 -737 -739 -741 -743 -745 -747 -749 -750 -752 -753 -755 -757 -759 -761 -763 -765 -767 -769 -771 -773 -775 -776 -778 -780 -782 -784 -786 -788 -790 -792 -794 -796 -798 -800 -802 -804 -806 -808 -810 -812 -813 -814 -816 -818 -820 -822 -824 -826 -828 -830 -832 -833 -835 -837 -838 -839 -841 -843 -844 -846 -848 -849 -850 -851 -853 -855 -857 -858 -859 -861 -863 -865 -866 -868 -870 -872 -874 -876 -878 -880 -882 -884 -886 -887 -889 -891 -893 -894 -896 -898 -900 -902 -904 -905 -907 -908 -910 -912 -914 -916 -918 -920 -922 -924 926 -927 -929 -931 -933 -935 -937 -938 -940 -942 -944 -946 -948 -950 -952 -954 -956 -958 -960 -962 -964 -965 -967 -968 -970 -972 -974 -975 -976 -978 -980 -982 -984 -986 -988 -989 -991 -993 -995 -997 -999 -1001 -1003 -1005 -1007 -1009 -1011 -1013 -1014 -1016 -1018 -1020 -1021 -1023 -1025 -1027 -1029 -1030 -1032 -1033 -1034 -1036 -1037 -1039 -1041 -1042 -1044 -1046 -1048 -1050 -1052 -1054 -1055 -1056 -1058 -1059 -1061 -1062 -1064 -1066 -1068 -1069 -1070 -1071 -1072 -1074 -1076 -1078 -1080 -1082 -1084 -1085 -1087 1089 -1091 -1093 -1095 -1096 -1098 -1100 -1102 -1104 -1106 -1108 -1110 -1112 -1114 -1115 -1117 -1119 -1120 -1121 -1122 -1124 -1126 -1128 1130 -1132 -1134 -1136 -1138 -1140 -1142 -1143 -1145 -1147 -1149 -1150 -1151 -1152 -1153 -1155 -1157 -1159 -1160 -1161 -1162 -1164 -1165 -1166 -1168 1169 -1171 -1173 -1174 -1175 -1176 -1177 -1179 -1181 -1183 -1184 -1185 -1187 -1189 -1191 -1193 -1195 -1197 -1199 -1201 -1202 -1204 1206 -1207 -1208 -1210 -1212 -1214 -1216 -1218 -1220 -1222 -1224 -1225 -1227 -1228 -1230 -1231 -1233 -1235 -1237 -1238 -1240 -1242 -1244 -1246 -1248 -1250 -1251 -1252 -1254 -1256 -1257 -1259 -1261 -1262 -1264 -1266 -1267 -1268 -1270 -1272 -1274 -1276 -1277 -1278 -1280 -1281 -1283 -1284 -1286 -1287 -1288 -1290 -1292 -1294 -1296 -1298 -1300 -1302 -1304 -1306 -1307 -1309 -1311 -1313 -1314 -1315 -1317 -1319 -1321 -1322 -1323 -1325 -1327 -1329 -1331 -1333 1334 -1336 -1338 -1339 -1341 -1343 -1344 -1345 -1347 -1349 -1351 -1352 -1354 -1356 -1358 -1360 -1362 -1364 -1366 -1368 -1370 -1372 -1374 -1376 -1377 1379 -1381 -1383 -1384 -1386 -1388 -1390 -1392 -1394 1395 -1396 -1398 -1400 -1401 -1402 -1404 -1406 -1407 -1409 -1410 -1411 -1413 -1415 -1416 -1418 -1419 -1420 -1422 -1424 -1426 -1428 -1430 -1431 -1432 -1434 -1435 -1436 -1438 -1440 -1442 -1444 -1445 -1446 1448 -1449 -1451 -1452 -1454 -1456 -1457 -1458 -1459 -1461 -1462 -1464 -1465 -1467 -1468 -1470 -1471 -1472 -1473 -1475 -1477 -1478 -1480 -1481 -1483 -1485 -1487 -1488 1490 -1491 -1492 -1493 -1495 -1496 -1498 -1499 -1501 -1502 -1503 -1505 -1506 -1507 -1509 -1510 -1511 -1512 -1514 -1515 -1517 1519 -1520 -1521 -1522 -1524 1525 1526 -1527 -1529 -1531 -1533 -1534 -1535 -1536 -1538 -1540 -1541 -1542 -1544 -1546 -1548 1550 -1551 -1552 -1553 -1555 -1557 -1558 -1560 -1562 -1563 -1564 -1566 -1568 -1570 1572 -1573 -1575 -1576 -1577 1579 -1581 -1582 -1584 -1586 -1587 -1589 -1591 -1592 -1593 -1595 1597 -1598 -1599 -1600 -1601 -1603 -1604 -1605 -1606 -1607 1609 1610 1611 -1612 1613 1614 -82 -84 -86 -88 -90 -92 -94 -96 -98 -100 -102 -104 106 -108 -110 -112 -1 -114 -116 -118 -120 -122 -125 -2 -127 -129 -131 -134 -136 -138 -3 -141 -143 -4 -145 -147 -149 -151 -153 -155 -5 -157 -159 -161 -6 -163 -165 -7 -168 -170 -172 -174 -177 -179 -181 -183 -185 -187 -189 -191 -193 -195 -8 -198 -200 -202 -204 -206 -208 -210 212 -214 -216 -218 -220 -222 -224 -226 -228 -231 -233 -236 -238 -9 -240 -243 -245 -247 -249 -251 -10 -253 -255 -257 -259 -261 -263 -265 -11 -267 -270 -272 -274 -276 -278 -12 -280 -283 -13 -285 -287 -289 -291 -293 -296 -14 -299 -301 -15 -304 -307 -309 -311 -313 -16 -315 -317 -17 -320 -18 -323 -325 -19 -329 -331 -333 -335 -337 -339 -341 -343 -345 -349 -351 -353 -355 -358 -360 -362 -364 -366 -368 -370 -373 -375 -377 -380 -382 -384 -20 -387 -389 -391 -393 -395 -397 -399 -401 -403 -405 -408 -410 -21 -413 -415 -417 -419 -421 -423 -426 -428 -430 -432 -435 -437 -22 -440 -442 -445 -447 -450 -452 -454 -456 -458 -460 -462 -464 -466 -469 -471 -473 -475 -477 -479 -481 -483 -485 -487 -489 -491 -494 -496 -498 -500 -502 -504 -506 -508 -510 -23 -512 -514 -516 -518 -520 -522 -524 -526 -528 -530 -532 -534 -536 -539 -24 -541 -543 -545 -547 -549 -551 -553 -556 -558 -560 -562 -564 -566 -568 -25 -570 -573 -575 -577 -579 -581 -26 -583 -586 -588 -590 -592 -594 -596 -598 -600 -602 -604 -606 -609 -611 -613 -615 -618 -620 -622 -625 627 -630 -632 -634 -636 -27 -638 -640 -643 -645 -647 -649 -28 -651 -653 -655 -657 -660 -662 -29 -664 -666 -670 -672 -674 -30 -677 -679 -681 -684 -686 -688 -690 -692 -694 -696 -698 -700 -702 -704 -706 -708 -710 -712 -714 -716 -718 -720 -722 -725 -727 -729 -731 -733 -736 -738 -31 -740 -742 -744 -746 -748 -751 -754 -756 -758 -760 -762 -764 -766 -32 -768 -770 -772 -774 -777 -779 -781 -783 -785 -787 -789 -791 -793 -795 -33 -797 -799 -801 -803 -805 -807 -809 -34 -811 -815 -817 -819 -821 -823 -825 -827 -829 -831 -834 -836 -35 -840 -842 -845 -847 -36 -852 -854 -856 -37 -860 -862 -38 -864 -867 -869 -871 -873 -875 -877 -879 -881 -883 -885 -888 -890 -39 -892 -895 -897 -899 -901 -903 -906 -909 -911 -913 -915 -917 -919 -921 -923 925 -928 -930 -40 -932 -934 -936 -939 -941 -943 -41 -945 -947 -949 -951 -953 -955 -957 -42 -959 -961 -963 -43 -966 -969 -971 -973 -977 -979 -981 -983 -985 -987 -44 -990 -992 -994 -996 -998 -1000 -1002 -45 -1004 -1006 -1008 -1010 -1012 -1015 -46 -1017 -1019 -47 -1022 -1024 -1026 -1028 -1031 -48 -1035 -49 -1038 -1040 -50 -1043 -51 -1045 -1047 -1049 -1051 -1053 -1057 -1060 -1063 -1065 -1067 -52 -1073 -1075 -1077 -1079 -1081 -1083 -1086 1088 -1090 -1092 -1094 -1097 -1099 -1101 -1103 -1105 -1107 -1109 -1111 -1113 -1116 -1118 -1123 -1125 -1127 1129 -1131 -1133 -53 -1135 -1137 -1139 -1141 -1144 -1146 -54 -1148 -1154 -1156 -55 -1158 -1163 -1167 -1170 -1172 -1178 -1180 -1182 -1186 -1188 -1190 -1192 -1194 -1196 -1198 -1200 -1203 1205 -1209 -1211 -1213 -1215 -1217 -1219 -1221 -1223 -56 -1226 -1229 -1232 -1234 -1236 -1239 -1241 -1243 -1245 -1247 -57 -1249 -1253 -1255 -1258 -1260 -1263 -1265 -1269 -1271 -58 -1273 -1275 -1279 -1282 -59 -1285 -1289 -1291 -1293 -1295 -1297 -1299 -1301 -1303 -1305 -1308 -60 -1310 -1312 -1316 -1318 -61 -1320 -1324 -1326 -1328 -1330 -1332 -1335 -62 -1337 -1340 -1342 -1346 -1348 -1350 -1353 -1355 -1357 -1359 -1361 -63 -1363 -1365 -1367 -1369 -1371 -1373 -1375 1378 -1380 -1382 -1385 -1387 -64 -1389 -1391 -1393 -1397 -1399 -65 -1403 -1405 -66 -1408 -67 -1412 -68 -1414 -1417 -1421 -1423 -1425 -1427 -1429 -1433 -69 -1437 -1439 -1441 -1443 1447 -1450 -1453 -1455 -70 -1460 -71 -1463 -1466 -1469 -1474 -1476 -1479 -1482 -1484 -1486 1489 -1494 -72 -1497 -1500 -1504 -73 -1508 -74 -1513 -1516 1518 -1523 -75 -1528 -1530 -1532 -1537 -1539 -1543 -1545 -1547 1549 -1554 -1556 -76 -1559 -1561 -1565 -1567 -1569 1571 -1574 1578 -1580 -1583 -1585 -77 -1588 -78 -1590 -79 -1594 1596 -1602 -80 1608 81
664.070u 0.053s 11:08.34 99.3%	0+0k 0+0io 0pf+0w