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_driverlogs03.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/driverlogs03.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 37	Core Weight: 20	Total Weight: 20
c core #2
c Core size: 17	Core Weight: 20	Total Weight: 40
c core #3
c Core size: 76	Core Weight: 5	Total Weight: 45
c core #4
c Core size: 57	Core Weight: 15	Total Weight: 60
c core #5
c Core size: 59	Core Weight: 20	Total Weight: 80
c core #6
c Core size: 91	Core Weight: 5	Total Weight: 85
c core #7
c Core size: 64	Core Weight: 20	Total Weight: 105
c Learning 2 hard constraints
c core #8
c Core size: 89	Core Weight: 20	Total Weight: 125
c Learning 1 hard constraints
c core #9
c Core size: 81	Core Weight: 195	Total Weight: 320
c Learning 1 hard constraints
c core #10
c Core size: 103	Core Weight: 5	Total Weight: 325
c core #11
c Core size: 88	Core Weight: 15	Total Weight: 340
c Learning 2 hard constraints
c core #12
c Core size: 129	Core Weight: 5	Total Weight: 345
c Learning 4 hard constraints
c core #13
c Core size: 136	Core Weight: 15	Total Weight: 360
c Learning 3 hard constraints
c core #14
c Core size: 112	Core Weight: 40	Total Weight: 400
c Learning 3 hard constraints
c core #15
c Core size: 132	Core Weight: 5	Total Weight: 405
c Learning 3 hard constraints
c core #16
c Core size: 124	Core Weight: 85	Total Weight: 490
c core #17
c Core size: 128	Core Weight: 20	Total Weight: 510
c core #18
c Core size: 128	Core Weight: 110	Total Weight: 620
c core #19
c Core size: 141	Core Weight: 5	Total Weight: 625
c core #20
c Core size: 159	Core Weight: 5	Total Weight: 630
c core #21
c Core size: 161	Core Weight: 10	Total Weight: 640
c core #22
c Core size: 223	Core Weight: 5	Total Weight: 645
c Learning 2 hard constraints
c core #23
c Core size: 426	Core Weight: 5	Total Weight: 650
c Learning 11 hard constraints
c core #24
c Core size: 109	Core Weight: 10	Total Weight: 660
c Learning 8 hard constraints
c core #25
c Core size: 85	Core Weight: 5	Total Weight: 665
c Learning 2 hard constraints
c core #26
c Core size: 184	Core Weight: 5	Total Weight: 670
c Learning 12 hard constraints
c core #27
c Core size: 191	Core Weight: 5	Total Weight: 675
c Learning 5 hard constraints
c core #28
c Core size: 208	Core Weight: 5	Total Weight: 680
c Learning 3 hard constraints
c core #29
c Core size: 164	Core Weight: 10	Total Weight: 690
c Learning 2 hard constraints
c core #30
c Core size: 136	Core Weight: 20	Total Weight: 710
c Learning 3 hard constraints
c core #31
c Core size: 134	Core Weight: 5	Total Weight: 715
c Learning 1 hard constraints
c core #32
c Core size: 122	Core Weight: 5	Total Weight: 720
c core #33
c Core size: 181	Core Weight: 5	Total Weight: 725
c Learning 1 hard constraints
c core #34
c Core size: 188	Core Weight: 5	Total Weight: 730
c Learning 2 hard constraints
c core #35
c Core size: 180	Core Weight: 5	Total Weight: 735
c Learning 3 hard constraints
c core #36
c Core size: 155	Core Weight: 5	Total Weight: 740
c Learning 2 hard constraints
c core #37
c Core size: 159	Core Weight: 5	Total Weight: 745
c Learning 2 hard constraints
c core #38
c Core size: 204	Core Weight: 5	Total Weight: 750
c Learning 3 hard constraints
c core #39
c Core size: 219	Core Weight: 5	Total Weight: 755
c Learning 7 hard constraints
c core #40
c Core size: 214	Core Weight: 5	Total Weight: 760
c Learning 6 hard constraints
c core #41
c Core size: 219	Core Weight: 5	Total Weight: 765
c Learning 3 hard constraints
c core #42
c Core size: 215	Core Weight: 15	Total Weight: 780
c Learning 1 hard constraints
c core #43
c Core size: 191	Core Weight: 5	Total Weight: 785
c core #44
c Core size: 193	Core Weight: 5	Total Weight: 790
c core #45
c Core size: 190	Core Weight: 5	Total Weight: 795
c Learning 1 hard constraints
c core #46
c Core size: 191	Core Weight: 20	Total Weight: 815
c core #47
c Core size: 192	Core Weight: 15	Total Weight: 830
c core #48
c Core size: 379	Core Weight: 5	Total Weight: 835
c Learning 4 hard constraints
c core #49
c Core size: 277	Core Weight: 5	Total Weight: 840
c Learning 5 hard constraints
c core #50
c Core size: 389	Core Weight: 5	Total Weight: 845
c Learning 4 hard constraints
c core #51
c Core size: 525	Core Weight: 5	Total Weight: 850
c Learning 37 hard constraints
c core #52
c Core size: 585	Core Weight: 5	Total Weight: 855
c Learning 12 hard constraints
c core #53
c Core size: 613	Core Weight: 5	Total Weight: 860
c Learning 17 hard constraints
c core #54
c Core size: 427	Core Weight: 5	Total Weight: 865
c Learning 17 hard constraints
c core #55
c Core size: 725	Core Weight: 5	Total Weight: 870
c Learning 10 hard constraints
c core #56
c Core size: 606	Core Weight: 5	Total Weight: 875
c Learning 7 hard constraints
c core #57
c Core size: 409	Core Weight: 5	Total Weight: 880
c Learning 8 hard constraints
c core #58
c Core size: 404	Core Weight: 5	Total Weight: 885
c Learning 14 hard constraints
c core #59
c Core size: 521	Core Weight: 5	Total Weight: 890
c Learning 2 hard constraints
c core #60
c Core size: 388	Core Weight: 5	Total Weight: 895
c Learning 20 hard constraints
c core #61
c Core size: 404	Core Weight: 5	Total Weight: 900
c Learning 9 hard constraints
c core #62
c Core size: 529	Core Weight: 5	Total Weight: 905
c Learning 17 hard constraints
c core #63
c Core size: 406	Core Weight: 5	Total Weight: 910
c Learning 3 hard constraints
c core #64
c Core size: 514	Core Weight: 5	Total Weight: 915
c Learning 17 hard constraints
c core #65
c Core size: 435	Core Weight: 5	Total Weight: 920
c Learning 16 hard constraints
c core #66
c Core size: 457	Core Weight: 5	Total Weight: 925
c Learning 10 hard constraints
c core #67
c Core size: 504	Core Weight: 5	Total Weight: 930
c Learning 17 hard constraints
c core #68
c Core size: 434	Core Weight: 5	Total Weight: 935
c Learning 8 hard constraints
c core #69
c Core size: 462	Core Weight: 5	Total Weight: 940
c Learning 11 hard constraints
c core #70
c Core size: 448	Core Weight: 5	Total Weight: 945
c Learning 5 hard constraints
c core #71
c Core size: 525	Core Weight: 5	Total Weight: 950
c Learning 20 hard constraints
c core #72
c Core size: 473	Core Weight: 5	Total Weight: 955
c Learning 10 hard constraints
c core #73
c Core size: 393	Core Weight: 5	Total Weight: 960
c Learning 8 hard constraints
c core #74
c Core size: 386	Core Weight: 5	Total Weight: 965
c Learning 12 hard constraints
c core #75
c Core size: 503	Core Weight: 5	Total Weight: 970
c Learning 16 hard constraints
c core #76
c Core size: 474	Core Weight: 5	Total Weight: 975
c Learning 6 hard constraints
c core #77
c Core size: 497	Core Weight: 5	Total Weight: 980
c Learning 9 hard constraints
c core #78
c Core size: 459	Core Weight: 5	Total Weight: 985
c Learning 15 hard constraints
c core #79
c Core size: 430	Core Weight: 5	Total Weight: 990
c Learning 14 hard constraints
c core #80
c Core size: 462	Core Weight: 5	Total Weight: 995
c Learning 6 hard constraints
c core #81
c Core size: 428	Core Weight: 5	Total Weight: 1000
c Learning 7 hard constraints
c core #82
c Core size: 638	Core Weight: 5	Total Weight: 1005
c Learning 9 hard constraints
c core #83
c Core size: 436	Core Weight: 5	Total Weight: 1010
c Learning 4 hard constraints
c core #84
c Core size: 515	Core Weight: 5	Total Weight: 1015
c Learning 12 hard constraints
c core #85
c Core size: 503	Core Weight: 5	Total Weight: 1020
c Learning 11 hard constraints
c core #86
c Core size: 660	Core Weight: 5	Total Weight: 1025
c Learning 1 hard constraints
c core #87
c Core size: 625	Core Weight: 5	Total Weight: 1030
c Learning 4 hard constraints
c core #88
c Core size: 869	Core Weight: 5	Total Weight: 1035
c Learning 19 hard constraints
c core #89
c Core size: 619	Core Weight: 5	Total Weight: 1040
c Learning 5 hard constraints
c core #90
c Core size: 558	Core Weight: 5	Total Weight: 1045
c Learning 4 hard constraints
c core #91
c Core size: 665	Core Weight: 5	Total Weight: 1050
c Learning 11 hard constraints
c core #92
c Core size: 921	Core Weight: 5	Total Weight: 1055
c Learning 7 hard constraints
c core #93
c Core size: 1349	Core Weight: 5	Total Weight: 1060
c Learning 19 hard constraints
c core #94
c Core size: 1735	Core Weight: 5	Total Weight: 1065
c Learning 40 hard constraints
c core #95
c Core size: 2687	Core Weight: 5	Total Weight: 1070
c Learning 4 hard constraints
c core #96
c Core size: 3230	Core Weight: 5	Total Weight: 1075
c Learning 2 hard constraints
c core #97
c Core size: 4304	Core Weight: 5	Total Weight: 1080
c Learning 24 hard constraints