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