Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_hi_file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 875
o 875
c first lower bound: 687
c 741 branches 4542 propagates
c total generalized unit propagation = 1513, success = 49.04%
s OPTIMUM FOUND
c Optimal Solution = 875
v -109 36 103 -100 -59 -28 11 131 98 8 58 88 65 68 79 -112 -9 -147 111 -125 -140 3 1 14 -16 -139 73 130 56 -40 91 48 -64 -38 63 -124 -22 138 37 -34 23 -101 -84 15 -75 87 -49 96 -118 133 -17 -132 105 60 31 81 115 -95 85 10 70 -93 78 -20 -129 -143 50 -107 -120 80 44 -55 -141 89 -116 -66 -52 41 -92 45 114 -123 62 -47 -144 -18 -128 150 43 76 -145 -137 51 -35 -142 -53 25 69 108 102 110 -61 -106 7 90 -6 67 97 -127 54 42 13 -57 134 -39 119 121 72 27 -135 30 -33 122 -99 148 -32 -94 -126 -71 19 77 -2 -12 149 -26 -21 -146 83 104 -5 -29 4 -24 113 -46 74 -86 136 117 82
3.787u 0.007s 0:03.83 98.6%	0+0k 0+0io 0pf+0w