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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 760
o 753
o 747
o 743
o 737
o 731
o 729
o 723
o 722
o 715
o 708
o 704
o 703
o 701
o 699
o 698
o 696
o 694
o 690
o 687
o 685
o 684
o 682
o 677
o 676
o 671
o 670
o 664
o 663
o 660
o 659
o 657
o 655
o 651
o 649
o 648
o 646
o 643
o 641
c 145 branches 1065 propagates
c total generalized unit propagation = 1231, success = 1.71%
s OPTIMUM FOUND
c Optimal Solution = 641
v -43 -57 -7 -25 -58 84 -26 129 -31 95 -21 32 -33 61 -117 77 -10 -82 -123 -88 -111 -56 144 -90 -105 89 136 121 40 6 -12 -93 113 76 85 36 126 81 -20 -145 112 147 45 4 -148 -131 -69 -75 -47 128 63 -80 23 19 11 -38 120 133 -18 -30 -106 142 -104 83 -135 39 114 -99 44 -27 87 -134 96 -86 -1 54 -49 119 -8 -60 -118 -28 -116 -15 -72 66 100 -46 -102 -122 149 -29 37 -109 -71 -34 -62 -146 -94 103 -115 132 -73 -74 143 14 79 -3 -5 -98 -17 13 108 -70 55 -42 -140 -101 64 -124 2 -139 138 50 -65 125 91 -127 -141 41 -110 97 51 107 59 53 -24 92 -48 137 -35 68 67 16 -52 9 130 -78 150 -22
0.215u 0.001s 0:00.22 95.4%	0+0k 0+0io 0pf+0w