Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo.wcnf-partial_industrial-_home_jplanes_evaluation_benchmarks_partial_industrial_pbo-mqc_nencdr_15tree101posib.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/pbo-mqc/nencdr/15tree101posib.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 69	Core Weight: 1	Total Weight: 1
c Learning 62 hard constraints
c core #2
c Core size: 2550	Core Weight: 1	Total Weight: 2
c Learning 117 hard constraints
c core #3
c Core size: 17254	Core Weight: 1	Total Weight: 3
c Learning 22 hard constraints
c core #4
c Core size: 28848	Core Weight: 1	Total Weight: 4
c Learning 763 hard constraints
c core #5
c Core size: 23171	Core Weight: 1	Total Weight: 5
c Learning 542 hard constraints
c core #6
c Core size: 45283	Core Weight: 1	Total Weight: 6
c Learning 959 hard constraints
c core #7
c Core size: 44594	Core Weight: 1	Total Weight: 7
c Learning 1004 hard constraints
c core #8
c Core size: 38763	Core Weight: 1	Total Weight: 8
c Learning 1015 hard constraints
c core #9
c Core size: 67017	Core Weight: 1	Total Weight: 9
c Learning 2361 hard constraints
c core #10
c Core size: 64060	Core Weight: 1	Total Weight: 10
c Learning 2953 hard constraints
c core #11
c Core size: 72138	Core Weight: 1	Total Weight: 11
c Learning 4319 hard constraints
c core #12
c Core size: 78445	Core Weight: 1	Total Weight: 12
c Learning 4917 hard constraints
c #cores: 12
c Final Weight: 12
s UNKNOWN
1800.003u 1.949s 30:04.30 99.8%	0+0k 0+0io 0pf+0w