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