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