Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_me_file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 323
o 483
o 482
o 481
o 478
o 477
o 476
o 472
o 467
o 466
o 465
o 462
o 461
o 459
o 457
o 456
o 455
o 454
o 453
o 452
o 451
o 450
o 449
o 448
o 447
o 446
o 444
o 443
o 442
o 440
o 439
o 437
o 436
o 434
o 433
c 247 branches 2459 propagates
c total generalized unit propagation = 1471, success = 10.94%
s OPTIMUM FOUND
c Optimal Solution = 433
v 111 -33 -43 16 57 -26 112 -114 84 20 68 -27 -137 -96 -72 87 -104 45 108 -88 -133 109 -36 -129 -86 -95 -3 -56 81 -103 -127 -44 -148 1 -48 4 71 6 29 -123 -9 150 -135 -106 125 82 -91 -128 11 -117 145 69 132 92 140 102 76 58 146 32 -149 2 139 -130 120 -34 136 122 -78 -63 -73 -90 61 52 23 -59 31 -14 37 -13 -94 -55 -121 -5 -42 -35 105 85 -143 -124 97 79 147 24 -75 -54 116 -50 -77 93 -101 -30 -41 39 -49 25 -64 -53 -115 22 -67 70 -107 -7 141 -51 110 89 -119 -21 19 65 10 113 -40 80 138 66 -12 -46 118 -98 18 -47 -126 142 28 8 -15 -134 38 -74 -83 99 17 60 144 131 100 62
0.257u 0.000s 0:00.29 86.2%	0+0k 0+0io 0pf+0w