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_0.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 348
o 494
o 493
o 491
o 489
o 488
o 487
o 485
o 483
o 482
o 479
o 478
o 474
o 473
o 472
o 470
o 469
o 468
o 467
o 466
o 464
c 248 branches 2123 propagates
c total generalized unit propagation = 1051, success = 17.89%
s OPTIMUM FOUND
c Optimal Solution = 464
v -145 21 38 39 115 124 -72 -108 -49 5 -15 -129 -22 88 -45 -40 37 74 104 -68 61 70 18 7 -144 -11 52 -130 -97 16 -67 -116 25 -56 -110 46 131 -136 -127 -133 79 32 90 58 -87 81 12 -62 -148 -112 -118 141 60 -89 -14 19 69 -26 66 117 -103 -53 -41 -101 13 111 125 -107 -27 92 -143 77 -64 29 105 6 150 -146 -36 75 147 -2 -17 119 33 100 -98 94 -134 -109 82 43 113 47 142 65 35 42 78 80 -76 120 -3 85 140 59 -20 -96 -138 -54 -139 48 8 -4 -34 -95 57 -63 -114 -122 -28 44 126 149 86 -83 -91 99 135 -128 -71 -31 106 -24 51 30 84 -23 -102 121 10 -9 -132 93 73 -1 -50 55 -123 -137
0.302u 0.002s 0:00.32 93.7%	0+0k 0+0io 0pf+0w