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