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