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_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 3743
o 3736
o 3720
o 3713
o 3708
o 3706
o 3700
o 3694
o 3692
o 3687
o 3686
o 3678
o 3667
o 3661
o 3657
o 3656
o 3652
o 3650
o 3648
o 3646
o 3640
o 3635
o 3634
o 3631
o 3626
o 3625
o 3601
o 3597
o 3592
o 3589
o 3588
o 3587
o 3584
o 3568
o 3567
o 3564
o 3563
o 3551
o 3548
o 3539
o 3529
o 3527
o 3526
o 3512
o 3510
o 3502
o 3500
o 3492
o 3490
o 3465
o 3463
o 3457
o 3455
o 3452
o 3450
o 3445
o 3422
o 3416
o 3415
o 3413
o 3412
o 3410
o 3397
o 3394
o 3392
o 3386
o 3383
o 3381
o 3374
o 3360
o 3357
o 3355
c 652 branches 3864 propagates
c total generalized unit propagation = 5013, success = 9.91%
s OPTIMUM FOUND
c Optimal Solution = 3355
v -12 108 89 -22 -112 -42 -117 -78 -33 68 -14 127 -146 -1 -62 143 -101 30 84 52 111 -45 -77 9 -136 -116 71 138 -17 76 10 72 90 32 135 123 -56 -131 -133 21 -81 60 69 -27 15 105 -88 -4 126 129 -134 25 -70 74 86 -58 -91 -87 -65 40 128 93 -48 63 139 64 -121 -16 -31 -109 -120 34 46 99 -66 23 -39 -106 13 -124 75 107 102 -11 -103 -19 -147 -29 96 49 80 -36 -5 -141 -79 118 61 -85 73 98 115 122 57 35 100 2 -44 95 26 -125 55 -24 -119 -82 -94 51 -137 -8 -18 145 54 20 -104 67 -83 28 6 92 47 -148 53 144 -142 -113 132 110 -37 130 -59 -43 114 97 38 -41 -150 -50 7 140 3 -149
18.357u 0.004s 0:18.38 99.8%	0+0k 0+0io 0pf+0w