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