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