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