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_4.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3500_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 493
o 715
o 713
o 712
o 710
o 708
o 707
o 706
o 705
o 704
o 703
o 702
o 701
o 700
o 699
o 698
o 697
o 696
o 695
o 694
o 692
o 691
o 690
o 689
o 688
o 687
o 685
o 684
o 683
o 682
o 681
o 680
o 678
o 677
o 676
o 674
o 672
o 671
o 670
o 668
o 667
o 666
o 665
o 663
o 662
o 660
o 658
o 655
o 654
o 653
o 652
o 651
o 650
o 649
o 648
o 647
o 646
o 645
o 644
o 643
o 642
o 640
o 639
o 638
o 637
o 636
o 635
o 633
o 632
o 630
o 629
o 627
c 1116 branches 6978 propagates
c total generalized unit propagation = 4343, success = 21.55%
s OPTIMUM FOUND
c Optimal Solution = 627
v -12 108 89 -22 -112 -42 -117 -78 -33 -68 -14 127 -146 -1 -62 143 -101 30 84 52 111 -45 -77 9 -136 -116 71 138 -17 76 10 72 90 32 135 123 -56 -131 -133 21 -81 60 69 27 15 105 -88 -4 126 129 -134 25 -70 74 86 -58 -91 -87 65 40 128 93 -48 63 139 64 -121 -16 -31 -109 -120 34 46 99 -66 23 -39 -106 13 -124 75 107 102 -11 -103 -19 147 -29 96 49 80 -36 -5 -141 -79 118 61 -85 73 98 115 122 57 35 100 2 -44 95 26 -125 55 -24 -119 -82 -94 51 -137 -8 -18 145 54 20 -104 67 -83 28 6 92 47 -148 53 144 -142 -113 132 110 -37 -130 -59 -43 114 97 38 -41 150 -50 7 -140 3 -149
1.787u 0.005s 0:01.80 98.8%	0+0k 0+0io 0pf+0w