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_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 6091
o 6075
o 6072
o 6061
o 6055
o 6054
o 6049
o 6046
o 6029
o 6027
o 6026
o 6020
o 6016
o 6015
o 6012
o 5998
o 5989
o 5976
o 5975
o 5958
o 5954
o 5950
o 5941
o 5925
o 5919
o 5912
o 5910
o 5893
o 5892
o 5891
o 5875
o 5872
o 5869
o 5860
o 5859
o 5849
o 5843
o 5835
o 5832
o 5827
o 5825
o 5824
o 5819
o 5815
o 5805
o 5793
o 5783
o 5779
o 5775
o 5774
o 5771
o 5764
o 5763
o 5753
o 5750
o 5749
o 5745
o 5738
o 5736
o 5729
o 5716
o 5709
o 5691
o 5688
o 5670
o 5660
o 5645
o 5641
o 5637
o 5626
o 5622
o 5621
o 5613
o 5609
o 5608
o 5598
o 5591
o 5588
o 5587
o 5584
o 5576
o 5569
o 5567
o 5565
o 5558
o 5556
o 5553
o 5547
o 5542
o 5540
o 5539
o 5528
o 5518
o 5515
o 5514
o 5513
o 5501
o 5489
o 5487
o 5485
o 5484
o 5479
o 5478
o 5476
o 5471
o 5466
o 5465
o 5463
o 5461
o 5460
o 5456
o 5455
o 5449
o 5447
o 5441
o 5440
o 5434
o 5433
o 5429
o 5419
o 5416
o 5415
o 5413
o 5404
o 5402
o 5399
o 5397
o 5392
o 5387
o 5385
o 5382
o 5370
o 5369
o 5366
o 5357
o 5353
o 5351
o 5349
o 5347
o 5341
o 5339
c 1096 branches 6389 propagates
c total generalized unit propagation = 8247, success = 9.24%
s OPTIMUM FOUND
c Optimal Solution = 5339
v -144 56 -109 79 83 -129 -78 -1 38 -8 -98 -71 -119 137 -36 -57 29 -26 15 -108 87 -58 121 -5 -77 64 -47 -102 131 -30 -68 106 39 84 -9 141 -117 -27 55 13 -124 89 41 -147 -107 -116 91 -118 69 150 -49 -95 -7 -135 110 -67 148 -140 -88 126 25 31 93 -76 -10 -18 -97 34 -16 142 -24 -112 -22 2 -12 14 45 20 -133 -128 66 42 -35 125 -48 -138 4 11 52 -105 -63 104 -19 62 145 90 65 -94 85 134 111 51 -82 21 -72 146 -86 -6 115 123 -59 -32 40 -23 17 101 -43 -96 -80 53 74 -92 81 -60 -28 61 -103 -44 -54 -127 -70 -122 130 37 75 -132 99 50 114 73 46 100 3 -136 120 -149 33 -113 143 -139
17.040u 0.004s 0:17.04 100.0%	0+0k 0+0io 0pf+0w