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_3.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3500_H150_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 514
o 719
o 718
o 717
o 715
o 714
o 711
o 710
o 707
o 706
o 705
o 703
o 699
o 697
o 695
o 693
o 692
o 691
o 690
o 689
o 688
o 687
o 685
o 684
o 683
o 681
o 680
o 679
o 678
o 676
o 674
o 673
o 672
o 670
o 669
c 1081 branches 5443 propagates
c total generalized unit propagation = 3438, success = 28.50%
s OPTIMUM FOUND
c Optimal Solution = 669
v -138 21 -150 88 -144 131 -30 111 -140 25 -40 92 93 143 42 123 -69 86 -80 4 115 -45 27 -35 -118 81 -87 -73 59 54 132 -68 -31 89 -34 134 75 -101 -53 56 84 -137 15 -147 85 -90 116 28 16 91 -36 122 -97 -22 107 -82 67 -124 51 95 -37 -60 127 119 -65 -146 96 -17 57 -38 94 47 64 32 -24 5 -43 62 126 -71 142 -148 -46 102 133 10 136 -20 117 -74 72 -55 -52 -145 48 41 -2 112 141 23 49 -139 -26 18 -128 108 -39 -104 11 -7 13 -29 -61 129 -100 -83 114 -109 -3 135 125 -98 -44 103 106 113 120 1 19 -79 12 8 50 -78 -66 121 63 70 99 -6 -130 -110 -149 77 105 -14 9 76 58 33
1.815u 0.003s 0:01.83 98.9%	0+0k 0+0io 0pf+0w