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_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 3683
o 3682
o 3673
o 3664
o 3663
o 3653
o 3650
o 3643
o 3641
o 3639
o 3637
o 3635
o 3633
o 3624
o 3622
o 3621
o 3614
o 3613
o 3612
o 3608
o 3601
o 3599
o 3590
o 3588
o 3584
o 3577
o 3576
o 3570
o 3569
o 3559
o 3558
o 3557
o 3553
o 3547
o 3545
o 3544
o 3540
o 3527
o 3515
o 3512
o 3509
o 3506
o 3502
o 3497
o 3489
o 3486
o 3485
o 3481
o 3480
o 3477
o 3476
o 3467
o 3466
o 3463
o 3461
o 3457
o 3450
c 1128 branches 4321 propagates
c total generalized unit propagation = 6439, success = 15.38%
s OPTIMUM FOUND
c Optimal Solution = 3450
v 69 -145 60 68 -11 -148 -92 147 -66 112 -37 -35 15 -20 -24 113 -93 -23 50 90 -48 150 61 127 29 138 63 -2 53 135 33 82 45 32 -105 77 -25 12 -103 -132 136 -71 57 14 -115 -88 -62 -94 46 49 72 114 89 13 74 144 -100 -21 27 -109 121 139 -30 42 -58 118 -133 7 96 -4 -5 -123 143 76 -106 1 104 55 142 -80 85 78 16 -95 17 -99 -86 140 134 6 116 -10 122 9 56 38 111 -52 -146 43 28 -26 31 98 65 -120 3 -129 -39 81 -51 91 -110 -34 124 73 108 137 18 131 -44 -149 -22 -130 41 -119 -8 59 101 117 141 87 54 -128 -70 -36 75 -102 47 64 79 -67 83 107 40 125 19 -84 97 -126
33.789u 0.002s 0:33.83 99.8%	0+0k 0+0io 0pf+0w