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_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 3001
o 4037
o 4027
o 4020
o 4017
o 4015
o 3993
o 3990
o 3988
o 3987
o 3970
o 3969
o 3967
o 3965
o 3964
o 3955
o 3952
o 3950
o 3932
o 3929
o 3927
o 3925
o 3924
o 3899
o 3895
o 3894
o 3879
o 3876
o 3874
o 3863
o 3860
o 3858
o 3857
o 3850
o 3849
o 3847
o 3846
o 3844
o 3843
o 3841
o 3840
o 3829
o 3827
o 3825
o 3823
o 3819
o 3818
o 3817
o 3813
o 3805
o 3804
o 3802
o 3799
o 3796
o 3795
o 3786
o 3785
o 3779
o 3772
o 3771
o 3761
o 3759
o 3755
o 3754
o 3750
o 3747
o 3746
o 3741
o 3740
o 3739
o 3734
o 3731
o 3725
o 3722
o 3720
o 3717
o 3708
o 3707
o 3704
o 3695
o 3683
o 3682
o 3678
o 3671
o 3670
o 3663
o 3662
c 807 branches 5680 propagates
c total generalized unit propagation = 3208, success = 16.33%
s OPTIMUM FOUND
c Optimal Solution = 3662
v -61 23 -94 131 -76 107 -2 110 -104 36 -42 -117 -62 -11 114 -24 -132 133 -82 -89 -41 17 50 52 -129 -16 90 140 -72 -53 -54 48 -30 150 -13 -66 12 -9 -26 -130 -93 55 116 101 96 -8 -67 79 22 31 73 47 115 139 -81 141 83 46 -113 136 -100 -146 38 -148 39 77 80 43 51 -147 123 -49 5 -84 -128 -20 -7 -69 59 29 -135 85 27 56 137 -95 70 4 19 144 91 -78 127 -35 33 -134 -124 -143 -63 -126 74 -71 86 45 -122 -15 -149 -58 32 10 -142 75 -119 -28 -3 -102 -40 -118 92 121 87 111 65 108 -14 -138 -120 103 -145 -106 -34 -57 105 -21 -98 -64 6 44 -18 -60 1 37 112 68 -25 -88 -99 -109 -125 -97
3.882u 0.004s 0:03.90 99.4%	0+0k 0+0io 0pf+0w