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