Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 809
o 807
o 806
o 804
o 795
o 792
o 781
o 779
o 769
o 765
o 763
o 761
o 760
o 750
o 744
o 743
o 741
o 740
o 739
o 732
o 730
o 729
o 724
o 722
o 721
o 719
o 718
o 713
o 706
o 703
o 698
o 697
o 696
o 695
o 694
o 693
o 686
o 685
o 684
o 683
o 681
o 678
o 674
o 671
o 668
o 653
o 650
o 648
o 646
o 644
o 639
o 637
o 635
o 634
o 620
o 618
o 614
o 612
o 610
o 609
o 607
o 606
o 604
o 603
o 602
o 600
o 599
o 597
o 594
o 592
o 591
o 586
o 585
o 577
c 364 branches 2581 propagates
c total generalized unit propagation = 3064, success = 3.88%
s OPTIMUM FOUND
c Optimal Solution = 577
v -131 -80 -132 48 -19 125 -118 -67 -85 -149 -13 30 24 50 -103 -42 121 101 143 -83 -117 -17 45 -43 -91 -93 -104 -134 -115 25 -26 65 -150 18 52 16 -97 40 -130 -136 -60 57 75 139 -2 -31 -116 -78 3 -90 62 -14 8 73 -32 -148 -61 -55 -5 36 12 87 86 -33 -119 100 89 -79 59 -113 -94 -53 64 -68 -142 44 -58 74 46 23 -88 -56 39 -81 -10 1 -127 128 138 122 -4 34 -133 -29 6 109 -47 -41 -137 124 129 112 147 82 114 -66 145 -110 -21 -111 9 -108 140 -120 -7 98 76 63 -144 92 70 -106 95 -22 -27 -99 -135 102 28 -54 105 107 15 49 38 -35 -77 -51 96 71 141 84 -123 37 -72 -146 -69 -11 20 126
0.686u 0.000s 0:00.69 98.5%	0+0k 0+0io 0pf+0w