Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-akmaxsat_ls-ms_random-_home_maxsat_benchmarks_ms_random_max2sat_140v_s2v140c1300-6.cnf Job file: /home/maxsat/benchmarks/ms_random/max2sat/140v/s2v140c1300-6.cnf Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls c initialized bestCost to 168 o 168 c first lower bound: 120 c 42469 branches 12299 propagates c total generalized unit propagation = 97238, success = 43.68% s OPTIMUM FOUND c Optimal Solution = 168 v -22 41 -36 131 -44 -26 8 -124 63 -34 37 -57 -122 129 96 -137 119 14 125 -29 -105 112 46 90 80 -7 -139 -50 -121 6 2 120 54 39 -103 16 -61 31 130 -101 128 11 91 -55 93 108 99 -5 114 -42 10 140 -110 32 86 -20 -82 40 132 81 76 126 -116 18 -66 67 85 -118 -107 48 -97 106 -133 77 -13 -71 73 -27 -30 136 -102 -33 64 95 -23 -3 -92 59 -87 -83 70 -47 89 75 -1 49 -56 -52 72 62 38 -111 74 -127 100 84 25 -19 115 51 43 -138 -9 -69 -65 -53 88 21 58 60 -135 117 -78 -79 123 -17 -68 109 -134 45 4 104 15 12 113 28 98 24 35 -94 63.341u 0.008s 1:03.75 99.3% 0+0k 0+0io 0pf+0w