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_hi_file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4959
o 4958
o 4950
o 4949
o 4943
o 4942
o 4936
o 4935
o 4933
o 4932
o 4931
o 4929
o 4926
o 4925
o 4916
o 4913
o 4911
o 4910
o 4909
o 4902
o 4895
o 4892
o 4890
o 4887
o 4881
o 4878
o 4875
o 4872
o 4865
o 4864
o 4860
o 4858
o 4855
o 4854
o 4853
o 4850
o 4848
o 4845
o 4837
o 4835
o 4828
o 4827
o 4822
o 4821
o 4817
o 4811
o 4810
o 4808
o 4799
o 4796
o 4793
o 4792
o 4791
o 4782
o 4781
o 4769
o 4768
o 4760
o 4757
o 4755
o 4748
o 4747
o 4741
o 4739
o 4737
o 4735
o 4733
o 4732
o 4718
o 4717
o 4709
o 4705
o 4704
o 4703
o 4698
o 4692
o 4690
o 4686
o 4680
o 4678
o 4670
o 4662
o 4661
o 4659
o 4648
o 4638
o 4637
o 4632
o 4631
o 4625
o 4624
o 4623
o 4617
o 4616
o 4614
c 729 branches 4053 propagates
c total generalized unit propagation = 5298, success = 9.74%
s OPTIMUM FOUND
c Optimal Solution = 4614
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
14.408u 0.004s 0:14.43 99.7%	0+0k 0+0io 0pf+0w