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