Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_auctions_auc-paths_cat_paths_60_160_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0000.txt.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 3	Core Weight: 572	Total Weight: 572
c Current CPU time: 0.004999 s
c
c core #2
c 
c 
c Core size: 3	Core Weight: 572	Total Weight: 1144
c Current CPU time: 0.005999 s
c
c core #3
c 
c 
c Core size: 3	Core Weight: 170	Total Weight: 1314
c Current CPU time: 0.006998 s
c
c core #4
c 
c 
c Core size: 3	Core Weight: 906	Total Weight: 2220
c Current CPU time: 0.007998 s
c
c core #5
c 
c 
c Core size: 3	Core Weight: 906	Total Weight: 3126
c Current CPU time: 0.008998 s
c
c core #6
c 
c 
c Core size: 3	Core Weight: 906	Total Weight: 4032
c Current CPU time: 0.009998 s
c
c core #7
c 
c 
c Core size: 3	Core Weight: 604	Total Weight: 4636
c Current CPU time: 0.010998 s
c
c core #8
c 
c 
c Core size: 3	Core Weight: 134	Total Weight: 4770
c Current CPU time: 0.011998 s
c
c core #9
c 
c 
c Core size: 3	Core Weight: 618	Total Weight: 5388
c Current CPU time: 0.012998 s
c
c core #10
c 
c 
c Core size: 3	Core Weight: 172	Total Weight: 5560
c Current CPU time: 0.013997 s
c
c core #11
c 
c 
c Core size: 3	Core Weight: 790	Total Weight: 6350
c Current CPU time: 0.014997 s
c
c core #12
c 
c 
c Core size: 3	Core Weight: 656	Total Weight: 7006
c Current CPU time: 0.016997 s
c
c core #13
c 
c 
c Core size: 3	Core Weight: 134	Total Weight: 7140
c Current CPU time: 0.017997 s
c
c core #14
c 
c 
c Core size: 3	Core Weight: 656	Total Weight: 7796
c Current CPU time: 0.018997 s
c
c core #15
c 
c 
c Core size: 3	Core Weight: 590	Total Weight: 8386
c Current CPU time: 0.019996 s
c
c core #16
c 
c 
c Core size: 3	Core Weight: 573	Total Weight: 8959
c Current CPU time: 0.020996 s
c
c core #17
c 
c 
c Core size: 3	Core Weight: 56	Total Weight: 9015
c Current CPU time: 0.022996 s
c
c core #18
c 
c 
c Core size: 3	Core Weight: 799	Total Weight: 9814
c Current CPU time: 0.023996 s
c
c core #19
c 
c 
c Core size: 3	Core Weight: 573	Total Weight: 10387
c Current CPU time: 0.024996 s
c
c core #20
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 10388
c Current CPU time: 0.025996 s
c
c core #21
c 
c 
c Core size: 3	Core Weight: 517	Total Weight: 10905
c Current CPU time: 0.027995 s
c
c core #22
c 
c 
c Core size: 3	Core Weight: 55	Total Weight: 10960
c Current CPU time: 0.028995 s
c
c core #23
c 
c 
c Core size: 3	Core Weight: 403	Total Weight: 11363
c Current CPU time: 0.029995 s
c
c core #24
c 
c 
c Core size: 3	Core Weight: 483	Total Weight: 11846
c Current CPU time: 0.030995 s
c
c core #25
c 
c 
c Core size: 3	Core Weight: 538	Total Weight: 12384
c Current CPU time: 0.031995 s
c
c core #26
c 
c 
c Core size: 3	Core Weight: 55	Total Weight: 12439
c Current CPU time: 0.033994 s
c
c core #27
c 
c 
c Core size: 3	Core Weight: 457	Total Weight: 12896
c Current CPU time: 0.034994 s
c
c core #28
c 
c 
c Core size: 3	Core Weight: 433	Total Weight: 13329
c Current CPU time: 0.035994 s
c
c core #29
c 
c 
c Core size: 3	Core Weight: 378	Total Weight: 13707
c Current CPU time: 0.036994 s
c
c core #30
c 
c 
c Core size: 3	Core Weight: 290	Total Weight: 13997
c Current CPU time: 0.038994 s
c
c core #31
c 
c 
c Core size: 3	Core Weight: 290	Total Weight: 14287
c Current CPU time: 0.039993 s
c
c core #32
c 
c 
c Core size: 3	Core Weight: 973	Total Weight: 15260
c Current CPU time: 0.040993 s
c
c core #33
c 
c 
c Core size: 3	Core Weight: 123	Total Weight: 15383
c Current CPU time: 0.042993 s
c
c core #34
c 
c 
c Core size: 3	Core Weight: 1052	Total Weight: 16435
c Current CPU time: 0.043993 s
c
c core #35
c 
c 
c Core size: 3	Core Weight: 953	Total Weight: 17388
c Current CPU time: 0.044993 s
c
c core #36
c 
c 
c Core size: 3	Core Weight: 99	Total Weight: 17487
c Current CPU time: 0.045993 s
c
c core #37
c 
c 
c Core size: 3	Core Weight: 396	Total Weight: 17883
c Current CPU time: 0.047992 s
c
c core #38
c 
c 
c Core size: 3	Core Weight: 656	Total Weight: 18539
c Current CPU time: 0.048992 s
c
c core #39
c 
c 
c Core size: 3	Core Weight: 1052	Total Weight: 19591
c Current CPU time: 0.049992 s
c
c core #40
c 
c 
c Core size: 3	Core Weight: 189	Total Weight: 19780
c Current CPU time: 0.051992 s
c
c core #41
c 
c 
c Core size: 3	Core Weight: 657	Total Weight: 20437
c Current CPU time: 0.052991 s
c
c core #42
c 
c 
c Core size: 3	Core Weight: 403	Total Weight: 20840
c Current CPU time: 0.053991 s
c
c core #43
c 
c 
c Core size: 3	Core Weight: 485	Total Weight: 21325
c Current CPU time: 0.054991 s
c
c core #44
c 
c 
c Core size: 3	Core Weight: 1060	Total Weight: 22385
c Current CPU time: 0.056991 s
c
c core #45
c 
c 
c Core size: 3	Core Weight: 202	Total Weight: 22587
c Current CPU time: 0.057991 s
c
c core #46
c 
c 
c Core size: 3	Core Weight: 167	Total Weight: 22754
c Current CPU time: 0.05999 s
c
c core #47
c 
c 
c Core size: 3	Core Weight: 281	Total Weight: 23035
c Current CPU time: 0.06099 s
c
c core #48
c 
c 
c Core size: 3	Core Weight: 154	Total Weight: 23189
c Current CPU time: 0.06199 s
c
c core #49
c 
c 
c Core size: 3	Core Weight: 799	Total Weight: 23988
c Current CPU time: 0.06399 s
c
c core #50
c 
c 
c Core size: 3	Core Weight: 154	Total Weight: 24142
c Current CPU time: 0.06499 s
c
c core #51
c 
c 
c Core size: 3	Core Weight: 9	Total Weight: 24151
c Current CPU time: 0.065989 s
c
c core #52
c 
c 
c Core size: 3	Core Weight: 989	Total Weight: 25140
c Current CPU time: 0.067989 s
c
c core #53
c 
c 
c Core size: 3	Core Weight: 504	Total Weight: 25644
c Current CPU time: 0.068989 s
c
c core #54
c 
c 
c Core size: 3	Core Weight: 416	Total Weight: 26060
c Current CPU time: 0.069989 s
c
c core #55
c 
c 
c Core size: 3	Core Weight: 140	Total Weight: 26200
c Current CPU time: 0.071989 s
c
c core #56
c 
c 
c Core size: 3	Core Weight: 432	Total Weight: 26632
c Current CPU time: 0.072988 s
c
c core #57
c 
c 
c Core size: 3	Core Weight: 136	Total Weight: 26768
c Current CPU time: 0.073988 s
c
c core #58
c 
c 
c Core size: 3	Core Weight: 961	Total Weight: 27729
c Current CPU time: 0.075988 s
c
c core #59
c 
c 
c Core size: 3	Core Weight: 274	Total Weight: 28003
c Current CPU time: 0.077988 s
c
c core #60
c 
c 
c Core size: 3	Core Weight: 696	Total Weight: 28699
c Current CPU time: 0.079987 s
c
c core #61
c 
c 
c Core size: 3	Core Weight: 9	Total Weight: 28708
c Current CPU time: 0.080987 s
c
c core #62
c 
c 
c Core size: 3	Core Weight: 781	Total Weight: 29489
c Current CPU time: 0.082987 s
c
c core #63
c 
c 
c Core size: 3	Core Weight: 443	Total Weight: 29932
c Current CPU time: 0.083987 s
c
c core #64
c 
c 
c Core size: 3	Core Weight: 136	Total Weight: 30068
c Current CPU time: 0.085986 s
c
c core #65
c 
c 
c Core size: 3	Core Weight: 709	Total Weight: 30777
c Current CPU time: 0.086986 s
c
c core #66
c 
c 
c Core size: 3	Core Weight: 56	Total Weight: 30833
c Current CPU time: 0.087986 s
c
c core #67
c 
c 
c Core size: 3	Core Weight: 69	Total Weight: 30902
c Current CPU time: 0.089986 s
c
c core #68
c 
c 
c Core size: 3	Core Weight: 640	Total Weight: 31542
c Current CPU time: 0.090986 s
c
c core #69
c 
c 
c Core size: 3	Core Weight: 653	Total Weight: 32195
c Current CPU time: 0.092985 s
c
c core #70
c 
c 
c Core size: 3	Core Weight: 708	Total Weight: 32903
c Current CPU time: 0.093985 s
c
c core #71
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 32904
c Current CPU time: 0.095985 s
c
c core #72
c 
c 
c Core size: 3	Core Weight: 753	Total Weight: 33657
c Current CPU time: 0.096985 s
c
c core #73
c 
c 
c Core size: 3	Core Weight: 167	Total Weight: 33824
c Current CPU time: 0.098984 s
c
c core #74
c 
c 
c Core size: 3	Core Weight: 280	Total Weight: 34104
c Current CPU time: 0.099984 s
c
c core #75
c 
c 
c Core size: 3	Core Weight: 640	Total Weight: 34744
c Current CPU time: 0.101984 s
c
c core #76
c 
c 
c Core size: 3	Core Weight: 113	Total Weight: 34857
c Current CPU time: 0.102984 s
c
c core #77
c 
c 
c Core size: 3	Core Weight: 314	Total Weight: 35171
c Current CPU time: 0.104984 s
c
c core #78
c 
c 
c Core size: 3	Core Weight: 456	Total Weight: 35627
c Current CPU time: 0.106983 s
c
c core #79
c 
c 
c Core size: 3	Core Weight: 181	Total Weight: 35808
c Current CPU time: 0.107983 s
c
c core #80
c 
c 
c Core size: 3	Core Weight: 271	Total Weight: 36079
c Current CPU time: 0.109983 s
c
c core #81
c 
c 
c Core size: 3	Core Weight: 1233	Total Weight: 37312
c Current CPU time: 0.110983 s
c
c core #82
c 
c 
c Core size: 3	Core Weight: 638	Total Weight: 37950
c Current CPU time: 0.112982 s
c
c core #83
c 
c 
c Core size: 3	Core Weight: 762	Total Weight: 38712
c Current CPU time: 0.114982 s
c
c core #84
c 
c 
c Core size: 3	Core Weight: 71	Total Weight: 38783
c Current CPU time: 0.115982 s
c
c core #85
c 
c 
c Core size: 3	Core Weight: 265	Total Weight: 39048
c Current CPU time: 0.117982 s
c
c core #86
c 
c 
c Core size: 3	Core Weight: 63	Total Weight: 39111
c Current CPU time: 0.118981 s
c
c core #87
c 
c 
c Core size: 3	Core Weight: 124	Total Weight: 39235
c Current CPU time: 0.120981 s
c
c core #88
c 
c 
c Core size: 3	Core Weight: 638	Total Weight: 39873
c Current CPU time: 0.121981 s
c
c core #89
c 
c 
c Core size: 3	Core Weight: 124	Total Weight: 39997
c Current CPU time: 0.123981 s
c
c core #90
c 
c 
c Core size: 3	Core Weight: 106	Total Weight: 40103
c Current CPU time: 0.12598 s
c
c core #91
c 
c 
c Core size: 3	Core Weight: 104	Total Weight: 40207
c Current CPU time: 0.12698 s
c
c core #92
c 
c 
c Core size: 3	Core Weight: 480	Total Weight: 40687
c Current CPU time: 0.12898 s
c
c core #93
c 
c 
c Core size: 3	Core Weight: 708	Total Weight: 41395
c Current CPU time: 0.12998 s
c
c core #94
c 
c 
c Core size: 3	Core Weight: 55	Total Weight: 41450
c Current CPU time: 0.131979 s
c
c core #95
c 
c 
c Core size: 3	Core Weight: 966	Total Weight: 42416
c Current CPU time: 0.133979 s
c
c core #96
c 
c 
c Core size: 3	Core Weight: 895	Total Weight: 43311
c Current CPU time: 0.134979 s
c
c core #97
c 
c 
c Core size: 3	Core Weight: 71	Total Weight: 43382
c Current CPU time: 0.136979 s
c
c core #98
c 
c 
c Core size: 3	Core Weight: 415	Total Weight: 43797
c Current CPU time: 0.138978 s
c
c core #99
c 
c 
c Core size: 3	Core Weight: 953	Total Weight: 44750
c Current CPU time: 0.139978 s
c
c core #100
c 
c 
c Core size: 3	Core Weight: 62	Total Weight: 44812
c Current CPU time: 0.141978 s
c
c core #101
c 
c 
c Core size: 3	Core Weight: 560	Total Weight: 45372
c Current CPU time: 0.143978 s
c
c core #102
c 
c 
c Core size: 3	Core Weight: 324	Total Weight: 45696
c Current CPU time: 0.144977 s
c
c core #103
c 
c 
c Core size: 3	Core Weight: 315	Total Weight: 46011
c Current CPU time: 0.146977 s
c
c core #104
c 
c 
c Core size: 3	Core Weight: 616	Total Weight: 46627
c Current CPU time: 0.148977 s
c
c core #105
c 
c 
c Core size: 3	Core Weight: 41	Total Weight: 46668
c Current CPU time: 0.149977 s
c
c core #106
c 
c 
c Core size: 3	Core Weight: 199	Total Weight: 46867
c Current CPU time: 0.151976 s
c
c core #107
c 
c 
c Core size: 3	Core Weight: 531	Total Weight: 47398
c Current CPU time: 0.153976 s
c
c core #108
c 
c 
c Core size: 3	Core Weight: 494	Total Weight: 47892
c Current CPU time: 0.154976 s
c
c core #109
c 
c 
c Core size: 3	Core Weight: 671	Total Weight: 48563
c Current CPU time: 0.156976 s
c
c core #110
c 
c 
c Core size: 3	Core Weight: 531	Total Weight: 49094
c Current CPU time: 0.158975 s
c
c core #111
c 
c 
c Core size: 3	Core Weight: 509	Total Weight: 49603
c Current CPU time: 0.159975 s
c
c core #112
c 
c 
c Core size: 3	Core Weight: 743	Total Weight: 50346
c Current CPU time: 0.161975 s
c
c core #113
c 
c 
c Core size: 3	Core Weight: 743	Total Weight: 51089
c Current CPU time: 0.163975 s
c
c core #114
c 
c 
c Core size: 3	Core Weight: 328	Total Weight: 51417
c Current CPU time: 0.165974 s
c
c core #115
c 
c 
c Core size: 3	Core Weight: 125	Total Weight: 51542
c Current CPU time: 0.166974 s
c
c core #116
c 
c 
c Core size: 3	Core Weight: 408	Total Weight: 51950
c Current CPU time: 0.168974 s
c
c core #117
c 
c 
c Core size: 3	Core Weight: 408	Total Weight: 52358
c Current CPU time: 0.170974 s
c
c core #118
c 
c 
c Core size: 3	Core Weight: 1104	Total Weight: 53462
c Current CPU time: 0.171973 s
c
c core #119
c 
c 
c Core size: 3	Core Weight: 856	Total Weight: 54318
c Current CPU time: 0.173973 s
c
c core #120
c 
c 
c Core size: 3	Core Weight: 906	Total Weight: 55224
c Current CPU time: 0.175973 s
c
c core #121
c 
c 
c Core size: 3	Core Weight: 498	Total Weight: 55722
c Current CPU time: 0.176973 s
c
c core #122
c 
c 
c Core size: 3	Core Weight: 436	Total Weight: 56158
c Current CPU time: 0.178972 s
c
c core #123
c 
c 
c Core size: 3	Core Weight: 236	Total Weight: 56394
c Current CPU time: 0.179972 s
c
c core #124
c 
c 
c Core size: 3	Core Weight: 183	Total Weight: 56577
c Current CPU time: 0.181972 s
c
c core #125
c 
c 
c Core size: 3	Core Weight: 507	Total Weight: 57084
c Current CPU time: 0.183972 s
c
c core #126
c 
c 
c Core size: 3	Core Weight: 419	Total Weight: 57503
c Current CPU time: 0.185971 s
c
c core #127
c 
c 
c Core size: 3	Core Weight: 820	Total Weight: 58323
c Current CPU time: 0.187971 s
c
c core #128
c 
c 
c Core size: 3	Core Weight: 106	Total Weight: 58429
c Current CPU time: 0.188971 s
c
c core #129
c 
c 
c Core size: 3	Core Weight: 52	Total Weight: 58481
c Current CPU time: 0.19097 s
c
c core #130
c 
c 
c Core size: 3	Core Weight: 248	Total Weight: 58729
c Current CPU time: 0.19297 s
c
c core #131
c 
c 
c Core size: 3	Core Weight: 628	Total Weight: 59357
c Current CPU time: 0.19497 s
c
c core #132
c 
c 
c Core size: 3	Core Weight: 522	Total Weight: 59879
c Current CPU time: 0.19697 s
c
c core #133
c 
c 
c Core size: 3	Core Weight: 6	Total Weight: 59885
c Current CPU time: 0.198969 s
c
c core #134
c 
c 
c Core size: 3	Core Weight: 351	Total Weight: 60236
c Current CPU time: 0.199969 s
c
c core #135
c 
c 
c Core size: 3	Core Weight: 119	Total Weight: 60355
c Current CPU time: 0.201969 s
c
c core #136
c 
c 
c Core size: 3	Core Weight: 73	Total Weight: 60428
c Current CPU time: 0.204968 s
c
c core #137
c 
c 
c Core size: 3	Core Weight: 550	Total Weight: 60978
c Current CPU time: 0.206968 s
c
c core #138
c 
c 
c Core size: 3	Core Weight: 436	Total Weight: 61414
c Current CPU time: 0.208968 s
c
c core #139
c 
c 
c Core size: 3	Core Weight: 97	Total Weight: 61511
c Current CPU time: 0.210967 s
c
c core #140
c 
c 
c Core size: 3	Core Weight: 690	Total Weight: 62201
c Current CPU time: 0.212967 s
c
c core #141
c 
c 
c Core size: 3	Core Weight: 97	Total Weight: 62298
c Current CPU time: 0.214967 s
c
c core #142
c 
c 
c Core size: 3	Core Weight: 304	Total Weight: 62602
c Current CPU time: 0.216967 s
c
c core #143
c 
c 
c Core size: 10	Core Weight: 516	Total Weight: 63118
c Current CPU time: 0.218966 s
c
c core #144
c 
c 
c Core size: 6	Core Weight: 73	Total Weight: 63191
c Current CPU time: 0.219966 s
c
c core #145
c 
c 
c Core size: 10	Core Weight: 172	Total Weight: 63363
c Current CPU time: 0.221966 s
c
c core #146
c 
c 
c Core size: 10	Core Weight: 134	Total Weight: 63497
c Current CPU time: 0.223965 s
c
c core #147
c 
c 
c Core size: 10	Core Weight: 484	Total Weight: 63981
c Current CPU time: 0.225965 s
c
c core #148
c 
c 
c Core size: 10	Core Weight: 38	Total Weight: 64019
c Current CPU time: 0.227965 s
c
c core #149
c 
c 
c Core size: 6	Core Weight: 505	Total Weight: 64524
c Current CPU time: 0.229965 s
c
c core #150
c 
c 
c Core size: 6	Core Weight: 212	Total Weight: 64736
c Current CPU time: 0.231964 s
c
c core #151
c 
c 
c Core size: 10	Core Weight: 99	Total Weight: 64835
c Current CPU time: 0.234964 s
c
c core #152
c 
c 
c Core size: 6	Core Weight: 38	Total Weight: 64873
c Current CPU time: 0.236963 s
c
c core #153
c 
c 
c Core size: 10	Core Weight: 103	Total Weight: 64976
c Current CPU time: 0.238963 s
c
c core #154
c 
c 
c Core size: 8	Core Weight: 56	Total Weight: 65032
c Current CPU time: 0.240963 s
c
c core #155
c 
c 
c Core size: 10	Core Weight: 517	Total Weight: 65549
c Current CPU time: 0.243962 s
c
c core #156
c 
c 
c Core size: 10	Core Weight: 55	Total Weight: 65604
c Current CPU time: 0.246962 s
c
c core #157
c 
c 
c Core size: 10	Core Weight: 278	Total Weight: 65882
c Current CPU time: 0.248962 s
c
c core #158
c 
c 
c Core size: 10	Core Weight: 55	Total Weight: 65937
c Current CPU time: 0.251961 s
c
c core #159
c 
c 
c Core size: 10	Core Weight: 115	Total Weight: 66052
c Current CPU time: 0.253961 s
c
c core #160
c 
c 
c Core size: 10	Core Weight: 35	Total Weight: 66087
c Current CPU time: 0.25696 s
c
c core #161
c 
c 
c Core size: 10	Core Weight: 56	Total Weight: 66143
c Current CPU time: 0.25896 s
c
c core #162
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 66144
c Current CPU time: 0.26196 s
c
c core #163
c 
c 
c Core size: 10	Core Weight: 145	Total Weight: 66289
c Current CPU time: 0.263959 s
c
c core #164
c 
c 
c Core size: 10	Core Weight: 26	Total Weight: 66315
c Current CPU time: 0.266959 s
c
c core #165
c 
c 
c Core size: 9	Core Weight: 110	Total Weight: 66425
c Current CPU time: 0.269958 s
c
c core #166
c 
c 
c Core size: 9	Core Weight: 26	Total Weight: 66451
c Current CPU time: 0.272958 s
c
c core #167
c 
c 
c Core size: 10	Core Weight: 114	Total Weight: 66565
c Current CPU time: 0.274958 s
c
c core #168
c 
c 
c Core size: 10	Core Weight: 56	Total Weight: 66621
c Current CPU time: 0.277957 s
c
c core #169
c 
c 
c Core size: 10	Core Weight: 110	Total Weight: 66731
c Current CPU time: 0.280957 s
c
c core #170
c 
c 
c Core size: 9	Core Weight: 280	Total Weight: 67011
c Current CPU time: 0.282956 s
c
c core #171
c 
c 
c Core size: 9	Core Weight: 9	Total Weight: 67020
c Current CPU time: 0.284956 s
c
c core #172
c 
c 
c Core size: 9	Core Weight: 199	Total Weight: 67219
c Current CPU time: 0.287956 s
c
c core #173
c 
c 
c Core size: 9	Core Weight: 189	Total Weight: 67408
c Current CPU time: 0.290955 s
c
c core #174
c 
c 
c Core size: 9	Core Weight: 136	Total Weight: 67544
c Current CPU time: 0.293955 s
c
c core #175
c 
c 
c Core size: 9	Core Weight: 56	Total Weight: 67600
c Current CPU time: 0.296954 s
c
c core #176
c 
c 
c Core size: 9	Core Weight: 69	Total Weight: 67669
c Current CPU time: 0.299954 s
c
c core #177
c 
c 
c Core size: 10	Core Weight: 360	Total Weight: 68029
c Current CPU time: 0.303953 s
c
c core #178
c 
c 
c Core size: 8	Core Weight: 65	Total Weight: 68094
c Current CPU time: 0.305953 s
c
c core #179
c 
c 
c Core size: 9	Core Weight: 106	Total Weight: 68200
c Current CPU time: 0.308953 s
c
c core #180
c 
c 
c Core size: 9	Core Weight: 113	Total Weight: 68313
c Current CPU time: 0.311952 s
c
c core #181
c 
c 
c Core size: 10	Core Weight: 54	Total Weight: 68367
c Current CPU time: 0.313952 s
c
c core #182
c 
c 
c Core size: 9	Core Weight: 73	Total Weight: 68440
c Current CPU time: 0.317951 s
c
c core #183
c 
c 
c Core size: 9	Core Weight: 40	Total Weight: 68480
c Current CPU time: 0.319951 s
c
c core #184
c 
c 
c Core size: 9	Core Weight: 181	Total Weight: 68661
c Current CPU time: 0.32395 s
c
c core #185
c 
c 
c Core size: 10	Core Weight: 10	Total Weight: 68671
c Current CPU time: 0.32595 s
c
c core #186
c 
c 
c Core size: 8	Core Weight: 68	Total Weight: 68739
c Current CPU time: 0.328949 s
c
c core #187
c 
c 
c Core size: 9	Core Weight: 71	Total Weight: 68810
c Current CPU time: 0.331949 s
c
c core #188
c 
c 
c Core size: 8	Core Weight: 186	Total Weight: 68996
c Current CPU time: 0.334949 s
c
c core #189
c 
c 
c Core size: 9	Core Weight: 124	Total Weight: 69120
c Current CPU time: 0.337948 s
c
c core #190
c 
c 
c Core size: 9	Core Weight: 124	Total Weight: 69244
c Current CPU time: 0.340948 s
c
c core #191
c 
c 
c Core size: 9	Core Weight: 62	Total Weight: 69306
c Current CPU time: 0.343947 s
c
c core #192
c 
c 
c Core size: 10	Core Weight: 193	Total Weight: 69499
c Current CPU time: 0.346947 s
c
c core #193
c 
c 
c Core size: 9	Core Weight: 55	Total Weight: 69554
c Current CPU time: 0.349946 s
c
c core #194
c 
c 
c Core size: 10	Core Weight: 252	Total Weight: 69806
c Current CPU time: 0.353946 s
c
c core #195
c 
c 
c Core size: 9	Core Weight: 26	Total Weight: 69832
c Current CPU time: 0.355945 s
c
c core #196
c 
c 
c Core size: 9	Core Weight: 99	Total Weight: 69931
c Current CPU time: 0.358945 s
c
c core #197
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 69932
c Current CPU time: 0.361944 s
c
c core #198
c 
c 
c Core size: 8	Core Weight: 236	Total Weight: 70168
c Current CPU time: 0.364944 s
c
c core #199
c 
c 
c Core size: 10	Core Weight: 356	Total Weight: 70524
c Current CPU time: 0.368943 s
c
c core #200
c 
c 
c Core size: 10	Core Weight: 301	Total Weight: 70825
c Current CPU time: 0.370943 s
c
c core #201
c 
c 
c Core size: 9	Core Weight: 403	Total Weight: 71228
c Current CPU time: 0.373943 s
c
c core #202
c 
c 
c Core size: 9	Core Weight: 128	Total Weight: 71356
c Current CPU time: 0.376942 s
c
c core #203
c 
c 
c Core size: 9	Core Weight: 436	Total Weight: 71792
c Current CPU time: 0.379942 s
c
c core #204
c 
c 
c Core size: 10	Core Weight: 566	Total Weight: 72358
c Current CPU time: 0.383941 s
c
c core #205
c 
c 
c Core size: 9	Core Weight: 125	Total Weight: 72483
c Current CPU time: 0.385941 s
c
c core #206
c 
c 
c Core size: 9	Core Weight: 123	Total Weight: 72606
c Current CPU time: 0.38894 s
c
c core #207
c 
c 
c Core size: 9	Core Weight: 408	Total Weight: 73014
c Current CPU time: 0.39194 s
c
c core #208
c 
c 
c Core size: 8	Core Weight: 733	Total Weight: 73747
c Current CPU time: 0.395939 s
c
c core #209
c 
c 
c Core size: 10	Core Weight: 351	Total Weight: 74098
c Current CPU time: 0.398939 s
c
c core #210
c 
c 
c Core size: 10	Core Weight: 95	Total Weight: 74193
c Current CPU time: 0.402938 s
c
c core #211
c 
c 
c Core size: 14	Core Weight: 55	Total Weight: 74248
c Current CPU time: 0.405938 s
c
c core #212
c 
c 
c Core size: 10	Core Weight: 66	Total Weight: 74314
c Current CPU time: 0.409937 s
c
c core #213
c 
c 
c Core size: 10	Core Weight: 168	Total Weight: 74482
c Current CPU time: 0.412937 s
c
c core #214
c 
c 
c Core size: 10	Core Weight: 7	Total Weight: 74489
c Current CPU time: 0.416936 s
c
c core #215
c 
c 
c Core size: 9	Core Weight: 49	Total Weight: 74538
c Current CPU time: 0.419936 s
c
c core #216
c 
c 
c Core size: 8	Core Weight: 485	Total Weight: 75023
c Current CPU time: 0.423935 s
c
c core #217
c 
c 
c Core size: 9	Core Weight: 48	Total Weight: 75071
c Current CPU time: 0.427934 s
c
c core #218
c 
c 
c Core size: 8	Core Weight: 67	Total Weight: 75138
c Current CPU time: 0.430934 s
c
c core #219
c 
c 
c Core size: 12	Core Weight: 73	Total Weight: 75211
c Current CPU time: 0.433934 s
c
c core #220
c 
c 
c Core size: 10	Core Weight: 436	Total Weight: 75647
c Current CPU time: 0.436933 s
c
c core #221
c 
c 
c Core size: 10	Core Weight: 171	Total Weight: 75818
c Current CPU time: 0.440932 s
c
c core #222
c 
c 
c Core size: 9	Core Weight: 97	Total Weight: 75915
c Current CPU time: 0.444932 s
c
c core #223
c 
c 
c Core size: 10	Core Weight: 110	Total Weight: 76025
c Current CPU time: 0.447931 s
c
c core #224
c 
c 
c Core size: 9	Core Weight: 6	Total Weight: 76031
c Current CPU time: 0.451931 s
c
c core #225
c 
c 
c Core size: 9	Core Weight: 37	Total Weight: 76068
c Current CPU time: 0.45593 s
c
c core #226
c 
c 
c Core size: 10	Core Weight: 44	Total Weight: 76112
c Current CPU time: 0.45893 s
c
c core #227
c 
c 
c Core size: 10	Core Weight: 140	Total Weight: 76252
c Current CPU time: 0.462929 s
c
c core #228
c 
c 
c Core size: 10	Core Weight: 337	Total Weight: 76589
c Current CPU time: 0.466929 s
c
c core #229
c 
c 
c Core size: 8	Core Weight: 519	Total Weight: 77108
c Current CPU time: 0.469928 s
c
c core #230
c 
c 
c Core size: 10	Core Weight: 164	Total Weight: 77272
c Current CPU time: 0.473927 s
c
c core #231
c 
c 
c Core size: 12	Core Weight: 43	Total Weight: 77315
c Current CPU time: 0.476927 s
c
c core #232
c 
c 
c Core size: 10	Core Weight: 90	Total Weight: 77405
c Current CPU time: 0.480926 s
c
c core #233
c 
c 
c Core size: 10	Core Weight: 157	Total Weight: 77562
c Current CPU time: 0.483926 s
c
c core #234
c 
c 
c Core size: 8	Core Weight: 239	Total Weight: 77801
c Current CPU time: 0.486925 s
c
c core #235
c 
c 
c Core size: 10	Core Weight: 167	Total Weight: 77968
c Current CPU time: 0.491925 s
c
c core #236
c 
c 
c Core size: 8	Core Weight: 86	Total Weight: 78054
c Current CPU time: 0.494924 s
c
c core #237
c 
c 
c Core size: 10	Core Weight: 19	Total Weight: 78073
c Current CPU time: 0.497924 s
c
c core #238
c 
c 
c Core size: 10	Core Weight: 700	Total Weight: 78773
c Current CPU time: 0.501923 s
c
c core #239
c 
c 
c Core size: 8	Core Weight: 560	Total Weight: 79333
c Current CPU time: 0.505923 s
c
c core #240
c 
c 
c Core size: 8	Core Weight: 70	Total Weight: 79403
c Current CPU time: 0.508922 s
c
c core #241
c 
c 
c Core size: 12	Core Weight: 79	Total Weight: 79482
c Current CPU time: 0.512922 s
c
c core #242
c 
c 
c Core size: 15	Core Weight: 21	Total Weight: 79503
c Current CPU time: 0.517921 s
c
c core #243
c 
c 
c Core size: 10	Core Weight: 39	Total Weight: 79542
c Current CPU time: 0.52292 s
c
c core #244
c 
c 
c Core size: 15	Core Weight: 172	Total Weight: 79714
c Current CPU time: 0.526919 s
c
c core #245
c 
c 
c Core size: 10	Core Weight: 52	Total Weight: 79766
c Current CPU time: 0.530919 s
c
c core #246
c 
c 
c Core size: 17	Core Weight: 107	Total Weight: 79873
c Current CPU time: 0.534918 s
c
c core #247
c 
c 
c Core size: 9	Core Weight: 49	Total Weight: 79922
c Current CPU time: 0.538918 s
c
c core #248
c 
c 
c Core size: 11	Core Weight: 154	Total Weight: 80076
c Current CPU time: 0.542917 s
c
c core #249
c 
c 
c Core size: 14	Core Weight: 87	Total Weight: 80163
c Current CPU time: 0.547916 s
c
c core #250
c 
c 
c Core size: 10	Core Weight: 392	Total Weight: 80555
c Current CPU time: 0.551916 s
c
c core #251
c 
c 
c Core size: 19	Core Weight: 49	Total Weight: 80604
c Current CPU time: 0.555915 s
c
c core #252
c 
c 
c Core size: 13	Core Weight: 183	Total Weight: 80787
c Current CPU time: 0.559914 s
c
c core #253
c 
c 
c Core size: 12	Core Weight: 4	Total Weight: 80791
c Current CPU time: 0.564914 s
c
c core #254
c 
c 
c Core size: 14	Core Weight: 151	Total Weight: 80942
c Current CPU time: 0.568913 s
c
c core #255
c 
c 
c Core size: 10	Core Weight: 90	Total Weight: 81032
c Current CPU time: 0.571913 s
c
c core #256
c 
c 
c Core size: 8	Core Weight: 34	Total Weight: 81066
c Current CPU time: 0.575912 s
c
c core #257
c 
c 
c Core size: 16	Core Weight: 69	Total Weight: 81135
c Current CPU time: 0.580911 s
c
c core #258
c 
c 
c Core size: 10	Core Weight: 41	Total Weight: 81176
c Current CPU time: 0.584911 s
c
c core #259
c 
c 
c Core size: 8	Core Weight: 445	Total Weight: 81621
c Current CPU time: 0.58891 s
c
c core #260
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 81622
c Current CPU time: 0.592909 s
c
c core #261
c 
c 
c Core size: 14	Core Weight: 16	Total Weight: 81638
c Current CPU time: 0.596909 s
c
c core #262
c 
c 
c Core size: 8	Core Weight: 298	Total Weight: 81936
c Current CPU time: 0.601908 s
c
c core #263
c 
c 
c Core size: 16	Core Weight: 6	Total Weight: 81942
c Current CPU time: 0.606907 s
c
c core #264
c 
c 
c Core size: 14	Core Weight: 247	Total Weight: 82189
c Current CPU time: 0.610907 s
c
c core #265
c 
c 
c Core size: 13	Core Weight: 5	Total Weight: 82194
c Current CPU time: 0.614906 s
c
c core #266
c 
c 
c Core size: 12	Core Weight: 280	Total Weight: 82474
c Current CPU time: 0.619905 s
c
c core #267
c 
c 
c Core size: 10	Core Weight: 90	Total Weight: 82564
c Current CPU time: 0.623905 s
c
c core #268
c 
c 
c Core size: 10	Core Weight: 106	Total Weight: 82670
c Current CPU time: 0.628904 s
c
c core #269
c 
c 
c Core size: 14	Core Weight: 26	Total Weight: 82696
c Current CPU time: 0.633903 s
c
c core #270
c 
c 
c Core size: 21	Core Weight: 40	Total Weight: 82736
c Current CPU time: 0.638902 s
c
c core #271
c 
c 
c Core size: 14	Core Weight: 38	Total Weight: 82774
c Current CPU time: 0.643902 s
c
c core #272
c 
c 
c Core size: 13	Core Weight: 24	Total Weight: 82798
c Current CPU time: 0.648901 s
c
c core #273
c 
c 
c Core size: 11	Core Weight: 57	Total Weight: 82855
c Current CPU time: 0.6529 s
c
c core #274
c 
c 
c Core size: 16	Core Weight: 3	Total Weight: 82858
c Current CPU time: 0.6569 s
c
c core #275
c 
c 
c Core size: 9	Core Weight: 9	Total Weight: 82867
c Current CPU time: 0.660899 s
c
c core #276
c 
c 
c Core size: 10	Core Weight: 139	Total Weight: 83006
c Current CPU time: 0.665898 s
c
c core #277
c 
c 
c Core size: 12	Core Weight: 261	Total Weight: 83267
c Current CPU time: 0.670898 s
c
c core #278
c 
c 
c Core size: 18	Core Weight: 12	Total Weight: 83279
c Current CPU time: 0.674897 s
c
c core #279
c 
c 
c Core size: 16	Core Weight: 239	Total Weight: 83518
c Current CPU time: 0.679896 s
c
c core #280
c 
c 
c Core size: 18	Core Weight: 26	Total Weight: 83544
c Current CPU time: 0.683896 s
c
c core #281
c 
c 
c Core size: 8	Core Weight: 103	Total Weight: 83647
c Current CPU time: 0.688895 s
c
c core #282
c 
c 
c Core size: 10	Core Weight: 212	Total Weight: 83859
c Current CPU time: 0.693894 s
c
c core #283
c 
c 
c Core size: 10	Core Weight: 71	Total Weight: 83930
c Current CPU time: 0.699893 s
c
c core #284
c 
c 
c Core size: 19	Core Weight: 63	Total Weight: 83993
c Current CPU time: 0.704892 s
c
c core #285
c 
c 
c Core size: 13	Core Weight: 56	Total Weight: 84049
c Current CPU time: 0.708892 s
c
c core #286
c 
c 
c Core size: 8	Core Weight: 546	Total Weight: 84595
c Current CPU time: 0.713891 s
c
c core #287
c 
c 
c Core size: 30	Core Weight: 9	Total Weight: 84604
c Current CPU time: 0.71889 s
c
c core #288
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 84605
c Current CPU time: 0.72289 s
c
c core #289
c 
c 
c Core size: 19	Core Weight: 28	Total Weight: 84633
c Current CPU time: 0.728889 s
c
c core #290
c 
c 
c Core size: 22	Core Weight: 55	Total Weight: 84688
c Current CPU time: 0.733888 s
c
c core #291
c 
c 
c Core size: 17	Core Weight: 32	Total Weight: 84720
c Current CPU time: 0.739887 s
c
c core #292
c 
c 
c Core size: 16	Core Weight: 16	Total Weight: 84736
c Current CPU time: 0.743886 s
c
c core #293
c 
c 
c Core size: 14	Core Weight: 90	Total Weight: 84826
c Current CPU time: 0.748886 s
c
c core #294
c 
c 
c Core size: 21	Core Weight: 26	Total Weight: 84852
c Current CPU time: 0.754885 s
c
c core #295
c 
c 
c Core size: 13	Core Weight: 7	Total Weight: 84859
c Current CPU time: 0.760884 s
c
c core #296
c 
c 
c Core size: 13	Core Weight: 101	Total Weight: 84960
c Current CPU time: 0.765883 s
c
c core #297
c 
c 
c Core size: 17	Core Weight: 68	Total Weight: 85028
c Current CPU time: 0.770882 s
c
c core #298
c 
c 
c Core size: 18	Core Weight: 4	Total Weight: 85032
c Current CPU time: 0.774882 s
c
c core #299
c 
c 
c Core size: 24	Core Weight: 8	Total Weight: 85040
c Current CPU time: 0.781881 s
c
c core #300
c 
c 
c Core size: 17	Core Weight: 2	Total Weight: 85042
c Current CPU time: 0.78788 s
c
c core #301
c 
c 
c Core size: 25	Core Weight: 33	Total Weight: 85075
c Current CPU time: 0.792879 s
c
c core #302
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 85076
c Current CPU time: 0.799878 s
c
c core #303
c 
c 
c Core size: 12	Core Weight: 322	Total Weight: 85398
c Current CPU time: 0.803877 s
c
c core #304
c 
c 
c Core size: 16	Core Weight: 90	Total Weight: 85488
c Current CPU time: 0.808877 s
c
c core #305
c 
c 
c Core size: 26	Core Weight: 7	Total Weight: 85495
c Current CPU time: 0.814876 s
c
c core #306
c 
c 
c Core size: 14	Core Weight: 33	Total Weight: 85528
c Current CPU time: 0.820875 s
c
c core #307
c 
c 
c Core size: 38	Core Weight: 2	Total Weight: 85530
c Current CPU time: 0.826874 s
c
c core #308
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 85531
c Current CPU time: 0.832873 s
c
c core #309
c 
c 
c Core size: 28	Core Weight: 39	Total Weight: 85570
c Current CPU time: 0.838872 s
c
c core #310
c 
c 
c Core size: 21	Core Weight: 9	Total Weight: 85579
c Current CPU time: 0.845871 s
c
c core #311
c 
c 
c Core size: 25	Core Weight: 10	Total Weight: 85589
c Current CPU time: 0.85187 s
c
c core #312
c 
c 
c Core size: 22	Core Weight: 7	Total Weight: 85596
c Current CPU time: 0.857869 s
c
c core #313
c 
c 
c Core size: 13	Core Weight: 114	Total Weight: 85710
c Current CPU time: 0.863868 s
c
c core #314
c 
c 
c Core size: 22	Core Weight: 38	Total Weight: 85748
c Current CPU time: 0.870867 s
c
c core #315
c 
c 
c Core size: 25	Core Weight: 4	Total Weight: 85752
c Current CPU time: 0.877866 s
c
c core #316
c 
c 
c Core size: 35	Core Weight: 28	Total Weight: 85780
c Current CPU time: 0.884865 s
c
c core #317
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 85781
c Current CPU time: 0.890864 s
c
c core #318
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 85782
c Current CPU time: 0.896863 s
c
c core #319
c 
c 
c Core size: 20	Core Weight: 64	Total Weight: 85846
c Current CPU time: 0.902862 s
c
c core #320
c 
c 
c Core size: 36	Core Weight: 100	Total Weight: 85946
c Current CPU time: 0.909861 s
c
c core #321
c 
c 
c Core size: 18	Core Weight: 68	Total Weight: 86014
c Current CPU time: 0.91586 s
c
c core #322
c 
c 
c Core size: 30	Core Weight: 13	Total Weight: 86027
c Current CPU time: 0.922859 s
c
c core #323
c 
c 
c Core size: 16	Core Weight: 96	Total Weight: 86123
c Current CPU time: 0.927858 s
c
c core #324
c 
c 
c Core size: 21	Core Weight: 28	Total Weight: 86151
c Current CPU time: 0.934857 s
c
c core #325
c 
c 
c Core size: 22	Core Weight: 17	Total Weight: 86168
c Current CPU time: 0.941856 s
c
c core #326
c 
c 
c Core size: 26	Core Weight: 7	Total Weight: 86175
c Current CPU time: 0.948855 s
c
c core #327
c 
c 
c Core size: 27	Core Weight: 7	Total Weight: 86182
c Current CPU time: 0.953854 s
c
c core #328
c 
c 
c Core size: 25	Core Weight: 12	Total Weight: 86194
c Current CPU time: 0.961853 s
c
c core #329
c 
c 
c Core size: 29	Core Weight: 40	Total Weight: 86234
c Current CPU time: 0.968852 s
c
c core #330
c 
c 
c Core size: 22	Core Weight: 3	Total Weight: 86237
c Current CPU time: 0.975851 s
c
c core #331
c 
c 
c Core size: 22	Core Weight: 16	Total Weight: 86253
c Current CPU time: 0.98385 s
c
c core #332
c 
c 
c Core size: 23	Core Weight: 26	Total Weight: 86279
c Current CPU time: 0.989849 s
c
c core #333
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 86280
c Current CPU time: 0.996848 s
c
c core #334
c 
c 
c Core size: 40	Core Weight: 19	Total Weight: 86299
c Current CPU time: 1.00485 s
c
c core #335
c 
c 
c Core size: 30	Core Weight: 18	Total Weight: 86317
c Current CPU time: 1.01185 s
c
c core #336
c 
c 
c Core size: 24	Core Weight: 7	Total Weight: 86324
c Current CPU time: 1.01984 s
c
c core #337
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 86325
c Current CPU time: 1.02784 s
c
c core #338
c 
c 
c Core size: 36	Core Weight: 3	Total Weight: 86328
c Current CPU time: 1.03584 s
c
c core #339
c 
c 
c Core size: 22	Core Weight: 12	Total Weight: 86340
c Current CPU time: 1.04384 s
c
c core #340
c 
c 
c Core size: 28	Core Weight: 65	Total Weight: 86405
c Current CPU time: 1.05184 s
c
c core #341
c 
c 
c Core size: 32	Core Weight: 20	Total Weight: 86425
c Current CPU time: 1.06084 s
c
c core #342
c 
c 
c Core size: 24	Core Weight: 55	Total Weight: 86480
c Current CPU time: 1.06884 s
c
c core #343
c 
c 
c Core size: 41	Core Weight: 53	Total Weight: 86533
c Current CPU time: 1.07784 s
c
c core #344
c 
c 
c Core size: 47	Core Weight: 2	Total Weight: 86535
c Current CPU time: 1.08683 s
c
c core #345
c 
c 
c Core size: 32	Core Weight: 22	Total Weight: 86557
c Current CPU time: 1.09583 s
c
c core #346
c 
c 
c Core size: 17	Core Weight: 56	Total Weight: 86613
c Current CPU time: 1.10283 s
c
c core #347
c 
c 
c Core size: 38	Core Weight: 2	Total Weight: 86615
c Current CPU time: 1.11083 s
c
c core #348
c 
c 
c Core size: 24	Core Weight: 82	Total Weight: 86697
c Current CPU time: 1.11883 s
c
c core #349
c 
c 
c Core size: 32	Core Weight: 68	Total Weight: 86765
c Current CPU time: 1.12783 s
c
c core #350
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 86766
c Current CPU time: 1.13683 s
c
c core #351
c 
c 
c Core size: 33	Core Weight: 26	Total Weight: 86792
c Current CPU time: 1.14583 s
c
c core #352
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 86793
c Current CPU time: 1.15482 s
c
c core #353
c 
c 
c Core size: 42	Core Weight: 8	Total Weight: 86801
c Current CPU time: 1.16482 s
c
c core #354
c 
c 
c Core size: 31	Core Weight: 4	Total Weight: 86805
c Current CPU time: 1.17382 s
c
c core #355
c 
c 
c Core size: 31	Core Weight: 32	Total Weight: 86837
c Current CPU time: 1.18382 s
c
c core #356
c 
c 
c Core size: 30	Core Weight: 19	Total Weight: 86856
c Current CPU time: 1.19282 s
c
c core #357
c 
c 
c Core size: 43	Core Weight: 2	Total Weight: 86858
c Current CPU time: 1.20282 s
c
c core #358
c 
c 
c Core size: 19	Core Weight: 49	Total Weight: 86907
c Current CPU time: 1.21182 s
c
c core #359
c 
c 
c Core size: 31	Core Weight: 1	Total Weight: 86908
c Current CPU time: 1.22081 s
c
c core #360
c 
c 
c Core size: 35	Core Weight: 26	Total Weight: 86934
c Current CPU time: 1.23081 s
c
c core #361
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 86935
c Current CPU time: 1.23981 s
c
c core #362
c 
c 
c Core size: 26	Core Weight: 6	Total Weight: 86941
c Current CPU time: 1.24781 s
c
c core #363
c 
c 
c Core size: 21	Core Weight: 23	Total Weight: 86964
c Current CPU time: 1.25781 s
c
c core #364
c 
c 
c Core size: 21	Core Weight: 21	Total Weight: 86985
c Current CPU time: 1.26781 s
c
c core #365
c 
c 
c Core size: 29	Core Weight: 15	Total Weight: 87000
c Current CPU time: 1.27781 s
c
c core #366
c 
c 
c Core size: 22	Core Weight: 26	Total Weight: 87026
c Current CPU time: 1.2868 s
c
c core #367
c 
c 
c Core size: 37	Core Weight: 16	Total Weight: 87042
c Current CPU time: 1.2978 s
c
c core #368
c 
c 
c Core size: 28	Core Weight: 9	Total Weight: 87051
c Current CPU time: 1.3058 s
c
c core #369
c 
c 
c Core size: 30	Core Weight: 17	Total Weight: 87068
c Current CPU time: 1.3168 s
c
c core #370
c 
c 
c Core size: 36	Core Weight: 28	Total Weight: 87096
c Current CPU time: 1.3258 s
c
c core #371
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 87097
c Current CPU time: 1.3368 s
c
c core #372
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 87098
c Current CPU time: 1.3478 s
c
c core #373
c 
c 
c Core size: 21	Core Weight: 14	Total Weight: 87112
c Current CPU time: 1.35779 s
c
c core #374
c 
c 
c Core size: 18	Core Weight: 103	Total Weight: 87215
c Current CPU time: 1.36679 s
c
c core #375
c 
c 
c Core size: 12	Core Weight: 94	Total Weight: 87309
c Current CPU time: 1.37579 s
c
c core #376
c 
c 
c Core size: 23	Core Weight: 7	Total Weight: 87316
c Current CPU time: 1.38579 s
c
c core #377
c 
c 
c Core size: 25	Core Weight: 3	Total Weight: 87319
c Current CPU time: 1.39579 s
c
c core #378
c 
c 
c Core size: 31	Core Weight: 5	Total Weight: 87324
c Current CPU time: 1.40679 s
c
c core #379
c 
c 
c Core size: 15	Core Weight: 49	Total Weight: 87373
c Current CPU time: 1.41678 s
c
c core #380
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 87374
c Current CPU time: 1.42778 s
c
c core #381
c 
c 
c Core size: 33	Core Weight: 28	Total Weight: 87402
c Current CPU time: 1.43778 s
c
c core #382
c 
c 
c Core size: 22	Core Weight: 42	Total Weight: 87444
c Current CPU time: 1.44878 s
c
c core #383
c 
c 
c Core size: 34	Core Weight: 2	Total Weight: 87446
c Current CPU time: 1.46078 s
c
c core #384
c 
c 
c Core size: 32	Core Weight: 27	Total Weight: 87473
c Current CPU time: 1.47278 s
c
c core #385
c 
c 
c Core size: 21	Core Weight: 21	Total Weight: 87494
c Current CPU time: 1.48277 s
c
c core #386
c 
c 
c Core size: 51	Core Weight: 2	Total Weight: 87496
c Current CPU time: 1.49277 s
c
c core #387
c 
c 
c Core size: 27	Core Weight: 7	Total Weight: 87503
c Current CPU time: 1.50477 s
c
c core #388
c 
c 
c Core size: 29	Core Weight: 2	Total Weight: 87505
c Current CPU time: 1.51477 s
c
c core #389
c 
c 
c Core size: 29	Core Weight: 7	Total Weight: 87512
c Current CPU time: 1.52477 s
c
c core #390
c 
c 
c Core size: 35	Core Weight: 14	Total Weight: 87526
c Current CPU time: 1.53577 s
c
c core #391
c 
c 
c Core size: 25	Core Weight: 10	Total Weight: 87536
c Current CPU time: 1.54776 s
c
c core #392
c 
c 
c Core size: 17	Core Weight: 154	Total Weight: 87690
c Current CPU time: 1.55776 s
c
c core #393
c 
c 
c Core size: 24	Core Weight: 22	Total Weight: 87712
c Current CPU time: 1.56876 s
c
c core #394
c 
c 
c Core size: 43	Core Weight: 4	Total Weight: 87716
c Current CPU time: 1.57976 s
c
c core #395
c 
c 
c Core size: 27	Core Weight: 14	Total Weight: 87730
c Current CPU time: 1.59276 s
c
c core #396
c 
c 
c Core size: 28	Core Weight: 6	Total Weight: 87736
c Current CPU time: 1.60476 s
c
c core #397
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 87737
c Current CPU time: 1.61775 s
c
c core #398
c 
c 
c Core size: 28	Core Weight: 56	Total Weight: 87793
c Current CPU time: 1.62975 s
c
c core #399
c 
c 
c Core size: 32	Core Weight: 6	Total Weight: 87799
c Current CPU time: 1.64075 s
c
c core #400
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 87800
c Current CPU time: 1.65475 s
c
c core #401
c 
c 
c Core size: 32	Core Weight: 38	Total Weight: 87838
c Current CPU time: 1.66675 s
c
c core #402
c 
c 
c Core size: 20	Core Weight: 26	Total Weight: 87864
c Current CPU time: 1.67874 s
c
c core #403
c 
c 
c Core size: 38	Core Weight: 3	Total Weight: 87867
c Current CPU time: 1.69174 s
c
c core #404
c 
c 
c Core size: 26	Core Weight: 10	Total Weight: 87877
c Current CPU time: 1.70374 s
c
c core #405
c 
c 
c Core size: 63	Core Weight: 2	Total Weight: 87879
c Current CPU time: 1.71774 s
c
c core #406
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 87880
c Current CPU time: 1.73174 s
c
c core #407
c 
c 
c Core size: 40	Core Weight: 2	Total Weight: 87882
c Current CPU time: 1.74573 s
c
c core #408
c 
c 
c Core size: 26	Core Weight: 23	Total Weight: 87905
c Current CPU time: 1.75773 s
c
c core #409
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 87906
c Current CPU time: 1.77173 s
c
c core #410
c 
c 
c Core size: 35	Core Weight: 2	Total Weight: 87908
c Current CPU time: 1.78573 s
c
c core #411
c 
c 
c Core size: 23	Core Weight: 13	Total Weight: 87921
c Current CPU time: 1.79773 s
c
c core #412
c 
c 
c Core size: 33	Core Weight: 15	Total Weight: 87936
c Current CPU time: 1.80972 s
c
c core #413
c 
c 
c Core size: 29	Core Weight: 7	Total Weight: 87943
c Current CPU time: 1.82172 s
c
c core #414
c 
c 
c Core size: 34	Core Weight: 49	Total Weight: 87992
c Current CPU time: 1.83472 s
c
c core #415
c 
c 
c Core size: 26	Core Weight: 29	Total Weight: 88021
c Current CPU time: 1.84772 s
c
c core #416
c 
c 
c Core size: 21	Core Weight: 22	Total Weight: 88043
c Current CPU time: 1.85972 s
c
c core #417
c 
c 
c Core size: 39	Core Weight: 5	Total Weight: 88048
c Current CPU time: 1.87271 s
c
c core #418
c 
c 
c Core size: 16	Core Weight: 29	Total Weight: 88077
c Current CPU time: 1.88671 s
c
c core #419
c 
c 
c Core size: 28	Core Weight: 34	Total Weight: 88111
c Current CPU time: 1.89871 s
c
c core #420
c 
c 
c Core size: 32	Core Weight: 14	Total Weight: 88125
c Current CPU time: 1.91371 s
c
c core #421
c 
c 
c Core size: 20	Core Weight: 6	Total Weight: 88131
c Current CPU time: 1.92571 s
c
c core #422
c 
c 
c Core size: 26	Core Weight: 6	Total Weight: 88137
c Current CPU time: 1.93871 s
c
c core #423
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 88138
c Current CPU time: 1.9527 s
c
c core #424
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 88139
c Current CPU time: 1.9677 s
c
c core #425
c 
c 
c Core size: 45	Core Weight: 1	Total Weight: 88140
c Current CPU time: 1.9827 s
c
c core #426
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 88141
c Current CPU time: 2.00069 s
c
c core #427
c 
c 
c Core size: 16	Core Weight: 9	Total Weight: 88150
c Current CPU time: 2.01569 s
c
c core #428
c 
c 
c Core size: 20	Core Weight: 21	Total Weight: 88171
c Current CPU time: 2.02969 s
c
c core #429
c 
c 
c Core size: 20	Core Weight: 54	Total Weight: 88225
c Current CPU time: 2.04269 s
c
c core #430
c 
c 
c Core size: 18	Core Weight: 12	Total Weight: 88237
c Current CPU time: 2.05669 s
c
c core #431
c 
c 
c Core size: 30	Core Weight: 5	Total Weight: 88242
c Current CPU time: 2.06868 s
c
c core #432
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 88244
c Current CPU time: 2.08368 s
c
c core #433
c 
c 
c Core size: 19	Core Weight: 5	Total Weight: 88249
c Current CPU time: 2.09868 s
c
c core #434
c 
c 
c Core size: 31	Core Weight: 4	Total Weight: 88253
c Current CPU time: 2.11268 s
c
c core #435
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 88254
c Current CPU time: 2.12768 s
c
c core #436
c 
c 
c Core size: 29	Core Weight: 7	Total Weight: 88261
c Current CPU time: 2.14567 s
c
c core #437
c 
c 
c Core size: 25	Core Weight: 10	Total Weight: 88271
c Current CPU time: 2.16267 s
c
c core #438
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 88272
c Current CPU time: 2.18067 s
c
c core #439
c 
c 
c Core size: 66	Core Weight: 3	Total Weight: 88275
c Current CPU time: 2.19767 s
c
c core #440
c 
c 
c Core size: 27	Core Weight: 29	Total Weight: 88304
c Current CPU time: 2.21266 s
c
c core #441
c 
c 
c Core size: 14	Core Weight: 86	Total Weight: 88390
c Current CPU time: 2.22666 s
c
c core #442
c 
c 
c Core size: 20	Core Weight: 69	Total Weight: 88459
c Current CPU time: 2.24266 s
c
c core #443
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 88460
c Current CPU time: 2.25866 s
c
c core #444
c 
c 
c Core size: 24	Core Weight: 11	Total Weight: 88471
c Current CPU time: 2.27565 s
c
c core #445
c 
c 
c Core size: 15	Core Weight: 18	Total Weight: 88489
c Current CPU time: 2.29165 s
c
c core #446
c 
c 
c Core size: 18	Core Weight: 6	Total Weight: 88495
c Current CPU time: 2.30465 s
c
c core #447
c 
c 
c Core size: 31	Core Weight: 46	Total Weight: 88541
c Current CPU time: 2.32165 s
c
c core #448
c 
c 
c Core size: 24	Core Weight: 6	Total Weight: 88547
c Current CPU time: 2.33764 s
c
c core #449
c 
c 
c Core size: 29	Core Weight: 4	Total Weight: 88551
c Current CPU time: 2.35164 s
c
c core #450
c 
c 
c Core size: 22	Core Weight: 61	Total Weight: 88612
c Current CPU time: 2.36764 s
c
c core #451
c 
c 
c Core size: 15	Core Weight: 184	Total Weight: 88796
c Current CPU time: 2.38164 s
c
c core #452
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 88797
c Current CPU time: 2.39764 s
c
c core #453
c 
c 
c Core size: 34	Core Weight: 66	Total Weight: 88863
c Current CPU time: 2.41363 s
c
c core #454
c 
c 
c Core size: 53	Core Weight: 3	Total Weight: 88866
c Current CPU time: 2.42963 s
c
c core #455
c 
c 
c Core size: 14	Core Weight: 50	Total Weight: 88916
c Current CPU time: 2.44563 s
c
c core #456
c 
c 
c Core size: 29	Core Weight: 21	Total Weight: 88937
c Current CPU time: 2.46062 s
c
c core #457
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 88938
c Current CPU time: 2.47562 s
c
c core #458
c 
c 
c Core size: 25	Core Weight: 7	Total Weight: 88945
c Current CPU time: 2.49062 s
c
c core #459
c 
c 
c Core size: 28	Core Weight: 3	Total Weight: 88948
c Current CPU time: 2.50562 s
c
c core #460
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 88949
c Current CPU time: 2.52362 s
c
c core #461
c 
c 
c Core size: 42	Core Weight: 2	Total Weight: 88951
c Current CPU time: 2.54361 s
c
c core #462
c 
c 
c Core size: 20	Core Weight: 85	Total Weight: 89036
c Current CPU time: 2.55861 s
c
c core #463
c 
c 
c Core size: 52	Core Weight: 3	Total Weight: 89039
c Current CPU time: 2.57561 s
c
c core #464
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 89040
c Current CPU time: 2.59161 s
c
c core #465
c 
c 
c Core size: 25	Core Weight: 22	Total Weight: 89062
c Current CPU time: 2.6056 s
c
c core #466
c 
c 
c Core size: 32	Core Weight: 6	Total Weight: 89068
c Current CPU time: 2.6226 s
c
c core #467
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 89069
c Current CPU time: 2.6396 s
c
c core #468
c 
c 
c Core size: 41	Core Weight: 3	Total Weight: 89072
c Current CPU time: 2.6566 s
c
c core #469
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 89073
c Current CPU time: 2.67359 s
c
c core #470
c 
c 
c Core size: 24	Core Weight: 2	Total Weight: 89075
c Current CPU time: 2.69159 s
c
c core #471
c 
c 
c Core size: 21	Core Weight: 6	Total Weight: 89081
c Current CPU time: 2.71059 s
c
c core #472
c 
c 
c Core size: 34	Core Weight: 2	Total Weight: 89083
c Current CPU time: 2.72559 s
c
c core #473
c 
c 
c Core size: 26	Core Weight: 5	Total Weight: 89088
c Current CPU time: 2.74058 s
c
c core #474
c 
c 
c Core size: 14	Core Weight: 56	Total Weight: 89144
c Current CPU time: 2.75658 s
c
c core #475
c 
c 
c Core size: 23	Core Weight: 41	Total Weight: 89185
c Current CPU time: 2.77158 s
c
c core #476
c 
c 
c Core size: 34	Core Weight: 4	Total Weight: 89189
c Current CPU time: 2.78958 s
c
c core #477
c 
c 
c Core size: 67	Core Weight: 1	Total Weight: 89190
c Current CPU time: 2.80857 s
c
c core #478
c 
c 
c Core size: 39	Core Weight: 7	Total Weight: 89197
c Current CPU time: 2.82657 s
c
c core #479
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 89198
c Current CPU time: 2.84557 s
c
c core #480
c 
c 
c Core size: 31	Core Weight: 91	Total Weight: 89289
c Current CPU time: 2.86256 s
c
c core #481
c 
c 
c Core size: 34	Core Weight: 3	Total Weight: 89292
c Current CPU time: 2.88056 s
c
c core #482
c 
c 
c Core size: 58	Core Weight: 2	Total Weight: 89294
c Current CPU time: 2.90056 s
c
c core #483
c 
c 
c Core size: 24	Core Weight: 49	Total Weight: 89343
c Current CPU time: 2.92056 s
c
c core #484
c 
c 
c Core size: 19	Core Weight: 8	Total Weight: 89351
c Current CPU time: 2.94055 s
c
c core #485
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 89352
c Current CPU time: 2.96055 s
c
c core #486
c 
c 
c Core size: 16	Core Weight: 14	Total Weight: 89366
c Current CPU time: 2.97755 s
c
c core #487
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 89367
c Current CPU time: 2.99454 s
c
c core #488
c 
c 
c Core size: 46	Core Weight: 5	Total Weight: 89372
c Current CPU time: 3.01354 s
c
c core #489
c 
c 
c Core size: 16	Core Weight: 4	Total Weight: 89376
c Current CPU time: 3.03354 s
c
c core #490
c 
c 
c Core size: 22	Core Weight: 17	Total Weight: 89393
c Current CPU time: 3.05253 s
c
c core #491
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 89394
c Current CPU time: 3.06953 s
c
c core #492
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 89395
c Current CPU time: 3.09153 s
c
c core #493
c 
c 
c Core size: 25	Core Weight: 3	Total Weight: 89398
c Current CPU time: 3.11053 s
c
c core #494
c 
c 
c Core size: 25	Core Weight: 49	Total Weight: 89447
c Current CPU time: 3.12952 s
c
c core #495
c 
c 
c Core size: 35	Core Weight: 3	Total Weight: 89450
c Current CPU time: 3.15052 s
c
c core #496
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 89451
c Current CPU time: 3.16952 s
c
c core #497
c 
c 
c Core size: 47	Core Weight: 2	Total Weight: 89453
c Current CPU time: 3.18751 s
c
c core #498
c 
c 
c Core size: 19	Core Weight: 43	Total Weight: 89496
c Current CPU time: 3.20551 s
c
c core #499
c 
c 
c Core size: 16	Core Weight: 112	Total Weight: 89608
c Current CPU time: 3.22351 s
c
c core #500
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 89609
c Current CPU time: 3.24451 s
c
c core #501
c 
c 
c Core size: 51	Core Weight: 2	Total Weight: 89611
c Current CPU time: 3.2645 s
c
c core #502
c 
c 
c Core size: 23	Core Weight: 13	Total Weight: 89624
c Current CPU time: 3.2835 s
c
c core #503
c 
c 
c Core size: 47	Core Weight: 6	Total Weight: 89630
c Current CPU time: 3.3045 s
c
c core #504
c 
c 
c Core size: 30	Core Weight: 16	Total Weight: 89646
c Current CPU time: 3.32249 s
c
c core #505
c 
c 
c Core size: 20	Core Weight: 26	Total Weight: 89672
c Current CPU time: 3.34049 s
c
c core #506
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 89673
c Current CPU time: 3.35949 s
c
c core #507
c 
c 
c Core size: 21	Core Weight: 3	Total Weight: 89676
c Current CPU time: 3.38049 s
c
c core #508
c 
c 
c Core size: 30	Core Weight: 15	Total Weight: 89691
c Current CPU time: 3.40048 s
c
c core #509
c 
c 
c Core size: 33	Core Weight: 22	Total Weight: 89713
c Current CPU time: 3.41948 s
c
c core #510
c 
c 
c Core size: 22	Core Weight: 6	Total Weight: 89719
c Current CPU time: 3.43948 s
c
c core #511
c 
c 
c Core size: 17	Core Weight: 25	Total Weight: 89744
c Current CPU time: 3.46047 s
c
c core #512
c 
c 
c Core size: 21	Core Weight: 14	Total Weight: 89758
c Current CPU time: 3.48147 s
c
c core #513
c 
c 
c Core size: 20	Core Weight: 2	Total Weight: 89760
c Current CPU time: 3.50047 s
c
c core #514
c 
c 
c Core size: 21	Core Weight: 3	Total Weight: 89763
c Current CPU time: 3.52446 s
c
c core #515
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 89764
c Current CPU time: 3.54546 s
c
c core #516
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 89765
c Current CPU time: 3.56846 s
c
c core #517
c 
c 
c Core size: 17	Core Weight: 75	Total Weight: 89840
c Current CPU time: 3.58745 s
c
c core #518
c 
c 
c Core size: 16	Core Weight: 9	Total Weight: 89849
c Current CPU time: 3.60845 s
c
c core #519
c 
c 
c Core size: 26	Core Weight: 14	Total Weight: 89863
c Current CPU time: 3.63145 s
c
c core #520
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 89864
c Current CPU time: 3.65444 s
c
c core #521
c 
c 
c Core size: 30	Core Weight: 21	Total Weight: 89885
c Current CPU time: 3.67744 s
c
c core #522
c 
c 
c Core size: 19	Core Weight: 113	Total Weight: 89998
c Current CPU time: 3.70044 s
c
c core #523
c 
c 
c Core size: 38	Core Weight: 5	Total Weight: 90003
c Current CPU time: 3.72043 s
c
c core #524
c 
c 
c Core size: 34	Core Weight: 11	Total Weight: 90014
c Current CPU time: 3.74443 s
c
c core #525
c 
c 
c Core size: 22	Core Weight: 19	Total Weight: 90033
c Current CPU time: 3.76643 s
c
c core #526
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 90034
c Current CPU time: 3.78942 s
c
c core #527
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 90035
c Current CPU time: 3.81042 s
c
c core #528
c 
c 
c Core size: 25	Core Weight: 2	Total Weight: 90037
c Current CPU time: 3.83642 s
c
c core #529
c 
c 
c Core size: 16	Core Weight: 201	Total Weight: 90238
c Current CPU time: 3.85941 s
c
c core #530
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 90239
c Current CPU time: 3.88541 s
c
c core #531
c 
c 
c Core size: 38	Core Weight: 4	Total Weight: 90243
c Current CPU time: 3.90941 s
c
c core #532
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 90244
c Current CPU time: 3.9314 s
c
c core #533
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 90245
c Current CPU time: 3.9554 s
c
c core #534
c 
c 
c Core size: 30	Core Weight: 6	Total Weight: 90251
c Current CPU time: 3.9794 s
c
c core #535
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 90252
c Current CPU time: 4.00339 s
c
c core #536
c 
c 
c Core size: 32	Core Weight: 3	Total Weight: 90255
c Current CPU time: 4.02539 s
c
c core #537
c 
c 
c Core size: 32	Core Weight: 6	Total Weight: 90261
c Current CPU time: 4.04838 s
c
c core #538
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 90262
c Current CPU time: 4.07138 s
c
c core #539
c 
c 
c Core size: 25	Core Weight: 22	Total Weight: 90284
c Current CPU time: 4.09538 s
c
c core #540
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 90285
c Current CPU time: 4.11537 s
c
c core #541
c 
c 
c Core size: 28	Core Weight: 6	Total Weight: 90291
c Current CPU time: 4.13837 s
c
c core #542
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 90292
c Current CPU time: 4.15937 s
c
c core #543
c 
c 
c Core size: 21	Core Weight: 2	Total Weight: 90294
c Current CPU time: 4.18336 s
c
c core #544
c 
c 
c Core size: 33	Core Weight: 2	Total Weight: 90296
c Current CPU time: 4.20736 s
c
c core #545
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 90297
c Current CPU time: 4.23136 s
c
c core #546
c 
c 
c Core size: 25	Core Weight: 2	Total Weight: 90299
c Current CPU time: 4.25435 s
c
c core #547
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 90300
c Current CPU time: 4.27635 s
c
c core #548
c 
c 
c Core size: 41	Core Weight: 7	Total Weight: 90307
c Current CPU time: 4.29835 s
c
c core #549
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 90308
c Current CPU time: 4.32234 s
c
c core #550
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 90309
c Current CPU time: 4.34534 s
c
c core #551
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 90310
c Current CPU time: 4.37533 s
c
c core #552
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 90311
c Current CPU time: 4.40133 s
c
c core #553
c 
c 
c Core size: 62	Core Weight: 3	Total Weight: 90314
c Current CPU time: 4.42933 s
c
c core #554
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 90315
c Current CPU time: 4.45332 s
c
c core #555
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 90316
c Current CPU time: 4.48132 s
c
c core #556
c 
c 
c Core size: 27	Core Weight: 44	Total Weight: 90360
c Current CPU time: 4.51131 s
c
c core #557
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 90361
c Current CPU time: 4.54031 s
c
c core #558
c 
c 
c Core size: 32	Core Weight: 19	Total Weight: 90380
c Current CPU time: 4.56431 s
c
c core #559
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 90381
c Current CPU time: 4.5943 s
c
c core #560
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 90382
c Current CPU time: 4.6213 s
c
c core #561
c 
c 
c Core size: 51	Core Weight: 2	Total Weight: 90384
c Current CPU time: 4.64629 s
c
c core #562
c 
c 
c Core size: 29	Core Weight: 13	Total Weight: 90397
c Current CPU time: 4.67329 s
c
c core #563
c 
c 
c Core size: 22	Core Weight: 58	Total Weight: 90455
c Current CPU time: 4.69829 s
c
c core #564
c 
c 
c Core size: 34	Core Weight: 2	Total Weight: 90457
c Current CPU time: 4.72428 s
c
c core #565
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 90458
c Current CPU time: 4.74928 s
c
c core #566
c 
c 
c Core size: 72	Core Weight: 2	Total Weight: 90460
c Current CPU time: 4.78227 s
c
c core #567
c 
c 
c Core size: 70	Core Weight: 2	Total Weight: 90462
c Current CPU time: 4.81427 s
c
c core #568
c 
c 
c Core size: 37	Core Weight: 3	Total Weight: 90465
c Current CPU time: 4.84226 s
c
c core #569
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 90466
c Current CPU time: 4.86726 s
c
c core #570
c 
c 
c Core size: 31	Core Weight: 1	Total Weight: 90467
c Current CPU time: 4.89626 s
c
c core #571
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 90468
c Current CPU time: 4.92225 s
c
c core #572
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 90469
c Current CPU time: 4.95025 s
c
c core #573
c 
c 
c Core size: 18	Core Weight: 27	Total Weight: 90496
c Current CPU time: 4.97624 s
c
c core #574
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 90497
c Current CPU time: 5.00324 s
c
c core #575
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 90498
c Current CPU time: 5.03423 s
c
c core #576
c 
c 
c Core size: 43	Core Weight: 3	Total Weight: 90501
c Current CPU time: 5.06523 s
c
c core #577
c 
c 
c Core size: 19	Core Weight: 54	Total Weight: 90555
c Current CPU time: 5.09223 s
c
c core #578
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 90556
c Current CPU time: 5.11822 s
c
c core #579
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 90557
c Current CPU time: 5.14822 s
c
c core #580
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 90558
c Current CPU time: 5.17721 s
c
c core #581
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 90559
c Current CPU time: 5.21021 s
c
c core #582
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 90560
c Current CPU time: 5.2472 s
c
c core #583
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 90561
c Current CPU time: 5.2772 s
c
c core #584
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 90562
c Current CPU time: 5.30419 s
c
c core #585
c 
c 
c Core size: 32	Core Weight: 8	Total Weight: 90570
c Current CPU time: 5.33519 s
c
c core #586
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 90571
c Current CPU time: 5.37218 s
c
c core #587
c 
c 
c Core size: 24	Core Weight: 4	Total Weight: 90575
c Current CPU time: 5.39718 s
c
c core #588
c 
c 
c Core size: 67	Core Weight: 1	Total Weight: 90576
c Current CPU time: 5.42917 s
c
c core #589
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 90577
c Current CPU time: 5.45817 s
c
c core #590
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 90578
c Current CPU time: 5.48916 s
c
c core #591
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 90579
c Current CPU time: 5.52816 s
c
c core #592
c 
c 
c Core size: 68	Core Weight: 2	Total Weight: 90581
c Current CPU time: 5.56215 s
c
c core #593
c 
c 
c Core size: 42	Core Weight: 7	Total Weight: 90588
c Current CPU time: 5.59515 s
c
c core #594
c 
c 
c Core size: 14	Core Weight: 14	Total Weight: 90602
c Current CPU time: 5.62514 s
c
c core #595
c 
c 
c Core size: 31	Core Weight: 12	Total Weight: 90614
c Current CPU time: 5.65214 s
c
c core #596
c 
c 
c Core size: 88	Core Weight: 1	Total Weight: 90615
c Current CPU time: 5.68513 s
c
c core #597
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 90616
c Current CPU time: 5.71713 s
c
c core #598
c 
c 
c Core size: 66	Core Weight: 1	Total Weight: 90617
c Current CPU time: 5.74913 s
c
c core #599
c 
c 
c Core size: 18	Core Weight: 83	Total Weight: 90700
c Current CPU time: 5.78212 s
c
c core #600
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 90701
c Current CPU time: 5.81112 s
c
c core #601
c 
c 
c Core size: 30	Core Weight: 3	Total Weight: 90704
c Current CPU time: 5.84211 s
c
c core #602
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 90705
c Current CPU time: 5.87311 s
c
c core #603
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 90706
c Current CPU time: 5.9061 s
c
c core #604
c 
c 
c Core size: 28	Core Weight: 17	Total Weight: 90723
c Current CPU time: 5.9351 s
c
c core #605
c 
c 
c Core size: 23	Core Weight: 5	Total Weight: 90728
c Current CPU time: 5.96409 s
c
c core #606
c 
c 
c Core size: 97	Core Weight: 1	Total Weight: 90729
c Current CPU time: 6.00109 s
c
c core #607
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 90730
c Current CPU time: 6.03208 s
c
c core #608
c 
c 
c Core size: 43	Core Weight: 4	Total Weight: 90734
c Current CPU time: 6.06308 s
c
c core #609
c 
c 
c Core size: 138	Core Weight: 1	Total Weight: 90735
c Current CPU time: 6.10907 s
c
c core #610
c 
c 
c Core size: 27	Core Weight: 10	Total Weight: 90745
c Current CPU time: 6.13907 s
c
c core #611
c 
c 
c Core size: 73	Core Weight: 1	Total Weight: 90746
c Current CPU time: 6.17206 s
c
c core #612
c 
c 
c Core size: 47	Core Weight: 17	Total Weight: 90763
c Current CPU time: 6.20806 s
c
c core #613
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 90764
c Current CPU time: 6.24205 s
c
c core #614
c 
c 
c Core size: 26	Core Weight: 14	Total Weight: 90778
c Current CPU time: 6.27505 s
c
c core #615
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 90779
c Current CPU time: 6.31004 s
c
c core #616
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 90780
c Current CPU time: 6.34504 s
c
c core #617
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 90781
c Current CPU time: 6.38003 s
c
c core #618
c 
c 
c Core size: 87	Core Weight: 1	Total Weight: 90782
c Current CPU time: 6.41902 s
c
c core #619
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 90783
c Current CPU time: 6.45202 s
c
c core #620
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 90784
c Current CPU time: 6.48701 s
c
c core #621
c 
c 
c Core size: 38	Core Weight: 2	Total Weight: 90786
c Current CPU time: 6.52501 s
c
c core #622
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 90787
c Current CPU time: 6.564 s
c
c core #623
c 
c 
c Core size: 53	Core Weight: 8	Total Weight: 90795
c Current CPU time: 6.602 s
c
c core #624
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 90796
c Current CPU time: 6.63899 s
c
c core #625
c 
c 
c Core size: 69	Core Weight: 3	Total Weight: 90799
c Current CPU time: 6.67798 s
c
c core #626
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 90800
c Current CPU time: 6.71798 s
c
c core #627
c 
c 
c Core size: 73	Core Weight: 1	Total Weight: 90801
c Current CPU time: 6.75197 s
c
c core #628
c 
c 
c Core size: 21	Core Weight: 2	Total Weight: 90803
c Current CPU time: 6.78997 s
c
c core #629
c 
c 
c Core size: 61	Core Weight: 9	Total Weight: 90812
c Current CPU time: 6.82296 s
c
c core #630
c 
c 
c Core size: 84	Core Weight: 1	Total Weight: 90813
c Current CPU time: 6.85996 s
c
c core #631
c 
c 
c Core size: 67	Core Weight: 3	Total Weight: 90816
c Current CPU time: 6.89695 s
c
c core #632
c 
c 
c Core size: 50	Core Weight: 10	Total Weight: 90826
c Current CPU time: 6.93494 s
c
c core #633
c 
c 
c Core size: 35	Core Weight: 5	Total Weight: 90831
c Current CPU time: 6.97394 s
c
c core #634
c 
c 
c Core size: 101	Core Weight: 1	Total Weight: 90832
c Current CPU time: 7.01193 s
c
c core #635
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 90833
c Current CPU time: 7.05193 s
c
c core #636
c 
c 
c Core size: 25	Core Weight: 23	Total Weight: 90856
c Current CPU time: 7.08792 s
c
c core #637
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 90857
c Current CPU time: 7.12992 s
c
c core #638
c 
c 
c Core size: 60	Core Weight: 3	Total Weight: 90860
c Current CPU time: 7.17191 s
c
c core #639
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 90861
c Current CPU time: 7.2109 s
c
c core #640
c 
c 
c Core size: 52	Core Weight: 1	Total Weight: 90862
c Current CPU time: 7.2449 s
c
c core #641
c 
c 
c Core size: 71	Core Weight: 2	Total Weight: 90864
c Current CPU time: 7.28789 s
c
c core #642
c 
c 
c Core size: 44	Core Weight: 3	Total Weight: 90867
c Current CPU time: 7.32389 s
c
c core #643
c 
c 
c Core size: 25	Core Weight: 3	Total Weight: 90870
c Current CPU time: 7.36388 s
c
c core #644
c 
c 
c Core size: 87	Core Weight: 2	Total Weight: 90872
c Current CPU time: 7.40587 s
c
c core #645
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 90873
c Current CPU time: 7.44287 s
c
c core #646
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 90874
c Current CPU time: 7.48386 s
c
c core #647
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 90875
c Current CPU time: 7.52286 s
c
c core #648
c 
c 
c Core size: 19	Core Weight: 20	Total Weight: 90895
c Current CPU time: 7.56385 s
c
c core #649
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 90896
c Current CPU time: 7.61084 s
c
c core #650
c 
c 
c Core size: 98	Core Weight: 1	Total Weight: 90897
c Current CPU time: 7.66183 s
c
c core #651
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 90898
c Current CPU time: 7.70383 s
c
c core #652
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 90899
c Current CPU time: 7.74182 s
c
c core #653
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 90900
c Current CPU time: 7.78382 s
c
c core #654
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 90901
c Current CPU time: 7.82481 s
c
c core #655
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 90902
c Current CPU time: 7.8658 s
c
c core #656
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 90903
c Current CPU time: 7.9028 s
c
c core #657
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 90904
c Current CPU time: 7.93979 s
c
c core #658
c 
c 
c Core size: 56	Core Weight: 6	Total Weight: 90910
c Current CPU time: 7.97979 s
c
c core #659
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 90911
c Current CPU time: 8.02178 s
c
c core #660
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 90912
c Current CPU time: 8.06177 s
c
c core #661
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 90913
c Current CPU time: 8.10377 s
c
c core #662
c 
c 
c Core size: 51	Core Weight: 4	Total Weight: 90917
c Current CPU time: 8.14476 s
c
c core #663
c 
c 
c Core size: 75	Core Weight: 3	Total Weight: 90920
c Current CPU time: 8.19275 s
c
c core #664
c 
c 
c Core size: 39	Core Weight: 10	Total Weight: 90930
c Current CPU time: 8.23575 s
c
c core #665
c 
c 
c Core size: 37	Core Weight: 9	Total Weight: 90939
c Current CPU time: 8.27574 s
c
c core #666
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 90940
c Current CPU time: 8.31973 s
c
c core #667
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 90941
c Current CPU time: 8.36273 s
c
c core #668
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 90942
c Current CPU time: 8.40572 s
c
c core #669
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 90943
c Current CPU time: 8.44572 s
c
c core #670
c 
c 
c Core size: 53	Core Weight: 11	Total Weight: 90954
c Current CPU time: 8.48871 s
c
c core #671
c 
c 
c Core size: 133	Core Weight: 1	Total Weight: 90955
c Current CPU time: 8.5397 s
c
c core #672
c 
c 
c Core size: 22	Core Weight: 7	Total Weight: 90962
c Current CPU time: 8.58169 s
c
c core #673
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 90963
c Current CPU time: 8.62469 s
c
c core #674
c 
c 
c Core size: 27	Core Weight: 18	Total Weight: 90981
c Current CPU time: 8.66368 s
c
c core #675
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 90982
c Current CPU time: 8.70468 s
c
c core #676
c 
c 
c Core size: 104	Core Weight: 1	Total Weight: 90983
c Current CPU time: 8.76167 s
c
c core #677
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 90984
c Current CPU time: 8.80966 s
c
c core #678
c 
c 
c Core size: 113	Core Weight: 1	Total Weight: 90985
c Current CPU time: 8.86065 s
c
c core #679
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 90986
c Current CPU time: 8.91165 s
c
c core #680
c 
c 
c Core size: 37	Core Weight: 2	Total Weight: 90988
c Current CPU time: 8.96164 s
c
c core #681
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 90989
c Current CPU time: 9.00663 s
c
c core #682
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 90990
c Current CPU time: 9.05062 s
c
c core #683
c 
c 
c Core size: 84	Core Weight: 1	Total Weight: 90991
c Current CPU time: 9.09562 s
c
c core #684
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 90992
c Current CPU time: 9.13861 s
c
c core #685
c 
c 
c Core size: 34	Core Weight: 2	Total Weight: 90994
c Current CPU time: 9.1886 s
c
c core #686
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 90995
c Current CPU time: 9.2346 s
c
c core #687
c 
c 
c Core size: 91	Core Weight: 1	Total Weight: 90996
c Current CPU time: 9.28459 s
c
c core #688
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 90997
c Current CPU time: 9.33658 s
c
c core #689
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 90998
c Current CPU time: 9.38157 s
c
c core #690
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 90999
c Current CPU time: 9.42657 s
c
c core #691
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91000
c Current CPU time: 9.47856 s
c
c core #692
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 91001
c Current CPU time: 9.52555 s
c
c core #693
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 91002
c Current CPU time: 9.58154 s
c
c core #694
c 
c 
c Core size: 50	Core Weight: 2	Total Weight: 91004
c Current CPU time: 9.63354 s
c
c core #695
c 
c 
c Core size: 90	Core Weight: 1	Total Weight: 91005
c Current CPU time: 9.68653 s
c
c core #696
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 91006
c Current CPU time: 9.73552 s
c
c core #697
c 
c 
c Core size: 71	Core Weight: 2	Total Weight: 91008
c Current CPU time: 9.78251 s
c
c core #698
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 91009
c Current CPU time: 9.8425 s
c
c core #699
c 
c 
c Core size: 35	Core Weight: 2	Total Weight: 91011
c Current CPU time: 9.8835 s
c
c core #700
c 
c 
c Core size: 69	Core Weight: 2	Total Weight: 91013
c Current CPU time: 9.93049 s
c
c core #701
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 91014
c Current CPU time: 9.97648 s
c
c core #702
c 
c 
c Core size: 30	Core Weight: 3	Total Weight: 91017
c Current CPU time: 10.0235 s
c
c core #703
c 
c 
c Core size: 31	Core Weight: 16	Total Weight: 91033
c Current CPU time: 10.0665 s
c
c core #704
c 
c 
c Core size: 47	Core Weight: 11	Total Weight: 91044
c Current CPU time: 10.1135 s
c
c core #705
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 91045
c Current CPU time: 10.1655 s
c
c core #706
c 
c 
c Core size: 64	Core Weight: 3	Total Weight: 91048
c Current CPU time: 10.2244 s
c
c core #707
c 
c 
c Core size: 40	Core Weight: 2	Total Weight: 91050
c Current CPU time: 10.2744 s
c
c core #708
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 91051
c Current CPU time: 10.3224 s
c
c core #709
c 
c 
c Core size: 75	Core Weight: 2	Total Weight: 91053
c Current CPU time: 10.3774 s
c
c core #710
c 
c 
c Core size: 105	Core Weight: 1	Total Weight: 91054
c Current CPU time: 10.4324 s
c
c core #711
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 91055
c Current CPU time: 10.4834 s
c
c core #712
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 91056
c Current CPU time: 10.5364 s
c
c core #713
c 
c 
c Core size: 59	Core Weight: 4	Total Weight: 91060
c Current CPU time: 10.5834 s
c
c core #714
c 
c 
c Core size: 59	Core Weight: 2	Total Weight: 91062
c Current CPU time: 10.6374 s
c
c core #715
c 
c 
c Core size: 82	Core Weight: 1	Total Weight: 91063
c Current CPU time: 10.6944 s
c
c core #716
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 91064
c Current CPU time: 10.7424 s
c
c core #717
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 91065
c Current CPU time: 10.7974 s
c
c core #718
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 91066
c Current CPU time: 10.8633 s
c
c core #719
c 
c 
c Core size: 103	Core Weight: 1	Total Weight: 91067
c Current CPU time: 10.9303 s
c
c core #720
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 91068
c Current CPU time: 10.9793 s
c
c core #721
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 91069
c Current CPU time: 11.0263 s
c
c core #722
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 91070
c Current CPU time: 11.0783 s
c
c core #723
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 91071
c Current CPU time: 11.1323 s
c
c core #724
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 91072
c Current CPU time: 11.1913 s
c
c core #725
c 
c 
c Core size: 87	Core Weight: 1	Total Weight: 91073
c Current CPU time: 11.2473 s
c
c core #726
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 91074
c Current CPU time: 11.3083 s
c
c core #727
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 91075
c Current CPU time: 11.3623 s
c
c core #728
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 91076
c Current CPU time: 11.4223 s
c
c core #729
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 91077
c Current CPU time: 11.4753 s
c
c core #730
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 91078
c Current CPU time: 11.5272 s
c
c core #731
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 91079
c Current CPU time: 11.5812 s
c
c core #732
c 
c 
c Core size: 95	Core Weight: 5	Total Weight: 91084
c Current CPU time: 11.6372 s
c
c core #733
c 
c 
c Core size: 138	Core Weight: 1	Total Weight: 91085
c Current CPU time: 11.7072 s
c
c core #734
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 91086
c Current CPU time: 11.7782 s
c
c core #735
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 91087
c Current CPU time: 11.8472 s
c
c core #736
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 91088
c Current CPU time: 11.8982 s
c
c core #737
c 
c 
c Core size: 103	Core Weight: 1	Total Weight: 91089
c Current CPU time: 11.9642 s
c
c core #738
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 91090
c Current CPU time: 12.0142 s
c
c core #739
c 
c 
c Core size: 158	Core Weight: 1	Total Weight: 91091
c Current CPU time: 12.0882 s
c
c core #740
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 91092
c Current CPU time: 12.1402 s
c
c core #741
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 91093
c Current CPU time: 12.1901 s
c
c core #742
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 91094
c Current CPU time: 12.2421 s
c
c core #743
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 91095
c Current CPU time: 12.2961 s
c
c core #744
c 
c 
c Core size: 42	Core Weight: 13	Total Weight: 91108
c Current CPU time: 12.3591 s
c
c core #745
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 91109
c Current CPU time: 12.4211 s
c
c core #746
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 91110
c Current CPU time: 12.4931 s
c
c core #747
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 91111
c Current CPU time: 12.5411 s
c
c core #748
c 
c 
c Core size: 103	Core Weight: 1	Total Weight: 91112
c Current CPU time: 12.6111 s
c
c core #749
c 
c 
c Core size: 94	Core Weight: 1	Total Weight: 91113
c Current CPU time: 12.6801 s
c
c core #750
c 
c 
c Core size: 20	Core Weight: 139	Total Weight: 91252
c Current CPU time: 12.7341 s
c
c core #751
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91253
c Current CPU time: 12.7901 s
c
c core #752
c 
c 
c Core size: 103	Core Weight: 1	Total Weight: 91254
c Current CPU time: 12.855 s
c
c core #753
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 91255
c Current CPU time: 12.917 s
c
c core #754
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91256
c Current CPU time: 12.983 s
c
c core #755
c 
c 
c Core size: 47	Core Weight: 2	Total Weight: 91258
c Current CPU time: 13.049 s
c
c core #756
c 
c 
c Core size: 105	Core Weight: 1	Total Weight: 91259
c Current CPU time: 13.109 s
c
c core #757
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 91260
c Current CPU time: 13.166 s
c
c core #758
c 
c 
c Core size: 93	Core Weight: 1	Total Weight: 91261
c Current CPU time: 13.231 s
c
c core #759
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 91262
c Current CPU time: 13.299 s
c
c core #760
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 91263
c Current CPU time: 13.368 s
c
c core #761
c 
c 
c Core size: 49	Core Weight: 12	Total Weight: 91275
c Current CPU time: 13.421 s
c
c core #762
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 91276
c Current CPU time: 13.4919 s
c
c core #763
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 91277
c Current CPU time: 13.5489 s
c
c core #764
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 91278
c Current CPU time: 13.5989 s
c
c core #765
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 91279
c Current CPU time: 13.6649 s
c
c core #766
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 91280
c Current CPU time: 13.7279 s
c
c core #767
c 
c 
c Core size: 42	Core Weight: 6	Total Weight: 91286
c Current CPU time: 13.7839 s
c
c core #768
c 
c 
c Core size: 32	Core Weight: 4	Total Weight: 91290
c Current CPU time: 13.8489 s
c
c core #769
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 91291
c Current CPU time: 13.9079 s
c
c core #770
c 
c 
c Core size: 41	Core Weight: 19	Total Weight: 91310
c Current CPU time: 13.9609 s
c
c core #771
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 91311
c Current CPU time: 14.0239 s
c
c core #772
c 
c 
c Core size: 19	Core Weight: 19	Total Weight: 91330
c Current CPU time: 14.0899 s
c
c core #773
c 
c 
c Core size: 41	Core Weight: 3	Total Weight: 91333
c Current CPU time: 14.1508 s
c
c core #774
c 
c 
c Core size: 147	Core Weight: 1	Total Weight: 91334
c Current CPU time: 14.2208 s
c
c core #775
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 91335
c Current CPU time: 14.2868 s
c
c core #776
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 91336
c Current CPU time: 14.3468 s
c
c core #777
c 
c 
c Core size: 66	Core Weight: 1	Total Weight: 91337
c Current CPU time: 14.4118 s
c
c core #778
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 91338
c Current CPU time: 14.4728 s
c
c core #779
c 
c 
c Core size: 30	Core Weight: 20	Total Weight: 91358
c Current CPU time: 14.5278 s
c
c core #780
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 91359
c Current CPU time: 14.5838 s
c
c core #781
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 91360
c Current CPU time: 14.6508 s
c
c core #782
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 91361
c Current CPU time: 14.7128 s
c
c core #783
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 91362
c Current CPU time: 14.7778 s
c
c core #784
c 
c 
c Core size: 33	Core Weight: 3	Total Weight: 91365
c Current CPU time: 14.8367 s
c
c core #785
c 
c 
c Core size: 160	Core Weight: 1	Total Weight: 91366
c Current CPU time: 14.9157 s
c
c core #786
c 
c 
c Core size: 64	Core Weight: 2	Total Weight: 91368
c Current CPU time: 14.9817 s
c
c core #787
c 
c 
c Core size: 118	Core Weight: 1	Total Weight: 91369
c Current CPU time: 15.0677 s
c
c core #788
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 91370
c Current CPU time: 15.1287 s
c
c core #789
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 91371
c Current CPU time: 15.1887 s
c
c core #790
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 91372
c Current CPU time: 15.2617 s
c
c core #791
c 
c 
c Core size: 90	Core Weight: 1	Total Weight: 91373
c Current CPU time: 15.3297 s
c
c core #792
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 91374
c Current CPU time: 15.4057 s
c
c core #793
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 91375
c Current CPU time: 15.4686 s
c
c core #794
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 91376
c Current CPU time: 15.5306 s
c
c core #795
c 
c 
c Core size: 16	Core Weight: 3	Total Weight: 91379
c Current CPU time: 15.5946 s
c
c core #796
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 91380
c Current CPU time: 15.6596 s
c
c core #797
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 91381
c Current CPU time: 15.7256 s
c
c core #798
c 
c 
c Core size: 33	Core Weight: 13	Total Weight: 91394
c Current CPU time: 15.7906 s
c
c core #799
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 91395
c Current CPU time: 15.8586 s
c
c core #800
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 91396
c Current CPU time: 15.9226 s
c
c core #801
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 91397
c Current CPU time: 15.9926 s
c
c core #802
c 
c 
c Core size: 64	Core Weight: 2	Total Weight: 91399
c Current CPU time: 16.0556 s
c
c core #803
c 
c 
c Core size: 102	Core Weight: 1	Total Weight: 91400
c Current CPU time: 16.1295 s
c
c core #804
c 
c 
c Core size: 112	Core Weight: 1	Total Weight: 91401
c Current CPU time: 16.2095 s
c
c core #805
c 
c 
c Core size: 54	Core Weight: 5	Total Weight: 91406
c Current CPU time: 16.2775 s
c
c core #806
c 
c 
c Core size: 158	Core Weight: 1	Total Weight: 91407
c Current CPU time: 16.3725 s
c
c core #807
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 91408
c Current CPU time: 16.4415 s
c
c core #808
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 91409
c Current CPU time: 16.5085 s
c
c core #809
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 91410
c Current CPU time: 16.5735 s
c
c core #810
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91411
c Current CPU time: 16.6395 s
c
c core #811
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 91412
c Current CPU time: 16.7045 s
c
c core #812
c 
c 
c Core size: 91	Core Weight: 1	Total Weight: 91413
c Current CPU time: 16.7764 s
c
c core #813
c 
c 
c Core size: 86	Core Weight: 1	Total Weight: 91414
c Current CPU time: 16.8624 s
c
c core #814
c 
c 
c Core size: 88	Core Weight: 1	Total Weight: 91415
c Current CPU time: 16.9324 s
c
c core #815
c 
c 
c Core size: 55	Core Weight: 2	Total Weight: 91417
c Current CPU time: 17.0024 s
c
c core #816
c 
c 
c Core size: 34	Core Weight: 2	Total Weight: 91419
c Current CPU time: 17.0824 s
c
c core #817
c 
c 
c Core size: 114	Core Weight: 1	Total Weight: 91420
c Current CPU time: 17.1664 s
c
c core #818
c 
c 
c Core size: 129	Core Weight: 1	Total Weight: 91421
c Current CPU time: 17.2614 s
c
c core #819
c 
c 
c Core size: 132	Core Weight: 1	Total Weight: 91422
c Current CPU time: 17.3474 s
c
c core #820
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 91423
c Current CPU time: 17.4094 s
c
c core #821
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 91424
c Current CPU time: 17.4793 s
c
c core #822
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 91425
c Current CPU time: 17.5463 s
c
c core #823
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 91426
c Current CPU time: 17.6183 s
c
c core #824
c 
c 
c Core size: 24	Core Weight: 4	Total Weight: 91430
c Current CPU time: 17.6893 s
c
c core #825
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 91431
c Current CPU time: 17.7683 s
c
c core #826
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 91432
c Current CPU time: 17.8463 s
c
c core #827
c 
c 
c Core size: 24	Core Weight: 4	Total Weight: 91436
c Current CPU time: 17.9213 s
c
c core #828
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 91437
c Current CPU time: 17.9943 s
c
c core #829
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 91438
c Current CPU time: 18.0813 s
c
c core #830
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 91439
c Current CPU time: 18.1642 s
c
c core #831
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 91440
c Current CPU time: 18.2462 s
c
c core #832
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 91441
c Current CPU time: 18.3282 s
c
c core #833
c 
c 
c Core size: 73	Core Weight: 1	Total Weight: 91442
c Current CPU time: 18.3952 s
c
c core #834
c 
c 
c Core size: 66	Core Weight: 1	Total Weight: 91443
c Current CPU time: 18.4732 s
c
c core #835
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 91444
c Current CPU time: 18.5422 s
c
c core #836
c 
c 
c Core size: 130	Core Weight: 1	Total Weight: 91445
c Current CPU time: 18.6472 s
c
c core #837
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 91446
c Current CPU time: 18.7372 s
c
c core #838
c 
c 
c Core size: 46	Core Weight: 5	Total Weight: 91451
c Current CPU time: 18.8121 s
c
c core #839
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91452
c Current CPU time: 18.8921 s
c
c core #840
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 91453
c Current CPU time: 18.9651 s
c
c core #841
c 
c 
c Core size: 134	Core Weight: 1	Total Weight: 91454
c Current CPU time: 19.0541 s
c
c core #842
c 
c 
c Core size: 88	Core Weight: 1	Total Weight: 91455
c Current CPU time: 19.1331 s
c
c core #843
c 
c 
c Core size: 123	Core Weight: 1	Total Weight: 91456
c Current CPU time: 19.2221 s
c
c core #844
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 91457
c Current CPU time: 19.3011 s
c
c core #845
c 
c 
c Core size: 40	Core Weight: 6	Total Weight: 91463
c Current CPU time: 19.3891 s
c
c core #846
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 91464
c Current CPU time: 19.46 s
c
c core #847
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 91465
c Current CPU time: 19.544 s
c
c core #848
c 
c 
c Core size: 174	Core Weight: 1	Total Weight: 91466
c Current CPU time: 19.637 s
c
c core #849
c 
c 
c Core size: 40	Core Weight: 6	Total Weight: 91472
c Current CPU time: 19.711 s
c
c core #850
c 
c 
c Core size: 66	Core Weight: 1	Total Weight: 91473
c Current CPU time: 19.779 s
c
c core #851
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 91474
c Current CPU time: 19.867 s
c
c core #852
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 91475
c Current CPU time: 19.951 s
c
c core #853
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 91476
c Current CPU time: 20.03 s
c
c core #854
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 91477
c Current CPU time: 20.1449 s
c
c core #855
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 91478
c Current CPU time: 20.2409 s
c
c core #856
c 
c 
c Core size: 82	Core Weight: 1	Total Weight: 91479
c Current CPU time: 20.3329 s
c
c core #857
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 91480
c Current CPU time: 20.4129 s
c
c core #858
c 
c 
c Core size: 114	Core Weight: 1	Total Weight: 91481
c Current CPU time: 20.5309 s
c
c core #859
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 91482
c Current CPU time: 20.6169 s
c
c core #860
c 
c 
c Core size: 53	Core Weight: 5	Total Weight: 91487
c Current CPU time: 20.7079 s
c
c core #861
c 
c 
c Core size: 158	Core Weight: 1	Total Weight: 91488
c Current CPU time: 20.8168 s
c
c core #862
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 91489
c Current CPU time: 20.8928 s
c
c core #863
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 91490
c Current CPU time: 20.9718 s
c
c core #864
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91491
c Current CPU time: 21.0538 s
c
c core #865
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 91492
c Current CPU time: 21.1478 s
c
c core #866
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 91493
c Current CPU time: 21.2248 s
c
c core #867
c 
c 
c Core size: 172	Core Weight: 1	Total Weight: 91494
c Current CPU time: 21.3128 s
c
c core #868
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 91495
c Current CPU time: 21.4037 s
c
c core #869
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 91496
c Current CPU time: 21.4827 s
c
c core #870
c 
c 
c Core size: 168	Core Weight: 1	Total Weight: 91497
c Current CPU time: 21.5737 s
c
c core #871
c 
c 
c Core size: 118	Core Weight: 1	Total Weight: 91498
c Current CPU time: 21.6637 s
c
c core #872
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 91499
c Current CPU time: 21.7507 s
c
c core #873
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 91500
c Current CPU time: 21.8367 s
c
c core #874
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 91501
c Current CPU time: 21.9167 s
c
c core #875
c 
c 
c Core size: 94	Core Weight: 1	Total Weight: 91502
c Current CPU time: 22.0047 s
c
c core #876
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 91503
c Current CPU time: 22.0826 s
c
c core #877
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 91504
c Current CPU time: 22.1626 s
c
c core #878
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 91505
c Current CPU time: 22.2516 s
c
c core #879
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 91506
c Current CPU time: 22.3296 s
c
c core #880
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91507
c Current CPU time: 22.4116 s
c
c core #881
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 91508
c Current CPU time: 22.4966 s
c
c core #882
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 91509
c Current CPU time: 22.5716 s
c
c core #883
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 91510
c Current CPU time: 22.6576 s
c
c core #884
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 91511
c Current CPU time: 22.7485 s
c
c core #885
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 91512
c Current CPU time: 22.8415 s
c
c core #886
c 
c 
c Core size: 90	Core Weight: 1	Total Weight: 91513
c Current CPU time: 22.9315 s
c
c core #887
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91514
c Current CPU time: 23.0115 s
c
c core #888
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 91515
c Current CPU time: 23.0955 s
c
c core #889
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 91516
c Current CPU time: 23.1965 s
c
c core #890
c 
c 
c Core size: 45	Core Weight: 1	Total Weight: 91517
c Current CPU time: 23.2805 s
c
c core #891
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91518
c Current CPU time: 23.3694 s
c
c core #892
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 91519
c Current CPU time: 23.4514 s
c
c core #893
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 91520
c Current CPU time: 23.5604 s
c
c core #894
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 91521
c Current CPU time: 23.6484 s
c
c core #895
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 91522
c Current CPU time: 23.7284 s
c
c core #896
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 91523
c Current CPU time: 23.8124 s
c
c core #897
c 
c 
c Core size: 180	Core Weight: 1	Total Weight: 91524
c Current CPU time: 23.9274 s
c
c core #898
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 91525
c Current CPU time: 24.0253 s
c
c core #899
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 91526
c Current CPU time: 24.1193 s
c
c core #900
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 91527
c Current CPU time: 24.2253 s
c
c core #901
c 
c 
c Core size: 102	Core Weight: 1	Total Weight: 91528
c Current CPU time: 24.3273 s
c
c core #902
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 91529
c Current CPU time: 24.4173 s
c
c core #903
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 91530
c Current CPU time: 24.4993 s
c
c core #904
c 
c 
c Core size: 130	Core Weight: 1	Total Weight: 91531
c Current CPU time: 24.5953 s
c
c core #905
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 91532
c Current CPU time: 24.6802 s
c
c core #906
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 91533
c Current CPU time: 24.7642 s
c
c core #907
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 91534
c Current CPU time: 24.8672 s
c
c core #908
c 
c 
c Core size: 43	Core Weight: 19	Total Weight: 91553
c Current CPU time: 24.9622 s
c
c core #909
c 
c 
c Core size: 97	Core Weight: 1	Total Weight: 91554
c Current CPU time: 25.0672 s
c
c core #910
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 91555
c Current CPU time: 25.1672 s
c
c core #911
c 
c 
c Core size: 225	Core Weight: 1	Total Weight: 91556
c Current CPU time: 25.2782 s
c
c core #912
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 91557
c Current CPU time: 25.3791 s
c
c core #913
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 91558
c Current CPU time: 25.4591 s
c
c core #914
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 91559
c Current CPU time: 25.5451 s
c
c core #915
c 
c 
c Core size: 213	Core Weight: 1	Total Weight: 91560
c Current CPU time: 25.7201 s
c
c core #916
c 
c 
c Core size: 93	Core Weight: 1	Total Weight: 91561
c Current CPU time: 25.8211 s
c
c core #917
c 
c 
c Core size: 128	Core Weight: 1	Total Weight: 91562
c Current CPU time: 25.9191 s
c
c core #918
c 
c 
c Core size: 107	Core Weight: 1	Total Weight: 91563
c Current CPU time: 26.021 s
c
c core #919
c 
c 
c Core size: 107	Core Weight: 1	Total Weight: 91564
c Current CPU time: 26.116 s
c
c core #920
c 
c 
c Core size: 253	Core Weight: 1	Total Weight: 91565
c Current CPU time: 27.6468 s
c
c core #921
c 
c 
c Core size: 149	Core Weight: 1	Total Weight: 91566
c Current CPU time: 27.7838 s
c
c core #922
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 91567
c Current CPU time: 27.8798 s
c
c core #923
c 
c 
c Core size: 59	Core Weight: 2	Total Weight: 91569
c Current CPU time: 27.9877 s
c
c core #924
c 
c 
c Core size: 104	Core Weight: 1	Total Weight: 91570
c Current CPU time: 28.0957 s
c
c core #925
c 
c 
c Core size: 87	Core Weight: 1	Total Weight: 91571
c Current CPU time: 28.2317 s
c
c core #926
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 91572
c Current CPU time: 28.3287 s
c
c core #927
c 
c 
c Core size: 29	Core Weight: 3	Total Weight: 91575
c Current CPU time: 28.4207 s
c
c core #928
c 
c 
c Core size: 115	Core Weight: 1	Total Weight: 91576
c Current CPU time: 28.5317 s
c
c core #929
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 91577
c Current CPU time: 28.6256 s
c
c core #930
c 
c 
c Core size: 152	Core Weight: 1	Total Weight: 91578
c Current CPU time: 28.7366 s
c
c core #931
c 
c 
c Core size: 65	Core Weight: 1	Total Weight: 91579
c Current CPU time: 28.8316 s
c
c core #932
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 91580
c Current CPU time: 28.9276 s
c
c core #933
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 91581
c Current CPU time: 29.0386 s
c
c core #934
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 91582
c Current CPU time: 29.1406 s
c
c core #935
c 
c 
c Core size: 43	Core Weight: 2	Total Weight: 91584
c Current CPU time: 29.2476 s
c
c core #936
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 91585
c Current CPU time: 29.3425 s
c
c core #937
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 91586
c Current CPU time: 29.4565 s
c
c core #938
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 91587
c Current CPU time: 29.5505 s
c
c core #939
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 91588
c Current CPU time: 29.6545 s
c
c core #940
c 
c 
c Core size: 194	Core Weight: 1	Total Weight: 91589
c Current CPU time: 29.7725 s
c
c core #941
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 91590
c Current CPU time: 29.8915 s
c
c core #942
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 91591
c Current CPU time: 29.9984 s
c
c core #943
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 91592
c Current CPU time: 30.1064 s
c
c core #944
c 
c 
c Core size: 56	Core Weight: 3	Total Weight: 91595
c Current CPU time: 30.2024 s
c
c core #945
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 91596
c Current CPU time: 30.3084 s
c
c core #946
c 
c 
c Core size: 87	Core Weight: 1	Total Weight: 91597
c Current CPU time: 30.4244 s
c
c core #947
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 91598
c Current CPU time: 30.5554 s
c
c core #948
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 91599
c Current CPU time: 30.6553 s
c
c core #949
c 
c 
c Core size: 84	Core Weight: 1	Total Weight: 91600
c Current CPU time: 30.7843 s
c
c core #950
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 91601
c Current CPU time: 30.8753 s
c
c core #951
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 91602
c Current CPU time: 30.9723 s
c
c core #952
c 
c 
c Core size: 48	Core Weight: 2	Total Weight: 91604
c Current CPU time: 31.0783 s
c
c core #953
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 91605
c Current CPU time: 31.1883 s
c
c core #954
c 
c 
c Core size: 28	Core Weight: 17	Total Weight: 91622
c Current CPU time: 31.2792 s
c
c core #955
c 
c 
c Core size: 252	Core Weight: 1	Total Weight: 91623
c Current CPU time: 31.4232 s
c
c core #956
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 91624
c Current CPU time: 31.5182 s
c
c core #957
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 91625
c Current CPU time: 31.6282 s
c
c core #958
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 91626
c Current CPU time: 31.7282 s
c
c core #959
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 91627
c Current CPU time: 31.8352 s
c
c core #960
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 91628
c Current CPU time: 31.9441 s
c
c core #961
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 91629
c Current CPU time: 32.0631 s
c
c core #962
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 91630
c Current CPU time: 32.1581 s
c
c core #963
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 91631
c Current CPU time: 32.2781 s
c
c core #964
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 91632
c Current CPU time: 32.3761 s
c
c core #965
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 91633
c Current CPU time: 32.4821 s
c
c core #966
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 91634
c Current CPU time: 32.587 s
c
c core #967
c 
c 
c Core size: 37	Core Weight: 6	Total Weight: 91640
c Current CPU time: 32.683 s
c
c core #968
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 91641
c Current CPU time: 32.793 s
c
c core #969
c 
c 
c Core size: 164	Core Weight: 1	Total Weight: 91642
c Current CPU time: 32.916 s
c
c core #970
c 
c 
c Core size: 115	Core Weight: 1	Total Weight: 91643
c Current CPU time: 33.045 s
c
c core #971
c 
c 
c Core size: 156	Core Weight: 1	Total Weight: 91644
c Current CPU time: 33.161 s
c
c core #972
c 
c 
c Core size: 165	Core Weight: 1	Total Weight: 91645
c Current CPU time: 33.2839 s
c
c core #973
c 
c 
c Core size: 193	Core Weight: 1	Total Weight: 91646
c Current CPU time: 33.4239 s
c
c core #974
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 91647
c Current CPU time: 33.5279 s
c
c core #975
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 91648
c Current CPU time: 33.6279 s
c
c core #976
c 
c 
c Core size: 49	Core Weight: 3	Total Weight: 91651
c Current CPU time: 33.7389 s
c
c core #977
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 91652
c Current CPU time: 33.8669 s
c
c core #978
c 
c 
c Core size: 123	Core Weight: 1	Total Weight: 91653
c Current CPU time: 33.9968 s
c
c core #979
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 91654
c Current CPU time: 34.1048 s
c
c core #980
c 
c 
c Core size: 160	Core Weight: 1	Total Weight: 91655
c Current CPU time: 34.2458 s
c
c core #981
c 
c 
c Core size: 44	Core Weight: 3	Total Weight: 91658
c Current CPU time: 34.3658 s
c
c core #982
c 
c 
c Core size: 51	Core Weight: 4	Total Weight: 91662
c Current CPU time: 34.4708 s
c
c core #983
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 91663
c Current CPU time: 34.5777 s
c
c core #984
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 91664
c Current CPU time: 34.6867 s
c
c core #985
c 
c 
c Core size: 47	Core Weight: 7	Total Weight: 91671
c Current CPU time: 34.8107 s
c
c core #986
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 91672
c Current CPU time: 34.9167 s
c
c core #987
c 
c 
c Core size: 209	Core Weight: 1	Total Weight: 91673
c Current CPU time: 35.0927 s
c
c core #988
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91674
c Current CPU time: 35.2156 s
c
c core #989
c 
c 
c Core size: 109	Core Weight: 1	Total Weight: 91675
c Current CPU time: 35.3396 s
c
c core #990
c 
c 
c Core size: 129	Core Weight: 1	Total Weight: 91676
c Current CPU time: 35.4756 s
c
c core #991
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91677
c Current CPU time: 35.5766 s
c
c core #992
c 
c 
c Core size: 222	Core Weight: 1	Total Weight: 91678
c Current CPU time: 35.7206 s
c
c core #993
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 91679
c Current CPU time: 35.8436 s
c
c core #994
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 91680
c Current CPU time: 35.9645 s
c
c core #995
c 
c 
c Core size: 29	Core Weight: 2	Total Weight: 91682
c Current CPU time: 36.0655 s
c
c core #996
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 91683
c Current CPU time: 36.2045 s
c
c core #997
c 
c 
c Core size: 220	Core Weight: 1	Total Weight: 91684
c Current CPU time: 36.3595 s
c
c core #998
c 
c 
c Core size: 67	Core Weight: 1	Total Weight: 91685
c Current CPU time: 36.4695 s
c
c core #999
c 
c 
c Core size: 94	Core Weight: 1	Total Weight: 91686
c Current CPU time: 36.5894 s
c
c core #1000
c 
c 
c Core size: 289	Core Weight: 1	Total Weight: 91687
c Current CPU time: 36.7574 s
c
c core #1001
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 91688
c Current CPU time: 36.8884 s
c
c core #1002
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 91689
c Current CPU time: 37.0014 s
c
c core #1003
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 91690
c Current CPU time: 37.1264 s
c
c core #1004
c 
c 
c Core size: 40	Core Weight: 2	Total Weight: 91692
c Current CPU time: 37.2333 s
c
c core #1005
c 
c 
c Core size: 110	Core Weight: 1	Total Weight: 91693
c Current CPU time: 37.3663 s
c
c core #1006
c 
c 
c Core size: 60	Core Weight: 2	Total Weight: 91695
c Current CPU time: 37.4883 s
c
c core #1007
c 
c 
c Core size: 97	Core Weight: 1	Total Weight: 91696
c Current CPU time: 37.6023 s
c
c core #1008
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 91697
c Current CPU time: 37.7373 s
c
c core #1009
c 
c 
c Core size: 200	Core Weight: 1	Total Weight: 91698
c Current CPU time: 37.8892 s
c
c core #1010
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91699
c Current CPU time: 38.0102 s
c
c core #1011
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 91700
c Current CPU time: 38.1692 s
c
c core #1012
c 
c 
c Core size: 144	Core Weight: 1	Total Weight: 91701
c Current CPU time: 38.3102 s
c
c core #1013
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 91702
c Current CPU time: 38.4232 s
c
c core #1014
c 
c 
c Core size: 112	Core Weight: 1	Total Weight: 91703
c Current CPU time: 38.5421 s
c
c core #1015
c 
c 
c Core size: 45	Core Weight: 1	Total Weight: 91704
c Current CPU time: 38.6761 s
c
c core #1016
c 
c 
c Core size: 144	Core Weight: 1	Total Weight: 91705
c Current CPU time: 38.8181 s
c
c core #1017
c 
c 
c Core size: 41	Core Weight: 2	Total Weight: 91707
c Current CPU time: 38.9241 s
c
c core #1018
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 91708
c Current CPU time: 39.0331 s
c
c core #1019
c 
c 
c Core size: 213	Core Weight: 1	Total Weight: 91709
c Current CPU time: 39.18 s
c
c core #1020
c 
c 
c Core size: 114	Core Weight: 1	Total Weight: 91710
c Current CPU time: 39.312 s
c
c core #1021
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 91711
c Current CPU time: 39.439 s
c
c core #1022
c 
c 
c Core size: 40	Core Weight: 3	Total Weight: 91714
c Current CPU time: 39.562 s
c
c core #1023
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 91715
c Current CPU time: 39.697 s
c
c core #1024
c 
c 
c Core size: 89	Core Weight: 1	Total Weight: 91716
c Current CPU time: 39.8319 s
c
c core #1025
c 
c 
c Core size: 500	Core Weight: 1	Total Weight: 91717
c Current CPU time: 40.2029 s
c
c core #1026
c 
c 
c Core size: 177	Core Weight: 1	Total Weight: 91718
c Current CPU time: 40.3579 s
c
c core #1027
c 
c 
c Core size: 252	Core Weight: 1	Total Weight: 91719
c Current CPU time: 40.5348 s
c
c core #1028
c 
c 
c Core size: 376	Core Weight: 1	Total Weight: 91720
c Current CPU time: 41.3027 s
c
c core #1029
c 
c 
c Core size: 359	Core Weight: 1	Total Weight: 91721
c Current CPU time: 86.7738 s
c
c core #1030
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 91722
c Current CPU time: 87.0508 s
c
c core #1031
c 
c 
c Core size: 94	Core Weight: 1	Total Weight: 91723
c Current CPU time: 87.1847 s
c
c core #1032
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 91724
c Current CPU time: 87.3187 s
c
c core #1033
c 
c 
c Core size: 140	Core Weight: 1	Total Weight: 91725
c Current CPU time: 87.4617 s
c
c core #1034
c 
c 
c Core size: 154	Core Weight: 1	Total Weight: 91726
c Current CPU time: 87.6277 s
c
c core #1035
c 
c 
c Core size: 58	Core Weight: 3	Total Weight: 91729
c Current CPU time: 87.7517 s
c
c core #1036
c 
c 
c Core size: 129	Core Weight: 1	Total Weight: 91730
c Current CPU time: 87.9126 s
c
c core #1037
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 91731
c Current CPU time: 88.0516 s
c
c core #1038
c 
c 
c Core size: 52	Core Weight: 1	Total Weight: 91732
c Current CPU time: 88.1856 s
c
c core #1039
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 91733
c Current CPU time: 88.3296 s
c
c core #1040
c 
c 
c Core size: 168	Core Weight: 1	Total Weight: 91734
c Current CPU time: 88.5045 s
c
c core #1041
c 
c 
c Core size: 155	Core Weight: 1	Total Weight: 91735
c Current CPU time: 88.6495 s
c
c core #1042
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 91736
c Current CPU time: 88.7785 s
c
c core #1043
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91737
c Current CPU time: 88.9035 s
c
c core #1044
c 
c 
c Core size: 49	Core Weight: 3	Total Weight: 91740
c Current CPU time: 89.0325 s
c
c core #1045
c 
c 
c Core size: 109	Core Weight: 1	Total Weight: 91741
c Current CPU time: 89.1604 s
c
c core #1046
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 91742
c Current CPU time: 89.2984 s
c
c core #1047
c 
c 
c Core size: 42	Core Weight: 5	Total Weight: 91747
c Current CPU time: 89.4184 s
c
c core #1048
c 
c 
c Core size: 112	Core Weight: 1	Total Weight: 91748
c Current CPU time: 89.5924 s
c
c core #1049
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 91749
c Current CPU time: 89.7174 s
c
c core #1050
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 91750
c Current CPU time: 89.8393 s
c
c core #1051
c 
c 
c Core size: 38	Core Weight: 3	Total Weight: 91753
c Current CPU time: 89.9593 s
c
c core #1052
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 91754
c Current CPU time: 90.0843 s
c
c core #1053
c 
c 
c Core size: 37	Core Weight: 2	Total Weight: 91756
c Current CPU time: 90.2083 s
c
c core #1054
c 
c 
c Core size: 128	Core Weight: 1	Total Weight: 91757
c Current CPU time: 90.3523 s
c
c core #1055
c 
c 
c Core size: 87	Core Weight: 1	Total Weight: 91758
c Current CPU time: 90.4922 s
c
c core #1056
c 
c 
c Core size: 196	Core Weight: 1	Total Weight: 91759
c Current CPU time: 90.6692 s
c
c core #1057
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 91760
c Current CPU time: 90.7982 s
c
c core #1058
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 91761
c Current CPU time: 90.9452 s
c
c core #1059
c 
c 
c Core size: 104	Core Weight: 1	Total Weight: 91762
c Current CPU time: 91.1031 s
c
c core #1060
c 
c 
c Core size: 161	Core Weight: 1	Total Weight: 91763
c Current CPU time: 91.2931 s
c
c core #1061
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 91764
c Current CPU time: 91.4281 s
c
c core #1062
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 91765
c Current CPU time: 91.5591 s
c
c core #1063
c 
c 
c Core size: 214	Core Weight: 1	Total Weight: 91766
c Current CPU time: 91.7291 s
c
c core #1064
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 91767
c Current CPU time: 91.887 s
c
c core #1065
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 91768
c Current CPU time: 92.021 s
c
c core #1066
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 91769
c Current CPU time: 92.157 s
c
c core #1067
c 
c 
c Core size: 172	Core Weight: 1	Total Weight: 91770
c Current CPU time: 92.321 s
c
c core #1068
c 
c 
c Core size: 138	Core Weight: 1	Total Weight: 91771
c Current CPU time: 92.4949 s
c
c core #1069
c 
c 
c Core size: 132	Core Weight: 1	Total Weight: 91772
c Current CPU time: 92.6579 s
c
c core #1070
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 91773
c Current CPU time: 92.7969 s
c
c core #1071
c 
c 
c Core size: 67	Core Weight: 1	Total Weight: 91774
c Current CPU time: 92.9309 s
c
c core #1072
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 91775
c Current CPU time: 93.0878 s
c
c core #1073
c 
c 
c Core size: 19	Core Weight: 3	Total Weight: 91778
c Current CPU time: 93.2088 s
c
c core #1074
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 91779
c Current CPU time: 93.3428 s
c
c core #1075
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91780
c Current CPU time: 93.4828 s
c
c core #1076
c 
c 
c Core size: 59	Core Weight: 2	Total Weight: 91782
c Current CPU time: 93.6258 s
c
c core #1077
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 91783
c Current CPU time: 93.7727 s
c
c core #1078
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 91784
c Current CPU time: 93.9107 s
c
c core #1079
c 
c 
c Core size: 102	Core Weight: 1	Total Weight: 91785
c Current CPU time: 94.0607 s
c
c core #1080
c 
c 
c Core size: 39	Core Weight: 3	Total Weight: 91788
c Current CPU time: 94.1947 s
c
c core #1081
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 91789
c Current CPU time: 94.3187 s
c
c core #1082
c 
c 
c Core size: 113	Core Weight: 1	Total Weight: 91790
c Current CPU time: 94.4736 s
c
c core #1083
c 
c 
c Core size: 102	Core Weight: 1	Total Weight: 91791
c Current CPU time: 94.6046 s
c
c core #1084
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 91792
c Current CPU time: 94.7286 s
c
c core #1085
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 91793
c Current CPU time: 94.8616 s
c
c core #1086
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 91794
c Current CPU time: 94.9846 s
c
c core #1087
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 91795
c Current CPU time: 95.1445 s
c
c core #1088
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 91796
c Current CPU time: 95.2965 s
c
c core #1089
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 91797
c Current CPU time: 95.4315 s
c
c core #1090
c 
c 
c Core size: 93	Core Weight: 1	Total Weight: 91798
c Current CPU time: 95.6005 s
c
c core #1091
c 
c 
c Core size: 159	Core Weight: 1	Total Weight: 91799
c Current CPU time: 95.7604 s
c
c core #1092
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 91800
c Current CPU time: 95.9014 s
c
c core #1093
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 91801
c Current CPU time: 96.0434 s
c
c core #1094
c 
c 
c Core size: 98	Core Weight: 1	Total Weight: 91802
c Current CPU time: 96.2054 s
c
c core #1095
c 
c 
c Core size: 117	Core Weight: 1	Total Weight: 91803
c Current CPU time: 96.3654 s
c
c core #1096
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 91804
c Current CPU time: 96.4853 s
c
c core #1097
c 
c 
c Core size: 63	Core Weight: 3	Total Weight: 91807
c Current CPU time: 96.6323 s
c
c core #1098
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 91808
c Current CPU time: 96.7873 s
c
c core #1099
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 91809
c Current CPU time: 96.9393 s
c
c core #1100
c 
c 
c Core size: 86	Core Weight: 1	Total Weight: 91810
c Current CPU time: 97.0772 s
c
c core #1101
c 
c 
c Core size: 196	Core Weight: 1	Total Weight: 91811
c Current CPU time: 97.2882 s
c
c core #1102
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 91812
c Current CPU time: 97.4192 s
c
c core #1103
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 91813
c Current CPU time: 97.5612 s
c
c core #1104
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 91814
c Current CPU time: 97.6961 s
c
c core #1105
c 
c 
c Core size: 89	Core Weight: 1	Total Weight: 91815
c Current CPU time: 119.924 s
c
c core #1106
c 
c 
c Core size: 194	Core Weight: 1	Total Weight: 91816
c Current CPU time: 120.173 s
c
c core #1107
c 
c 
c Core size: 142	Core Weight: 1	Total Weight: 91817
c Current CPU time: 120.354 s
c
c core #1108
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 91818
c Current CPU time: 120.51 s
c
c core #1109
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 91819
c Current CPU time: 120.655 s
c
c core #1110
c 
c 
c Core size: 124	Core Weight: 1	Total Weight: 91820
c Current CPU time: 120.834 s
c
c core #1111
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 91821
c Current CPU time: 121.006 s
c
c core #1112
c 
c 
c Core size: 50	Core Weight: 3	Total Weight: 91824
c Current CPU time: 121.157 s
c
c core #1113
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91825
c Current CPU time: 121.302 s
c
c core #1114
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91826
c Current CPU time: 121.446 s
c
c core #1115
c 
c 
c Core size: 103	Core Weight: 1	Total Weight: 91827
c Current CPU time: 121.616 s
c
c core #1116
c 
c 
c Core size: 65	Core Weight: 1	Total Weight: 91828
c Current CPU time: 121.758 s
c
c core #1117
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 91829
c Current CPU time: 121.893 s
c
c core #1118
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 91830
c Current CPU time: 122.05 s
c
c core #1119
c 
c 
c Core size: 193	Core Weight: 1	Total Weight: 91831
c Current CPU time: 122.313 s
c
c core #1120
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 91832
c Current CPU time: 122.468 s
c
c core #1121
c 
c 
c Core size: 34	Core Weight: 5	Total Weight: 91837
c Current CPU time: 122.612 s
c
c core #1122
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 91838
c Current CPU time: 122.782 s
c
c core #1123
c 
c 
c Core size: 30	Core Weight: 2	Total Weight: 91840
c Current CPU time: 122.942 s
c
c core #1124
c 
c 
c Core size: 122	Core Weight: 1	Total Weight: 91841
c Current CPU time: 123.138 s
c
c core #1125
c 
c 
c Core size: 57	Core Weight: 5	Total Weight: 91846
c Current CPU time: 123.301 s
c
c core #1126
c 
c 
c Core size: 147	Core Weight: 1	Total Weight: 91847
c Current CPU time: 123.484 s
c
c core #1127
c 
c 
c Core size: 45	Core Weight: 1	Total Weight: 91848
c Current CPU time: 123.631 s
c
c core #1128
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 91849
c Current CPU time: 123.78 s
c
c core #1129
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91850
c Current CPU time: 123.905 s
c
c core #1130
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91851
c Current CPU time: 124.08 s
c
c core #1131
c 
c 
c Core size: 42	Core Weight: 2	Total Weight: 91853
c Current CPU time: 124.23 s
c
c core #1132
c 
c 
c Core size: 66	Core Weight: 1	Total Weight: 91854
c Current CPU time: 124.38 s
c
c core #1133
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 91855
c Current CPU time: 124.515 s
c
c core #1134
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 91856
c Current CPU time: 124.661 s
c
c core #1135
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 91857
c Current CPU time: 124.801 s
c
c core #1136
c 
c 
c Core size: 154	Core Weight: 1	Total Weight: 91858
c Current CPU time: 124.975 s
c
c core #1137
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 91859
c Current CPU time: 125.126 s
c
c core #1138
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 91860
c Current CPU time: 125.308 s
c
c core #1139
c 
c 
c Core size: 123	Core Weight: 1	Total Weight: 91861
c Current CPU time: 125.49 s
c
c core #1140
c 
c 
c Core size: 189	Core Weight: 1	Total Weight: 91862
c Current CPU time: 125.699 s
c
c core #1141
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 91863
c Current CPU time: 142.694 s
c
c core #1142
c 
c 
c Core size: 34	Core Weight: 2	Total Weight: 91865
c Current CPU time: 142.898 s
c
c core #1143
c 
c 
c Core size: 228	Core Weight: 1	Total Weight: 91866
c Current CPU time: 143.098 s
c
c core #1144
c 
c 
c Core size: 167	Core Weight: 1	Total Weight: 91867
c Current CPU time: 143.324 s
c
c core #1145
c 
c 
c Core size: 53	Core Weight: 2	Total Weight: 91869
c Current CPU time: 143.481 s
c
c core #1146
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91870
c Current CPU time: 143.645 s
c
c core #1147
c 
c 
c Core size: 328	Core Weight: 1	Total Weight: 91871
c Current CPU time: 151.987 s
c
c core #1148
c 
c 
c Core size: 52	Core Weight: 1	Total Weight: 91872
c Current CPU time: 152.175 s
c
c core #1149
c 
c 
c Core size: 82	Core Weight: 1	Total Weight: 91873
c Current CPU time: 152.33 s
c
c core #1150
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 91874
c Current CPU time: 152.477 s
c
c core #1151
c 
c 
c Core size: 45	Core Weight: 1	Total Weight: 91875
c Current CPU time: 152.611 s
c
c core #1152
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 91876
c Current CPU time: 152.76 s
c
c core #1153
c 
c 
c Core size: 90	Core Weight: 1	Total Weight: 91877
c Current CPU time: 152.916 s
c
c core #1154
c 
c 
c Core size: 115	Core Weight: 1	Total Weight: 91878
c Current CPU time: 153.094 s
c
c core #1155
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 91879
c Current CPU time: 153.231 s
c
c core #1156
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 91880
c Current CPU time: 418.214 s
c
c core #1157
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 91881
c Current CPU time: 418.755 s
c
c core #1158
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 91882
c Current CPU time: 418.965 s
c
c core #1159
c 
c 
c Core size: 123	Core Weight: 1	Total Weight: 91883
c Current CPU time: 419.182 s
c
c core #1160
c 
c 
c Core size: 36	Core Weight: 5	Total Weight: 91888
c Current CPU time: 419.348 s
c
c core #1161
c 
c 
c Core size: 55	Core Weight: 3	Total Weight: 91891
c Current CPU time: 419.505 s
c
c core #1162
c 
c 
c Core size: 120	Core Weight: 1	Total Weight: 91892
c Current CPU time: 419.717 s
c
c core #1163
c 
c 
c Core size: 175	Core Weight: 1	Total Weight: 91893
c Current CPU time: 419.927 s
c
c core #1164
c 
c 
c Core size: 132	Core Weight: 1	Total Weight: 91894
c Current CPU time: 420.119 s
c
c core #1165
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91895
c Current CPU time: 420.302 s
c
c core #1166
c 
c 
c Core size: 109	Core Weight: 1	Total Weight: 91896
c Current CPU time: 420.479 s
c
c core #1167
c 
c 
c Core size: 137	Core Weight: 1	Total Weight: 91897
c Current CPU time: 420.667 s
c
c core #1168
c 
c 
c Core size: 219	Core Weight: 1	Total Weight: 91898
c Current CPU time: 420.893 s
c
c core #1169
c 
c 
c Core size: 244	Core Weight: 1	Total Weight: 91899
c Current CPU time: 421.115 s
c
c core #1170
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 91900
c Current CPU time: 421.31 s
c
c core #1171
c 
c 
c Core size: 89	Core Weight: 1	Total Weight: 91901
c Current CPU time: 421.516 s
c
c core #1172
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 91902
c Current CPU time: 421.687 s
c
c core #1173
c 
c 
c Core size: 656	Core Weight: 1	Total Weight: 91903
c Current CPU time: 422.288 s
c
c core #1174
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 91904
c Current CPU time: 422.488 s
c
c core #1175
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 91905
c Current CPU time: 422.65 s
c
c core #1176
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 91906
c Current CPU time: 422.821 s
c
c core #1177
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 91907
c Current CPU time: 422.994 s
c
c core #1178
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 91908
c Current CPU time: 423.151 s
c
c core #1179
c 
c 
c Core size: 211	Core Weight: 1	Total Weight: 91909
c Current CPU time: 423.376 s
c
c core #1180
c 
c 
c Core size: 42	Core Weight: 3	Total Weight: 91912
c Current CPU time: 423.564 s
c
c core #1181
c 
c 
c Core size: 151	Core Weight: 1	Total Weight: 91913
c Current CPU time: 423.771 s
c
c core #1182
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 91914
c Current CPU time: 423.981 s
c
c core #1183
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 91915
c Current CPU time: 424.136 s
c
c core #1184
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 91916
c Current CPU time: 424.306 s
c
c core #1185
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 91917
c Current CPU time: 424.477 s
c
c core #1186
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 91918
c Current CPU time: 424.679 s
c
c core #1187
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 91919
c Current CPU time: 424.87 s
c
c core #1188
c 
c 
c Core size: 248	Core Weight: 1	Total Weight: 91920
c Current CPU time: 425.117 s
c
c core #1189
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 91921
c Current CPU time: 526.285 s
c
c core #1190
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 91922
c Current CPU time: 526.616 s
c
c core #1191
c 
c 
c Core size: 102	Core Weight: 1	Total Weight: 91923
c Current CPU time: 526.804 s
c
c core #1192
c 
c 
c Core size: 35	Core Weight: 6	Total Weight: 91929
c Current CPU time: 526.995 s
c
c core #1193
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 91930
c Current CPU time: 527.192 s
c
c core #1194
c 
c 
c Core size: 46	Core Weight: 3	Total Weight: 91933
c Current CPU time: 527.351 s
c
c core #1195
c 
c 
c Core size: 235	Core Weight: 1	Total Weight: 91934
c Current CPU time: 527.546 s
c
c core #1196
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 91935
c Current CPU time: 527.733 s
c
c core #1197
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 91936
c Current CPU time: 527.882 s
c
c core #1198
c 
c 
c Core size: 89	Core Weight: 1	Total Weight: 91937
c Current CPU time: 528.095 s
c
c core #1199
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 91938
c Current CPU time: 528.272 s
c
c core #1200
c 
c 
c Core size: 463	Core Weight: 1	Total Weight: 91939
c Current CPU time: 528.599 s
c
c core #1201
c 
c 
c Core size: 142	Core Weight: 1	Total Weight: 91940
c Current CPU time: 528.821 s
c
c core #1202
c 
c 
c Core size: 274	Core Weight: 1	Total Weight: 91941
c Current CPU time: 529.088 s
c
c core #1203
c 
c 
c Core size: 188	Core Weight: 1	Total Weight: 91942
c Current CPU time: 529.322 s
c
c core #1204
c 
c 
c Core size: 101	Core Weight: 1	Total Weight: 91943
c Current CPU time: 529.639 s
c
c core #1205
c 
c 
c Core size: 82	Core Weight: 1	Total Weight: 91944
c Current CPU time: 529.851 s
c
c core #1206
c 
c 
c Core size: 267	Core Weight: 1	Total Weight: 91945
c Current CPU time: 530.085 s
c
c core #1207
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 91946
c Current CPU time: 530.252 s
c
c core #1208
c 
c 
c Core size: 160	Core Weight: 1	Total Weight: 91947
c Current CPU time: 530.462 s
c
c core #1209
c 
c 
c Core size: 95	Core Weight: 1	Total Weight: 91948
c Current CPU time: 530.707 s
c
c core #1210
c 
c 
c Core size: 139	Core Weight: 1	Total Weight: 91949
c Current CPU time: 530.94 s
c
c core #1211
c 
c 
c Core size: 263	Core Weight: 1	Total Weight: 91950
c Current CPU time: 624.11 s
c
c core #1212
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 91951
c Current CPU time: 624.399 s
c
c core #1213
c 
c 
c Core size: 214	Core Weight: 1	Total Weight: 91952
c Current CPU time: 624.644 s
c
c core #1214
c 
c 
c Core size: 204	Core Weight: 1	Total Weight: 91953
c Current CPU time: 625.104 s
c
c core #1215
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 91954
c Current CPU time: 625.322 s
c
c core #1216
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 91955
c Current CPU time: 625.513 s
c
c core #1217
c 
c 
c Core size: 176	Core Weight: 1	Total Weight: 91956
c Current CPU time: 625.735 s
c
c core #1218
c 
c 
c Core size: 39	Core Weight: 7	Total Weight: 91963
c Current CPU time: 625.928 s
c
c core #1219
c 
c 
c Core size: 128	Core Weight: 1	Total Weight: 91964
c Current CPU time: 626.116 s
c
c core #1220
c 
c 
c Core size: 35	Core Weight: 8	Total Weight: 91972
c Current CPU time: 626.313 s
c
c core #1221
c 
c 
c Core size: 305	Core Weight: 1	Total Weight: 91973
c Current CPU time: 626.575 s
c
c core #1222
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 91974
c Current CPU time: 626.757 s
c
c core #1223
c 
c 
c Core size: 199	Core Weight: 1	Total Weight: 91975
c Current CPU time: 627.003 s
c
c core #1224
c 
c 
c Core size: 49	Core Weight: 2	Total Weight: 91977
c Current CPU time: 627.189 s
c
c core #1225
c 
c 
c Core size: 133	Core Weight: 1	Total Weight: 91978
c Current CPU time: 627.417 s
c
c core #1226
c 
c 
c Core size: 46	Core Weight: 2	Total Weight: 91980
c Current CPU time: 627.866 s
c
c core #1227
c 
c 
c Core size: 151	Core Weight: 1	Total Weight: 91981
c Current CPU time: 628.106 s
c
c core #1228
c 
c 
c Core size: 835	Core Weight: 1	Total Weight: 91982
c Current CPU time: 628.715 s
c
c core #1229
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 91983
c Current CPU time: 628.928 s
c
c core #1230
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 91984
c Current CPU time: 629.132 s
c
c core #1231
c 
c 
c Core size: 193	Core Weight: 1	Total Weight: 91985
c Current CPU time: 690.363 s
c
c core #1232
c 
c 
c Core size: 49	Core Weight: 5	Total Weight: 91990
c Current CPU time: 690.63 s
c
c core #1233
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 91991
c Current CPU time: 690.812 s
c
c core #1234
c 
c 
c Core size: 342	Core Weight: 1	Total Weight: 91992
c Current CPU time: 691.083 s
c
c core #1235
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 91993
c Current CPU time: 691.276 s
c
c core #1236
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 91994
c Current CPU time: 691.468 s
c
c core #1237
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 91995
c Current CPU time: 691.661 s
c
c core #1238
c 
c 
c Core size: 84	Core Weight: 1	Total Weight: 91996
c Current CPU time: 691.859 s
c
c core #1239
c 
c 
c Core size: 42	Core Weight: 6	Total Weight: 92002
c Current CPU time: 692.057 s
c
c core #1240
c 
c 
c Core size: 157	Core Weight: 1	Total Weight: 92003
c Current CPU time: 692.308 s
c
c core #1241
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 92004
c Current CPU time: 692.515 s
c
c core #1242
c 
c 
c Core size: 272	Core Weight: 1	Total Weight: 92005
c Current CPU time: 692.791 s
c
c core #1243
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 92006
c Current CPU time: 693.554 s
c
c core #1244
c 
c 
c Core size: 398	Core Weight: 1	Total Weight: 92007
c Current CPU time: 693.878 s
c
c core #1245
c 
c 
c Core size: 67	Core Weight: 2	Total Weight: 92009
c Current CPU time: 694.058 s
c
c core #1246
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 92010
c Current CPU time: 694.284 s
c
c core #1247
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 92011
c Current CPU time: 694.512 s
c
c core #1248
c 
c 
c Core size: 16	Core Weight: 23	Total Weight: 92034
c Current CPU time: 694.694 s
c
c core #1249
c 
c 
c Core size: 90	Core Weight: 1	Total Weight: 92035
c Current CPU time: 694.914 s
c
c core #1250
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 92036
c Current CPU time: 695.104 s
c
c core #1251
c 
c 
c Core size: 114	Core Weight: 1	Total Weight: 92037
c Current CPU time: 695.31 s
c
c core #1252
c 
c 
c Core size: 179	Core Weight: 1	Total Weight: 92038
c Current CPU time: 695.579 s
c
c core #1253
c 
c 
c Core size: 186	Core Weight: 1	Total Weight: 92039
c Current CPU time: 695.853 s
c
c core #1254
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 92040
c Current CPU time: 696.073 s
c
c core #1255
c 
c 
c Core size: 112	Core Weight: 1	Total Weight: 92041
c Current CPU time: 696.284 s
c
c core #1256
c 
c 
c Core size: 45	Core Weight: 1	Total Weight: 92042
c Current CPU time: 696.488 s
c
c core #1257
c 
c 
c Core size: 168	Core Weight: 1	Total Weight: 92043
c Current CPU time: 696.713 s
c
c core #1258
c 
c 
c Core size: 138	Core Weight: 1	Total Weight: 92044
c Current CPU time: 696.945 s
c
c core #1259
c 
c 
c Core size: 227	Core Weight: 1	Total Weight: 92045
c Current CPU time: 697.261 s
c
c core #1260
c 
c 
c Core size: 141	Core Weight: 1	Total Weight: 92046
c Current CPU time: 697.518 s
c
c core #1261
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 92047
c Current CPU time: 697.733 s
c
c core #1262
c 
c 
c Core size: 86	Core Weight: 1	Total Weight: 92048
c Current CPU time: 697.938 s
c
c core #1263
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 92049
c Current CPU time: 698.187 s
c
c core #1264
c 
c 
c Core size: 122	Core Weight: 1	Total Weight: 92050
c Current CPU time: 698.421 s
c
c core #1265
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 92051
c Current CPU time: 698.611 s
c
c core #1266
c 
c 
c Core size: 301	Core Weight: 1	Total Weight: 92052
c Current CPU time: 698.905 s
c
c core #1267
c 
c 
c Core size: 148	Core Weight: 1	Total Weight: 92053
c Current CPU time: 699.113 s
c
c core #1268
c 
c 
c Core size: 174	Core Weight: 1	Total Weight: 92054
c Current CPU time: 699.345 s
c
c core #1269
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 92055
c Current CPU time: 699.558 s
c
c core #1270
c 
c 
c Core size: 107	Core Weight: 1	Total Weight: 92056
c Current CPU time: 699.76 s
c
c core #1271
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 92057
c Current CPU time: 699.955 s
c
c core #1272
c 
c 
c Core size: 418	Core Weight: 1	Total Weight: 92058
c Current CPU time: 700.326 s
c
c core #1273
c 
c 
c Core size: 95	Core Weight: 1	Total Weight: 92059
c Current CPU time: 700.559 s
c
c core #1274
c 
c 
c Core size: 40	Core Weight: 2	Total Weight: 92061
c Current CPU time: 700.743 s
c
c core #1275
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 92062
c Current CPU time: 700.947 s
c
c core #1276
c 
c 
c Core size: 146	Core Weight: 1	Total Weight: 92063
c Current CPU time: 701.245 s
c
c core #1277
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 92064
c Current CPU time: 701.445 s
c
c core #1278
c 
c 
c Core size: 86	Core Weight: 1	Total Weight: 92065
c Current CPU time: 701.671 s
c
c core #1279
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 92066
c Current CPU time: 701.987 s
c
c core #1280
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 92067
c Current CPU time: 702.212 s
c
c core #1281
c 
c 
c Core size: 187	Core Weight: 1	Total Weight: 92068
c Current CPU time: 702.551 s
c
c core #1282
c 
c 
c Core size: 67	Core Weight: 1	Total Weight: 92069
c Current CPU time: 702.775 s
c
c core #1283
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 92070
c Current CPU time: 702.988 s
c
c core #1284
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 92071
c Current CPU time: 703.193 s
c
c core #1285
c 
c 
c Core size: 86	Core Weight: 1	Total Weight: 92072
c Current CPU time: 703.415 s
c
c core #1286
c 
c 
c Core size: 300	Core Weight: 1	Total Weight: 92073
c Current CPU time: 703.679 s
c
c core #1287
c 
c 
c Core size: 430	Core Weight: 1	Total Weight: 92074
c Current CPU time: 704.074 s
c
c core #1288
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 92075
c Current CPU time: 761.455 s
c
c core #1289
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 92076
c Current CPU time: 761.776 s
c
c core #1290
c 
c 
c Core size: 227	Core Weight: 1	Total Weight: 92077
c Current CPU time: 762.051 s
c
c core #1291
c 
c 
c Core size: 644	Core Weight: 1	Total Weight: 92078
c Current CPU time: 762.577 s
c
c core #1292
c 
c 
c Core size: 417	Core Weight: 1	Total Weight: 92079
c Current CPU time: 762.926 s
c
c core #1293
c 
c 
c Core size: 67	Core Weight: 1	Total Weight: 92080
c Current CPU time: 763.222 s
c
c core #1294
c 
c 
c Core size: 213	Core Weight: 1	Total Weight: 92081
c Current CPU time: 763.491 s
c
c core #1295
c 
c 
c Core size: 82	Core Weight: 1	Total Weight: 92082
c Current CPU time: 763.715 s
c
c core #1296
c 
c 
c Core size: 123	Core Weight: 1	Total Weight: 92083
c Current CPU time: 763.96 s
c
c core #1297
c 
c 
c Core size: 150	Core Weight: 1	Total Weight: 92084
c Current CPU time: 764.218 s
c
c core #1298
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 92085
c Current CPU time: 764.438 s
c
c core #1299
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 92086
c Current CPU time: 764.829 s
c
c core #1300
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 92087
c Current CPU time: 765.053 s
c
c core #1301
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 92088
c Current CPU time: 765.317 s
c
c core #1302
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 92089
c Current CPU time: 765.516 s
c
c core #1303
c 
c 
c Core size: 118	Core Weight: 1	Total Weight: 92090
c Current CPU time: 765.775 s
c
c core #1304
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 92091
c Current CPU time: 765.977 s
c
c core #1305
c 
c 
c Core size: 52	Core Weight: 1	Total Weight: 92092
c Current CPU time: 766.167 s
c
c core #1306
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 92093
c Current CPU time: 766.371 s
c
c core #1307
c 
c 
c Core size: 147	Core Weight: 1	Total Weight: 92094
c Current CPU time: 766.611 s
c
c core #1308
c 
c 
c Core size: 238	Core Weight: 1	Total Weight: 92095
c Current CPU time: 766.904 s
c
c core #1309
c 
c 
c Core size: 137	Core Weight: 1	Total Weight: 92096
c Current CPU time: 767.144 s
c
c core #1310
c 
c 
c Core size: 82	Core Weight: 1	Total Weight: 92097
c Current CPU time: 767.338 s
c
c core #1311
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 92098
c Current CPU time: 767.585 s
c
c core #1312
c 
c 
c Core size: 102	Core Weight: 1	Total Weight: 92099
c Current CPU time: 767.793 s
c
c core #1313
c 
c 
c Core size: 98	Core Weight: 1	Total Weight: 92100
c Current CPU time: 768.017 s
c
c core #1314
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 92101
c Current CPU time: 768.226 s
c
c core #1315
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 92102
c Current CPU time: 768.432 s
c
c core #1316
c 
c 
c Core size: 99	Core Weight: 1	Total Weight: 92103
c Current CPU time: 768.673 s
c
c core #1317
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 92104
c Current CPU time: 768.891 s
c
c core #1318
c 
c 
c Core size: 149	Core Weight: 1	Total Weight: 92105
c Current CPU time: 769.175 s
c
c core #1319
c 
c 
c Core size: 262	Core Weight: 1	Total Weight: 92106
c Current CPU time: 769.523 s
c
c core #1320
c 
c 
c Core size: 123	Core Weight: 1	Total Weight: 92107
c Current CPU time: 769.781 s
c
c core #1321
c 
c 
c Core size: 142	Core Weight: 1	Total Weight: 92108
c Current CPU time: 770.055 s
c
c core #1322
c 
c 
c Core size: 622	Core Weight: 1	Total Weight: 92109
c Current CPU time: 770.553 s
c
c core #1323
c 
c 
c Core size: 408	Core Weight: 1	Total Weight: 92110
c Current CPU time: 770.939 s
c
c core #1324
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 92111
c Current CPU time: 771.174 s
c
c core #1325
c 
c 
c Core size: 158	Core Weight: 1	Total Weight: 92112
c Current CPU time: 771.44 s
c
c core #1326
c 
c 
c Core size: 153	Core Weight: 1	Total Weight: 92113
c Current CPU time: 771.695 s
c
c core #1327
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 92114
c Current CPU time: 771.905 s
c
c core #1328
c 
c 
c Core size: 84	Core Weight: 1	Total Weight: 92115
c Current CPU time: 780.33 s
c
c core #1329
c 
c 
c Core size: 66	Core Weight: 1	Total Weight: 92116
c Current CPU time: 780.611 s
c
c core #1330
c 
c 
c Core size: 450	Core Weight: 1	Total Weight: 92117
c Current CPU time: 781.065 s
c
c core #1331
c 
c 
c Core size: 194	Core Weight: 1	Total Weight: 92118
c Current CPU time: 781.346 s
c
c core #1332
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 92119
c Current CPU time: 860.509 s
c
c core #1333
c 
c 
c Core size: 120	Core Weight: 1	Total Weight: 92120
c Current CPU time: 860.826 s
c
c core #1334
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 92121
c Current CPU time: 861.068 s
c
c core #1335
c 
c 
c Core size: 154	Core Weight: 1	Total Weight: 92122
c Current CPU time: 861.336 s
c
c core #1336
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 92123
c Current CPU time: 863.954 s
c
c core #1337
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 92124
c Current CPU time: 864.181 s
c
c core #1338
c 
c 
c Core size: 290	Core Weight: 1	Total Weight: 92125
c Current CPU time: 864.505 s
c
c core #1339
c 
c 
c Core size: 84	Core Weight: 1	Total Weight: 92126
c Current CPU time: 864.729 s
c
c core #1340
c 
c 
c Core size: 156	Core Weight: 1	Total Weight: 92127
c Current CPU time: 865.029 s
c
c core #1341
c 
c 
c Core size: 86	Core Weight: 1	Total Weight: 92128
c Current CPU time: 865.345 s
c
c core #1342
c 
c 
c Core size: 98	Core Weight: 1	Total Weight: 92129
c Current CPU time: 865.566 s
c
c core #1343
c 
c 
c Core size: 90	Core Weight: 1	Total Weight: 92130
c Current CPU time: 865.814 s
c
c core #1344
c 
c 
c Core size: 114	Core Weight: 1	Total Weight: 92131
c Current CPU time: 866.092 s
c
c core #1345
c 
c 
c Core size: 73	Core Weight: 1	Total Weight: 92132
c Current CPU time: 866.372 s
c
c core #1346
c 
c 
c Core size: 262	Core Weight: 1	Total Weight: 92133
c Current CPU time: 866.641 s
c
c core #1347
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 92134
c Current CPU time: 866.887 s
c
c core #1348
c 
c 
c Core size: 88	Core Weight: 1	Total Weight: 92135
c Current CPU time: 867.11 s
c
c core #1349
c 
c 
c Core size: 114	Core Weight: 1	Total Weight: 92136
c Current CPU time: 867.374 s
c
c core #1350
c 
c 
c Core size: 174	Core Weight: 1	Total Weight: 92137
c Current CPU time: 867.645 s
c
c core #1351
c 
c 
c Core size: 141	Core Weight: 1	Total Weight: 92138
c Current CPU time: 867.883 s
c
c core #1352
c 
c 
c Core size: 114	Core Weight: 1	Total Weight: 92139
c Current CPU time: 868.112 s
c
c core #1353
c 
c 
c Core size: 73	Core Weight: 1	Total Weight: 92140
c Current CPU time: 868.337 s
c
c core #1354
c 
c 
c Core size: 136	Core Weight: 1	Total Weight: 92141
c Current CPU time: 868.617 s
c
c core #1355
c 
c 
c Core size: 216	Core Weight: 1	Total Weight: 92142
c Current CPU time: 868.913 s
c
c core #1356
c 
c 
c Core size: 115	Core Weight: 1	Total Weight: 92143
c Current CPU time: 869.13 s
c
c core #1357
c 
c 
c Core size: 82	Core Weight: 1	Total Weight: 92144
c Current CPU time: 869.384 s
c
c core #1358
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 92145
c Current CPU time: 869.625 s
c
c core #1359
c 
c 
c Core size: 230	Core Weight: 1	Total Weight: 92146
c Current CPU time: 869.958 s
c
c core #1360
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 92147
c Current CPU time: 870.191 s
c
c core #1361
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 92148
c Current CPU time: 870.449 s
c
c core #1362
c 
c 
c Core size: 322	Core Weight: 1	Total Weight: 92149
c Current CPU time: 870.778 s
c
c core #1363
c 
c 
c Core size: 87	Core Weight: 1	Total Weight: 92150
c Current CPU time: 871.072 s
c
c core #1364
c 
c 
c Core size: 223	Core Weight: 1	Total Weight: 92151
c Current CPU time: 871.379 s
c
c core #1365
c 
c 
c Core size: 1095	Core Weight: 1	Total Weight: 92152
c Current CPU time: 872.519 s
c
c core #1366
c 
c 
c Core size: 100	Core Weight: 1	Total Weight: 92153
c Current CPU time: 872.766 s
c
c core #1367
c 
c 
c Core size: 146	Core Weight: 1	Total Weight: 92154
c Current CPU time: 873.031 s
c
c core #1368
c 
c 
c Core size: 138	Core Weight: 1	Total Weight: 92155
c Current CPU time: 873.296 s
c
c core #1369
c 
c 
c Core size: 378	Core Weight: 1	Total Weight: 92156
c Current CPU time: 873.697 s
c
c core #1370
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 92157
c Current CPU time: 874.222 s
c
c core #1371
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 92158
c Current CPU time: 874.501 s
c
c core #1372
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 92159
c Current CPU time: 874.754 s
c
c core #1373
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 92160
c Current CPU time: 875.021 s
c
c core #1374
c 
c 
c Core size: 24	Core Weight: 16	Total Weight: 92176
c Current CPU time: 875.282 s
c
c core #1375
c 
c 
c Core size: 1395	Core Weight: 1	Total Weight: 92177
c Current CPU time: 1036.55 s
c
c core #1376
c 
c 
c Core size: 26	Core Weight: 10	Total Weight: 92187
c Current CPU time: 1037.01 s
c
c core #1377
c 
c 
c Core size: 146	Core Weight: 1	Total Weight: 92188
c Current CPU time: 1037.25 s
c
c core #1378
c 
c 
c Core size: 134	Core Weight: 1	Total Weight: 92189
c Current CPU time: 1037.62 s
c
c core #1379
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 92190
c Current CPU time: 1037.87 s
c
c core #1380
c 
c 
c Core size: 444	Core Weight: 1	Total Weight: 92191
c Current CPU time: 1038.31 s
c
c core #1381
c 
c 
c Core size: 238	Core Weight: 1	Total Weight: 92192
c Current CPU time: 1038.72 s
c
c core #1382
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 92193
c Current CPU time: 1039 s
c
c core #1383
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 92194
c Current CPU time: 1039.44 s
c
c core #1384
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 92195
c Current CPU time: 1039.79 s
c
c core #1385
c 
c 
c Core size: 12	Core Weight: 44	Total Weight: 92239
c Current CPU time: 1040.03 s
c
c core #1386
c 
c 
c Core size: 217	Core Weight: 1	Total Weight: 92240
c Current CPU time: 1040.34 s
c
c core #1387
c 
c 
c Core size: 396	Core Weight: 1	Total Weight: 92241
c Current CPU time: 1040.77 s
c
c core #1388
c 
c 
c Core size: 129	Core Weight: 1	Total Weight: 92242
c Current CPU time: 1041.07 s
c
c core #1389
c 
c 
c Core size: 120	Core Weight: 1	Total Weight: 92243
c Current CPU time: 1041.36 s
c
c core #1390
c 
c 
c Core size: 89	Core Weight: 1	Total Weight: 92244
c Current CPU time: 1041.63 s
c
c core #1391
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 92245
c Current CPU time: 1041.89 s
c
c core #1392
c 
c 
c Core size: 207	Core Weight: 1	Total Weight: 92246
c Current CPU time: 1042.22 s
c
c core #1393
c 
c 
c Core size: 1174	Core Weight: 1	Total Weight: 92247
c Current CPU time: 1101.94 s
c
c core #1394
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 92248
c Current CPU time: 1102.32 s
c
c core #1395
c 
c 
c Core size: 134	Core Weight: 1	Total Weight: 92249
c Current CPU time: 1102.64 s
c
c core #1396
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 92250
c Current CPU time: 1102.88 s
c
c core #1397
c 
c 
c Core size: 225	Core Weight: 1	Total Weight: 92251
c Current CPU time: 1103.27 s
c
c core #1398
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 92252
c Current CPU time: 1103.54 s
c
c core #1399
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 92253
c Current CPU time: 1103.81 s
c
c core #1400
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 92254
c Current CPU time: 1104.09 s
c
c core #1401
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 92255
c Current CPU time: 1104.47 s
c
c core #1402
c 
c 
c Core size: 148	Core Weight: 1	Total Weight: 92256
c Current CPU time: 1104.78 s
c
c core #1403
c 
c 
c Core size: 293	Core Weight: 1	Total Weight: 92257
c Current CPU time: 1105.12 s
c
c core #1404
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 92258
c Current CPU time: 1105.48 s
c
c core #1405
c 
c 
c Core size: 95	Core Weight: 1	Total Weight: 92259
c Current CPU time: 1105.72 s
c
c core #1406
c 
c 
c Core size: 467	Core Weight: 1	Total Weight: 92260
c Current CPU time: 1106.17 s
c
c core #1407
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 92261
c Current CPU time: 1106.43 s
c
c core #1408
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 92262
c Current CPU time: 1106.74 s
c
c core #1409
c 
c 
c Core size: 154	Core Weight: 1	Total Weight: 92263
c Current CPU time: 1107 s
c
c core #1410
c 
c 
c Core size: 453	Core Weight: 1	Total Weight: 92264
c Current CPU time: 1107.41 s
c
c core #1411
c 
c 
c Core size: 86	Core Weight: 1	Total Weight: 92265
c Current CPU time: 1107.7 s
c
c core #1412
c 
c 
c Core size: 87	Core Weight: 1	Total Weight: 92266
c Current CPU time: 1107.97 s
c
c core #1413
c 
c 
c Core size: 232	Core Weight: 1	Total Weight: 92267
c Current CPU time: 1108.26 s
c
c core #1414
c 
c 
c Core size: 167	Core Weight: 1	Total Weight: 92268
c Current CPU time: 1108.56 s
c
c core #1415
c 
c 
c Core size: 143	Core Weight: 1	Total Weight: 92269
c Current CPU time: 1108.91 s
c
c core #1416
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 92270
c Current CPU time: 1109.17 s
c
c core #1417
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 92271
c Current CPU time: 1109.46 s
c
c core #1418
c 
c 
c Core size: 224	Core Weight: 1	Total Weight: 92272
c Current CPU time: 1109.77 s
c
c core #1419
c 
c 
c Core size: 155	Core Weight: 1	Total Weight: 92273
c Current CPU time: 1110.04 s
c
c core #1420
c 
c 
c Core size: 308	Core Weight: 1	Total Weight: 92274
c Current CPU time: 1110.48 s
c
c core #1421
c 
c 
c Core size: 109	Core Weight: 1	Total Weight: 92275
c Current CPU time: 1225.18 s
c
c core #1422
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 92276
c Current CPU time: 1225.7 s
c
c core #1423
c 
c 
c Core size: 31	Core Weight: 1	Total Weight: 92277
c Current CPU time: 1225.94 s
c
c core #1424
c 
c 
c Core size: 120	Core Weight: 1	Total Weight: 92278
c Current CPU time: 1226.23 s
c
c core #1425
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 92279
c Current CPU time: 1226.5 s
c
c core #1426
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 92280
c Current CPU time: 1226.8 s
c
c core #1427
c 
c 
c Core size: 131	Core Weight: 1	Total Weight: 92281
c Current CPU time: 1227.05 s
c
c core #1428
c 
c 
c Core size: 126	Core Weight: 1	Total Weight: 92282
c Current CPU time: 1227.38 s
c
c core #1429
c 
c 
c Core size: 263	Core Weight: 1	Total Weight: 92283
c Current CPU time: 1227.81 s
c
c core #1430
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 92284
c Current CPU time: 1228.1 s
c
c #cores: 1430
s UNKNOWN
1800.000u 20.875s 30:35.76 99.1%	0+0k 0+0io 0pf+0w