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