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