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_C4000_H150_5.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4000_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 587
o 833
o 832
o 825
o 823
o 822
o 821
o 820
o 818
o 815
o 814
o 813
o 811
o 810
o 809
o 808
o 807
o 804
o 803
o 802
o 800
o 797
o 795
o 794
o 793
o 789
o 788
o 787
o 786
o 783
o 782
o 781
o 780
o 778
o 776
o 775
o 774
o 772
o 771
o 770
o 769
o 768
o 767
o 766
o 765
o 764
o 763
o 762
o 761
o 760
o 759
o 758
o 757
o 756
c 2765 branches 13979 propagates
c total generalized unit propagation = 7808, success = 33.45%
s OPTIMUM FOUND
c Optimal Solution = 756
v -58 46 -100 42 -68 116 12 -62 22 4 92 -86 -55 -1 69 30 -127 129 106 -99 -71 -11 60 -82 148 120 -90 -8 28 76 -142 93 -45 49 102 144 -139 -136 10 110 -130 -117 138 -109 52 -16 -61 -122 -111 -74 -63 84 -78 105 56 -143 -133 13 59 -121 32 2 -107 -140 47 67 -141 3 -132 -91 -41 -77 -65 -150 75 -96 -125 48 -108 17 26 43 -27 113 -79 -64 -73 40 6 -124 123 -19 85 -98 -72 135 -66 -14 -88 29 50 -23 -25 -128 -137 18 -36 -54 112 -34 9 103 -7 -39 24 51 -101 -94 80 -81 -134 -35 -20 57 21 -126 115 -145 95 -146 147 37 -104 83 15 119 -31 -70 -118 -33 38 87 89 131 -5 -53 -114 97 -149 -44
6.226u 0.001s 0:06.24 99.6%	0+0k 0+0io 0pf+0w