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