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