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_hi_file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 694
o 932
o 931
o 930
o 929
o 928
o 927
o 926
o 924
o 922
o 921
o 920
o 919
o 918
o 915
o 914
o 912
o 910
o 909
o 907
o 906
o 905
o 904
o 903
o 902
o 901
o 897
o 896
o 895
o 894
o 893
o 892
o 891
o 890
o 887
o 886
o 885
o 884
o 883
o 882
o 881
o 880
o 879
o 878
c 572 branches 3977 propagates
c total generalized unit propagation = 2210, success = 20.41%
s OPTIMUM FOUND
c Optimal Solution = 878
v 51 36 -101 -24 96 -64 -99 60 -88 -114 -113 14 -66 -23 100 1 -109 -18 -59 -79 19 143 -78 -124 -11 87 39 -138 133 -147 129 102 148 -15 -26 127 -2 41 50 33 107 86 92 -110 -122 106 98 -16 -128 -27 -104 -91 140 125 57 -117 -139 -25 -105 17 7 123 20 -126 -115 47 45 -55 81 -21 40 8 -134 -29 -93 -75 43 137 68 116 -71 -5 -146 -150 22 -73 -141 9 121 -80 32 149 28 -72 -56 -120 6 -38 118 -54 90 145 48 89 -77 -42 76 -95 132 -131 34 -70 65 83 111 63 -4 -130 58 -62 136 -61 108 -44 -94 37 -3 52 119 -144 12 -74 -97 112 69 -82 31 35 46 30 85 -135 -53 67 103 -13 49 -10 142 84
0.923u 0.003s 0:00.94 97.8%	0+0k 0+0io 0pf+0w