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