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