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