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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 835
o 833
o 832
o 830
o 828
o 827
o 820
o 818
o 817
o 814
o 813
o 812
o 811
o 809
o 807
o 804
o 789
o 788
o 784
o 783
o 782
o 781
o 778
o 776
o 773
o 771
o 769
o 768
o 766
o 763
o 756
o 755
o 754
o 747
o 741
o 740
o 739
o 738
o 736
o 733
o 727
o 725
o 720
o 719
o 718
o 716
o 713
o 709
o 705
o 704
o 698
o 697
o 692
o 689
o 688
c 220 branches 1766 propagates
c total generalized unit propagation = 2051, success = 3.17%
s OPTIMUM FOUND
c Optimal Solution = 688
v -56 -71 37 -111 -116 -29 -28 -42 -22 150 68 15 148 -4 130 -59 -93 36 129 65 -19 47 -79 63 -32 149 30 73 121 76 49 -85 61 -133 135 25 -64 146 -27 -108 137 -124 -92 -48 2 31 77 -44 -72 17 -69 80 43 -91 33 -119 16 125 -21 94 97 50 143 67 -40 -8 141 60 -132 142 -112 96 -106 -103 101 95 -39 122 100 -7 74 -134 86 -78 3 41 -57 26 -145 -140 -53 144 9 105 -12 -139 82 -14 98 -88 51 -66 -54 10 13 118 131 -136 -35 -23 84 -11 102 138 -70 -99 83 -24 -55 113 -115 75 -38 90 -45 120 -52 -89 6 20 -62 58 -1 114 110 -107 117 -104 -5 126 128 -147 123 -81 46 18 -34 127 87 109
0.823u 0.002s 0:00.82 100.0%	0+0k 0+0io 0pf+0w