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