Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3000_H150_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 3065
o 3060
o 3055
o 3050
o 3046
o 3039
o 3037
o 3030
o 3023
o 3019
o 3011
o 3004
o 3002
o 3000
o 2996
o 2987
o 2986
o 2984
o 2981
o 2980
o 2972
o 2968
o 2966
o 2965
o 2957
o 2956
o 2951
o 2948
o 2942
o 2939
o 2934
o 2926
o 2925
o 2924
o 2919
o 2917
o 2915
o 2914
o 2913
o 2908
o 2894
o 2893
o 2889
o 2885
o 2883
o 2878
o 2876
o 2868
o 2861
o 2859
o 2855
o 2854
o 2852
o 2850
o 2844
o 2842
o 2838
c 989 branches 4188 propagates
c total generalized unit propagation = 6053, success = 14.47%
s OPTIMUM FOUND
c Optimal Solution = 2838
v -149 4 -130 -32 49 104 -92 65 -21 -19 -59 107 -127 98 128 -121 -124 48 -144 -27 96 42 37 -47 -80 67 31 129 -77 20 14 -7 150 82 61 26 -140 -56 -89 -5 -109 74 -88 -43 -36 148 1 -62 114 -52 -108 15 -46 54 145 83 -69 101 143 79 -146 -85 25 138 29 142 -137 -111 -40 -33 9 -93 -102 119 -6 -125 122 -131 141 -35 123 -106 17 38 11 -103 -81 -18 -76 -55 133 34 134 112 71 -97 23 41 28 73 13 68 -66 135 116 58 147 -91 -100 70 105 136 64 -63 139 -117 120 110 78 -99 51 -113 95 75 -45 -39 94 -44 -24 -90 2 -115 -8 -84 -126 53 16 3 50 -72 87 -22 -86 -30 118 -10 132 -12 60 57
32.076u 0.001s 0:32.08 99.9%	0+0k 0+0io 0pf+0w