Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1000_H150_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 914
o 913
o 911
o 910
o 908
o 891
o 890
o 888
o 887
o 884
o 883
o 880
o 879
o 878
o 874
o 873
o 872
o 871
o 868
o 867
o 863
o 861
o 857
o 855
o 854
o 850
o 849
o 848
o 844
o 842
o 838
o 836
o 835
o 834
o 827
o 826
o 824
o 818
o 815
o 808
o 802
o 799
o 792
o 789
o 779
o 776
o 772
o 771
o 769
o 765
o 761
o 760
o 755
o 749
o 743
o 737
c 225 branches 1615 propagates
c total generalized unit propagation = 1907, success = 3.51%
s OPTIMUM FOUND
c Optimal Solution = 737
v -132 -65 40 -43 -113 77 -35 53 109 92 -19 -29 -86 -2 -150 -90 -33 133 -110 -12 74 -120 111 -93 -57 -129 -142 -68 8 70 39 17 -51 5 -128 22 -91 78 107 13 -25 -121 106 10 26 -145 42 -48 75 -52 96 88 123 -3 -14 -118 -71 143 -144 -149 -125 72 32 -61 -63 31 -119 -28 98 49 95 -101 -84 -16 108 -59 -4 76 -20 -46 -131 -124 64 80 -87 -117 -148 -15 114 -139 -7 54 37 -97 -140 -82 141 44 -23 127 -67 -36 -135 -104 -147 -102 -56 -138 -69 -30 -126 85 38 -116 -79 81 115 18 -103 136 66 62 27 83 105 -50 89 73 9 94 -41 -11 21 146 99 55 47 122 -45 6 -137 -130 -34 100 -112 1 -60 -134 58 -24
0.320u 0.002s 0:00.32 100.0%	0+0k 0+0io 0pf+0w