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