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_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5848
o 5834
o 5832
o 5825
o 5822
o 5810
o 5808
o 5807
o 5805
o 5793
o 5792
o 5780
o 5778
o 5776
o 5772
o 5765
o 5761
o 5751
o 5747
o 5743
o 5732
o 5720
o 5719
o 5707
o 5700
o 5694
o 5683
o 5682
o 5674
o 5661
o 5648
o 5644
o 5641
o 5634
o 5629
o 5624
o 5623
o 5616
o 5614
o 5604
o 5599
o 5588
o 5577
o 5565
o 5561
o 5558
o 5551
o 5550
o 5549
o 5546
o 5545
o 5539
o 5538
o 5525
o 5523
o 5522
o 5520
o 5511
o 5509
o 5504
o 5496
o 5494
o 5492
o 5486
o 5483
o 5480
o 5474
o 5468
o 5466
o 5464
o 5463
o 5462
o 5460
o 5458
o 5455
o 5453
o 5449
o 5438
o 5436
o 5432
o 5428
o 5420
o 5418
o 5415
o 5413
o 5408
o 5406
o 5405
o 5398
o 5393
o 5390
o 5376
c 906 branches 4143 propagates
c total generalized unit propagation = 5750, success = 12.19%
s OPTIMUM FOUND
c Optimal Solution = 5376
v 113 -137 -28 -77 100 40 -126 -21 119 -15 -14 50 141 83 37 11 -24 118 46 -7 66 -41 144 18 -112 31 -111 27 -44 -129 -64 -98 53 -20 -57 48 -122 79 -117 96 89 -78 56 -115 -51 -35 -104 102 -8 -10 54 -59 -132 26 -4 107 -97 -147 63 -58 73 -88 -85 -150 139 -5 -116 -39 45 86 6 -94 99 19 -136 -34 65 -61 148 -3 -67 -23 92 90 125 87 131 120 -135 -1 49 62 -84 -55 128 114 142 127 138 -38 -140 80 74 9 -123 108 30 145 110 72 32 16 47 42 133 93 60 -82 -68 -105 -103 -146 -91 -70 -124 -76 130 -121 43 2 -134 71 -69 22 75 -101 106 149 -29 95 -33 25 13 12 -81 -109 17 143 36 52
23.038u 0.004s 0:23.19 99.3%	0+0k 0+0io 0pf+0w