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_7.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3000_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 423
o 623
o 622
o 621
o 619
o 618
o 617
o 616
o 615
o 614
o 613
o 612
o 610
o 608
o 607
o 606
o 605
o 604
o 603
o 602
o 601
o 600
o 599
o 598
o 597
o 596
o 595
o 594
o 593
o 592
o 591
o 590
o 589
o 588
o 587
o 586
o 585
o 583
o 582
o 581
o 580
o 579
o 578
o 575
o 574
o 573
o 572
o 571
o 570
o 569
o 568
o 566
o 565
o 564
o 563
o 562
o 560
o 559
o 558
o 556
o 555
o 552
o 550
o 549
o 547
o 546
o 545
o 544
o 543
o 541
o 540
o 539
o 538
o 537
o 536
o 534
o 533
o 531
o 530
o 529
o 527
c 1586 branches 7842 propagates
c total generalized unit propagation = 5804, success = 23.64%
s OPTIMUM FOUND
c Optimal Solution = 527
v 13 133 8 127 111 -72 -91 92 -69 128 -60 -136 -62 141 -34 42 132 -139 74 16 145 -106 75 46 52 -124 -32 102 -55 88 83 130 -53 112 -109 95 -33 140 -115 -68 101 -122 -19 -47 -131 -94 -147 -138 66 -49 134 27 150 93 37 44 5 39 61 -113 -125 -57 144 143 -71 -10 -56 25 -114 -110 -48 -2 22 -103 116 -4 -129 -65 -6 -28 17 90 1 -59 11 41 23 -142 -14 -70 98 -3 -12 104 -43 -81 30 100 -15 -31 117 126 -121 -107 84 148 -89 -40 120 -50 73 85 64 -20 36 -58 137 108 -63 54 67 -118 149 119 82 86 96 -18 105 -135 87 45 79 -146 97 -7 -9 123 21 -76 78 35 26 -99 -80 38 -77 51 -29 -24
1.651u 0.000s 0:01.68 98.2%	0+0k 0+0io 0pf+0w