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_6.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 341
o 503
o 502
o 500
o 499
o 498
o 497
o 496
o 495
o 493
o 492
o 491
o 490
o 488
o 487
o 486
o 485
o 483
o 481
o 478
o 477
o 476
o 475
o 474
o 473
o 471
o 469
o 468
o 467
o 464
o 463
o 462
o 461
c 552 branches 3496 propagates
c total generalized unit propagation = 2200, success = 20.73%
s OPTIMUM FOUND
c Optimal Solution = 461
v 18 -21 71 -95 64 52 -90 1 -94 -33 65 -79 50 -20 118 -138 126 -70 11 38 63 48 128 141 44 -122 -68 -139 47 5 14 130 -142 -3 145 -32 -61 134 109 28 -82 100 146 111 -125 -115 116 -26 62 87 123 -136 149 98 -41 -66 -53 8 135 -54 -108 148 -4 -120 -83 -23 91 -24 -78 -57 45 -7 -113 -127 -102 119 88 40 -133 55 59 -147 31 -43 6 -34 93 -58 -73 -15 -129 49 84 -80 76 19 -10 -46 69 106 -92 -101 -150 -9 -143 107 137 -2 -117 -81 104 -60 -56 42 -124 -27 -114 -131 -99 144 -12 -140 -132 -37 77 -72 22 105 103 36 -29 51 75 -85 -35 121 86 -74 67 110 -17 -112 13 97 -39 25 30 -89 96 -16
0.639u 0.000s 0:00.67 94.0%	0+0k 0+0io 0pf+0w