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_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 884
o 882
o 877
o 875
o 870
o 862
o 860
o 857
o 853
o 851
o 848
o 846
o 845
o 844
o 842
o 835
o 833
o 830
o 828
o 821
o 819
o 818
o 816
o 813
o 805
o 802
o 801
o 799
o 792
o 790
o 789
o 782
o 780
o 775
o 773
o 769
o 765
o 760
o 757
o 750
o 739
o 734
o 723
c 258 branches 1881 propagates
c total generalized unit propagation = 2298, success = 6.92%
s OPTIMUM FOUND
c Optimal Solution = 723
v 105 -40 -17 24 -137 -37 -2 -82 -36 150 -134 132 -22 49 8 -27 28 131 80 51 -67 144 -75 -61 10 -60 141 85 -106 19 39 -45 -11 -66 44 91 -138 -48 73 142 7 -90 -86 96 104 26 147 13 118 -20 -139 -12 -120 34 6 -109 145 -112 -133 50 54 9 -32 -102 38 89 -5 72 -56 95 -35 119 55 114 -70 -125 127 79 30 -100 -71 69 4 42 52 130 88 -41 117 -14 -111 121 76 -140 -135 94 136 62 15 122 -92 -46 -29 -110 -87 -74 -126 33 -129 -43 65 124 47 -3 -99 -16 -107 -68 -148 103 58 -83 81 -113 25 123 -149 108 -59 -101 -63 -128 -78 -98 -23 64 -116 31 143 -53 -77 -57 21 -146 -1 84 93 115 -97 18
0.885u 0.001s 0:00.89 98.8%	0+0k 0+0io 0pf+0w