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