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