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_C3000_H150_5.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3000_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 412
o 624
o 620
o 618
o 616
o 615
o 614
o 613
o 612
o 611
o 610
o 609
o 608
o 605
o 602
o 601
o 600
o 599
o 598
o 596
o 595
o 593
o 592
o 591
o 590
o 589
o 587
o 586
o 585
o 584
o 583
o 582
o 581
o 580
o 579
o 578
o 577
o 576
o 574
o 573
o 572
o 570
o 569
o 568
o 564
o 563
o 561
o 559
o 556
o 555
o 554
o 553
o 552
o 551
o 550
o 549
o 548
o 547
o 546
o 545
o 544
o 542
o 540
o 539
o 538
c 4798 branches 17957 propagates
c total generalized unit propagation = 11864, success = 38.29%
s OPTIMUM FOUND
c Optimal Solution = 538
v 77 -34 -133 99 -53 -85 -10 54 31 7 -89 111 24 -15 -57 65 76 -47 -128 -37 -137 -91 -60 18 -66 93 -38 -122 61 83 -36 -113 9 150 -16 -3 43 -8 -119 -5 120 42 -68 -1 121 -28 -104 -138 142 84 -58 2 -96 4 140 -74 -127 27 136 -40 -33 -125 -147 118 -149 -80 -107 19 78 117 114 100 62 -123 46 -105 50 79 -13 -101 39 44 -69 -71 -109 -143 -106 -25 -134 -82 -35 94 -49 103 -90 131 -56 32 -135 -116 95 124 41 11 -73 -126 -139 112 51 12 -26 87 129 -29 75 -115 -6 -21 45 20 67 145 -102 -92 72 -148 -48 -23 -52 -97 81 -108 17 -63 -64 -55 88 -70 -132 -59 -98 141 -146 14 -110 -22 144 -30 130 86
8.904u 0.003s 0:08.92 99.7%	0+0k 0+0io 0pf+0w