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
o 604
o 601
o 597
o 596
o 595
o 594
o 593
o 592
o 591
o 588
o 587
o 586
o 585
o 584
o 582
o 581
o 580
o 579
o 578
o 577
o 576
o 575
o 574
o 573
o 571
o 569
o 568
o 567
o 566
o 565
o 564
o 562
o 561
o 560
o 558
o 556
o 555
o 553
o 552
o 551
o 550
o 549
o 548
o 547
o 546
o 545
o 544
o 543
o 541
o 539
o 538
c 3767 branches 9028 propagates
c total generalized unit propagation = 16401, success = 21.99%
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
16.638u 0.008s 0:16.75 99.2%	0+0k 0+0io 0pf+0w