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_bwt5cc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/bwt5cc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 57	Core Weight: 64	Total Weight: 64
c core #2
c Core size: 61	Core Weight: 57	Total Weight: 121
c core #3
c Core size: 55	Core Weight: 1	Total Weight: 122
c core #4
c Core size: 66	Core Weight: 24	Total Weight: 146
c core #5
c Core size: 77	Core Weight: 29	Total Weight: 175
c core #6
c Core size: 85	Core Weight: 10	Total Weight: 185
c core #7
c Core size: 53	Core Weight: 1	Total Weight: 186
c core #8
c Core size: 91	Core Weight: 1	Total Weight: 187
c core #9
c Core size: 84	Core Weight: 1	Total Weight: 188
c core #10
c Core size: 84	Core Weight: 40	Total Weight: 228
c core #11
c Core size: 98	Core Weight: 1	Total Weight: 229
c core #12
c Core size: 103	Core Weight: 14	Total Weight: 243
c core #13
c Core size: 115	Core Weight: 12	Total Weight: 255
c core #14
c Core size: 123	Core Weight: 3	Total Weight: 258
c core #15
c Core size: 107	Core Weight: 10	Total Weight: 268
c core #16
c Core size: 110	Core Weight: 7	Total Weight: 275
c core #17
c Core size: 113	Core Weight: 18	Total Weight: 293
c core #18
c Core size: 127	Core Weight: 10	Total Weight: 303
c core #19
c Core size: 132	Core Weight: 2	Total Weight: 305
c core #20
c Core size: 137	Core Weight: 10	Total Weight: 315
c core #21
c Core size: 142	Core Weight: 17	Total Weight: 332
c core #22
c Core size: 158	Core Weight: 31	Total Weight: 363
c core #23
c Core size: 162	Core Weight: 4	Total Weight: 367
c core #24
c Core size: 167	Core Weight: 1	Total Weight: 368
c core #25
c Core size: 163	Core Weight: 5	Total Weight: 373
c core #26
c Core size: 165	Core Weight: 18	Total Weight: 391
c core #27
c Core size: 170	Core Weight: 10	Total Weight: 401
c core #28
c Core size: 175	Core Weight: 1	Total Weight: 402
c core #29
c Core size: 97	Core Weight: 28	Total Weight: 430
c core #30
c Core size: 104	Core Weight: 1	Total Weight: 431
c core #31
c Core size: 114	Core Weight: 16	Total Weight: 447
c core #32
c Core size: 130	Core Weight: 12	Total Weight: 459
c core #33
c Core size: 135	Core Weight: 5	Total Weight: 464
c core #34
c Core size: 148	Core Weight: 23	Total Weight: 487
c core #35
c Core size: 163	Core Weight: 1	Total Weight: 488
c core #36
c Core size: 167	Core Weight: 1	Total Weight: 489
c core #37
c Core size: 154	Core Weight: 14	Total Weight: 503
c core #38
c Core size: 156	Core Weight: 1	Total Weight: 504
c core #39
c Core size: 164	Core Weight: 7	Total Weight: 511
c core #40
c Core size: 132	Core Weight: 5	Total Weight: 516
c core #41
c Core size: 138	Core Weight: 17	Total Weight: 533
c core #42
c Core size: 133	Core Weight: 17	Total Weight: 550
c core #43
c Core size: 120	Core Weight: 10	Total Weight: 560
c core #44
c Core size: 143	Core Weight: 10	Total Weight: 570
c Learning 2 hard constraints
c core #45
c Core size: 143	Core Weight: 2	Total Weight: 572
c core #46
c Core size: 145	Core Weight: 14	Total Weight: 586
c core #47
c Core size: 145	Core Weight: 13	Total Weight: 599
c core #48
c Core size: 99	Core Weight: 1	Total Weight: 600
c core #49
c Core size: 43	Core Weight: 8	Total Weight: 608
c core #50
c Core size: 48	Core Weight: 16	Total Weight: 624
c core #51
c Core size: 96	Core Weight: 7	Total Weight: 631
c core #52
c Core size: 105	Core Weight: 1	Total Weight: 632
c core #53
c Core size: 126	Core Weight: 1	Total Weight: 633
c Learning 6 hard constraints
c core #54
c Core size: 203	Core Weight: 1	Total Weight: 634
c Learning 1 hard constraints
c core #55
c Core size: 127	Core Weight: 1	Total Weight: 635
c Learning 1 hard constraints
c core #56
c Core size: 113	Core Weight: 12	Total Weight: 647
c Learning 1 hard constraints
c core #57
c Core size: 92	Core Weight: 11	Total Weight: 658
c core #58
c Core size: 127	Core Weight: 10	Total Weight: 668
c core #59
c Core size: 138	Core Weight: 13	Total Weight: 681
c core #60
c Core size: 140	Core Weight: 1	Total Weight: 682
c core #61
c Core size: 140	Core Weight: 1	Total Weight: 683
c core #62
c Core size: 144	Core Weight: 1	Total Weight: 684
c core #63
c Core size: 144	Core Weight: 1	Total Weight: 685
c core #64
c Core size: 146	Core Weight: 1	Total Weight: 686
c core #65
c Core size: 146	Core Weight: 7	Total Weight: 693
c Learning 1 hard constraints
c core #66
c Core size: 142	Core Weight: 2	Total Weight: 695
c core #67
c Core size: 141	Core Weight: 2	Total Weight: 697
c core #68
c Core size: 145	Core Weight: 1	Total Weight: 698
c core #69
c Core size: 129	Core Weight: 1	Total Weight: 699
c core #70
c Core size: 120	Core Weight: 12	Total Weight: 711
c Learning 3 hard constraints
c core #71
c Core size: 91	Core Weight: 8	Total Weight: 719
c core #72
c Core size: 121	Core Weight: 1	Total Weight: 720
c Learning 1 hard constraints
c core #73
c Core size: 104	Core Weight: 1	Total Weight: 721
c core #74
c Core size: 104	Core Weight: 1	Total Weight: 722
c core #75
c Core size: 102	Core Weight: 9	Total Weight: 731
c core #76
c Core size: 102	Core Weight: 2	Total Weight: 733
c core #77
c Core size: 102	Core Weight: 1	Total Weight: 734
c core #78
c Core size: 115	Core Weight: 4	Total Weight: 738
c core #79
c Core size: 98	Core Weight: 1	Total Weight: 739
c core #80
c Core size: 100	Core Weight: 5	Total Weight: 744
c core #81
c Core size: 98	Core Weight: 1	Total Weight: 745
c core #82
c Core size: 98	Core Weight: 1	Total Weight: 746
c core #83
c Core size: 94	Core Weight: 5	Total Weight: 751
c Learning 1 hard constraints
c core #84
c Core size: 75	Core Weight: 1	Total Weight: 752
c core #85
c Core size: 80	Core Weight: 12	Total Weight: 764
c core #86
c Core size: 80	Core Weight: 2	Total Weight: 766
c core #87
c Core size: 84	Core Weight: 1	Total Weight: 767
c core #88
c Core size: 116	Core Weight: 1	Total Weight: 768
c core #89
c Core size: 138	Core Weight: 1	Total Weight: 769
c core #90
c Core size: 138	Core Weight: 7	Total Weight: 776
c core #91
c Core size: 136	Core Weight: 3	Total Weight: 779
c core #92
c Core size: 138	Core Weight: 3	Total Weight: 782
c core #93
c Core size: 138	Core Weight: 1	Total Weight: 783
c core #94
c Core size: 137	Core Weight: 1	Total Weight: 784
c core #95
c Core size: 138	Core Weight: 1	Total Weight: 785
c core #96
c Core size: 159	Core Weight: 3	Total Weight: 788
c core #97
c Core size: 161	Core Weight: 1	Total Weight: 789
c core #98
c Core size: 163	Core Weight: 3	Total Weight: 792
c core #99
c Core size: 163	Core Weight: 1	Total Weight: 793
c core #100
c Core size: 163	Core Weight: 1	Total Weight: 794
c core #101
c Core size: 165	Core Weight: 1	Total Weight: 795
c core #102
c Core size: 165	Core Weight: 1	Total Weight: 796
c core #103
c Core size: 167	Core Weight: 3	Total Weight: 799
c core #104
c Core size: 169	Core Weight: 3	Total Weight: 802
c core #105
c Core size: 166	Core Weight: 1	Total Weight: 803
c core #106
c Core size: 162	Core Weight: 2	Total Weight: 805
c core #107
c Core size: 190	Core Weight: 1	Total Weight: 806
c core #108
c Core size: 182	Core Weight: 1	Total Weight: 807
c core #109
c Core size: 191	Core Weight: 1	Total Weight: 808
c Learning 1 hard constraints
c core #110
c Core size: 202	Core Weight: 1	Total Weight: 809
c core #111
c Core size: 205	Core Weight: 1	Total Weight: 810
c core #112
c Core size: 216	Core Weight: 1	Total Weight: 811
c core #113
c Core size: 214	Core Weight: 1	Total Weight: 812
c core #114
c Core size: 208	Core Weight: 1	Total Weight: 813
c core #115
c Core size: 211	Core Weight: 1	Total Weight: 814
c core #116
c Core size: 232	Core Weight: 1	Total Weight: 815
c core #117
c Core size: 208	Core Weight: 1	Total Weight: 816
c core #118
c Core size: 205	Core Weight: 1	Total Weight: 817
c core #119
c Core size: 218	Core Weight: 1	Total Weight: 818
c core #120
c Core size: 205	Core Weight: 1	Total Weight: 819
c core #121
c Core size: 224	Core Weight: 1	Total Weight: 820
c core #122
c Core size: 206	Core Weight: 1	Total Weight: 821
c core #123
c Core size: 243	Core Weight: 1	Total Weight: 822
c core #124
c Core size: 206	Core Weight: 1	Total Weight: 823
c core #125
c Core size: 212	Core Weight: 1	Total Weight: 824
c core #126
c Core size: 235	Core Weight: 1	Total Weight: 825
c core #127
c Core size: 213	Core Weight: 1	Total Weight: 826
c core #128
c Core size: 269	Core Weight: 1	Total Weight: 827
c core #129
c Core size: 293	Core Weight: 1	Total Weight: 828
c core #130
c Core size: 290	Core Weight: 1	Total Weight: 829
c core #131
c Core size: 301	Core Weight: 1	Total Weight: 830
c core #132
c Core size: 304	Core Weight: 1	Total Weight: 831
c core #133
c Core size: 334	Core Weight: 1	Total Weight: 832
c core #134
c Core size: 385	Core Weight: 1	Total Weight: 833
c core #135
c Core size: 324	Core Weight: 1	Total Weight: 834
c core #136
c Core size: 420	Core Weight: 1	Total Weight: 835
c core #137
c Core size: 451	Core Weight: 1	Total Weight: 836
c core #138
c Core size: 335	Core Weight: 1	Total Weight: 837