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