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_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 815
o 811
o 810
o 807
o 803
o 800
o 797
o 794
o 793
o 790
o 786
o 783
o 781
o 778
o 775
o 770
o 767
o 764
o 761
o 756
o 753
o 750
o 748
o 744
o 742
o 740
o 737
o 734
o 731
o 724
o 722
o 719
o 715
o 712
o 708
o 707
o 706
o 705
o 700
o 698
o 694
o 692
o 688
o 686
o 685
o 683
o 679
o 677
o 676
o 674
o 673
o 671
o 669
o 668
c 290 branches 1723 propagates
c total generalized unit propagation = 2107, success = 4.46%
s OPTIMUM FOUND
c Optimal Solution = 668
v 62 -95 -2 -82 98 64 -104 -41 50 96 57 -10 108 -47 -90 -140 -130 53 -137 77 -58 13 30 109 68 14 56 -60 -145 54 -69 106 -45 -26 84 121 59 15 -126 -28 25 -81 -99 -119 38 -86 43 -127 29 -44 -46 -49 71 -143 -147 124 -112 7 -74 -89 -94 114 -88 -103 52 24 -12 -113 -67 -128 125 -92 -148 -6 -133 -132 66 -75 23 -135 -40 117 -9 107 131 -129 -134 1 123 -118 61 -70 -21 101 150 -78 -31 4 -111 141 -85 122 48 37 42 102 -105 33 -136 79 65 -120 -20 -27 93 -18 73 -3 16 -142 -91 8 -63 -72 76 36 83 116 11 -17 -32 -22 138 139 5 97 51 -115 55 -110 -149 87 -34 80 -19 -100 -144 -35 146 -39
0.384u 0.001s 0:00.40 95.0%	0+0k 0+0io 0pf+0w