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