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