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_me_file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3500_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 534
o 765
o 763
o 761
o 760
o 758
o 756
o 755
o 753
o 752
o 751
o 749
o 748
o 747
o 745
o 744
o 743
o 742
o 741
o 740
o 739
o 737
o 736
o 735
o 734
o 733
o 732
o 731
o 730
o 729
o 728
o 727
o 726
o 725
o 724
o 723
o 721
o 720
o 719
o 718
o 717
o 716
c 824 branches 4841 propagates
c total generalized unit propagation = 2684, success = 27.12%
s OPTIMUM FOUND
c Optimal Solution = 716
v -9 -5 107 -57 -139 49 -145 34 99 -92 129 98 -114 126 117 76 142 121 -82 19 -94 74 55 72 -21 -77 100 -78 62 29 -53 42 52 -60 118 -22 -4 61 -10 -149 -31 104 -36 -6 -32 33 37 -70 -18 108 -147 -141 12 116 41 -137 -51 66 -79 -90 -140 50 103 3 40 30 110 26 -67 -84 69 -88 65 124 122 128 1 146 -109 -71 -136 7 47 130 25 8 -17 -91 43 56 64 -111 -85 16 -58 2 46 127 -54 20 93 96 -112 -89 -144 -132 133 63 101 23 -115 -102 135 -148 -106 28 134 -125 138 -75 -105 -11 87 -15 -97 -119 -24 -83 131 -27 -45 -113 73 -95 -123 120 -35 -13 -39 59 81 86 -143 38 68 80 48 44 -150 -14
1.087u 0.000s 0:01.10 98.1%	0+0k 0+0io 0pf+0w