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