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