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