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