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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5917
o 5896
o 5895
o 5888
o 5883
o 5881
o 5871
o 5870
o 5866
o 5865
o 5864
o 5862
o 5859
o 5857
o 5841
o 5840
o 5833
o 5832
o 5831
o 5830
o 5828
o 5821
o 5817
o 5808
o 5807
o 5800
o 5798
o 5793
o 5792
o 5774
o 5773
o 5772
o 5771
o 5768
o 5757
o 5756
o 5754
o 5745
o 5744
o 5742
o 5738
o 5737
o 5730
o 5728
o 5727
o 5726
o 5725
o 5723
o 5711
o 5710
o 5704
o 5703
o 5701
o 5697
o 5696
o 5686
o 5680
o 5676
o 5670
o 5668
o 5662
o 5661
o 5657
o 5655
o 5650
o 5644
o 5642
o 5640
o 5635
o 5628
o 5620
o 5614
o 5613
o 5609
o 5601
o 5599
o 5592
o 5589
o 5586
o 5582
o 5581
o 5577
o 5575
o 5570
o 5568
o 5567
o 5563
o 5560
o 5558
o 5551
o 5543
o 5542
o 5541
o 5526
o 5525
o 5524
o 5520
o 5512
o 5507
o 5497
o 5492
o 5491
o 5485
o 5475
o 5473
o 5471
o 5470
o 5469
o 5468
o 5467
o 5460
o 5456
o 5451
o 5444
o 5441
o 5433
o 5431
o 5426
o 5424
o 5423
o 5421
o 5418
o 5410
o 5408
o 5394
o 5393
o 5392
o 5389
o 5386
o 5383
o 5372
o 5366
o 5360
o 5357
o 5355
o 5353
o 5350
o 5340
o 5337
o 5335
o 5333
o 5332
o 5326
o 5324
o 5318
o 5312
c 2556 branches 8742 propagates
c total generalized unit propagation = 13566, success = 16.72%
s OPTIMUM FOUND
c Optimal Solution = 5312
v -150 25 -18 85 14 107 -122 -119 106 44 9 -125 -61 121 -137 31 120 -29 116 -42 51 23 136 1 91 93 4 53 84 13 -113 41 64 -81 -50 24 -133 47 -60 -87 -124 56 36 79 80 139 -95 17 141 109 132 108 131 -100 140 123 58 26 15 40 59 11 48 -110 37 129 -115 -74 49 -5 -63 -10 -142 -52 -62 -72 118 -86 97 28 -92 -102 -144 146 77 -117 -16 -99 27 30 -57 -34 82 111 130 66 -94 -127 -20 88 35 -43 148 -78 112 -68 -69 83 -135 -76 2 38 -89 -7 -3 96 -71 -32 22 -67 -143 -114 -55 138 21 54 75 -145 -104 65 -33 -128 -98 134 45 12 -126 90 101 70 46 19 6 -105 103 -8 147 73 -39 149
61.826u 0.007s 1:01.89 99.8%	0+0k 0+0io 0pf+0w