Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_haplotyping-pedigrees_ped2.G.recomb10-0.10-8.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb10-0.10-8.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 18	Core Weight: 581	Total Weight: 593
c Current CPU time: 4.64429 s
c
c core #2
c 
c 
c Core size: 42	Core Weight: 581	Total Weight: 1174
c Current CPU time: 5.42018 s
c
c core #3
c 
c 
c Core size: 42	Core Weight: 581	Total Weight: 1755
c Current CPU time: 6.18806 s
c
c core #4
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 2336
c Current CPU time: 6.94594 s
c
c core #5
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 2917
c Current CPU time: 7.69383 s
c
c core #6
c 
c 
c Core size: 52	Core Weight: 581	Total Weight: 3498
c Current CPU time: 8.48571 s
c
c core #7
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 4079
c Current CPU time: 9.26359 s
c
c core #8
c 
c 
c Core size: 54	Core Weight: 581	Total Weight: 4660
c Current CPU time: 9.99848 s
c
c core #9
c 
c 
c Core size: 22	Core Weight: 581	Total Weight: 5241
c Current CPU time: 10.7904 s
c
c core #10
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 5822
c Current CPU time: 11.5462 s
c
c core #11
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 6403
c Current CPU time: 12.3131 s
c
c core #12
c 
c 
c Core size: 6	Core Weight: 581	Total Weight: 6984
c Current CPU time: 13.055 s
c
c core #13
c 
c 
c Core size: 14	Core Weight: 581	Total Weight: 7565
c Current CPU time: 13.8139 s
c
c core #14
c 
c 
c Core size: 10	Core Weight: 581	Total Weight: 8146
c Current CPU time: 14.5668 s
c
c core #15
c 
c 
c Core size: 6	Core Weight: 581	Total Weight: 8727
c Current CPU time: 15.3237 s
c
c core #16
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 9308
c Current CPU time: 16.0656 s
c
c core #17
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 9889
c Current CPU time: 16.8194 s
c
c core #18
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 10470
c Current CPU time: 17.5653 s
c
c core #19
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 11051
c Current CPU time: 18.3152 s
c
c core #20
c 
c 
c Core size: 42	Core Weight: 581	Total Weight: 11632
c Current CPU time: 19.0691 s
c
c core #21
c 
c 
c Core size: 26	Core Weight: 581	Total Weight: 12213
c Current CPU time: 19.836 s
c
c core #22
c 
c 
c Core size: 84	Core Weight: 581	Total Weight: 12794
c Current CPU time: 20.5929 s
c
c core #23
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 13375
c Current CPU time: 21.3718 s
c
c core #24
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 13956
c Current CPU time: 22.1106 s
c
c core #25
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 14537
c Current CPU time: 22.8495 s
c
c core #26
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 15118
c Current CPU time: 23.6014 s
c
c core #27
c 
c 
c Core size: 30	Core Weight: 581	Total Weight: 15699
c Current CPU time: 24.3323 s
c
c core #28
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 16280
c Current CPU time: 25.0802 s
c
c core #29
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 16861
c Current CPU time: 25.8281 s
c
c core #30
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 17442
c Current CPU time: 26.575 s
c
c core #31
c 
c 
c Core size: 10	Core Weight: 581	Total Weight: 18023
c Current CPU time: 27.3168 s
c
c core #32
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 18604
c Current CPU time: 28.0587 s
c
c core #33
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 19185
c Current CPU time: 28.8096 s
c
c core #34
c 
c 
c Core size: 38	Core Weight: 581	Total Weight: 19766
c Current CPU time: 29.5735 s
c
c core #35
c 
c 
c Core size: 10	Core Weight: 581	Total Weight: 20347
c Current CPU time: 30.3324 s
c
c core #36
c 
c 
c Core size: 22	Core Weight: 581	Total Weight: 20928
c Current CPU time: 31.0703 s
c
c core #37
c 
c 
c Core size: 22	Core Weight: 581	Total Weight: 21509
c Current CPU time: 31.8122 s
c
c core #38
c 
c 
c Core size: 22	Core Weight: 581	Total Weight: 22090
c Current CPU time: 32.56 s
c
c core #39
c 
c 
c Core size: 18	Core Weight: 581	Total Weight: 22671
c Current CPU time: 33.2979 s
c
c core #40
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 22672
c Current CPU time: 34.0358 s
c
c core #41
c 
c 
c Core size: 112	Core Weight: 1	Total Weight: 22673
c Current CPU time: 34.7827 s
c
c core #42
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 23254
c Current CPU time: 35.5496 s
c
c core #43
c 
c 
c Core size: 38	Core Weight: 580	Total Weight: 23834
c Current CPU time: 36.2915 s
c
c core #44
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 23835
c Current CPU time: 37.0554 s
c
c core #45
c 
c 
c Core size: 55	Core Weight: 580	Total Weight: 24415
c Current CPU time: 37.8133 s
c
c core #46
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 24416
c Current CPU time: 38.5791 s
c
c core #47
c 
c 
c Core size: 99	Core Weight: 1	Total Weight: 24417
c Current CPU time: 39.383 s
c
c core #48
c 
c 
c Core size: 188	Core Weight: 579	Total Weight: 24996
c Current CPU time: 40.1429 s
c
c core #49
c 
c 
c Core size: 52	Core Weight: 581	Total Weight: 25577
c Current CPU time: 40.9578 s
c
c core #50
c 
c 
c Core size: 66	Core Weight: 581	Total Weight: 26158
c Current CPU time: 41.7377 s
c
c core #51
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 26159
c Current CPU time: 42.5135 s
c
c core #52
c 
c 
c Core size: 25	Core Weight: 581	Total Weight: 26740
c Current CPU time: 43.2594 s
c
c core #53
c 
c 
c Core size: 92	Core Weight: 581	Total Weight: 27321
c Current CPU time: 44.0123 s
c
c core #54
c 
c 
c Core size: 84	Core Weight: 581	Total Weight: 27902
c Current CPU time: 44.8132 s
c
c core #55
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 28483
c Current CPU time: 45.6061 s
c
c core #56
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 28484
c Current CPU time: 46.364 s
c
c core #57
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 28485
c Current CPU time: 47.1108 s
c
c core #58
c 
c 
c Core size: 26	Core Weight: 581	Total Weight: 29066
c Current CPU time: 47.8767 s
c
c core #59
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 29647
c Current CPU time: 48.6546 s
c
c core #60
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 30228
c Current CPU time: 49.4165 s
c
c core #61
c 
c 
c Core size: 122	Core Weight: 581	Total Weight: 30809
c Current CPU time: 50.1724 s
c
c core #62
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 31390
c Current CPU time: 50.9653 s
c
c core #63
c 
c 
c Core size: 165	Core Weight: 581	Total Weight: 31971
c Current CPU time: 51.7461 s
c
c core #64
c 
c 
c Core size: 24	Core Weight: 580	Total Weight: 32551
c Current CPU time: 52.559 s
c
c core #65
c 
c 
c Core size: 44	Core Weight: 581	Total Weight: 33132
c Current CPU time: 53.3399 s
c
c core #66
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 33133
c Current CPU time: 54.1298 s
c
c core #67
c 
c 
c Core size: 80	Core Weight: 581	Total Weight: 33714
c Current CPU time: 54.9256 s
c
c core #68
c 
c 
c Core size: 52	Core Weight: 581	Total Weight: 34295
c Current CPU time: 55.7395 s
c
c core #69
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 34876
c Current CPU time: 56.5384 s
c
c core #70
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 34877
c Current CPU time: 57.2953 s
c
c core #71
c 
c 
c Core size: 33	Core Weight: 581	Total Weight: 35458
c Current CPU time: 58.0752 s
c
c core #72
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 36039
c Current CPU time: 58.8631 s
c
c core #73
c 
c 
c Core size: 44	Core Weight: 581	Total Weight: 36620
c Current CPU time: 59.6369 s
c
c core #74
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 36621
c Current CPU time: 60.4508 s
c
c core #75
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 36622
c Current CPU time: 61.2317 s
c
c core #76
c 
c 
c Core size: 169	Core Weight: 1	Total Weight: 36623
c Current CPU time: 62.0296 s
c
c core #77
c 
c 
c Core size: 156	Core Weight: 1	Total Weight: 36624
c Current CPU time: 62.8584 s
c
c core #78
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 37205
c Current CPU time: 63.6943 s
c
c core #79
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 37206
c Current CPU time: 64.4992 s
c
c core #80
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 37207
c Current CPU time: 65.3361 s
c
c core #81
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 37208
c Current CPU time: 66.1319 s
c
c core #82
c 
c 
c Core size: 28	Core Weight: 580	Total Weight: 37788
c Current CPU time: 66.9368 s
c
c core #83
c 
c 
c Core size: 166	Core Weight: 1	Total Weight: 37789
c Current CPU time: 67.7427 s
c
c core #84
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 37790
c Current CPU time: 68.6066 s
c
c core #85
c 
c 
c Core size: 55	Core Weight: 581	Total Weight: 38371
c Current CPU time: 69.4174 s
c
c core #86
c 
c 
c Core size: 74	Core Weight: 578	Total Weight: 38949
c Current CPU time: 70.2263 s
c
c core #87
c 
c 
c Core size: 78	Core Weight: 2	Total Weight: 38951
c Current CPU time: 71.0472 s
c
c core #88
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 38952
c Current CPU time: 71.8691 s
c
c core #89
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 39533
c Current CPU time: 72.7089 s
c
c core #90
c 
c 
c Core size: 163	Core Weight: 1	Total Weight: 39534
c Current CPU time: 73.5318 s
c
c core #91
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 39535
c Current CPU time: 74.3657 s
c
c core #92
c 
c 
c Core size: 104	Core Weight: 581	Total Weight: 40116
c Current CPU time: 75.1966 s
c
c core #93
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 40697
c Current CPU time: 76.0654 s
c
c core #94
c 
c 
c Core size: 100	Core Weight: 581	Total Weight: 41278
c Current CPU time: 76.9243 s
c
c core #95
c 
c 
c Core size: 31	Core Weight: 1	Total Weight: 41279
c Current CPU time: 77.7442 s
c
c core #96
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 41860
c Current CPU time: 78.5671 s
c
c core #97
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 41861
c Current CPU time: 79.3909 s
c
c core #98
c 
c 
c Core size: 104	Core Weight: 581	Total Weight: 42442
c Current CPU time: 80.2208 s
c
c core #99
c 
c 
c Core size: 32	Core Weight: 581	Total Weight: 43023
c Current CPU time: 81.0707 s
c
c core #100
c 
c 
c Core size: 359	Core Weight: 1	Total Weight: 43024
c Current CPU time: 81.9605 s
c
c core #101
c 
c 
c Core size: 169	Core Weight: 579	Total Weight: 43603
c Current CPU time: 82.8944 s
c
c core #102
c 
c 
c Core size: 263	Core Weight: 1	Total Weight: 43604
c Current CPU time: 83.8603 s
c
c core #103
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 43605
c Current CPU time: 84.7701 s
c
c core #104
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 43606
c Current CPU time: 85.625 s
c
c core #105
c 
c 
c Core size: 468	Core Weight: 1	Total Weight: 43607
c Current CPU time: 86.4589 s
c
c core #106
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 43608
c Current CPU time: 87.3767 s
c
c core #107
c 
c 
c Core size: 110	Core Weight: 1	Total Weight: 43609
c Current CPU time: 88.2696 s
c
c core #108
c 
c 
c Core size: 36	Core Weight: 580	Total Weight: 44189
c Current CPU time: 89.1534 s
c
c core #109
c 
c 
c Core size: 112	Core Weight: 581	Total Weight: 44770
c Current CPU time: 90.0163 s
c
c core #110
c 
c 
c Core size: 61	Core Weight: 581	Total Weight: 45351
c Current CPU time: 90.8912 s
c
c core #111
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 45352
c Current CPU time: 91.843 s
c
c core #112
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 45353
c Current CPU time: 92.8039 s
c
c core #113
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 45354
c Current CPU time: 93.7058 s
c
c core #114
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 45355
c Current CPU time: 94.6376 s
c
c core #115
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 45356
c Current CPU time: 95.5435 s
c
c core #116
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 45937
c Current CPU time: 96.4573 s
c
c core #117
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 45938
c Current CPU time: 97.3142 s
c
c core #118
c 
c 
c Core size: 28	Core Weight: 580	Total Weight: 46518
c Current CPU time: 98.1751 s
c
c core #119
c 
c 
c Core size: 104	Core Weight: 581	Total Weight: 47099
c Current CPU time: 99.0429 s
c
c core #120
c 
c 
c Core size: 176	Core Weight: 1	Total Weight: 47100
c Current CPU time: 100.002 s
c
c core #121
c 
c 
c Core size: 21	Core Weight: 581	Total Weight: 47681
c Current CPU time: 101.005 s
c
c core #122
c 
c 
c Core size: 107	Core Weight: 1	Total Weight: 47682
c Current CPU time: 101.927 s
c
c core #123
c 
c 
c Core size: 60	Core Weight: 581	Total Weight: 48263
c Current CPU time: 102.914 s
c
c core #124
c 
c 
c Core size: 291	Core Weight: 1	Total Weight: 48264
c Current CPU time: 103.841 s
c
c core #125
c 
c 
c Core size: 114	Core Weight: 579	Total Weight: 48843
c Current CPU time: 104.818 s
c
c core #126
c 
c 
c Core size: 48	Core Weight: 581	Total Weight: 49424
c Current CPU time: 105.79 s
c
c core #127
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 49425
c Current CPU time: 106.785 s
c
c core #128
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 50006
c Current CPU time: 107.694 s
c
c core #129
c 
c 
c Core size: 590	Core Weight: 1	Total Weight: 50007
c Current CPU time: 108.815 s
c
c core #130
c 
c 
c Core size: 251	Core Weight: 1	Total Weight: 50008
c Current CPU time: 109.84 s
c
c core #131
c 
c 
c Core size: 131	Core Weight: 1	Total Weight: 50009
c Current CPU time: 110.909 s
c
c core #132
c 
c 
c Core size: 182	Core Weight: 1	Total Weight: 50010
c Current CPU time: 112.017 s
c
c core #133
c 
c 
c Core size: 390	Core Weight: 1	Total Weight: 50011
c Current CPU time: 113.01 s
c
c core #134
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 50012
c Current CPU time: 114.092 s
c
c core #135
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 50593
c Current CPU time: 115.033 s
c
c core #136
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 50594
c Current CPU time: 116.076 s
c
c core #137
c 
c 
c Core size: 409	Core Weight: 1	Total Weight: 50595
c Current CPU time: 117.106 s
c
c core #138
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 50596
c Current CPU time: 118.114 s
c
c core #139
c 
c 
c Core size: 148	Core Weight: 581	Total Weight: 51177
c Current CPU time: 119.08 s
c
c core #140
c 
c 
c Core size: 294	Core Weight: 1	Total Weight: 51178
c Current CPU time: 120.125 s
c
c core #141
c 
c 
c Core size: 242	Core Weight: 1	Total Weight: 51179
c Current CPU time: 121.245 s
c
c core #142
c 
c 
c Core size: 211	Core Weight: 1	Total Weight: 51180
c Current CPU time: 122.355 s
c
c core #143
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 51181
c Current CPU time: 123.529 s
c
c core #144
c 
c 
c Core size: 33	Core Weight: 581	Total Weight: 51762
c Current CPU time: 124.564 s
c
c core #145
c 
c 
c Core size: 504	Core Weight: 1	Total Weight: 51763
c Current CPU time: 125.694 s
c
c core #146
c 
c 
c Core size: 255	Core Weight: 1	Total Weight: 51764
c Current CPU time: 126.886 s
c
c core #147
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 51765
c Current CPU time: 127.916 s
c
c core #148
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 52346
c Current CPU time: 129.255 s
c
c core #149
c 
c 
c Core size: 46	Core Weight: 581	Total Weight: 52927
c Current CPU time: 130.321 s
c
c core #150
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 52928
c Current CPU time: 131.303 s
c
c core #151
c 
c 
c Core size: 162	Core Weight: 1	Total Weight: 52929
c Current CPU time: 132.327 s
c
c core #152
c 
c 
c Core size: 227	Core Weight: 1	Total Weight: 52930
c Current CPU time: 133.397 s
c
c core #153
c 
c 
c Core size: 191	Core Weight: 1	Total Weight: 52931
c Current CPU time: 134.622 s
c
c core #154
c 
c 
c Core size: 699	Core Weight: 1	Total Weight: 52932
c Current CPU time: 136.406 s
c
c core #155
c 
c 
c Core size: 69	Core Weight: 581	Total Weight: 53513
c Current CPU time: 137.878 s
c
c core #156
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 53514
c Current CPU time: 138.921 s
c
c core #157
c 
c 
c Core size: 275	Core Weight: 1	Total Weight: 53515
c Current CPU time: 140.296 s
c
c core #158
c 
c 
c Core size: 30	Core Weight: 581	Total Weight: 54096
c Current CPU time: 141.643 s
c
c core #159
c 
c 
c Core size: 120	Core Weight: 1	Total Weight: 54097
c Current CPU time: 142.807 s
c
c core #160
c 
c 
c Core size: 535	Core Weight: 1	Total Weight: 54098
c Current CPU time: 144.255 s
c
c core #161
c 
c 
c Core size: 107	Core Weight: 1	Total Weight: 54099
c Current CPU time: 145.704 s
c
c core #162
c 
c 
c Core size: 205	Core Weight: 1	Total Weight: 54100
c Current CPU time: 147.362 s
c
c core #163
c 
c 
c Core size: 322	Core Weight: 1	Total Weight: 54101
c Current CPU time: 148.591 s
c
c core #164
c 
c 
c Core size: 417	Core Weight: 1	Total Weight: 54102
c Current CPU time: 149.826 s
c
c core #165
c 
c 
c Core size: 522	Core Weight: 1	Total Weight: 54103
c Current CPU time: 151.813 s
c
c core #166
c 
c 
c Core size: 1191	Core Weight: 1	Total Weight: 54104
c Current CPU time: 155.123 s
c
c core #167
c 
c 
c Core size: 62	Core Weight: 580	Total Weight: 54684
c Current CPU time: 156.547 s
c
c core #168
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 54685
c Current CPU time: 157.829 s
c
c core #169
c 
c 
c Core size: 145	Core Weight: 1	Total Weight: 54686
c Current CPU time: 159.132 s
c
c core #170
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 54687
c Current CPU time: 160.642 s
c
c core #171
c 
c 
c Core size: 192	Core Weight: 1	Total Weight: 54688
c Current CPU time: 162.09 s
c
c core #172
c 
c 
c Core size: 210	Core Weight: 1	Total Weight: 54689
c Current CPU time: 163.445 s
c
c core #173
c 
c 
c Core size: 1054	Core Weight: 1	Total Weight: 54690
c Current CPU time: 165.86 s
c
c core #174
c 
c 
c Core size: 298	Core Weight: 1	Total Weight: 54691
c Current CPU time: 167.546 s
c
c core #175
c 
c 
c Core size: 317	Core Weight: 1	Total Weight: 54692
c Current CPU time: 170.085 s
c
c core #176
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 54693
c Current CPU time: 172.04 s
c
c core #177
c 
c 
c Core size: 514	Core Weight: 1	Total Weight: 54694
c Current CPU time: 176.203 s
c
c core #178
c 
c 
c Core size: 1385	Core Weight: 1	Total Weight: 54695
c Current CPU time: 179.408 s
c
c core #179
c 
c 
c Core size: 945	Core Weight: 1	Total Weight: 54696
c Current CPU time: 184.481 s
c
c core #180
c 
c 
c Core size: 1174	Core Weight: 1	Total Weight: 54697
c Current CPU time: 187.98 s
c
c core #181
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 54698
c Current CPU time: 189.194 s
c
c core #182
c 
c 
c Core size: 1147	Core Weight: 1	Total Weight: 54699
c Current CPU time: 192.173 s
c
c core #183
c 
c 
c Core size: 2480	Core Weight: 1	Total Weight: 54700
c Current CPU time: 203.891 s
c
c core #184
c 
c 
c Core size: 1559	Core Weight: 1	Total Weight: 54701
c Current CPU time: 208.518 s
c
c core #185
c 
c 
c Core size: 332	Core Weight: 1	Total Weight: 54702
c Current CPU time: 221.104 s
c
c core #186
c 
c 
c Core size: 173	Core Weight: 1	Total Weight: 54703
c Current CPU time: 223.799 s
c
c core #187
c 
c 
c Core size: 2846	Core Weight: 1	Total Weight: 54704
c Current CPU time: 270.039 s
c
c core #188
c 
c 
c Core size: 2019	Core Weight: 1	Total Weight: 54705
c Current CPU time: 279.71 s
c
c core #189
c 
c 
c Core size: 372	Core Weight: 1	Total Weight: 54706
c Current CPU time: 343.661 s
c
c core #190
c 
c 
c Core size: 1276	Core Weight: 1	Total Weight: 54707
c Current CPU time: 346.953 s
c
c core #191
c 
c 
c Core size: 232	Core Weight: 1	Total Weight: 54708
c Current CPU time: 352.909 s
c
c core #192
c 
c 
c Core size: 3454	Core Weight: 1	Total Weight: 54709
c Current CPU time: 415.433 s
c
c core #193
c 
c 
c Core size: 4327	Core Weight: 1	Total Weight: 54710
c Current CPU time: 493.235 s
c
c core #194
c 
c 
c Core size: 179	Core Weight: 581	Total Weight: 55291
c Current CPU time: 553.743 s
c