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