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