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