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_C4500_H150_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5404
o 5401
o 5397
o 5395
o 5392
o 5391
o 5384
o 5380
o 5373
o 5359
o 5351
o 5346
o 5330
o 5327
o 5326
o 5322
o 5297
o 5294
o 5293
o 5291
o 5277
o 5274
o 5269
o 5265
o 5246
o 5242
o 5237
o 5236
o 5228
o 5225
o 5224
o 5222
o 5221
o 5210
o 5205
o 5196
o 5195
o 5190
o 5182
o 5161
o 5158
o 5154
o 5151
o 5150
o 5145
o 5143
o 5128
o 5123
o 5109
o 5097
o 5090
o 5087
o 5084
o 5078
o 5077
o 5066
o 5054
o 5051
o 5048
o 5044
o 5043
o 5037
o 5035
o 5031
o 5026
o 5025
o 5020
o 5016
o 5007
o 5005
o 5003
o 5000
o 4996
o 4994
o 4993
o 4990
o 4987
o 4985
o 4976
o 4967
o 4966
o 4965
o 4958
o 4953
o 4947
o 4935
o 4918
o 4917
o 4897
o 4887
o 4884
o 4878
o 4863
o 4846
o 4843
o 4842
o 4839
o 4838
o 4829
o 4824
o 4823
o 4822
o 4817
o 4814
o 4807
o 4806
o 4800
o 4782
o 4776
o 4773
o 4771
o 4761
o 4751
o 4749
o 4741
o 4739
o 4736
o 4734
o 4731
o 4717
o 4714
o 4712
o 4710
c 1155 branches 5480 propagates
c total generalized unit propagation = 7495, success = 11.47%
s OPTIMUM FOUND
c Optimal Solution = 4710
v -109 36 103 -100 -59 28 11 131 98 8 58 88 65 -68 79 112 -9 147 111 -125 -140 -3 1 14 16 -139 73 130 56 -40 91 48 64 -38 63 -124 -22 138 -37 34 23 -101 -84 15 -75 87 49 96 -118 133 -17 132 -105 -60 31 81 115 -95 -85 10 -70 -93 -78 -20 129 -143 50 -107 -120 80 44 -55 141 89 -116 -66 52 -41 -92 45 -114 123 -62 -47 -144 18 128 -150 43 76 -145 137 51 -35 -142 -53 -25 69 108 102 110 -61 -106 7 -90 -6 67 97 127 54 42 13 57 -134 -39 119 121 72 27 -135 30 33 -122 99 148 -32 -94 -126 71 -19 -77 -2 12 149 -26 -21 146 83 104 -5 29 4 -24 113 -46 -74 -86 136 -117 82
39.004u 0.004s 0:39.27 99.3%	0+0k 0+0io 0pf+0w