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_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C400_H100_0.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 400 2224
c WARNING: Ubcsat not found.
o 2224
c local Search
c better result
o 2266
c local Search
c better result
o 2265
c local Search
c better result
o 2266
c local Search
c better result
o 36
c local Search
c better result
o 2238
c local Search
c better result
o 2238
c local Search
c better result
o 2247
c local Search
c better result
o 2247
c local Search
c better result
o 2252
c local Search
c better result
o 2252
c local Search
c better result
o 2244
c local Search
c better result
o 2244
c local Search
c better result
o 2253
c local Search
c better result
o 2251
c local Search
c better result
o 2248
c local Search
c better result
o 2247
c local Search
c better result
o 2252
c local Search
c better result
o 2244
c local Search
c better result
o 2247
c local Search
c better result
o 2252
c local Search
c better result
o 2244
c local Search
c better result
o 2258
c local Search
c better result
o 2251
c local Search
c better result
o 2251
c local Search
c better result
o 2253
c local Search
c better result
o 2251
c local Search
c better result
o 2248
c local Search
c better result
o 2253
c local Search
c better result
o 2251
c local Search
c better result
o 2248
c local Search
c better result
o 2253
c local Search
c better result
o 2251
c local Search
c better result
o 2248
c local Search
c better result
o 2251
c local Search
c better result
o 2252
c local Search
c better result
o 2244
c local Search
c better result
o 2244
c local Search
c better result
o 2248
c local Search
c better result
o 2248
c local Search
c better result
o 2248
c local Search
c better result
o 2238
c local Search
c better result
o 2261
c local Search
c better result
o 2256
c local Search
c better result
o 2267
c local Search
c better result
o 2258
c local Search
c better result
o 2258
c local Search
c better result
o 2257
c local Search
c better result
o 2270
c local Search
c better result
o 2261
c local Search
c better result
o 2258
c local Search
c better result
o 2252
c local Search
c better result
o 2250
c local Search
c better result
o 2252
c local Search
c better result
o 2261
c local Search
c better result
o 2255
c local Search
c better result
o 2238
c local Search
c better result
o 2241
c local Search
c better result
o 2250
c local Search
c better result
o 2252
c local Search
c better result
o 2258
c local Search
c better result
o 2257
c local Search
c better result
o 2248
c local Search
c better result
o 2252
c local Search
c better result
o 2249
c local Search
c better result
o 2241
c local Search
c better result
o 2251
c local Search
c better result
o 2254
c local Search
c better result
o 2265
c local Search
c better result
o 2264
c local Search
c better result
o 2257
c local Search
c better result
o 2264
c local Search
c better result
o 2267
c local Search
c better result
o 2266
c local Search
c better result
o 2258
c local Search
c better result
o 2252
c local Search
c better result
o 2250
c local Search
c better result
o 2252
c local Search
c better result
o 2261
c local Search
c better result
o 2255
c local Search
c better result
o 2274
c local Search
c better result
o 2270
c local Search
c better result
o 2265
c local Search
c better result
o 2269
c local Search
c better result
o 2276
c local Search
c better result
o 2272
c local Search
c better result
o 2267
c local Search
c better result
o 2258
c local Search
c better result
o 2258
c local Search
c better result
o 2257
c local Search
c better result
o 2270
c local Search
c better result
o 2261
c local Search
c better result
o 2268
c local Search
c better result
o 2268
c local Search
c better result
o 2246
c local Search
c better result
o 2267
c local Search
c better result
o 2270
c local Search
c better result
o 2270
c local Search
c better result
o 2256
c local Search
c better result
o 2251
c local Search
c better result
o 2247
c local Search
c better result
o 2252
c local Search
c better result
o 2261
c local Search
c better result
o 2256
c local Search
c better result
o 2270
c local Search
c better result
o 2270
c local Search
c better result
o 2270
c local Search
c better result
o 2257
c local Search
c better result
o 2248
c local Search
c better result
o 2259
c local Search
c better result
o 2259
c local Search
c better result
o 2251
c local Search
c better result
o 2261
c local Search
c better result
o 2253
c local Search
c better result
o 2249
c local Search
c better result
o 2246
c local Search
c better result
o 2267
c local Search
c better result
o 2258
c local Search
c better result
o 2261
c local Search
c better result
o 2260
c local Search
c better result
o 2270
c local Search
c better result
o 2261
c local Search
c better result
o 2248
c local Search
c better result
o 2244
c local Search
c better result
o 2248
c local Search
c better result
o 2241
c local Search
c better result
o 2261
c local Search
c better result
o 2256
c local Search
c better result
o 2258
c local Search
c better result
o 2252
c local Search
c better result
o 2255
c local Search
c better result
o 2257
c local Search
c better result
o 2261
c local Search
c better result
o 2255
c local Search
c better result
o 2261
c local Search
c better result
o 2260
c local Search
c better result
o 2241
c local Search
c better result
o 2244
c local Search
c better result
o 2255
c local Search
c better result
o 2257
c local Search
c better result
o 2263
c local Search
c better result
o 2263
c local Search
c better result
o 2261
c local Search
c better result
o 2264
c local Search
c better result
o 2252
c local Search
c better result
o 2265
c local Search
c better result
o 2266
c local Search
c better result
o 2254
c local Search
c better result
o 2266
c local Search
c better result
o 2268
c local Search
c better result
o 2256
c local Search
c better result
o 2266
c local Search
c better result
o 2249
c local Search
c better result
o 2252
c local Search
c better result
o 2261
c local Search
c better result
o 2259
c local Search
c better result
o 2267
c local Search
c better result
o 2260
c local Search
c better result
o 2267
c local Search
c better result
o 2258
c local Search
c better result
o 2261
c local Search
c better result
o 2257
c local Search
c better result
o 2261
c local Search
c better result
o 2255
c local Search
c better result
o 2264
c local Search
c better result
o 2253
c local Search
c better result
o 2261
c local Search
c better result
o 2253
c local Search
c better result
o 2258
c local Search
c better result
o 2253
c local Search
c better result
o 2247
c local Search
c better result
o 2244
c local Search
c better result
o 2244
c local Search
c better result
o 2246
c local Search
c better result
o 2247
c local Search
c better result
o 2252
c local Search
c better result
o 2255
c local Search
c better result
o 2257
c local Search
c better result
o 2255
c local Search
c better result
o 2259
c local Search
c better result
o 2252
c local Search
c better result
o 2253
c local Search
c better result
o 2260
c local Search
c better result
o 2259
c local Search
c better result
o 2260
c local Search
c better result
o 2261
c local Search
c better result
o 2253
c local Search
c better result
o 2253
c local Search
c better result
o 2257
c local Search
c better result
o 2255
c local Search
c better result
o 2258
c local Search
c better result
o 2257
c local Search
c better result
o 2255
c local Search
c better result
o 2258
c local Search
c better result
o 2254
c local Search
c better result
o 2246
c local Search
c better result
o 2256
c local Search
c better result
o 2252
c local Search
c better result
o 2258
c local Search
c better result
o 2259
c local Search
c better result
o 2255
c local Search
c better result
o 2252
c local Search
c better result
o 2267
c local Search
c better result
o 2262
c local Search
c better result
o 2266
c local Search
c better result
o 2256
c local Search
c better result
o 2266
c local Search
c better result
o 2253
c local Search
c better result
o 2263
c local Search
c better result
o 2268
c local Search
c better result
o 2264
c local Search
c better result
o 2251
c local Search
c better result
o 2253
c local Search
c better result
o 2248
c local Search
c better result
o 2267
c local Search
c better result
o 2262
c local Search
c better result
o 2271
c local Search
c better result
o 2254
c local Search
c better result
o 2266
c local Search
c better result
o 2256
c local Search
c better result
o 2270
c local Search
c better result
o 2257
c local Search
c better result
o 2266
c local Search
c better result
o 2253
c local Search
c better result
o 2272
c local Search
c better result
o 2250
c local Search
c better result
o 2263
c local Search
c better result
o 2268
c local Search
c better result
o 2264
c local Search
c better result
o 2251
c local Search
c better result
o 2253
c local Search
c better result
o 2248
c local Search
c better result
o 2251
c local Search
c better result
o 2256
c local Search
c better result
o 2259
c local Search
c better result
o 2251
c local Search
c better result
o 2259
c local Search
c better result
o 2257
c local Search
c better result
o 2248
c local Search
c better result
o 2257
c local Search
c better result
o 2253
c local Search
c better result
o 2262
c local Search
c better result
o 2266
c local Search
c better result
o 2249
c local Search
c better result
o 2261
c local Search
c better result
o 2264
c local Search
c better result
o 2264
c local Search
c better result
o 2264
c local Search
c better result
o 2268
c local Search
c better result
o 2262
c local Search
c better result
o 2254
c local Search
c better result
o 2263
c local Search
c better result
o 2259
c local Search
c better result
o 2264
c local Search
c better result
o 2251
c local Search
c better result
o 2251
c local Search
c better result
o 2248
c local Search
c better result
o 4482
c local Search
c better result
o 2259
c local Search
c better result
o 2252
c local Search
c better result
o 4476
c local Search
c better result
o 2248
c local Search
c better result
o 2248
c local Search
c better result
o 4481
c local Search
c better result
o 4482
c local Search
c better result
o 2254
c local Search
c better result
o 2254
c local Search
c better result
o 2253
c local Search
c better result
o 2249
c local Search
c better result
o 2253
c local Search
c better result
o 2249
c local Search
c better result
o 2261
c local Search
c better result
o 2251
c local Search
c better result
o 2269
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2238
c local Search
c better result
o 2263
c local Search
c better result
o 2258
c local Search
c better result
o 2251
c local Search
c better result
o 2254
c local Search
c better result
o 2238
c local Search
c better result
o 2241
c local Search
c better result
o 2258
c local Search
c better result
o 2255
c local Search
c better result
o 2273
c local Search
c better result
o 2251
c local Search
c better result
o 2242
c local Search
c better result
o 2262
c local Search
c better result
o 2242
c local Search
c better result
o 2251
c local Search
c better result
o 2246
c local Search
c better result
o 2254
c local Search
c better result
o 2242
c local Search
c better result
o 2242
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2242
c local Search
c better result
o 2242
c local Search
c better result
o 2246
c local Search
c better result
o 2242
c local Search
c better result
o 2258
c local Search
c better result
o 2250
c local Search
c better result
o 2263
c local Search
c better result
o 2254
c local Search
c better result
o 2272
c local Search
c better result
o 2255
c local Search
c better result
o 2266
c local Search
c better result
o 2263
c local Search
c better result
o 2249
c local Search
c better result
o 2249
c local Search
c better result
o 2246
c local Search
c better result
o 2254
c local Search
c better result
o 2256
c local Search
c better result
o 2260
c local Search
c better result
o 2258
c local Search
c better result
o 2276
c local Search
c better result
o 2258
c local Search
c better result
o 2253
c local Search
c better result
o 2258
c local Search
c better result
o 2258
c local Search
c better result
o 2273
c local Search
c better result
o 2256
c local Search
c better result
o 2270
c local Search
c better result
o 2267
c local Search
c better result
o 2253
c local Search
c better result
o 2253
c local Search
c better result
o 2247
c local Search
c better result
o 2263
c local Search
c better result
o 2264
c local Search
c better result
o 2242
c local Search
c better result
o 2256
c local Search
c better result
o 2256
c local Search
c better result
o 2253
c local Search
c better result
o 2247
c local Search
c better result
o 2257
c local Search
c better result
o 2247
c local Search
c better result
o 2255
c local Search
c better result
o 2258
c local Search
c better result
o 2269
c local Search
c better result
o 2258
c local Search
c better result
o 2263
c local Search
c better result
o 2257
c local Search
c better result
o 2272
c local Search
c better result
o 2261
c local Search
c better result
o 2258
c local Search
c better result
o 2258
c local Search
c better result
o 2258
c local Search
c better result
o 2263
c local Search
c better result
o 2263
c local Search
c better result
o 2276
c local Search
c better result
o 2270
c local Search
c better result
o 2270
c local Search
c better result
o 2269
c local Search
c better result
o 2278
c local Search
c better result
o 2272
c local Search
c better result
o 2269
c local Search
c better result
o 2258
c local Search
c better result
o 2263
c local Search
c better result
o 2257
c local Search
c better result
o 2272
c local Search
c better result
o 2261
c local Search
c better result
o 2272
c local Search
c better result
o 2272
c local Search
c better result
o 2272
c local Search
c better result
o 2258
c local Search
c better result
o 2258
c local Search
c better result
o 4495
c local Search
c better result
o 4488
c local Search
c better result
o 2265
c local Search
c better result
o 4482
c local Search
c better result
o 2263
c local Search
c better result
o 2259
c local Search
c better result
o 2263
c local Search
c better result
o 2257
c local Search
c better result
o 2263
c local Search
c better result
o 2257
c local Search
c better result
o 2266
c local Search
c better result
o 4484
c local Search
c better result
o 2258
c local Search
c better result
o 2268
c local Search
c better result
o 4478
c local Search
c better result
o 4484
c local Search
c better result
o 4489
c local Search
c better result
o 4496
c local Search
c better result
o 2262
c local Search
c better result
o 2252
c local Search
c better result
o 2268
c local Search
c better result
o 2256
c local Search
c better result
o 2265
c local Search
c better result
o 2256
c local Search
c better result
o 2270
c local Search
c better result
o 2255
c local Search
c better result
o 2272
c local Search
c better result
o 2257
c local Search
c better result
o 2269
c local Search
c better result
o 2260
c local Search
c better result
o 2256
c local Search
c better result
o 2257
c local Search
c better result
o 2269
c local Search
c better result
o 2258
c local Search
c better result
o 2256
c local Search
c better result
o 2261
c local Search
c better result
o 2264
c local Search
c better result
o 2251
c local Search
c better result
o 2253
c local Search
c better result
o 2257
c local Search
c better result
o 2253
c local Search
c better result
o 2257
c local Search
c better result
o 2257
c local Search
c better result
o 2258
c local Search
c better result
o 2265
c local Search
c better result
o 2259
c local Search
c better result
o 2263
c local Search
c better result
o 2261
c local Search
c better result
o 2244
c local Search
c better result
o 2244
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
o 50
c local Search
c better result
o 2252
c local Search
c better result
o 2257
c local Search
c better result
o 2252
c local Search
c better result
o 2258
c local Search
c better result
o 2257
c local Search
c better result
o 2261
c local Search
c better result
o 2252
c local Search
c better result
o 2252
c local Search
c better result
o 2255
c local Search
c better result
o 2251
c local Search
c better result
o 2252
c local Search
c better result
o 2256
c local Search
c better result
o 2241
c local Search
c better result
o 2241
c local Search
c better result
o 2241
c local Search
c better result
o 2241
c local Search
c better result
o 2259
c local Search
c better result
o 2257
c local Search
c better result
o 2261
c local Search
c better result
o 2259
c local Search
c better result
o 2246
c local Search
c better result
o 2246
c local Search
c better result
o 2260
c local Search
c better result
o 2258
c local Search
c better result
o 2257
c local Search
c better result
o 2255
c local Search
c better result
o 2253
c local Search
c better result
o 2253
c local Search
c better result
o 2267
c local Search
c better result
o 2263
c local Search
c better result
o 2264
c local Search
c better result
o 2269
c local Search
c better result
o 2268
c local Search
c better result
o 2264
c local Search
c better result
o 2258
c local Search
c better result
o 2257
c local Search
c better result
o 2255
c local Search
c better result
o 2246
c local Search
c better result
o 2246
c local Search
c better result
o 2246
c local Search
c better result
o 2246
c local Search
c better result
o 2256
c local Search
c better result
o 2257
c local Search
c better result
o 2256
c local Search
c better result
o 2257
c local Search
c better result
o 2242
c local Search
c better result
o 2242
c local Search
c better result
o 2242
c local Search
c better result
o 2242
c local Search
c better result
o 2241
c local Search
c better result
o 2254
c local Search
c better result
o 2242
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2256
c local Search
c better result
o 2256
c local Search
c better result
o 2257
c local Search
c better result
o 2262
c local Search
c better result
o 2257
c local Search
c better result
o 2251
c local Search
c better result
o 2249
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2254
c local Search
c better result
o 2254
c local Search
c better result
o 2262
c local Search
c better result
o 2261
c local Search
c better result
o 2269
c local Search
c better result
o 2268
c local Search
c better result
o 2247
c local Search
c better result
o 2247
c local Search
c better result
o 2247
c local Search
c better result
o 2247
c local Search
c better result
o 2246
c local Search
c better result
o 2257
c local Search
c better result
o 2247
c local Search
c better result
o 2259
c local Search
c better result
o 2247
c local Search
c better result
o 2254
c local Search
c better result
o 2258
c local Search
c better result
o 2258
c local Search
c better result
o 2247
c local Search
c better result
o 2252
c local Search
c better result
o 2265
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 2256
c local Search
c better result
o 2259
c local Search
c better result
o 2265
c local Search
c better result
o 2260
c local Search
c better result
o 2257
c local Search
c better result
o 2264
c local Search
c better result
o 2260
c local Search
c better result
o 2267
c local Search
c better result
o 2257
c local Search
c better result
o 2260
c local Search
c better result
o 2256
c local Search
c better result
o 2252
c local Search
c better result
o 2254
c local Search
c better result
o 2252
c local Search
c better result
o 2257
c local Search
c better result
o 2255
c local Search
c better result
o 2257
c local Search
c better result
o 2253
c local Search
c better result
o 2254
c local Search
c better result
o 2254
c local Search
c better result
o 2255
c local Search
c better result
o 2253
c local Search
c better result
o 2261
c local Search
c better result
o 2257
c local Search
c better result
o 2261
c local Search
c better result
o 2257
c local Search
c better result
o 2267
c local Search
c better result
o 2265
c local Search
c better result
o 2268
c local Search
c better result
o 2264
c local Search
c better result
o 2264
c local Search
c better result
o 2265
c local Search
c better result
o 2241
c local Search
c better result
o 2254
c local Search
c better result
o 2241
c local Search
c better result
o 2254
c local Search
c better result
o 2261
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2251
c local Search
c better result
o 2250
c local Search
c better result
o 2251
c local Search
c better result
o 2250
c local Search
c better result
o 2256
c local Search
c better result
o 2250
c local Search
c better result
o 2251
c local Search
c better result
o 2242
c local Search
c better result
o 2250
c local Search
c better result
o 2250
c local Search
c better result
o 2246
c local Search
c better result
o 2256
c local Search
c better result
o 2246
c local Search
c better result
o 2256
c local Search
c better result
o 2255
c local Search
c better result
o 2265
c local Search
c better result
o 2256
c local Search
c better result
o 2255
c local Search
c better result
o 2261
c local Search
c better result
o 2262
c local Search
c better result
o 2256
c local Search
c better result
o 2256
c local Search
c better result
o 2263
c local Search
c better result
o 2256
c local Search
c better result
o 2256
c local Search
c better result
o 2242
c local Search
c better result
o 2256
c local Search
c better result
o 2256
c local Search
c better result
o 2256
c local Search
c better result
o 2256
c local Search
c better result
o 2251
c local Search
c better result
o 2251
c local Search
c better result
o 2251
c local Search
c better result
o 2251
c local Search
c better result
o 2256
c local Search
c better result
o 2258
c local Search
c better result
o 2251
c local Search
c better result
o 2258
c local Search
c better result
o 2251
c local Search
c better result
o 2257
c local Search
c better result
o 2259
c local Search
c better result
o 2257
c local Search
c better result
o 2259
c local Search
c better result
o 4486
c local Search
c better result
o 4488
c local Search
c better result
o 2260
c local Search
c better result
o 2268
c local Search
c better result
o 2269
c local Search
c better result
o 2258
c local Search
c better result
o 2257
c local Search
c better result
o 2261
c local Search
c better result
o 2256
c local Search
c better result
o 4487
c local Search
c better result
o 2270
c local Search
c better result
o 2258
c local Search
c better result
o 2272
c local Search
c better result
o 2269
c local Search
c better result
o 2257
c local Search
c better result
o 2268
c local Search
c better result
o 2272
c local Search
c better result
o 2261
c local Search
c better result
o 2272
c local Search
c better result
o 2270
c local Search
c better result
o 2258
c local Search
c better result
o 2272
c local Search
c better result
o 2269
c local Search
c better result
o 2257
c local Search
c better result
o 2272
c local Search
c better result
o 2272
c local Search
c better result
o 2261
c local Search
c better result
o 2272
c local Search
c better result
o 2253
c local Search
c better result
o 2254
c local Search
c better result
o 2253
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 2264
c local Search
c better result
o 2258
c local Search
c better result
o 2261
c local Search
c better result
o 2264
c local Search
c better result
o 2261
c local Search
c better result
o 2261
c local Search
c better result
o 2259
c local Search
c better result
o 2258
c local Search
c better result
o 2261
c local Search
c better result
o 2259
c local Search
c better result
o 2258
c local Search
c better result
o 2260
c local Search
c better result
o 2258
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 2265
c local Search
c better result
o 2263
c local Search
c better result
o 2247
c local Search
c better result
o 2247
c local Search
c better result
o 2252
c local Search
c better result
o 2252
c local Search
c better result
o 2252
c local Search
c better result
o 2252
c local Search
c better result
o 2255
c local Search
c better result
o 2252
c local Search
c better result
o 2258
c local Search
c better result
o 2257
c local Search
c better result
o 2257
c local Search
c better result
o 2257
c local Search
c better result
o 2255
c local Search
c better result
o 2259
c local Search
c better result
o 2252
c local Search
c better result
o 2257
c local Search
c better result
o 2255
c local Search
c better result
o 2259
c local Search
c better result
o 2246
c local Search
c better result
o 2246
c local Search
c better result
o 2244
c local Search
c better result
o 2244
c local Search
c better result
o 2253
c local Search
c better result
o 2246
c local Search
c better result
o 2251
c local Search
c better result
o 2248
c local Search
c better result
o 2265
c local Search
c better result
o 2264
c local Search
c better result
o 2269
c local Search
c better result
o 2259
c local Search
c better result
o 2259
c local Search
c better result
o 2263
c local Search
c better result
o 2260
c local Search
c better result
o 2259
c local Search
c better result
o 2264
c local Search
c better result
o 2258
c local Search
c better result
o 2249
c local Search
c better result
o 2260
c local Search
c better result
o 2260
c local Search
c better result
o 2252
c local Search
c better result
o 2262
c local Search
c better result
o 2260
c local Search
c better result
o 2257
c local Search
c better result
o 2253
c local Search
c better result
o 2258
c local Search
c better result
o 2253
c local Search
c better result
o 2265
c local Search
c better result
o 2265
c local Search
c better result
o 2267
c local Search
c better result
o 2271
c local Search
c better result
o 2270
c local Search
c better result
o 2273
c local Search
c better result
o 2269
c local Search
c better result
o 2268
c local Search
c better result
o 2271
c local Search
c better result
o 2271
c local Search
c better result
o 2271
c local Search
c better result
o 2271
c local Search
c better result
o 2258
c local Search
c better result
o 2249
c local Search
c better result
o 2260
c local Search
c better result
o 2260
c local Search
c better result
o 2252
c local Search
c better result
o 2262
c local Search
c better result
o 2267
c local Search
c better result
o 2263
c local Search
c better result
o 2264
c local Search
c better result
o 2263
c local Search
c better result
o 2268
c local Search
c better result
o 2264
c local Search
c better result
o 2255
c local Search
c better result
o 2255
c local Search
c better result
o 2257
c local Search
c better result
o 4477
c local Search
c better result
o 2254
c local Search
c better result
o 2254
c local Search
c better result
o 2249
c local Search
c better result
o 2253
c local Search
c better result
o 2261
c local Search
c better result
o 2260
c local Search
c better result
o 2254
c local Search
c better result
o 2260
c local Search
c better result
o 2255
c local Search
c better result
o 2265
c local Search
c better result
o 2263
c local Search
c better result
o 2255
c local Search
c better result
o 2265
c local Search
c better result
o 2264
c local Search
c better result
o 2269
c local Search
c better result
o 2261
c local Search
c better result
o 2261
c local Search
c better result
o 2261
c local Search
c better result
o 2263
c local Search
c better result
o 4487
c local Search
c better result
o 2273
c local Search
c better result
o 2269
c local Search
c better result
o 2273
c local Search
c better result
o 2271
c local Search
c better result
o 2270
c local Search
c better result
o 2273
c local Search
c better result
o 2260
c local Search
c better result
o 2256
c local Search
c better result
o 2265
c local Search
c better result
o 2263
c local Search
c better result
o 2259
c local Search
c better result
o 2259
c local Search
c better result
o 2251
c local Search
c better result
o 2250
c loc