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