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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 2957
o 4016
o 4015
o 4008
o 3988
o 3986
o 3978
o 3974
o 3967
o 3959
o 3951
o 3950
o 3947
o 3931
o 3930
o 3919
o 3917
o 3915
o 3910
o 3899
o 3897
o 3896
o 3894
o 3882
o 3874
o 3873
o 3871
o 3866
o 3860
o 3854
o 3852
o 3850
o 3845
o 3837
o 3834
o 3833
o 3820
o 3817
o 3816
o 3814
o 3813
o 3812
o 3808
o 3807
o 3802
o 3799
o 3793
o 3792
o 3786
o 3785
o 3781
o 3780
o 3778
o 3777
o 3769
o 3766
o 3759
o 3757
o 3754
o 3750
o 3740
o 3735
o 3732
o 3731
o 3728
o 3726
o 3722
o 3714
o 3712
o 3703
o 3692
o 3687
o 3683
o 3680
o 3675
o 3674
o 3669
o 3666
o 3662
o 3660
o 3655
o 3629
o 3624
o 3622
o 3617
c 598 branches 5369 propagates
c total generalized unit propagation = 2503, success = 15.50%
s OPTIMUM FOUND
c Optimal Solution = 3617
v -144 8 4 104 -7 109 -51 92 94 89 83 76 141 29 -54 130 -47 -134 -58 64 -1 146 90 19 79 20 44 137 -97 117 -77 113 -114 -133 25 -13 -27 -149 -132 111 -74 -106 101 107 78 -3 -72 16 85 -40 -150 123 52 73 -11 -99 110 -118 -42 121 -81 -15 33 -5 -10 70 128 129 -127 -86 124 91 145 -139 61 -32 -24 -6 21 116 65 -136 -2 59 26 71 50 46 115 96 82 148 -102 31 80 103 -112 131 30 -57 43 -37 126 67 -108 -35 142 18 53 -56 -28 -75 140 36 38 34 -66 -62 45 23 120 -17 60 -12 -119 -63 69 49 48 -95 -41 135 22 -105 138 100 84 98 122 87 -14 93 9 147 55 143 -88 -39 125 -68
4.025u 0.001s 0:04.06 99.0%	0+0k 0+0io 0pf+0w