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_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 2930
o 3988
o 3981
o 3980
o 3972
o 3968
o 3967
o 3962
o 3961
o 3960
o 3955
o 3948
o 3945
o 3943
o 3938
o 3934
o 3933
o 3932
o 3929
o 3924
o 3921
o 3917
o 3915
o 3907
o 3905
o 3904
o 3901
o 3899
o 3897
o 3894
o 3892
o 3889
o 3886
o 3884
o 3883
o 3881
o 3878
o 3875
o 3874
o 3871
o 3870
o 3869
o 3868
o 3867
o 3864
o 3862
o 3858
o 3854
o 3852
o 3850
o 3846
o 3845
o 3840
o 3837
o 3835
o 3833
o 3831
o 3829
o 3827
o 3823
o 3822
o 3819
o 3817
o 3811
o 3808
o 3801
o 3795
o 3791
o 3787
o 3786
o 3784
o 3781
o 3778
o 3776
o 3774
o 3772
o 3762
o 3756
o 3750
o 3747
o 3745
o 3737
o 3736
o 3732
o 3723
o 3720
o 3709
o 3702
o 3699
o 3694
o 3689
o 3688
o 3686
o 3684
o 3676
o 3672
o 3671
o 3666
o 3658
o 3652
o 3651
o 3650
o 3644
o 3642
o 3640
o 3638
o 3635
o 3623
o 3622
o 3618
o 3617
o 3616
o 3613
o 3611
o 3610
o 3602
o 3600
o 3596
o 3595
o 3593
o 3590
o 3588
o 3584
o 3578
o 3574
o 3569
o 3566
o 3563
o 3560
o 3551
o 3545
o 3544
o 3537
o 3536
o 3534
o 3529
o 3516
o 3512
c 1415 branches 8605 propagates
c total generalized unit propagation = 4998, success = 19.29%
s OPTIMUM FOUND
c Optimal Solution = 3512
v -138 21 -150 88 -144 131 -30 111 -140 25 -40 92 93 143 42 123 -69 86 -80 4 115 -45 27 -35 -118 81 -87 -73 -59 -54 132 -68 -31 89 -34 134 75 -101 -53 56 84 137 -15 -147 85 -90 116 28 16 91 -36 -122 97 -22 107 82 67 124 -51 -95 -37 -60 -127 119 -65 -146 96 -17 57 -38 94 47 64 32 -24 5 -43 62 126 -71 142 -148 -46 102 133 10 136 -20 117 74 72 -55 -52 -145 48 41 -2 112 141 23 49 -139 -26 18 -128 108 -39 -104 11 7 13 -29 -61 129 -100 83 114 -109 -3 -135 125 -98 -44 103 106 113 -120 1 -19 -79 -12 8 50 78 -66 121 -63 70 99 -6 -130 -110 -149 77 105 -14 -9 76 58 -33
5.916u 0.004s 0:05.96 99.1%	0+0k 0+0io 0pf+0w