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