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