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