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_C4000_H150_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 3398
o 4640
o 4639
o 4635
o 4629
o 4622
o 4621
o 4617
o 4604
o 4599
o 4588
o 4585
o 4584
o 4576
o 4575
o 4574
o 4570
o 4556
o 4554
o 4551
o 4550
o 4540
o 4537
o 4534
o 4520
o 4515
o 4512
o 4506
o 4501
o 4498
o 4497
o 4486
o 4480
o 4473
o 4468
o 4461
o 4458
o 4448
o 4441
o 4437
o 4434
o 4427
o 4425
o 4417
o 4410
o 4406
o 4402
o 4397
o 4392
o 4387
o 4380
o 4372
o 4369
o 4365
o 4361
o 4355
o 4345
o 4341
o 4337
o 4332
o 4329
o 4321
o 4317
o 4313
o 4309
o 4308
o 4307
o 4300
o 4291
o 4290
o 4288
o 4276
o 4272
o 4269
o 4253
o 4249
o 4248
o 4238
o 4237
o 4235
o 4234
o 4232
o 4231
o 4230
o 4228
o 4227
o 4225
o 4215
o 4213
o 4209
o 4199
o 4196
o 4194
o 4188
o 4185
o 4184
o 4178
o 4177
o 4176
o 4170
o 4169
o 4166
o 4164
o 4161
o 4155
o 4154
o 4153
o 4152
o 4142
o 4140
o 4137
o 4136
o 4129
o 4127
o 4125
o 4118
o 4117
o 4113
o 4112
o 4111
o 4108
o 4107
o 4106
o 4105
o 4102
o 4089
o 4087
o 4086
o 4068
o 4066
o 4052
o 4050
o 4040
o 4035
o 4031
c 1717 branches 9563 propagates
c total generalized unit propagation = 5718, success = 22.53%
s OPTIMUM FOUND
c Optimal Solution = 4031
v -127 22 -80 -11 -54 64 102 126 -56 55 57 -59 34 105 42 -53 121 76 -107 -50 -52 77 -114 -134 -113 -71 124 120 8 -45 -90 16 -32 -21 -106 -82 37 142 83 -112 29 -3 5 118 -63 9 -40 128 150 104 20 138 -48 -23 -27 -131 -101 -66 12 -4 31 -26 -36 93 -73 -15 -39 116 -143 -87 -97 109 14 -146 13 85 100 92 6 78 -25 119 -24 -115 -38 49 -135 -129 -141 -44 62 99 86 -139 46 10 122 -108 -132 -95 61 17 -136 7 -67 -130 88 -137 19 -140 -51 -133 28 -148 -75 -123 -30 81 -33 -1 -69 -18 -103 111 110 -149 -2 98 -60 43 -91 -147 96 -79 -84 -89 125 -35 47 58 -74 -94 117 -144 41 68 -65 145 -70 -72
10.672u 0.008s 0:10.71 99.6%	0+0k 0+0io 0pf+0w