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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 3464
o 4604
o 4587
o 4585
o 4581
o 4579
o 4574
o 4569
o 4566
o 4558
o 4551
o 4549
o 4548
o 4547
o 4540
o 4537
o 4536
o 4535
o 4532
o 4528
o 4526
o 4525
o 4522
o 4520
o 4515
o 4512
o 4506
o 4505
o 4502
o 4501
o 4500
o 4495
o 4492
o 4491
o 4488
o 4484
o 4481
o 4478
o 4475
o 4471
o 4467
o 4459
o 4457
o 4454
o 4452
o 4448
o 4445
o 4443
o 4441
o 4436
o 4432
o 4428
o 4423
o 4419
o 4411
o 4404
o 4401
o 4398
o 4397
o 4390
o 4389
o 4386
o 4381
o 4375
o 4358
o 4352
o 4351
o 4346
o 4342
o 4340
o 4334
o 4333
o 4328
o 4324
o 4316
o 4310
o 4308
o 4306
o 4299
o 4297
o 4296
o 4290
o 4289
o 4285
o 4280
o 4278
o 4277
o 4274
o 4266
o 4262
o 4261
o 4257
o 4256
o 4253
o 4248
o 4244
o 4242
o 4240
o 4228
o 4226
o 4224
o 4218
o 4217
o 4214
o 4211
o 4209
o 4208
o 4190
o 4183
o 4176
o 4174
o 4164
o 4161
o 4159
o 4149
c 1695 branches 10751 propagates
c total generalized unit propagation = 5200, success = 26.94%
s OPTIMUM FOUND
c Optimal Solution = 4149
v 11 17 -101 82 -139 -117 112 -119 43 149 -45 137 -113 -13 98 92 115 -42 141 107 -127 81 -20 8 144 -22 -38 110 1 -58 130 94 120 -77 56 -54 -14 35 -91 50 47 -27 31 69 -108 -95 -109 70 -10 59 39 -86 140 -32 -103 100 48 71 135 44 -65 -76 105 79 -62 61 -125 49 -124 129 84 -75 83 80 -7 24 85 138 -37 -19 -104 -148 41 -88 106 34 -142 122 -30 -16 -6 -9 23 -116 -132 -89 -118 -96 46 63 29 133 -52 111 121 -60 -136 72 2 123 134 -147 28 143 36 87 73 -93 74 -3 150 97 -55 -131 -78 -18 26 -5 -57 126 33 146 -66 90 -67 40 53 15 145 -25 68 4 -51 12 102 -128 64 114 -21 99
20.613u 0.005s 0:20.75 99.3%	0+0k 0+0io 0pf+0w