Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_WCSP_SPOT5_LOG_408.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/WCSP/SPOT5/LOG/408.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 6284
o 6283
o 6282
o 6281
o 6280
o 6279
o 6278
o 6277
o 6276
o 6275
o 6274
o 6273
o 6272
o 6271
o 6270
o 6269
o 6268
o 6267
o 6266
o 6265
o 6264
o 6263
o 6262
o 6261
o 6260
o 6259
o 6258
o 6257
o 6256
o 6255
o 6254
o 6253
o 6252
o 6251
o 6250
o 6249
o 6248
o 6247
o 6246
o 6245
o 6244
o 6243
o 6242
o 6241
o 6240
o 6239
o 6238
c core #1
c 
c 
c Core size: 1	Core Weight: 2147483647	Total Weight: -2147481649
c
c
s UNSATISFIABLE
180.520u 1.416s 3:03.22 99.2%	0+0k 0+0io 0pf+0w