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_hi_file_rwpms_wcnf_L2_V150_C5000_H150_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5839
o 5829
o 5822
o 5820
o 5816
o 5813
o 5799
o 5797
o 5796
o 5790
o 5782
o 5771
o 5765
o 5763
o 5762
o 5758
o 5755
o 5750
o 5744
o 5742
o 5738
o 5727
o 5726
o 5715
o 5713
o 5708
o 5706
o 5702
o 5696
o 5693
o 5691
o 5683
o 5681
o 5675
o 5664
o 5660
o 5659
o 5657
o 5648
o 5647
o 5646
o 5644
o 5642
o 5629
o 5627
o 5625
o 5623
o 5614
o 5605
o 5604
o 5601
o 5596
o 5593
o 5592
o 5588
o 5586
o 5585
o 5569
o 5568
o 5566
o 5557
o 5556
o 5539
o 5530
o 5526
o 5523
o 5521
o 5509
o 5498
o 5475
o 5464
o 5457
o 5453
o 5451
c 2425 branches 6335 propagates
c total generalized unit propagation = 11023, success = 20.53%
s OPTIMUM FOUND
c Optimal Solution = 5451
v -122 104 -142 -55 -150 145 -21 22 71 -119 -9 111 133 116 125 -61 -140 -81 -109 -75 26 -115 47 118 -79 -57 -85 90 -65 73 120 105 148 -112 -10 89 -141 -11 -34 -80 106 124 -146 -62 -30 -31 -27 103 20 58 132 -18 -15 -83 -101 -70 130 -60 97 86 -64 147 -99 49 -136 -25 -29 -88 -149 -43 -137 -129 50 -108 68 -94 54 66 35 -69 77 -38 7 -13 39 -93 -44 -32 78 -114 2 -46 6 45 -139 -126 76 84 40 113 -135 131 -102 -5 -72 -1 -48 -41 96 -16 -117 -53 127 -82 -4 -42 14 138 -91 59 63 -143 -95 87 128 12 17 -121 37 -107 -110 -24 -28 52 92 -100 -98 -33 -123 144 -23 8 -51 19 134 56 74 -67 -3 36
102.146u 0.003s 1:42.18 99.9%	0+0k 0+0io 0pf+0w