Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_me_file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 339
o 491
o 489
o 487
o 483
o 481
o 480
o 479
o 478
o 476
o 473
o 472
o 471
o 470
o 469
o 468
o 467
o 465
o 464
o 461
o 460
o 459
o 458
o 455
o 454
c 322 branches 2320 propagates
c total generalized unit propagation = 1283, success = 20.34%
s OPTIMUM FOUND
c Optimal Solution = 454
v -8 76 130 107 -125 -86 58 -102 5 17 34 123 -128 -26 136 -64 144 -13 143 -16 28 -141 -54 35 -70 -80 -69 101 -148 11 118 83 -22 -66 -19 119 9 53 -14 105 108 -72 -41 110 -18 96 36 24 -42 -55 87 -142 37 99 -147 89 84 -65 97 56 94 -98 -48 -135 21 -61 23 -81 -68 -38 -132 140 44 124 115 116 -50 -31 60 -12 -47 -106 149 -120 -100 -114 71 -49 30 -146 63 67 -79 59 -78 2 -111 95 7 131 134 92 121 15 32 77 117 88 -27 -133 4 45 -129 43 -25 -57 -20 -1 -46 -113 -104 -10 137 -93 82 39 -145 -75 -40 90 91 -33 -6 139 -85 -62 29 -127 122 52 126 103 112 3 -51 73 109 -74 138 150
0.448u 0.001s 0:00.46 95.6%	0+0k 0+0io 0pf+0w