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