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
o 4035
o 4029
o 4026
o 4020
o 4006
o 4004
o 4003
o 3997
o 3978
o 3970
o 3969
o 3963
o 3958
o 3943
o 3941
o 3938
o 3934
o 3928
o 3924
o 3923
o 3920
o 3908
o 3898
o 3897
o 3893
o 3881
o 3880
o 3871
o 3858
o 3856
o 3845
o 3843
o 3842
o 3837
o 3835
o 3834
o 3833
o 3820
o 3800
o 3793
o 3790
o 3783
o 3779
o 3759
o 3749
o 3746
o 3734
o 3723
o 3716
o 3709
o 3703
o 3686
o 3680
o 3675
o 3674
o 3669
o 3666
o 3660
o 3655
o 3629
o 3624
o 3622
o 3617
c 528 branches 2944 propagates
c total generalized unit propagation = 3856, success = 9.96%
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
15.411u 0.004s 0:15.41 100.0%	0+0k 0+0io 0pf+0w