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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 810
o 809
o 802
o 799
o 798
o 791
o 789
o 786
o 778
o 775
o 773
o 765
o 758
o 755
o 752
o 751
o 741
o 739
o 731
o 728
o 725
o 721
o 720
o 718
o 717
o 714
o 706
o 703
o 698
o 686
o 683
o 678
o 674
o 672
o 670
o 664
o 661
o 658
o 655
o 652
o 642
o 641
o 637
o 633
o 629
c 148 branches 1170 propagates
c total generalized unit propagation = 1361, success = 3.16%
s OPTIMUM FOUND
c Optimal Solution = 629
v -140 -65 -78 61 7 -116 -115 -143 -120 -109 -25 133 141 -74 93 150 111 9 -38 -51 -15 -43 45 -125 4 -123 -46 80 -22 101 -30 -69 -113 31 -6 64 -100 36 131 -122 -10 -18 -54 -130 -104 13 -144 138 -63 -136 112 29 27 -42 85 126 39 48 -108 20 28 139 90 149 -75 59 86 -21 -52 -44 147 -91 73 71 35 -57 56 8 49 67 -129 -17 -92 -106 11 -62 95 -134 1 -105 53 60 34 -98 47 -135 -26 146 82 23 -121 50 70 -96 77 114 19 103 -3 -12 -5 137 -128 55 -97 37 -83 -119 -81 14 -68 2 -88 89 -79 110 -40 -117 -124 -84 -132 87 -33 -58 94 102 -76 -148 72 -66 24 142 -107 -16 41 -127 99 145 118 -32
0.255u 0.003s 0:00.26 96.1%	0+0k 0+0io 0pf+0w