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_WCSP_SPOT5_LOG_505.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/505.wcsp.log.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 3	Core Weight: 1	Total Weight: 1
c core #2
c Core size: 3	Core Weight: 2	Total Weight: 3
c core #3
c Core size: 3	Core Weight: 2	Total Weight: 5
c core #4
c Core size: 3	Core Weight: 1	Total Weight: 6
c core #5
c Core size: 3	Core Weight: 2	Total Weight: 8
c core #6
c Core size: 3	Core Weight: 2	Total Weight: 10
c core #7
c Core size: 3	Core Weight: 2	Total Weight: 12
c core #8
c Core size: 3	Core Weight: 2	Total Weight: 14
c core #9
c Core size: 3	Core Weight: 2	Total Weight: 16
c core #10
c Core size: 3	Core Weight: 2	Total Weight: 18
c core #11
c Core size: 3	Core Weight: 2	Total Weight: 20
c core #12
c Core size: 3	Core Weight: 2	Total Weight: 22
c core #13
c Core size: 3	Core Weight: 2	Total Weight: 24
c core #14
c Core size: 3	Core Weight: 1	Total Weight: 25
c core #15
c Core size: 3	Core Weight: 2	Total Weight: 27
c core #16
c Core size: 3	Core Weight: 2	Total Weight: 29
c core #17
c Core size: 3	Core Weight: 1	Total Weight: 30
c core #18
c Core size: 3	Core Weight: 2	Total Weight: 32
c core #19
c Core size: 3	Core Weight: 2	Total Weight: 34
c core #20
c Core size: 3	Core Weight: 2	Total Weight: 36
c core #21
c Core size: 3	Core Weight: 2	Total Weight: 38
c core #22
c Core size: 3	Core Weight: 2	Total Weight: 40
c core #23
c Core size: 3	Core Weight: 2	Total Weight: 42
c core #24
c Core size: 3	Core Weight: 2	Total Weight: 44
c core #25
c Core size: 3	Core Weight: 2	Total Weight: 46
c core #26
c Core size: 3	Core Weight: 2	Total Weight: 48
c core #27
c Core size: 3	Core Weight: 2	Total Weight: 50
c core #28
c Core size: 3	Core Weight: 2	Total Weight: 52
c core #29
c Core size: 3	Core Weight: 2	Total Weight: 54
c core #30
c Core size: 3	Core Weight: 2	Total Weight: 56
c core #31
c Core size: 3	Core Weight: 2	Total Weight: 58
c core #32
c Core size: 3	Core Weight: 2	Total Weight: 60
c core #33
c Core size: 3	Core Weight: 2	Total Weight: 62
c core #34
c Core size: 3	Core Weight: 1000	Total Weight: 1062
c core #35
c Core size: 3	Core Weight: 1000	Total Weight: 2062
c core #36
c Core size: 3	Core Weight: 1000	Total Weight: 3062
c core #37
c Core size: 3	Core Weight: 1000	Total Weight: 4062
c core #38
c Core size: 3	Core Weight: 2	Total Weight: 4064
c core #39
c Core size: 3	Core Weight: 2	Total Weight: 4066
c core #40
c Core size: 3	Core Weight: 2	Total Weight: 4068
c core #41
c Core size: 3	Core Weight: 2	Total Weight: 4070
c core #42
c Core size: 3	Core Weight: 2	Total Weight: 4072
c core #43
c Core size: 3	Core Weight: 2	Total Weight: 4074
c core #44
c Core size: 3	Core Weight: 2	Total Weight: 4076
c core #45
c Core size: 3	Core Weight: 2	Total Weight: 4078
c core #46
c Core size: 3	Core Weight: 2	Total Weight: 4080
c core #47
c Core size: 3	Core Weight: 2	Total Weight: 4082
c core #48
c Core size: 3	Core Weight: 2	Total Weight: 4084
c core #49
c Core size: 3	Core Weight: 2	Total Weight: 4086
c core #50
c Core size: 3	Core Weight: 2	Total Weight: 4088
c core #51
c Core size: 3	Core Weight: 1000	Total Weight: 5088
c core #52
c Core size: 3	Core Weight: 5	Total Weight: 5093
c core #53
c Core size: 3	Core Weight: 1000	Total Weight: 6093
c core #54
c Core size: 3	Core Weight: 1000	Total Weight: 7093
c core #55
c Core size: 3	Core Weight: 1000	Total Weight: 8093
c core #56
c Core size: 3	Core Weight: 5	Total Weight: 8098
c core #57
c Core size: 3	Core Weight: 5	Total Weight: 8103
c core #58
c Core size: 3	Core Weight: 990	Total Weight: 9093
c core #59
c Core size: 3	Core Weight: 10	Total Weight: 9103
c core #60
c Core size: 3	Core Weight: 990	Total Weight: 10093
c core #61
c Core size: 3	Core Weight: 1000	Total Weight: 11093
c core #62
c Core size: 3	Core Weight: 5	Total Weight: 11098
c core #63
c Core size: 3	Core Weight: 1000	Total Weight: 12098
c core #64
c Core size: 3	Core Weight: 2	Total Weight: 12100
c core #65
c Core size: 3	Core Weight: 3	Total Weight: 12103
c core #66
c Core size: 3	Core Weight: 2	Total Weight: 12105
c core #67
c Core size: 3	Core Weight: 2	Total Weight: 12107
c core #68
c Core size: 6	Core Weight: 2	Total Weight: 12109
c core #69
c Core size: 6	Core Weight: 2	Total Weight: 12111
c core #70
c Core size: 6	Core Weight: 2	Total Weight: 12113
c core #71
c Core size: 10	Core Weight: 5	Total Weight: 12118
c core #72
c Core size: 10	Core Weight: 5	Total Weight: 12123
c core #73
c Core size: 10	Core Weight: 5	Total Weight: 12128
c core #74
c Core size: 12	Core Weight: 5	Total Weight: 12133
c core #75
c Core size: 13	Core Weight: 985	Total Weight: 13118
c core #76
c Core size: 39	Core Weight: 5	Total Weight: 13123
c core #77
c Core size: 17	Core Weight: 5	Total Weight: 13128
c core #78
c Core size: 13	Core Weight: 990	Total Weight: 14118
c core #79
c Core size: 23	Core Weight: 10	Total Weight: 14128
c core #80
c Core size: 49	Core Weight: 5	Total Weight: 14133
c core #81
c Core size: 10	Core Weight: 5	Total Weight: 14138
c core #82
c Core size: 32	Core Weight: 965	Total Weight: 15103
c core #83
c Core size: 14	Core Weight: 2	Total Weight: 15105
c core #84
c Core size: 10	Core Weight: 1	Total Weight: 15106
c core #85
c Core size: 10	Core Weight: 2	Total Weight: 15108
c core #86
c Core size: 10	Core Weight: 1000	Total Weight: 16108
c core #87
c Core size: 10	Core Weight: 2	Total Weight: 16110
c core #88
c Core size: 13	Core Weight: 2	Total Weight: 16112
c core #89
c Core size: 10	Core Weight: 2	Total Weight: 16114
c core #90
c Core size: 10	Core Weight: 1000	Total Weight: 17114
c core #91
c Core size: 10	Core Weight: 2	Total Weight: 17116
c core #92
c Core size: 10	Core Weight: 2	Total Weight: 17118
c core #93
c Core size: 10	Core Weight: 2	Total Weight: 17120
c core #94
c Core size: 13	Core Weight: 2	Total Weight: 17122
c core #95
c Core size: 10	Core Weight: 2	Total Weight: 17124
c core #96
c Core size: 10	Core Weight: 3	Total Weight: 17127
c core #97
c Core size: 13	Core Weight: 2	Total Weight: 17129
c core #98
c Core size: 17	Core Weight: 2	Total Weight: 17131
c core #99
c Core size: 10	Core Weight: 2	Total Weight: 17133
c core #100
c Core size: 10	Core Weight: 2	Total Weight: 17135
c core #101
c Core size: 14	Core Weight: 1	Total Weight: 17136
c Learning 4 hard constraints
c core #102
c Core size: 33	Core Weight: 2	Total Weight: 17138
c core #103
c Core size: 34	Core Weight: 2	Total Weight: 17140
c core #104
c Core size: 10	Core Weight: 2	Total Weight: 17142
c core #105
c Core size: 13	Core Weight: 1	Total Weight: 17143
c core #106
c Core size: 23	Core Weight: 2	Total Weight: 17145
c core #107
c Core size: 13	Core Weight: 1	Total Weight: 17146
c Learning 4 hard constraints
c core #108
c Core size: 9	Core Weight: 1	Total Weight: 17147
c Learning 2 hard constraints
c core #109
c Core size: 15	Core Weight: 1	Total Weight: 17148
c Learning 2 hard constraints
c core #110
c Core size: 20	Core Weight: 1	Total Weight: 17149
c Learning 2 hard constraints
c core #111
c Core size: 63	Core Weight: 1	Total Weight: 17150
c Learning 3 hard constraints
c core #112
c Core size: 47	Core Weight: 5	Total Weight: 17155
c core #113
c Core size: 31	Core Weight: 1	Total Weight: 17156
c Learning 5 hard constraints
c core #114
c Core size: 55	Core Weight: 1	Total Weight: 17157
c Learning 7 hard constraints
c core #115
c Core size: 14	Core Weight: 1	Total Weight: 17158
c Learning 14 hard constraints
c core #116
c Core size: 57	Core Weight: 1	Total Weight: 17159
c Learning 4 hard constraints
c core #117
c Core size: 50	Core Weight: 1	Total Weight: 17160
c Learning 8 hard constraints
c core #118
c Core size: 23	Core Weight: 1	Total Weight: 17161
c Learning 16 hard constraints
c core #119
c Core size: 22	Core Weight: 1	Total Weight: 17162
c Learning 23 hard constraints
c core #120
c Core size: 91	Core Weight: 1	Total Weight: 17163
c Learning 28 hard constraints
c core #121
c Core size: 21	Core Weight: 1	Total Weight: 17164
c Learning 9 hard constraints
c core #122
c Core size: 46	Core Weight: 1	Total Weight: 17165
c Learning 4 hard constraints
c core #123
c Core size: 60	Core Weight: 1	Total Weight: 17166
c Learning 5 hard constraints
c core #124
c Core size: 35	Core Weight: 1	Total Weight: 17167
c Learning 2 hard constraints
c core #125
c Core size: 34	Core Weight: 1	Total Weight: 17168
c Learning 1 hard constraints
c core #126
c Core size: 12	Core Weight: 1	Total Weight: 17169
c Learning 14 hard constraints
c core #127
c Core size: 83	Core Weight: 1	Total Weight: 17170
c Learning 11 hard constraints
c core #128
c Core size: 28	Core Weight: 1	Total Weight: 17171
c Learning 3 hard constraints
c core #129
c Core size: 43	Core Weight: 1	Total Weight: 17172
c Learning 17 hard constraints
c core #130
c Core size: 45	Core Weight: 1	Total Weight: 17173
c Learning 7 hard constraints
c core #131
c Core size: 87	Core Weight: 1	Total Weight: 17174
c Learning 46 hard constraints
c core #132
c Core size: 84	Core Weight: 1	Total Weight: 17175
c Learning 5 hard constraints
c core #133
c Core size: 16	Core Weight: 1	Total Weight: 17176
c Learning 10 hard constraints
c core #134
c Core size: 37	Core Weight: 5	Total Weight: 17181
c Learning 4 hard constraints
c core #135
c Core size: 22	Core Weight: 5	Total Weight: 17186
c Learning 26 hard constraints
c core #136
c Core size: 145	Core Weight: 1	Total Weight: 17187
c Learning 33 hard constraints
c core #137
c Core size: 66	Core Weight: 4	Total Weight: 17191
c Learning 2 hard constraints
c core #138
c Core size: 12	Core Weight: 1	Total Weight: 17192
c Learning 3 hard constraints
c core #139
c Core size: 26	Core Weight: 10	Total Weight: 17202
c Learning 30 hard constraints
c core #140
c Core size: 23	Core Weight: 1	Total Weight: 17203
c Learning 30 hard constraints
c core #141
c Core size: 39	Core Weight: 5	Total Weight: 17208
c Learning 10 hard constraints
c core #142
c Core size: 42	Core Weight: 5	Total Weight: 17213
c Learning 3 hard constraints
c core #143
c Core size: 38	Core Weight: 5	Total Weight: 17218
c Learning 10 hard constraints
c core #144
c Core size: 31	Core Weight: 5	Total Weight: 17223
c Learning 1 hard constraints
c core #145
c Core size: 31	Core Weight: 4	Total Weight: 17227
c Learning 12 hard constraints
c core #146
c Core size: 26	Core Weight: 942	Total Weight: 18169
c Learning 1 hard constraints
c core #147
c Core size: 52	Core Weight: 4	Total Weight: 18173
c Learning 5 hard constraints
c core #148
c Core size: 76	Core Weight: 1	Total Weight: 18174
c Learning 9 hard constraints
c core #149
c Core size: 39	Core Weight: 1	Total Weight: 18175
c Learning 6 hard constraints
c core #150
c Core size: 26	Core Weight: 1	Total Weight: 18176
c Learning 15 hard constraints
c core #151
c Core size: 20	Core Weight: 1	Total Weight: 18177
c Learning 21 hard constraints
c core #152
c Core size: 40	Core Weight: 1	Total Weight: 18178
c Learning 2 hard constraints
c core #153
c Core size: 33	Core Weight: 1	Total Weight: 18179
c Learning 15 hard constraints
c core #154
c Core size: 25	Core Weight: 1	Total Weight: 18180
c Learning 3 hard constraints
c core #155
c Core size: 21	Core Weight: 1	Total Weight: 18181
c Learning 2 hard constraints
c core #156
c Core size: 14	Core Weight: 1	Total Weight: 18182
c Learning 8 hard constraints
c core #157
c Core size: 38	Core Weight: 1	Total Weight: 18183
c core #158
c Core size: 73	Core Weight: 1	Total Weight: 18184
c Learning 5 hard constraints
c core #159
c Core size: 38	Core Weight: 3	Total Weight: 18187
c Learning 1 hard constraints
c core #160
c Core size: 13	Core Weight: 1	Total Weight: 18188
c Learning 2 hard constraints
c core #161
c Core size: 66	Core Weight: 1	Total Weight: 18189
c Learning 2 hard constraints
c core #162
c Core size: 41	Core Weight: 1	Total Weight: 18190
c Learning 6 hard constraints
c core #163
c Core size: 72	Core Weight: 2	Total Weight: 18192
c Learning 5 hard constraints
c core #164
c Core size: 71	Core Weight: 1	Total Weight: 18193
c core #165
c Core size: 65	Core Weight: 2	Total Weight: 18195
c core #166
c Core size: 12	Core Weight: 978	Total Weight: 19173
c Learning 1 hard constraints
c core #167
c Core size: 25	Core Weight: 2	Total Weight: 19175
c Learning 9 hard constraints
c core #168
c Core size: 116	Core Weight: 1	Total Weight: 19176
c Learning 8 hard constraints
c core #169
c Core size: 31	Core Weight: 3	Total Weight: 19179
c Learning 2 hard constraints
c core #170
c Core size: 51	Core Weight: 2	Total Weight: 19181
c Learning 1 hard constraints
c core #171
c Core size: 48	Core Weight: 1	Total Weight: 19182
c core #172
c Core size: 36	Core Weight: 1	Total Weight: 19183
c Learning 2 hard constraints
c core #173
c Core size: 51	Core Weight: 1	Total Weight: 19184
c core #174
c Core size: 55	Core Weight: 1	Total Weight: 19185
c Learning 5 hard constraints
c core #175
c Core size: 69	Core Weight: 1	Total Weight: 19186
c Learning 6 hard constraints
c core #176
c Core size: 35	Core Weight: 1	Total Weight: 19187
c Learning 20 hard constraints
c core #177
c Core size: 70	Core Weight: 1	Total Weight: 19188
c Learning 1 hard constraints
c core #178
c Core size: 58	Core Weight: 1	Total Weight: 19189
c Learning 28 hard constraints
c core #179
c Core size: 97	Core Weight: 1	Total Weight: 19190
c Learning 6 hard constraints
c core #180
c Core size: 93	Core Weight: 1	Total Weight: 19191
c Learning 24 hard constraints
c core #181
c Core size: 35	Core Weight: 1	Total Weight: 19192
c Learning 15 hard constraints
c core #182
c Core size: 45	Core Weight: 1	Total Weight: 19193
c Learning 19 hard constraints
c core #183
c Core size: 115	Core Weight: 1	Total Weight: 19194
c Learning 10 hard constraints
c core #184
c Core size: 49	Core Weight: 1	Total Weight: 19195
c Learning 1 hard constraints
c core #185
c Core size: 97	Core Weight: 1	Total Weight: 19196
c Learning 6 hard constraints
c core #186
c Core size: 13	Core Weight: 991	Total Weight: 20187
c Learning 3 hard constraints
c core #187
c Core size: 90	Core Weight: 1	Total Weight: 20188
c Learning 10 hard constraints
c core #188
c Core size: 168	Core Weight: 1	Total Weight: 20189
c Learning 7 hard constraints
c core #189
c Core size: 101	Core Weight: 1	Total Weight: 20190
c core #190
c Core size: 98	Core Weight: 1	Total Weight: 20191
c Learning 4 hard constraints
c core #191
c Core size: 39	Core Weight: 1	Total Weight: 20192
c Learning 2 hard constraints
c core #192
c Core size: 59	Core Weight: 1	Total Weight: 20193
c Learning 5 hard constraints
c core #193
c Core size: 78	Core Weight: 1	Total Weight: 20194
c Learning 3 hard constraints
c core #194
c Core size: 98	Core Weight: 1	Total Weight: 20195
c Learning 6 hard constraints
c core #195
c Core size: 151	Core Weight: 1	Total Weight: 20196
c Learning 17 hard constraints
c core #196
c Core size: 26	Core Weight: 1	Total Weight: 20197
c Learning 5 hard constraints
c core #197
c Core size: 59	Core Weight: 1	Total Weight: 20198
c Learning 30 hard constraints
c core #198
c Core size: 167	Core Weight: 1	Total Weight: 20199
c Learning 2 hard constraints
c core #199
c Core size: 129	Core Weight: 1	Total Weight: 20200
c Learning 1 hard constraints
c core #200
c Core size: 220	Core Weight: 1	Total Weight: 20201
c Learning 8 hard constraints
c core #201
c Core size: 13	Core Weight: 1	Total Weight: 20202
c Learning 5 hard constraints
c core #202
c Core size: 195	Core Weight: 1	Total Weight: 20203
c Learning 6 hard constraints
c core #203
c Core size: 248	Core Weight: 1	Total Weight: 20204
c Learning 69 hard constraints
c core #204
c Core size: 228	Core Weight: 1	Total Weight: 20205
c Learning 30 hard constraints
c core #205
c Core size: 258	Core Weight: 1	Total Weight: 20206
c Learning 107 hard constraints
c core #206
c Core size: 287	Core Weight: 1	Total Weight: 20207
c Learning 93 hard constraints
c core #207
c Core size: 291	Core Weight: 1	Total Weight: 20208
c core #208
c Core size: 380	Core Weight: 1	Total Weight: 20209
c Learning 11 hard constraints
c core #209
c Core size: 378	Core Weight: 1	Total Weight: 20210
c Learning 19 hard constraints
c core #210
c Core size: 279	Core Weight: 1	Total Weight: 20211
c Learning 41 hard constraints
c core #211
c Core size: 260	Core Weight: 1	Total Weight: 20212
c Learning 8 hard constraints
c core #212
c Core size: 483	Core Weight: 1	Total Weight: 20213
c Learning 16 hard constraints
c core #213
c Core size: 48	Core Weight: 1	Total Weight: 20214
c Learning 40 hard constraints
c core #214
c Core size: 227	Core Weight: 1	Total Weight: 20215
c Learning 36 hard constraints
c core #215
c Core size: 85	Core Weight: 1	Total Weight: 20216
c Learning 10 hard constraints
c core #216
c Core size: 96	Core Weight: 1	Total Weight: 20217
c Learning 118 hard constraints
c core #217
c Core size: 168	Core Weight: 1	Total Weight: 20218
c Learning 27 hard constraints