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