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