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_2.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3000_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 617
o 616
o 615
o 612
o 611
o 610
o 609
o 608
o 607
o 606
o 605
o 604
o 603
o 600
o 599
o 598
o 597
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 579
o 578
o 577
o 576
o 575
o 574
o 573
o 572
o 571
o 570
o 569
o 568
o 567
o 564
o 563
o 562
o 558
o 557
o 556
o 555
o 554
o 553
o 552
o 551
o 550
o 549
o 548
o 547
o 546
o 545
o 544
o 543
o 542
o 541
o 540
o 539
o 538
o 537
o 536
o 535
o 533
o 532
o 531
c 1379 branches 5644 propagates
c total generalized unit propagation = 8216, success = 14.52%
s OPTIMUM FOUND
c Optimal Solution = 531
v -67 -36 39 -82 -112 -147 62 101 -18 -3 -113 56 -68 -13 8 15 -83 -50 -120 -122 -128 -131 105 -10 -79 146 7 -21 -99 32 -116 29 60 -37 63 -65 49 144 55 -5 -104 -72 -108 -119 -70 -114 -33 -61 107 -57 -95 -30 -89 109 -124 136 -123 45 -87 -27 -143 -88 53 -110 148 140 -86 111 84 12 -73 24 64 -74 -48 132 -129 -47 25 -149 -78 -34 -35 -41 -54 -130 -69 -103 -44 121 -75 -142 59 -135 66 98 -11 -102 19 26 -23 -80 134 1 71 81 -46 -6 -51 77 31 -28 -139 -58 -4 43 -38 -90 42 -118 -100 97 138 -125 9 93 -141 76 -96 91 14 -150 115 -92 -94 145 16 -126 20 17 22 -2 -133 40 137 -52 85 -106 127 -117
3.014u 0.001s 0:03.02 99.6%	0+0k 0+0io 0pf+0w