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