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