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_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5837
o 5827
o 5826
o 5825
o 5824
o 5821
o 5819
o 5817
o 5815
o 5813
o 5809
o 5807
o 5806
o 5801
o 5798
o 5788
o 5783
o 5782
o 5776
o 5774
o 5764
o 5759
o 5741
o 5736
o 5732
o 5729
o 5724
o 5721
o 5720
o 5719
o 5710
o 5705
o 5698
o 5690
o 5682
o 5678
o 5677
o 5673
o 5672
o 5669
o 5666
o 5664
o 5663
o 5661
o 5659
o 5654
o 5650
o 5648
o 5644
o 5643
o 5640
o 5636
o 5634
o 5628
o 5625
o 5624
o 5622
o 5621
o 5619
o 5618
o 5614
o 5611
o 5608
o 5606
o 5601
o 5597
o 5591
o 5584
o 5583
o 5579
o 5576
o 5568
o 5566
o 5564
o 5561
o 5559
o 5557
o 5548
o 5546
o 5532
o 5526
o 5519
o 5516
o 5511
o 5509
o 5508
o 5505
o 5504
o 5503
o 5501
o 5500
o 5496
o 5495
o 5494
o 5493
o 5488
o 5483
o 5478
o 5477
o 5475
o 5474
o 5473
o 5468
o 5466
o 5461
o 5460
o 5457
o 5454
o 5450
o 5448
o 5446
o 5443
o 5438
o 5432
o 5431
o 5427
o 5426
o 5425
o 5421
o 5419
o 5414
o 5413
o 5412
o 5407
o 5403
o 5402
o 5398
o 5397
o 5396
o 5392
o 5388
o 5387
o 5384
o 5381
o 5377
o 5376
o 5373
o 5371
o 5365
o 5363
o 5348
o 5345
o 5338
c 2249 branches 8495 propagates
c total generalized unit propagation = 12672, success = 15.21%
s OPTIMUM FOUND
c Optimal Solution = 5338
v 108 -106 -65 146 -4 78 -98 56 -75 25 -57 -109 -90 67 55 118 125 76 -41 85 -83 142 22 -51 107 -144 99 -88 74 62 133 58 -138 -130 20 -16 70 36 134 -13 47 23 104 -121 10 35 8 -86 -30 43 105 -94 -5 141 68 37 -95 91 46 116 34 -115 -63 -27 124 -72 117 -73 84 -40 14 32 3 100 -11 -53 92 -136 -29 -60 131 9 -24 18 -21 -140 -19 -143 -15 -148 69 103 61 -77 -113 -132 -127 -2 -64 135 -26 7 -82 128 -147 38 149 50 97 59 -45 -145 -6 87 120 -112 -71 -137 -150 -111 80 -44 1 79 66 33 96 -49 39 -102 52 42 -129 81 -93 -114 -126 -139 89 31 119 -17 28 -122 54 -123 110 -101 48 -12
30.781u 0.002s 0:30.99 99.3%	0+0k 0+0io 0pf+0w