Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_hi_file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 695
o 955
o 954
o 953
o 952
o 951
o 950
o 949
o 947
o 946
o 945
o 944
o 943
o 941
o 939
o 937
o 935
o 933
o 929
o 926
o 925
o 924
o 922
o 920
o 919
o 917
o 916
o 914
o 913
o 910
o 909
o 907
o 906
o 905
o 903
o 902
o 900
o 898
o 897
o 894
o 893
o 892
o 891
o 890
c 3878 branches 13943 propagates
c total generalized unit propagation = 9439, success = 39.88%
s OPTIMUM FOUND
c Optimal Solution = 890
v 37 -60 -122 -87 29 34 133 -116 -52 96 130 7 84 -66 -79 25 121 136 -58 105 14 44 111 -118 -36 90 123 -94 124 -141 -109 -95 137 30 145 -114 10 24 -31 -101 -61 48 -142 81 100 -74 64 22 115 -63 -75 -57 -97 -88 51 -110 -12 117 33 -23 -17 46 -85 103 -4 -21 42 8 112 134 -129 -54 18 -27 120 -108 -149 125 98 132 26 5 -77 1 -82 -91 144 -71 -11 107 41 72 -6 80 76 139 -68 -15 -89 49 19 -28 62 -2 55 -83 119 131 -35 -147 -148 59 -40 138 -106 65 -56 -70 128 -47 69 -13 -50 -150 -67 39 92 93 45 -102 -3 9 43 -53 -16 -99 140 126 -104 -135 -32 -86 78 73 146 127 38 20 143 -113
9.427u 0.011s 0:09.49 99.3%	0+0k 0+0io 0pf+0w