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