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