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_mprime01bc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/mprime01bc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 45	Core Weight: 28	Total Weight: 28
c core #2
c Core size: 43	Core Weight: 24	Total Weight: 52
c core #3
c Core size: 68	Core Weight: 1	Total Weight: 53
c core #4
c Core size: 32	Core Weight: 47	Total Weight: 100
c core #5
c Core size: 75	Core Weight: 10	Total Weight: 110
c core #6
c Core size: 145	Core Weight: 1	Total Weight: 111
c core #7
c Core size: 145	Core Weight: 8	Total Weight: 119
c core #8
c Core size: 109	Core Weight: 1	Total Weight: 120
c core #9
c Core size: 109	Core Weight: 6	Total Weight: 126
c core #10
c Core size: 111	Core Weight: 11	Total Weight: 137
c core #11
c Core size: 93	Core Weight: 6	Total Weight: 143
c core #12
c Core size: 85	Core Weight: 3	Total Weight: 146
c core #13
c Core size: 78	Core Weight: 1	Total Weight: 147
c core #14
c Core size: 64	Core Weight: 15	Total Weight: 162
c core #15
c Core size: 129	Core Weight: 1	Total Weight: 163
c Learning 1 hard constraints
c core #16
c Core size: 177	Core Weight: 1	Total Weight: 164
c Learning 3 hard constraints
c core #17
c Core size: 175	Core Weight: 5	Total Weight: 169
c core #18
c Core size: 168	Core Weight: 1	Total Weight: 170
c core #19
c Core size: 160	Core Weight: 1	Total Weight: 171
c core #20
c Core size: 166	Core Weight: 2	Total Weight: 173
c core #21
c Core size: 175	Core Weight: 1	Total Weight: 174
c Learning 2 hard constraints
c core #22
c Core size: 153	Core Weight: 5	Total Weight: 179
c core #23
c Core size: 173	Core Weight: 2	Total Weight: 181
c Learning 1 hard constraints
c core #24
c Core size: 176	Core Weight: 1	Total Weight: 182
c Learning 1 hard constraints
c core #25
c Core size: 200	Core Weight: 1	Total Weight: 183
c Learning 1 hard constraints
c core #26
c Core size: 154	Core Weight: 2	Total Weight: 185
c Learning 1 hard constraints
c core #27
c Core size: 155	Core Weight: 1	Total Weight: 186
c core #28
c Core size: 134	Core Weight: 1	Total Weight: 187
c core #29
c Core size: 127	Core Weight: 2	Total Weight: 189
c Learning 3 hard constraints
c core #30
c Core size: 143	Core Weight: 1	Total Weight: 190
c core #31
c Core size: 126	Core Weight: 1	Total Weight: 191
c core #32
c Core size: 117	Core Weight: 3	Total Weight: 194
c core #33
c Core size: 134	Core Weight: 2	Total Weight: 196
c Learning 3 hard constraints
c core #34
c Core size: 113	Core Weight: 4	Total Weight: 200
c Learning 2 hard constraints
c core #35
c Core size: 163	Core Weight: 1	Total Weight: 201
c Learning 2 hard constraints
c core #36
c Core size: 152	Core Weight: 1	Total Weight: 202
c core #37
c Core size: 151	Core Weight: 2	Total Weight: 204
c Learning 3 hard constraints
c core #38
c Core size: 136	Core Weight: 1	Total Weight: 205
c core #39
c Core size: 168	Core Weight: 1	Total Weight: 206
c Learning 3 hard constraints
c core #40
c Core size: 159	Core Weight: 1	Total Weight: 207
c Learning 1 hard constraints
c core #41
c Core size: 189	Core Weight: 1	Total Weight: 208
c core #42
c Core size: 188	Core Weight: 1	Total Weight: 209
c core #43
c Core size: 130	Core Weight: 1	Total Weight: 210
c Learning 6 hard constraints
c core #44
c Core size: 157	Core Weight: 1	Total Weight: 211
c Learning 1 hard constraints
c core #45
c Core size: 125	Core Weight: 4	Total Weight: 215
c Learning 1 hard constraints
c core #46
c Core size: 158	Core Weight: 1	Total Weight: 216
c Learning 4 hard constraints
c core #47
c Core size: 157	Core Weight: 1	Total Weight: 217
c Learning 9 hard constraints
c core #48
c Core size: 134	Core Weight: 1	Total Weight: 218
c core #49
c Core size: 136	Core Weight: 1	Total Weight: 219
c Learning 1 hard constraints
c core #50
c Core size: 135	Core Weight: 1	Total Weight: 220
c Learning 2 hard constraints
c core #51
c Core size: 143	Core Weight: 1	Total Weight: 221
c core #52
c Core size: 182	Core Weight: 1	Total Weight: 222
c core #53
c Core size: 180	Core Weight: 1	Total Weight: 223
c Learning 1 hard constraints
c core #54
c Core size: 178	Core Weight: 1	Total Weight: 224
c Learning 2 hard constraints
c core #55
c Core size: 143	Core Weight: 1	Total Weight: 225
c Learning 5 hard constraints
c core #56
c Core size: 114	Core Weight: 1	Total Weight: 226
c core #57
c Core size: 134	Core Weight: 1	Total Weight: 227
c Learning 1 hard constraints
c core #58
c Core size: 162	Core Weight: 1	Total Weight: 228
c Learning 3 hard constraints
c core #59
c Core size: 148	Core Weight: 1	Total Weight: 229
c Learning 5 hard constraints
c core #60
c Core size: 132	Core Weight: 1	Total Weight: 230
c Learning 1 hard constraints
c core #61
c Core size: 128	Core Weight: 1	Total Weight: 231
c Learning 2 hard constraints
c core #62
c Core size: 146	Core Weight: 1	Total Weight: 232
c Learning 1 hard constraints
c core #63
c Core size: 119	Core Weight: 1	Total Weight: 233
c core #64
c Core size: 126	Core Weight: 1	Total Weight: 234
c core #65
c Core size: 148	Core Weight: 1	Total Weight: 235
c core #66
c Core size: 125	Core Weight: 1	Total Weight: 236
c Learning 1 hard constraints
c core #67
c Core size: 126	Core Weight: 1	Total Weight: 237
c Learning 1 hard constraints
c core #68
c Core size: 136	Core Weight: 1	Total Weight: 238
c Learning 1 hard constraints
c core #69
c Core size: 142	Core Weight: 1	Total Weight: 239
c Learning 1 hard constraints
c core #70
c Core size: 148	Core Weight: 1	Total Weight: 240
c Learning 2 hard constraints
c core #71
c Core size: 162	Core Weight: 1	Total Weight: 241
c core #72
c Core size: 171	Core Weight: 1	Total Weight: 242
c core #73
c Core size: 188	Core Weight: 1	Total Weight: 243
c Learning 1 hard constraints
c core #74
c Core size: 134	Core Weight: 1	Total Weight: 244
c core #75
c Core size: 191	Core Weight: 1	Total Weight: 245
c Learning 1 hard constraints
c core #76
c Core size: 183	Core Weight: 1	Total Weight: 246
c core #77
c Core size: 134	Core Weight: 1	Total Weight: 247
c core #78
c Core size: 189	Core Weight: 1	Total Weight: 248
c core #79
c Core size: 198	Core Weight: 1	Total Weight: 249
c core #80
c Core size: 239	Core Weight: 1	Total Weight: 250
c core #81
c Core size: 182	Core Weight: 1	Total Weight: 251
c core #82
c Core size: 267	Core Weight: 1	Total Weight: 252
c core #83
c Core size: 141	Core Weight: 1	Total Weight: 253
c core #84
c Core size: 177	Core Weight: 1	Total Weight: 254
c Learning 1 hard constraints
c core #85
c Core size: 201	Core Weight: 1	Total Weight: 255
c Learning 1 hard constraints
c core #86
c Core size: 405	Core Weight: 1	Total Weight: 256
c core #87
c Core size: 314	Core Weight: 1	Total Weight: 257
c Learning 1 hard constraints
c core #88
c Core size: 268	Core Weight: 1	Total Weight: 258
c Learning 1 hard constraints
c core #89
c Core size: 352	Core Weight: 1	Total Weight: 259
c Learning 1 hard constraints
c core #90
c Core size: 346	Core Weight: 1	Total Weight: 260
c Learning 4 hard constraints
c core #91
c Core size: 375	Core Weight: 1	Total Weight: 261
c Learning 4 hard constraints
c core #92
c Core size: 504	Core Weight: 1	Total Weight: 262
c Learning 4 hard constraints
c core #93
c Core size: 418	Core Weight: 1	Total Weight: 263
c Learning 3 hard constraints
c core #94
c Core size: 585	Core Weight: 1	Total Weight: 264
c core #95
c Core size: 517	Core Weight: 1	Total Weight: 265
c core #96
c Core size: 700	Core Weight: 1	Total Weight: 266
c core #97
c Core size: 803	Core Weight: 1	Total Weight: 267
c core #98
c Core size: 853	Core Weight: 1	Total Weight: 268