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