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