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
c first lower bound: 4554
o 6150
o 6145
o 6141
o 6140
o 6135
o 6131
o 6130
o 6114
o 6110
o 6108
o 6102
o 6096
o 6094
o 6088
o 6086
o 6082
o 6073
o 6070
o 6061
o 6058
o 6051
o 6048
o 6035
o 6032
o 6027
o 6024
o 6020
o 6008
o 6004
o 5998
o 5986
o 5979
o 5978
o 5973
o 5967
o 5965
o 5956
o 5947
o 5945
o 5939
o 5932
o 5931
o 5930
o 5926
o 5923
o 5920
o 5911
o 5904
o 5901
o 5898
o 5889
o 5888
o 5887
o 5886
o 5883
o 5880
o 5871
o 5867
o 5866
o 5864
o 5858
o 5841
o 5833
o 5832
o 5821
o 5818
o 5816
o 5815
o 5814
o 5812
o 5800
o 5793
o 5778
o 5773
o 5757
o 5754
o 5746
o 5741
o 5735
o 5722
o 5718
o 5711
o 5696
o 5689
o 5678
o 5675
o 5672
o 5667
o 5658
o 5653
o 5650
o 5642
o 5641
o 5640
o 5639
o 5633
o 5632
o 5627
o 5616
o 5613
o 5607
o 5602
o 5598
o 5591
o 5588
o 5584
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 5513
o 5512
o 5508
o 5501
o 5489
o 5487
o 5485
o 5484
o 5479
o 5478
o 5476
o 5466
o 5465
o 5463
o 5461
o 5460
o 5456
o 5455
o 5449
o 5441
o 5440
o 5438
o 5434
o 5433
o 5429
o 5419
o 5416
o 5414
o 5404
o 5402
o 5399
o 5398
o 5397
o 5395
o 5392
o 5385
o 5382
o 5370
o 5369
o 5357
o 5353
o 5351
o 5349
o 5347
o 5346
o 5341
o 5339
c 1422 branches 9347 propagates
c total generalized unit propagation = 5636, success = 14.19%
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
5.820u 0.006s 0:05.85 99.4%	0+0k 0+0io 0pf+0w