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_7.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 687
o 945
o 943
o 942
o 941
o 938
o 935
o 934
o 932
o 931
o 930
o 927
o 926
o 924
o 921
o 920
o 919
o 918
o 917
o 916
o 914
o 913
o 912
o 910
o 908
o 907
o 904
o 903
o 902
o 901
o 900
o 899
o 898
o 896
o 895
o 891
o 890
o 889
o 887
o 886
o 885
o 884
o 882
o 879
o 877
o 876
o 875
c 3137 branches 12972 propagates
c total generalized unit propagation = 8132, success = 36.79%
s OPTIMUM FOUND
c Optimal Solution = 875
v -109 36 103 -100 -59 -28 11 131 98 8 58 88 65 68 79 -112 -9 -147 111 -125 -140 3 1 14 -16 -139 73 130 56 -40 91 48 -64 -38 63 -124 -22 138 37 -34 23 -101 -84 15 -75 87 -49 96 -118 133 -17 -132 105 60 31 81 115 -95 85 10 70 -93 78 -20 -129 -143 50 -107 -120 80 44 -55 -141 89 -116 -66 -52 41 -92 45 114 -123 62 -47 -144 -18 -128 150 43 76 -145 -137 51 -35 -142 -53 25 69 108 102 110 -61 -106 7 90 -6 67 97 -127 54 42 13 -57 134 -39 119 121 72 27 -135 30 -33 122 -99 148 -32 -94 -126 -71 19 77 -2 -12 149 -26 -21 -146 83 104 -5 -29 4 -24 113 -46 74 -86 136 117 82
7.100u 0.003s 0:07.10 100.0%	0+0k 0+0io 0pf+0w