Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 4710
o 4710
c 188 branches 649 propagates
c total generalized unit propagation = 1026, success = 18.42%
s OPTIMUM FOUND
c Optimal Solution = 4710
v -109 36 103 -100 -59 28 11 131 98 8 58 88 65 -68 79 112 -9 147 111 -125 -140 -3 1 14 16 -139 73 130 56 -40 91 48 64 -38 63 -124 -22 138 -37 34 -23 -101 -84 15 -75 87 49 96 -118 133 -17 132 -105 -60 31 81 115 -95 -85 10 -70 -93 -78 -20 129 -143 50 -107 -120 80 44 -55 141 89 -116 -66 52 -41 -92 45 -114 123 -62 -47 -144 18 128 -150 43 76 -145 137 51 -35 -142 -53 -25 69 108 102 110 -61 -106 7 -90 -6 67 97 127 54 42 13 57 -134 -39 119 121 72 27 -135 30 33 -122 99 148 -32 -94 -126 71 -19 -77 -2 12 149 -26 -21 146 83 104 -5 29 4 -24 113 -46 -74 -86 136 -117 82
26.470u 0.010s 0:26.49 99.9%	0+0k 0+0io 0pf+0w