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_2.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 324
o 509
o 506
o 503
o 500
o 499
o 497
o 495
o 493
o 491
o 490
o 489
o 488
o 485
o 484
o 482
o 479
o 476
o 473
o 470
o 467
o 466
o 465
o 462
o 461
o 460
o 459
o 458
o 457
o 455
o 453
o 452
o 451
o 450
o 449
o 448
o 447
o 446
o 445
o 444
o 443
o 442
o 441
o 440
o 439
o 438
o 437
o 436
o 435
o 434
o 433
o 432
o 431
o 430
o 429
o 428
o 427
o 425
o 424
o 423
c 2053 branches 9870 propagates
c total generalized unit propagation = 6589, success = 28.93%
s OPTIMUM FOUND
c Optimal Solution = 423
v -13 23 54 105 -108 89 95 136 -117 14 -101 38 133 127 -26 -84 16 -106 71 121 -90 29 -125 76 1 -92 39 135 62 111 43 146 59 91 -12 64 82 35 36 -120 -104 -143 -17 -80 -85 -79 -37 -114 -65 -57 -49 28 2 -30 112 -115 140 -68 -33 97 18 103 22 119 -126 -20 21 -6 -75 -107 -52 93 -46 -4 3 -87 -58 -55 -130 94 -27 48 -51 -40 -141 -47 -99 122 -25 128 -9 -24 -124 123 -53 -148 86 72 -96 118 -129 -78 50 66 132 19 -8 -109 -70 -10 -41 -44 -131 144 -139 -150 60 45 83 -5 -100 -74 -11 113 -34 -81 -69 63 102 -116 -15 56 -149 42 -73 61 -137 -31 98 -134 -110 -88 138 32 -7 -77 -142 -67 147 -145
2.784u 0.003s 0:02.80 99.2%	0+0k 0+0io 0pf+0w