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-hipp-yRa1_simp_simp-test_chr21_CEU_75.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr21_CEU_75.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 12
o 27
o 26
o 25
o 24
o 23
o 22
o 21
o 20
o 19
o 18
o 17
o 16
o 15
o 14
c 1868 branches 26202 propagates
c total generalized unit propagation = 5599, success = 25.83%
s OPTIMUM FOUND
c Optimal Solution = 14
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 69 68 67 -66 70 71 -72 73 74 -75 76 -77 78 79 -80 81 -82 83 -84 -85 -86 87 -88 -89 90 96 95 94 93 92 -91 -97 98 99 -100 101 102 -103 104 105 106 -107 108 -109 -110 -111 114 113 -112 118 117 -116 -115 122 121 120 119 123 129 128 127 -126 125 124 -130 136 -135 134 133 -132 -131 -138 137 -139 149 148 147 146 -145 144 143 142 141 140 -152 151 150 -153 -154 166 165 164 -163 162 161 160 159 158 157 156 155 -167 168 169 -170 171 172 -173 174 -175 -176 -177 178 -179 -180 181 194 193 192 191 190 -189 188 187 186 185 184 183 182 -196 195 197 -198 199 -200 201 202 -203 204 -205 -206 -207 208 -209 -210 211 229 228 -227 226 225 224 223 222 221 220 219 218 217 216 215 214 213 212 232 231 -230 233 234 -235 236 -237 -238 -239 240 -241 248 247 246 -245 244 243 242 252 251 250 -249 253 254 -255 256 -257 258 -259 260 -261 262 -263 279 278 277 276 275 274 273 272 -271 270 269 268 267 266 265 264 -284 283 282 281 280 285 286 -287 -288 289 -290 291 -292 293 -294 295 -296 317 316 315 314 313 312 311 310 309 -308 307 306 305 304 303 302 301 300 299 298 297 321 320 -319 318 -322 323 -324 -325 326 327 328 -329 338 337 336 335 334 333 332 331 -330 -339 -340 345 344 343 342 -341 346 -347 348 349 -350 -351 352 -353 -354 -355 356 358 -357 363 -362 361 360 359 -364 -365 366 367 -368 -369 370 371 372 373 -374 378 377 376 -375 384 383 382 -381 380 379 -385 -386 387 388 -389 -390 -391 392 393 394 395 -396 403 402 401 400 399 398 -397 408 407 406 405 404 -409 -410 -411 -412 -413 414 -415 -416 -417 418 -419 420 421 422 -423 424 425 426 -427 -438 437 436 435 434 433 432 431 430 429 428 465 464 463 462 461 460 459 458 457 456 455 454 453 452 451 450 449 448 447 446 -445 444 443 442 441 440 439 -466 -467 -468 469 -470 -471 472 -473 -474 475 -476 477 478 479 -480 481 482 483 -484 494 493 492 491 490 -489 488 487 486 485 514 513 512 511 510 509 508 507 506 505 504 503 502 501 500 -499 498 497 496 495 -515 -516 -517 518 -519 -520 521 -522 -523 524 525 526 527 -528 529 530 531 -532 545 544 543 542 541 540 539 538 537 536 535 534 -533 574 573 572 571 570 569 568 567 566 565 564 563 562 561 560 559 558 557 556 555 554 553 552 551 550 -549 548 547 546 -575 -576 -577 578 -579 -580 581 -582 -583 -584 585 -586 587 588 589 -590 591 592 593 -594 608 607 606 605 604 603 602 601 -600 599 598 597 596 595 642 641 640 639 638 637 636 635 634 633 632 631 630 629 628 627 626 625 624 -623 622 621 620 619 618 617 616 615 614 613 612 611 610 609 -643 -644 -645 646 -647 648 -649 650 -651 -652 -653 654 -655 656 657 658 -659 660 661 662 -663 678 677 676 675 -674 673 672 671 670 669 668 667 666 665 664 693 692 691 690 689 688 687 686 685 684 683 682 -681 680 679 -694 -695 696 -697 698 -699 700 701 712 711 710 709 708 707 706 705 704 703 -702 728 727 726 725 724 723 722 721 720 719 718 717 716 715 714 -713 -729 -730 731 -732 733 -734 -735 736 737 751 750 749 748 747 746 745 744 743 742 741 740 739 -738 763 762 761 760 759 758 757 756 755 754 753 -752 775 774 773 772 771 770 769 768 767 766 765 -764 805 804 803 802 801 800 799 798 797 796 795 794 793 792 791 790 789 788 787 786 785 784 783 782 781 780 779 778 777 -776 828 827 826 825 824 823 822 821 820 819 818 817 816 815 814 813 812 811 810 809 808 807 -806 844 843 842 841 840 839 838 837 836 835 834 833 832 831 830 -829 866 865 864 863 862 861 860 859 858 857 856 855 854 853 852 851 850 849 848 847 846 -845 891 890 889 888 887 886 885 884 883 882 881 880 879 878 877 876 875 874 873 872 871 870 869 868 -867 919 918 917 916 915 914 913 912 911 910 909 908 907 906 905 904 903 902 901 900 899 898 897 896 895 894 893 -892 956 955 954 953 952 951 950 949 948 947 946 945 944 943 942 941 940 939 938 937 936 935 934 933 932 931 930 929 928 927 926 925 924 923 922 921 -920 977 976 975 974 973 972 971 970 969 968 967 966 965 964 963 962 961 960 959 958 -957 998 997 996 995 994 993 992 991 990 989 988 987 986 985 984 983 982 981 980 979 -978 1012 1011 1010 1009 1008 1007 1006 1005 1004 1003 1002 1001 1000 -999 1024 1023 1022 1021 1020 1019 1018 1017 1016 1015 1014 -1013 1036 1035 1034 1033 1032 1031 1030 1029 1028 1027 1026 -1025 1051 1050 1049 1048 1047 1046 1045 1044 1043 1042 1041 1040 1039 1038 -1037 1064 1063 1062 1061 1060 1059 1058 1057 1056 1055 1054 1053 -1052 1080 1079 1078 1077 1076 1075 1074 1073 1072 1071 1070 1069 1068 1067 1066 -1065 1094 1093 1092 1091 1090 1089 1088 1087 1086 1085 1084 1083 1082 -1081 1106 1105 1104 1103 1102 1101 1100 1099 1098 1097 1096 -1095 1120 1119 1118 1117 1116 1115 1114 1113 1112 1111 1110 1109 1108 -1107 1137 1136 1135 1134 1133 1132 1131 1130 1129 1128 1127 1126 1125 1124 1123 1122 -1121 1155 1154 1153 1152 1151 1150 1149 1148 1147 1146 1145 1144 1143 1142 1141 1140 1139 -1138 1171 1170 1169 1168 1167 1166 1165 1164 1163 1162 1161 1160 1159 1158 1157 -1156 1185 1184 1183 1182 1181 1180 1179 1178 1177 1176 1175 1174 1173 -1172 1197 1196 1195 1194 1193 1192 1191 1190 1189 1188 1187 -1186 1207 1206 1205 1204 1203 1202 1201 1200 1199 -1198 1215 1214 1213 1212 1211 1210 1209 -1208 1221 1220 1219 1218 1217 -1216 1225 1224 1223 -1222 1227 -1226
9.826u 0.020s 0:09.92 99.1%	0+0k 0+0io 0pf+0w