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