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_9.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3500_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 496
o 693
o 692
o 691
o 689
o 688
o 687
o 686
o 685
o 684
o 683
o 682
o 681
o 680
o 678
o 677
o 676
o 675
o 673
o 671
o 669
o 667
o 665
o 664
o 663
o 662
o 660
o 659
o 658
o 656
o 655
o 654
o 653
o 652
o 651
o 650
o 649
o 648
o 647
o 646
o 644
o 643
o 642
o 641
o 639
o 638
c 1734 branches 8310 propagates
c total generalized unit propagation = 5549, success = 28.78%
s OPTIMUM FOUND
c Optimal Solution = 638
v -76 37 -79 -19 97 -93 -147 38 16 69 -63 83 67 -66 -150 -137 -24 -135 20 4 -117 1 -88 6 125 94 -58 11 68 -111 55 -95 -34 53 -141 -13 -144 -27 -101 -2 35 -106 -129 -23 -85 107 118 -127 -71 -84 -113 -90 -148 -14 -119 30 -112 -26 -47 75 52 -92 -74 -82 -45 131 43 -9 36 -110 62 80 15 50 -146 -109 78 29 -114 39 5 -40 -140 48 -133 126 -12 -31 -143 -51 -87 96 -44 98 -32 -57 -128 7 -134 18 -89 91 -121 -73 33 59 -142 115 -70 -54 46 -22 -122 145 -72 149 104 -41 -136 99 25 138 103 -60 -49 -64 65 8 108 -42 -10 3 -17 -105 -86 21 -102 -132 -120 -139 -124 81 61 123 -56 -100 -77 -28 130 -116
3.340u 0.004s 0:03.35 99.7%	0+0k 0+0io 0pf+0w