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-lseu.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-lseu.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 8	Core Weight: 78	Total Weight: 78
c core #2
c Core size: 4	Core Weight: 78	Total Weight: 156
c core #3
c Core size: 1960	Core Weight: 7	Total Weight: 163
c core #4
c Core size: 2287	Core Weight: 3	Total Weight: 166
c core #5
c Core size: 2261	Core Weight: 39	Total Weight: 205
c core #6
c Core size: 2193	Core Weight: 20	Total Weight: 225
c core #7
c Core size: 2078	Core Weight: 9	Total Weight: 234
c core #8
c Core size: 2096	Core Weight: 7	Total Weight: 241
c core #9
c Core size: 38	Core Weight: 1	Total Weight: 242
c core #10
c Core size: 1155	Core Weight: 1	Total Weight: 243
c core #11
c Core size: 63	Core Weight: 1	Total Weight: 244
c core #12
c Core size: 91	Core Weight: 2	Total Weight: 246
c core #13
c Core size: 88	Core Weight: 3	Total Weight: 249
c core #14
c Core size: 90	Core Weight: 1	Total Weight: 250
c core #15
c Core size: 1172	Core Weight: 7	Total Weight: 257
c core #16
c Core size: 131	Core Weight: 1	Total Weight: 258
c core #17
c Core size: 132	Core Weight: 2	Total Weight: 260
c core #18
c Core size: 1540	Core Weight: 1	Total Weight: 261
c Learning 1 hard constraints
c core #19
c Core size: 28	Core Weight: 16	Total Weight: 277
c Learning 1 hard constraints
c core #20
c Core size: 1177	Core Weight: 3	Total Weight: 280
c core #21
c Core size: 1174	Core Weight: 20	Total Weight: 300
c core #22
c Core size: 1178	Core Weight: 3	Total Weight: 303
c core #23
c Core size: 37	Core Weight: 7	Total Weight: 310
c core #24
c Core size: 167	Core Weight: 2	Total Weight: 312
c core #25
c Core size: 1175	Core Weight: 9	Total Weight: 321
c core #26
c Core size: 1176	Core Weight: 2	Total Weight: 323
c core #27
c Core size: 1177	Core Weight: 2	Total Weight: 325
c core #28
c Core size: 1177	Core Weight: 2	Total Weight: 327
c core #29
c Core size: 158	Core Weight: 1	Total Weight: 328
c core #30
c Core size: 1510	Core Weight: 1	Total Weight: 329
c Learning 2 hard constraints
c core #31
c Core size: 1178	Core Weight: 1	Total Weight: 330
c core #32
c Core size: 1179	Core Weight: 1	Total Weight: 331
c core #33
c Core size: 1154	Core Weight: 6	Total Weight: 337
c Learning 1 hard constraints
c core #34
c Core size: 1093	Core Weight: 7	Total Weight: 344
c core #35
c Core size: 1158	Core Weight: 3	Total Weight: 347
c core #36
c Core size: 1158	Core Weight: 3	Total Weight: 350
c core #37
c Core size: 1463	Core Weight: 1	Total Weight: 351
c Learning 1 hard constraints
c core #38
c Core size: 106	Core Weight: 1	Total Weight: 352
c core #39
c Core size: 112	Core Weight: 1	Total Weight: 353
c Learning 3 hard constraints
c core #40
c Core size: 57	Core Weight: 1	Total Weight: 354
c core #41
c Core size: 1478	Core Weight: 1	Total Weight: 355
c Learning 1 hard constraints
c core #42
c Core size: 1422	Core Weight: 1	Total Weight: 356
c core #43
c Core size: 1095	Core Weight: 1	Total Weight: 357
c core #44
c Core size: 59	Core Weight: 1	Total Weight: 358
c Learning 1 hard constraints
c core #45
c Core size: 175	Core Weight: 1	Total Weight: 359
c core #46
c Core size: 29	Core Weight: 77	Total Weight: 436
c core #47
c Core size: 1195	Core Weight: 1	Total Weight: 437
c Learning 1 hard constraints
c core #48
c Core size: 70	Core Weight: 1	Total Weight: 438
c core #49
c Core size: 1151	Core Weight: 1	Total Weight: 439
c core #50
c Core size: 199	Core Weight: 1	Total Weight: 440
c core #51
c Core size: 117	Core Weight: 1	Total Weight: 441
c core #52
c Core size: 97	Core Weight: 1	Total Weight: 442
c core #53
c Core size: 164	Core Weight: 1	Total Weight: 443
c core #54
c Core size: 1341	Core Weight: 2	Total Weight: 445
c Learning 1 hard constraints
c core #55
c Core size: 1271	Core Weight: 1	Total Weight: 446
c Learning 1 hard constraints
c core #56
c Core size: 131	Core Weight: 1	Total Weight: 447
c Learning 2 hard constraints
c core #57
c Core size: 131	Core Weight: 2	Total Weight: 449
c Learning 1 hard constraints
c core #58
c Core size: 114	Core Weight: 1	Total Weight: 450
c core #59
c Core size: 1422	Core Weight: 1	Total Weight: 451
c Learning 1 hard constraints
c core #60
c Core size: 146	Core Weight: 1	Total Weight: 452
c core #61
c Core size: 244	Core Weight: 1	Total Weight: 453
c core #62
c Core size: 1195	Core Weight: 1	Total Weight: 454
c core #63
c Core size: 124	Core Weight: 1	Total Weight: 455
c Learning 1 hard constraints
c core #64
c Core size: 140	Core Weight: 1	Total Weight: 456
c core #65
c Core size: 137	Core Weight: 1	Total Weight: 457
c core #66
c Core size: 1212	Core Weight: 1	Total Weight: 458
c Learning 12 hard constraints
c core #67
c Core size: 1100	Core Weight: 1	Total Weight: 459
c core #68
c Core size: 176	Core Weight: 1	Total Weight: 460
c Learning 1 hard constraints
c core #69
c Core size: 1185	Core Weight: 1	Total Weight: 461
c Learning 3 hard constraints
c core #70
c Core size: 188	Core Weight: 1	Total Weight: 462
c core #71
c Core size: 1007	Core Weight: 1	Total Weight: 463
c Learning 1 hard constraints
c core #72
c Core size: 177	Core Weight: 1	Total Weight: 464
c core #73
c Core size: 200	Core Weight: 1	Total Weight: 465
c core #74
c Core size: 1386	Core Weight: 1	Total Weight: 466
c Learning 1 hard constraints
c core #75
c Core size: 1285	Core Weight: 1	Total Weight: 467
c Learning 1 hard constraints
c core #76
c Core size: 1451	Core Weight: 1	Total Weight: 468
c core #77
c Core size: 1175	Core Weight: 1	Total Weight: 469
c core #78
c Core size: 2424	Core Weight: 1	Total Weight: 470
c core #79
c Core size: 2483	Core Weight: 1	Total Weight: 471
c Learning 1 hard constraints
c core #80
c Core size: 1143	Core Weight: 1	Total Weight: 472
c core #81
c Core size: 1371	Core Weight: 1	Total Weight: 473
c Learning 1 hard constraints
c core #82
c Core size: 1360	Core Weight: 1	Total Weight: 474
c Learning 1 hard constraints
c core #83
c Core size: 2337	Core Weight: 1	Total Weight: 475
c Learning 1 hard constraints
c core #84
c Core size: 1430	Core Weight: 1	Total Weight: 476
c Learning 4 hard constraints
c core #85
c Core size: 1583	Core Weight: 1	Total Weight: 477
c Learning 4 hard constraints
c core #86
c Core size: 1572	Core Weight: 1	Total Weight: 478
c core #87
c Core size: 2305	Core Weight: 1	Total Weight: 479
c core #88
c Core size: 1315	Core Weight: 1	Total Weight: 480
c core #89
c Core size: 2426	Core Weight: 1	Total Weight: 481
c Learning 2 hard constraints
c core #90
c Core size: 1464	Core Weight: 1	Total Weight: 482
c Learning 1 hard constraints
c core #91
c Core size: 1571	Core Weight: 1	Total Weight: 483
c Learning 3 hard constraints
c core #92
c Core size: 1262	Core Weight: 3	Total Weight: 486
c Learning 2 hard constraints
c core #93
c Core size: 1396	Core Weight: 1	Total Weight: 487
c core #94
c Core size: 2372	Core Weight: 1	Total Weight: 488
c Learning 2 hard constraints
c core #95
c Core size: 2339	Core Weight: 1	Total Weight: 489
c core #96
c Core size: 1414	Core Weight: 1	Total Weight: 490
c Learning 2 hard constraints
c core #97
c Core size: 1531	Core Weight: 1	Total Weight: 491
c core #98
c Core size: 1567	Core Weight: 1	Total Weight: 492
c Learning 1 hard constraints
c core #99
c Core size: 1560	Core Weight: 1	Total Weight: 493
c core #100
c Core size: 2635	Core Weight: 1	Total Weight: 494
c Learning 1 hard constraints
c core #101
c Core size: 1235	Core Weight: 3	Total Weight: 497
c Learning 11 hard constraints
c core #102
c Core size: 1324	Core Weight: 1	Total Weight: 498
c core #103
c Core size: 1361	Core Weight: 1	Total Weight: 499
c Learning 2 hard constraints
c core #104
c Core size: 1597	Core Weight: 1	Total Weight: 500
c Learning 1 hard constraints
c core #105
c Core size: 1360	Core Weight: 2	Total Weight: 502
c core #106
c Core size: 1405	Core Weight: 1	Total Weight: 503
c Learning 1 hard constraints
c core #107
c Core size: 1411	Core Weight: 1	Total Weight: 504
c core #108
c Core size: 1422	Core Weight: 1	Total Weight: 505
c core #109
c Core size: 1280	Core Weight: 1	Total Weight: 506
c Learning 1 hard constraints
c core #110
c Core size: 1309	Core Weight: 1	Total Weight: 507
c core #111
c Core size: 2628	Core Weight: 1	Total Weight: 508
c Learning 4 hard constraints
c core #112
c Core size: 2600	Core Weight: 1	Total Weight: 509
c Learning 4 hard constraints
c core #113
c Core size: 2457	Core Weight: 1	Total Weight: 510
c Learning 4 hard constraints
c core #114
c Core size: 1693	Core Weight: 1	Total Weight: 511
c Learning 1 hard constraints
c core #115
c Core size: 1953	Core Weight: 1	Total Weight: 512
c Learning 2 hard constraints
c core #116
c Core size: 1727	Core Weight: 1	Total Weight: 513
c Learning 7 hard constraints
c core #117
c Core size: 2563	Core Weight: 1	Total Weight: 514
c core #118
c Core size: 3071	Core Weight: 1	Total Weight: 515
c Learning 6 hard constraints
c core #119
c Core size: 3394	Core Weight: 1	Total Weight: 516
c Learning 12 hard constraints
c core #120
c Core size: 3255	Core Weight: 1	Total Weight: 517
c Learning 13 hard constraints
c core #121
c Core size: 3899	Core Weight: 1	Total Weight: 518
c Learning 12 hard constraints
c core #122
c Core size: 2997	Core Weight: 1	Total Weight: 519
c Learning 6 hard constraints
c core #123
c Core size: 1834	Core Weight: 1	Total Weight: 520
c Learning 15 hard constraints
c core #124
c Core size: 1768	Core Weight: 1	Total Weight: 521
c Learning 17 hard constraints
c core #125
c Core size: 3768	Core Weight: 1	Total Weight: 522
c Learning 1 hard constraints
c core #126
c Core size: 4992	Core Weight: 1	Total Weight: 523
c Learning 23 hard constraints
c core #127
c Core size: 3748	Core Weight: 1	Total Weight: 524
c Learning 17 hard constraints
c core #128
c Core size: 7016	Core Weight: 1	Total Weight: 525
c Learning 187 hard constraints
c core #129
c Core size: 7221	Core Weight: 1	Total Weight: 526
c Learning 129 hard constraints
c core #130
c Core size: 4163	Core Weight: 1	Total Weight: 527
c Learning 42 hard constraints
c core #131
c Core size: 7553	Core Weight: 1	Total Weight: 528
c Learning 133 hard constraints
c core #132
c Core size: 8208	Core Weight: 1	Total Weight: 529
c Learning 40 hard constraints
c core #133
c Core size: 8820	Core Weight: 1	Total Weight: 530
c Learning 284 hard constraints
c core #134
c Core size: 9615	Core Weight: 1	Total Weight: 531
c Learning 611 hard constraints
c core #135
c Core size: 10157	Core Weight: 1	Total Weight: 532
c Learning 150 hard constraints
c core #136
c Core size: 10930	Core Weight: 1	Total Weight: 533
c Learning 996 hard constraints
c core #137
c Core size: 12016	Core Weight: 1	Total Weight: 534
c Learning 1178 hard constraints
c core #138
c Core size: 13852	Core Weight: 1	Total Weight: 535
c Learning 1729 hard constraints
c core #139
c Core size: 15985	Core Weight: 1	Total Weight: 536
c Learning 687 hard constraints