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