Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1000_H150_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 935
o 934
o 933
o 932
o 931
o 929
o 927
o 926
o 925
o 924
o 921
o 919
o 918
o 917
o 915
o 914
o 913
o 910
o 909
o 907
o 906
o 900
o 898
o 897
o 891
o 890
o 887
o 885
o 884
o 882
o 878
o 876
o 875
o 874
o 870
o 868
o 867
o 866
o 865
o 864
o 858
o 857
o 856
o 855
o 850
o 849
o 848
o 847
o 846
o 842
o 837
o 833
o 828
o 825
o 822
o 817
o 812
o 807
o 798
o 787
o 784
o 782
o 775
o 770
o 767
o 766
o 762
o 749
o 745
c 339 branches 2135 propagates
c total generalized unit propagation = 2612, success = 5.28%
s OPTIMUM FOUND
c Optimal Solution = 745
v 113 147 88 50 -16 -142 -81 -93 -56 80 -96 74 -31 117 -69 -20 -146 -66 -87 -84 -79 -49 -129 -48 -76 -144 18 119 106 37 67 -101 -3 2 103 122 99 -140 -8 121 109 65 22 -26 32 27 -135 -42 71 53 7 116 86 -15 -94 -134 125 115 -149 -126 -5 -40 44 -137 91 97 -136 -14 -54 6 -17 131 33 -51 36 34 -39 78 92 98 -85 120 89 -68 -104 62 23 -24 -102 -143 59 -12 -58 -57 148 -83 -28 141 64 -132 -45 25 -128 10 -123 -107 38 -29 41 -4 -35 13 61 -60 -55 -52 145 -21 -1 -11 -63 150 -95 9 -127 -111 -73 30 -82 -105 118 -112 -46 -110 -70 43 133 -139 -75 -108 -138 124 -19 114 47 -72 100 90 -130 -77
1.358u 0.000s 0:01.38 97.8%	0+0k 0+0io 0pf+0w