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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5778
o 5768
o 5764
o 5748
o 5743
o 5733
o 5732
o 5719
o 5706
o 5695
o 5684
o 5678
o 5672
o 5670
o 5659
o 5656
o 5655
o 5637
o 5630
o 5627
o 5620
o 5604
o 5602
o 5593
o 5591
o 5585
o 5580
o 5575
o 5570
o 5561
o 5551
o 5547
o 5543
o 5540
o 5538
o 5537
o 5534
o 5531
o 5530
o 5527
o 5522
o 5521
o 5519
o 5516
o 5511
o 5508
o 5507
o 5502
o 5499
o 5497
o 5495
o 5483
o 5469
o 5467
o 5465
o 5455
o 5454
o 5453
o 5450
o 5439
o 5436
o 5434
o 5428
c 1088 branches 3746 propagates
c total generalized unit propagation = 5751, success = 15.95%
s OPTIMUM FOUND
c Optimal Solution = 5428
v -142 34 122 -73 -18 143 -112 67 31 11 -33 -21 -91 -102 -65 -101 113 -134 -37 84 -78 30 -40 -22 36 -56 -16 -85 117 -35 23 135 -138 -24 89 17 43 -81 50 116 -68 -52 -148 29 118 -61 53 -14 -141 75 -63 -146 42 64 -70 133 -71 -12 -123 82 -2 130 108 104 -100 -77 39 87 19 126 98 -119 -86 41 128 -137 -62 93 -9 32 45 27 109 -88 49 -149 131 74 -79 -121 106 55 129 139 -59 -147 -8 -136 -90 46 -150 -145 48 -95 96 -7 94 -15 58 -110 5 -80 105 -120 72 -25 51 92 -125 140 1 -132 57 -103 20 -107 -54 -6 47 -111 -115 99 124 44 26 3 -76 -10 83 60 -97 -144 -114 -66 127 -69 -28 38 4 -13
32.400u 0.004s 0:32.60 99.3%	0+0k 0+0io 0pf+0w