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