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