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