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