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_7.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 324
o 487
o 485
o 484
o 483
o 481
o 478
o 477
o 476
o 474
o 472
o 471
o 469
o 468
o 467
o 466
o 465
o 464
o 461
o 458
o 456
o 455
o 454
o 453
o 451
o 450
o 449
o 448
o 447
o 446
o 445
o 444
o 443
o 442
o 441
o 440
o 439
o 438
o 437
o 436
o 435
o 434
c 2279 branches 9186 propagates
c total generalized unit propagation = 6701, success = 32.03%
s OPTIMUM FOUND
c Optimal Solution = 434
v -132 -5 -35 58 -67 56 -119 -116 -22 95 124 -37 4 -85 -65 -101 46 9 61 60 146 28 -118 -18 106 -63 110 -136 -135 50 -32 -86 93 125 34 -73 -111 40 -92 105 100 -91 80 -112 -97 129 -84 -52 70 -109 -8 -45 -88 113 94 44 23 16 -99 134 138 -3 25 -38 -96 82 71 55 43 -108 19 -26 122 -79 10 11 74 -81 17 -139 77 -72 -117 98 -47 -68 -145 41 -137 1 -57 48 -36 31 -69 -149 78 -114 62 115 83 120 7 -103 -27 -59 -33 39 147 -12 2 -89 -87 148 -30 -133 -143 -24 102 -76 -29 -14 123 66 -6 -51 -128 -126 140 54 -104 -90 53 42 -121 130 142 107 -21 -75 -49 20 131 -15 -150 141 13 -64 127 144
2.637u 0.001s 0:02.65 99.2%	0+0k 0+0io 0pf+0w