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