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