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_C3000_H150_6.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3000_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 411
o 575
o 573
o 572
o 571
o 570
o 569
o 568
o 567
o 566
o 565
o 564
o 563
o 562
o 561
o 560
o 559
o 558
o 557
o 556
o 555
o 554
o 553
o 552
o 551
o 549
o 547
o 546
o 545
o 544
o 543
o 542
o 541
o 540
o 539
o 537
c 2552 branches 13654 propagates
c total generalized unit propagation = 6749, success = 36.33%
s OPTIMUM FOUND
c Optimal Solution = 537
v -149 4 -130 -32 49 104 -92 65 -21 -19 -59 107 -127 98 128 -121 -124 48 144 -27 96 42 37 -47 -80 -67 31 129 -77 20 -14 -7 150 -82 61 26 140 -56 -89 -5 -109 74 -88 -43 -36 148 1 -62 114 -52 -108 15 -46 54 145 83 -69 101 143 79 -146 -85 25 -138 29 142 -137 -111 -40 -33 9 -93 -102 119 -6 -125 122 -131 141 35 123 -106 17 -38 11 -103 -81 -18 -76 -55 133 34 134 112 71 -97 23 41 28 73 13 68 -66 135 116 58 147 -91 -100 70 105 136 64 -63 139 117 120 110 78 -99 51 -113 95 75 -45 -39 94 -44 24 -90 2 -115 -8 -84 -126 53 16 3 50 -72 87 -22 -86 30 118 -10 132 -12 60 57
5.960u 0.002s 0:06.01 99.1%	0+0k 0+0io 0pf+0w