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