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