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