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