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