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_9.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3000_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 411
o 634
o 633
o 632
o 631
o 630
o 629
o 628
o 627
o 626
o 625
o 624
o 623
o 622
o 620
o 619
o 618
o 617
o 616
o 615
o 614
o 613
o 612
o 611
o 609
o 608
o 606
o 604
o 603
o 601
o 600
o 598
o 596
o 595
o 594
o 593
o 591
o 590
o 589
o 588
o 587
o 585
o 584
o 583
o 582
o 581
o 580
o 578
o 577
o 575
o 572
o 571
o 570
o 568
o 567
o 566
o 562
o 561
o 559
o 557
o 556
o 553
o 552
c 864 branches 5229 propagates
c total generalized unit propagation = 3218, success = 21.78%
s OPTIMUM FOUND
c Optimal Solution = 552
v -113 72 -107 18 -103 -32 -38 75 -117 58 106 48 -135 -119 41 109 -65 -127 -9 85 63 -53 -121 -101 39 77 -7 -126 110 69 -133 -3 5 -68 137 -40 57 79 -64 -54 -128 -14 93 -129 -60 -125 -46 -145 -89 -20 -97 -148 -66 1 -31 80 -123 -71 -47 130 -21 -111 -90 -33 -6 -112 138 35 -52 149 -124 -76 16 144 120 30 -37 81 73 -42 -88 -22 -28 -10 -2 -108 -43 -115 -13 67 -70 -122 17 140 102 95 -141 24 19 146 4 -23 -29 44 -59 -78 83 -142 36 -136 -56 -15 114 105 -50 -86 91 -8 -26 132 -49 139 -92 61 99 84 -12 51 -34 143 -74 116 -45 -25 -55 134 -11 -96 -94 -27 -100 -147 -104 98 82 -62 -118 -150 -131 87
1.106u 0.002s 0:01.11 99.0%	0+0k 0+0io 0pf+0w