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_9.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 370
o 518
o 517
o 513
o 512
o 509
o 507
o 505
o 502
o 500
o 497
o 496
o 494
o 492
o 491
o 489
o 488
o 486
o 485
o 484
o 483
o 482
o 481
o 479
o 477
o 475
o 474
o 473
o 472
o 470
c 258 branches 2120 propagates
c total generalized unit propagation = 1520, success = 12.04%
s OPTIMUM FOUND
c Optimal Solution = 470
v 68 90 105 10 -147 87 -136 138 -71 -6 92 66 74 -88 101 56 -35 31 83 119 75 -129 81 -116 -91 -29 -118 5 -39 47 -17 -4 100 94 -73 -145 70 42 -79 112 113 -109 150 -59 -93 -137 51 -132 -97 -104 -25 -55 -50 -23 20 8 9 146 12 107 41 61 3 126 134 27 -38 -28 123 58 -44 135 -40 65 -102 -46 139 19 76 34 -64 -63 128 127 -122 18 -131 -1 -49 117 -60 -114 82 -62 85 33 54 -37 80 148 -140 -77 86 -52 -22 98 121 124 -11 -53 2 141 -24 110 -95 -32 -115 -96 143 108 149 -30 111 7 144 84 103 -36 57 89 142 130 78 45 16 99 106 -43 -120 -125 26 -15 69 -13 -67 133 -21 14 72 -48
0.193u 0.002s 0:00.20 95.0%	0+0k 0+0io 0pf+0w