Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_120v_s2v120c1400_6.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 786
o 1033
o 1025
o 1024
o 1017
o 1014
o 1005
o 1004
o 1003
o 1001
o 1000
o 998
o 994
o 992
o 991
o 990
o 989
o 988
o 987
o 986
o 984
o 978
o 973
o 971
o 970
o 965
o 964
o 959
c 1960 branches 1969 propagates
c total generalized unit propagation = 5050, success = 36.71%
s OPTIMUM FOUND
c Optimal Solution = 959
v 115 -116 -118 113 -119 -112 -117 -111 109 -107 -106 -120 104 103 108 110 -101 -99 98 -97 102 -96 100 95 -94 93 -92 91 -90 89 88 87 -86 85 84 83 -82 81 -80 79 -114 78 77 76 75 74 73 72 105 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
12.414u 0.006s 0:12.42 99.9%	0+0k 0+0io 0pf+0w