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_me_file_rwpms_wcnf_L2_V150_C3500_H150_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_0.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4088
o 4060
o 4050
o 4048
o 4038
o 4032
o 4030
o 4029
o 4027
o 4026
o 4023
o 4020
o 4012
o 4011
o 4008
o 4006
o 4003
o 3996
o 3995
o 3993
o 3992
o 3985
o 3984
o 3983
o 3977
o 3976
o 3971
o 3969
o 3966
o 3959
o 3958
o 3957
o 3954
o 3950
o 3945
o 3942
o 3941
o 3939
o 3937
o 3930
o 3927
o 3926
o 3921
o 3913
o 3912
o 3911
o 3908
o 3902
o 3897
o 3878
o 3875
o 3874
o 3872
o 3869
o 3868
o 3865
o 3858
o 3857
o 3853
o 3843
o 3842
o 3841
o 3840
o 3839
o 3837
o 3835
o 3833
o 3829
o 3827
o 3820
o 3818
o 3817
o 3813
o 3809
o 3808
o 3807
o 3806
o 3804
o 3800
o 3799
o 3797
o 3795
o 3792
o 3790
o 3787
o 3784
o 3783
o 3781
o 3774
o 3762
o 3756
o 3754
o 3753
o 3752
o 3748
o 3742
o 3737
o 3732
o 3728
o 3724
o 3718
o 3708
o 3707
o 3704
o 3698
o 3692
o 3690
o 3689
o 3685
o 3681
o 3680
o 3672
o 3662
o 3657
o 3654
o 3650
o 3649
o 3646
o 3645
o 3642
o 3641
o 3638
o 3634
c 2200 branches 7879 propagates
c total generalized unit propagation = 11986, success = 15.91%
s OPTIMUM FOUND
c Optimal Solution = 3634
v -112 98 -95 -47 -109 -22 121 133 62 -55 -45 66 21 -85 136 -102 89 -50 -79 135 4 37 17 -141 -139 10 -30 -108 19 -1 104 81 118 68 -84 75 -116 -33 74 134 -12 58 147 115 -77 -110 -57 63 -138 40 99 -113 48 131 8 -70 72 -128 88 -150 32 60 -132 18 106 -124 -137 143 123 9 69 -23 125 42 86 122 -2 46 -25 -96 39 -15 -107 -13 29 36 -6 103 27 111 -56 5 -31 -142 144 61 105 -11 7 -38 3 94 -100 -145 120 -114 -76 87 59 -78 127 -97 149 -101 -24 129 41 130 -16 80 -119 -28 93 73 -64 44 52 -34 51 54 -91 83 -117 -92 -126 35 -67 140 -43 -20 90 -148 -53 -26 65 -146 82 -49 14 -71
49.519u 0.015s 0:49.64 99.7%	0+0k 0+0io 0pf+0w