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