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