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