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