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