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