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