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