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