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_logistics01bc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/logistics01bc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 6	Core Weight: 650	Total Weight: 650
c core #2
c Core size: 28	Core Weight: 35	Total Weight: 685
c core #3
c Core size: 32	Core Weight: 30	Total Weight: 715
c core #4
c Core size: 16	Core Weight: 175	Total Weight: 890
c core #5
c Core size: 16	Core Weight: 100	Total Weight: 990
c core #6
c Core size: 28	Core Weight: 35	Total Weight: 1025
c core #7
c Core size: 13	Core Weight: 20	Total Weight: 1045
c core #8
c Core size: 9	Core Weight: 35	Total Weight: 1080
c core #9
c Core size: 9	Core Weight: 20	Total Weight: 1100
c core #10
c Core size: 50	Core Weight: 45	Total Weight: 1145
c core #11
c Core size: 22	Core Weight: 25	Total Weight: 1170
c core #12
c Core size: 22	Core Weight: 20	Total Weight: 1190
c core #13
c Core size: 20	Core Weight: 555	Total Weight: 1745
c core #14
c Core size: 28	Core Weight: 30	Total Weight: 1775
c core #15
c Core size: 28	Core Weight: 25	Total Weight: 1800
c core #16
c Core size: 28	Core Weight: 15	Total Weight: 1815
c core #17
c Core size: 28	Core Weight: 535	Total Weight: 2350
c core #18
c Core size: 23	Core Weight: 2480	Total Weight: 4830
c core #19
c Core size: 31	Core Weight: 5	Total Weight: 4835
c core #20
c Core size: 34	Core Weight: 20	Total Weight: 4855
c core #21
c Core size: 40	Core Weight: 20	Total Weight: 4875
c core #22
c Core size: 41	Core Weight: 20	Total Weight: 4895
c core #23
c Core size: 31	Core Weight: 35	Total Weight: 4930
c core #24
c Core size: 34	Core Weight: 30	Total Weight: 4960
c core #25
c Core size: 37	Core Weight: 35	Total Weight: 4995
c core #26
c Core size: 13	Core Weight: 60	Total Weight: 5055
c core #27
c Core size: 13	Core Weight: 55	Total Weight: 5110
c core #28
c Core size: 38	Core Weight: 5	Total Weight: 5115
c Learning 3 hard constraints
c core #29
c Core size: 28	Core Weight: 12	Total Weight: 5127
c core #30
c Core size: 31	Core Weight: 28	Total Weight: 5155
c core #31
c Core size: 44	Core Weight: 10	Total Weight: 5165
c core #32
c Core size: 50	Core Weight: 10	Total Weight: 5175
c core #33
c Core size: 50	Core Weight: 15	Total Weight: 5190
c Learning 1 hard constraints
c core #34
c Core size: 39	Core Weight: 20	Total Weight: 5210
c core #35
c Core size: 37	Core Weight: 35	Total Weight: 5245
c core #36
c Core size: 35	Core Weight: 2400	Total Weight: 7645
c Learning 1 hard constraints
c core #37
c Core size: 24	Core Weight: 65	Total Weight: 7710
c core #38
c Core size: 32	Core Weight: 20	Total Weight: 7730
c Learning 1 hard constraints
c core #39
c Core size: 22	Core Weight: 15	Total Weight: 7745
c core #40
c Core size: 52	Core Weight: 5	Total Weight: 7750
c core #41
c Core size: 56	Core Weight: 12	Total Weight: 7762
c core #42
c Core size: 70	Core Weight: 8	Total Weight: 7770
c Learning 1 hard constraints
c core #43
c Core size: 64	Core Weight: 5	Total Weight: 7775
c Learning 2 hard constraints
c core #44
c Core size: 61	Core Weight: 5	Total Weight: 7780
c core #45
c Core size: 58	Core Weight: 10	Total Weight: 7790
c core #46
c Core size: 60	Core Weight: 5	Total Weight: 7795
c core #47
c Core size: 58	Core Weight: 5	Total Weight: 7800
c core #48
c Core size: 59	Core Weight: 20	Total Weight: 7820
c Learning 2 hard constraints
c core #49
c Core size: 59	Core Weight: 20	Total Weight: 7840
c Learning 3 hard constraints
c core #50
c Core size: 50	Core Weight: 15	Total Weight: 7855
c Learning 2 hard constraints
c core #51
c Core size: 88	Core Weight: 5	Total Weight: 7860
c core #52
c Core size: 88	Core Weight: 5	Total Weight: 7865
c core #53
c Core size: 81	Core Weight: 5	Total Weight: 7870
c Learning 1 hard constraints
c core #54
c Core size: 60	Core Weight: 5	Total Weight: 7875
c Learning 1 hard constraints
c core #55
c Core size: 125	Core Weight: 5	Total Weight: 7880
c core #56
c Core size: 106	Core Weight: 2	Total Weight: 7882
c core #57
c Core size: 107	Core Weight: 3	Total Weight: 7885
c core #58
c Core size: 100	Core Weight: 3	Total Weight: 7888
c core #59
c Core size: 114	Core Weight: 2	Total Weight: 7890
c core #60
c Core size: 80	Core Weight: 3	Total Weight: 7893
c core #61
c Core size: 161	Core Weight: 2	Total Weight: 7895
c core #62
c Core size: 98	Core Weight: 1	Total Weight: 7896
c Learning 1 hard constraints
c core #63
c Core size: 94	Core Weight: 5	Total Weight: 7901
c Learning 1 hard constraints
c core #64
c Core size: 92	Core Weight: 9	Total Weight: 7910
c core #65
c Core size: 150	Core Weight: 2	Total Weight: 7912
c core #66
c Core size: 78	Core Weight: 1	Total Weight: 7913
c core #67
c Core size: 174	Core Weight: 1	Total Weight: 7914
c core #68
c Core size: 251	Core Weight: 1	Total Weight: 7915
c core #69
c Core size: 226	Core Weight: 1	Total Weight: 7916
c Learning 1 hard constraints
c core #70
c Core size: 116	Core Weight: 1	Total Weight: 7917
c core #71
c Core size: 100	Core Weight: 1	Total Weight: 7918
c core #72
c Core size: 264	Core Weight: 1	Total Weight: 7919
c Learning 1 hard constraints
c core #73
c Core size: 181	Core Weight: 1	Total Weight: 7920
c core #74
c Core size: 80	Core Weight: 5	Total Weight: 7925
c Learning 1 hard constraints
c core #75
c Core size: 434	Core Weight: 1	Total Weight: 7926
c core #76
c Core size: 194	Core Weight: 1	Total Weight: 7927
c Learning 3 hard constraints
c core #77
c Core size: 308	Core Weight: 1	Total Weight: 7928
c core #78
c Core size: 150	Core Weight: 1	Total Weight: 7929
c Learning 1 hard constraints
c core #79
c Core size: 99	Core Weight: 16	Total Weight: 7945
c Learning 1 hard constraints
c core #80
c Core size: 383	Core Weight: 1	Total Weight: 7946
c core #81
c Core size: 520	Core Weight: 1	Total Weight: 7947
c Learning 3 hard constraints
c core #82
c Core size: 250	Core Weight: 1	Total Weight: 7948
c Learning 5 hard constraints
c core #83
c Core size: 197	Core Weight: 2	Total Weight: 7950
c Learning 6 hard constraints
c core #84
c Core size: 226	Core Weight: 1	Total Weight: 7951
c Learning 5 hard constraints
c core #85
c Core size: 204	Core Weight: 4	Total Weight: 7955
c Learning 5 hard constraints
c core #86
c Core size: 391	Core Weight: 1	Total Weight: 7956
c Learning 3 hard constraints
c core #87
c Core size: 177	Core Weight: 1	Total Weight: 7957
c Learning 2 hard constraints
c core #88
c Core size: 130	Core Weight: 3	Total Weight: 7960
c Learning 3 hard constraints
c core #89
c Core size: 209	Core Weight: 1	Total Weight: 7961
c Learning 2 hard constraints
c core #90
c Core size: 171	Core Weight: 8	Total Weight: 7969
c Learning 1 hard constraints
c core #91
c Core size: 280	Core Weight: 1	Total Weight: 7970
c Learning 10 hard constraints
c core #92
c Core size: 246	Core Weight: 1	Total Weight: 7971
c Learning 3 hard constraints
c core #93
c Core size: 271	Core Weight: 1	Total Weight: 7972
c Learning 2 hard constraints
c core #94
c Core size: 207	Core Weight: 1	Total Weight: 7973
c Learning 1 hard constraints
c core #95
c Core size: 625	Core Weight: 1	Total Weight: 7974
c Learning 3 hard constraints
c core #96
c Core size: 249	Core Weight: 1	Total Weight: 7975
c Learning 2 hard constraints
c core #97
c Core size: 260	Core Weight: 1	Total Weight: 7976
c Learning 1 hard constraints
c core #98
c Core size: 362	Core Weight: 1	Total Weight: 7977
c core #99
c Core size: 541	Core Weight: 1	Total Weight: 7978
c core #100
c Core size: 603	Core Weight: 1	Total Weight: 7979
c Learning 3 hard constraints
c core #101
c Core size: 732	Core Weight: 1	Total Weight: 7980
c Learning 3 hard constraints