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
c first lower bound: 553
o 789
o 788
o 781
o 773
o 767
o 763
o 757
o 752
o 750
o 749
o 742
o 741
o 736
o 735
o 734
o 733
o 732
o 731
o 725
o 724
o 723
o 722
o 717
o 712
o 711
o 709
o 708
o 707
o 703
o 698
o 686
o 683
o 678
o 674
o 672
o 665
o 661
o 655
o 652
o 642
o 641
o 637
o 633
o 629
c 148 branches 1419 propagates
c total generalized unit propagation = 764, success = 2.62%
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.077u 0.000s 0:00.09 77.7%	0+0k 0+0io 0pf+0w