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