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