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