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
o 3994
o 3993
o 3990
o 3981
o 3977
o 3972
o 3968
o 3967
o 3966
o 3965
o 3962
o 3961
o 3957
o 3955
o 3951
o 3948
o 3945
o 3944
o 3940
o 3938
o 3934
o 3933
o 3932
o 3929
o 3924
o 3915
o 3908
o 3906
o 3904
o 3902
o 3901
o 3899
o 3897
o 3890
o 3885
o 3884
o 3883
o 3879
o 3877
o 3873
o 3867
o 3865
o 3863
o 3862
o 3860
o 3856
o 3838
o 3835
o 3832
o 3831
o 3829
o 3824
o 3822
o 3820
o 3817
o 3810
o 3804
o 3801
o 3795
o 3791
o 3786
o 3785
o 3780
o 3776
o 3774
o 3771
o 3762
o 3756
o 3753
o 3752
o 3751
o 3747
o 3744
o 3743
o 3741
o 3737
o 3735
o 3733
o 3728
o 3724
o 3709
o 3707
o 3702
o 3699
o 3697
o 3689
o 3688
o 3684
o 3674
o 3666
o 3658
o 3652
o 3640
o 3637
o 3635
o 3627
o 3623
o 3622
o 3618
o 3617
o 3616
o 3611
o 3610
o 3602
o 3600
o 3596
o 3595
o 3593
o 3592
o 3590
o 3588
o 3584
o 3578
o 3577
o 3574
o 3572
o 3569
o 3566
o 3563
o 3560
o 3558
o 3551
o 3545
o 3544
o 3537
o 3536
o 3533
o 3519
o 3516
o 3512
c 1313 branches 6021 propagates
c total generalized unit propagation = 8323, success = 11.88%
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
16.262u 0.003s 0:16.39 99.2%	0+0k 0+0io 0pf+0w