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