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