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