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