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