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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5481
o 5474
o 5469
o 5465
o 5462
o 5448
o 5447
o 5436
o 5433
o 5431
o 5430
o 5420
o 5417
o 5416
o 5408
o 5407
o 5406
o 5399
o 5396
o 5382
o 5380
o 5377
o 5376
o 5357
o 5347
o 5343
o 5338
o 5335
o 5323
o 5308
o 5305
o 5300
o 5299
o 5292
o 5289
o 5279
o 5272
o 5264
o 5256
o 5253
o 5249
o 5239
o 5234
o 5231
o 5229
o 5216
o 5213
o 5211
o 5208
o 5201
o 5198
o 5196
o 5186
o 5183
o 5181
o 5172
o 5168
o 5163
o 5162
o 5159
o 5158
o 5156
o 5150
o 5148
o 5145
o 5144
o 5125
o 5110
o 5106
o 5102
o 5101
o 5100
o 5099
o 5092
o 5091
o 5088
o 5087
o 5071
o 5068
o 5067
o 5061
o 5050
o 5048
o 5045
o 5042
o 5037
o 5034
o 5029
o 5025
o 5024
o 5023
o 5018
o 5014
o 5009
o 5006
o 5004
o 5001
o 4985
o 4984
o 4979
o 4972
o 4969
o 4961
c 929 branches 4638 propagates
c total generalized unit propagation = 6236, success = 10.73%
s OPTIMUM FOUND
c Optimal Solution = 4961
v 146 92 -71 122 111 -14 -37 104 -125 6 61 -64 40 -119 24 -116 -115 -12 -56 39 51 -131 57 143 -76 79 129 -134 75 -31 -47 -88 2 82 -114 -30 136 43 -8 -89 41 -120 32 83 85 -70 -45 27 -72 11 -127 145 86 -73 15 50 16 77 128 -49 94 133 36 80 99 38 148 150 -135 132 -52 -147 96 -113 -124 103 -54 126 -110 -67 -90 -78 66 -1 121 68 -95 13 100 -118 -108 5 142 59 -106 21 117 -123 102 -42 105 62 -9 34 25 -44 -130 23 -29 -137 -69 55 -17 -60 -18 112 65 144 84 98 -81 -91 -93 26 149 141 -19 -3 53 -97 -107 33 -10 -35 -138 140 -46 -63 74 48 28 139 101 87 4 20 -7 -58 22 -109
21.112u 0.008s 0:21.15 99.8%	0+0k 0+0io 0pf+0w