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