Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1295
o 1295
c 46 branches 217 propagates
c total generalized unit propagation = 310, success = 15.16%
s OPTIMUM FOUND
c Optimal Solution = 1295
v 4 74 147 143 -46 -37 -95 31 -41 58 63 48 -64 -55 -68 119 43 39 -29 66 82 112 22 -127 -40 110 102 -144 71 23 33 107 -52 38 -15 -78 -54 -87 120 114 108 -21 106 44 -59 -116 117 104 -7 149 -73 113 61 -89 -81 45 -8 132 -5 -20 121 115 57 146 -93 56 -47 131 -17 84 -140 -130 -83 -90 12 -134 65 67 14 -118 103 92 -150 -60 -3 -79 94 -86 -27 -50 99 18 -9 28 105 123 -30 -72 42 32 -25 91 -122 -16 -137 -96 -142 69 -34 11 145 -85 49 124 -141 88 24 10 129 6 100 -80 -53 -109 128 -126 135 70 -97 -77 -36 -133 101 148 13 75 139 35 -76 -125 -51 138 2 -19 -111 62 1 98 136 26
1.606u 0.005s 0:01.61 99.3%	0+0k 0+0io 0pf+0w