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