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