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_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5436
o 5435
o 5431
o 5429
o 5425
o 5424
o 5421
o 5417
o 5411
o 5410
o 5409
o 5405
o 5399
o 5394
o 5383
o 5381
o 5380
o 5378
o 5376
o 5375
o 5373
o 5371
o 5369
o 5363
o 5358
o 5357
o 5353
o 5350
o 5339
o 5333
o 5332
o 5320
o 5318
o 5314
o 5313
o 5309
o 5306
o 5305
o 5304
o 5301
o 5291
o 5290
o 5287
o 5286
o 5285
o 5283
o 5282
o 5281
o 5275
o 5262
o 5261
o 5255
o 5253
o 5249
o 5248
o 5246
o 5245
o 5242
o 5241
o 5233
o 5231
o 5228
o 5220
o 5217
o 5215
o 5213
o 5200
o 5199
o 5196
o 5193
o 5182
o 5181
o 5174
o 5173
o 5170
o 5165
o 5160
o 5158
o 5156
o 5155
o 5154
o 5148
o 5143
o 5141
o 5135
o 5134
o 5127
o 5126
o 5120
o 5119
o 5117
o 5116
o 5112
o 5104
o 5102
o 5099
o 5098
o 5095
o 5081
o 5077
o 5076
o 5075
o 5068
o 5064
o 5057
o 5056
o 5054
o 5038
o 5034
o 5030
o 5023
c 1896 branches 6102 propagates
c total generalized unit propagation = 9655, success = 17.16%
s OPTIMUM FOUND
c Optimal Solution = 5023
v 70 -127 -13 97 73 149 53 31 68 26 121 144 -85 113 64 125 -138 -133 -1 -15 -14 -10 -120 -62 -37 93 -87 136 91 145 -4 -123 20 132 30 102 -16 -61 -76 2 -78 -72 36 -59 8 -92 -39 74 -112 -17 7 79 6 67 -18 11 110 -50 57 77 -65 28 -5 -54 58 63 148 -124 -109 -43 23 98 -150 -27 -117 56 142 25 84 47 130 119 -104 -32 -106 -33 141 -111 -143 96 140 -114 42 29 -55 49 -24 -90 81 -99 -38 -69 -34 40 -131 -41 12 52 -89 -139 22 -95 -66 -83 -108 60 103 82 -147 -134 -45 75 -3 -48 80 86 100 101 115 118 21 -137 51 88 146 -46 35 -116 -122 -71 135 -9 44 -129 19 -107 -105 -128 -126 -94
28.332u 0.005s 0:28.51 99.3%	0+0k 0+0io 0pf+0w