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