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_1.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3000_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 420
o 628
o 627
o 626
o 624
o 623
o 622
o 621
o 619
o 618
o 612
o 611
o 610
o 609
o 608
o 607
o 606
o 605
o 603
o 601
o 600
o 599
o 598
o 597
o 596
o 595
o 594
o 593
o 592
o 590
o 589
o 588
o 587
o 586
o 585
o 584
o 583
o 582
o 580
o 579
o 578
o 577
o 576
o 574
o 573
o 572
o 571
o 570
o 569
o 568
o 567
o 566
o 565
o 564
o 563
o 562
o 561
o 560
c 5433 branches 18835 propagates
c total generalized unit propagation = 14082, success = 37.05%
s OPTIMUM FOUND
c Optimal Solution = 560
v 96 -44 17 47 -106 -64 111 -18 -36 -81 -134 126 -22 -1 -33 41 9 129 -25 -87 128 -105 4 39 133 -117 102 -66 -122 -98 -130 92 -114 -51 138 -132 -88 135 86 150 -65 108 49 38 -89 -32 10 145 -123 -107 -60 118 -104 29 -116 97 7 67 -23 54 -139 119 -100 76 113 -93 94 -45 74 84 37 -103 -21 -46 -125 68 137 -71 79 -144 -112 61 55 110 -11 -127 20 91 -13 142 3 26 -90 109 -53 62 -80 34 59 -70 85 149 -140 -52 -56 -136 31 -43 -16 42 83 2 141 -30 -115 -95 27 35 -147 -78 -15 121 -19 -28 -12 -24 -77 -63 73 -14 58 -101 72 -120 -50 -69 124 -143 75 -82 -148 131 -6 -146 57 40 8 -48 -5 99
8.005u 0.001s 0:08.07 99.1%	0+0k 0+0io 0pf+0w