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_PSEUDO_miplib_normalized-mps-v2-20-10-p0201.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-p0201.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 18	Core Weight: 100	Total Weight: 100
c core #2
c Core size: 18	Core Weight: 100	Total Weight: 200
c core #3
c Core size: 18	Core Weight: 90	Total Weight: 290
c core #4
c Core size: 18	Core Weight: 90	Total Weight: 380
c core #5
c Core size: 18	Core Weight: 80	Total Weight: 460
c core #6
c Core size: 18	Core Weight: 80	Total Weight: 540
c core #7
c Core size: 18	Core Weight: 70	Total Weight: 610
c core #8
c Core size: 18	Core Weight: 70	Total Weight: 680
c core #9
c Core size: 18	Core Weight: 60	Total Weight: 740
c core #10
c Core size: 18	Core Weight: 60	Total Weight: 800
c core #11
c Core size: 18	Core Weight: 50	Total Weight: 850
c core #12
c Core size: 18	Core Weight: 50	Total Weight: 900
c core #13
c Core size: 18	Core Weight: 40	Total Weight: 940
c core #14
c Core size: 18	Core Weight: 40	Total Weight: 980
c core #15
c Core size: 18	Core Weight: 30	Total Weight: 1010
c core #16
c Core size: 18	Core Weight: 30	Total Weight: 1040
c core #17
c Core size: 18	Core Weight: 20	Total Weight: 1060
c core #18
c Core size: 18	Core Weight: 20	Total Weight: 1080
c core #19
c Core size: 18	Core Weight: 10	Total Weight: 1090
c core #20
c Core size: 18	Core Weight: 10	Total Weight: 1100
c core #21
c Core size: 29	Core Weight: 45	Total Weight: 1145
c core #22
c Core size: 53	Core Weight: 5	Total Weight: 1150
c core #23
c Core size: 225	Core Weight: 12	Total Weight: 1162
c core #24
c Core size: 91	Core Weight: 3	Total Weight: 1165
c core #25
c Core size: 126	Core Weight: 5	Total Weight: 1170
c core #26
c Core size: 133	Core Weight: 3	Total Weight: 1173
c Learning 1 hard constraints
c core #27
c Core size: 128	Core Weight: 2	Total Weight: 1175
c core #28
c Core size: 142	Core Weight: 5	Total Weight: 1180
c core #29
c Core size: 170	Core Weight: 5	Total Weight: 1185
c core #30
c Core size: 311	Core Weight: 5	Total Weight: 1190
c core #31
c Core size: 325	Core Weight: 2	Total Weight: 1192
c core #32
c Core size: 228	Core Weight: 3	Total Weight: 1195
c Learning 1 hard constraints
c core #33
c Core size: 180	Core Weight: 1	Total Weight: 1196
c Learning 1 hard constraints
c core #34
c Core size: 179	Core Weight: 1	Total Weight: 1197
c core #35
c Core size: 161	Core Weight: 1	Total Weight: 1198
c core #36
c Core size: 89	Core Weight: 1	Total Weight: 1199
c core #37
c Core size: 282	Core Weight: 1	Total Weight: 1200
c Learning 1 hard constraints
c core #38
c Core size: 217	Core Weight: 1	Total Weight: 1201
c core #39
c Core size: 253	Core Weight: 1	Total Weight: 1202
c Learning 3 hard constraints
c core #40
c Core size: 95	Core Weight: 1	Total Weight: 1203
c Learning 4 hard constraints
c core #41
c Core size: 174	Core Weight: 4	Total Weight: 1207
c Learning 3 hard constraints
c core #42
c Core size: 225	Core Weight: 1	Total Weight: 1208
c core #43
c Core size: 93	Core Weight: 2	Total Weight: 1210
c core #44
c Core size: 101	Core Weight: 2	Total Weight: 1212
c core #45
c Core size: 632	Core Weight: 1	Total Weight: 1213
c Learning 6 hard constraints
c core #46
c Core size: 203	Core Weight: 1	Total Weight: 1214
c Learning 1 hard constraints
c core #47
c Core size: 67	Core Weight: 5	Total Weight: 1219
c Learning 2 hard constraints
c core #48
c Core size: 75	Core Weight: 4	Total Weight: 1223
c core #49
c Core size: 208	Core Weight: 1	Total Weight: 1224
c Learning 5 hard constraints
c core #50
c Core size: 286	Core Weight: 1	Total Weight: 1225
c core #51
c Core size: 272	Core Weight: 1	Total Weight: 1226
c Learning 3 hard constraints
c core #52
c Core size: 284	Core Weight: 1	Total Weight: 1227
c Learning 5 hard constraints
c core #53
c Core size: 262	Core Weight: 1	Total Weight: 1228
c Learning 4 hard constraints
c core #54
c Core size: 302	Core Weight: 1	Total Weight: 1229
c Learning 2 hard constraints
c core #55
c Core size: 253	Core Weight: 1	Total Weight: 1230
c Learning 2 hard constraints
c core #56
c Core size: 803	Core Weight: 1	Total Weight: 1231
c Learning 7 hard constraints
c core #57
c Core size: 329	Core Weight: 1	Total Weight: 1232
c Learning 2 hard constraints
c core #58
c Core size: 144	Core Weight: 3	Total Weight: 1235
c Learning 2 hard constraints
c core #59
c Core size: 414	Core Weight: 1	Total Weight: 1236
c Learning 1 hard constraints
c core #60
c Core size: 318	Core Weight: 1	Total Weight: 1237
c Learning 2 hard constraints
c core #61
c Core size: 763	Core Weight: 1	Total Weight: 1238
c Learning 2 hard constraints
c core #62
c Core size: 372	Core Weight: 1	Total Weight: 1239
c Learning 1 hard constraints
c core #63
c Core size: 121	Core Weight: 2	Total Weight: 1241
c Learning 1 hard constraints
c core #64
c Core size: 803	Core Weight: 1	Total Weight: 1242
c Learning 6 hard constraints
c core #65
c Core size: 983	Core Weight: 1	Total Weight: 1243
c Learning 7 hard constraints
c core #66
c Core size: 1030	Core Weight: 1	Total Weight: 1244
c Learning 4 hard constraints
c core #67
c Core size: 82	Core Weight: 5	Total Weight: 1249
c Learning 7 hard constraints
c core #68
c Core size: 289	Core Weight: 1	Total Weight: 1250
c Learning 4 hard constraints
c core #69
c Core size: 1027	Core Weight: 1	Total Weight: 1251
c Learning 4 hard constraints
c core #70
c Core size: 71	Core Weight: 1	Total Weight: 1252
c core #71
c Core size: 1155	Core Weight: 1	Total Weight: 1253
c Learning 21 hard constraints
c core #72
c Core size: 1174	Core Weight: 1	Total Weight: 1254
c Learning 7 hard constraints
c core #73
c Core size: 1383	Core Weight: 1	Total Weight: 1255
c Learning 16 hard constraints
c core #74
c Core size: 112	Core Weight: 1	Total Weight: 1256
c Learning 7 hard constraints
c core #75
c Core size: 95	Core Weight: 7	Total Weight: 1263
c Learning 3 hard constraints
c core #76
c Core size: 239	Core Weight: 1	Total Weight: 1264
c Learning 20 hard constraints
c core #77
c Core size: 293	Core Weight: 1	Total Weight: 1265
c Learning 1 hard constraints
c core #78
c Core size: 203	Core Weight: 1	Total Weight: 1266
c Learning 3 hard constraints
c core #79
c Core size: 158	Core Weight: 1	Total Weight: 1267
c Learning 2 hard constraints
c core #80
c Core size: 754	Core Weight: 1	Total Weight: 1268
c Learning 1 hard constraints
c core #81
c Core size: 151	Core Weight: 1	Total Weight: 1269
c core #82
c Core size: 291	Core Weight: 1	Total Weight: 1270
c Learning 9 hard constraints
c core #83
c Core size: 210	Core Weight: 1	Total Weight: 1271
c Learning 1 hard constraints
c core #84
c Core size: 220	Core Weight: 1	Total Weight: 1272
c Learning 1 hard constraints
c core #85
c Core size: 183	Core Weight: 1	Total Weight: 1273
c Learning 2 hard constraints
c core #86
c Core size: 173	Core Weight: 1	Total Weight: 1274
c Learning 2 hard constraints
c core #87
c Core size: 301	Core Weight: 1	Total Weight: 1275
c Learning 1 hard constraints
c core #88
c Core size: 661	Core Weight: 1	Total Weight: 1276
c Learning 5 hard constraints
c core #89
c Core size: 572	Core Weight: 1	Total Weight: 1277
c Learning 2 hard constraints
c core #90
c Core size: 645	Core Weight: 1	Total Weight: 1278
c Learning 12 hard constraints
c core #91
c Core size: 624	Core Weight: 1	Total Weight: 1279
c Learning 3 hard constraints
c core #92
c Core size: 795	Core Weight: 1	Total Weight: 1280
c Learning 3 hard constraints
c core #93
c Core size: 932	Core Weight: 1	Total Weight: 1281
c core #94
c Core size: 1059	Core Weight: 1	Total Weight: 1282
c Learning 1 hard constraints
c core #95
c Core size: 1205	Core Weight: 1	Total Weight: 1283
c core #96
c Core size: 1834	Core Weight: 1	Total Weight: 1284
c Learning 11 hard constraints
c core #97
c Core size: 2061	Core Weight: 1	Total Weight: 1285
c Learning 29 hard constraints
c core #98
c Core size: 2256	Core Weight: 1	Total Weight: 1286
c Learning 52 hard constraints
c core #99
c Core size: 2355	Core Weight: 1	Total Weight: 1287
c Learning 49 hard constraints
c core #100
c Core size: 3043	Core Weight: 1	Total Weight: 1288
c Learning 124 hard constraints
c core #101
c Core size: 3289	Core Weight: 1	Total Weight: 1289
c Learning 143 hard constraints
c core #102
c Core size: 3454	Core Weight: 1	Total Weight: 1290
c Learning 171 hard constraints
c core #103
c Core size: 4416	Core Weight: 1	Total Weight: 1291
c Learning 241 hard constraints
c core #104
c Core size: 5044	Core Weight: 1	Total Weight: 1292
c Learning 291 hard constraints
c core #105
c Core size: 2103	Core Weight: 1	Total Weight: 1293
c Learning 84 hard constraints
c core #106
c Core size: 3821	Core Weight: 1	Total Weight: 1294
c Learning 152 hard constraints
c core #107
c Core size: 3213	Core Weight: 1	Total Weight: 1295
c Learning 1 hard constraints