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