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-mod010.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-mod010.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 70	Core Weight: 180	Total Weight: 180
c core #2
c Core size: 116	Core Weight: 53	Total Weight: 233
c core #3
c Core size: 184	Core Weight: 33	Total Weight: 266
c core #4
c Core size: 158	Core Weight: 12	Total Weight: 278
c core #5
c Core size: 236	Core Weight: 5	Total Weight: 283
c core #6
c Core size: 237	Core Weight: 11	Total Weight: 294
c core #7
c Core size: 236	Core Weight: 2	Total Weight: 296
c core #8
c Core size: 90	Core Weight: 25	Total Weight: 321
c core #9
c Core size: 270	Core Weight: 1	Total Weight: 322
c core #10
c Core size: 270	Core Weight: 1	Total Weight: 323
c core #11
c Core size: 100	Core Weight: 140	Total Weight: 463
c core #12
c Core size: 210	Core Weight: 1	Total Weight: 464
c core #13
c Core size: 206	Core Weight: 1	Total Weight: 465
c core #14
c Core size: 201	Core Weight: 2	Total Weight: 467
c core #15
c Core size: 200	Core Weight: 1	Total Weight: 468
c core #16
c Core size: 199	Core Weight: 1	Total Weight: 469
c core #17
c Core size: 198	Core Weight: 2	Total Weight: 471
c core #18
c Core size: 197	Core Weight: 2	Total Weight: 473
c core #19
c Core size: 196	Core Weight: 2	Total Weight: 475
c core #20
c Core size: 195	Core Weight: 12	Total Weight: 487
c core #21
c Core size: 166	Core Weight: 10	Total Weight: 497
c core #22
c Core size: 270	Core Weight: 13	Total Weight: 510
c core #23
c Core size: 322	Core Weight: 31	Total Weight: 541
c core #24
c Core size: 114	Core Weight: 9	Total Weight: 550
c core #25
c Core size: 444	Core Weight: 1	Total Weight: 551
c core #26
c Core size: 152	Core Weight: 40	Total Weight: 591
c core #27
c Core size: 807	Core Weight: 2	Total Weight: 593
c core #28
c Core size: 666	Core Weight: 5	Total Weight: 598
c core #29
c Core size: 702	Core Weight: 3	Total Weight: 601
c core #30
c Core size: 104	Core Weight: 18	Total Weight: 619
c core #31
c Core size: 640	Core Weight: 3	Total Weight: 622
c core #32
c Core size: 691	Core Weight: 22	Total Weight: 644
c core #33
c Core size: 100	Core Weight: 74	Total Weight: 718
c core #34
c Core size: 26	Core Weight: 26	Total Weight: 744
c core #35
c Core size: 275	Core Weight: 1	Total Weight: 745
c core #36
c Core size: 98	Core Weight: 92	Total Weight: 837
c core #37
c Core size: 227	Core Weight: 23	Total Weight: 860
c core #38
c Core size: 250	Core Weight: 15	Total Weight: 875
c core #39
c Core size: 102	Core Weight: 23	Total Weight: 898
c core #40
c Core size: 798	Core Weight: 1	Total Weight: 899
c core #41
c Core size: 873	Core Weight: 3	Total Weight: 902
c core #42
c Core size: 961	Core Weight: 6	Total Weight: 908
c core #43
c Core size: 693	Core Weight: 2	Total Weight: 910
c core #44
c Core size: 698	Core Weight: 3	Total Weight: 913
c core #45
c Core size: 698	Core Weight: 2	Total Weight: 915
c core #46
c Core size: 182	Core Weight: 35	Total Weight: 950
c core #47
c Core size: 26	Core Weight: 55	Total Weight: 1005
c core #48
c Core size: 98	Core Weight: 38	Total Weight: 1043
c core #49
c Core size: 245	Core Weight: 7	Total Weight: 1050
c core #50
c Core size: 300	Core Weight: 2	Total Weight: 1052
c core #51
c Core size: 609	Core Weight: 3	Total Weight: 1055
c core #52
c Core size: 960	Core Weight: 4	Total Weight: 1059
c core #53
c Core size: 1099	Core Weight: 1	Total Weight: 1060
c core #54
c Core size: 1332	Core Weight: 1	Total Weight: 1061
c core #55
c Core size: 1331	Core Weight: 2	Total Weight: 1063
c core #56
c Core size: 1331	Core Weight: 1	Total Weight: 1064
c core #57
c Core size: 302	Core Weight: 4	Total Weight: 1068
c core #58
c Core size: 303	Core Weight: 2	Total Weight: 1070
c core #59
c Core size: 303	Core Weight: 10	Total Weight: 1080
c core #60
c Core size: 383	Core Weight: 1	Total Weight: 1081
c core #61
c Core size: 381	Core Weight: 2	Total Weight: 1083
c core #62
c Core size: 380	Core Weight: 3	Total Weight: 1086
c core #63
c Core size: 380	Core Weight: 1	Total Weight: 1087
c core #64
c Core size: 120	Core Weight: 30	Total Weight: 1117
c core #65
c Core size: 26	Core Weight: 32	Total Weight: 1149
c core #66
c Core size: 469	Core Weight: 37	Total Weight: 1186
c core #67
c Core size: 221	Core Weight: 1	Total Weight: 1187
c core #68
c Core size: 92	Core Weight: 19	Total Weight: 1206
c core #69
c Core size: 315	Core Weight: 14	Total Weight: 1220
c core #70
c Core size: 365	Core Weight: 20	Total Weight: 1240
c core #71
c Core size: 1121	Core Weight: 2	Total Weight: 1242
c core #72
c Core size: 78	Core Weight: 21	Total Weight: 1263
c core #73
c Core size: 142	Core Weight: 11	Total Weight: 1274
c core #74
c Core size: 289	Core Weight: 11	Total Weight: 1285
c core #75
c Core size: 792	Core Weight: 1	Total Weight: 1286
c core #76
c Core size: 398	Core Weight: 1	Total Weight: 1287
c core #77
c Core size: 243	Core Weight: 2	Total Weight: 1289
c core #78
c Core size: 593	Core Weight: 2	Total Weight: 1291
c core #79
c Core size: 267	Core Weight: 14	Total Weight: 1305
c core #80
c Core size: 955	Core Weight: 1	Total Weight: 1306
c core #81
c Core size: 955	Core Weight: 2	Total Weight: 1308
c core #82
c Core size: 955	Core Weight: 1	Total Weight: 1309
c core #83
c Core size: 905	Core Weight: 6	Total Weight: 1315
c core #84
c Core size: 315	Core Weight: 10	Total Weight: 1325
c core #85
c Core size: 395	Core Weight: 8	Total Weight: 1333
c core #86
c Core size: 400	Core Weight: 1	Total Weight: 1334
c core #87
c Core size: 40	Core Weight: 110	Total Weight: 1444
c core #88
c Core size: 40	Core Weight: 110	Total Weight: 1554
c core #89
c Core size: 112	Core Weight: 22	Total Weight: 1576
c core #90
c Core size: 80	Core Weight: 4	Total Weight: 1580
c core #91
c Core size: 813	Core Weight: 2	Total Weight: 1582
c core #92
c Core size: 812	Core Weight: 1	Total Weight: 1583
c core #93
c Core size: 811	Core Weight: 3	Total Weight: 1586
c core #94
c Core size: 80	Core Weight: 9	Total Weight: 1595
c core #95
c Core size: 183	Core Weight: 12	Total Weight: 1607
c core #96
c Core size: 80	Core Weight: 22	Total Weight: 1629
c core #97
c Core size: 273	Core Weight: 24	Total Weight: 1653
c core #98
c Core size: 1554	Core Weight: 1	Total Weight: 1654
c core #99
c Core size: 1557	Core Weight: 2	Total Weight: 1656
c core #100
c Core size: 1556	Core Weight: 2	Total Weight: 1658
c core #101
c Core size: 146	Core Weight: 20	Total Weight: 1678
c core #102
c Core size: 465	Core Weight: 4	Total Weight: 1682
c core #103
c Core size: 649	Core Weight: 2	Total Weight: 1684
c core #104
c Core size: 648	Core Weight: 1	Total Weight: 1685
c core #105
c Core size: 96	Core Weight: 16	Total Weight: 1701
c core #106
c Core size: 82	Core Weight: 24	Total Weight: 1725
c core #107
c Core size: 211	Core Weight: 16	Total Weight: 1741
c core #108
c Core size: 354	Core Weight: 1	Total Weight: 1742
c core #109
c Core size: 355	Core Weight: 7	Total Weight: 1749
c core #110
c Core size: 386	Core Weight: 15	Total Weight: 1764
c core #111
c Core size: 425	Core Weight: 7	Total Weight: 1771
c core #112
c Core size: 1922	Core Weight: 1	Total Weight: 1772
c core #113
c Core size: 1921	Core Weight: 3	Total Weight: 1775
c core #114
c Core size: 1694	Core Weight: 1	Total Weight: 1776
c core #115
c Core size: 1699	Core Weight: 2	Total Weight: 1778
c core #116
c Core size: 555	Core Weight: 3	Total Weight: 1781
c core #117
c Core size: 558	Core Weight: 5	Total Weight: 1786
c core #118
c Core size: 457	Core Weight: 5	Total Weight: 1791
c core #119
c Core size: 1229	Core Weight: 1	Total Weight: 1792
c core #120
c Core size: 50	Core Weight: 5	Total Weight: 1797
c core #121
c Core size: 361	Core Weight: 5	Total Weight: 1802
c core #122
c Core size: 376	Core Weight: 4	Total Weight: 1806
c core #123
c Core size: 153	Core Weight: 22	Total Weight: 1828
c core #124
c Core size: 234	Core Weight: 6	Total Weight: 1834
c core #125
c Core size: 288	Core Weight: 10	Total Weight: 1844
c core #126
c Core size: 90	Core Weight: 11	Total Weight: 1855
c core #127
c Core size: 94	Core Weight: 25	Total Weight: 1880
c core #128
c Core size: 391	Core Weight: 2	Total Weight: 1882
c core #129
c Core size: 70	Core Weight: 12	Total Weight: 1894
c core #130
c Core size: 1326	Core Weight: 3	Total Weight: 1897
c core #131
c Core size: 1325	Core Weight: 1	Total Weight: 1898
c core #132
c Core size: 1327	Core Weight: 1	Total Weight: 1899
c core #133
c Core size: 72	Core Weight: 17	Total Weight: 1916
c core #134
c Core size: 151	Core Weight: 20	Total Weight: 1936
c core #135
c Core size: 151	Core Weight: 3	Total Weight: 1939
c core #136
c Core size: 50	Core Weight: 28	Total Weight: 1967
c core #137
c Core size: 40	Core Weight: 42	Total Weight: 2009
c core #138
c Core size: 1388	Core Weight: 1	Total Weight: 2010
c core #139
c Core size: 1208	Core Weight: 1	Total Weight: 2011
c core #140
c Core size: 1228	Core Weight: 2	Total Weight: 2013
c core #141
c Core size: 873	Core Weight: 1	Total Weight: 2014
c core #142
c Core size: 873	Core Weight: 1	Total Weight: 2015
c core #143
c Core size: 1133	Core Weight: 1	Total Weight: 2016
c core #144
c Core size: 1132	Core Weight: 1	Total Weight: 2017
c core #145
c Core size: 929	Core Weight: 1	Total Weight: 2018
c core #146
c Core size: 925	Core Weight: 1	Total Weight: 2019
c core #147
c Core size: 1348	Core Weight: 1	Total Weight: 2020
c core #148
c Core size: 1170	Core Weight: 1	Total Weight: 2021
c core #149
c Core size: 1168	Core Weight: 1	Total Weight: 2022
c core #150
c Core size: 919	Core Weight: 1	Total Weight: 2023
c core #151
c Core size: 918	Core Weight: 1	Total Weight: 2024
c core #152
c Core size: 934	Core Weight: 2	Total Weight: 2026
c core #153
c Core size: 405	Core Weight: 1	Total Weight: 2027
c core #154
c Core size: 385	Core Weight: 2	Total Weight: 2029
c core #155
c Core size: 386	Core Weight: 1	Total Weight: 2030
c core #156
c Core size: 385	Core Weight: 4	Total Weight: 2034
c core #157
c Core size: 384	Core Weight: 2	Total Weight: 2036
c core #158
c Core size: 483	Core Weight: 1	Total Weight: 2037
c core #159
c Core size: 785	Core Weight: 1	Total Weight: 2038
c core #160
c Core size: 783	Core Weight: 1	Total Weight: 2039
c core #161
c Core size: 140	Core Weight: 28	Total Weight: 2067
c core #162
c Core size: 128	Core Weight: 23	Total Weight: 2090
c core #163
c Core size: 1358	Core Weight: 1	Total Weight: 2091
c core #164
c Core size: 411	Core Weight: 1	Total Weight: 2092
c core #165
c Core size: 282	Core Weight: 10	Total Weight: 2102
c core #166
c Core size: 282	Core Weight: 2	Total Weight: 2104
c core #167
c Core size: 142	Core Weight: 25	Total Weight: 2129
c core #168
c Core size: 128	Core Weight: 26	Total Weight: 2155
c core #169
c Core size: 676	Core Weight: 1	Total Weight: 2156
c core #170
c Core size: 8	Core Weight: 32	Total Weight: 2188
c core #171
c Core size: 160	Core Weight: 21	Total Weight: 2209
c core #172
c Core size: 118	Core Weight: 2	Total Weight: 2211
c core #173
c Core size: 432	Core Weight: 1	Total Weight: 2212
c core #174
c Core size: 431	Core Weight: 2	Total Weight: 2214
c core #175
c Core size: 429	Core Weight: 1	Total Weight: 2215
c core #176
c Core size: 428	Core Weight: 2	Total Weight: 2217
c core #177
c Core size: 106	Core Weight: 96	Total Weight: 2313
c core #178
c Core size: 433	Core Weight: 1	Total Weight: 2314
c core #179
c Core size: 556	Core Weight: 1	Total Weight: 2315
c core #180
c Core size: 559	Core Weight: 1	Total Weight: 2316
c core #181
c Core size: 378	Core Weight: 21	Total Weight: 2337
c core #182
c Core size: 428	Core Weight: 4	Total Weight: 2341
c core #183
c Core size: 793	Core Weight: 3	Total Weight: 2344
c core #184
c Core size: 796	Core Weight: 3	Total Weight: 2347
c core #185
c Core size: 799	Core Weight: 1	Total Weight: 2348
c core #186
c Core size: 691	Core Weight: 3	Total Weight: 2351
c core #187
c Core size: 1556	Core Weight: 2	Total Weight: 2353
c core #188
c Core size: 427	Core Weight: 4	Total Weight: 2357
c core #189
c Core size: 1360	Core Weight: 1	Total Weight: 2358
c core #190
c Core size: 1359	Core Weight: 1	Total Weight: 2359
c core #191
c Core size: 1358	Core Weight: 1	Total Weight: 2360
c core #192
c Core size: 736	Core Weight: 1	Total Weight: 2361
c core #193
c Core size: 650	Core Weight: 2	Total Weight: 2363
c core #194
c Core size: 696	Core Weight: 1	Total Weight: 2364
c core #195
c Core size: 176	Core Weight: 31	Total Weight: 2395
c core #196
c Core size: 498	Core Weight: 10	Total Weight: 2405
c core #197
c Core size: 500	Core Weight: 5	Total Weight: 2410
c core #198
c Core size: 619	Core Weight: 4	Total Weight: 2414
c core #199
c Core size: 733	Core Weight: 2	Total Weight: 2416
c core #200
c Core size: 978	Core Weight: 1	Total Weight: 2417
c core #201
c Core size: 410	Core Weight: 3	Total Weight: 2420
c core #202
c Core size: 411	Core Weight: 6	Total Weight: 2426
c core #203
c Core size: 160	Core Weight: 2	Total Weight: 2428
c core #204
c Core size: 561	Core Weight: 1	Total Weight: 2429
c core #205
c Core size: 442	Core Weight: 2	Total Weight: 2431
c core #206
c Core size: 459	Core Weight: 3	Total Weight: 2434
c core #207
c Core size: 586	Core Weight: 1	Total Weight: 2435
c core #208
c Core size: 587	Core Weight: 1	Total Weight: 2436
c core #209
c Core size: 515	Core Weight: 2	Total Weight: 2438
c core #210
c Core size: 679	Core Weight: 3	Total Weight: 2441
c core #211
c Core size: 678	Core Weight: 4	Total Weight: 2445
c core #212
c Core size: 466	Core Weight: 8	Total Weight: 2453
c core #213
c Core size: 656	Core Weight: 3	Total Weight: 2456
c core #214
c Core size: 783	Core Weight: 1	Total Weight: 2457
c core #215
c Core size: 594	Core Weight: 5	Total Weight: 2462
c core #216
c Core size: 435	Core Weight: 1	Total Weight: 2463
c core #217
c Core size: 436	Core Weight: 9	Total Weight: 2472
c core #218
c Core size: 432	Core Weight: 3	Total Weight: 2475
c core #219
c Core size: 436	Core Weight: 1	Total Weight: 2476
c core #220
c Core size: 436	Core Weight: 4	Total Weight: 2480
c core #221
c Core size: 435	Core Weight: 1	Total Weight: 2481
c core #222
c Core size: 118	Core Weight: 23	Total Weight: 2504
c core #223
c Core size: 461	Core Weight: 1	Total Weight: 2505
c core #224
c Core size: 461	Core Weight: 1	Total Weight: 2506
c core #225
c Core size: 645	Core Weight: 1	Total Weight: 2507
c core #226
c Core size: 787	Core Weight: 2	Total Weight: 2509
c core #227
c Core size: 787	Core Weight: 3	Total Weight: 2512
c core #228
c Core size: 1089	Core Weight: 1	Total Weight: 2513
c core #229
c Core size: 579	Core Weight: 4	Total Weight: 2517
c core #230
c Core size: 12	Core Weight: 23	Total Weight: 2540
c core #231
c Core size: 102	Core Weight: 71	Total Weight: 2611
c core #232
c Core size: 839	Core Weight: 1	Total Weight: 2612
c core #233
c Core size: 2437	Core Weight: 2	Total Weight: 2614
c core #234
c Core size: 3257	Core Weight: 2	Total Weight: 2616
c core #235
c Core size: 3488	Core Weight: 1	Total Weight: 2617
c core #236
c Core size: 3444	Core Weight: 1	Total Weight: 2618
c core #237
c Core size: 3441	Core Weight: 1	Total Weight: 2619
c core #238
c Core size: 2453	Core Weight: 1	Total Weight: 2620
c core #239
c Core size: 2645	Core Weight: 1	Total Weight: 2621
c core #240
c Core size: 2999	Core Weight: 1	Total Weight: 2622
c core #241
c Core size: 3016	Core Weight: 1	Total Weight: 2623
c core #242
c Core size: 3025	Core Weight: 1	Total Weight: 2624
c core #243
c Core size: 3097	Core Weight: 1	Total Weight: 2625
c core #244
c Core size: 3096	Core Weight: 1	Total Weight: 2626
c core #245
c Core size: 1125	Core Weight: 1	Total Weight: 2627
c core #246
c Core size: 1414	Core Weight: 1	Total Weight: 2628
c core #247
c Core size: 1412	Core Weight: 1	Total Weight: 2629
c core #248
c Core size: 2102	Core Weight: 1	Total Weight: 2630
c core #249
c Core size: 2099	Core Weight: 1	Total Weight: 2631
c core #250
c Core size: 2542	Core Weight: 1	Total Weight: 2632
c core #251
c Core size: 2542	Core Weight: 2	Total Weight: 2634
c core #252
c Core size: 2187	Core Weight: 1	Total Weight: 2635
c core #253
c Core size: 2184	Core Weight: 1	Total Weight: 2636
c core #254
c Core size: 1797	Core Weight: 1	Total Weight: 2637
c core #255
c Core size: 1796	Core Weight: 1	Total Weight: 2638
c core #256
c Core size: 402	Core Weight: 1	Total Weight: 2639
c core #257
c Core size: 403	Core Weight: 1	Total Weight: 2640
c core #258
c Core size: 184	Core Weight: 1	Total Weight: 2641
c core #259
c Core size: 184	Core Weight: 1	Total Weight: 2642
c core #260
c Core size: 182	Core Weight: 1	Total Weight: 2643
c core #261
c Core size: 182	Core Weight: 1	Total Weight: 2644
c core #262
c Core size: 476	Core Weight: 1	Total Weight: 2645
c core #263
c Core size: 313	Core Weight: 1	Total Weight: 2646
c core #264
c Core size: 198	Core Weight: 1	Total Weight: 2647
c core #265
c Core size: 216	Core Weight: 1	Total Weight: 2648
c core #266
c Core size: 216	Core Weight: 1	Total Weight: 2649
c core #267
c Core size: 301	Core Weight: 1	Total Weight: 2650
c core #268
c Core size: 301	Core Weight: 1	Total Weight: 2651
c core #269
c Core size: 313	Core Weight: 1	Total Weight: 2652
c core #270
c Core size: 771	Core Weight: 1	Total Weight: 2653
c core #271
c Core size: 684	Core Weight: 1	Total Weight: 2654
c core #272
c Core size: 479	Core Weight: 1	Total Weight: 2655
c core #273
c Core size: 384	Core Weight: 1	Total Weight: 2656
c core #274
c Core size: 384	Core Weight: 1	Total Weight: 2657
c core #275
c Core size: 275	Core Weight: 1	Total Weight: 2658
c core #276
c Core size: 282	Core Weight: 1	Total Weight: 2659
c core #277
c Core size: 299	Core Weight: 1	Total Weight: 2660
c Learning 1 hard constraints
c core #278
c Core size: 1251	Core Weight: 1	Total Weight: 2661
c core #279
c Core size: 417	Core Weight: 1	Total Weight: 2662
c core #280
c Core size: 422	Core Weight: 1	Total Weight: 2663
c core #281
c Core size: 529	Core Weight: 1	Total Weight: 2664
c core #282
c Core size: 567	Core Weight: 1	Total Weight: 2665
c core #283
c Core size: 467	Core Weight: 1	Total Weight: 2666
c core #284
c Core size: 553	Core Weight: 1	Total Weight: 2667
c Learning 1 hard constraints
c core #285
c Core size: 1248	Core Weight: 1	Total Weight: 2668
c core #286
c Core size: 591	Core Weight: 1	Total Weight: 2669
c core #287
c Core size: 620	Core Weight: 1	Total Weight: 2670
c core #288
c Core size: 312	Core Weight: 1	Total Weight: 2671
c core #289
c Core size: 312	Core Weight: 1	Total Weight: 2672
c core #290
c Core size: 312	Core Weight: 1	Total Weight: 2673
c Learning 1 hard constraints
c core #291
c Core size: 310	Core Weight: 2	Total Weight: 2675
c core #292
c Core size: 310	Core Weight: 1	Total Weight: 2676
c core #293
c Core size: 1035	Core Weight: 1	Total Weight: 2677
c core #294
c Core size: 1175	Core Weight: 1	Total Weight: 2678
c core #295
c Core size: 689	Core Weight: 1	Total Weight: 2679
c core #296
c Core size: 1098	Core Weight: 1	Total Weight: 2680
c Learning 1 hard constraints
c core #297
c Core size: 1539	Core Weight: 1	Total Weight: 2681
c Learning 1 hard constraints
c core #298
c Core size: 762	Core Weight: 1	Total Weight: 2682
c core #299
c Core size: 1230	Core Weight: 1	Total Weight: 2683
c Learning 2 hard constraints
c core #300
c Core size: 746	Core Weight: 1	Total Weight: 2684
c Learning 1 hard constraints
c core #301
c Core size: 744	Core Weight: 1	Total Weight: 2685
c core #302
c Core size: 775	Core Weight: 1	Total Weight: 2686
c core #303
c Core size: 741	Core Weight: 1	Total Weight: 2687
c core #304
c Core size: 719	Core Weight: 1	Total Weight: 2688
c core #305
c Core size: 546	Core Weight: 1	Total Weight: 2689
c core #306
c Core size: 616	Core Weight: 1	Total Weight: 2690
c core #307
c Core size: 309	Core Weight: 2	Total Weight: 2692
c core #308
c Core size: 791	Core Weight: 1	Total Weight: 2693
c core #309
c Core size: 1822	Core Weight: 1	Total Weight: 2694
c core #310
c Core size: 535	Core Weight: 1	Total Weight: 2695
c core #311
c Core size: 989	Core Weight: 1	Total Weight: 2696
c core #312
c Core size: 527	Core Weight: 1	Total Weight: 2697
c core #313
c Core size: 398	Core Weight: 1	Total Weight: 2698
c core #314
c Core size: 1155	Core Weight: 1	Total Weight: 2699
c core #315
c Core size: 581	Core Weight: 1	Total Weight: 2700
c core #316
c Core size: 1464	Core Weight: 1	Total Weight: 2701
c core #317
c Core size: 706	Core Weight: 1	Total Weight: 2702
c core #318
c Core size: 613	Core Weight: 12	Total Weight: 2714
c Learning 1 hard constraints
c core #319
c Core size: 593	Core Weight: 1	Total Weight: 2715
c Learning 1 hard constraints
c core #320
c Core size: 613	Core Weight: 4	Total Weight: 2719
c core #321
c Core size: 628	Core Weight: 1	Total Weight: 2720
c core #322
c Core size: 472	Core Weight: 1	Total Weight: 2721
c core #323
c Core size: 544	Core Weight: 1	Total Weight: 2722
c core #324
c Core size: 802	Core Weight: 1	Total Weight: 2723
c core #325
c Core size: 1330	Core Weight: 1	Total Weight: 2724
c core #326
c Core size: 948	Core Weight: 1	Total Weight: 2725
c core #327
c Core size: 497	Core Weight: 1	Total Weight: 2726
c core #328
c Core size: 917	Core Weight: 1	Total Weight: 2727
c core #329
c Core size: 1058	Core Weight: 1	Total Weight: 2728
c core #330
c Core size: 607	Core Weight: 1	Total Weight: 2729
c Learning 1 hard constraints
c core #331
c Core size: 1246	Core Weight: 1	Total Weight: 2730
c core #332
c Core size: 1435	Core Weight: 1	Total Weight: 2731
c core #333
c Core size: 445	Core Weight: 1	Total Weight: 2732
c core #334
c Core size: 914	Core Weight: 1	Total Weight: 2733
c core #335
c Core size: 726	Core Weight: 1	Total Weight: 2734
c core #336
c Core size: 791	Core Weight: 1	Total Weight: 2735
c core #337
c Core size: 1579	Core Weight: 1	Total Weight: 2736
c core #338
c Core size: 1332	Core Weight: 1	Total Weight: 2737
c Learning 1 hard constraints
c core #339
c Core size: 1100	Core Weight: 1	Total Weight: 2738
c core #340
c Core size: 717	Core Weight: 1	Total Weight: 2739
c core #341
c Core size: 1254	Core Weight: 1	Total Weight: 2740
c core #342
c Core size: 1480	Core Weight: 1	Total Weight: 2741
c core #343
c Core size: 896	Core Weight: 1	Total Weight: 2742
c core #344
c Core size: 819	Core Weight: 1	Total Weight: 2743
c core #345
c Core size: 1352	Core Weight: 1	Total Weight: 2744
c core #346
c Core size: 1731	Core Weight: 1	Total Weight: 2745
c core #347
c Core size: 1532	Core Weight: 1	Total Weight: 2746
c core #348
c Core size: 1580	Core Weight: 1	Total Weight: 2747
c core #349
c Core size: 1902	Core Weight: 1	Total Weight: 2748
c core #350
c Core size: 1501	Core Weight: 1	Total Weight: 2749
c core #351
c Core size: 1553	Core Weight: 1	Total Weight: 2750
c core #352
c Core size: 1043	Core Weight: 1	Total Weight: 2751
c core #353
c Core size: 1594	Core Weight: 1	Total Weight: 2752
c Learning 1 hard constraints
c core #354
c Core size: 2919	Core Weight: 1	Total Weight: 2753
c core #355
c Core size: 636	Core Weight: 1	Total Weight: 2754
c Learning 1 hard constraints
c core #356
c Core size: 1267	Core Weight: 1	Total Weight: 2755
c core #357
c Core size: 961	Core Weight: 1	Total Weight: 2756
c core #358
c Core size: 1175	Core Weight: 1	Total Weight: 2757
c core #359
c Core size: 1059	Core Weight: 1	Total Weight: 2758
c Learning 1 hard constraints
c core #360
c Core size: 615	Core Weight: 1	Total Weight: 2759
c Learning 1 hard constraints
c core #361
c Core size: 1007	Core Weight: 1	Total Weight: 2760
c core #362
c Core size: 1428	Core Weight: 1	Total Weight: 2761
c Learning 1 hard constraints
c core #363
c Core size: 1035	Core Weight: 1	Total Weight: 2762
c core #364
c Core size: 919	Core Weight: 1	Total Weight: 2763
c core #365
c Core size: 2757	Core Weight: 1	Total Weight: 2764
c Learning 1 hard constraints
c core #366
c Core size: 629	Core Weight: 1	Total Weight: 2765
c core #367
c Core size: 1704	Core Weight: 1	Total Weight: 2766
c core #368
c Core size: 1547	Core Weight: 1	Total Weight: 2767
c Learning 1 hard constraints
c core #369
c Core size: 1934	Core Weight: 1	Total Weight: 2768
c Learning 5 hard constraints
c core #370
c Core size: 1312	Core Weight: 1	Total Weight: 2769
c core #371
c Core size: 1746	Core Weight: 1	Total Weight: 2770
c core #372
c Core size: 1480	Core Weight: 1	Total Weight: 2771
c core #373
c Core size: 1514	Core Weight: 1	Total Weight: 2772
c Learning 1 hard constraints
c core #374
c Core size: 1388	Core Weight: 1	Total Weight: 2773
c core #375
c Core size: 2543	Core Weight: 1	Total Weight: 2774
c core #376
c Core size: 1238	Core Weight: 1	Total Weight: 2775
c Learning 1 hard constraints
c core #377
c Core size: 2670	Core Weight: 1	Total Weight: 2776
c Learning 1 hard constraints
c core #378
c Core size: 1120	Core Weight: 1	Total Weight: 2777
c core #379
c Core size: 1183	Core Weight: 1	Total Weight: 2778
c core #380
c Core size: 904	Core Weight: 1	Total Weight: 2779
c core #381
c Core size: 2661	Core Weight: 1	Total Weight: 2780
c core #382
c Core size: 1705	Core Weight: 1	Total Weight: 2781
c core #383
c Core size: 1963	Core Weight: 1	Total Weight: 2782
c Learning 3 hard constraints
c core #384
c Core size: 2160	Core Weight: 1	Total Weight: 2783
c core #385
c Core size: 2631	Core Weight: 1	Total Weight: 2784
c core #386
c Core size: 1499	Core Weight: 1	Total Weight: 2785
c Learning 1 hard constraints
c core #387
c Core size: 2386	Core Weight: 1	Total Weight: 2786
c core #388
c Core size: 1222	Core Weight: 1	Total Weight: 2787
c core #389
c Core size: 1806	Core Weight: 1	Total Weight: 2788
c Learning 3 hard constraints
c core #390
c Core size: 2786	Core Weight: 1	Total Weight: 2789
c core #391
c Core size: 2251	Core Weight: 1	Total Weight: 2790
c core #392
c Core size: 915	Core Weight: 1	Total Weight: 2791
c core #393
c Core size: 2024	Core Weight: 1	Total Weight: 2792
c core #394
c Core size: 2292	Core Weight: 1	Total Weight: 2793
c core #395
c Core size: 2349	Core Weight: 1	Total Weight: 2794
c core #396
c Core size: 1364	Core Weight: 1	Total Weight: 2795
c core #397
c Core size: 2274	Core Weight: 1	Total Weight: 2796
c core #398
c Core size: 1082	Core Weight: 1	Total Weight: 2797
c core #399
c Core size: 1423	Core Weight: 1	Total Weight: 2798
c core #400
c Core size: 2578	Core Weight: 1	Total Weight: 2799
c Learning 1 hard constraints
c core #401
c Core size: 2921	Core Weight: 1	Total Weight: 2800
c core #402
c Core size: 3538	Core Weight: 1	Total Weight: 2801
c core #403
c Core size: 3729	Core Weight: 1	Total Weight: 2802
c Learning 1 hard constraints
c core #404
c Core size: 1286	Core Weight: 1	Total Weight: 2803
c core #405
c Core size: 1869	Core Weight: 1	Total Weight: 2804
c Learning 4 hard constraints
c core #406
c Core size: 2037	Core Weight: 1	Total Weight: 2805
c core #407
c Core size: 1735	Core Weight: 1	Total Weight: 2806
c core #408
c Core size: 4045	Core Weight: 1	Total Weight: 2807
c Learning 2 hard constraints
c core #409
c Core size: 2034	Core Weight: 1	Total Weight: 2808
c core #410
c Core size: 4800	Core Weight: 1	Total Weight: 2809
c Learning 2 hard constraints
c core #411
c Core size: 2792	Core Weight: 1	Total Weight: 2810
c core #412
c Core size: 2668	Core Weight: 1	Total Weight: 2811
c Learning 1 hard constraints
c core #413
c Core size: 3458	Core Weight: 1	Total Weight: 2812
c core #414
c Core size: 1489	Core Weight: 1	Total Weight: 2813
c Learning 3 hard constraints
c core #415
c Core size: 4368	Core Weight: 1	Total Weight: 2814
c Learning 1 hard constraints
c core #416
c Core size: 1480	Core Weight: 1	Total Weight: 2815
c Learning 1 hard constraints
c core #417
c Core size: 4342	Core Weight: 1	Total Weight: 2816
c core #418
c Core size: 4170	Core Weight: 1	Total Weight: 2817
c Learning 2 hard constraints
c core #419
c Core size: 4491	Core Weight: 1	Total Weight: 2818
c core #420
c Core size: 4119	Core Weight: 1	Total Weight: 2819
c Learning 2 hard constraints
c core #421
c Core size: 3735	Core Weight: 1	Total Weight: 2820
c core #422
c Core size: 4353	Core Weight: 1	Total Weight: 2821
c Learning 7 hard constraints
c core #423
c Core size: 4360	Core Weight: 1	Total Weight: 2822
c Learning 2 hard constraints
c core #424
c Core size: 2805	Core Weight: 1	Total Weight: 2823
c Learning 6 hard constraints
c core #425
c Core size: 3229	Core Weight: 1	Total Weight: 2824
c core #426
c Core size: 4703	Core Weight: 1	Total Weight: 2825
c Learning 2 hard constraints
c core #427
c Core size: 3487	Core Weight: 1	Total Weight: 2826
c Learning 7 hard constraints
c core #428
c Core size: 6257	Core Weight: 1	Total Weight: 2827
c core #429
c Core size: 6851	Core Weight: 1	Total Weight: 2828
c Learning 1 hard constraints
c core #430
c Core size: 3465	Core Weight: 1	Total Weight: 2829
c core #431
c Core size: 6739	Core Weight: 1	Total Weight: 2830
c Learning 6 hard constraints
c core #432
c Core size: 7224	Core Weight: 1	Total Weight: 2831
c Learning 3 hard constraints
c core #433
c Core size: 9870	Core Weight: 1	Total Weight: 2832
c Learning 6 hard constraints
c core #434
c Core size: 3388	Core Weight: 1	Total Weight: 2833
c Learning 2 hard constraints
c core #435
c Core size: 4245	Core Weight: 1	Total Weight: 2834
c Learning 1 hard constraints
c core #436
c Core size: 6923	Core Weight: 1	Total Weight: 2835
c Learning 5 hard constraints
c core #437
c Core size: 2565	Core Weight: 1	Total Weight: 2836
c Learning 2 hard constraints
c core #438
c Core size: 3215	Core Weight: 1	Total Weight: 2837
c Learning 7 hard constraints
c core #439
c Core size: 2641	Core Weight: 1	Total Weight: 2838
c Learning 4 hard constraints
c core #440
c Core size: 2283	Core Weight: 1	Total Weight: 2839
c Learning 4 hard constraints
c core #441
c Core size: 7549	Core Weight: 1	Total Weight: 2840
c Learning 5 hard constraints
c core #442
c Core size: 2202	Core Weight: 1	Total Weight: 2841
c Learning 3 hard constraints
c core #443
c Core size: 3302	Core Weight: 1	Total Weight: 2842
c Learning 1 hard constraints
c core #444
c Core size: 3988	Core Weight: 1	Total Weight: 2843
c core #445
c Core size: 2253	Core Weight: 1	Total Weight: 2844
c Learning 8 hard constraints
c core #446
c Core size: 7724	Core Weight: 1	Total Weight: 2845
c Learning 4 hard constraints
c core #447
c Core size: 2767	Core Weight: 1	Total Weight: 2846
c Learning 9 hard constraints
c core #448
c Core size: 3195	Core Weight: 1	Total Weight: 2847
c Learning 4 hard constraints
c core #449
c Core size: 8078	Core Weight: 1	Total Weight: 2848
143.669u 4.330s 2:28.42 99.7%	0+0k 0+0io 0pf+0w