Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo.wcnf-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_min-enc_planning_mprime04bc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/mprime04bc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 14	Core Weight: 80	Total Weight: 80
c core #2
c Core size: 56	Core Weight: 25	Total Weight: 105
c core #3
c Core size: 46	Core Weight: 55	Total Weight: 160
c core #4
c Core size: 23	Core Weight: 80	Total Weight: 240
c core #5
c Core size: 7	Core Weight: 20	Total Weight: 260
c core #6
c Core size: 17	Core Weight: 160	Total Weight: 420
c core #7
c Core size: 82	Core Weight: 30	Total Weight: 450
c Learning 1 hard constraints
c core #8
c Core size: 44	Core Weight: 25	Total Weight: 475
c Learning 1 hard constraints
c core #9
c Core size: 36	Core Weight: 25	Total Weight: 500
c Learning 1 hard constraints
c core #10
c Core size: 102	Core Weight: 20	Total Weight: 520
c Learning 1 hard constraints
c core #11
c Core size: 53	Core Weight: 5	Total Weight: 525
c Learning 2 hard constraints
c core #12
c Core size: 34	Core Weight: 5	Total Weight: 530
c Learning 1 hard constraints
c core #13
c Core size: 31	Core Weight: 15	Total Weight: 545
c core #14
c Core size: 28	Core Weight: 10	Total Weight: 555
c core #15
c Core size: 149	Core Weight: 2	Total Weight: 557
c core #16
c Core size: 167	Core Weight: 3	Total Weight: 560
c core #17
c Core size: 159	Core Weight: 2	Total Weight: 562
c core #18
c Core size: 183	Core Weight: 3	Total Weight: 565
c core #19
c Core size: 96	Core Weight: 5	Total Weight: 570
c core #20
c Core size: 95	Core Weight: 3	Total Weight: 573
c core #21
c Core size: 86	Core Weight: 2	Total Weight: 575
c core #22
c Core size: 211	Core Weight: 2	Total Weight: 577
c Learning 2 hard constraints
c core #23
c Core size: 145	Core Weight: 1	Total Weight: 578
c core #24
c Core size: 282	Core Weight: 1	Total Weight: 579
c Learning 1 hard constraints
c core #25
c Core size: 274	Core Weight: 1	Total Weight: 580
c core #26
c Core size: 365	Core Weight: 1	Total Weight: 581
c Learning 1 hard constraints
c core #27
c Core size: 298	Core Weight: 1	Total Weight: 582
c core #28
c Core size: 350	Core Weight: 1	Total Weight: 583
c core #29
c Core size: 364	Core Weight: 1	Total Weight: 584
c Learning 2 hard constraints
c core #30
c Core size: 418	Core Weight: 1	Total Weight: 585
c Learning 3 hard constraints
c core #31
c Core size: 655	Core Weight: 1	Total Weight: 586
c Learning 6 hard constraints
c core #32
c Core size: 831	Core Weight: 1	Total Weight: 587
c core #33
c Core size: 1022	Core Weight: 1	Total Weight: 588
c Learning 9 hard constraints