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