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