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