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_4.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C3000_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 428
o 614
o 612
o 611
o 610
o 609
o 608
o 607
o 605
o 603
o 602
o 601
o 600
o 599
o 598
o 597
o 595
o 593
o 592
o 591
o 590
o 589
o 588
o 587
o 585
o 584
o 583
o 582
o 581
o 580
o 578
o 577
o 576
o 574
o 573
o 572
o 571
o 570
o 569
o 567
o 565
o 564
o 561
o 558
o 556
c 465 branches 3542 propagates
c total generalized unit propagation = 2267, success = 14.16%
s OPTIMUM FOUND
c Optimal Solution = 556
v 89 -132 -67 -77 -44 -51 78 129 101 -62 -90 79 -15 96 6 111 138 -56 37 -136 100 -64 73 -135 -149 71 -94 -1 -7 -128 -110 -146 25 69 -123 14 121 115 -75 116 -61 -148 -10 -21 -5 58 83 91 118 27 105 -142 106 22 -20 -18 16 109 -114 -140 147 -120 19 107 52 70 17 -130 -72 -38 139 49 -97 -131 -108 -33 -125 -40 -24 -46 68 119 -76 34 -126 -35 -84 -54 32 -3 -45 -80 -59 -23 -55 127 88 103 50 143 11 86 2 -48 -133 -4 -104 -117 145 -141 26 99 43 -124 -39 95 66 -81 144 65 -150 98 -102 12 87 36 113 -63 -9 31 134 57 -60 -93 -137 -28 85 74 30 122 42 41 -53 -92 -8 -82 13 47 -29 -112
0.457u 0.003s 0:00.46 97.8%	0+0k 0+0io 0pf+0w