Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-LSW_Power-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax3sat_lo_file_rwpms_wcnf_L3_V100_C400_H100_5.wcnf Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C400_H100_5.wcnf Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power c Instance info: p wcnf 100 400 2222 c WARNING: Ubcsat not found. o 2222 c local Search c better result o 20 c local Search c better result o 2238 c local Search c better result o 2262 c local Search c better result o 2262 c local Search o 32 c local Search c better result o 2253 c local Search c better result o 2253 c local Search c better result o 2253 c local Search c better result o 2250 c local Search c better result o 2250 c local Search c better result o 2248 c local Search c better result o 2248 c local Search c better result o 2254 c local Search c better result o 2258 c local Search c better result o 2246 c local Search c better result o 2253 c local Search c better result o 2257 c local Search c better result o 2248 c local Search c better result o 2255 c local Search c better result o 2259 c local Search c better result o 2258 c local Search c better result o 2258 c local Search c better result o 2259 c local Search c better result o 2259 c local Search c better result o 2259 c local Search c better result o 2256 c local Search c better result o 2257 c local Search c better result o 2259 c local Search c better result o 2256 c local Search c better result o 2257 c local Search c better result o 2257 c local Search c better result o 2252 c local Search c better result o 2265 c local Search c better result o 2269 c local Search c better result o 2258 c local Search c better result o 2248 c local Search c better result o 2260 c local Search c better result o 2253 c local Search c better result o 2256 c local Search c better result o 2260 c local Search c better result o 2257 c local Search c better result o 2256 c local Search c better result o 2260 c local Search c better result o 2262 c local Search c better result o 2265 c local Search c better result o 2272 c local Search o 27 c local Search o 26 c local Search c better result o 2254 c local Search c better result o 2256 c local Search c better result o 2255 c local Search c better result o 2258 c local Search c better result o 2259 c local Search c better result o 2258 c local Search o 28 c local Search o 27 o 26 c local Search c better result o 2250 c local Search c better result o 2256 c local Search c better result o 2255 c local Search c better result o 2254 c local Search c better result o 2254 c local Search c better result o 2260 c local Search c better result o 2260 c local Search c better result o 2265 c local Search c better result o 2272 c local Search c better result o 2262 c local Search c better result o 2262 c local Search c better result o 2257 c local Search c better result o 2257 c local Search c better result o 2259 c local Search c better result o 2262 c local Search c better result o 2265 c local Search c better result o 2272 c local Search c better result o 2256 c local Search c better result o 2259 c local Search c better result o 2259 c local Search c better result o 2262 c local Search c better result o 2265 c local Search c better result o 2272 c local Search c better result o 2256 c local Search c better result o 2259 c local Search c better result o 2257 c local Search c better result o 2269 c local Search c better result o 2252 c local Search c better result o 2264 c local Search c better result o 2257 c local Search c better result o 2274 c local Search c better result o 2257 c local Search c better result o 2268 c local Search c better result o 2258 c local Search c better result o 2264 c local Search c better result o 2258 c local Search c better result o 2263 c local Search c better result o 2260 c local Search c better result o 2253 c local Search c better result o 2260 c local Search c better result o 2257 c local Search c better result o 2256 c local Search c better result o 2260 c local Search c better result o 2262 c local Search c better result o 2272 c local Search o 27 c local Search o 26 c local Search o 25 c local Search c better result o 12 c local Search o 10 c local Search c better result o 2235 c local Search c better result o 32 c local Search c better result o 31 c local Search c better result o 44 c local Search c better result o 33 c local Search c better result o 28 c local Search c better result o 25 c local Search c better result o 31 c local Search c better result o 30 c local Search c better result o 31 c local Search c better result o 31 c local Search c better result o 25 c local Search c better result o 25 c local Search c better result o 25 c local Search c better result o 29 c local Search c better result o 26 c local Search c better result o 24 c local Search c better result o 24 c local Search c better result o 24 c local Search c better result o 24 c local Search c better result o 22 c local Search c better result o 28 c local Search c better result o 40 c local Search c better result o 21 c local Search c better result o 21 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 26 c local Search c better result o 26 c local Search c better result o 26 c local Search c better result o 29 c local Search c better result o 29 c local Search c better result o 29 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 22 c local Search c better result o 21 c local Search c better result o 27 c local Search c better result o 25 c local Search c better result o 28 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 26 c local Search c better result o 40 c local Search c better result o 29 c local Search c better result o 38 c local Search c better result o 27 c local Search c better result o 28 c local Search c better result o 27 c local Search c better result o 21 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 27 c local Search c better result o 26 c local Search c better result o 29 c local Search c better result o 27 c local Search c better result o 21 c local Search c better result o 21 c local Search c better result o 21 c local Search c better result o 25 c local Search c better result o 22 c local Search c better result o 24 c local Search c better result o 31 c local Search c better result o 27 c local Search c better result o 24 c local Search c better result o 31 c local Search c better result o 30 c local Search c better result o 31 c local Search c better result o 32 c local Search c better result o 30 c local Search c better result o 24 c local Search c better result o 29 c local Search c better result o 26 c local Search c better result o 32 c local Search c better result o 28 c local Search c better result o 25 c local Search c better result o 25 c local Search c better result o 32 c local Search c better result o 31 c local Search c better result o 44 c local Search c better result o 29 c local Search c better result o 31 c local Search c better result o 31 c local Search c better result o 31 c local Search c better result o 30 c local Search c better result o 30 c local Search c better result o 28 c local Search c better result o 25 c local Search c better result o 35 c local Search c better result o 26 c local Search c better result o 31 c local Search c better result o 20 c local Search c better result o 25 c local Search c better result o 21 c local Search c better result o 20 c local Search c better result o 26 c local Search o 19 c local Search c better result o 20 c local Search o 18 c local Search c better result o 20 c local Search c better result o 23 c local Search c better result o 37 c local Search c better result o 25 c local Search c better result o 22 c local Search c better result o 2242 c local Search c better result o 2242 c local Search o 11 c local Search c better result o 2234 c local Search c better result o 2234 c local Search c better result o 2246 c local Search c better result o 27 c local Search c better result o 32 c local Search c better result o 24 c local Search c better result o 31 c local Search c better result o 31 c local Search o 22 c local Search c better result o 24 c local Search c better result o 27 c local Search c better result o 24 c local Search c better result o 24 c local Search o 17 c local Search c better result o 20 c local Search o 14 c local Search o 13 c local Search c better result o 2234 c local Search c better result o 2234 c local Search c better result o 2243 c local Search c better result o 2243 c local Search c better result o 2254 c local Search c better result o 2254 c local Search o 6 c local Search o 5 c local Search o 3 c local Search o 2 c local Search o 0 c Learned clauses = 7 c NB_MONO= 1421, NB_BRANCHE= 773, NB_BACK= 377 s OPTIMUM FOUND c Optimal Solution = 0 v -1 2 3 -4 -5 6 -7 8 9 -10 -11 12 -13 -14 -15 -16 -17 -18 19 -20 -21 -22 23 -24 -25 -26 27 28 29 -30 31 -32 33 -34 -35 36 37 -38 39 -40 41 -42 43 44 -45 -46 -47 -48 -49 50 -51 -52 53 54 55 56 57 58 59 -60 -61 62 63 64 -65 -66 -67 68 -69 -70 71 72 73 -74 -75 -76 -77 -78 -79 -80 -81 -82 83 84 -85 86 -87 88 89 -90 -91 -92 93 -94 95 96 97 98 99 -100 0.177u 0.011s 0:00.19 94.7% 0+0k 0+0io 0pf+0w