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