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