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