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_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_0.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4496
o 4495
o 4492
o 4483
o 4469
o 4440
o 4437
o 4429
o 4424
o 4414
o 4412
o 4411
o 4404
o 4401
o 4399
o 4398
o 4396
o 4393
o 4384
o 4383
o 4381
o 4374
o 4371
o 4364
o 4354
o 4349
o 4347
o 4342
o 4319
o 4312
o 4298
o 4297
o 4286
o 4279
o 4278
o 4264
o 4256
o 4251
o 4250
o 4235
o 4231
c 280 branches 1860 propagates
c total generalized unit propagation = 2302, success = 7.04%
s OPTIMUM FOUND
c Optimal Solution = 4231
v 79 84 -86 45 119 -87 -33 23 -106 150 38 35 -21 -54 135 -141 -74 143 80 -48 -51 66 103 133 -53 4 -93 -43 -85 72 -65 -116 91 57 112 -14 97 61 90 20 130 -111 -30 -62 104 -113 -117 81 -64 118 144 -102 -131 -13 125 122 60 55 -107 18 -1 75 -123 -11 114 110 -82 -77 -25 78 6 149 95 32 -98 96 -139 -128 145 46 148 -100 -132 -59 94 -105 47 -26 126 73 42 41 7 28 40 -138 -12 -19 -16 -8 140 69 71 -39 136 -92 -108 -137 67 -31 127 -58 52 -83 63 -120 -27 15 44 -9 -124 49 -101 24 -68 -36 2 89 -29 76 -129 109 -88 50 37 -146 22 -5 17 70 -147 34 10 -3 -56 -134 -142 -99 121 -115
6.261u 0.003s 0:06.28 99.6%	0+0k 0+0io 0pf+0w