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_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/lo/file_rwpms_wcnf_L3_V100_C400_H100_1.wcnf
Job solver: /home/maxsat/solvers/LSW_Power/LSW_Power
c Instance info: p wcnf 100 400 2204
c WARNING: Ubcsat not found.
o 2204
c local Search
c better result
o 52
c local Search
c better result
o 2254
c local Search
c better result
o 2255
c local Search
c better result
o 2241
c local Search
c better result
o 2254
c local Search
c better result
o 2255
c local Search
c better result
o 2254
c local Search
c better result
o 2241
c local Search
c better result
o 61
c local Search
c better result
o 48
c local Search
c better result
o 2230
c local Search
c better result
o 2230
c local Search
c better result
o 2234
c local Search
c better result
o 2230
c local Search
c better result
o 2234
c local Search
c better result
o 2237
c local Search
c better result
o 2237
c local Search
c better result
o 2234
c local Search
c better result
o 2237
c local Search
c better result
o 2245
c local Search
c better result
o 2236
c local Search
c better result
o 2230
c local Search
c better result
o 2230
c local Search
c better result
o 2230
c local Search
c better result
o 2230
c local Search
c better result
o 2230
c local Search
c better result
o 2230
c local Search
c better result
o 2234
c local Search
c better result
o 2230
c local Search
c better result
o 2234
c local Search
c better result
o 2237
c local Search
c better result
o 2245
c local Search
c better result
o 2243
c local Search
c better result
o 2234
c local Search
c better result
o 2243
c local Search
c better result
o 2230
c local Search
c better result
o 2230
c local Search
c better result
o 2230
c local Search
c better result
o 47
c local Search
c better result
o 22
c local Search
c better result
o 2224
c local Search
c better result
o 41
c local Search
c better result
o 41
c local Search
c better result
o 50
c local Search
c better result
o 49
c local Search
c better result
o 41
c local Search
o 28
c local Search
o 27
c local Search
o 26
c local Search
o 25
c local Search
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 2223
c local Search
c better result
o 2237
c local Search
c better result
o 2259
c local Search
o 41
c local Search
c better result
o 2253
c local Search
o 35
c local Search
c better result
o 2243
c local Search
o 35
c local Search
c better result
o 2248
c local Search
o 30
o 28
c local Search
c better result
o 2229
c local Search
c better result
o 2223
c local Search
c better result
o 2223
c local Search
c better result
o 36
c local Search
c better result
o 35
c local Search
c better result
o 34
c local Search
c better result
o 23
c local Search
c better result
o 2227
c local Search
c better result
o 2226
c local Search
c better result
o 2227
c local Search
c better result
o 2226
c local Search
c better result
o 28
c local Search
c better result
o 28
c local Search
c better result
o 30
c local Search
o 27
c local Search
o 26
c local Search
c better result
o 2223
c local Search
c better result
o 25
c local Search
c better result
o 2218
c local Search
c better result
o 2218
c local Search
c better result
o 2218
c local Search
c better result
o 2218
c local Search
c better result
o 46
c local Search
c better result
o 46
c local Search
o 37
c local Search
c better result
o 44
c local Search
o 35
c local Search
o 34
c local Search
o 32
c local Search
c better result
o 22
c local Search
c better result
o 2222
c local Search
c better result
o 2223
c local Search
c better result
o 2222
c local Search
c better result
o 2223
c local Search
c better result
o 2222
c local Search
c better result
o 2223
c local Search
c better result
o 2222
c local Search
c better result
o 2223
c local Search
c better result
o 2222
c local Search
c better result
o 2223
c local Search
c better result
o 2222
c local Search
c better result
o 2223
c local Search
c better result
o 35
c local Search
c better result
o 35
c local Search
c better result
o 35
c local Search
c better result
o 35
c local Search
c better result
o 14
c local Search
c better result
o 2216
c local Search
c better result
o 2216
c local Search
c better result
o 45
c local Search
o 36
c local Search
o 34
c local Search
c better result
o 38
c local Search
c better result
o 38
c local Search
o 31
c local Search
c better result
o 34
c local Search
c better result
o 35
c local Search
c better result
o 41
c local Search
c better result
o 40
c local Search
c better result
o 34
c local Search
c better result
o 2242
c local Search
c better result
o 2239
c local Search
o 32
c local Search
c better result
o 2239
c local Search
c better result
o 2239
c local Search
c better result
o 2237
c local Search
c better result
o 2237
c local Search
c better result
o 41
c local Search
o 32
c local Search
c better result
o 39
c local Search
o 30
c local Search
c better result
o 2237
c local Search
c better result
o 2239
c local Search
c better result
o 2240
c local Search
c better result
o 2237
c local Search
c better result
o 2238
c local Search
c better result
o 2237
c local Search
c better result
o 2238
c local Search
c better result
o 47
c local Search
o 38
c local Search
c better result
o 2237
c local Search
c better result
o 2238
c local Search
c better result
o 39
c local Search
c better result
o 40
c local Search
c better result
o 2238
c local Search
c better result
o 2238
c local Search
c better result
o 2237
c local Search
c better result
o 2237
c local Search
c better result
o 2232
c local Search
c better result
o 2232
c local Search
c better result
o 2232
c local Search
c better result
o 2232
c local Search
c better result
o 2239
c local Search
c better result
o 2239
c local Search
c better result
o 49
c local Search
o 40
c local Search
c better result
o 2239
c local Search
c better result
o 2240
c local Search
c better result
o 41
c local Search
c better result
o 42
c local Search
c better result
o 2239
c local Search
c better result
o 2240
c local Search
c better result
o 2240
c local Search
c better result
o 2237
c local Search
c better result
o 2237
c local Search
c better result
o 2237
c local Search
c better result
o 2237
c local Search
c better result
o 47
c local Search
c better result
o 2241
c local Search
c better result
o 2237
c local Search
c better result
o 2238
c local Search
c better result
o 2237
c local Search
c better result
o 2238
c local Search
c better result
o 47
c local Search
c better result
o 47
c local Search
c better result
o 2232
c local Search
c better result
o 2232
c local Search
c better result
o 2239
c local Search
c better result
o 2239
c local Search
c better result
o 49
c local Search
c better result
o 49
c local Search
c better result
o 2245
c local Search
c better result
o 51
c local Search
c better result
o 2238
c local Search
c better result
o 2237
c local Search
c better result
o 2238
c local Search
c better result
o 2239
c local Search
c better result
o 2244
c local Search
c better result
o 2237
c local Search
c better result
o 2237
c local Search
c better result
o 2238
c local Search
c better result
o 2238
c local Search
c better result
o 42
c local Search
c better result
o 42
c local Search
c better result
o 40
c local Search
c better result
o 40
c local Search
c better result
o 2237
c local Search
c better result
o 2238
c local Search
c better result
o 2243
c local Search
c better result
o 2239
c local Search
c better result
o 39
c local Search
c better result
o 2239
c local Search
c better result
o 2240
c local Search
c better result
o 2240
c local Search
c better result
o 2234
c local Search
c better result
o 2234
c local Search
c better result
o 2237
c local Search
c better result
o 2235
c local Search
c better result
o 2232
c local Search
c better result
o 2232
c local Search
c better result
o 2226
c local Search
c better result
o 2226
c local Search
c better result
o 36
c local Search
c better result
o 36
c local Search
c better result
o 35
c local Search
o 26
c local Search
c better result
o 26
c local Search
o 24
c local Search
c better result
o 2232
c local Search
c better result
o 2232
c local Search
c better result
o 2232
c local Search
c better result
o 2232
ERROR: Solution verification fails, real_empty = 2226, NB_EMPTY = 2227.
c local Search
c better result
o 32
c local Search
c better result
o 2238
c local Search
o 30
c local Search
c better result
o 2232
c local Search
o 26
c local Search
o 25
o 20
c local Search
o 19
c local Search
o 16
c local Search
c better result
o 2217
c local Search
c better result
o 2217
c local Search
c better result
o 2217
c local Search
c better result
o 34
c local Search
c better result
o 2223
c local Search
c better result
o 2228
c local Search
c better result
o 2228
c local Search
c better result
o 50
c local Search
c better result
o 50
c local Search
c better result
o 50
c local Search
c better result
o 51
c local Search
c better result
o 51
c local Search
c better result
o 2231
c local Search
c better result
o 2232
c local Search
c better result
o 33
c local Search
c better result
o 2227
c local Search
c better result
o 27
c local Search
c better result
o 2220
c local Search
c better result
o 2225
c local Search
c better result
o 2224
c local Search
c better result
o 29
c local Search
c better result
o 2221
c local Search
c better result
o 2220
c local Search
c better result
o 2220
c local Search
c better result
o 2219
c local Search
c better result
o 2220
c local Search
c better result
o 2219
c local Search
c better result
o 20
c local Search
c better result
o 2222
c local Search
c better result
o 2222
c local Search
c better result
o 2248
c local Search
c better result
o 2246
c local Search
c better result
o 2243
c local Search
c better result
o 2240
c local Search
c better result
o 2245
c local Search
c better result
o 2249
c local Search
c better result
o 2240
c local Search
c better result
o 2240
c local Search
c better result
o 2234
c local Search
c better result
o 2239
c local Search
c better result
o 2245
c local Search
c better result
o 2246
c local Search
c better result
o 2260
c local Search
c better result
o 2240
c local Search
c better result
o 2240
c local Search
c better result
o 2234
c local Search
c better result
o 2239
c local Search
c better result
o 2250
c local Search
c better result
o 2263
c local Search
c better result
o 2281
c local Search
c better result
o 2281
c local Search
c better result
o 2253
c local Search
c better result
o 2266
c local Search
c better result
o 2283
c local Search
c better result
o 2283
c local Search
c better result
o 2258
c local Search
c better result
o 2256
c local Search
c better result
o 2255
c local Search
c better result
o 2267
c local Search
c better result
o 2267
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 45
c local Search
c better result
o 2244
c local Search
c better result
o 2243
c local Search
c better result
o 2247
c local Search
c better result
o 2252
c local Search
c better result
o 2238
c local Search
c better result
o 2238
c local Search
c better result
o 2235
c local Search
c better result
o 2234
c local Search
c better result
o 2236
c local Search
c better result
o 2238
c local Search
c better result
o 2263
c local Search
c better result
o 2262
c local Search
c better result
o 2282
c local Search
c better result
o 2280
c local Search
c better result
o 2265
c local Search
c better result
o 2275
c local Search
c better result
o 2283
c local Search
c better result
o 2265
c local Search
c better result
o 2290
c local Search
c better result
o 2275
c local Search
c better result
o 2286
c local Search
c better result
o 2274
c local Search
c better result
o 2293
c local Search
c better result
o 2285
c local Search
c better result
o 2268
c local Search
c better result
o 2287
c local Search
c better result
o 2273
c local Search
c better result
o 2288
c local Search
c better result
o 2265
c local Search
c better result
o 2268
c local Search
c better result
o 2274
c local Search
c better result
o 2292
c local Search
c better result
o 2287
c local Search
c better result
o 2300
c local Search
c better result
o 2275
c local Search
c better result
o 2273
c local Search
c better result
o 2280
c local Search
c better result
o 2294
c local Search
c better result
o 2288
c local Search
c better result
o 2303
c local Search
c better result
o 2257
c local Search
c better result
o 2276
c local Search
c better result
o 2257
c local Search
c better result
o 2260
c local Search
c better result
o 2271
c local Search
c better result
o 2260
c local Search
c better result
o 2260
c local Search
c better result
o 2276
c local Search
c better result
o 2278
c local Search
c better result
o 2286
c local Search
c better result
o 2281
c local Search
c better result
o 2281
c local Search
c better result
o 2256
c local Search
c better result
o 2283
c local Search
c better result
o 2266
c local Search
c better result
o 2256
c local Search
c better result
o 2271
c local Search
c better result
o 2287
c local Search
c better result
o 2283
c local Search
c better result
o 2295
c local Search
c better result
o 2254
c local Search
c better result
o 2253
c local Search
c better result
o 2272
c local Search
c better result
o 2271
c local Search
c better result
o 2255
c local Search
c better result
o 2257
c local Search
c better result
o 2279
c local Search
c better result
o 2278
c local Search
c better result
o 48
c local Search
c better result
o 43
c local Search
c better result
o 45
c local Search
c better result
o 40
c local Search
c better result
o 40
c local Search
c better result
o 38
c local Search
c better result
o 40
c local Search
c better result
o 40
c local Search
o 36
c local Search
c better result
o 38
c local Search
c better result
o 38
c local Search
c better result
o 36
c local Search
c better result
o 35
c local Search
c better result
o 2210
c local Search
c better result
o 2214
c local Search
c better result
o 2214
c local Search
c better result
o 2214
c local Search
c better result
o 2214
c local Search
c better result
o 25
c local Search
c better result
o 2215
c local Search
c better result
o 2214
c local Search
c better result
o 2214
c local Search
c better result
o 2214
c local Search
c better result
o 2213
c local Search
c better result
o 2213
c local Search
c better result
o 49
c local Search
c better result
o 49
c local Search
c better result
o 44
c local Search
c better result
o 44
c local Search
c better result
o 45
c local Search
c better result
o 45
c local Search
c better result
o 40
c local Search
c better result
o 40
c local Search
c better result
o 40
c local Search
c better result
o 40
c local Search
c better result
o 40
c local Search
c better result
o 45
c local Search
c better result
o 45
c local Search
c better result
o 46
c local Search
c better result
o 46
c local Search
c better result
o 47
c local Search
c better result
o 47
c local Search
c better result
o 46
c local Search
c better result
o 46
c local Search
o 41
c local Search
o 40
c local Search
c better result
o 42
c local Search
c better result
o 42
c local Search
c better result
o 41
c local Search
c better result
o 41
c local Search
c better result
o 42
c local Search
c better result
o 42
c local Search
c better result
o 41
c local Search
c better result
o 41
c local Search
c better result
o 41
c local Search
c better result
o 41
c local Search
c better result
o 41
c local Search
c better result
o 41
c local Search
c better result
o 40
c local Search
c better result
o 40
c local Search
c better result
o 43
c local Search
c better result
o 43
c local Search
c better result
o 43
c local Search
c better result
o 44
c local Search
c better result
o 38
c local Search
c better result
o 38
c local Search
c better result
o 39
c local Search
c better result
o 42
c local Search
c better result
o 42
c local Search
c better result
o 41
c local Search
c better result
o 45
c local Search
c better result
o 42
c local Search
c better result
o 43
c local Search
c better result
o 45
c local Search
o 40
c local Search
c better result
o 46
c local Search
o 38
c local Search
c better result
o 37
c local Search
c better result
o 38
c local Search
c better result
o 36
c local Search
c better result
o 40
c local Search
c better result
o 37
c local Search
c better result
o 38
c local Search
c better result
o 36
c local Search
c better result
o 21
c local Search
c better result
o 2210
c local Search
c better result
o 2210
c local Search
c better result
o 42
c local Search
c better result
o 2252
c local Search
c better result
o 2252
c local Search
c better result
o 53
c local Search
c better result
o 53
c local Search
c better result
o 2256
c local Search
c better result
o 2256
c local Search
c better result
o 63
c local Search
c better result
o 63
c local Search
c better result
o 42
c local Search
c better result
o 53
c local Search
c better result
o 48
c local Search
c better result
o 48
c local Search
c better result
o 2253
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 2264
c local Search
c better result
o 2249
c local Search
c better result
o 2253
c local Search
c better result
o 2246
c local Search
c better result
o 2270
c local Search
c better result
o 2275
c local Search
c better result
o 2284
c local Search
c better result
o 2283
c local Search
c better result
o 2255
c local Search
c better result
o 2260
c local Search
c better result
o 2264
c local Search
c better result
o 2268
c local Search
c better result
o 2270
c local Search
c better result
o 2268
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 2267
c local Search
c better result
o 2249
c local Search
c better result
o 2255
c local Search
c better result
o 2249
c local Search
c better result
o 2254
c local Search
c better result
o 2254
c local Search
c better result
o 2259
c local Search
c better result
o 2247
c local Search
c better result
o 2252
c local Search
c better result
o 2269
c local Search
c better result
o 2268
c local Search
c better result
o 2282
c local Search
c better result
o 2281
c local Search
c better result
o 2246
c local Search
c better result
o 2252
c local Search
c better result
o 2246
c local Search
c better result
o 2251
c local Search
c better result
o 2281
c local Search
c better result
o 2281
c local Search
c better result
o 2281
c local Search
c better result
o 2280
c local Search
c better result
o 2253
c local Search
c better result
o 2250
c local Search
c better result
o 2249
c local Search
c better result
o 2252
c local Search
c better result
o 40
c local Search
c better result
o 2232
c local Search
c better result
o 2232
c local Search
c better result
o 2228
c local Search
c better result
o 2227
c local Search
c better result
o 2227
c local Search
c better result
o 2226
c local Search
c better result
o 2232
c local Search
c better result
o 2231
c local Search
c better result
o 2230
c local Search
c better result
o 2235
c local Search
c better result
o 2229
c local Search
c better result
o 2234
c local Search
c better result
o 2225
c local Search
c better result
o 2234
c local Search
c better result
o 2224
c local Search
c better result
o 2233
c local Search
c better result
o 2263
c local Search
c better result
o 2263
c local Search
c better result
o 2258
c local Search
c better result
o 2262
c local Search
c better result
o 32
c local Search
c better result
o 42
c local Search
c better result
o 42
c local Search
c better result
o 2243
c local Search
c better result
o 2244
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 2244
c local Search
c better result
o 2244
c local Search
c better result
o 2244
c local Search
c better result
o 2266
c local Search
c better result
o 2238
c local Search
c better result
o 2272
c local Search
c better result
o 2244
c local Search
c better result
o 2243
c local Search
c better result
o 2243
c local Search
c better result
o 2249
c local Search
c better result
o 2249
c local Search
c better result
o 2239
c local Search
c better result
o 2257
c local Search
c better result
o 2257
c local Search
c better result
o 2239
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 2262
c local Search
c better result
o 2261
c local Search
c better result
o 2272
c local Search
c better result
o 2254
c local Search
c better result
o 2272
c local Search
c better result
o 2254
c local Search
c better result
o 2241
c local Search
c better result
o 2273
c local Search
c better result
o 2250
c local Search
c better result
o 67
c local Search
c better result
o 45
c local Search
c better result
o 2242
c local Search
c better result
o 2245
c local Search
c better result
o 2245
c local Search
c better result
o 2246
c local Search
c better result
o 2246
c local Search
c better result
o 2236
c local Search
c better result
o 2266
c local Search
c better result
o 42
c local Search
c better result
o 38
c local Search
c better result
o 41
c local Search
c better result
o 41
c local Search
c better result
o 33
c local Search
c better result
o 22
c local Search
c better result
o 17
c local Search
c better result
o 2218
c local Search
c better result
o 2217
c local Search
c better result
o 2218
c local Search
c better result
o 2217
c local Search
c better result
o 2241
c local Search
c better result
o 2241
c local Search
c better result
o 2244
c local Search
c better result
o 2249
c local Search
c better result
o 2247
c local Search
c better result
o 2247
c local Search
c better result
o 2253
c local Search
c better result
o 2247
c local Search
c better result
o 2255
c local Search
c better result
o 2240
c local Search
c better result
o 2241
c local Search
c better result
o 2241
c local Search
c better result
o 2268
c local Search
c better result
o 2241
c local Search
c better result
o 2237
c local Search
c better result
o 2237
c local Search
c better result
o 2240
c local Search
c better result
o 2240
c local Search
c better result
o 2240
c local Search
c better result
o 2237
c local Search
c better result
o 2268
c local Search
c better result
o 2241
c local Search
c better result
o 2264
c local Search
c better result
o 2237
c local Search
c better result
o 2267
c local Search
c better result
o 2240
c local Search
c better result
o 2270
c local Search
c better result
o 2249
c local Search
c better result
o 2266
c local Search
c better result
o 2245
c local Search
c better result
o 2240
c local Search
c better result
o 2249
c local Search
c better result
o 2271
c local Search
c better result
o 2240
c local Search
c better result
o 2240
c local Search
c better result
o 2249
c local Search
c better result
o 2271
c local Search
c better result
o 2240
c local Search
c better result
o 2236
c local Search
c better result
o 2246
c local Search
c better result
o 2236
c local Search
c better result
o 2272
c local Search
c better result
o 2251
c local Search
c better result
o 2236
c local Search
c better result
o 2239
c local Search
c better result
o 2239
c local Search
c better result
o 2235
c local Search
c better result
o 2245
c local Search
c better result
o 2245
c local Search
c better result
o 2235
c local Search
c better result
o 2235
c local Search
c better result
o 2241
c local Search
c better result
o 2241
c local Search
c better result
o 2245
c local Search
c better result
o 2245
c local Search
c better result
o 2236
c local Search
c better result
o 2236
c local Search
c better result
o 2236
c local Search
c better result
o 2236
c local Search
c better result
o 2240
c local Search
c better result
o 41
c local Search
c better result
o 2240
c local Search
c better result
o 41
c local Search
c better result
o 36
c local Search
c better result
o 36
c local Search
c better result
o 39
c local Search
c better result
o 39
c local Search
c better result
o 41
c local Search
o 27
c local Search
c better result
o 36
c local Search
o 22
c local Search
c better result
o 2222
c local Search
c better result
o 17
c local Search
c better result
o 2216
c local Search
c better result
o 2216
c local Search
c better result
o 2216
c local Search
c better result
o 2216
c local Search
c better result
o 2246
c local Search
c better result
o 2246
c local Search
c better result
o 2276
c local Search
c better result
o 2254
c local S