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