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