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