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
o 4037
o 4027
o 4020
o 4017
o 4015
o 3998
o 3993
o 3990
o 3988
o 3987
o 3983
o 3977
o 3975
o 3964
o 3955
o 3952
o 3950
o 3948
o 3946
o 3941
o 3939
o 3933
o 3921
o 3916
o 3914
o 3903
o 3901
o 3891
o 3889
o 3885
o 3878
o 3876
o 3866
o 3857
o 3847
o 3846
o 3840
o 3833
o 3831
o 3829
o 3827
o 3825
o 3824
o 3823
o 3819
o 3813
o 3808
o 3805
o 3804
o 3801
o 3793
o 3791
o 3781
o 3772
o 3771
o 3765
o 3761
o 3759
o 3755
o 3754
o 3750
o 3747
o 3746
o 3741
o 3740
o 3734
o 3731
o 3725
o 3722
o 3720
o 3717
o 3708
o 3707
o 3704
o 3695
o 3685
o 3683
o 3682
o 3678
o 3671
o 3670
o 3667
o 3663
o 3662
c 716 branches 4029 propagates
c total generalized unit propagation = 5275, success = 10.05%
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
10.659u 0.001s 0:10.69 99.6%	0+0k 0+0io 0pf+0w