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