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_zenotravel04bc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/zenotravel04bc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 38	Core Weight: 15	Total Weight: 15
c core #2
c Core size: 38	Core Weight: 15	Total Weight: 30
c core #3
c Core size: 31	Core Weight: 5	Total Weight: 35
c core #4
c Core size: 33	Core Weight: 20	Total Weight: 55
c core #5
c Core size: 51	Core Weight: 5	Total Weight: 60
c core #6
c Core size: 91	Core Weight: 300	Total Weight: 360
c core #7
c Core size: 64	Core Weight: 25	Total Weight: 385
c core #8
c Core size: 88	Core Weight: 45	Total Weight: 430
c core #9
c Core size: 81	Core Weight: 280	Total Weight: 710
c core #10
c Core size: 88	Core Weight: 400	Total Weight: 1110
c core #11
c Core size: 53	Core Weight: 25	Total Weight: 1135
c core #12
c Core size: 74	Core Weight: 100	Total Weight: 1235
c core #13
c Core size: 74	Core Weight: 75	Total Weight: 1310
c core #14
c Core size: 48	Core Weight: 20	Total Weight: 1330
c core #15
c Core size: 6	Core Weight: 5	Total Weight: 1335
c core #16
c Core size: 23	Core Weight: 15	Total Weight: 1350
c core #17
c Core size: 47	Core Weight: 5	Total Weight: 1355
c Learning 1 hard constraints
c core #18
c Core size: 34	Core Weight: 5	Total Weight: 1360
c Learning 1 hard constraints
c core #19
c Core size: 66	Core Weight: 20	Total Weight: 1380
c core #20
c Core size: 45	Core Weight: 35	Total Weight: 1415
c core #21
c Core size: 39	Core Weight: 15	Total Weight: 1430
c Learning 1 hard constraints
c core #22
c Core size: 40	Core Weight: 10	Total Weight: 1440
c Learning 1 hard constraints
c core #23
c Core size: 54	Core Weight: 485	Total Weight: 1925
c core #24
c Core size: 62	Core Weight: 5	Total Weight: 1930
c Learning 1 hard constraints
c core #25
c Core size: 63	Core Weight: 90	Total Weight: 2020
c Learning 2 hard constraints
c core #26
c Core size: 30	Core Weight: 15	Total Weight: 2035
c core #27
c Core size: 23	Core Weight: 15	Total Weight: 2050
c core #28
c Core size: 24	Core Weight: 90	Total Weight: 2140
c core #29
c Core size: 34	Core Weight: 15	Total Weight: 2155
c core #30
c Core size: 39	Core Weight: 10	Total Weight: 2165
c core #31
c Core size: 53	Core Weight: 5	Total Weight: 2170
c Learning 3 hard constraints
c core #32
c Core size: 46	Core Weight: 20	Total Weight: 2190
c Learning 1 hard constraints
c core #33
c Core size: 40	Core Weight: 15	Total Weight: 2205
c Learning 1 hard constraints
c core #34
c Core size: 42	Core Weight: 40	Total Weight: 2245
c Learning 1 hard constraints
c core #35
c Core size: 38	Core Weight: 145	Total Weight: 2390
c core #36
c Core size: 38	Core Weight: 100	Total Weight: 2490
c core #37
c Core size: 40	Core Weight: 25	Total Weight: 2515
c core #38
c Core size: 54	Core Weight: 5	Total Weight: 2520
c Learning 1 hard constraints
c core #39
c Core size: 53	Core Weight: 10	Total Weight: 2530
c core #40
c Core size: 50	Core Weight: 5	Total Weight: 2535
c core #41
c Core size: 50	Core Weight: 5	Total Weight: 2540
c core #42
c Core size: 182	Core Weight: 45	Total Weight: 2585
c Learning 1 hard constraints
c core #43
c Core size: 159	Core Weight: 20	Total Weight: 2605
c core #44
c Core size: 131	Core Weight: 15	Total Weight: 2620
c core #45
c Core size: 158	Core Weight: 5	Total Weight: 2625
c core #46
c Core size: 158	Core Weight: 45	Total Weight: 2670
c core #47
c Core size: 181	Core Weight: 15	Total Weight: 2685
c Learning 1 hard constraints
c core #48
c Core size: 168	Core Weight: 5	Total Weight: 2690
c core #49
c Core size: 77	Core Weight: 5	Total Weight: 2695
c Learning 1 hard constraints
c core #50
c Core size: 268	Core Weight: 5	Total Weight: 2700
c Learning 3 hard constraints
c core #51
c Core size: 238	Core Weight: 10	Total Weight: 2710
c Learning 1 hard constraints
c core #52
c Core size: 229	Core Weight: 10	Total Weight: 2720
c core #53
c Core size: 233	Core Weight: 30	Total Weight: 2750
c core #54
c Core size: 233	Core Weight: 70	Total Weight: 2820
c Learning 1 hard constraints
c core #55
c Core size: 234	Core Weight: 35	Total Weight: 2855
c Learning 2 hard constraints
c core #56
c Core size: 232	Core Weight: 35	Total Weight: 2890
c Learning 1 hard constraints
c core #57
c Core size: 228	Core Weight: 65	Total Weight: 2955
c core #58
c Core size: 211	Core Weight: 5	Total Weight: 2960
c Learning 1 hard constraints
c core #59
c Core size: 211	Core Weight: 20	Total Weight: 2980
c Learning 2 hard constraints
c core #60
c Core size: 207	Core Weight: 10	Total Weight: 2990
c Learning 1 hard constraints
c core #61
c Core size: 178	Core Weight: 25	Total Weight: 3015
c core #62
c Core size: 179	Core Weight: 45	Total Weight: 3060
c core #63
c Core size: 177	Core Weight: 5	Total Weight: 3065
c core #64
c Core size: 177	Core Weight: 5	Total Weight: 3070
c core #65
c Core size: 179	Core Weight: 5	Total Weight: 3075
c core #66
c Core size: 182	Core Weight: 5	Total Weight: 3080
c core #67
c Core size: 272	Core Weight: 10	Total Weight: 3090
c Learning 3 hard constraints
c core #68
c Core size: 240	Core Weight: 5	Total Weight: 3095
c core #69
c Core size: 241	Core Weight: 145	Total Weight: 3240
c Learning 1 hard constraints
c core #70
c Core size: 303	Core Weight: 20	Total Weight: 3260
c Learning 5 hard constraints
c core #71
c Core size: 264	Core Weight: 5	Total Weight: 3265
c Learning 4 hard constraints
c core #72
c Core size: 220	Core Weight: 15	Total Weight: 3280
c Learning 1 hard constraints
c core #73
c Core size: 254	Core Weight: 10	Total Weight: 3290
c core #74
c Core size: 254	Core Weight: 5	Total Weight: 3295
c core #75
c Core size: 254	Core Weight: 35	Total Weight: 3330
c core #76
c Core size: 245	Core Weight: 10	Total Weight: 3340
c Learning 1 hard constraints
c core #77
c Core size: 291	Core Weight: 5	Total Weight: 3345
c Learning 1 hard constraints
c core #78
c Core size: 285	Core Weight: 15	Total Weight: 3360
c Learning 1 hard constraints
c core #79
c Core size: 279	Core Weight: 5	Total Weight: 3365
c Learning 1 hard constraints
c core #80
c Core size: 274	Core Weight: 15	Total Weight: 3380
c core #81
c Core size: 273	Core Weight: 15	Total Weight: 3395
c core #82
c Core size: 244	Core Weight: 5	Total Weight: 3400
c core #83
c Core size: 267	Core Weight: 10	Total Weight: 3410
c core #84
c Core size: 259	Core Weight: 25	Total Weight: 3435
c core #85
c Core size: 257	Core Weight: 45	Total Weight: 3480
c core #86
c Core size: 252	Core Weight: 15	Total Weight: 3495
c core #87
c Core size: 262	Core Weight: 45	Total Weight: 3540
c core #88
c Core size: 252	Core Weight: 50	Total Weight: 3590
c core #89
c Core size: 301	Core Weight: 5	Total Weight: 3595
c Learning 1 hard constraints
c core #90
c Core size: 346	Core Weight: 5	Total Weight: 3600
c core #91
c Core size: 281	Core Weight: 5	Total Weight: 3605
c core #92
c Core size: 283	Core Weight: 5	Total Weight: 3610
c core #93
c Core size: 99	Core Weight: 5	Total Weight: 3615
c Learning 1 hard constraints
c core #94
c Core size: 98	Core Weight: 5	Total Weight: 3620
c core #95
c Core size: 107	Core Weight: 5	Total Weight: 3625
c core #96
c Core size: 223	Core Weight: 10	Total Weight: 3635
c Learning 2 hard constraints
c core #97
c Core size: 206	Core Weight: 5	Total Weight: 3640
c core #98
c Core size: 203	Core Weight: 5	Total Weight: 3645
c core #99
c Core size: 203	Core Weight: 5	Total Weight: 3650
c core #100
c Core size: 232	Core Weight: 5	Total Weight: 3655
c core #101
c Core size: 265	Core Weight: 10	Total Weight: 3665
c core #102
c Core size: 267	Core Weight: 30	Total Weight: 3695
c core #103
c Core size: 281	Core Weight: 5	Total Weight: 3700
c core #104
c Core size: 316	Core Weight: 5	Total Weight: 3705
c core #105
c Core size: 315	Core Weight: 5	Total Weight: 3710
c core #106
c Core size: 315	Core Weight: 5	Total Weight: 3715
c core #107
c Core size: 198	Core Weight: 5	Total Weight: 3720
c core #108
c Core size: 328	Core Weight: 5	Total Weight: 3725
c core #109
c Core size: 202	Core Weight: 5	Total Weight: 3730
c core #110
c Core size: 214	Core Weight: 25	Total Weight: 3755
c Learning 1 hard constraints
c core #111
c Core size: 326	Core Weight: 5	Total Weight: 3760
c core #112
c Core size: 219	Core Weight: 15	Total Weight: 3775
c Learning 1 hard constraints
c core #113
c Core size: 329	Core Weight: 5	Total Weight: 3780
c core #114
c Core size: 329	Core Weight: 5	Total Weight: 3785
c core #115
c Core size: 314	Core Weight: 5	Total Weight: 3790
c core #116
c Core size: 275	Core Weight: 10	Total Weight: 3800
c core #117
c Core size: 278	Core Weight: 5	Total Weight: 3805
c Learning 1 hard constraints
c core #118
c Core size: 249	Core Weight: 5	Total Weight: 3810
c Learning 1 hard constraints
c core #119
c Core size: 179	Core Weight: 10	Total Weight: 3820
c core #120
c Core size: 179	Core Weight: 10	Total Weight: 3830
c core #121
c Core size: 143	Core Weight: 45	Total Weight: 3875
c core #122
c Core size: 428	Core Weight: 5	Total Weight: 3880
c Learning 1 hard constraints
c core #123
c Core size: 424	Core Weight: 5	Total Weight: 3885
c core #124
c Core size: 425	Core Weight: 5	Total Weight: 3890
c core #125
c Core size: 413	Core Weight: 5	Total Weight: 3895
c core #126
c Core size: 413	Core Weight: 5	Total Weight: 3900
c core #127
c Core size: 413	Core Weight: 5	Total Weight: 3905
c core #128
c Core size: 413	Core Weight: 10	Total Weight: 3915
c core #129
c Core size: 429	Core Weight: 5	Total Weight: 3920
c core #130
c Core size: 443	Core Weight: 5	Total Weight: 3925
c core #131
c Core size: 476	Core Weight: 5	Total Weight: 3930
c core #132
c Core size: 458	Core Weight: 5	Total Weight: 3935
c core #133
c Core size: 430	Core Weight: 5	Total Weight: 3940
c core #134
c Core size: 500	Core Weight: 5	Total Weight: 3945
c core #135
c Core size: 472	Core Weight: 5	Total Weight: 3950
c Learning 1 hard constraints
c core #136
c Core size: 493	Core Weight: 5	Total Weight: 3955
c core #137
c Core size: 521	Core Weight: 5	Total Weight: 3960
c core #138
c Core size: 545	Core Weight: 5	Total Weight: 3965
c core #139
c Core size: 244	Core Weight: 15	Total Weight: 3980
c Learning 1 hard constraints
c core #140
c Core size: 511	Core Weight: 5	Total Weight: 3985
c core #141
c Core size: 663	Core Weight: 5	Total Weight: 3990
c core #142
c Core size: 651	Core Weight: 5	Total Weight: 3995
c Learning 2 hard constraints
c core #143
c Core size: 501	Core Weight: 5	Total Weight: 4000
c Learning 1 hard constraints
c core #144
c Core size: 616	Core Weight: 5	Total Weight: 4005
c core #145
c Core size: 420	Core Weight: 5	Total Weight: 4010
c core #146
c Core size: 444	Core Weight: 5	Total Weight: 4015
c core #147
c Core size: 523	Core Weight: 5	Total Weight: 4020
c core #148
c Core size: 560	Core Weight: 5	Total Weight: 4025
c core #149
c Core size: 484	Core Weight: 5	Total Weight: 4030