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_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 2942
o 3900
o 3885
o 3884
o 3880
o 3870
o 3865
o 3858
o 3843
o 3840
o 3838
o 3836
o 3823
o 3816
o 3815
o 3796
o 3786
o 3778
o 3777
o 3772
o 3768
o 3761
o 3756
o 3746
o 3744
o 3731
o 3726
o 3723
o 3716
o 3708
o 3705
o 3700
o 3697
o 3686
o 3685
o 3672
o 3671
o 3666
o 3663
o 3656
o 3650
o 3642
o 3636
o 3630
o 3627
o 3621
o 3617
o 3616
o 3613
o 3611
o 3607
o 3606
o 3605
o 3600
o 3595
o 3594
o 3590
o 3589
o 3588
o 3587
o 3582
o 3581
o 3576
o 3575
o 3561
o 3554
o 3552
o 3551
o 3549
o 3539
o 3532
o 3526
o 3525
c 534 branches 4455 propagates
c total generalized unit propagation = 2378, success = 15.56%
s OPTIMUM FOUND
c Optimal Solution = 3525
v 24 115 -43 56 -70 109 -121 94 -108 132 -74 142 30 -47 -6 -27 -69 -61 -130 -7 -40 -127 -148 -138 -111 4 68 50 -79 106 49 -100 -28 80 146 129 -147 75 -117 119 -93 -104 145 -141 67 136 -63 -131 18 -72 37 41 91 85 -35 76 -33 88 124 15 -34 107 25 116 134 139 -112 -45 -84 -13 -39 -135 36 150 144 -98 -103 -58 -90 -48 62 -87 54 133 -22 95 -23 -125 97 51 57 14 2 -77 -5 46 -123 52 -143 126 118 -128 -122 -92 64 -137 -16 60 -82 -86 110 -101 -59 32 -140 120 -42 -55 10 114 -21 -113 -38 44 -1 17 -83 -102 99 -96 -105 -66 78 -11 65 -149 -3 89 29 -73 8 -71 12 -26 -19 9 -53 31 -81 20
3.478u 0.003s 0:03.50 99.1%	0+0k 0+0io 0pf+0w