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_mprime04cc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/mprime04cc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 14	Core Weight: 55	Total Weight: 55
c core #2
c Core size: 12	Core Weight: 8	Total Weight: 63
c core #3
c Core size: 12	Core Weight: 27	Total Weight: 90
c core #4
c Core size: 62	Core Weight: 31	Total Weight: 121
c core #5
c Core size: 66	Core Weight: 40	Total Weight: 161
c core #6
c Core size: 56	Core Weight: 24	Total Weight: 185
c core #7
c Core size: 56	Core Weight: 12	Total Weight: 197
c core #8
c Core size: 56	Core Weight: 40	Total Weight: 237
c core #9
c Core size: 56	Core Weight: 20	Total Weight: 257
c core #10
c Core size: 56	Core Weight: 7	Total Weight: 264
c core #11
c Core size: 58	Core Weight: 18	Total Weight: 282
c core #12
c Core size: 75	Core Weight: 50	Total Weight: 332
c core #13
c Core size: 77	Core Weight: 5	Total Weight: 337
c core #14
c Core size: 60	Core Weight: 9	Total Weight: 346
c core #15
c Core size: 62	Core Weight: 21	Total Weight: 367
c core #16
c Core size: 63	Core Weight: 31	Total Weight: 398
c core #17
c Core size: 17	Core Weight: 35	Total Weight: 433
c core #18
c Core size: 65	Core Weight: 6	Total Weight: 439
c Learning 1 hard constraints
c core #19
c Core size: 70	Core Weight: 24	Total Weight: 463
c core #20
c Core size: 63	Core Weight: 29	Total Weight: 492
c core #21
c Core size: 52	Core Weight: 5	Total Weight: 497
c core #22
c Core size: 55	Core Weight: 12	Total Weight: 509
c core #23
c Core size: 55	Core Weight: 31	Total Weight: 540
c core #24
c Core size: 55	Core Weight: 3	Total Weight: 543
c core #25
c Core size: 38	Core Weight: 3	Total Weight: 546
c Learning 1 hard constraints
c core #26
c Core size: 32	Core Weight: 9	Total Weight: 555
c Learning 1 hard constraints
c core #27
c Core size: 41	Core Weight: 1	Total Weight: 556
c core #28
c Core size: 39	Core Weight: 4	Total Weight: 560
c core #29
c Core size: 39	Core Weight: 2	Total Weight: 562
c core #30
c Core size: 41	Core Weight: 27	Total Weight: 589
c core #31
c Core size: 41	Core Weight: 13	Total Weight: 602
c core #32
c Core size: 41	Core Weight: 11	Total Weight: 613
c core #33
c Core size: 32	Core Weight: 9	Total Weight: 622
c core #34
c Core size: 32	Core Weight: 7	Total Weight: 629
c core #35
c Core size: 32	Core Weight: 18	Total Weight: 647
c core #36
c Core size: 32	Core Weight: 5	Total Weight: 652
c core #37
c Core size: 36	Core Weight: 31	Total Weight: 683
c core #38
c Core size: 36	Core Weight: 3	Total Weight: 686
c core #39
c Core size: 36	Core Weight: 3	Total Weight: 689
c core #40
c Core size: 36	Core Weight: 12	Total Weight: 701
c core #41
c Core size: 36	Core Weight: 6	Total Weight: 707
c core #42
c Core size: 63	Core Weight: 7	Total Weight: 714
c core #43
c Core size: 63	Core Weight: 27	Total Weight: 741
c core #44
c Core size: 63	Core Weight: 11	Total Weight: 752
c core #45
c Core size: 63	Core Weight: 1	Total Weight: 753
c core #46
c Core size: 74	Core Weight: 6	Total Weight: 759
c core #47
c Core size: 85	Core Weight: 1	Total Weight: 760
c core #48
c Core size: 81	Core Weight: 1	Total Weight: 761
c core #49
c Core size: 94	Core Weight: 1	Total Weight: 762
c core #50
c Core size: 94	Core Weight: 2	Total Weight: 764
c core #51
c Core size: 94	Core Weight: 1	Total Weight: 765
c core #52
c Core size: 97	Core Weight: 2	Total Weight: 767
c core #53
c Core size: 97	Core Weight: 1	Total Weight: 768
c Learning 2 hard constraints
c core #54
c Core size: 87	Core Weight: 1	Total Weight: 769
c core #55
c Core size: 136	Core Weight: 6	Total Weight: 775
c Learning 1 hard constraints
c core #56
c Core size: 126	Core Weight: 2	Total Weight: 777
c Learning 1 hard constraints
c core #57
c Core size: 121	Core Weight: 1	Total Weight: 778
c core #58
c Core size: 62	Core Weight: 1	Total Weight: 779
c core #59
c Core size: 144	Core Weight: 4	Total Weight: 783
c core #60
c Core size: 97	Core Weight: 2	Total Weight: 785
c Learning 1 hard constraints
c core #61
c Core size: 96	Core Weight: 9	Total Weight: 794
c core #62
c Core size: 56	Core Weight: 6	Total Weight: 800
c core #63
c Core size: 88	Core Weight: 1	Total Weight: 801
c core #64
c Core size: 105	Core Weight: 1	Total Weight: 802
c core #65
c Core size: 53	Core Weight: 2	Total Weight: 804
c core #66
c Core size: 68	Core Weight: 5	Total Weight: 809
c core #67
c Core size: 56	Core Weight: 23	Total Weight: 832
c core #68
c Core size: 75	Core Weight: 1	Total Weight: 833
c core #69
c Core size: 66	Core Weight: 1	Total Weight: 834
c core #70
c Core size: 151	Core Weight: 1	Total Weight: 835
c core #71
c Core size: 40	Core Weight: 8	Total Weight: 843
c core #72
c Core size: 163	Core Weight: 1	Total Weight: 844
c core #73
c Core size: 81	Core Weight: 1	Total Weight: 845
c core #74
c Core size: 157	Core Weight: 1	Total Weight: 846
c Learning 1 hard constraints
c core #75
c Core size: 97	Core Weight: 1	Total Weight: 847
c core #76
c Core size: 237	Core Weight: 1	Total Weight: 848
c core #77
c Core size: 240	Core Weight: 1	Total Weight: 849
c Learning 1 hard constraints
c core #78
c Core size: 175	Core Weight: 1	Total Weight: 850
c core #79
c Core size: 183	Core Weight: 1	Total Weight: 851
c core #80
c Core size: 174	Core Weight: 1	Total Weight: 852
c core #81
c Core size: 176	Core Weight: 1	Total Weight: 853
c Learning 1 hard constraints
c core #82
c Core size: 179	Core Weight: 1	Total Weight: 854
c Learning 1 hard constraints
c core #83
c Core size: 156	Core Weight: 3	Total Weight: 857
c core #84
c Core size: 167	Core Weight: 1	Total Weight: 858
c core #85
c Core size: 256	Core Weight: 1	Total Weight: 859
c core #86
c Core size: 215	Core Weight: 1	Total Weight: 860
c core #87
c Core size: 194	Core Weight: 1	Total Weight: 861
c core #88
c Core size: 184	Core Weight: 9	Total Weight: 870
c Learning 1 hard constraints
c core #89
c Core size: 198	Core Weight: 1	Total Weight: 871
c core #90
c Core size: 234	Core Weight: 1	Total Weight: 872
c Learning 1 hard constraints
c core #91
c Core size: 177	Core Weight: 1	Total Weight: 873
c core #92
c Core size: 177	Core Weight: 1	Total Weight: 874
c Learning 1 hard constraints
c core #93
c Core size: 184	Core Weight: 1	Total Weight: 875
c core #94
c Core size: 314	Core Weight: 1	Total Weight: 876
c Learning 1 hard constraints
c core #95
c Core size: 201	Core Weight: 1	Total Weight: 877
c core #96
c Core size: 310	Core Weight: 1	Total Weight: 878
c core #97
c Core size: 199	Core Weight: 1	Total Weight: 879
c Learning 1 hard constraints
c core #98
c Core size: 202	Core Weight: 1	Total Weight: 880
c core #99
c Core size: 189	Core Weight: 1	Total Weight: 881
c Learning 1 hard constraints
c core #100
c Core size: 422	Core Weight: 1	Total Weight: 882
c core #101
c Core size: 531	Core Weight: 1	Total Weight: 883
c core #102
c Core size: 628	Core Weight: 1	Total Weight: 884
c core #103
c Core size: 151	Core Weight: 1	Total Weight: 885
c core #104
c Core size: 262	Core Weight: 1	Total Weight: 886
c Learning 2 hard constraints
c core #105
c Core size: 301	Core Weight: 1	Total Weight: 887
c core #106
c Core size: 780	Core Weight: 1	Total Weight: 888