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