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