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