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