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