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