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