Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_120v_s2v120c1400_8.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1025
o 1025
c first lower bound: 815
c 4951 branches 169 propagates
c total generalized unit propagation = 10072, success = 49.17%
s OPTIMUM FOUND
c Optimal Solution = 1025
v -120 -116 118 115 111 -113 -108 -107 -117 106 105 104 112 -103 -101 -100 -99 -98 -97 96 -95 94 114 93 -102 92 91 -89 -88 110 -87 -109 119 -86 85 84 90 83 -82 -81 -80 79 78 77 -76 -75 74 -73 72 -71 -70 -69 68 -67 -66 -65 -64 63 -62 61 -60 -59 -58 57 56 55 54 53 52 -51 50 49 48 47 -46 -45 -44 -43 -42 -41 40 -39 -38 -37 -36 -35 34 -33 -32 -31 -30 29 -28 -27 -26 25 -24 23 -22 21 20 -19 18 -17 16 -15 14 13 12 -11 -10 -9 8 7 6 5 -4 -3 2 -1
40.794u 0.009s 0:41.10 99.2%	0+0k 0+0io 0pf+0w