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