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