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_random-net_random-net-240-1_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-9.net.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 5	Core Weight: 1454	Total Weight: 1454
c Current CPU time: 0.008998 s
c
c core #2
c 
c 
c Core size: 11	Core Weight: 615	Total Weight: 2069
c Current CPU time: 0.010998 s
c
c core #3
c 
c 
c Core size: 4	Core Weight: 1408	Total Weight: 3477
c Current CPU time: 0.013997 s
c
c core #4
c 
c 
c Core size: 10	Core Weight: 317	Total Weight: 3794
c Current CPU time: 0.017997 s
c
c core #5
c 
c 
c Core size: 4	Core Weight: 1042	Total Weight: 4836
c Current CPU time: 0.020996 s
c
c core #6
c 
c 
c Core size: 8	Core Weight: 660	Total Weight: 5496
c Current CPU time: 0.023996 s
c
c core #7
c 
c 
c Core size: 5	Core Weight: 1350	Total Weight: 6846
c Current CPU time: 0.026995 s
c
c core #8
c 
c 
c Core size: 11	Core Weight: 40	Total Weight: 6886
c Current CPU time: 0.029995 s
c
c core #9
c 
c 
c Core size: 5	Core Weight: 397	Total Weight: 7283
c Current CPU time: 0.032994 s
c
c core #10
c 
c 
c Core size: 13	Core Weight: 64	Total Weight: 7347
c Current CPU time: 0.036994 s
c
c core #11
c 
c 
c Core size: 4	Core Weight: 837	Total Weight: 8184
c Current CPU time: 0.039993 s
c
c core #12
c 
c 
c Core size: 12	Core Weight: 58	Total Weight: 8242
c Current CPU time: 0.042993 s
c
c core #13
c 
c 
c Core size: 3	Core Weight: 1318	Total Weight: 9560
c Current CPU time: 0.046992 s
c
c core #14
c 
c 
c Core size: 7	Core Weight: 43	Total Weight: 9603
c Current CPU time: 0.049992 s
c
c core #15
c 
c 
c Core size: 12	Core Weight: 281	Total Weight: 9884
c Current CPU time: 0.052991 s
c
c core #16
c 
c 
c Core size: 4	Core Weight: 107	Total Weight: 9991
c Current CPU time: 0.055991 s
c
c core #17
c 
c 
c Core size: 8	Core Weight: 608	Total Weight: 10599
c Current CPU time: 0.05999 s
c
c core #18
c 
c 
c Core size: 5	Core Weight: 797	Total Weight: 11396
c Current CPU time: 0.06299 s
c
c core #19
c 
c 
c Core size: 9	Core Weight: 536	Total Weight: 11932
c Current CPU time: 0.065989 s
c
c core #20
c 
c 
c Core size: 14	Core Weight: 147	Total Weight: 12079
c Current CPU time: 0.068989 s
c
c core #21
c 
c 
c Core size: 3	Core Weight: 930	Total Weight: 13009
c Current CPU time: 0.072988 s
c
c core #22
c 
c 
c Core size: 11	Core Weight: 352	Total Weight: 13361
c Current CPU time: 0.075988 s
c
c core #23
c 
c 
c Core size: 16	Core Weight: 35	Total Weight: 13396
c Current CPU time: 0.078987 s
c
c core #24
c 
c 
c Core size: 4	Core Weight: 1360	Total Weight: 14756
c Current CPU time: 0.082987 s
c
c core #25
c 
c 
c Core size: 12	Core Weight: 12	Total Weight: 14768
c Current CPU time: 0.085986 s
c
c core #26
c 
c 
c Core size: 5	Core Weight: 684	Total Weight: 15452
c Current CPU time: 0.088986 s
c
c core #27
c 
c 
c Core size: 9	Core Weight: 85	Total Weight: 15537
c Current CPU time: 0.092985 s
c
c core #28
c 
c 
c Core size: 3	Core Weight: 949	Total Weight: 16486
c Current CPU time: 0.095985 s
c
c core #29
c 
c 
c Core size: 9	Core Weight: 189	Total Weight: 16675
c Current CPU time: 0.099984 s
c
c core #30
c 
c 
c Core size: 14	Core Weight: 398	Total Weight: 17073
c Current CPU time: 0.102984 s
c
c core #31
c 
c 
c Core size: 5	Core Weight: 835	Total Weight: 17908
c Current CPU time: 0.105983 s
c
c core #32
c 
c 
c Core size: 9	Core Weight: 37	Total Weight: 17945
c Current CPU time: 0.109983 s
c
c core #33
c 
c 
c Core size: 5	Core Weight: 603	Total Weight: 18548
c Current CPU time: 0.112982 s
c
c core #34
c 
c 
c Core size: 13	Core Weight: 257	Total Weight: 18805
c Current CPU time: 0.116982 s
c
c core #35
c 
c 
c Core size: 5	Core Weight: 778	Total Weight: 19583
c Current CPU time: 0.119981 s
c
c core #36
c 
c 
c Core size: 11	Core Weight: 174	Total Weight: 19757
c Current CPU time: 0.123981 s
c
c core #37
c 
c 
c Core size: 12	Core Weight: 37	Total Weight: 19794
c Current CPU time: 0.12798 s
c
c core #38
c 
c 
c Core size: 5	Core Weight: 1157	Total Weight: 20951
c Current CPU time: 0.13098 s
c
c core #39
c 
c 
c Core size: 11	Core Weight: 626	Total Weight: 21577
c Current CPU time: 0.134979 s
c
c core #40
c 
c 
c Core size: 5	Core Weight: 910	Total Weight: 22487
c Current CPU time: 0.138978 s
c
c core #41
c 
c 
c Core size: 13	Core Weight: 725	Total Weight: 23212
c Current CPU time: 0.141978 s
c
c core #42
c 
c 
c Core size: 3	Core Weight: 1784	Total Weight: 24996
c Current CPU time: 0.145977 s
c
c core #43
c 
c 
c Core size: 11	Core Weight: 29	Total Weight: 25025
c Current CPU time: 0.149977 s
c
c core #44
c 
c 
c Core size: 3	Core Weight: 1489	Total Weight: 26514
c Current CPU time: 0.152976 s
c
c core #45
c 
c 
c Core size: 7	Core Weight: 13	Total Weight: 26527
c Current CPU time: 0.156976 s
c
c core #46
c 
c 
c Core size: 4	Core Weight: 554	Total Weight: 27081
c Current CPU time: 0.159975 s
c
c core #47
c 
c 
c Core size: 10	Core Weight: 339	Total Weight: 27420
c Current CPU time: 0.163975 s
c
c core #48
c 
c 
c Core size: 3	Core Weight: 1448	Total Weight: 28868
c Current CPU time: 0.167974 s
c
c core #49
c 
c 
c Core size: 9	Core Weight: 17	Total Weight: 28885
c Current CPU time: 0.170974 s
c
c core #50
c 
c 
c Core size: 16	Core Weight: 182	Total Weight: 29067
c Current CPU time: 0.174973 s
c
c core #51
c 
c 
c Core size: 19	Core Weight: 301	Total Weight: 29368
c Current CPU time: 0.178972 s
c
c core #52
c 
c 
c Core size: 3	Core Weight: 688	Total Weight: 30056
c Current CPU time: 0.181972 s
c
c core #53
c 
c 
c Core size: 9	Core Weight: 12	Total Weight: 30068
c Current CPU time: 0.185971 s
c
c core #54
c 
c 
c Core size: 16	Core Weight: 367	Total Weight: 30435
c Current CPU time: 0.189971 s
c
c core #55
c 
c 
c Core size: 23	Core Weight: 132	Total Weight: 30567
c Current CPU time: 0.19397 s
c
c core #56
c 
c 
c Core size: 5	Core Weight: 1186	Total Weight: 31753
c Current CPU time: 0.197969 s
c
c core #57
c 
c 
c Core size: 9	Core Weight: 72	Total Weight: 31825
c Current CPU time: 0.201969 s
c
c core #58
c 
c 
c Core size: 4	Core Weight: 665	Total Weight: 32490
c Current CPU time: 0.205968 s
c
c core #59
c 
c 
c Core size: 10	Core Weight: 232	Total Weight: 32722
c Current CPU time: 0.209968 s
c
c core #60
c 
c 
c Core size: 15	Core Weight: 318	Total Weight: 33040
c Current CPU time: 0.213967 s
c
c core #61
c 
c 
c Core size: 4	Core Weight: 832	Total Weight: 33872
c Current CPU time: 0.217966 s
c
c core #62
c 
c 
c Core size: 10	Core Weight: 404	Total Weight: 34276
c Current CPU time: 0.221966 s
c
c core #63
c 
c 
c Core size: 3	Core Weight: 1042	Total Weight: 35318
c Current CPU time: 0.225965 s
c
c core #64
c 
c 
c Core size: 11	Core Weight: 1050	Total Weight: 36368
c Current CPU time: 0.229965 s
c
c core #65
c 
c 
c Core size: 14	Core Weight: 18	Total Weight: 36386
c Current CPU time: 0.233964 s
c
c core #66
c 
c 
c Core size: 3	Core Weight: 681	Total Weight: 37067
c Current CPU time: 0.237963 s
c
c core #67
c 
c 
c Core size: 11	Core Weight: 159	Total Weight: 37226
c Current CPU time: 0.242963 s
c
c core #68
c 
c 
c Core size: 14	Core Weight: 110	Total Weight: 37336
c Current CPU time: 0.246962 s
c
c core #69
c 
c 
c Core size: 4	Core Weight: 522	Total Weight: 37858
c Current CPU time: 0.250961 s
c
c core #70
c 
c 
c Core size: 12	Core Weight: 317	Total Weight: 38175
c Current CPU time: 0.254961 s
c
c core #71
c 
c 
c Core size: 5	Core Weight: 515	Total Weight: 38690
c Current CPU time: 0.25896 s
c
c core #72
c 
c 
c Core size: 13	Core Weight: 335	Total Weight: 39025
c Current CPU time: 0.26296 s
c
c core #73
c 
c 
c Core size: 4	Core Weight: 1048	Total Weight: 40073
c Current CPU time: 0.267959 s
c
c core #74
c 
c 
c Core size: 10	Core Weight: 192	Total Weight: 40265
c Current CPU time: 0.272958 s
c
c core #75
c 
c 
c Core size: 3	Core Weight: 2780	Total Weight: 43045
c Current CPU time: 0.277957 s
c
c core #76
c 
c 
c Core size: 7	Core Weight: 537	Total Weight: 43582
c Current CPU time: 0.282956 s
c
c core #77
c 
c 
c Core size: 12	Core Weight: 137	Total Weight: 43719
c Current CPU time: 0.286956 s
c
c core #78
c 
c 
c Core size: 15	Core Weight: 345	Total Weight: 44064
c Current CPU time: 0.291955 s
c
c core #79
c 
c 
c Core size: 4	Core Weight: 90	Total Weight: 44154
c Current CPU time: 0.296954 s
c
c core #80
c 
c 
c Core size: 12	Core Weight: 1221	Total Weight: 45375
c Current CPU time: 0.301954 s
c
c core #81
c 
c 
c Core size: 3	Core Weight: 729	Total Weight: 46104
c Current CPU time: 0.305953 s
c
c core #82
c 
c 
c Core size: 9	Core Weight: 75	Total Weight: 46179
c Current CPU time: 0.310952 s
c
c core #83
c 
c 
c Core size: 16	Core Weight: 247	Total Weight: 46426
c Current CPU time: 0.315951 s
c
c core #84
c 
c 
c Core size: 5	Core Weight: 720	Total Weight: 47146
c Current CPU time: 0.320951 s
c
c core #85
c 
c 
c Core size: 13	Core Weight: 693	Total Weight: 47839
c Current CPU time: 0.32595 s
c
c core #86
c 
c 
c Core size: 5	Core Weight: 1171	Total Weight: 49010
c Current CPU time: 0.330949 s
c
c core #87
c 
c 
c Core size: 11	Core Weight: 175	Total Weight: 49185
c Current CPU time: 0.335948 s
c
c core #88
c 
c 
c Core size: 3	Core Weight: 529	Total Weight: 49714
c Current CPU time: 0.339948 s
c
c core #89
c 
c 
c Core size: 9	Core Weight: 144	Total Weight: 49858
c Current CPU time: 0.344947 s
c
c core #90
c 
c 
c Core size: 16	Core Weight: 479	Total Weight: 50337
c Current CPU time: 0.349946 s
c
c core #91
c 
c 
c Core size: 5	Core Weight: 184	Total Weight: 50521
c Current CPU time: 0.354946 s
c
c core #92
c 
c 
c Core size: 11	Core Weight: 354	Total Weight: 50875
c Current CPU time: 0.359945 s
c
c core #93
c 
c 
c Core size: 3	Core Weight: 366	Total Weight: 51241
c Current CPU time: 0.364944 s
c
c core #94
c 
c 
c Core size: 9	Core Weight: 27	Total Weight: 51268
c Current CPU time: 0.369943 s
c
c core #95
c 
c 
c Core size: 14	Core Weight: 862	Total Weight: 52130
c Current CPU time: 0.374943 s
c
c core #96
c 
c 
c Core size: 7	Core Weight: 184	Total Weight: 52314
c Current CPU time: 0.379942 s
c
c core #97
c 
c 
c Core size: 4	Core Weight: 90	Total Weight: 52404
c Current CPU time: 0.384941 s
c
c core #98
c 
c 
c Core size: 10	Core Weight: 622	Total Weight: 53026
c Current CPU time: 0.38994 s
c
c core #99
c 
c 
c Core size: 5	Core Weight: 695	Total Weight: 53721
c Current CPU time: 0.394939 s
c
c core #100
c 
c 
c Core size: 9	Core Weight: 895	Total Weight: 54616
c Current CPU time: 0.399939 s
c
c core #101
c 
c 
c Core size: 3	Core Weight: 241	Total Weight: 54857
c Current CPU time: 0.404938 s
c
c core #102
c 
c 
c Core size: 9	Core Weight: 733	Total Weight: 55590
c Current CPU time: 0.409937 s
c
c core #103
c 
c 
c Core size: 16	Core Weight: 23	Total Weight: 55613
c Current CPU time: 0.414936 s
c
c core #104
c 
c 
c Core size: 4	Core Weight: 214	Total Weight: 55827
c Current CPU time: 0.419936 s
c
c core #105
c 
c 
c Core size: 12	Core Weight: 68	Total Weight: 55895
c Current CPU time: 0.424935 s
c
c core #106
c 
c 
c Core size: 13	Core Weight: 138	Total Weight: 56033
c Current CPU time: 0.430934 s
c
c core #107
c 
c 
c Core size: 14	Core Weight: 268	Total Weight: 56301
c Current CPU time: 0.435933 s
c
c core #108
c 
c 
c Core size: 16	Core Weight: 131	Total Weight: 56432
c Current CPU time: 0.441932 s
c
c core #109
c 
c 
c Core size: 11	Core Weight: 375	Total Weight: 56807
c Current CPU time: 0.447931 s
c
c core #110
c 
c 
c Core size: 17	Core Weight: 386	Total Weight: 57193
c Current CPU time: 0.452931 s
c
c core #111
c 
c 
c Core size: 17	Core Weight: 213	Total Weight: 57406
c Current CPU time: 0.45793 s
c
c core #112
c 
c 
c Core size: 13	Core Weight: 342	Total Weight: 57748
c Current CPU time: 0.463929 s
c
c core #113
c 
c 
c Core size: 17	Core Weight: 138	Total Weight: 57886
c Current CPU time: 0.468928 s
c
c core #114
c 
c 
c Core size: 15	Core Weight: 201	Total Weight: 58087
c Current CPU time: 0.474927 s
c
c core #115
c 
c 
c Core size: 19	Core Weight: 112	Total Weight: 58199
c Current CPU time: 0.480926 s
c
c core #116
c 
c 
c Core size: 21	Core Weight: 11	Total Weight: 58210
c Current CPU time: 0.486925 s
c
c core #117
c 
c 
c Core size: 15	Core Weight: 156	Total Weight: 58366
c Current CPU time: 0.492925 s
c
c core #118
c 
c 
c Core size: 14	Core Weight: 273	Total Weight: 58639
c Current CPU time: 0.498924 s
c
c core #119
c 
c 
c Core size: 11	Core Weight: 36	Total Weight: 58675
c Current CPU time: 0.505923 s
c
c core #120
c 
c 
c Core size: 11	Core Weight: 24	Total Weight: 58699
c Current CPU time: 0.510922 s
c
c core #121
c 
c 
c Core size: 10	Core Weight: 299	Total Weight: 58998
c Current CPU time: 0.516921 s
c
c core #122
c 
c 
c Core size: 11	Core Weight: 149	Total Weight: 59147
c Current CPU time: 0.52392 s
c
c core #123
c 
c 
c Core size: 12	Core Weight: 1191	Total Weight: 60338
c Current CPU time: 0.529919 s
c
c core #124
c 
c 
c Core size: 14	Core Weight: 68	Total Weight: 60406
c Current CPU time: 0.536918 s
c
c core #125
c 
c 
c Core size: 11	Core Weight: 177	Total Weight: 60583
c Current CPU time: 0.541917 s
c
c core #126
c 
c 
c Core size: 14	Core Weight: 583	Total Weight: 61166
c Current CPU time: 0.548916 s
c
c core #127
c 
c 
c Core size: 24	Core Weight: 36	Total Weight: 61202
c Current CPU time: 0.554915 s
c
c core #128
c 
c 
c Core size: 25	Core Weight: 32	Total Weight: 61234
c Current CPU time: 0.560914 s
c
c core #129
c 
c 
c Core size: 10	Core Weight: 579	Total Weight: 61813
c Current CPU time: 0.566913 s
c
c core #130
c 
c 
c Core size: 12	Core Weight: 40	Total Weight: 61853
c Current CPU time: 0.573912 s
c
c core #131
c 
c 
c Core size: 16	Core Weight: 325	Total Weight: 62178
c Current CPU time: 0.579911 s
c
c core #132
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 62181
c Current CPU time: 0.58691 s
c
c core #133
c 
c 
c Core size: 11	Core Weight: 228	Total Weight: 62409
c Current CPU time: 0.592909 s
c
c core #134
c 
c 
c Core size: 8	Core Weight: 790	Total Weight: 63199
c Current CPU time: 0.598908 s
c
c core #135
c 
c 
c Core size: 18	Core Weight: 111	Total Weight: 63310
c Current CPU time: 0.604908 s
c
c core #136
c 
c 
c Core size: 18	Core Weight: 160	Total Weight: 63470
c Current CPU time: 0.611906 s
c
c core #137
c 
c 
c Core size: 16	Core Weight: 125	Total Weight: 63595
c Current CPU time: 0.618905 s
c
c core #138
c 
c 
c Core size: 17	Core Weight: 640	Total Weight: 64235
c Current CPU time: 0.624905 s
c
c core #139
c 
c 
c Core size: 17	Core Weight: 68	Total Weight: 64303
c Current CPU time: 0.631903 s
c
c core #140
c 
c 
c Core size: 17	Core Weight: 186	Total Weight: 64489
c Current CPU time: 0.637903 s
c
c core #141
c 
c 
c Core size: 23	Core Weight: 575	Total Weight: 65064
c Current CPU time: 0.644901 s
c
c core #142
c 
c 
c Core size: 21	Core Weight: 20	Total Weight: 65084
c Current CPU time: 0.650901 s
c
c core #143
c 
c 
c Core size: 12	Core Weight: 533	Total Weight: 65617
c Current CPU time: 0.657899 s
c
c core #144
c 
c 
c Core size: 14	Core Weight: 15	Total Weight: 65632
c Current CPU time: 0.664898 s
c
c core #145
c 
c 
c Core size: 21	Core Weight: 1003	Total Weight: 66635
c Current CPU time: 0.670898 s
c
c core #146
c 
c 
c Core size: 15	Core Weight: 9	Total Weight: 66644
c Current CPU time: 0.677896 s
c
c core #147
c 
c 
c Core size: 17	Core Weight: 446	Total Weight: 67090
c Current CPU time: 0.684895 s
c
c core #148
c 
c 
c Core size: 16	Core Weight: 15	Total Weight: 67105
c Current CPU time: 0.690894 s
c
c core #149
c 
c 
c Core size: 15	Core Weight: 201	Total Weight: 67306
c Current CPU time: 0.698893 s
c
c core #150
c 
c 
c Core size: 11	Core Weight: 671	Total Weight: 67977
c Current CPU time: 0.704892 s
c
c core #151
c 
c 
c Core size: 15	Core Weight: 233	Total Weight: 68210
c Current CPU time: 0.711891 s
c
c core #152
c 
c 
c Core size: 17	Core Weight: 574	Total Weight: 68784
c Current CPU time: 0.71889 s
c
c core #153
c 
c 
c Core size: 16	Core Weight: 7	Total Weight: 68791
c Current CPU time: 0.725889 s
c
c core #154
c 
c 
c Core size: 16	Core Weight: 528	Total Weight: 69319
c Current CPU time: 0.732888 s
c
c core #155
c 
c 
c Core size: 8	Core Weight: 342	Total Weight: 69661
c Current CPU time: 0.740887 s
c
c core #156
c 
c 
c Core size: 10	Core Weight: 672	Total Weight: 70333
c Current CPU time: 0.747886 s
c
c core #157
c 
c 
c Core size: 11	Core Weight: 215	Total Weight: 70548
c Current CPU time: 0.753885 s
c
c core #158
c 
c 
c Core size: 14	Core Weight: 116	Total Weight: 70664
c Current CPU time: 0.761884 s
c
c core #159
c 
c 
c Core size: 16	Core Weight: 516	Total Weight: 71180
c Current CPU time: 0.768883 s
c
c core #160
c 
c 
c Core size: 12	Core Weight: 445	Total Weight: 71625
c Current CPU time: 0.775882 s
c
c core #161
c 
c 
c Core size: 20	Core Weight: 2	Total Weight: 71627
c Current CPU time: 0.78388 s
c
c core #162
c 
c 
c Core size: 21	Core Weight: 880	Total Weight: 72507
c Current CPU time: 0.791879 s
c
c core #163
c 
c 
c Core size: 30	Core Weight: 42	Total Weight: 72549
c Current CPU time: 0.799878 s
c
c core #164
c 
c 
c Core size: 29	Core Weight: 97	Total Weight: 72646
c Current CPU time: 0.807877 s
c
c core #165
c 
c 
c Core size: 23	Core Weight: 12	Total Weight: 72658
c Current CPU time: 0.815875 s
c
c core #166
c 
c 
c Core size: 24	Core Weight: 50	Total Weight: 72708
c Current CPU time: 0.823874 s
c
c core #167
c 
c 
c Core size: 12	Core Weight: 214	Total Weight: 72922
c Current CPU time: 0.831873 s
c
c core #168
c 
c 
c Core size: 12	Core Weight: 629	Total Weight: 73551
c Current CPU time: 0.838872 s
c
c core #169
c 
c 
c Core size: 18	Core Weight: 782	Total Weight: 74333
c Current CPU time: 0.847871 s
c
c core #170
c 
c 
c Core size: 22	Core Weight: 97	Total Weight: 74430
c Current CPU time: 0.855869 s
c
c core #171
c 
c 
c Core size: 35	Core Weight: 138	Total Weight: 74568
c Current CPU time: 0.863868 s
c
c core #172
c 
c 
c Core size: 15	Core Weight: 417	Total Weight: 74985
c Current CPU time: 0.870867 s
c
c core #173
c 
c 
c Core size: 11	Core Weight: 235	Total Weight: 75220
c Current CPU time: 0.878866 s
c
c core #174
c 
c 
c Core size: 16	Core Weight: 115	Total Weight: 75335
c Current CPU time: 0.886865 s
c
c core #175
c 
c 
c Core size: 10	Core Weight: 413	Total Weight: 75748
c Current CPU time: 0.895863 s
c
c core #176
c 
c 
c Core size: 12	Core Weight: 45	Total Weight: 75793
c Current CPU time: 0.903862 s
c
c core #177
c 
c 
c Core size: 14	Core Weight: 340	Total Weight: 76133
c Current CPU time: 0.911861 s
c
c core #178
c 
c 
c Core size: 19	Core Weight: 651	Total Weight: 76784
c Current CPU time: 0.91986 s
c
c core #179
c 
c 
c Core size: 11	Core Weight: 5	Total Weight: 76789
c Current CPU time: 0.927858 s
c
c core #180
c 
c 
c Core size: 18	Core Weight: 284	Total Weight: 77073
c Current CPU time: 0.935857 s
c
c core #181
c 
c 
c Core size: 18	Core Weight: 853	Total Weight: 77926
c Current CPU time: 0.942856 s
c
c core #182
c 
c 
c Core size: 17	Core Weight: 34	Total Weight: 77960
c Current CPU time: 0.951855 s
c
c core #183
c 
c 
c Core size: 20	Core Weight: 58	Total Weight: 78018
c Current CPU time: 0.959854 s
c
c core #184
c 
c 
c Core size: 19	Core Weight: 32	Total Weight: 78050
c Current CPU time: 0.967852 s
c
c core #185
c 
c 
c Core size: 19	Core Weight: 187	Total Weight: 78237
c Current CPU time: 0.976851 s
c
c core #186
c 
c 
c Core size: 19	Core Weight: 80	Total Weight: 78317
c Current CPU time: 0.98485 s
c
c core #187
c 
c 
c Core size: 14	Core Weight: 251	Total Weight: 78568
c Current CPU time: 0.993848 s
c
c core #188
c 
c 
c Core size: 20	Core Weight: 586	Total Weight: 79154
c Current CPU time: 1.00185 s
c
c core #189
c 
c 
c Core size: 22	Core Weight: 140	Total Weight: 79294
c Current CPU time: 1.00985 s
c
c core #190
c 
c 
c Core size: 12	Core Weight: 294	Total Weight: 79588
c Current CPU time: 1.01885 s
c
c core #191
c 
c 
c Core size: 14	Core Weight: 967	Total Weight: 80555
c Current CPU time: 1.02684 s
c
c core #192
c 
c 
c Core size: 19	Core Weight: 201	Total Weight: 80756
c Current CPU time: 1.03584 s
c
c core #193
c 
c 
c Core size: 19	Core Weight: 111	Total Weight: 80867
c Current CPU time: 1.04484 s
c
c core #194
c 
c 
c Core size: 20	Core Weight: 301	Total Weight: 81168
c Current CPU time: 1.05284 s
c
c core #195
c 
c 
c Core size: 14	Core Weight: 366	Total Weight: 81534
c Current CPU time: 1.06184 s
c
c core #196
c 
c 
c Core size: 15	Core Weight: 24	Total Weight: 81558
c Current CPU time: 1.07084 s
c
c core #197
c 
c 
c Core size: 16	Core Weight: 64	Total Weight: 81622
c Current CPU time: 1.08083 s
c
c core #198
c 
c 
c Core size: 19	Core Weight: 82	Total Weight: 81704
c Current CPU time: 1.08983 s
c
c core #199
c 
c 
c Core size: 18	Core Weight: 484	Total Weight: 82188
c Current CPU time: 1.09983 s
c
c core #200
c 
c 
c Core size: 21	Core Weight: 76	Total Weight: 82264
c Current CPU time: 1.10783 s
c
c core #201
c 
c 
c Core size: 15	Core Weight: 385	Total Weight: 82649
c Current CPU time: 1.11783 s
c
c core #202
c 
c 
c Core size: 19	Core Weight: 174	Total Weight: 82823
c Current CPU time: 1.12583 s
c
c core #203
c 
c 
c Core size: 11	Core Weight: 720	Total Weight: 83543
c Current CPU time: 1.13483 s
c
c core #204
c 
c 
c Core size: 16	Core Weight: 516	Total Weight: 84059
c Current CPU time: 1.14383 s
c
c core #205
c 
c 
c Core size: 19	Core Weight: 84	Total Weight: 84143
c Current CPU time: 1.15282 s
c
c core #206
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 84144
c Current CPU time: 1.16282 s
c
c core #207
c 
c 
c Core size: 21	Core Weight: 81	Total Weight: 84225
c Current CPU time: 1.17282 s
c
c core #208
c 
c 
c Core size: 11	Core Weight: 217	Total Weight: 84442
c Current CPU time: 1.18282 s
c
c core #209
c 
c 
c Core size: 20	Core Weight: 9	Total Weight: 84451
c Current CPU time: 1.19282 s
c
c core #210
c 
c 
c Core size: 16	Core Weight: 287	Total Weight: 84738
c Current CPU time: 1.20282 s
c
c core #211
c 
c 
c Core size: 21	Core Weight: 122	Total Weight: 84860
c Current CPU time: 1.21281 s
c
c core #212
c 
c 
c Core size: 14	Core Weight: 148	Total Weight: 85008
c Current CPU time: 1.22081 s
c
c core #213
c 
c 
c Core size: 10	Core Weight: 283	Total Weight: 85291
c Current CPU time: 1.23081 s
c
c core #214
c 
c 
c Core size: 14	Core Weight: 30	Total Weight: 85321
c Current CPU time: 1.24181 s
c
c core #215
c 
c 
c Core size: 21	Core Weight: 295	Total Weight: 85616
c Current CPU time: 1.25081 s
c
c core #216
c 
c 
c Core size: 11	Core Weight: 719	Total Weight: 86335
c Current CPU time: 1.26181 s
c
c core #217
c 
c 
c Core size: 14	Core Weight: 9	Total Weight: 86344
c Current CPU time: 1.27181 s
c
c core #218
c 
c 
c Core size: 14	Core Weight: 113	Total Weight: 86457
c Current CPU time: 1.2808 s
c
c core #219
c 
c 
c Core size: 11	Core Weight: 516	Total Weight: 86973
c Current CPU time: 1.2908 s
c
c core #220
c 
c 
c Core size: 14	Core Weight: 162	Total Weight: 87135
c Current CPU time: 1.3018 s
c
c core #221
c 
c 
c Core size: 18	Core Weight: 60	Total Weight: 87195
c Current CPU time: 1.3118 s
c
c core #222
c 
c 
c Core size: 8	Core Weight: 689	Total Weight: 87884
c Current CPU time: 1.3218 s
c
c core #223
c 
c 
c Core size: 11	Core Weight: 159	Total Weight: 88043
c Current CPU time: 1.3318 s
c
c core #224
c 
c 
c Core size: 8	Core Weight: 130	Total Weight: 88173
c Current CPU time: 1.34279 s
c
c core #225
c 
c 
c Core size: 15	Core Weight: 266	Total Weight: 88439
c Current CPU time: 1.35179 s
c
c core #226
c 
c 
c Core size: 10	Core Weight: 785	Total Weight: 89224
c Current CPU time: 1.36179 s
c
c core #227
c 
c 
c Core size: 18	Core Weight: 38	Total Weight: 89262
c Current CPU time: 1.37279 s
c
c core #228
c 
c 
c Core size: 20	Core Weight: 588	Total Weight: 89850
c Current CPU time: 1.38179 s
c
c core #229
c 
c 
c Core size: 14	Core Weight: 3	Total Weight: 89853
c Current CPU time: 1.39379 s
c
c core #230
c 
c 
c Core size: 19	Core Weight: 467	Total Weight: 90320
c Current CPU time: 1.40379 s
c
c core #231
c 
c 
c Core size: 55	Core Weight: 9	Total Weight: 90329
c Current CPU time: 1.41478 s
c
c core #232
c 
c 
c Core size: 56	Core Weight: 113	Total Weight: 90442
c Current CPU time: 1.42578 s
c
c core #233
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 90443
c Current CPU time: 1.43678 s
c
c core #234
c 
c 
c Core size: 13	Core Weight: 470	Total Weight: 90913
c Current CPU time: 1.44578 s
c
c core #235
c 
c 
c Core size: 20	Core Weight: 69	Total Weight: 90982
c Current CPU time: 1.45778 s
c
c core #236
c 
c 
c Core size: 18	Core Weight: 23	Total Weight: 91005
c Current CPU time: 1.46778 s
c
c core #237
c 
c 
c Core size: 13	Core Weight: 623	Total Weight: 91628
c Current CPU time: 1.47978 s
c
c core #238
c 
c 
c Core size: 12	Core Weight: 538	Total Weight: 92166
c Current CPU time: 1.49077 s
c
c core #239
c 
c 
c Core size: 14	Core Weight: 230	Total Weight: 92396
c Current CPU time: 1.50277 s
c
c core #240
c 
c 
c Core size: 10	Core Weight: 281	Total Weight: 92677
c Current CPU time: 1.51377 s
c
c core #241
c 
c 
c Core size: 9	Core Weight: 43	Total Weight: 92720
c Current CPU time: 1.52377 s
c
c core #242
c 
c 
c Core size: 18	Core Weight: 247	Total Weight: 92967
c Current CPU time: 1.53477 s
c
c core #243
c 
c 
c Core size: 11	Core Weight: 323	Total Weight: 93290
c Current CPU time: 1.54676 s
c
c core #244
c 
c 
c Core size: 15	Core Weight: 648	Total Weight: 93938
c Current CPU time: 1.55776 s
c
c core #245
c 
c 
c Core size: 14	Core Weight: 837	Total Weight: 94775
c Current CPU time: 1.56976 s
c
c core #246
c 
c 
c Core size: 16	Core Weight: 45	Total Weight: 94820
c Current CPU time: 1.58176 s
c
c core #247
c 
c 
c Core size: 17	Core Weight: 557	Total Weight: 95377
c Current CPU time: 1.59276 s
c
c core #248
c 
c 
c Core size: 22	Core Weight: 201	Total Weight: 95578
c Current CPU time: 1.60476 s
c
c core #249
c 
c 
c Core size: 23	Core Weight: 13	Total Weight: 95591
c Current CPU time: 1.61675 s
c
c core #250
c 
c 
c Core size: 23	Core Weight: 419	Total Weight: 96010
c Current CPU time: 1.62775 s
c
c core #251
c 
c 
c Core size: 16	Core Weight: 137	Total Weight: 96147
c Current CPU time: 1.63975 s
c
c core #252
c 
c 
c Core size: 18	Core Weight: 823	Total Weight: 96970
c Current CPU time: 1.65075 s
c
c core #253
c 
c 
c Core size: 25	Core Weight: 199	Total Weight: 97169
c Current CPU time: 1.66275 s
c
c core #254
c 
c 
c Core size: 19	Core Weight: 317	Total Weight: 97486
c Current CPU time: 1.67475 s
c
c core #255
c 
c 
c Core size: 25	Core Weight: 39	Total Weight: 97525
c Current CPU time: 1.68674 s
c
c core #256
c 
c 
c Core size: 31	Core Weight: 141	Total Weight: 97666
c Current CPU time: 1.69774 s
c
c core #257
c 
c 
c Core size: 34	Core Weight: 62	Total Weight: 97728
c Current CPU time: 1.71074 s
c
c core #258
c 
c 
c Core size: 27	Core Weight: 54	Total Weight: 97782
c Current CPU time: 1.72374 s
c
c core #259
c 
c 
c Core size: 22	Core Weight: 681	Total Weight: 98463
c Current CPU time: 1.73574 s
c
c core #260
c 
c 
c Core size: 29	Core Weight: 283	Total Weight: 98746
c Current CPU time: 1.74773 s
c
c core #261
c 
c 
c Core size: 22	Core Weight: 315	Total Weight: 99061
c Current CPU time: 1.76073 s
c
c core #262
c 
c 
c Core size: 24	Core Weight: 8	Total Weight: 99069
c Current CPU time: 1.77373 s
c
c core #263
c 
c 
c Core size: 23	Core Weight: 22	Total Weight: 99091
c Current CPU time: 1.78673 s
c
c core #264
c 
c 
c Core size: 27	Core Weight: 77	Total Weight: 99168
c Current CPU time: 1.79973 s
c
c core #265
c 
c 
c Core size: 11	Core Weight: 877	Total Weight: 100045
c Current CPU time: 1.81172 s
c
c core #266
c 
c 
c Core size: 12	Core Weight: 268	Total Weight: 100313
c Current CPU time: 1.82472 s
c
c core #267
c 
c 
c Core size: 24	Core Weight: 5	Total Weight: 100318
c Current CPU time: 1.83772 s
c
c core #268
c 
c 
c Core size: 22	Core Weight: 223	Total Weight: 100541
c Current CPU time: 1.84972 s
c
c core #269
c 
c 
c Core size: 22	Core Weight: 184	Total Weight: 100725
c Current CPU time: 1.86372 s
c
c core #270
c 
c 
c Core size: 23	Core Weight: 912	Total Weight: 101637
c Current CPU time: 1.87671 s
c
c core #271
c 
c 
c Core size: 43	Core Weight: 5	Total Weight: 101642
c Current CPU time: 1.88971 s
c
c core #272
c 
c 
c Core size: 44	Core Weight: 3	Total Weight: 101645
c Current CPU time: 1.90171 s
c
c core #273
c 
c 
c Core size: 42	Core Weight: 46	Total Weight: 101691
c Current CPU time: 1.91471 s
c
c core #274
c 
c 
c Core size: 30	Core Weight: 15	Total Weight: 101706
c Current CPU time: 1.92871 s
c
c core #275
c 
c 
c Core size: 24	Core Weight: 51	Total Weight: 101757
c Current CPU time: 1.9417 s
c
c core #276
c 
c 
c Core size: 22	Core Weight: 2	Total Weight: 101759
c Current CPU time: 1.9557 s
c
c core #277
c 
c 
c Core size: 15	Core Weight: 591	Total Weight: 102350
c Current CPU time: 1.9697 s
c
c core #278
c 
c 
c Core size: 11	Core Weight: 134	Total Weight: 102484
c Current CPU time: 1.9847 s
c
c core #279
c 
c 
c Core size: 14	Core Weight: 10	Total Weight: 102494
c Current CPU time: 1.9977 s
c
c core #280
c 
c 
c Core size: 12	Core Weight: 15	Total Weight: 102509
c Current CPU time: 2.01069 s
c
c core #281
c 
c 
c Core size: 20	Core Weight: 285	Total Weight: 102794
c Current CPU time: 2.02469 s
c
c core #282
c 
c 
c Core size: 22	Core Weight: 7	Total Weight: 102801
c Current CPU time: 2.03769 s
c
c core #283
c 
c 
c Core size: 13	Core Weight: 203	Total Weight: 103004
c Current CPU time: 2.05169 s
c
c core #284
c 
c 
c Core size: 14	Core Weight: 935	Total Weight: 103939
c Current CPU time: 2.06469 s
c
c core #285
c 
c 
c Core size: 15	Core Weight: 399	Total Weight: 104338
c Current CPU time: 2.07768 s
c
c core #286
c 
c 
c Core size: 21	Core Weight: 478	Total Weight: 104816
c Current CPU time: 2.09068 s
c
c core #287
c 
c 
c Core size: 14	Core Weight: 500	Total Weight: 105316
c Current CPU time: 2.10468 s
c
c core #288
c 
c 
c Core size: 14	Core Weight: 858	Total Weight: 106174
c Current CPU time: 2.11868 s
c
c core #289
c 
c 
c Core size: 9	Core Weight: 613	Total Weight: 106787
c Current CPU time: 2.13267 s
c
c core #290
c 
c 
c Core size: 11	Core Weight: 646	Total Weight: 107433
c Current CPU time: 2.14567 s
c
c core #291
c 
c 
c Core size: 16	Core Weight: 70	Total Weight: 107503
c Current CPU time: 2.15967 s
c
c core #292
c 
c 
c Core size: 11	Core Weight: 279	Total Weight: 107782
c Current CPU time: 2.17267 s
c
c core #293
c 
c 
c Core size: 14	Core Weight: 178	Total Weight: 107960
c Current CPU time: 2.18667 s
c
c core #294
c 
c 
c Core size: 14	Core Weight: 302	Total Weight: 108262
c Current CPU time: 2.19966 s
c
c core #295
c 
c 
c Core size: 15	Core Weight: 1202	Total Weight: 109464
c Current CPU time: 2.21366 s
c
c core #296
c 
c 
c Core size: 19	Core Weight: 79	Total Weight: 109543
c Current CPU time: 2.22666 s
c
c core #297
c 
c 
c Core size: 14	Core Weight: 81	Total Weight: 109624
c Current CPU time: 2.24066 s
c
c core #298
c 
c 
c Core size: 14	Core Weight: 850	Total Weight: 110474
c Current CPU time: 2.25466 s
c
c core #299
c 
c 
c Core size: 9	Core Weight: 473	Total Weight: 110947
c Current CPU time: 2.26765 s
c
c core #300
c 
c 
c Core size: 15	Core Weight: 60	Total Weight: 111007
c Current CPU time: 2.28165 s
c
c core #301
c 
c 
c Core size: 10	Core Weight: 200	Total Weight: 111207
c Current CPU time: 2.29565 s
c
c core #302
c 
c 
c Core size: 14	Core Weight: 152	Total Weight: 111359
c Current CPU time: 2.31065 s
c
c core #303
c 
c 
c Core size: 21	Core Weight: 172	Total Weight: 111531
c Current CPU time: 2.32465 s
c
c core #304
c 
c 
c Core size: 16	Core Weight: 977	Total Weight: 112508
c Current CPU time: 2.33964 s
c
c core #305
c 
c 
c Core size: 18	Core Weight: 2	Total Weight: 112510
c Current CPU time: 2.35264 s
c
c core #306
c 
c 
c Core size: 18	Core Weight: 58	Total Weight: 112568
c Current CPU time: 2.36564 s
c
c core #307
c 
c 
c Core size: 19	Core Weight: 13	Total Weight: 112581
c Current CPU time: 2.37964 s
c
c core #308
c 
c 
c Core size: 17	Core Weight: 1210	Total Weight: 113791
c Current CPU time: 2.39364 s
c
c core #309
c 
c 
c Core size: 15	Core Weight: 75	Total Weight: 113866
c Current CPU time: 2.40763 s
c
c core #310
c 
c 
c Core size: 17	Core Weight: 202	Total Weight: 114068
c Current CPU time: 2.42063 s
c
c core #311
c 
c 
c Core size: 16	Core Weight: 547	Total Weight: 114615
c Current CPU time: 2.43663 s
c
c core #312
c 
c 
c Core size: 18	Core Weight: 63	Total Weight: 114678
c Current CPU time: 2.45063 s
c
c core #313
c 
c 
c Core size: 20	Core Weight: 73	Total Weight: 114751
c Current CPU time: 2.46462 s
c
c core #314
c 
c 
c Core size: 18	Core Weight: 212	Total Weight: 114963
c Current CPU time: 2.48062 s
c
c core #315
c 
c 
c Core size: 16	Core Weight: 57	Total Weight: 115020
c Current CPU time: 2.49562 s
c
c core #316
c 
c 
c Core size: 17	Core Weight: 4	Total Weight: 115024
c Current CPU time: 2.51062 s
c
c core #317
c 
c 
c Core size: 17	Core Weight: 25	Total Weight: 115049
c Current CPU time: 2.52362 s
c
c core #318
c 
c 
c Core size: 13	Core Weight: 49	Total Weight: 115098
c Current CPU time: 2.53961 s
c
c core #319
c 
c 
c Core size: 12	Core Weight: 311	Total Weight: 115409
c Current CPU time: 2.55361 s
c
c core #320
c 
c 
c Core size: 20	Core Weight: 60	Total Weight: 115469
c Current CPU time: 2.56861 s
c
c core #321
c 
c 
c Core size: 15	Core Weight: 49	Total Weight: 115518
c Current CPU time: 2.58161 s
c
c core #322
c 
c 
c Core size: 8	Core Weight: 34	Total Weight: 115552
c Current CPU time: 2.59761 s
c
c core #323
c 
c 
c Core size: 16	Core Weight: 283	Total Weight: 115835
c Current CPU time: 2.6126 s
c
c core #324
c 
c 
c Core size: 20	Core Weight: 107	Total Weight: 115942
c Current CPU time: 2.6276 s
c
c core #325
c 
c 
c Core size: 14	Core Weight: 45	Total Weight: 115987
c Current CPU time: 2.6426 s
c
c core #326
c 
c 
c Core size: 17	Core Weight: 720	Total Weight: 116707
c Current CPU time: 2.6576 s
c
c core #327
c 
c 
c Core size: 23	Core Weight: 12	Total Weight: 116719
c Current CPU time: 2.67359 s
c
c core #328
c 
c 
c Core size: 16	Core Weight: 367	Total Weight: 117086
c Current CPU time: 2.68859 s
c
c core #329
c 
c 
c Core size: 39	Core Weight: 93	Total Weight: 117179
c Current CPU time: 2.70359 s
c
c core #330
c 
c 
c Core size: 43	Core Weight: 124	Total Weight: 117303
c Current CPU time: 2.71859 s
c
c core #331
c 
c 
c Core size: 42	Core Weight: 242	Total Weight: 117545
c Current CPU time: 2.73258 s
c
c core #332
c 
c 
c Core size: 41	Core Weight: 52	Total Weight: 117597
c Current CPU time: 2.74858 s
c
c core #333
c 
c 
c Core size: 38	Core Weight: 36	Total Weight: 117633
c Current CPU time: 2.76458 s
c
c core #334
c 
c 
c Core size: 61	Core Weight: 12	Total Weight: 117645
c Current CPU time: 2.77958 s
c
c core #335
c 
c 
c Core size: 63	Core Weight: 45	Total Weight: 117690
c Current CPU time: 2.79557 s
c
c core #336
c 
c 
c Core size: 63	Core Weight: 4	Total Weight: 117694
c Current CPU time: 2.81057 s
c
c core #337
c 
c 
c Core size: 63	Core Weight: 25	Total Weight: 117719
c Current CPU time: 2.82557 s
c
c core #338
c 
c 
c Core size: 63	Core Weight: 49	Total Weight: 117768
c Current CPU time: 2.84157 s
c
c core #339
c 
c 
c Core size: 63	Core Weight: 7	Total Weight: 117775
c Current CPU time: 2.85857 s
c
c core #340
c 
c 
c Core size: 63	Core Weight: 53	Total Weight: 117828
c Current CPU time: 2.87456 s
c
c core #341
c 
c 
c Core size: 60	Core Weight: 43	Total Weight: 117871
c Current CPU time: 2.89056 s
c
c core #342
c 
c 
c Core size: 21	Core Weight: 91	Total Weight: 117962
c Current CPU time: 2.90656 s
c
c core #343
c 
c 
c Core size: 21	Core Weight: 43	Total Weight: 118005
c Current CPU time: 2.92355 s
c
c core #344
c 
c 
c Core size: 23	Core Weight: 108	Total Weight: 118113
c Current CPU time: 2.94055 s
c
c core #345
c 
c 
c Core size: 19	Core Weight: 4	Total Weight: 118117
c Current CPU time: 2.95755 s
c
c core #346
c 
c 
c Core size: 17	Core Weight: 28	Total Weight: 118145
c Current CPU time: 2.97355 s
c
c core #347
c 
c 
c Core size: 20	Core Weight: 548	Total Weight: 118693
c Current CPU time: 2.99154 s
c
c core #348
c 
c 
c Core size: 21	Core Weight: 61	Total Weight: 118754
c Current CPU time: 3.00854 s
c
c core #349
c 
c 
c Core size: 21	Core Weight: 13	Total Weight: 118767
c Current CPU time: 3.02554 s
c
c core #350
c 
c 
c Core size: 17	Core Weight: 260	Total Weight: 119027
c Current CPU time: 3.04254 s
c
c core #351
c 
c 
c Core size: 12	Core Weight: 61	Total Weight: 119088
c Current CPU time: 3.05953 s
c
c core #352
c 
c 
c Core size: 23	Core Weight: 115	Total Weight: 119203
c Current CPU time: 3.07653 s
c
c core #353
c 
c 
c Core size: 14	Core Weight: 855	Total Weight: 120058
c Current CPU time: 3.09453 s
c
c core #354
c 
c 
c Core size: 28	Core Weight: 154	Total Weight: 120212
c Current CPU time: 3.11153 s
c
c core #355
c 
c 
c Core size: 22	Core Weight: 80	Total Weight: 120292
c Current CPU time: 3.12852 s
c
c core #356
c 
c 
c Core size: 22	Core Weight: 30	Total Weight: 120322
c Current CPU time: 3.14652 s
c
c core #357
c 
c 
c Core size: 27	Core Weight: 2	Total Weight: 120324
c Current CPU time: 3.16452 s
c
c core #358
c 
c 
c Core size: 35	Core Weight: 9	Total Weight: 120333
c Current CPU time: 3.18252 s
c
c core #359
c 
c 
c Core size: 14	Core Weight: 547	Total Weight: 120880
c Current CPU time: 3.20051 s
c
c core #360
c 
c 
c Core size: 33	Core Weight: 6	Total Weight: 120886
c Current CPU time: 3.21951 s
c
c core #361
c 
c 
c Core size: 11	Core Weight: 274	Total Weight: 121160
c Current CPU time: 3.23751 s
c
c core #362
c 
c 
c Core size: 32	Core Weight: 106	Total Weight: 121266
c Current CPU time: 3.2555 s
c
c core #363
c 
c 
c Core size: 16	Core Weight: 507	Total Weight: 121773
c Current CPU time: 3.2715 s
c
c core #364
c 
c 
c Core size: 16	Core Weight: 937	Total Weight: 122710
c Current CPU time: 3.2885 s
c
c core #365
c 
c 
c Core size: 19	Core Weight: 211	Total Weight: 122921
c Current CPU time: 3.3055 s
c
c core #366
c 
c 
c Core size: 17	Core Weight: 800	Total Weight: 123721
c Current CPU time: 3.32349 s
c
c core #367
c 
c 
c Core size: 16	Core Weight: 99	Total Weight: 123820
c Current CPU time: 3.34149 s
c
c core #368
c 
c 
c Core size: 13	Core Weight: 249	Total Weight: 124069
c Current CPU time: 3.35949 s
c
c core #369
c 
c 
c Core size: 11	Core Weight: 120	Total Weight: 124189
c Current CPU time: 3.37849 s
c
c core #370
c 
c 
c Core size: 20	Core Weight: 427	Total Weight: 124616
c Current CPU time: 3.39548 s
c
c core #371
c 
c 
c Core size: 22	Core Weight: 279	Total Weight: 124895
c Current CPU time: 3.41348 s
c
c core #372
c 
c 
c Core size: 19	Core Weight: 137	Total Weight: 125032
c Current CPU time: 3.43148 s
c
c core #373
c 
c 
c Core size: 19	Core Weight: 172	Total Weight: 125204
c Current CPU time: 3.45047 s
c
c core #374
c 
c 
c Core size: 18	Core Weight: 353	Total Weight: 125557
c Current CPU time: 3.46847 s
c
c core #375
c 
c 
c Core size: 18	Core Weight: 38	Total Weight: 125595
c Current CPU time: 3.48547 s
c
c core #376
c 
c 
c Core size: 18	Core Weight: 611	Total Weight: 126206
c Current CPU time: 3.50347 s
c
c core #377
c 
c 
c Core size: 16	Core Weight: 71	Total Weight: 126277
c Current CPU time: 3.52246 s
c
c core #378
c 
c 
c Core size: 17	Core Weight: 213	Total Weight: 126490
c Current CPU time: 3.54046 s
c
c core #379
c 
c 
c Core size: 22	Core Weight: 260	Total Weight: 126750
c Current CPU time: 3.55746 s
c
c core #380
c 
c 
c Core size: 22	Core Weight: 649	Total Weight: 127399
c Current CPU time: 3.57546 s
c
c core #381
c 
c 
c Core size: 20	Core Weight: 165	Total Weight: 127564
c Current CPU time: 3.59345 s
c
c core #382
c 
c 
c Core size: 24	Core Weight: 229	Total Weight: 127793
c Current CPU time: 3.61045 s
c
c core #383
c 
c 
c Core size: 11	Core Weight: 372	Total Weight: 128165
c Current CPU time: 3.62945 s
c
c core #384
c 
c 
c Core size: 29	Core Weight: 9	Total Weight: 128174
c Current CPU time: 3.64644 s
c
c core #385
c 
c 
c Core size: 17	Core Weight: 120	Total Weight: 128294
c Current CPU time: 3.66544 s
c
c core #386
c 
c 
c Core size: 11	Core Weight: 219	Total Weight: 128513
c Current CPU time: 3.68444 s
c
c core #387
c 
c 
c Core size: 14	Core Weight: 236	Total Weight: 128749
c Current CPU time: 3.70244 s
c
c core #388
c 
c 
c Core size: 21	Core Weight: 296	Total Weight: 129045
c Current CPU time: 3.72143 s
c
c core #389
c 
c 
c Core size: 20	Core Weight: 97	Total Weight: 129142
c Current CPU time: 3.73843 s
c
c core #390
c 
c 
c Core size: 21	Core Weight: 26	Total Weight: 129168
c Current CPU time: 3.75743 s
c
c core #391
c 
c 
c Core size: 18	Core Weight: 678	Total Weight: 129846
c Current CPU time: 3.77643 s
c
c core #392
c 
c 
c Core size: 29	Core Weight: 47	Total Weight: 129893
c Current CPU time: 3.79642 s
c
c core #393
c 
c 
c Core size: 29	Core Weight: 271	Total Weight: 130164
c Current CPU time: 3.81542 s
c
c core #394
c 
c 
c Core size: 29	Core Weight: 334	Total Weight: 130498
c Current CPU time: 3.83542 s
c
c core #395
c 
c 
c Core size: 45	Core Weight: 53	Total Weight: 130551
c Current CPU time: 3.85641 s
c
c core #396
c 
c 
c Core size: 44	Core Weight: 19	Total Weight: 130570
c Current CPU time: 3.87541 s
c
c core #397
c 
c 
c Core size: 19	Core Weight: 4	Total Weight: 130574
c Current CPU time: 3.89441 s
c
c core #398
c 
c 
c Core size: 16	Core Weight: 32	Total Weight: 130606
c Current CPU time: 3.9144 s
c
c core #399
c 
c 
c Core size: 16	Core Weight: 28	Total Weight: 130634
c Current CPU time: 3.9334 s
c
c core #400
c 
c 
c Core size: 16	Core Weight: 30	Total Weight: 130664
c Current CPU time: 3.9514 s
c
c core #401
c 
c 
c Core size: 15	Core Weight: 196	Total Weight: 130860
c Current CPU time: 3.9704 s
c
c core #402
c 
c 
c Core size: 22	Core Weight: 290	Total Weight: 131150
c Current CPU time: 3.98939 s
c
c core #403
c 
c 
c Core size: 21	Core Weight: 57	Total Weight: 131207
c Current CPU time: 4.00739 s
c
c core #404
c 
c 
c Core size: 10	Core Weight: 174	Total Weight: 131381
c Current CPU time: 4.02639 s
c
c core #405
c 
c 
c Core size: 13	Core Weight: 143	Total Weight: 131524
c Current CPU time: 4.04538 s
c
c core #406
c 
c 
c Core size: 16	Core Weight: 170	Total Weight: 131694
c Current CPU time: 4.06438 s
c
c core #407
c 
c 
c Core size: 8	Core Weight: 58	Total Weight: 131752
c Current CPU time: 4.08338 s
c
c core #408
c 
c 
c Core size: 12	Core Weight: 616	Total Weight: 132368
c Current CPU time: 4.10238 s
c
c core #409
c 
c 
c Core size: 14	Core Weight: 609	Total Weight: 132977
c Current CPU time: 4.12137 s
c
c core #410
c 
c 
c Core size: 15	Core Weight: 558	Total Weight: 133535
c Current CPU time: 4.14137 s
c
c core #411
c 
c 
c Core size: 21	Core Weight: 375	Total Weight: 133910
c Current CPU time: 4.16037 s
c
c core #412
c 
c 
c Core size: 16	Core Weight: 179	Total Weight: 134089
c Current CPU time: 4.18036 s
c
c core #413
c 
c 
c Core size: 21	Core Weight: 64	Total Weight: 134153
c Current CPU time: 4.19836 s
c
c core #414
c 
c 
c Core size: 21	Core Weight: 468	Total Weight: 134621
c Current CPU time: 4.21836 s
c
c core #415
c 
c 
c Core size: 21	Core Weight: 82	Total Weight: 134703
c Current CPU time: 4.23735 s
c
c core #416
c 
c 
c Core size: 23	Core Weight: 99	Total Weight: 134802
c Current CPU time: 4.25635 s
c
c core #417
c 
c 
c Core size: 24	Core Weight: 485	Total Weight: 135287
c Current CPU time: 4.27635 s
c
c core #418
c 
c 
c Core size: 21	Core Weight: 9	Total Weight: 135296
c Current CPU time: 4.29635 s
c
c core #419
c 
c 
c Core size: 26	Core Weight: 180	Total Weight: 135476
c Current CPU time: 4.31634 s
c
c core #420
c 
c 
c Core size: 19	Core Weight: 214	Total Weight: 135690
c Current CPU time: 4.33634 s
c
c core #421
c 
c 
c Core size: 19	Core Weight: 100	Total Weight: 135790
c Current CPU time: 4.35534 s
c
c core #422
c 
c 
c Core size: 18	Core Weight: 329	Total Weight: 136119
c Current CPU time: 4.37633 s
c
c core #423
c 
c 
c Core size: 17	Core Weight: 112	Total Weight: 136231
c Current CPU time: 4.39733 s
c
c core #424
c 
c 
c Core size: 15	Core Weight: 219	Total Weight: 136450
c Current CPU time: 4.41733 s
c
c core #425
c 
c 
c Core size: 18	Core Weight: 217	Total Weight: 136667
c Current CPU time: 4.43633 s
c
c core #426
c 
c 
c Core size: 19	Core Weight: 327	Total Weight: 136994
c Current CPU time: 4.45732 s
c
c core #427
c 
c 
c Core size: 19	Core Weight: 46	Total Weight: 137040
c Current CPU time: 4.47832 s
c
c core #428
c 
c 
c Core size: 17	Core Weight: 176	Total Weight: 137216
c Current CPU time: 4.49932 s
c
c core #429
c 
c 
c Core size: 17	Core Weight: 3	Total Weight: 137219
c Current CPU time: 4.52031 s
c
c core #430
c 
c 
c Core size: 20	Core Weight: 433	Total Weight: 137652
c Current CPU time: 4.54131 s
c
c core #431
c 
c 
c Core size: 17	Core Weight: 126	Total Weight: 137778
c Current CPU time: 4.56231 s
c
c core #432
c 
c 
c Core size: 10	Core Weight: 21	Total Weight: 137799
c Current CPU time: 4.5813 s
c
c core #433
c 
c 
c Core size: 12	Core Weight: 748	Total Weight: 138547
c Current CPU time: 4.6023 s
c
c core #434
c 
c 
c Core size: 12	Core Weight: 615	Total Weight: 139162
c Current CPU time: 4.6233 s
c
c core #435
c 
c 
c Core size: 38	Core Weight: 4	Total Weight: 139166
c Current CPU time: 4.64429 s
c
c core #436
c 
c 
c Core size: 38	Core Weight: 2	Total Weight: 139168
c Current CPU time: 4.66529 s
c
c core #437
c 
c 
c Core size: 44	Core Weight: 30	Total Weight: 139198
c Current CPU time: 4.68529 s
c
c core #438
c 
c 
c Core size: 44	Core Weight: 41	Total Weight: 139239
c Current CPU time: 4.70628 s
c
c core #439
c 
c 
c Core size: 50	Core Weight: 60	Total Weight: 139299
c Current CPU time: 4.72828 s
c
c core #440
c 
c 
c Core size: 50	Core Weight: 93	Total Weight: 139392
c Current CPU time: 4.74928 s
c
c core #441
c 
c 
c Core size: 38	Core Weight: 15	Total Weight: 139407
c Current CPU time: 4.77127 s
c
c core #442
c 
c 
c Core size: 38	Core Weight: 2	Total Weight: 139409
c Current CPU time: 4.79327 s
c
c core #443
c 
c 
c Core size: 10	Core Weight: 522	Total Weight: 139931
c Current CPU time: 4.81527 s
c
c core #444
c 
c 
c Core size: 37	Core Weight: 55	Total Weight: 139986
c Current CPU time: 4.83726 s
c
c core #445
c 
c 
c Core size: 36	Core Weight: 88	Total Weight: 140074
c Current CPU time: 4.85926 s
c
c core #446
c 
c 
c Core size: 19	Core Weight: 373	Total Weight: 140447
c Current CPU time: 4.88226 s
c
c core #447
c 
c 
c Core size: 62	Core Weight: 7	Total Weight: 140454
c Current CPU time: 4.90525 s
c
c core #448
c 
c 
c Core size: 17	Core Weight: 16	Total Weight: 140470
c Current CPU time: 4.92525 s
c
c core #449
c 
c 
c Core size: 17	Core Weight: 544	Total Weight: 141014
c Current CPU time: 4.94925 s
c
c core #450
c 
c 
c Core size: 26	Core Weight: 52	Total Weight: 141066
c Current CPU time: 4.96924 s
c
c core #451
c 
c 
c Core size: 13	Core Weight: 186	Total Weight: 141252
c Current CPU time: 4.99124 s
c
c core #452
c 
c 
c Core size: 14	Core Weight: 1057	Total Weight: 142309
c Current CPU time: 5.01324 s
c
c core #453
c 
c 
c Core size: 43	Core Weight: 4	Total Weight: 142313
c Current CPU time: 5.03523 s
c
c core #454
c 
c 
c Core size: 16	Core Weight: 144	Total Weight: 142457
c Current CPU time: 5.05523 s
c
c core #455
c 
c 
c Core size: 16	Core Weight: 98	Total Weight: 142555
c Current CPU time: 5.07823 s
c
c core #456
c 
c 
c Core size: 19	Core Weight: 31	Total Weight: 142586
c Current CPU time: 5.10122 s
c
c core #457
c 
c 
c Core size: 25	Core Weight: 310	Total Weight: 142896
c Current CPU time: 5.12522 s
c
c core #458
c 
c 
c Core size: 11	Core Weight: 206	Total Weight: 143102
c Current CPU time: 5.14822 s
c
c core #459
c 
c 
c Core size: 16	Core Weight: 95	Total Weight: 143197
c Current CPU time: 5.17021 s
c
c core #460
c 
c 
c Core size: 18	Core Weight: 454	Total Weight: 143651
c Current CPU time: 5.19121 s
c
c core #461
c 
c 
c Core size: 13	Core Weight: 330	Total Weight: 143981
c Current CPU time: 5.21321 s
c
c core #462
c 
c 
c Core size: 11	Core Weight: 210	Total Weight: 144191
c Current CPU time: 5.2362 s
c
c core #463
c 
c 
c Core size: 14	Core Weight: 899	Total Weight: 145090
c Current CPU time: 5.2572 s
c
c core #464
c 
c 
c Core size: 89	Core Weight: 18	Total Weight: 145108
c Current CPU time: 5.2822 s
c
c core #465
c 
c 
c Core size: 16	Core Weight: 247	Total Weight: 145355
c Current CPU time: 5.30519 s
c
c core #466
c 
c 
c Core size: 17	Core Weight: 14	Total Weight: 145369
c Current CPU time: 5.32819 s
c
c core #467
c 
c 
c Core size: 8	Core Weight: 762	Total Weight: 146131
c Current CPU time: 5.35019 s
c
c core #468
c 
c 
c Core size: 11	Core Weight: 77	Total Weight: 146208
c Current CPU time: 5.37018 s
c
c core #469
c 
c 
c Core size: 8	Core Weight: 530	Total Weight: 146738
c Current CPU time: 5.39218 s
c
c core #470
c 
c 
c Core size: 12	Core Weight: 27	Total Weight: 146765
c Current CPU time: 5.41418 s
c
c core #471
c 
c 
c Core size: 8	Core Weight: 584	Total Weight: 147349
c Current CPU time: 5.43617 s
c
c core #472
c 
c 
c Core size: 14	Core Weight: 51	Total Weight: 147400
c Current CPU time: 5.45917 s
c
c core #473
c 
c 
c Core size: 19	Core Weight: 395	Total Weight: 147795
c Current CPU time: 5.48217 s
c
c core #474
c 
c 
c Core size: 22	Core Weight: 294	Total Weight: 148089
c Current CPU time: 5.50416 s
c
c core #475
c 
c 
c Core size: 13	Core Weight: 35	Total Weight: 148124
c Current CPU time: 5.52816 s
c
c core #476
c 
c 
c Core size: 19	Core Weight: 206	Total Weight: 148330
c Current CPU time: 5.55116 s
c
c core #477
c 
c 
c Core size: 19	Core Weight: 88	Total Weight: 148418
c Current CPU time: 5.57515 s
c
c core #478
c 
c 
c Core size: 19	Core Weight: 127	Total Weight: 148545
c Current CPU time: 5.59715 s
c
c core #479
c 
c 
c Core size: 18	Core Weight: 32	Total Weight: 148577
c Current CPU time: 5.62115 s
c
c core #480
c 
c 
c Core size: 13	Core Weight: 500	Total Weight: 149077
c Current CPU time: 5.64414 s
c
c core #481
c 
c 
c Core size: 11	Core Weight: 414	Total Weight: 149491
c Current CPU time: 5.66714 s
c
c core #482
c 
c 
c Core size: 16	Core Weight: 940	Total Weight: 150431
c Current CPU time: 5.69113 s
c
c core #483
c 
c 
c Core size: 11	Core Weight: 444	Total Weight: 150875
c Current CPU time: 5.71613 s
c
c core #484
c 
c 
c Core size: 14	Core Weight: 229	Total Weight: 151104
c Current CPU time: 5.73913 s
c
c core #485
c 
c 
c Core size: 22	Core Weight: 81	Total Weight: 151185
c Current CPU time: 5.76312 s
c
c core #486
c 
c 
c Core size: 27	Core Weight: 55	Total Weight: 151240
c Current CPU time: 5.78612 s
c
c core #487
c 
c 
c Core size: 32	Core Weight: 13	Total Weight: 151253
c Current CPU time: 5.81012 s
c
c core #488
c 
c 
c Core size: 32	Core Weight: 75	Total Weight: 151328
c Current CPU time: 5.83311 s
c
c core #489
c 
c 
c Core size: 30	Core Weight: 53	Total Weight: 151381
c Current CPU time: 5.85611 s
c
c core #490
c 
c 
c Core size: 29	Core Weight: 8	Total Weight: 151389
c Current CPU time: 5.8811 s
c
c core #491
c 
c 
c Core size: 32	Core Weight: 2	Total Weight: 151391
c Current CPU time: 5.9041 s
c
c core #492
c 
c 
c Core size: 20	Core Weight: 219	Total Weight: 151610
c Current CPU time: 5.9261 s
c
c core #493
c 
c 
c Core size: 16	Core Weight: 353	Total Weight: 151963
c Current CPU time: 5.9501 s
c
c core #494
c 
c 
c Core size: 19	Core Weight: 102	Total Weight: 152065
c Current CPU time: 5.97409 s
c
c core #495
c 
c 
c Core size: 43	Core Weight: 4	Total Weight: 152069
c Current CPU time: 5.99809 s
c
c core #496
c 
c 
c Core size: 38	Core Weight: 9	Total Weight: 152078
c Current CPU time: 6.02208 s
c
c core #497
c 
c 
c Core size: 39	Core Weight: 4	Total Weight: 152082
c Current CPU time: 6.04608 s
c
c core #498
c 
c 
c Core size: 38	Core Weight: 71	Total Weight: 152153
c Current CPU time: 6.07108 s
c
c core #499
c 
c 
c Core size: 14	Core Weight: 368	Total Weight: 152521
c Current CPU time: 6.09607 s
c
c core #500
c 
c 
c Core size: 17	Core Weight: 604	Total Weight: 153125
c Current CPU time: 6.12207 s
c
c core #501
c 
c 
c Core size: 12	Core Weight: 147	Total Weight: 153272
c Current CPU time: 6.14706 s
c
c core #502
c 
c 
c Core size: 15	Core Weight: 12	Total Weight: 153284
c Current CPU time: 6.16906 s
c
c core #503
c 
c 
c Core size: 18	Core Weight: 306	Total Weight: 153590
c Current CPU time: 6.19606 s
c
c core #504
c 
c 
c Core size: 19	Core Weight: 239	Total Weight: 153829
c Current CPU time: 6.22105 s
c
c core #505
c 
c 
c Core size: 21	Core Weight: 292	Total Weight: 154121
c Current CPU time: 6.24705 s
c
c core #506
c 
c 
c Core size: 21	Core Weight: 318	Total Weight: 154439
c Current CPU time: 6.27405 s
c
c core #507
c 
c 
c Core size: 22	Core Weight: 410	Total Weight: 154849
c Current CPU time: 6.29904 s
c
c core #508
c 
c 
c Core size: 22	Core Weight: 325	Total Weight: 155174
c Current CPU time: 6.32404 s
c
c core #509
c 
c 
c Core size: 20	Core Weight: 138	Total Weight: 155312
c Current CPU time: 6.35003 s
c
c core #510
c 
c 
c Core size: 30	Core Weight: 11	Total Weight: 155323
c Current CPU time: 6.37703 s
c
c core #511
c 
c 
c Core size: 18	Core Weight: 328	Total Weight: 155651
c Current CPU time: 6.40303 s
c
c core #512
c 
c 
c Core size: 22	Core Weight: 198	Total Weight: 155849
c Current CPU time: 6.42802 s
c
c core #513
c 
c 
c Core size: 14	Core Weight: 187	Total Weight: 156036
c Current CPU time: 6.45402 s
c
c core #514
c 
c 
c Core size: 57	Core Weight: 14	Total Weight: 156050
c Current CPU time: 6.47902 s
c
c core #515
c 
c 
c Core size: 17	Core Weight: 1145	Total Weight: 157195
c Current CPU time: 6.50701 s
c
c core #516
c 
c 
c Core size: 17	Core Weight: 122	Total Weight: 157317
c Current CPU time: 6.53401 s
c
c core #517
c 
c 
c Core size: 11	Core Weight: 493	Total Weight: 157810
c Current CPU time: 6.559 s
c
c core #518
c 
c 
c Core size: 27	Core Weight: 268	Total Weight: 158078
c Current CPU time: 6.585 s
c
c core #519
c 
c 
c Core size: 24	Core Weight: 279	Total Weight: 158357
c Current CPU time: 6.61199 s
c
c core #520
c 
c 
c Core size: 17	Core Weight: 110	Total Weight: 158467
c Current CPU time: 6.63799 s
c
c core #521
c 
c 
c Core size: 14	Core Weight: 770	Total Weight: 159237
c Current CPU time: 6.66499 s
c
c core #522
c 
c 
c Core size: 19	Core Weight: 222	Total Weight: 159459
c Current CPU time: 6.69098 s
c
c core #523
c 
c 
c Core size: 26	Core Weight: 63	Total Weight: 159522
c Current CPU time: 6.71798 s
c
c core #524
c 
c 
c Core size: 14	Core Weight: 610	Total Weight: 160132
c Current CPU time: 6.74597 s
c
c core #525
c 
c 
c Core size: 13	Core Weight: 226	Total Weight: 160358
c Current CPU time: 6.77497 s
c
c core #526
c 
c 
c Core size: 13	Core Weight: 45	Total Weight: 160403
c Current CPU time: 6.80297 s
c
c core #527
c 
c 
c Core size: 89	Core Weight: 30	Total Weight: 160433
c Current CPU time: 6.83096 s
c
c core #528
c 
c 
c Core size: 11	Core Weight: 21	Total Weight: 160454
c Current CPU time: 6.85896 s
c
c core #529
c 
c 
c Core size: 11	Core Weight: 108	Total Weight: 160562
c Current CPU time: 6.88795 s
c
c core #530
c 
c 
c Core size: 11	Core Weight: 218	Total Weight: 160780
c Current CPU time: 6.91495 s
c
c core #531
c 
c 
c Core size: 8	Core Weight: 715	Total Weight: 161495
c Current CPU time: 6.94294 s
c
c core #532
c 
c 
c Core size: 8	Core Weight: 507	Total Weight: 162002
c Current CPU time: 6.96794 s
c
c core #533
c 
c 
c Core size: 8	Core Weight: 101	Total Weight: 162103
c Current CPU time: 6.99394 s
c
c core #534
c 
c 
c Core size: 13	Core Weight: 93	Total Weight: 162196
c Current CPU time: 7.01893 s
c
c core #535
c 
c 
c Core size: 16	Core Weight: 199	Total Weight: 162395
c Current CPU time: 7.04293 s
c
c core #536
c 
c 
c Core size: 10	Core Weight: 733	Total Weight: 163128
c Current CPU time: 7.06992 s
c
c core #537
c 
c 
c Core size: 14	Core Weight: 726	Total Weight: 163854
c Current CPU time: 7.09492 s
c
c core #538
c 
c 
c Core size: 17	Core Weight: 374	Total Weight: 164228
c Current CPU time: 7.12192 s
c
c core #539
c 
c 
c Core size: 17	Core Weight: 20	Total Weight: 164248
c Current CPU time: 7.14691 s
c
c core #540
c 
c 
c Core size: 17	Core Weight: 288	Total Weight: 164536
c Current CPU time: 7.17291 s
c
c core #541
c 
c 
c Core size: 14	Core Weight: 157	Total Weight: 164693
c Current CPU time: 7.19791 s
c
c core #542
c 
c 
c Core size: 22	Core Weight: 29	Total Weight: 164722
c Current CPU time: 7.2229 s
c
c core #543
c 
c 
c Core size: 14	Core Weight: 1479	Total Weight: 166201
c Current CPU time: 7.2499 s
c
c core #544
c 
c 
c Core size: 11	Core Weight: 105	Total Weight: 166306
c Current CPU time: 7.27589 s
c
c core #545
c 
c 
c Core size: 18	Core Weight: 674	Total Weight: 166980
c Current CPU time: 7.30089 s
c
c core #546
c 
c 
c Core size: 20	Core Weight: 72	Total Weight: 167052
c Current CPU time: 7.32689 s
c
c core #547
c 
c 
c Core size: 20	Core Weight: 963	Total Weight: 168015
c Current CPU time: 7.35288 s
c
c core #548
c 
c 
c Core size: 13	Core Weight: 286	Total Weight: 168301
c Current CPU time: 7.37988 s
c
c core #549
c 
c 
c Core size: 21	Core Weight: 43	Total Weight: 168344
c Current CPU time: 7.40687 s
c
c core #550
c 
c 
c Core size: 23	Core Weight: 17	Total Weight: 168361
c Current CPU time: 7.43387 s
c
c core #551
c 
c 
c Core size: 17	Core Weight: 468	Total Weight: 168829
c Current CPU time: 7.46087 s
c
c core #552
c 
c 
c Core size: 22	Core Weight: 79	Total Weight: 168908
c Current CPU time: 7.48786 s
c
c core #553
c 
c 
c Core size: 13	Core Weight: 179	Total Weight: 169087
c Current CPU time: 7.51386 s
c
c core #554
c 
c 
c Core size: 9	Core Weight: 323	Total Weight: 169410
c Current CPU time: 7.53785 s
c
c core #555
c 
c 
c Core size: 12	Core Weight: 101	Total Weight: 169511
c Current CPU time: 7.56385 s
c
c core #556
c 
c 
c Core size: 26	Core Weight: 266	Total Weight: 169777
c Current CPU time: 7.58985 s
c
c core #557
c 
c 
c Core size: 20	Core Weight: 6	Total Weight: 169783
c Current CPU time: 7.61784 s
c
c core #558
c 
c 
c Core size: 25	Core Weight: 128	Total Weight: 169911
c Current CPU time: 7.64484 s
c
c core #559
c 
c 
c Core size: 18	Core Weight: 81	Total Weight: 169992
c Current CPU time: 7.67183 s
c
c core #560
c 
c 
c Core size: 15	Core Weight: 88	Total Weight: 170080
c Current CPU time: 7.69783 s
c
c core #561
c 
c 
c Core size: 12	Core Weight: 37	Total Weight: 170117
c Current CPU time: 7.72583 s
c
c core #562
c 
c 
c Core size: 11	Core Weight: 187	Total Weight: 170304
c Current CPU time: 7.75182 s
c
c core #563
c 
c 
c Core size: 12	Core Weight: 227	Total Weight: 170531
c Current CPU time: 7.77882 s
c
c core #564
c 
c 
c Core size: 17	Core Weight: 12	Total Weight: 170543
c Current CPU time: 7.80581 s
c
c core #565
c 
c 
c Core size: 12	Core Weight: 423	Total Weight: 170966
c Current CPU time: 7.83381 s
c
c core #566
c 
c 
c Core size: 11	Core Weight: 143	Total Weight: 171109
c Current CPU time: 7.8608 s
c
c core #567
c 
c 
c Core size: 18	Core Weight: 298	Total Weight: 171407
c Current CPU time: 7.8878 s
c
c core #568
c 
c 
c Core size: 12	Core Weight: 744	Total Weight: 172151
c Current CPU time: 7.9158 s
c
c core #569
c 
c 
c Core size: 15	Core Weight: 373	Total Weight: 172524
c Current CPU time: 7.94179 s
c
c core #570
c 
c 
c Core size: 15	Core Weight: 38	Total Weight: 172562
c Current CPU time: 7.96979 s
c
c core #571
c 
c 
c Core size: 28	Core Weight: 12	Total Weight: 172574
c Current CPU time: 7.99678 s
c
c core #572
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 172575
c Current CPU time: 8.02478 s
c
c core #573
c 
c 
c Core size: 18	Core Weight: 376	Total Weight: 172951
c Current CPU time: 8.05078 s
c
c core #574
c 
c 
c Core size: 17	Core Weight: 163	Total Weight: 173114
c Current CPU time: 8.07877 s
c
c core #575
c 
c 
c Core size: 18	Core Weight: 25	Total Weight: 173139
c Current CPU time: 8.10577 s
c
c core #576
c 
c 
c Core size: 18	Core Weight: 276	Total Weight: 173415
c Current CPU time: 8.13176 s
c
c core #577
c 
c 
c Core size: 24	Core Weight: 212	Total Weight: 173627
c Current CPU time: 8.15976 s
c
c core #578
c 
c 
c Core size: 21	Core Weight: 377	Total Weight: 174004
c Current CPU time: 8.18576 s
c
c core #579
c 
c 
c Core size: 10	Core Weight: 623	Total Weight: 174627
c Current CPU time: 8.21375 s
c
c core #580
c 
c 
c Core size: 9	Core Weight: 175	Total Weight: 174802
c Current CPU time: 8.23875 s
c
c core #581
c 
c 
c Core size: 11	Core Weight: 406	Total Weight: 175208
c Current CPU time: 8.26674 s
c
c core #582
c 
c 
c Core size: 47	Core Weight: 26	Total Weight: 175234
c Current CPU time: 8.29174 s
c
c core #583
c 
c 
c Core size: 9	Core Weight: 241	Total Weight: 175475
c Current CPU time: 8.32173 s
c
c core #584
c 
c 
c Core size: 11	Core Weight: 93	Total Weight: 175568
c Current CPU time: 8.34973 s
c
c core #585
c 
c 
c Core size: 16	Core Weight: 1174	Total Weight: 176742
c Current CPU time: 8.37573 s
c
c core #586
c 
c 
c Core size: 8	Core Weight: 86	Total Weight: 176828
c Current CPU time: 8.40272 s
c
c core #587
c 
c 
c Core size: 16	Core Weight: 378	Total Weight: 177206
c Current CPU time: 8.42972 s
c
c core #588
c 
c 
c Core size: 14	Core Weight: 1378	Total Weight: 178584
c Current CPU time: 8.45771 s
c
c core #589
c 
c 
c Core size: 19	Core Weight: 49	Total Weight: 178633
c Current CPU time: 8.48571 s
c
c core #590
c 
c 
c Core size: 16	Core Weight: 881	Total Weight: 179514
c Current CPU time: 8.5137 s
c
c core #591
c 
c 
c Core size: 21	Core Weight: 27	Total Weight: 179541
c Current CPU time: 8.5407 s
c
c core #592
c 
c 
c Core size: 12	Core Weight: 84	Total Weight: 179625
c Current CPU time: 8.5697 s
c
c core #593
c 
c 
c Core size: 19	Core Weight: 73	Total Weight: 179698
c Current CPU time: 8.59669 s
c
c core #594
c 
c 
c Core size: 17	Core Weight: 69	Total Weight: 179767
c Current CPU time: 8.62569 s
c
c core #595
c 
c 
c Core size: 14	Core Weight: 121	Total Weight: 179888
c Current CPU time: 8.65368 s
c
c core #596
c 
c 
c Core size: 15	Core Weight: 642	Total Weight: 180530
c Current CPU time: 8.68268 s
c
c core #597
c 
c 
c Core size: 17	Core Weight: 242	Total Weight: 180772
c Current CPU time: 8.71167 s
c
c core #598
c 
c 
c Core size: 16	Core Weight: 100	Total Weight: 180872
c Current CPU time: 8.74167 s
c
c core #599
c 
c 
c Core size: 22	Core Weight: 25	Total Weight: 180897
c Current CPU time: 8.76967 s
c
c core #600
c 
c 
c Core size: 22	Core Weight: 829	Total Weight: 181726
c Current CPU time: 8.79966 s
c
c core #601
c 
c 
c Core size: 29	Core Weight: 103	Total Weight: 181829
c Current CPU time: 8.82766 s
c
c core #602
c 
c 
c Core size: 29	Core Weight: 56	Total Weight: 181885
c Current CPU time: 8.85665 s
c
c core #603
c 
c 
c Core size: 20	Core Weight: 11	Total Weight: 181896
c Current CPU time: 8.88565 s
c
c core #604
c 
c 
c Core size: 14	Core Weight: 198	Total Weight: 182094
c Current CPU time: 8.91564 s
c
c core #605
c 
c 
c Core size: 18	Core Weight: 631	Total Weight: 182725
c Current CPU time: 8.94664 s
c
c core #606
c 
c 
c Core size: 25	Core Weight: 3	Total Weight: 182728
c Current CPU time: 8.97864 s
c
c core #607
c 
c 
c Core size: 10	Core Weight: 125	Total Weight: 182853
c Current CPU time: 9.00763 s
c
c core #608
c 
c 
c Core size: 12	Core Weight: 125	Total Weight: 182978
c Current CPU time: 9.03563 s
c
c core #609
c 
c 
c Core size: 14	Core Weight: 325	Total Weight: 183303
c Current CPU time: 9.06362 s
c
c core #610
c 
c 
c Core size: 19	Core Weight: 250	Total Weight: 183553
c Current CPU time: 9.09362 s
c
c core #611
c 
c 
c Core size: 23	Core Weight: 543	Total Weight: 184096
c Current CPU time: 9.12261 s
c
c core #612
c 
c 
c Core size: 30	Core Weight: 44	Total Weight: 184140
c Current CPU time: 9.15161 s
c
c core #613
c 
c 
c Core size: 14	Core Weight: 139	Total Weight: 184279
c Current CPU time: 9.1826 s
c
c core #614
c 
c 
c Core size: 25	Core Weight: 141	Total Weight: 184420
c Current CPU time: 9.2116 s
c
c core #615
c 
c 
c Core size: 12	Core Weight: 165	Total Weight: 184585
c Current CPU time: 9.2416 s
c
c core #616
c 
c 
c Core size: 18	Core Weight: 24	Total Weight: 184609
c Current CPU time: 9.27159 s
c
c core #617
c 
c 
c Core size: 19	Core Weight: 185	Total Weight: 184794
c Current CPU time: 9.29959 s
c
c core #618
c 
c 
c Core size: 17	Core Weight: 1064	Total Weight: 185858
c Current CPU time: 9.32858 s
c
c core #619
c 
c 
c Core size: 20	Core Weight: 33	Total Weight: 185891
c Current CPU time: 9.35858 s
c
c core #620
c 
c 
c Core size: 20	Core Weight: 41	Total Weight: 185932
c Current CPU time: 9.38757 s
c
c core #621
c 
c 
c Core size: 16	Core Weight: 348	Total Weight: 186280
c Current CPU time: 9.41857 s
c
c core #622
c 
c 
c Core size: 16	Core Weight: 158	Total Weight: 186438
c Current CPU time: 9.44756 s
c
c core #623
c 
c 
c Core size: 20	Core Weight: 391	Total Weight: 186829
c Current CPU time: 9.47756 s
c
c core #624
c 
c 
c Core size: 16	Core Weight: 15	Total Weight: 186844
c Current CPU time: 9.50655 s
c
c core #625
c 
c 
c Core size: 23	Core Weight: 40	Total Weight: 186884
c Current CPU time: 9.53655 s
c
c core #626
c 
c 
c Core size: 23	Core Weight: 88	Total Weight: 186972
c Current CPU time: 9.56555 s
c
c core #627
c 
c 
c Core size: 17	Core Weight: 310	Total Weight: 187282
c Current CPU time: 9.59654 s
c
c core #628
c 
c 
c Core size: 31	Core Weight: 26	Total Weight: 187308
c Current CPU time: 9.62554 s
c
c core #629
c 
c 
c Core size: 29	Core Weight: 353	Total Weight: 187661
c Current CPU time: 9.65553 s
c
c core #630
c 
c 
c Core size: 21	Core Weight: 700	Total Weight: 188361
c Current CPU time: 9.68653 s
c
c core #631
c 
c 
c Core size: 23	Core Weight: 52	Total Weight: 188413
c Current CPU time: 9.71752 s
c
c core #632
c 
c 
c Core size: 41	Core Weight: 72	Total Weight: 188485
c Current CPU time: 9.74752 s
c
c core #633
c 
c 
c Core size: 36	Core Weight: 73	Total Weight: 188558
c Current CPU time: 9.77751 s
c
c core #634
c 
c 
c Core size: 45	Core Weight: 59	Total Weight: 188617
c Current CPU time: 9.80851 s
c
c core #635
c 
c 
c Core size: 28	Core Weight: 68	Total Weight: 188685
c Current CPU time: 9.8385 s
c
c core #636
c 
c 
c Core size: 49	Core Weight: 15	Total Weight: 188700
c Current CPU time: 9.8695 s
c
c core #637
c 
c 
c Core size: 65	Core Weight: 32	Total Weight: 188732
c Current CPU time: 9.90149 s
c
c core #638
c 
c 
c Core size: 62	Core Weight: 15	Total Weight: 188747
c Current CPU time: 9.93249 s
c
c core #639
c 
c 
c Core size: 60	Core Weight: 27	Total Weight: 188774
c Current CPU time: 9.96548 s
c
c core #640
c 
c 
c Core size: 61	Core Weight: 18	Total Weight: 188792
c Current CPU time: 9.99648 s
c
c core #641
c 
c 
c Core size: 13	Core Weight: 332	Total Weight: 189124
c Current CPU time: 10.0295 s
c
c core #642
c 
c 
c Core size: 63	Core Weight: 7	Total Weight: 189131
c Current CPU time: 10.0615 s
c
c core #643
c 
c 
c Core size: 13	Core Weight: 28	Total Weight: 189159
c Current CPU time: 10.0935 s
c
c core #644
c 
c 
c Core size: 57	Core Weight: 87	Total Weight: 189246
c Current CPU time: 10.1265 s
c
c core #645
c 
c 
c Core size: 49	Core Weight: 18	Total Weight: 189264
c Current CPU time: 10.1595 s
c
c core #646
c 
c 
c Core size: 62	Core Weight: 6	Total Weight: 189270
c Current CPU time: 10.1944 s
c
c core #647
c 
c 
c Core size: 15	Core Weight: 70	Total Weight: 189340
c Current CPU time: 10.2264 s
c
c core #648
c 
c 
c Core size: 68	Core Weight: 7	Total Weight: 189347
c Current CPU time: 10.2614 s
c
c core #649
c 
c 
c Core size: 65	Core Weight: 8	Total Weight: 189355
c Current CPU time: 10.2964 s
c
c core #650
c 
c 
c Core size: 75	Core Weight: 6	Total Weight: 189361
c Current CPU time: 10.3294 s
c
c core #651
c 
c 
c Core size: 14	Core Weight: 8	Total Weight: 189369
c Current CPU time: 10.3644 s
c
c core #652
c 
c 
c Core size: 19	Core Weight: 263	Total Weight: 189632
c Current CPU time: 10.3964 s
c
c core #653
c 
c 
c Core size: 65	Core Weight: 7	Total Weight: 189639
c Current CPU time: 10.4304 s
c
c core #654
c 
c 
c Core size: 21	Core Weight: 568	Total Weight: 190207
c Current CPU time: 10.4644 s
c
c core #655
c 
c 
c Core size: 103	Core Weight: 8	Total Weight: 190215
c Current CPU time: 10.4974 s
c
c core #656
c 
c 
c Core size: 24	Core Weight: 3	Total Weight: 190218
c Current CPU time: 10.5344 s
c
c core #657
c 
c 
c Core size: 14	Core Weight: 574	Total Weight: 190792
c Current CPU time: 10.5684 s
c
c core #658
c 
c 
c Core size: 20	Core Weight: 197	Total Weight: 190989
c Current CPU time: 10.6044 s
c
c core #659
c 
c 
c Core size: 11	Core Weight: 510	Total Weight: 191499
c Current CPU time: 10.6394 s
c
c core #660
c 
c 
c Core size: 18	Core Weight: 64	Total Weight: 191563
c Current CPU time: 10.6734 s
c
c core #661
c 
c 
c Core size: 21	Core Weight: 70	Total Weight: 191633
c Current CPU time: 10.7084 s
c
c core #662
c 
c 
c Core size: 68	Core Weight: 5	Total Weight: 191638
c Current CPU time: 10.7444 s
c
c core #663
c 
c 
c Core size: 68	Core Weight: 4	Total Weight: 191642
c Current CPU time: 10.7814 s
c
c core #664
c 
c 
c Core size: 31	Core Weight: 24	Total Weight: 191666
c Current CPU time: 10.8184 s
c
c core #665
c 
c 
c Core size: 67	Core Weight: 20	Total Weight: 191686
c Current CPU time: 10.8523 s
c
c core #666
c 
c 
c Core size: 133	Core Weight: 25	Total Weight: 191711
c Current CPU time: 10.8873 s
c
c core #667
c 
c 
c Core size: 21	Core Weight: 511	Total Weight: 192222
c Current CPU time: 10.9213 s
c
c core #668
c 
c 
c Core size: 18	Core Weight: 152	Total Weight: 192374
c Current CPU time: 10.9583 s
c
c core #669
c 
c 
c Core size: 12	Core Weight: 214	Total Weight: 192588
c Current CPU time: 10.9913 s
c
c core #670
c 
c 
c Core size: 14	Core Weight: 822	Total Weight: 193410
c Current CPU time: 11.0263 s
c
c core #671
c 
c 
c Core size: 15	Core Weight: 75	Total Weight: 193485
c Current CPU time: 11.0633 s
c
c core #672
c 
c 
c Core size: 68	Core Weight: 25	Total Weight: 193510
c Current CPU time: 11.0993 s
c
c core #673
c 
c 
c Core size: 117	Core Weight: 8	Total Weight: 193518
c Current CPU time: 11.1353 s
c
c core #674
c 
c 
c Core size: 17	Core Weight: 1194	Total Weight: 194712
c Current CPU time: 11.1713 s
c
c core #675
c 
c 
c Core size: 124	Core Weight: 3	Total Weight: 194715
c Current CPU time: 11.2083 s
c
c core #676
c 
c 
c Core size: 36	Core Weight: 149	Total Weight: 194864
c Current CPU time: 11.2433 s
c
c core #677
c 
c 
c Core size: 17	Core Weight: 55	Total Weight: 194919
c Current CPU time: 11.2783 s
c
c core #678
c 
c 
c Core size: 67	Core Weight: 15	Total Weight: 194934
c Current CPU time: 11.3143 s
c
c core #679
c 
c 
c Core size: 69	Core Weight: 21	Total Weight: 194955
c Current CPU time: 11.3513 s
c
c core #680
c 
c 
c Core size: 67	Core Weight: 10	Total Weight: 194965
c Current CPU time: 11.3863 s
c
c core #681
c 
c 
c Core size: 134	Core Weight: 15	Total Weight: 194980
c Current CPU time: 11.4223 s
c
c core #682
c 
c 
c Core size: 21	Core Weight: 232	Total Weight: 195212
c Current CPU time: 11.4583 s
c
c core #683
c 
c 
c Core size: 20	Core Weight: 10	Total Weight: 195222
c Current CPU time: 11.4933 s
c
c core #684
c 
c 
c Core size: 25	Core Weight: 724	Total Weight: 195946
c Current CPU time: 11.5292 s
c
c core #685
c 
c 
c Core size: 18	Core Weight: 968	Total Weight: 196914
c Current CPU time: 11.5632 s
c
c core #686
c 
c 
c Core size: 26	Core Weight: 11	Total Weight: 196925
c Current CPU time: 11.6002 s
c
c core #687
c 
c 
c Core size: 20	Core Weight: 754	Total Weight: 197679
c Current CPU time: 11.6362 s
c
c core #688
c 
c 
c Core size: 24	Core Weight: 71	Total Weight: 197750
c Current CPU time: 11.6692 s
c
c core #689
c 
c 
c Core size: 72	Core Weight: 2	Total Weight: 197752
c Current CPU time: 11.7062 s
c
c core #690
c 
c 
c Core size: 56	Core Weight: 105	Total Weight: 197857
c Current CPU time: 11.7432 s
c
c core #691
c 
c 
c Core size: 49	Core Weight: 30	Total Weight: 197887
c Current CPU time: 11.7802 s
c
c core #692
c 
c 
c Core size: 43	Core Weight: 25	Total Weight: 197912
c Current CPU time: 11.8192 s
c
c core #693
c 
c 
c Core size: 44	Core Weight: 93	Total Weight: 198005
c Current CPU time: 11.8572 s
c
c core #694
c 
c 
c Core size: 47	Core Weight: 36	Total Weight: 198041
c Current CPU time: 11.8942 s
c
c core #695
c 
c 
c Core size: 65	Core Weight: 16	Total Weight: 198057
c Current CPU time: 11.9322 s
c
c core #696
c 
c 
c Core size: 68	Core Weight: 28	Total Weight: 198085
c Current CPU time: 11.9722 s
c
c core #697
c 
c 
c Core size: 60	Core Weight: 7	Total Weight: 198092
c Current CPU time: 12.0132 s
c
c core #698
c 
c 
c Core size: 86	Core Weight: 2	Total Weight: 198094
c Current CPU time: 12.0522 s
c
c core #699
c 
c 
c Core size: 79	Core Weight: 11	Total Weight: 198105
c Current CPU time: 12.0912 s
c
c core #700
c 
c 
c Core size: 17	Core Weight: 62	Total Weight: 198167
c Current CPU time: 12.1292 s
c
c core #701
c 
c 
c Core size: 21	Core Weight: 16	Total Weight: 198183
c Current CPU time: 12.1652 s
c
c core #702
c 
c 
c Core size: 16	Core Weight: 1218	Total Weight: 199401
c Current CPU time: 12.2021 s
c
c core #703
c 
c 
c Core size: 84	Core Weight: 18	Total Weight: 199419
c Current CPU time: 12.2421 s
c
c core #704
c 
c 
c Core size: 91	Core Weight: 6	Total Weight: 199425
c Current CPU time: 12.2801 s
c
c core #705
c 
c 
c Core size: 125	Core Weight: 8	Total Weight: 199433
c Current CPU time: 12.3191 s
c
c core #706
c 
c 
c Core size: 140	Core Weight: 23	Total Weight: 199456
c Current CPU time: 12.3601 s
c
c core #707
c 
c 
c Core size: 27	Core Weight: 106	Total Weight: 199562
c Current CPU time: 12.3991 s
c
c core #708
c 
c 
c Core size: 14	Core Weight: 483	Total Weight: 200045
c Current CPU time: 12.4381 s
c
c core #709
c 
c 
c Core size: 17	Core Weight: 64	Total Weight: 200109
c Current CPU time: 12.4761 s
c
c core #710
c 
c 
c Core size: 109	Core Weight: 1	Total Weight: 200110
c Current CPU time: 12.5181 s
c
c core #711
c 
c 
c Core size: 21	Core Weight: 131	Total Weight: 200241
c Current CPU time: 12.5571 s
c
c core #712
c 
c 
c Core size: 11	Core Weight: 325	Total Weight: 200566
c Current CPU time: 12.5961 s
c
c core #713
c 
c 
c Core size: 11	Core Weight: 420	Total Weight: 200986
c Current CPU time: 12.6341 s
c
c core #714
c 
c 
c Core size: 11	Core Weight: 399	Total Weight: 201385
c Current CPU time: 12.6731 s
c
c core #715
c 
c 
c Core size: 14	Core Weight: 443	Total Weight: 201828
c Current CPU time: 12.7111 s
c
c core #716
c 
c 
c Core size: 18	Core Weight: 350	Total Weight: 202178
c Current CPU time: 12.7501 s
c
c core #717
c 
c 
c Core size: 16	Core Weight: 190	Total Weight: 202368
c Current CPU time: 12.7891 s
c
c core #718
c 
c 
c Core size: 18	Core Weight: 561	Total Weight: 202929
c Current CPU time: 12.827 s
c
c core #719
c 
c 
c Core size: 21	Core Weight: 348	Total Weight: 203277
c Current CPU time: 12.866 s
c
c core #720
c 
c 
c Core size: 27	Core Weight: 25	Total Weight: 203302
c Current CPU time: 12.906 s
c
c core #721
c 
c 
c Core size: 21	Core Weight: 584	Total Weight: 203886
c Current CPU time: 12.945 s
c
c core #722
c 
c 
c Core size: 22	Core Weight: 266	Total Weight: 204152
c Current CPU time: 12.982 s
c
c core #723
c 
c 
c Core size: 156	Core Weight: 2	Total Weight: 204154
c Current CPU time: 13.023 s
c
c core #724
c 
c 
c Core size: 8	Core Weight: 103	Total Weight: 204257
c Current CPU time: 13.062 s
c
c core #725
c 
c 
c Core size: 12	Core Weight: 841	Total Weight: 205098
c Current CPU time: 13.099 s
c
c core #726
c 
c 
c Core size: 14	Core Weight: 676	Total Weight: 205774
c Current CPU time: 13.137 s
c
c core #727
c 
c 
c Core size: 17	Core Weight: 218	Total Weight: 205992
c Current CPU time: 13.176 s
c
c core #728
c 
c 
c Core size: 17	Core Weight: 66	Total Weight: 206058
c Current CPU time: 13.214 s
c
c core #729
c 
c 
c Core size: 14	Core Weight: 119	Total Weight: 206177
c Current CPU time: 13.254 s
c
c core #730
c 
c 
c Core size: 17	Core Weight: 90	Total Weight: 206267
c Current CPU time: 13.291 s
c
c core #731
c 
c 
c Core size: 17	Core Weight: 19	Total Weight: 206286
c Current CPU time: 13.331 s
c
c core #732
c 
c 
c Core size: 18	Core Weight: 218	Total Weight: 206504
c Current CPU time: 13.369 s
c
c core #733
c 
c 
c Core size: 11	Core Weight: 713	Total Weight: 207217
c Current CPU time: 13.407 s
c
c core #734
c 
c 
c Core size: 18	Core Weight: 108	Total Weight: 207325
c Current CPU time: 13.445 s
c
c core #735
c 
c 
c Core size: 14	Core Weight: 319	Total Weight: 207644
c Current CPU time: 13.483 s
c
c core #736
c 
c 
c Core size: 17	Core Weight: 19	Total Weight: 207663
c Current CPU time: 13.5219 s
c
c core #737
c 
c 
c Core size: 8	Core Weight: 317	Total Weight: 207980
c Current CPU time: 13.5619 s
c
c core #738
c 
c 
c Core size: 15	Core Weight: 1179	Total Weight: 209159
c Current CPU time: 13.5979 s
c
c core #739
c 
c 
c Core size: 14	Core Weight: 170	Total Weight: 209329
c Current CPU time: 13.6369 s
c
c core #740
c 
c 
c Core size: 12	Core Weight: 207	Total Weight: 209536
c Current CPU time: 13.6749 s
c
c core #741
c 
c 
c Core size: 29	Core Weight: 314	Total Weight: 209850
c Current CPU time: 13.7149 s
c
c core #742
c 
c 
c Core size: 25	Core Weight: 68	Total Weight: 209918
c Current CPU time: 13.7549 s
c
c core #743
c 
c 
c Core size: 20	Core Weight: 768	Total Weight: 210686
c Current CPU time: 13.7919 s
c
c core #744
c 
c 
c Core size: 28	Core Weight: 144	Total Weight: 210830
c Current CPU time: 13.8309 s
c
c core #745
c 
c 
c Core size: 30	Core Weight: 62	Total Weight: 210892
c Current CPU time: 13.8689 s
c
c core #746
c 
c 
c Core size: 96	Core Weight: 5	Total Weight: 210897
c Current CPU time: 13.9099 s
c
c core #747
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 210898
c Current CPU time: 13.9509 s
c
c core #748
c 
c 
c Core size: 93	Core Weight: 8	Total Weight: 210906
c Current CPU time: 13.9909 s
c
c core #749
c 
c 
c Core size: 98	Core Weight: 4	Total Weight: 210910
c Current CPU time: 14.0329 s
c
c core #750
c 
c 
c Core size: 98	Core Weight: 1	Total Weight: 210911
c Current CPU time: 14.0749 s
c
c core #751
c 
c 
c Core size: 96	Core Weight: 12	Total Weight: 210923
c Current CPU time: 14.1149 s
c
c core #752
c 
c 
c Core size: 95	Core Weight: 1	Total Weight: 210924
c Current CPU time: 14.1558 s
c
c core #753
c 
c 
c Core size: 94	Core Weight: 6	Total Weight: 210930
c Current CPU time: 14.1968 s
c
c core #754
c 
c 
c Core size: 97	Core Weight: 1	Total Weight: 210931
c Current CPU time: 14.2398 s
c
c core #755
c 
c 
c Core size: 102	Core Weight: 3	Total Weight: 210934
c Current CPU time: 14.2838 s
c
c core #756
c 
c 
c Core size: 107	Core Weight: 4	Total Weight: 210938
c Current CPU time: 14.3268 s
c
c core #757
c 
c 
c Core size: 112	Core Weight: 1	Total Weight: 210939
c Current CPU time: 14.3708 s
c
c core #758
c 
c 
c Core size: 120	Core Weight: 1	Total Weight: 210940
c Current CPU time: 14.4138 s
c
c core #759
c 
c 
c Core size: 98	Core Weight: 2	Total Weight: 210942
c Current CPU time: 14.4598 s
c
c core #760
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 210943
c Current CPU time: 14.5058 s
c
c core #761
c 
c 
c Core size: 51	Core Weight: 13	Total Weight: 210956
c Current CPU time: 14.5488 s
c
c core #762
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 210957
c Current CPU time: 14.5938 s
c
c core #763
c 
c 
c Core size: 20	Core Weight: 288	Total Weight: 211245
c Current CPU time: 14.6358 s
c
c core #764
c 
c 
c Core size: 20	Core Weight: 305	Total Weight: 211550
c Current CPU time: 14.6778 s
c
c core #765
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 211551
c Current CPU time: 14.7258 s
c
c core #766
c 
c 
c Core size: 104	Core Weight: 5	Total Weight: 211556
c Current CPU time: 14.7718 s
c
c core #767
c 
c 
c Core size: 100	Core Weight: 1	Total Weight: 211557
c Current CPU time: 14.8217 s
c
c core #768
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 211558
c Current CPU time: 14.8707 s
c
c core #769
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 211559
c Current CPU time: 14.9207 s
c
c core #770
c 
c 
c Core size: 20	Core Weight: 1020	Total Weight: 212579
c Current CPU time: 14.9667 s
c
c core #771
c 
c 
c Core size: 95	Core Weight: 1	Total Weight: 212580
c Current CPU time: 15.0147 s
c
c core #772
c 
c 
c Core size: 20	Core Weight: 71	Total Weight: 212651
c Current CPU time: 15.0597 s
c
c core #773
c 
c 
c Core size: 80	Core Weight: 3	Total Weight: 212654
c Current CPU time: 15.1077 s
c
c core #774
c 
c 
c Core size: 88	Core Weight: 1	Total Weight: 212655
c Current CPU time: 15.1577 s
c
c core #775
c 
c 
c Core size: 127	Core Weight: 1	Total Weight: 212656
c Current CPU time: 15.2097 s
c
c core #776
c 
c 
c Core size: 85	Core Weight: 2	Total Weight: 212658
c Current CPU time: 15.2607 s
c
c core #777
c 
c 
c Core size: 56	Core Weight: 22	Total Weight: 212680
c Current CPU time: 15.3057 s
c
c core #778
c 
c 
c Core size: 18	Core Weight: 251	Total Weight: 212931
c Current CPU time: 15.3517 s
c
c core #779
c 
c 
c Core size: 69	Core Weight: 4	Total Weight: 212935
c Current CPU time: 15.4017 s
c
c core #780
c 
c 
c Core size: 86	Core Weight: 2	Total Weight: 212937
c Current CPU time: 15.4477 s
c
c core #781
c 
c 
c Core size: 70	Core Weight: 28	Total Weight: 212965
c Current CPU time: 15.4956 s
c
c core #782
c 
c 
c Core size: 126	Core Weight: 1	Total Weight: 212966
c Current CPU time: 15.5486 s
c
c core #783
c 
c 
c Core size: 98	Core Weight: 1	Total Weight: 212967
c Current CPU time: 15.5976 s
c
c core #784
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 212968
c Current CPU time: 15.6506 s
c
c core #785
c 
c 
c Core size: 120	Core Weight: 1	Total Weight: 212969
c Current CPU time: 15.7036 s
c
c core #786
c 
c 
c Core size: 103	Core Weight: 1	Total Weight: 212970
c Current CPU time: 15.7546 s
c
c core #787
c 
c 
c Core size: 127	Core Weight: 12	Total Weight: 212982
c Current CPU time: 15.8086 s
c
c core #788
c 
c 
c Core size: 100	Core Weight: 1	Total Weight: 212983
c Current CPU time: 15.8606 s
c
c core #789
c 
c 
c Core size: 101	Core Weight: 6	Total Weight: 212989
c Current CPU time: 15.9136 s
c
c core #790
c 
c 
c Core size: 117	Core Weight: 1	Total Weight: 212990
c Current CPU time: 15.9686 s
c
c core #791
c 
c 
c Core size: 69	Core Weight: 2	Total Weight: 212992
c Current CPU time: 16.0186 s
c
c core #792
c 
c 
c Core size: 109	Core Weight: 1	Total Weight: 212993
c Current CPU time: 16.0756 s
c
c core #793
c 
c 
c Core size: 61	Core Weight: 5	Total Weight: 212998
c Current CPU time: 16.1265 s
c
c core #794
c 
c 
c Core size: 25	Core Weight: 217	Total Weight: 213215
c Current CPU time: 16.1785 s
c
c core #795
c 
c 
c Core size: 144	Core Weight: 1	Total Weight: 213216
c Current CPU time: 16.2335 s
c
c core #796
c 
c 
c Core size: 99	Core Weight: 1	Total Weight: 213217
c Current CPU time: 16.2895 s
c
c core #797
c 
c 
c Core size: 147	Core Weight: 1	Total Weight: 213218
c Current CPU time: 16.3435 s
c
c core #798
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 213219
c Current CPU time: 16.3995 s
c
c core #799
c 
c 
c Core size: 14	Core Weight: 17	Total Weight: 213236
c Current CPU time: 16.4565 s
c
c core #800
c 
c 
c Core size: 147	Core Weight: 1	Total Weight: 213237
c Current CPU time: 16.5165 s
c
c core #801
c 
c 
c Core size: 83	Core Weight: 12	Total Weight: 213249
c Current CPU time: 16.5805 s
c
c core #802
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 213250
c Current CPU time: 16.6425 s
c
c core #803
c 
c 
c Core size: 102	Core Weight: 3	Total Weight: 213253
c Current CPU time: 16.7075 s
c
c core #804
c 
c 
c Core size: 90	Core Weight: 1	Total Weight: 213254
c Current CPU time: 16.7744 s
c
c core #805
c 
c 
c Core size: 150	Core Weight: 1	Total Weight: 213255
c Current CPU time: 16.8334 s
c
c core #806
c 
c 
c Core size: 16	Core Weight: 445	Total Weight: 213700
c Current CPU time: 16.8824 s
c
c core #807
c 
c 
c Core size: 243	Core Weight: 1	Total Weight: 213701
c Current CPU time: 16.9434 s
c
c core #808
c 
c 
c Core size: 142	Core Weight: 1	Total Weight: 213702
c Current CPU time: 17.0074 s
c
c core #809
c 
c 
c Core size: 178	Core Weight: 1	Total Weight: 213703
c Current CPU time: 17.0704 s
c
c core #810
c 
c 
c Core size: 206	Core Weight: 1	Total Weight: 213704
c Current CPU time: 17.1424 s
c
c core #811
c 
c 
c Core size: 382	Core Weight: 1	Total Weight: 213705
c Current CPU time: 17.2994 s
c
c core #812
c 
c 
c Core size: 466	Core Weight: 1	Total Weight: 213706
c Current CPU time: 17.7853 s
c
c core #813
c 
c 
c Core size: 126	Core Weight: 2	Total Weight: 213708
c Current CPU time: 17.8523 s
c
c core #814
c 
c 
c Core size: 22	Core Weight: 33	Total Weight: 213741
c Current CPU time: 17.9073 s
c
c core #815
c 
c 
c Core size: 17	Core Weight: 856	Total Weight: 214597
c Current CPU time: 18.7352 s
c
c core #816
c 
c 
c Core size: 19	Core Weight: 84	Total Weight: 214681
c Current CPU time: 18.7951 s
c
c core #817
c 
c 
c Core size: 137	Core Weight: 18	Total Weight: 214699
c Current CPU time: 21.0358 s
c
c core #818
c 
c 
c Core size: 470	Core Weight: 1	Total Weight: 214700
c Current CPU time: 35.1317 s
c
c core #819
c 
c 
c Core size: 107	Core Weight: 2	Total Weight: 214702
c Current CPU time: 35.2746 s
c
c core #820
c 
c 
c Core size: 16	Core Weight: 244	Total Weight: 214946
c Current CPU time: 35.3346 s
c
c core #821
c 
c 
c Core size: 138	Core Weight: 9	Total Weight: 214955
c Current CPU time: 35.4176 s
c
c core #822
c 
c 
c Core size: 112	Core Weight: 1	Total Weight: 214956
c Current CPU time: 35.4756 s
c
c core #823
c 
c 
c Core size: 69	Core Weight: 27	Total Weight: 214983
c Current CPU time: 38.4102 s
c
c core #824
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 214984
c Current CPU time: 39.56 s
c
c core #825
c 
c 
c Core size: 96	Core Weight: 19	Total Weight: 215003
c Current CPU time: 63.3954 s
c
c core #826
c 
c 
c Core size: 105	Core Weight: 2	Total Weight: 215005
c Current CPU time: 63.5583 s
c
c core #827
c 
c 
c Core size: 116	Core Weight: 2	Total Weight: 215007
c Current CPU time: 63.6313 s
c
c core #828
c 
c 
c Core size: 183	Core Weight: 5	Total Weight: 215012
c Current CPU time: 144.47 s
c
c core #829
c 
c 
c Core size: 85	Core Weight: 3	Total Weight: 215015
c Current CPU time: 235.246 s
c
c core #830
c 
c 
c Core size: 17	Core Weight: 180	Total Weight: 215195
c Current CPU time: 235.477 s
c
c core #831
c 
c 
c Core size: 136	Core Weight: 1	Total Weight: 215196
c Current CPU time: 256.929 s
c
c core #832
c 
c 
c Core size: 158	Core Weight: 2	Total Weight: 215198
c Current CPU time: 282.318 s
c
c core #833
c 
c 
c Core size: 124	Core Weight: 1	Total Weight: 215199
c Current CPU time: 282.507 s
c
c core #834
c 
c 
c Core size: 96	Core Weight: 2	Total Weight: 215201
c Current CPU time: 284.063 s
c
c core #835
c 
c 
c Core size: 79	Core Weight: 8	Total Weight: 215209
c Current CPU time: 284.152 s
c
c core #836
c 
c 
c Core size: 50	Core Weight: 18	Total Weight: 215227
c Current CPU time: 284.216 s
c
c core #837
c 
c 
c Core size: 138	Core Weight: 3	Total Weight: 215230
c Current CPU time: 293.965 s
c
c core #838
c 
c 
c Core size: 124	Core Weight: 3	Total Weight: 215233
c Current CPU time: 294.069 s
c
c core #839
c 
c 
c Core size: 20	Core Weight: 232	Total Weight: 215465
c Current CPU time: 294.148 s
c
c core #840
c 
c 
c Core size: 18	Core Weight: 147	Total Weight: 215612
c Current CPU time: 325.034 s
c
c core #841
c 
c 
c Core size: 101	Core Weight: 9	Total Weight: 215621
c Current CPU time: 325.224 s
c
c core #842
c 
c 
c Core size: 90	Core Weight: 10	Total Weight: 215631
c Current CPU time: 325.297 s
c
c core #843
c 
c 
c Core size: 81	Core Weight: 4	Total Weight: 215635
c Current CPU time: 325.371 s
c
c core #844
c 
c 
c Core size: 21	Core Weight: 356	Total Weight: 215991
c Current CPU time: 325.432 s
c
c core #845
c 
c 
c Core size: 121	Core Weight: 9	Total Weight: 216000
c Current CPU time: 325.507 s
c
c core #846
c 
c 
c Core size: 124	Core Weight: 4	Total Weight: 216004
c Current CPU time: 325.587 s
c
c core #847
c 
c 
c Core size: 115	Core Weight: 6	Total Weight: 216010
c Current CPU time: 325.678 s
c
c core #848
c 
c 
c Core size: 75	Core Weight: 17	Total Weight: 216027
c Current CPU time: 328.967 s
c
c core #849
c 
c 
c Core size: 22	Core Weight: 14	Total Weight: 216041
c Current CPU time: 329.059 s
c
c core #850
c 
c 
c Core size: 25	Core Weight: 34	Total Weight: 216075
c Current CPU time: 329.112 s
c
c core #851
c 
c 
c Core size: 61	Core Weight: 25	Total Weight: 216100
c Current CPU time: 329.201 s
c
c core #852
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 216101
c Current CPU time: 329.27 s
c
c core #853
c 
c 
c Core size: 62	Core Weight: 16	Total Weight: 216117
c Current CPU time: 343.047 s
c
c core #854
c 
c 
c Core size: 61	Core Weight: 2	Total Weight: 216119
c Current CPU time: 343.191 s
c
c core #855
c 
c 
c Core size: 147	Core Weight: 7	Total Weight: 216126
c Current CPU time: 525.029 s
c
c core #856
c 
c 
c Core size: 54	Core Weight: 4	Total Weight: 216130
c Current CPU time: 525.46 s
c
c core #857
c 
c 
c Core size: 106	Core Weight: 20	Total Weight: 216150
c Current CPU time: 525.523 s
c
c core #858
c 
c 
c Core size: 107	Core Weight: 23	Total Weight: 216173
c Current CPU time: 556.152 s
c
c core #859
c 
c 
c Core size: 120	Core Weight: 25	Total Weight: 216198
c Current CPU time: 624.903 s
c
c core #860
c 
c 
c Core size: 96	Core Weight: 14	Total Weight: 216212
c Current CPU time: 625.118 s
c
c core #861
c 
c 
c Core size: 101	Core Weight: 7	Total Weight: 216219
c Current CPU time: 625.202 s
c
c core #862
c 
c 
c Core size: 81	Core Weight: 5	Total Weight: 216224
c Current CPU time: 625.303 s
c
c core #863
c 
c 
c Core size: 70	Core Weight: 30	Total Weight: 216254
c Current CPU time: 625.393 s
c
c core #864
c 
c 
c Core size: 87	Core Weight: 11	Total Weight: 216265
c Current CPU time: 625.496 s
c
c core #865
c 
c 
c Core size: 297	Core Weight: 1	Total Weight: 216266
c Current CPU time: 722.784 s
c
c core #866
c 
c 
c Core size: 74	Core Weight: 19	Total Weight: 216285
c Current CPU time: 723.169 s
c
c core #867
c 
c 
c Core size: 140	Core Weight: 1	Total Weight: 216286
c Current CPU time: 900.672 s
c
c core #868
c 
c 
c Core size: 115	Core Weight: 11	Total Weight: 216297
c Current CPU time: 901.086 s
c
c core #869
c 
c 
c Core size: 72	Core Weight: 14	Total Weight: 216311
c Current CPU time: 901.194 s
c
c core #870
c 
c 
c Core size: 167	Core Weight: 2	Total Weight: 216313
c Current CPU time: 901.283 s
c
c core #871
c 
c 
c Core size: 167	Core Weight: 6	Total Weight: 216319
c Current CPU time: 1079.69 s
c
c core #872
c 
c 
c Core size: 321	Core Weight: 1	Total Weight: 216320
c Current CPU time: 1205.32 s
c
c core #873
c 
c 
c Core size: 167	Core Weight: 5	Total Weight: 216325
c Current CPU time: 1205.77 s
c
c core #874
c 
c 
c Core size: 112	Core Weight: 2	Total Weight: 216327
c Current CPU time: 1205.88 s
c
c core #875
c 
c 
c Core size: 91	Core Weight: 14	Total Weight: 216341
c Current CPU time: 1205.99 s
c
c core #876
c 
c 
c Core size: 123	Core Weight: 4	Total Weight: 216345
c Current CPU time: 1206.08 s
c
c core #877
c 
c 
c Core size: 101	Core Weight: 3	Total Weight: 216348
c Current CPU time: 1206.18 s
c
c core #878
c 
c 
c Core size: 157	Core Weight: 1	Total Weight: 216349
c Current CPU time: 1206.27 s
c
c core #879
c 
c 
c Core size: 128	Core Weight: 4	Total Weight: 216353
c Current CPU time: 1206.36 s
c
c core #880
c 
c 
c Core size: 281	Core Weight: 1	Total Weight: 216354
c Current CPU time: 1206.49 s
c
c core #881
c 
c 
c Core size: 30	Core Weight: 323	Total Weight: 216677
c Current CPU time: 1394.18 s
c
c core #882
c 
c 
c Core size: 213	Core Weight: 1	Total Weight: 216678
c Current CPU time: 1394.72 s
c
c core #883
c 
c 
c Core size: 27	Core Weight: 168	Total Weight: 216846
c Current CPU time: 1508.27 s
c
c core #884
c 
c 
c Core size: 154	Core Weight: 12	Total Weight: 216858
c Current CPU time: 1508.61 s
c
c core #885
c 
c 
c Core size: 23	Core Weight: 89	Total Weight: 216947
c Current CPU time: 1771.53 s
c
c core #886
c 
c 
c Core size: 199	Core Weight: 1	Total Weight: 216948
c Current CPU time: 1772.07 s
c
c core #887
c 
c 
c Core size: 139	Core Weight: 4	Total Weight: 216952
c Current CPU time: 1772.17 s
c
c core #888
c 
c 
c Core size: 227	Core Weight: 1	Total Weight: 216953
c Current CPU time: 1772.28 s
c
c core #889
c 
c 
c Core size: 20	Core Weight: 510	Total Weight: 217463
c Current CPU time: 1772.35 s
c
c #cores: 889
s UNKNOWN
1800.001u 7.672s 30:09.67 99.8%	0+0k 0+0io 0pf+0w