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-300-1_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-8.net.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 3	Core Weight: 860	Total Weight: 860
c Current CPU time: 0.007998 s
c
c core #2
c 
c 
c Core size: 9	Core Weight: 296	Total Weight: 1156
c Current CPU time: 0.011998 s
c
c core #3
c 
c 
c Core size: 4	Core Weight: 966	Total Weight: 2122
c Current CPU time: 0.015997 s
c
c core #4
c 
c 
c Core size: 10	Core Weight: 1087	Total Weight: 3209
c Current CPU time: 0.019996 s
c
c core #5
c 
c 
c Core size: 4	Core Weight: 899	Total Weight: 4108
c Current CPU time: 0.023996 s
c
c core #6
c 
c 
c Core size: 8	Core Weight: 40	Total Weight: 4148
c Current CPU time: 0.027995 s
c
c core #7
c 
c 
c Core size: 4	Core Weight: 576	Total Weight: 4724
c Current CPU time: 0.031995 s
c
c core #8
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 4726
c Current CPU time: 0.035994 s
c
c core #9
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 5726
c Current CPU time: 0.039993 s
c
c core #10
c 
c 
c Core size: 7	Core Weight: 751	Total Weight: 6477
c Current CPU time: 0.043993 s
c
c core #11
c 
c 
c Core size: 12	Core Weight: 270	Total Weight: 6747
c Current CPU time: 0.047992 s
c
c core #12
c 
c 
c Core size: 4	Core Weight: 55	Total Weight: 6802
c Current CPU time: 0.051992 s
c
c core #13
c 
c 
c Core size: 12	Core Weight: 257	Total Weight: 7059
c Current CPU time: 0.055991 s
c
c core #14
c 
c 
c Core size: 5	Core Weight: 1430	Total Weight: 8489
c Current CPU time: 0.05999 s
c
c core #15
c 
c 
c Core size: 13	Core Weight: 109	Total Weight: 8598
c Current CPU time: 0.06399 s
c
c core #16
c 
c 
c Core size: 5	Core Weight: 1072	Total Weight: 9670
c Current CPU time: 0.067989 s
c
c core #17
c 
c 
c Core size: 9	Core Weight: 89	Total Weight: 9759
c Current CPU time: 0.071989 s
c
c core #18
c 
c 
c Core size: 5	Core Weight: 332	Total Weight: 10091
c Current CPU time: 0.075988 s
c
c core #19
c 
c 
c Core size: 13	Core Weight: 26	Total Weight: 10117
c Current CPU time: 0.080987 s
c
c core #20
c 
c 
c Core size: 5	Core Weight: 984	Total Weight: 11101
c Current CPU time: 0.084987 s
c
c core #21
c 
c 
c Core size: 11	Core Weight: 433	Total Weight: 11534
c Current CPU time: 0.088986 s
c
c core #22
c 
c 
c Core size: 5	Core Weight: 150	Total Weight: 11684
c Current CPU time: 0.092985 s
c
c core #23
c 
c 
c Core size: 11	Core Weight: 943	Total Weight: 12627
c Current CPU time: 0.096985 s
c
c core #24
c 
c 
c Core size: 3	Core Weight: 1940	Total Weight: 14567
c Current CPU time: 0.100984 s
c
c core #25
c 
c 
c Core size: 11	Core Weight: 83	Total Weight: 14650
c Current CPU time: 0.104984 s
c
c core #26
c 
c 
c Core size: 4	Core Weight: 841	Total Weight: 15491
c Current CPU time: 0.109983 s
c
c core #27
c 
c 
c Core size: 12	Core Weight: 713	Total Weight: 16204
c Current CPU time: 0.113982 s
c
c core #28
c 
c 
c Core size: 4	Core Weight: 1701	Total Weight: 17905
c Current CPU time: 0.117982 s
c
c core #29
c 
c 
c Core size: 8	Core Weight: 1064	Total Weight: 18969
c Current CPU time: 0.121981 s
c
c core #30
c 
c 
c Core size: 13	Core Weight: 618	Total Weight: 19587
c Current CPU time: 0.12698 s
c
c core #31
c 
c 
c Core size: 3	Core Weight: 966	Total Weight: 20553
c Current CPU time: 0.13098 s
c
c core #32
c 
c 
c Core size: 11	Core Weight: 320	Total Weight: 20873
c Current CPU time: 0.134979 s
c
c core #33
c 
c 
c Core size: 16	Core Weight: 20	Total Weight: 20893
c Current CPU time: 0.138978 s
c
c core #34
c 
c 
c Core size: 4	Core Weight: 6	Total Weight: 20899
c Current CPU time: 0.143978 s
c
c core #35
c 
c 
c Core size: 8	Core Weight: 1067	Total Weight: 21966
c Current CPU time: 0.147977 s
c
c core #36
c 
c 
c Core size: 13	Core Weight: 118	Total Weight: 22084
c Current CPU time: 0.151976 s
c
c core #37
c 
c 
c Core size: 3	Core Weight: 1586	Total Weight: 23670
c Current CPU time: 0.156976 s
c
c core #38
c 
c 
c Core size: 7	Core Weight: 730	Total Weight: 24400
c Current CPU time: 0.160975 s
c
c core #39
c 
c 
c Core size: 12	Core Weight: 52	Total Weight: 24452
c Current CPU time: 0.165974 s
c
c core #40
c 
c 
c Core size: 19	Core Weight: 51	Total Weight: 24503
c Current CPU time: 0.170974 s
c
c core #41
c 
c 
c Core size: 4	Core Weight: 461	Total Weight: 24964
c Current CPU time: 0.176973 s
c
c core #42
c 
c 
c Core size: 10	Core Weight: 713	Total Weight: 25677
c Current CPU time: 0.180972 s
c
c core #43
c 
c 
c Core size: 5	Core Weight: 299	Total Weight: 25976
c Current CPU time: 0.185971 s
c
c core #44
c 
c 
c Core size: 11	Core Weight: 818	Total Weight: 26794
c Current CPU time: 0.189971 s
c
c core #45
c 
c 
c Core size: 4	Core Weight: 352	Total Weight: 27146
c Current CPU time: 0.19497 s
c
c core #46
c 
c 
c Core size: 8	Core Weight: 252	Total Weight: 27398
c Current CPU time: 0.198969 s
c
c core #47
c 
c 
c Core size: 13	Core Weight: 30	Total Weight: 27428
c Current CPU time: 0.203968 s
c
c core #48
c 
c 
c Core size: 16	Core Weight: 184	Total Weight: 27612
c Current CPU time: 0.207968 s
c
c core #49
c 
c 
c Core size: 5	Core Weight: 1416	Total Weight: 29028
c Current CPU time: 0.212967 s
c
c core #50
c 
c 
c Core size: 13	Core Weight: 90	Total Weight: 29118
c Current CPU time: 0.217966 s
c
c core #51
c 
c 
c Core size: 3	Core Weight: 966	Total Weight: 30084
c Current CPU time: 0.221966 s
c
c core #52
c 
c 
c Core size: 7	Core Weight: 165	Total Weight: 30249
c Current CPU time: 0.226965 s
c
c core #53
c 
c 
c Core size: 14	Core Weight: 72	Total Weight: 30321
c Current CPU time: 0.231964 s
c
c core #54
c 
c 
c Core size: 5	Core Weight: 1169	Total Weight: 31490
c Current CPU time: 0.235964 s
c
c core #55
c 
c 
c Core size: 11	Core Weight: 9	Total Weight: 31499
c Current CPU time: 0.240963 s
c
c core #56
c 
c 
c Core size: 3	Core Weight: 2235	Total Weight: 33734
c Current CPU time: 0.245962 s
c
c core #57
c 
c 
c Core size: 7	Core Weight: 232	Total Weight: 33966
c Current CPU time: 0.249962 s
c
c core #58
c 
c 
c Core size: 4	Core Weight: 973	Total Weight: 34939
c Current CPU time: 0.253961 s
c
c core #59
c 
c 
c Core size: 12	Core Weight: 295	Total Weight: 35234
c Current CPU time: 0.25896 s
c
c core #60
c 
c 
c Core size: 15	Core Weight: 178	Total Weight: 35412
c Current CPU time: 0.263959 s
c
c core #61
c 
c 
c Core size: 5	Core Weight: 416	Total Weight: 35828
c Current CPU time: 0.267959 s
c
c core #62
c 
c 
c Core size: 13	Core Weight: 100	Total Weight: 35928
c Current CPU time: 0.272958 s
c
c core #63
c 
c 
c Core size: 5	Core Weight: 1314	Total Weight: 37242
c Current CPU time: 0.276957 s
c
c core #64
c 
c 
c Core size: 9	Core Weight: 169	Total Weight: 37411
c Current CPU time: 0.281957 s
c
c core #65
c 
c 
c Core size: 5	Core Weight: 195	Total Weight: 37606
c Current CPU time: 0.286956 s
c
c core #66
c 
c 
c Core size: 9	Core Weight: 1760	Total Weight: 39366
c Current CPU time: 0.291955 s
c
c core #67
c 
c 
c Core size: 14	Core Weight: 296	Total Weight: 39662
c Current CPU time: 0.295955 s
c
c core #68
c 
c 
c Core size: 9	Core Weight: 30	Total Weight: 39692
c Current CPU time: 0.300954 s
c
c core #69
c 
c 
c Core size: 5	Core Weight: 990	Total Weight: 40682
c Current CPU time: 0.305953 s
c
c core #70
c 
c 
c Core size: 11	Core Weight: 809	Total Weight: 41491
c Current CPU time: 0.310952 s
c
c core #71
c 
c 
c Core size: 5	Core Weight: 1349	Total Weight: 42840
c Current CPU time: 0.315951 s
c
c core #72
c 
c 
c Core size: 9	Core Weight: 746	Total Weight: 43586
c Current CPU time: 0.320951 s
c
c core #73
c 
c 
c Core size: 3	Core Weight: 1761	Total Weight: 45347
c Current CPU time: 0.32595 s
c
c core #74
c 
c 
c Core size: 7	Core Weight: 96	Total Weight: 45443
c Current CPU time: 0.330949 s
c
c core #75
c 
c 
c Core size: 5	Core Weight: 29	Total Weight: 45472
c Current CPU time: 0.335948 s
c
c core #76
c 
c 
c Core size: 13	Core Weight: 416	Total Weight: 45888
c Current CPU time: 0.340948 s
c
c core #77
c 
c 
c Core size: 5	Core Weight: 1714	Total Weight: 47602
c Current CPU time: 0.346947 s
c
c core #78
c 
c 
c Core size: 11	Core Weight: 1107	Total Weight: 48709
c Current CPU time: 0.351946 s
c
c core #79
c 
c 
c Core size: 16	Core Weight: 215	Total Weight: 48924
c Current CPU time: 0.356945 s
c
c core #80
c 
c 
c Core size: 4	Core Weight: 904	Total Weight: 49828
c Current CPU time: 0.361944 s
c
c core #81
c 
c 
c Core size: 10	Core Weight: 148	Total Weight: 49976
c Current CPU time: 0.366944 s
c
c core #82
c 
c 
c Core size: 3	Core Weight: 2241	Total Weight: 52217
c Current CPU time: 0.371943 s
c
c core #83
c 
c 
c Core size: 11	Core Weight: 770	Total Weight: 52987
c Current CPU time: 0.377942 s
c
c core #84
c 
c 
c Core size: 16	Core Weight: 217	Total Weight: 53204
c Current CPU time: 0.382941 s
c
c core #85
c 
c 
c Core size: 5	Core Weight: 448	Total Weight: 53652
c Current CPU time: 0.387941 s
c
c core #86
c 
c 
c Core size: 11	Core Weight: 33	Total Weight: 53685
c Current CPU time: 0.39394 s
c
c core #87
c 
c 
c Core size: 4	Core Weight: 392	Total Weight: 54077
c Current CPU time: 0.398939 s
c
c core #88
c 
c 
c Core size: 10	Core Weight: 580	Total Weight: 54657
c Current CPU time: 0.403938 s
c
c core #89
c 
c 
c Core size: 5	Core Weight: 1289	Total Weight: 55946
c Current CPU time: 0.408937 s
c
c core #90
c 
c 
c Core size: 13	Core Weight: 434	Total Weight: 56380
c Current CPU time: 0.413937 s
c
c core #91
c 
c 
c Core size: 5	Core Weight: 1246	Total Weight: 57626
c Current CPU time: 0.419936 s
c
c core #92
c 
c 
c Core size: 9	Core Weight: 78	Total Weight: 57704
c Current CPU time: 0.424935 s
c
c core #93
c 
c 
c Core size: 5	Core Weight: 916	Total Weight: 58620
c Current CPU time: 0.429934 s
c
c core #94
c 
c 
c Core size: 11	Core Weight: 214	Total Weight: 58834
c Current CPU time: 0.435933 s
c
c core #95
c 
c 
c Core size: 4	Core Weight: 1461	Total Weight: 60295
c Current CPU time: 0.439933 s
c
c core #96
c 
c 
c Core size: 10	Core Weight: 106	Total Weight: 60401
c Current CPU time: 0.445932 s
c
c core #97
c 
c 
c Core size: 3	Core Weight: 656	Total Weight: 61057
c Current CPU time: 0.450931 s
c
c core #98
c 
c 
c Core size: 9	Core Weight: 308	Total Weight: 61365
c Current CPU time: 0.45693 s
c
c core #99
c 
c 
c Core size: 16	Core Weight: 142	Total Weight: 61507
c Current CPU time: 0.461929 s
c
c core #100
c 
c 
c Core size: 3	Core Weight: 543	Total Weight: 62050
c Current CPU time: 0.467928 s
c
c core #101
c 
c 
c Core size: 11	Core Weight: 416	Total Weight: 62466
c Current CPU time: 0.471928 s
c
c core #102
c 
c 
c Core size: 5	Core Weight: 1128	Total Weight: 63594
c Current CPU time: 0.477927 s
c
c core #103
c 
c 
c Core size: 9	Core Weight: 334	Total Weight: 63928
c Current CPU time: 0.483926 s
c
c core #104
c 
c 
c Core size: 4	Core Weight: 1029	Total Weight: 64957
c Current CPU time: 0.488925 s
c
c core #105
c 
c 
c Core size: 10	Core Weight: 639	Total Weight: 65596
c Current CPU time: 0.494924 s
c
c core #106
c 
c 
c Core size: 11	Core Weight: 897	Total Weight: 66493
c Current CPU time: 0.500923 s
c
c core #107
c 
c 
c Core size: 11	Core Weight: 83	Total Weight: 66576
c Current CPU time: 0.506922 s
c
c core #108
c 
c 
c Core size: 11	Core Weight: 480	Total Weight: 67056
c Current CPU time: 0.513921 s
c
c core #109
c 
c 
c Core size: 11	Core Weight: 1112	Total Weight: 68168
c Current CPU time: 0.51992 s
c
c core #110
c 
c 
c Core size: 11	Core Weight: 181	Total Weight: 68349
c Current CPU time: 0.52592 s
c
c core #111
c 
c 
c Core size: 14	Core Weight: 119	Total Weight: 68468
c Current CPU time: 0.531919 s
c
c core #112
c 
c 
c Core size: 19	Core Weight: 143	Total Weight: 68611
c Current CPU time: 0.537918 s
c
c core #113
c 
c 
c Core size: 16	Core Weight: 458	Total Weight: 69069
c Current CPU time: 0.543917 s
c
c core #114
c 
c 
c Core size: 14	Core Weight: 43	Total Weight: 69112
c Current CPU time: 0.549916 s
c
c core #115
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 69113
c Current CPU time: 0.556915 s
c
c core #116
c 
c 
c Core size: 11	Core Weight: 114	Total Weight: 69227
c Current CPU time: 0.562914 s
c
c core #117
c 
c 
c Core size: 11	Core Weight: 683	Total Weight: 69910
c Current CPU time: 0.568913 s
c
c core #118
c 
c 
c Core size: 14	Core Weight: 338	Total Weight: 70248
c Current CPU time: 0.575912 s
c
c core #119
c 
c 
c Core size: 16	Core Weight: 104	Total Weight: 70352
c Current CPU time: 0.581911 s
c
c core #120
c 
c 
c Core size: 11	Core Weight: 550	Total Weight: 70902
c Current CPU time: 0.58791 s
c
c core #121
c 
c 
c Core size: 11	Core Weight: 22	Total Weight: 70924
c Current CPU time: 0.594909 s
c
c core #122
c 
c 
c Core size: 14	Core Weight: 491	Total Weight: 71415
c Current CPU time: 0.601908 s
c
c core #123
c 
c 
c Core size: 16	Core Weight: 65	Total Weight: 71480
c Current CPU time: 0.607907 s
c
c core #124
c 
c 
c Core size: 16	Core Weight: 104	Total Weight: 71584
c Current CPU time: 0.614906 s
c
c core #125
c 
c 
c Core size: 12	Core Weight: 637	Total Weight: 72221
c Current CPU time: 0.621905 s
c
c core #126
c 
c 
c Core size: 13	Core Weight: 401	Total Weight: 72622
c Current CPU time: 0.628904 s
c
c core #127
c 
c 
c Core size: 11	Core Weight: 309	Total Weight: 72931
c Current CPU time: 0.635903 s
c
c core #128
c 
c 
c Core size: 12	Core Weight: 687	Total Weight: 73618
c Current CPU time: 0.642902 s
c
c core #129
c 
c 
c Core size: 14	Core Weight: 294	Total Weight: 73912
c Current CPU time: 0.649901 s
c
c core #130
c 
c 
c Core size: 15	Core Weight: 248	Total Weight: 74160
c Current CPU time: 0.6559 s
c
c core #131
c 
c 
c Core size: 8	Core Weight: 248	Total Weight: 74408
c Current CPU time: 0.662899 s
c
c core #132
c 
c 
c Core size: 12	Core Weight: 445	Total Weight: 74853
c Current CPU time: 0.668898 s
c
c core #133
c 
c 
c Core size: 14	Core Weight: 336	Total Weight: 75189
c Current CPU time: 0.675897 s
c
c core #134
c 
c 
c Core size: 11	Core Weight: 283	Total Weight: 75472
c Current CPU time: 0.682896 s
c
c core #135
c 
c 
c Core size: 18	Core Weight: 61	Total Weight: 75533
c Current CPU time: 0.689895 s
c
c core #136
c 
c 
c Core size: 22	Core Weight: 2	Total Weight: 75535
c Current CPU time: 0.696894 s
c
c core #137
c 
c 
c Core size: 13	Core Weight: 830	Total Weight: 76365
c Current CPU time: 0.703892 s
c
c core #138
c 
c 
c Core size: 18	Core Weight: 253	Total Weight: 76618
c Current CPU time: 0.710891 s
c
c core #139
c 
c 
c Core size: 17	Core Weight: 636	Total Weight: 77254
c Current CPU time: 0.71789 s
c
c core #140
c 
c 
c Core size: 22	Core Weight: 37	Total Weight: 77291
c Current CPU time: 0.724889 s
c
c core #141
c 
c 
c Core size: 16	Core Weight: 270	Total Weight: 77561
c Current CPU time: 0.732888 s
c
c core #142
c 
c 
c Core size: 18	Core Weight: 85	Total Weight: 77646
c Current CPU time: 0.739887 s
c
c core #143
c 
c 
c Core size: 19	Core Weight: 90	Total Weight: 77736
c Current CPU time: 0.746886 s
c
c core #144
c 
c 
c Core size: 31	Core Weight: 235	Total Weight: 77971
c Current CPU time: 0.753885 s
c
c core #145
c 
c 
c Core size: 23	Core Weight: 291	Total Weight: 78262
c Current CPU time: 0.760884 s
c
c core #146
c 
c 
c Core size: 10	Core Weight: 86	Total Weight: 78348
c Current CPU time: 0.767883 s
c
c core #147
c 
c 
c Core size: 12	Core Weight: 829	Total Weight: 79177
c Current CPU time: 0.775882 s
c
c core #148
c 
c 
c Core size: 16	Core Weight: 56	Total Weight: 79233
c Current CPU time: 0.781881 s
c
c core #149
c 
c 
c Core size: 21	Core Weight: 285	Total Weight: 79518
c Current CPU time: 0.789879 s
c
c core #150
c 
c 
c Core size: 28	Core Weight: 178	Total Weight: 79696
c Current CPU time: 0.796878 s
c
c core #151
c 
c 
c Core size: 18	Core Weight: 319	Total Weight: 80015
c Current CPU time: 0.804877 s
c
c core #152
c 
c 
c Core size: 16	Core Weight: 70	Total Weight: 80085
c Current CPU time: 0.811876 s
c
c core #153
c 
c 
c Core size: 20	Core Weight: 510	Total Weight: 80595
c Current CPU time: 0.819875 s
c
c core #154
c 
c 
c Core size: 20	Core Weight: 536	Total Weight: 81131
c Current CPU time: 0.826874 s
c
c core #155
c 
c 
c Core size: 20	Core Weight: 199	Total Weight: 81330
c Current CPU time: 0.833873 s
c
c core #156
c 
c 
c Core size: 17	Core Weight: 3	Total Weight: 81333
c Current CPU time: 0.841872 s
c
c core #157
c 
c 
c Core size: 25	Core Weight: 196	Total Weight: 81529
c Current CPU time: 0.84887 s
c
c core #158
c 
c 
c Core size: 21	Core Weight: 422	Total Weight: 81951
c Current CPU time: 0.856869 s
c
c core #159
c 
c 
c Core size: 17	Core Weight: 55	Total Weight: 82006
c Current CPU time: 0.864868 s
c
c core #160
c 
c 
c Core size: 17	Core Weight: 759	Total Weight: 82765
c Current CPU time: 0.872867 s
c
c core #161
c 
c 
c Core size: 8	Core Weight: 263	Total Weight: 83028
c Current CPU time: 0.879866 s
c
c core #162
c 
c 
c Core size: 13	Core Weight: 263	Total Weight: 83291
c Current CPU time: 0.887865 s
c
c core #163
c 
c 
c Core size: 14	Core Weight: 941	Total Weight: 84232
c Current CPU time: 0.894863 s
c
c core #164
c 
c 
c Core size: 15	Core Weight: 223	Total Weight: 84455
c Current CPU time: 0.901862 s
c
c core #165
c 
c 
c Core size: 21	Core Weight: 24	Total Weight: 84479
c Current CPU time: 0.909861 s
c
c core #166
c 
c 
c Core size: 19	Core Weight: 187	Total Weight: 84666
c Current CPU time: 0.91786 s
c
c core #167
c 
c 
c Core size: 20	Core Weight: 801	Total Weight: 85467
c Current CPU time: 0.926859 s
c
c core #168
c 
c 
c Core size: 22	Core Weight: 73	Total Weight: 85540
c Current CPU time: 0.934857 s
c
c core #169
c 
c 
c Core size: 20	Core Weight: 4	Total Weight: 85544
c Current CPU time: 0.942856 s
c
c core #170
c 
c 
c Core size: 24	Core Weight: 5	Total Weight: 85549
c Current CPU time: 0.951855 s
c
c core #171
c 
c 
c Core size: 14	Core Weight: 177	Total Weight: 85726
c Current CPU time: 0.959854 s
c
c core #172
c 
c 
c Core size: 24	Core Weight: 450	Total Weight: 86176
c Current CPU time: 0.967852 s
c
c core #173
c 
c 
c Core size: 20	Core Weight: 308	Total Weight: 86484
c Current CPU time: 0.975851 s
c
c core #174
c 
c 
c Core size: 13	Core Weight: 724	Total Weight: 87208
c Current CPU time: 0.98485 s
c
c core #175
c 
c 
c Core size: 22	Core Weight: 247	Total Weight: 87455
c Current CPU time: 0.993848 s
c
c core #176
c 
c 
c Core size: 15	Core Weight: 514	Total Weight: 87969
c Current CPU time: 1.00185 s
c
c core #177
c 
c 
c Core size: 11	Core Weight: 229	Total Weight: 88198
c Current CPU time: 1.00985 s
c
c core #178
c 
c 
c Core size: 15	Core Weight: 878	Total Weight: 89076
c Current CPU time: 1.01784 s
c
c core #179
c 
c 
c Core size: 18	Core Weight: 166	Total Weight: 89242
c Current CPU time: 1.02684 s
c
c core #180
c 
c 
c Core size: 11	Core Weight: 676	Total Weight: 89918
c Current CPU time: 1.03484 s
c
c core #181
c 
c 
c Core size: 19	Core Weight: 112	Total Weight: 90030
c Current CPU time: 1.04384 s
c
c core #182
c 
c 
c Core size: 11	Core Weight: 689	Total Weight: 90719
c Current CPU time: 1.05184 s
c
c core #183
c 
c 
c Core size: 18	Core Weight: 147	Total Weight: 90866
c Current CPU time: 1.06084 s
c
c core #184
c 
c 
c Core size: 18	Core Weight: 56	Total Weight: 90922
c Current CPU time: 1.06984 s
c
c core #185
c 
c 
c Core size: 11	Core Weight: 92	Total Weight: 91014
c Current CPU time: 1.07784 s
c
c core #186
c 
c 
c Core size: 12	Core Weight: 38	Total Weight: 91052
c Current CPU time: 1.08583 s
c
c core #187
c 
c 
c Core size: 11	Core Weight: 30	Total Weight: 91082
c Current CPU time: 1.09483 s
c
c core #188
c 
c 
c Core size: 13	Core Weight: 264	Total Weight: 91346
c Current CPU time: 1.10383 s
c
c core #189
c 
c 
c Core size: 14	Core Weight: 662	Total Weight: 92008
c Current CPU time: 1.11183 s
c
c core #190
c 
c 
c Core size: 13	Core Weight: 262	Total Weight: 92270
c Current CPU time: 1.12083 s
c
c core #191
c 
c 
c Core size: 20	Core Weight: 189	Total Weight: 92459
c Current CPU time: 1.12883 s
c
c core #192
c 
c 
c Core size: 18	Core Weight: 20	Total Weight: 92479
c Current CPU time: 1.13683 s
c
c core #193
c 
c 
c Core size: 12	Core Weight: 90	Total Weight: 92569
c Current CPU time: 1.14482 s
c
c core #194
c 
c 
c Core size: 14	Core Weight: 781	Total Weight: 93350
c Current CPU time: 1.15382 s
c
c core #195
c 
c 
c Core size: 21	Core Weight: 127	Total Weight: 93477
c Current CPU time: 1.16282 s
c
c core #196
c 
c 
c Core size: 11	Core Weight: 329	Total Weight: 93806
c Current CPU time: 1.17182 s
c
c core #197
c 
c 
c Core size: 14	Core Weight: 521	Total Weight: 94327
c Current CPU time: 1.18082 s
c
c core #198
c 
c 
c Core size: 13	Core Weight: 75	Total Weight: 94402
c Current CPU time: 1.18982 s
c
c core #199
c 
c 
c Core size: 14	Core Weight: 78	Total Weight: 94480
c Current CPU time: 1.19982 s
c
c core #200
c 
c 
c Core size: 17	Core Weight: 334	Total Weight: 94814
c Current CPU time: 1.20882 s
c
c core #201
c 
c 
c Core size: 13	Core Weight: 96	Total Weight: 94910
c Current CPU time: 1.21781 s
c
c core #202
c 
c 
c Core size: 13	Core Weight: 118	Total Weight: 95028
c Current CPU time: 1.22781 s
c
c core #203
c 
c 
c Core size: 13	Core Weight: 213	Total Weight: 95241
c Current CPU time: 1.23681 s
c
c core #204
c 
c 
c Core size: 15	Core Weight: 409	Total Weight: 95650
c Current CPU time: 1.24681 s
c
c core #205
c 
c 
c Core size: 12	Core Weight: 367	Total Weight: 96017
c Current CPU time: 1.25581 s
c
c core #206
c 
c 
c Core size: 24	Core Weight: 128	Total Weight: 96145
c Current CPU time: 1.26581 s
c
c core #207
c 
c 
c Core size: 14	Core Weight: 92	Total Weight: 96237
c Current CPU time: 1.27581 s
c
c core #208
c 
c 
c Core size: 24	Core Weight: 129	Total Weight: 96366
c Current CPU time: 1.2858 s
c
c core #209
c 
c 
c Core size: 13	Core Weight: 341	Total Weight: 96707
c Current CPU time: 1.2948 s
c
c core #210
c 
c 
c Core size: 16	Core Weight: 83	Total Weight: 96790
c Current CPU time: 1.3048 s
c
c core #211
c 
c 
c Core size: 12	Core Weight: 457	Total Weight: 97247
c Current CPU time: 1.3138 s
c
c core #212
c 
c 
c Core size: 11	Core Weight: 296	Total Weight: 97543
c Current CPU time: 1.3238 s
c
c core #213
c 
c 
c Core size: 14	Core Weight: 532	Total Weight: 98075
c Current CPU time: 1.3328 s
c
c core #214
c 
c 
c Core size: 16	Core Weight: 1137	Total Weight: 99212
c Current CPU time: 1.34279 s
c
c core #215
c 
c 
c Core size: 15	Core Weight: 329	Total Weight: 99541
c Current CPU time: 1.35279 s
c
c core #216
c 
c 
c Core size: 15	Core Weight: 10	Total Weight: 99551
c Current CPU time: 1.36179 s
c
c core #217
c 
c 
c Core size: 22	Core Weight: 197	Total Weight: 99748
c Current CPU time: 1.37179 s
c
c core #218
c 
c 
c Core size: 28	Core Weight: 31	Total Weight: 99779
c Current CPU time: 1.38179 s
c
c core #219
c 
c 
c Core size: 8	Core Weight: 99	Total Weight: 99878
c Current CPU time: 1.39079 s
c
c core #220
c 
c 
c Core size: 11	Core Weight: 698	Total Weight: 100576
c Current CPU time: 1.39979 s
c
c core #221
c 
c 
c Core size: 14	Core Weight: 95	Total Weight: 100671
c Current CPU time: 1.40979 s
c
c core #222
c 
c 
c Core size: 11	Core Weight: 419	Total Weight: 101090
c Current CPU time: 1.41978 s
c
c core #223
c 
c 
c Core size: 13	Core Weight: 437	Total Weight: 101527
c Current CPU time: 1.42978 s
c
c core #224
c 
c 
c Core size: 14	Core Weight: 587	Total Weight: 102114
c Current CPU time: 1.43978 s
c
c core #225
c 
c 
c Core size: 17	Core Weight: 74	Total Weight: 102188
c Current CPU time: 1.44978 s
c
c core #226
c 
c 
c Core size: 18	Core Weight: 74	Total Weight: 102262
c Current CPU time: 1.45978 s
c
c core #227
c 
c 
c Core size: 16	Core Weight: 732	Total Weight: 102994
c Current CPU time: 1.46978 s
c
c core #228
c 
c 
c Core size: 20	Core Weight: 139	Total Weight: 103133
c Current CPU time: 1.47978 s
c
c core #229
c 
c 
c Core size: 18	Core Weight: 331	Total Weight: 103464
c Current CPU time: 1.48977 s
c
c core #230
c 
c 
c Core size: 13	Core Weight: 91	Total Weight: 103555
c Current CPU time: 1.49977 s
c
c core #231
c 
c 
c Core size: 17	Core Weight: 361	Total Weight: 103916
c Current CPU time: 1.50977 s
c
c core #232
c 
c 
c Core size: 13	Core Weight: 128	Total Weight: 104044
c Current CPU time: 1.52077 s
c
c core #233
c 
c 
c Core size: 24	Core Weight: 189	Total Weight: 104233
c Current CPU time: 1.53077 s
c
c core #234
c 
c 
c Core size: 24	Core Weight: 592	Total Weight: 104825
c Current CPU time: 1.54177 s
c
c core #235
c 
c 
c Core size: 17	Core Weight: 319	Total Weight: 105144
c Current CPU time: 1.55176 s
c
c core #236
c 
c 
c Core size: 22	Core Weight: 127	Total Weight: 105271
c Current CPU time: 1.56276 s
c
c core #237
c 
c 
c Core size: 21	Core Weight: 49	Total Weight: 105320
c Current CPU time: 1.57376 s
c
c core #238
c 
c 
c Core size: 22	Core Weight: 189	Total Weight: 105509
c Current CPU time: 1.58476 s
c
c core #239
c 
c 
c Core size: 13	Core Weight: 718	Total Weight: 106227
c Current CPU time: 1.59576 s
c
c core #240
c 
c 
c Core size: 25	Core Weight: 400	Total Weight: 106627
c Current CPU time: 1.60676 s
c
c core #241
c 
c 
c Core size: 16	Core Weight: 140	Total Weight: 106767
c Current CPU time: 1.61775 s
c
c core #242
c 
c 
c Core size: 30	Core Weight: 278	Total Weight: 107045
c Current CPU time: 1.62775 s
c
c core #243
c 
c 
c Core size: 21	Core Weight: 55	Total Weight: 107100
c Current CPU time: 1.63875 s
c
c core #244
c 
c 
c Core size: 14	Core Weight: 301	Total Weight: 107401
c Current CPU time: 1.64875 s
c
c core #245
c 
c 
c Core size: 18	Core Weight: 191	Total Weight: 107592
c Current CPU time: 1.65975 s
c
c core #246
c 
c 
c Core size: 10	Core Weight: 650	Total Weight: 108242
c Current CPU time: 1.67075 s
c
c core #247
c 
c 
c Core size: 17	Core Weight: 644	Total Weight: 108886
c Current CPU time: 1.68174 s
c
c core #248
c 
c 
c Core size: 14	Core Weight: 87	Total Weight: 108973
c Current CPU time: 1.69274 s
c
c core #249
c 
c 
c Core size: 14	Core Weight: 812	Total Weight: 109785
c Current CPU time: 1.70474 s
c
c core #250
c 
c 
c Core size: 13	Core Weight: 100	Total Weight: 109885
c Current CPU time: 1.71574 s
c
c core #251
c 
c 
c Core size: 12	Core Weight: 818	Total Weight: 110703
c Current CPU time: 1.72674 s
c
c core #252
c 
c 
c Core size: 19	Core Weight: 320	Total Weight: 111023
c Current CPU time: 1.73673 s
c
c core #253
c 
c 
c Core size: 14	Core Weight: 10	Total Weight: 111033
c Current CPU time: 1.74773 s
c
c core #254
c 
c 
c Core size: 19	Core Weight: 361	Total Weight: 111394
c Current CPU time: 1.75873 s
c
c core #255
c 
c 
c Core size: 20	Core Weight: 159	Total Weight: 111553
c Current CPU time: 1.76973 s
c
c core #256
c 
c 
c Core size: 16	Core Weight: 215	Total Weight: 111768
c Current CPU time: 1.77973 s
c
c core #257
c 
c 
c Core size: 22	Core Weight: 537	Total Weight: 112305
c Current CPU time: 1.79073 s
c
c core #258
c 
c 
c Core size: 19	Core Weight: 291	Total Weight: 112596
c Current CPU time: 1.80173 s
c
c core #259
c 
c 
c Core size: 19	Core Weight: 30	Total Weight: 112626
c Current CPU time: 1.81372 s
c
c core #260
c 
c 
c Core size: 15	Core Weight: 204	Total Weight: 112830
c Current CPU time: 1.82572 s
c
c core #261
c 
c 
c Core size: 13	Core Weight: 402	Total Weight: 113232
c Current CPU time: 1.83672 s
c
c core #262
c 
c 
c Core size: 14	Core Weight: 442	Total Weight: 113674
c Current CPU time: 1.84772 s
c
c core #263
c 
c 
c Core size: 21	Core Weight: 361	Total Weight: 114035
c Current CPU time: 1.85972 s
c
c core #264
c 
c 
c Core size: 19	Core Weight: 35	Total Weight: 114070
c Current CPU time: 1.87072 s
c
c core #265
c 
c 
c Core size: 14	Core Weight: 178	Total Weight: 114248
c Current CPU time: 1.88171 s
c
c core #266
c 
c 
c Core size: 12	Core Weight: 473	Total Weight: 114721
c Current CPU time: 1.89371 s
c
c core #267
c 
c 
c Core size: 17	Core Weight: 14	Total Weight: 114735
c Current CPU time: 1.90571 s
c
c core #268
c 
c 
c Core size: 38	Core Weight: 30	Total Weight: 114765
c Current CPU time: 1.91671 s
c
c core #269
c 
c 
c Core size: 36	Core Weight: 129	Total Weight: 114894
c Current CPU time: 1.92771 s
c
c core #270
c 
c 
c Core size: 10	Core Weight: 285	Total Weight: 115179
c Current CPU time: 1.93871 s
c
c core #271
c 
c 
c Core size: 12	Core Weight: 565	Total Weight: 115744
c Current CPU time: 1.9487 s
c
c core #272
c 
c 
c Core size: 19	Core Weight: 85	Total Weight: 115829
c Current CPU time: 1.9607 s
c
c core #273
c 
c 
c Core size: 14	Core Weight: 321	Total Weight: 116150
c Current CPU time: 1.9727 s
c
c core #274
c 
c 
c Core size: 19	Core Weight: 18	Total Weight: 116168
c Current CPU time: 1.9837 s
c
c core #275
c 
c 
c Core size: 18	Core Weight: 916	Total Weight: 117084
c Current CPU time: 1.9957 s
c
c core #276
c 
c 
c Core size: 16	Core Weight: 1082	Total Weight: 118166
c Current CPU time: 2.00769 s
c
c core #277
c 
c 
c Core size: 19	Core Weight: 30	Total Weight: 118196
c Current CPU time: 2.01869 s
c
c core #278
c 
c 
c Core size: 19	Core Weight: 108	Total Weight: 118304
c Current CPU time: 2.03069 s
c
c core #279
c 
c 
c Core size: 17	Core Weight: 222	Total Weight: 118526
c Current CPU time: 2.04269 s
c
c core #280
c 
c 
c Core size: 23	Core Weight: 72	Total Weight: 118598
c Current CPU time: 2.05469 s
c
c core #281
c 
c 
c Core size: 24	Core Weight: 41	Total Weight: 118639
c Current CPU time: 2.06768 s
c
c core #282
c 
c 
c Core size: 15	Core Weight: 92	Total Weight: 118731
c Current CPU time: 2.07968 s
c
c core #283
c 
c 
c Core size: 22	Core Weight: 1086	Total Weight: 119817
c Current CPU time: 2.09168 s
c
c core #284
c 
c 
c Core size: 31	Core Weight: 17	Total Weight: 119834
c Current CPU time: 2.10368 s
c
c core #285
c 
c 
c Core size: 20	Core Weight: 307	Total Weight: 120141
c Current CPU time: 2.11568 s
c
c core #286
c 
c 
c Core size: 13	Core Weight: 602	Total Weight: 120743
c Current CPU time: 2.12768 s
c
c core #287
c 
c 
c Core size: 20	Core Weight: 462	Total Weight: 121205
c Current CPU time: 2.14167 s
c
c core #288
c 
c 
c Core size: 43	Core Weight: 43	Total Weight: 121248
c Current CPU time: 2.15367 s
c
c core #289
c 
c 
c Core size: 14	Core Weight: 12	Total Weight: 121260
c Current CPU time: 2.16767 s
c
c core #290
c 
c 
c Core size: 10	Core Weight: 900	Total Weight: 122160
c Current CPU time: 2.17867 s
c
c core #291
c 
c 
c Core size: 12	Core Weight: 359	Total Weight: 122519
c Current CPU time: 2.19067 s
c
c core #292
c 
c 
c Core size: 19	Core Weight: 11	Total Weight: 122530
c Current CPU time: 2.20366 s
c
c core #293
c 
c 
c Core size: 14	Core Weight: 111	Total Weight: 122641
c Current CPU time: 2.21566 s
c
c core #294
c 
c 
c Core size: 19	Core Weight: 161	Total Weight: 122802
c Current CPU time: 2.22866 s
c
c core #295
c 
c 
c Core size: 20	Core Weight: 283	Total Weight: 123085
c Current CPU time: 2.24166 s
c
c core #296
c 
c 
c Core size: 21	Core Weight: 273	Total Weight: 123358
c Current CPU time: 2.25366 s
c
c core #297
c 
c 
c Core size: 10	Core Weight: 966	Total Weight: 124324
c Current CPU time: 2.26765 s
c
c core #298
c 
c 
c Core size: 15	Core Weight: 544	Total Weight: 124868
c Current CPU time: 2.27965 s
c
c core #299
c 
c 
c Core size: 17	Core Weight: 227	Total Weight: 125095
c Current CPU time: 2.29065 s
c
c core #300
c 
c 
c Core size: 17	Core Weight: 3	Total Weight: 125098
c Current CPU time: 2.30265 s
c
c core #301
c 
c 
c Core size: 16	Core Weight: 394	Total Weight: 125492
c Current CPU time: 2.31665 s
c
c core #302
c 
c 
c Core size: 8	Core Weight: 40	Total Weight: 125532
c Current CPU time: 2.32864 s
c
c core #303
c 
c 
c Core size: 14	Core Weight: 88	Total Weight: 125620
c Current CPU time: 2.34164 s
c
c core #304
c 
c 
c Core size: 21	Core Weight: 336	Total Weight: 125956
c Current CPU time: 2.35264 s
c
c core #305
c 
c 
c Core size: 23	Core Weight: 48	Total Weight: 126004
c Current CPU time: 2.36564 s
c
c core #306
c 
c 
c Core size: 11	Core Weight: 766	Total Weight: 126770
c Current CPU time: 2.37864 s
c
c core #307
c 
c 
c Core size: 14	Core Weight: 283	Total Weight: 127053
c Current CPU time: 2.39164 s
c
c core #308
c 
c 
c Core size: 14	Core Weight: 961	Total Weight: 128014
c Current CPU time: 2.40463 s
c
c core #309
c 
c 
c Core size: 16	Core Weight: 181	Total Weight: 128195
c Current CPU time: 2.41663 s
c
c core #310
c 
c 
c Core size: 17	Core Weight: 197	Total Weight: 128392
c Current CPU time: 2.42963 s
c
c core #311
c 
c 
c Core size: 16	Core Weight: 563	Total Weight: 128955
c Current CPU time: 2.44263 s
c
c core #312
c 
c 
c Core size: 24	Core Weight: 81	Total Weight: 129036
c Current CPU time: 2.45463 s
c
c core #313
c 
c 
c Core size: 25	Core Weight: 105	Total Weight: 129141
c Current CPU time: 2.46762 s
c
c core #314
c 
c 
c Core size: 22	Core Weight: 50	Total Weight: 129191
c Current CPU time: 2.48162 s
c
c core #315
c 
c 
c Core size: 18	Core Weight: 632	Total Weight: 129823
c Current CPU time: 2.49362 s
c
c core #316
c 
c 
c Core size: 20	Core Weight: 298	Total Weight: 130121
c Current CPU time: 2.50662 s
c
c core #317
c 
c 
c Core size: 14	Core Weight: 738	Total Weight: 130859
c Current CPU time: 2.51962 s
c
c core #318
c 
c 
c Core size: 15	Core Weight: 112	Total Weight: 130971
c Current CPU time: 2.53361 s
c
c core #319
c 
c 
c Core size: 16	Core Weight: 404	Total Weight: 131375
c Current CPU time: 2.54561 s
c
c core #320
c 
c 
c Core size: 13	Core Weight: 76	Total Weight: 131451
c Current CPU time: 2.55861 s
c
c core #321
c 
c 
c Core size: 13	Core Weight: 773	Total Weight: 132224
c Current CPU time: 2.57161 s
c
c core #322
c 
c 
c Core size: 13	Core Weight: 110	Total Weight: 132334
c Current CPU time: 2.58461 s
c
c core #323
c 
c 
c Core size: 15	Core Weight: 206	Total Weight: 132540
c Current CPU time: 2.5986 s
c
c core #324
c 
c 
c Core size: 14	Core Weight: 598	Total Weight: 133138
c Current CPU time: 2.6116 s
c
c core #325
c 
c 
c Core size: 19	Core Weight: 163	Total Weight: 133301
c Current CPU time: 2.6256 s
c
c core #326
c 
c 
c Core size: 38	Core Weight: 148	Total Weight: 133449
c Current CPU time: 2.6386 s
c
c core #327
c 
c 
c Core size: 22	Core Weight: 96	Total Weight: 133545
c Current CPU time: 2.6536 s
c
c core #328
c 
c 
c Core size: 15	Core Weight: 354	Total Weight: 133899
c Current CPU time: 2.66659 s
c
c core #329
c 
c 
c Core size: 18	Core Weight: 1163	Total Weight: 135062
c Current CPU time: 2.68059 s
c
c core #330
c 
c 
c Core size: 18	Core Weight: 118	Total Weight: 135180
c Current CPU time: 2.69459 s
c
c core #331
c 
c 
c Core size: 15	Core Weight: 421	Total Weight: 135601
c Current CPU time: 2.70859 s
c
c core #332
c 
c 
c Core size: 18	Core Weight: 335	Total Weight: 135936
c Current CPU time: 2.72259 s
c
c core #333
c 
c 
c Core size: 16	Core Weight: 67	Total Weight: 136003
c Current CPU time: 2.73658 s
c
c core #334
c 
c 
c Core size: 9	Core Weight: 1378	Total Weight: 137381
c Current CPU time: 2.74958 s
c
c core #335
c 
c 
c Core size: 11	Core Weight: 186	Total Weight: 137567
c Current CPU time: 2.76358 s
c
c core #336
c 
c 
c Core size: 15	Core Weight: 521	Total Weight: 138088
c Current CPU time: 2.77658 s
c
c core #337
c 
c 
c Core size: 35	Core Weight: 186	Total Weight: 138274
c Current CPU time: 2.78958 s
c
c core #338
c 
c 
c Core size: 25	Core Weight: 11	Total Weight: 138285
c Current CPU time: 2.80357 s
c
c core #339
c 
c 
c Core size: 28	Core Weight: 223	Total Weight: 138508
c Current CPU time: 2.81757 s
c
c core #340
c 
c 
c Core size: 14	Core Weight: 13	Total Weight: 138521
c Current CPU time: 2.83257 s
c
c core #341
c 
c 
c Core size: 17	Core Weight: 99	Total Weight: 138620
c Current CPU time: 2.84657 s
c
c core #342
c 
c 
c Core size: 8	Core Weight: 523	Total Weight: 139143
c Current CPU time: 2.86156 s
c
c core #343
c 
c 
c Core size: 15	Core Weight: 916	Total Weight: 140059
c Current CPU time: 2.87356 s
c
c core #344
c 
c 
c Core size: 14	Core Weight: 838	Total Weight: 140897
c Current CPU time: 2.88756 s
c
c core #345
c 
c 
c Core size: 20	Core Weight: 68	Total Weight: 140965
c Current CPU time: 2.90256 s
c
c core #346
c 
c 
c Core size: 11	Core Weight: 96	Total Weight: 141061
c Current CPU time: 2.91656 s
c
c core #347
c 
c 
c Core size: 16	Core Weight: 13	Total Weight: 141074
c Current CPU time: 2.93155 s
c
c core #348
c 
c 
c Core size: 31	Core Weight: 68	Total Weight: 141142
c Current CPU time: 2.94555 s
c
c core #349
c 
c 
c Core size: 27	Core Weight: 5	Total Weight: 141147
c Current CPU time: 2.95955 s
c
c core #350
c 
c 
c Core size: 8	Core Weight: 132	Total Weight: 141279
c Current CPU time: 2.97355 s
c
c core #351
c 
c 
c Core size: 11	Core Weight: 195	Total Weight: 141474
c Current CPU time: 2.98855 s
c
c core #352
c 
c 
c Core size: 11	Core Weight: 568	Total Weight: 142042
c Current CPU time: 3.00254 s
c
c core #353
c 
c 
c Core size: 16	Core Weight: 51	Total Weight: 142093
c Current CPU time: 3.01654 s
c
c core #354
c 
c 
c Core size: 18	Core Weight: 516	Total Weight: 142609
c Current CPU time: 3.03054 s
c
c core #355
c 
c 
c Core size: 17	Core Weight: 835	Total Weight: 143444
c Current CPU time: 3.04554 s
c
c core #356
c 
c 
c Core size: 18	Core Weight: 297	Total Weight: 143741
c Current CPU time: 3.06053 s
c
c core #357
c 
c 
c Core size: 23	Core Weight: 128	Total Weight: 143869
c Current CPU time: 3.07653 s
c
c core #358
c 
c 
c Core size: 27	Core Weight: 181	Total Weight: 144050
c Current CPU time: 3.09153 s
c
c core #359
c 
c 
c Core size: 23	Core Weight: 31	Total Weight: 144081
c Current CPU time: 3.10653 s
c
c core #360
c 
c 
c Core size: 29	Core Weight: 66	Total Weight: 144147
c Current CPU time: 3.12252 s
c
c core #361
c 
c 
c Core size: 16	Core Weight: 68	Total Weight: 144215
c Current CPU time: 3.13652 s
c
c core #362
c 
c 
c Core size: 19	Core Weight: 485	Total Weight: 144700
c Current CPU time: 3.15152 s
c
c core #363
c 
c 
c Core size: 19	Core Weight: 10	Total Weight: 144710
c Current CPU time: 3.16652 s
c
c core #364
c 
c 
c Core size: 24	Core Weight: 160	Total Weight: 144870
c Current CPU time: 3.18252 s
c
c core #365
c 
c 
c Core size: 23	Core Weight: 484	Total Weight: 145354
c Current CPU time: 3.19751 s
c
c core #366
c 
c 
c Core size: 23	Core Weight: 2	Total Weight: 145356
c Current CPU time: 3.21151 s
c
c core #367
c 
c 
c Core size: 16	Core Weight: 543	Total Weight: 145899
c Current CPU time: 3.22651 s
c
c core #368
c 
c 
c Core size: 17	Core Weight: 389	Total Weight: 146288
c Current CPU time: 3.24151 s
c
c core #369
c 
c 
c Core size: 22	Core Weight: 101	Total Weight: 146389
c Current CPU time: 3.2575 s
c
c core #370
c 
c 
c Core size: 22	Core Weight: 207	Total Weight: 146596
c Current CPU time: 3.2725 s
c
c core #371
c 
c 
c Core size: 28	Core Weight: 158	Total Weight: 146754
c Current CPU time: 3.2885 s
c
c core #372
c 
c 
c Core size: 28	Core Weight: 28	Total Weight: 146782
c Current CPU time: 3.3035 s
c
c core #373
c 
c 
c Core size: 26	Core Weight: 158	Total Weight: 146940
c Current CPU time: 3.31949 s
c
c core #374
c 
c 
c Core size: 28	Core Weight: 311	Total Weight: 147251
c Current CPU time: 3.33449 s
c
c core #375
c 
c 
c Core size: 30	Core Weight: 47	Total Weight: 147298
c Current CPU time: 3.35049 s
c
c core #376
c 
c 
c Core size: 31	Core Weight: 19	Total Weight: 147317
c Current CPU time: 3.36549 s
c
c core #377
c 
c 
c Core size: 15	Core Weight: 921	Total Weight: 148238
c Current CPU time: 3.38149 s
c
c core #378
c 
c 
c Core size: 12	Core Weight: 1206	Total Weight: 149444
c Current CPU time: 3.39848 s
c
c core #379
c 
c 
c Core size: 10	Core Weight: 236	Total Weight: 149680
c Current CPU time: 3.41448 s
c
c core #380
c 
c 
c Core size: 11	Core Weight: 345	Total Weight: 150025
c Current CPU time: 3.43148 s
c
c core #381
c 
c 
c Core size: 15	Core Weight: 125	Total Weight: 150150
c Current CPU time: 3.44548 s
c
c core #382
c 
c 
c Core size: 17	Core Weight: 229	Total Weight: 150379
c Current CPU time: 3.46147 s
c
c core #383
c 
c 
c Core size: 17	Core Weight: 89	Total Weight: 150468
c Current CPU time: 3.47647 s
c
c core #384
c 
c 
c Core size: 14	Core Weight: 422	Total Weight: 150890
c Current CPU time: 3.49147 s
c
c core #385
c 
c 
c Core size: 16	Core Weight: 133	Total Weight: 151023
c Current CPU time: 3.50747 s
c
c core #386
c 
c 
c Core size: 15	Core Weight: 463	Total Weight: 151486
c Current CPU time: 3.52246 s
c
c core #387
c 
c 
c Core size: 20	Core Weight: 229	Total Weight: 151715
c Current CPU time: 3.53846 s
c
c core #388
c 
c 
c Core size: 15	Core Weight: 340	Total Weight: 152055
c Current CPU time: 3.55446 s
c
c core #389
c 
c 
c Core size: 21	Core Weight: 553	Total Weight: 152608
c Current CPU time: 3.57046 s
c
c core #390
c 
c 
c Core size: 17	Core Weight: 299	Total Weight: 152907
c Current CPU time: 3.58645 s
c
c core #391
c 
c 
c Core size: 17	Core Weight: 51	Total Weight: 152958
c Current CPU time: 3.60245 s
c
c core #392
c 
c 
c Core size: 21	Core Weight: 47	Total Weight: 153005
c Current CPU time: 3.61945 s
c
c core #393
c 
c 
c Core size: 25	Core Weight: 160	Total Weight: 153165
c Current CPU time: 3.63445 s
c
c core #394
c 
c 
c Core size: 17	Core Weight: 122	Total Weight: 153287
c Current CPU time: 3.65044 s
c
c core #395
c 
c 
c Core size: 17	Core Weight: 262	Total Weight: 153549
c Current CPU time: 3.66644 s
c
c core #396
c 
c 
c Core size: 21	Core Weight: 261	Total Weight: 153810
c Current CPU time: 3.68244 s
c
c core #397
c 
c 
c Core size: 26	Core Weight: 84	Total Weight: 153894
c Current CPU time: 3.69844 s
c
c core #398
c 
c 
c Core size: 20	Core Weight: 34	Total Weight: 153928
c Current CPU time: 3.71443 s
c
c core #399
c 
c 
c Core size: 25	Core Weight: 16	Total Weight: 153944
c Current CPU time: 3.73043 s
c
c core #400
c 
c 
c Core size: 27	Core Weight: 326	Total Weight: 154270
c Current CPU time: 3.74643 s
c
c core #401
c 
c 
c Core size: 48	Core Weight: 55	Total Weight: 154325
c Current CPU time: 3.76343 s
c
c core #402
c 
c 
c Core size: 47	Core Weight: 34	Total Weight: 154359
c Current CPU time: 3.78143 s
c
c core #403
c 
c 
c Core size: 37	Core Weight: 63	Total Weight: 154422
c Current CPU time: 3.79742 s
c
c core #404
c 
c 
c Core size: 35	Core Weight: 41	Total Weight: 154463
c Current CPU time: 3.81442 s
c
c core #405
c 
c 
c Core size: 12	Core Weight: 489	Total Weight: 154952
c Current CPU time: 3.83242 s
c
c core #406
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 154953
c Current CPU time: 3.84941 s
c
c core #407
c 
c 
c Core size: 23	Core Weight: 162	Total Weight: 155115
c Current CPU time: 3.86641 s
c
c core #408
c 
c 
c Core size: 18	Core Weight: 258	Total Weight: 155373
c Current CPU time: 3.88441 s
c
c core #409
c 
c 
c Core size: 22	Core Weight: 60	Total Weight: 155433
c Current CPU time: 3.90041 s
c
c core #410
c 
c 
c Core size: 17	Core Weight: 79	Total Weight: 155512
c Current CPU time: 3.9184 s
c
c core #411
c 
c 
c Core size: 22	Core Weight: 595	Total Weight: 156107
c Current CPU time: 3.9354 s
c
c core #412
c 
c 
c Core size: 20	Core Weight: 37	Total Weight: 156144
c Current CPU time: 3.9524 s
c
c core #413
c 
c 
c Core size: 11	Core Weight: 749	Total Weight: 156893
c Current CPU time: 3.9694 s
c
c core #414
c 
c 
c Core size: 18	Core Weight: 661	Total Weight: 157554
c Current CPU time: 3.98639 s
c
c core #415
c 
c 
c Core size: 18	Core Weight: 14	Total Weight: 157568
c Current CPU time: 4.00239 s
c
c core #416
c 
c 
c Core size: 17	Core Weight: 265	Total Weight: 157833
c Current CPU time: 4.02039 s
c
c core #417
c 
c 
c Core size: 16	Core Weight: 102	Total Weight: 157935
c Current CPU time: 4.03739 s
c
c core #418
c 
c 
c Core size: 14	Core Weight: 258	Total Weight: 158193
c Current CPU time: 4.05438 s
c
c core #419
c 
c 
c Core size: 42	Core Weight: 197	Total Weight: 158390
c Current CPU time: 4.07138 s
c
c core #420
c 
c 
c Core size: 12	Core Weight: 106	Total Weight: 158496
c Current CPU time: 4.08938 s
c
c core #421
c 
c 
c Core size: 8	Core Weight: 620	Total Weight: 159116
c Current CPU time: 4.10637 s
c
c core #422
c 
c 
c Core size: 12	Core Weight: 72	Total Weight: 159188
c Current CPU time: 4.12237 s
c
c core #423
c 
c 
c Core size: 8	Core Weight: 714	Total Weight: 159902
c Current CPU time: 4.14037 s
c
c core #424
c 
c 
c Core size: 13	Core Weight: 66	Total Weight: 159968
c Current CPU time: 4.15737 s
c
c core #425
c 
c 
c Core size: 11	Core Weight: 189	Total Weight: 160157
c Current CPU time: 4.17337 s
c
c core #426
c 
c 
c Core size: 14	Core Weight: 24	Total Weight: 160181
c Current CPU time: 4.19036 s
c
c core #427
c 
c 
c Core size: 14	Core Weight: 299	Total Weight: 160480
c Current CPU time: 4.20736 s
c
c core #428
c 
c 
c Core size: 21	Core Weight: 180	Total Weight: 160660
c Current CPU time: 4.22436 s
c
c core #429
c 
c 
c Core size: 14	Core Weight: 250	Total Weight: 160910
c Current CPU time: 4.24136 s
c
c core #430
c 
c 
c Core size: 19	Core Weight: 98	Total Weight: 161008
c Current CPU time: 4.25835 s
c
c core #431
c 
c 
c Core size: 20	Core Weight: 19	Total Weight: 161027
c Current CPU time: 4.27535 s
c
c core #432
c 
c 
c Core size: 10	Core Weight: 924	Total Weight: 161951
c Current CPU time: 4.29335 s
c
c core #433
c 
c 
c Core size: 15	Core Weight: 42	Total Weight: 161993
c Current CPU time: 4.31034 s
c
c core #434
c 
c 
c Core size: 17	Core Weight: 1369	Total Weight: 163362
c Current CPU time: 4.32734 s
c
c core #435
c 
c 
c Core size: 17	Core Weight: 301	Total Weight: 163663
c Current CPU time: 4.34534 s
c
c core #436
c 
c 
c Core size: 11	Core Weight: 328	Total Weight: 163991
c Current CPU time: 4.36334 s
c
c core #437
c 
c 
c Core size: 11	Core Weight: 731	Total Weight: 164722
c Current CPU time: 4.38033 s
c
c core #438
c 
c 
c Core size: 13	Core Weight: 14	Total Weight: 164736
c Current CPU time: 4.39833 s
c
c core #439
c 
c 
c Core size: 11	Core Weight: 33	Total Weight: 164769
c Current CPU time: 4.41533 s
c
c core #440
c 
c 
c Core size: 15	Core Weight: 29	Total Weight: 164798
c Current CPU time: 4.43233 s
c
c core #441
c 
c 
c Core size: 13	Core Weight: 337	Total Weight: 165135
c Current CPU time: 4.44832 s
c
c core #442
c 
c 
c Core size: 15	Core Weight: 250	Total Weight: 165385
c Current CPU time: 4.46632 s
c
c core #443
c 
c 
c Core size: 16	Core Weight: 181	Total Weight: 165566
c Current CPU time: 4.48432 s
c
c core #444
c 
c 
c Core size: 13	Core Weight: 754	Total Weight: 166320
c Current CPU time: 4.50131 s
c
c core #445
c 
c 
c Core size: 13	Core Weight: 97	Total Weight: 166417
c Current CPU time: 4.51931 s
c
c core #446
c 
c 
c Core size: 16	Core Weight: 182	Total Weight: 166599
c Current CPU time: 4.53631 s
c
c core #447
c 
c 
c Core size: 16	Core Weight: 7	Total Weight: 166606
c Current CPU time: 4.55431 s
c
c core #448
c 
c 
c Core size: 11	Core Weight: 20	Total Weight: 166626
c Current CPU time: 4.5713 s
c
c core #449
c 
c 
c Core size: 18	Core Weight: 789	Total Weight: 167415
c Current CPU time: 4.5893 s
c
c core #450
c 
c 
c Core size: 13	Core Weight: 4	Total Weight: 167419
c Current CPU time: 4.6073 s
c
c core #451
c 
c 
c Core size: 14	Core Weight: 231	Total Weight: 167650
c Current CPU time: 4.6253 s
c
c core #452
c 
c 
c Core size: 10	Core Weight: 633	Total Weight: 168283
c Current CPU time: 4.64229 s
c
c core #453
c 
c 
c Core size: 19	Core Weight: 47	Total Weight: 168330
c Current CPU time: 4.66029 s
c
c core #454
c 
c 
c Core size: 20	Core Weight: 64	Total Weight: 168394
c Current CPU time: 4.67929 s
c
c core #455
c 
c 
c Core size: 13	Core Weight: 523	Total Weight: 168917
c Current CPU time: 4.69728 s
c
c core #456
c 
c 
c Core size: 8	Core Weight: 338	Total Weight: 169255
c Current CPU time: 4.71428 s
c
c core #457
c 
c 
c Core size: 9	Core Weight: 35	Total Weight: 169290
c Current CPU time: 4.73028 s
c
c core #458
c 
c 
c Core size: 13	Core Weight: 97	Total Weight: 169387
c Current CPU time: 4.74928 s
c
c core #459
c 
c 
c Core size: 11	Core Weight: 677	Total Weight: 170064
c Current CPU time: 4.76727 s
c
c core #460
c 
c 
c Core size: 18	Core Weight: 312	Total Weight: 170376
c Current CPU time: 4.78527 s
c
c core #461
c 
c 
c Core size: 14	Core Weight: 916	Total Weight: 171292
c Current CPU time: 4.80327 s
c
c core #462
c 
c 
c Core size: 22	Core Weight: 52	Total Weight: 171344
c Current CPU time: 4.82127 s
c
c core #463
c 
c 
c Core size: 24	Core Weight: 193	Total Weight: 171537
c Current CPU time: 4.83926 s
c
c core #464
c 
c 
c Core size: 25	Core Weight: 130	Total Weight: 171667
c Current CPU time: 4.85826 s
c
c core #465
c 
c 
c Core size: 20	Core Weight: 200	Total Weight: 171867
c Current CPU time: 4.87626 s
c
c core #466
c 
c 
c Core size: 22	Core Weight: 187	Total Weight: 172054
c Current CPU time: 4.89426 s
c
c core #467
c 
c 
c Core size: 22	Core Weight: 871	Total Weight: 172925
c Current CPU time: 4.91225 s
c
c core #468
c 
c 
c Core size: 15	Core Weight: 99	Total Weight: 173024
c Current CPU time: 4.93025 s
c
c core #469
c 
c 
c Core size: 15	Core Weight: 507	Total Weight: 173531
c Current CPU time: 4.95025 s
c
c core #470
c 
c 
c Core size: 20	Core Weight: 468	Total Weight: 173999
c Current CPU time: 4.96924 s
c
c core #471
c 
c 
c Core size: 26	Core Weight: 44	Total Weight: 174043
c Current CPU time: 4.98624 s
c
c core #472
c 
c 
c Core size: 20	Core Weight: 534	Total Weight: 174577
c Current CPU time: 5.00524 s
c
c core #473
c 
c 
c Core size: 18	Core Weight: 298	Total Weight: 174875
c Current CPU time: 5.02324 s
c
c core #474
c 
c 
c Core size: 17	Core Weight: 472	Total Weight: 175347
c Current CPU time: 5.04123 s
c
c core #475
c 
c 
c Core size: 11	Core Weight: 1155	Total Weight: 176502
c Current CPU time: 5.06023 s
c
c core #476
c 
c 
c Core size: 11	Core Weight: 13	Total Weight: 176515
c Current CPU time: 5.07723 s
c
c core #477
c 
c 
c Core size: 11	Core Weight: 128	Total Weight: 176643
c Current CPU time: 5.09722 s
c
c core #478
c 
c 
c Core size: 16	Core Weight: 5	Total Weight: 176648
c Current CPU time: 5.11522 s
c
c core #479
c 
c 
c Core size: 9	Core Weight: 482	Total Weight: 177130
c Current CPU time: 5.13322 s
c
c core #480
c 
c 
c Core size: 14	Core Weight: 494	Total Weight: 177624
c Current CPU time: 5.15222 s
c
c core #481
c 
c 
c Core size: 8	Core Weight: 556	Total Weight: 178180
c Current CPU time: 5.17021 s
c
c core #482
c 
c 
c Core size: 11	Core Weight: 515	Total Weight: 178695
c Current CPU time: 5.18721 s
c
c core #483
c 
c 
c Core size: 11	Core Weight: 681	Total Weight: 179376
c Current CPU time: 5.20621 s
c
c core #484
c 
c 
c Core size: 12	Core Weight: 372	Total Weight: 179748
c Current CPU time: 5.22321 s
c
c core #485
c 
c 
c Core size: 11	Core Weight: 394	Total Weight: 180142
c Current CPU time: 5.2422 s
c
c core #486
c 
c 
c Core size: 13	Core Weight: 35	Total Weight: 180177
c Current CPU time: 5.2612 s
c
c core #487
c 
c 
c Core size: 13	Core Weight: 163	Total Weight: 180340
c Current CPU time: 5.2802 s
c
c core #488
c 
c 
c Core size: 18	Core Weight: 103	Total Weight: 180443
c Current CPU time: 5.29919 s
c
c core #489
c 
c 
c Core size: 17	Core Weight: 232	Total Weight: 180675
c Current CPU time: 5.31819 s
c
c core #490
c 
c 
c Core size: 9	Core Weight: 439	Total Weight: 181114
c Current CPU time: 5.33719 s
c
c core #491
c 
c 
c Core size: 15	Core Weight: 493	Total Weight: 181607
c Current CPU time: 5.35618 s
c
c core #492
c 
c 
c Core size: 11	Core Weight: 486	Total Weight: 182093
c Current CPU time: 5.37418 s
c
c core #493
c 
c 
c Core size: 16	Core Weight: 103	Total Weight: 182196
c Current CPU time: 5.39318 s
c
c core #494
c 
c 
c Core size: 10	Core Weight: 159	Total Weight: 182355
c Current CPU time: 5.41018 s
c
c core #495
c 
c 
c Core size: 14	Core Weight: 330	Total Weight: 182685
c Current CPU time: 5.42917 s
c
c core #496
c 
c 
c Core size: 24	Core Weight: 14	Total Weight: 182699
c Current CPU time: 5.44717 s
c
c core #497
c 
c 
c Core size: 14	Core Weight: 1360	Total Weight: 184059
c Current CPU time: 5.46717 s
c
c core #498
c 
c 
c Core size: 17	Core Weight: 143	Total Weight: 184202
c Current CPU time: 5.48616 s
c
c core #499
c 
c 
c Core size: 15	Core Weight: 283	Total Weight: 184485
c Current CPU time: 5.50516 s
c
c core #500
c 
c 
c Core size: 39	Core Weight: 96	Total Weight: 184581
c Current CPU time: 5.52416 s
c
c core #501
c 
c 
c Core size: 12	Core Weight: 428	Total Weight: 185009
c Current CPU time: 5.54416 s
c
c core #502
c 
c 
c Core size: 11	Core Weight: 366	Total Weight: 185375
c Current CPU time: 5.56315 s
c
c core #503
c 
c 
c Core size: 16	Core Weight: 162	Total Weight: 185537
c Current CPU time: 5.58315 s
c
c core #504
c 
c 
c Core size: 42	Core Weight: 12	Total Weight: 185549
c Current CPU time: 5.60215 s
c
c core #505
c 
c 
c Core size: 11	Core Weight: 197	Total Weight: 185746
c Current CPU time: 5.62214 s
c
c core #506
c 
c 
c Core size: 14	Core Weight: 207	Total Weight: 185953
c Current CPU time: 5.64014 s
c
c core #507
c 
c 
c Core size: 19	Core Weight: 479	Total Weight: 186432
c Current CPU time: 5.66014 s
c
c core #508
c 
c 
c Core size: 8	Core Weight: 531	Total Weight: 186963
c Current CPU time: 5.68014 s
c
c core #509
c 
c 
c Core size: 14	Core Weight: 6	Total Weight: 186969
c Current CPU time: 5.69813 s
c
c core #510
c 
c 
c Core size: 14	Core Weight: 263	Total Weight: 187232
c Current CPU time: 5.71713 s
c
c core #511
c 
c 
c Core size: 11	Core Weight: 187	Total Weight: 187419
c Current CPU time: 5.73613 s
c
c core #512
c 
c 
c Core size: 14	Core Weight: 93	Total Weight: 187512
c Current CPU time: 5.75512 s
c
c core #513
c 
c 
c Core size: 14	Core Weight: 24	Total Weight: 187536
c Current CPU time: 5.77412 s
c
c core #514
c 
c 
c Core size: 13	Core Weight: 348	Total Weight: 187884
c Current CPU time: 5.79312 s
c
c core #515
c 
c 
c Core size: 18	Core Weight: 829	Total Weight: 188713
c Current CPU time: 5.81212 s
c
c core #516
c 
c 
c Core size: 15	Core Weight: 170	Total Weight: 188883
c Current CPU time: 5.83011 s
c
c core #517
c 
c 
c Core size: 15	Core Weight: 326	Total Weight: 189209
c Current CPU time: 5.85011 s
c
c core #518
c 
c 
c Core size: 25	Core Weight: 21	Total Weight: 189230
c Current CPU time: 5.86911 s
c
c core #519
c 
c 
c Core size: 26	Core Weight: 963	Total Weight: 190193
c Current CPU time: 5.8881 s
c
c core #520
c 
c 
c Core size: 22	Core Weight: 69	Total Weight: 190262
c Current CPU time: 5.9081 s
c
c core #521
c 
c 
c Core size: 22	Core Weight: 43	Total Weight: 190305
c Current CPU time: 5.9261 s
c
c core #522
c 
c 
c Core size: 20	Core Weight: 44	Total Weight: 190349
c Current CPU time: 5.9471 s
c
c core #523
c 
c 
c Core size: 23	Core Weight: 201	Total Weight: 190550
c Current CPU time: 5.96709 s
c
c core #524
c 
c 
c Core size: 26	Core Weight: 334	Total Weight: 190884
c Current CPU time: 5.98609 s
c
c core #525
c 
c 
c Core size: 12	Core Weight: 372	Total Weight: 191256
c Current CPU time: 6.00709 s
c
c core #526
c 
c 
c Core size: 12	Core Weight: 669	Total Weight: 191925
c Current CPU time: 6.02508 s
c
c core #527
c 
c 
c Core size: 14	Core Weight: 444	Total Weight: 192369
c Current CPU time: 6.04508 s
c
c core #528
c 
c 
c Core size: 17	Core Weight: 755	Total Weight: 193124
c Current CPU time: 6.06408 s
c
c core #529
c 
c 
c Core size: 16	Core Weight: 111	Total Weight: 193235
c Current CPU time: 6.08408 s
c
c core #530
c 
c 
c Core size: 21	Core Weight: 102	Total Weight: 193337
c Current CPU time: 6.10507 s
c
c core #531
c 
c 
c Core size: 19	Core Weight: 325	Total Weight: 193662
c Current CPU time: 6.12507 s
c
c core #532
c 
c 
c Core size: 33	Core Weight: 174	Total Weight: 193836
c Current CPU time: 6.14407 s
c
c core #533
c 
c 
c Core size: 31	Core Weight: 236	Total Weight: 194072
c Current CPU time: 6.16606 s
c
c core #534
c 
c 
c Core size: 16	Core Weight: 232	Total Weight: 194304
c Current CPU time: 6.18606 s
c
c core #535
c 
c 
c Core size: 31	Core Weight: 19	Total Weight: 194323
c Current CPU time: 6.20706 s
c
c core #536
c 
c 
c Core size: 30	Core Weight: 14	Total Weight: 194337
c Current CPU time: 6.22805 s
c
c core #537
c 
c 
c Core size: 32	Core Weight: 226	Total Weight: 194563
c Current CPU time: 6.24905 s
c
c core #538
c 
c 
c Core size: 34	Core Weight: 102	Total Weight: 194665
c Current CPU time: 6.27005 s
c
c core #539
c 
c 
c Core size: 22	Core Weight: 463	Total Weight: 195128
c Current CPU time: 6.29104 s
c
c core #540
c 
c 
c Core size: 20	Core Weight: 52	Total Weight: 195180
c Current CPU time: 6.31304 s
c
c core #541
c 
c 
c Core size: 21	Core Weight: 401	Total Weight: 195581
c Current CPU time: 6.33504 s
c
c core #542
c 
c 
c Core size: 38	Core Weight: 43	Total Weight: 195624
c Current CPU time: 6.35403 s
c
c core #543
c 
c 
c Core size: 42	Core Weight: 7	Total Weight: 195631
c Current CPU time: 6.37503 s
c
c core #544
c 
c 
c Core size: 47	Core Weight: 77	Total Weight: 195708
c Current CPU time: 6.39803 s
c
c core #545
c 
c 
c Core size: 51	Core Weight: 55	Total Weight: 195763
c Current CPU time: 6.42002 s
c
c core #546
c 
c 
c Core size: 11	Core Weight: 18	Total Weight: 195781
c Current CPU time: 6.44102 s
c
c core #547
c 
c 
c Core size: 11	Core Weight: 336	Total Weight: 196117
c Current CPU time: 6.46302 s
c
c core #548
c 
c 
c Core size: 16	Core Weight: 55	Total Weight: 196172
c Current CPU time: 6.48201 s
c
c core #549
c 
c 
c Core size: 12	Core Weight: 175	Total Weight: 196347
c Current CPU time: 6.50301 s
c
c core #550
c 
c 
c Core size: 11	Core Weight: 717	Total Weight: 197064
c Current CPU time: 6.52401 s
c
c core #551
c 
c 
c Core size: 16	Core Weight: 165	Total Weight: 197229
c Current CPU time: 6.545 s
c
c core #552
c 
c 
c Core size: 13	Core Weight: 161	Total Weight: 197390
c Current CPU time: 6.567 s
c
c core #553
c 
c 
c Core size: 13	Core Weight: 465	Total Weight: 197855
c Current CPU time: 6.588 s
c
c core #554
c 
c 
c Core size: 14	Core Weight: 344	Total Weight: 198199
c Current CPU time: 6.609 s
c
c core #555
c 
c 
c Core size: 17	Core Weight: 196	Total Weight: 198395
c Current CPU time: 6.62999 s
c
c core #556
c 
c 
c Core size: 14	Core Weight: 24	Total Weight: 198419
c Current CPU time: 6.65199 s
c
c core #557
c 
c 
c Core size: 19	Core Weight: 72	Total Weight: 198491
c Current CPU time: 6.67298 s
c
c core #558
c 
c 
c Core size: 11	Core Weight: 587	Total Weight: 199078
c Current CPU time: 6.69498 s
c
c core #559
c 
c 
c Core size: 11	Core Weight: 452	Total Weight: 199530
c Current CPU time: 6.71598 s
c
c core #560
c 
c 
c Core size: 16	Core Weight: 167	Total Weight: 199697
c Current CPU time: 6.73698 s
c
c core #561
c 
c 
c Core size: 128	Core Weight: 11	Total Weight: 199708
c Current CPU time: 6.75997 s
c
c core #562
c 
c 
c Core size: 84	Core Weight: 24	Total Weight: 199732
c Current CPU time: 6.78297 s
c
c core #563
c 
c 
c Core size: 13	Core Weight: 568	Total Weight: 200300
c Current CPU time: 6.80597 s
c
c core #564
c 
c 
c Core size: 14	Core Weight: 643	Total Weight: 200943
c Current CPU time: 6.82896 s
c
c core #565
c 
c 
c Core size: 19	Core Weight: 135	Total Weight: 201078
c Current CPU time: 6.85096 s
c
c core #566
c 
c 
c Core size: 17	Core Weight: 307	Total Weight: 201385
c Current CPU time: 6.87396 s
c
c core #567
c 
c 
c Core size: 18	Core Weight: 135	Total Weight: 201520
c Current CPU time: 6.89595 s
c
c core #568
c 
c 
c Core size: 16	Core Weight: 275	Total Weight: 201795
c Current CPU time: 6.91895 s
c
c core #569
c 
c 
c Core size: 15	Core Weight: 114	Total Weight: 201909
c Current CPU time: 6.94194 s
c
c core #570
c 
c 
c Core size: 12	Core Weight: 297	Total Weight: 202206
c Current CPU time: 6.96394 s
c
c core #571
c 
c 
c Core size: 21	Core Weight: 506	Total Weight: 202712
c Current CPU time: 6.98594 s
c
c core #572
c 
c 
c Core size: 21	Core Weight: 34	Total Weight: 202746
c Current CPU time: 7.00793 s
c
c core #573
c 
c 
c Core size: 8	Core Weight: 596	Total Weight: 203342
c Current CPU time: 7.02993 s
c
c core #574
c 
c 
c Core size: 15	Core Weight: 198	Total Weight: 203540
c Current CPU time: 7.05193 s
c
c core #575
c 
c 
c Core size: 14	Core Weight: 232	Total Weight: 203772
c Current CPU time: 7.07392 s
c
c core #576
c 
c 
c Core size: 19	Core Weight: 147	Total Weight: 203919
c Current CPU time: 7.09592 s
c
c core #577
c 
c 
c Core size: 13	Core Weight: 23	Total Weight: 203942
c Current CPU time: 7.11792 s
c
c core #578
c 
c 
c Core size: 13	Core Weight: 92	Total Weight: 204034
c Current CPU time: 7.13991 s
c
c core #579
c 
c 
c Core size: 19	Core Weight: 813	Total Weight: 204847
c Current CPU time: 7.16091 s
c
c core #580
c 
c 
c Core size: 19	Core Weight: 471	Total Weight: 205318
c Current CPU time: 7.18291 s
c
c core #581
c 
c 
c Core size: 24	Core Weight: 215	Total Weight: 205533
c Current CPU time: 7.2049 s
c
c core #582
c 
c 
c Core size: 26	Core Weight: 62	Total Weight: 205595
c Current CPU time: 7.2279 s
c
c core #583
c 
c 
c Core size: 25	Core Weight: 69	Total Weight: 205664
c Current CPU time: 7.2509 s
c
c core #584
c 
c 
c Core size: 22	Core Weight: 348	Total Weight: 206012
c Current CPU time: 7.27289 s
c
c core #585
c 
c 
c Core size: 20	Core Weight: 650	Total Weight: 206662
c Current CPU time: 7.29489 s
c
c core #586
c 
c 
c Core size: 18	Core Weight: 395	Total Weight: 207057
c Current CPU time: 7.31789 s
c
c core #587
c 
c 
c Core size: 17	Core Weight: 223	Total Weight: 207280
c Current CPU time: 7.33988 s
c
c core #588
c 
c 
c Core size: 20	Core Weight: 284	Total Weight: 207564
c Current CPU time: 7.36288 s
c
c core #589
c 
c 
c Core size: 18	Core Weight: 705	Total Weight: 208269
c Current CPU time: 7.38588 s
c
c core #590
c 
c 
c Core size: 16	Core Weight: 53	Total Weight: 208322
c Current CPU time: 7.40887 s
c
c core #591
c 
c 
c Core size: 25	Core Weight: 15	Total Weight: 208337
c Current CPU time: 7.43187 s
c
c core #592
c 
c 
c Core size: 20	Core Weight: 325	Total Weight: 208662
c Current CPU time: 7.45387 s
c
c core #593
c 
c 
c Core size: 21	Core Weight: 394	Total Weight: 209056
c Current CPU time: 7.47786 s
c
c core #594
c 
c 
c Core size: 41	Core Weight: 81	Total Weight: 209137
c Current CPU time: 7.49986 s
c
c core #595
c 
c 
c Core size: 14	Core Weight: 61	Total Weight: 209198
c Current CPU time: 7.52386 s
c
c core #596
c 
c 
c Core size: 8	Core Weight: 153	Total Weight: 209351
c Current CPU time: 7.54785 s
c
c core #597
c 
c 
c Core size: 10	Core Weight: 365	Total Weight: 209716
c Current CPU time: 7.56985 s
c
c core #598
c 
c 
c Core size: 11	Core Weight: 428	Total Weight: 210144
c Current CPU time: 7.59284 s
c
c core #599
c 
c 
c Core size: 16	Core Weight: 599	Total Weight: 210743
c Current CPU time: 7.61584 s
c
c core #600
c 
c 
c Core size: 14	Core Weight: 7	Total Weight: 210750
c Current CPU time: 7.63684 s
c
c core #601
c 
c 
c Core size: 17	Core Weight: 164	Total Weight: 210914
c Current CPU time: 7.65984 s
c
c core #602
c 
c 
c Core size: 8	Core Weight: 202	Total Weight: 211116
c Current CPU time: 7.68383 s
c
c core #603
c 
c 
c Core size: 15	Core Weight: 712	Total Weight: 211828
c Current CPU time: 7.70483 s
c
c core #604
c 
c 
c Core size: 14	Core Weight: 233	Total Weight: 212061
c Current CPU time: 7.72682 s
c
c core #605
c 
c 
c Core size: 21	Core Weight: 240	Total Weight: 212301
c Current CPU time: 7.74882 s
c
c core #606
c 
c 
c Core size: 30	Core Weight: 34	Total Weight: 212335
c Current CPU time: 7.77182 s
c
c core #607
c 
c 
c Core size: 12	Core Weight: 771	Total Weight: 213106
c Current CPU time: 7.79581 s
c
c core #608
c 
c 
c Core size: 14	Core Weight: 300	Total Weight: 213406
c Current CPU time: 7.81881 s
c
c core #609
c 
c 
c Core size: 17	Core Weight: 386	Total Weight: 213792
c Current CPU time: 7.84281 s
c
c core #610
c 
c 
c Core size: 16	Core Weight: 21	Total Weight: 213813
c Current CPU time: 7.8688 s
c
c core #611
c 
c 
c Core size: 13	Core Weight: 179	Total Weight: 213992
c Current CPU time: 7.8918 s
c
c core #612
c 
c 
c Core size: 61	Core Weight: 43	Total Weight: 214035
c Current CPU time: 7.9168 s
c
c core #613
c 
c 
c Core size: 61	Core Weight: 7	Total Weight: 214042
c Current CPU time: 7.93979 s
c
c core #614
c 
c 
c Core size: 61	Core Weight: 77	Total Weight: 214119
c Current CPU time: 7.96379 s
c
c core #615
c 
c 
c Core size: 21	Core Weight: 214	Total Weight: 214333
c Current CPU time: 7.98879 s
c
c core #616
c 
c 
c Core size: 21	Core Weight: 221	Total Weight: 214554
c Current CPU time: 8.01378 s
c
c core #617
c 
c 
c Core size: 16	Core Weight: 345	Total Weight: 214899
c Current CPU time: 8.03778 s
c
c core #618
c 
c 
c Core size: 10	Core Weight: 226	Total Weight: 215125
c Current CPU time: 8.06177 s
c
c core #619
c 
c 
c Core size: 16	Core Weight: 356	Total Weight: 215481
c Current CPU time: 8.08577 s
c
c core #620
c 
c 
c Core size: 26	Core Weight: 207	Total Weight: 215688
c Current CPU time: 8.11077 s
c
c core #621
c 
c 
c Core size: 20	Core Weight: 204	Total Weight: 215892
c Current CPU time: 8.13476 s
c
c core #622
c 
c 
c Core size: 20	Core Weight: 19	Total Weight: 215911
c Current CPU time: 8.15776 s
c
c core #623
c 
c 
c Core size: 22	Core Weight: 189	Total Weight: 216100
c Current CPU time: 8.18276 s
c
c core #624
c 
c 
c Core size: 29	Core Weight: 159	Total Weight: 216259
c Current CPU time: 8.20775 s
c
c core #625
c 
c 
c Core size: 29	Core Weight: 131	Total Weight: 216390
c Current CPU time: 8.23075 s
c
c core #626
c 
c 
c Core size: 36	Core Weight: 11	Total Weight: 216401
c Current CPU time: 8.25674 s
c
c core #627
c 
c 
c Core size: 25	Core Weight: 8	Total Weight: 216409
c Current CPU time: 8.27974 s
c
c core #628
c 
c 
c Core size: 11	Core Weight: 394	Total Weight: 216803
c Current CPU time: 8.30474 s
c
c core #629
c 
c 
c Core size: 18	Core Weight: 459	Total Weight: 217262
c Current CPU time: 8.32773 s
c
c core #630
c 
c 
c Core size: 13	Core Weight: 34	Total Weight: 217296
c Current CPU time: 8.35273 s
c
c core #631
c 
c 
c Core size: 14	Core Weight: 1123	Total Weight: 218419
c Current CPU time: 8.37673 s
c
c core #632
c 
c 
c Core size: 18	Core Weight: 189	Total Weight: 218608
c Current CPU time: 8.40072 s
c
c core #633
c 
c 
c Core size: 18	Core Weight: 129	Total Weight: 218737
c Current CPU time: 8.42472 s
c
c core #634
c 
c 
c Core size: 18	Core Weight: 36	Total Weight: 218773
c Current CPU time: 8.44871 s
c
c core #635
c 
c 
c Core size: 28	Core Weight: 11	Total Weight: 218784
c Current CPU time: 8.47471 s
c
c core #636
c 
c 
c Core size: 26	Core Weight: 24	Total Weight: 218808
c Current CPU time: 8.49971 s
c
c core #637
c 
c 
c Core size: 10	Core Weight: 458	Total Weight: 219266
c Current CPU time: 8.5237 s
c
c core #638
c 
c 
c Core size: 9	Core Weight: 28	Total Weight: 219294
c Current CPU time: 8.5467 s
c
c core #639
c 
c 
c Core size: 15	Core Weight: 441	Total Weight: 219735
c Current CPU time: 8.5717 s
c
c core #640
c 
c 
c Core size: 14	Core Weight: 1087	Total Weight: 220822
c Current CPU time: 8.59569 s
c
c core #641
c 
c 
c Core size: 21	Core Weight: 77	Total Weight: 220899
c Current CPU time: 8.62069 s
c
c core #642
c 
c 
c Core size: 23	Core Weight: 267	Total Weight: 221166
c Current CPU time: 8.64569 s
c
c core #643
c 
c 
c Core size: 25	Core Weight: 188	Total Weight: 221354
c Current CPU time: 8.66968 s
c
c core #644
c 
c 
c Core size: 19	Core Weight: 162	Total Weight: 221516
c Current CPU time: 8.69368 s
c
c core #645
c 
c 
c Core size: 21	Core Weight: 254	Total Weight: 221770
c Current CPU time: 8.71867 s
c
c core #646
c 
c 
c Core size: 28	Core Weight: 289	Total Weight: 222059
c Current CPU time: 8.74367 s
c
c core #647
c 
c 
c Core size: 29	Core Weight: 437	Total Weight: 222496
c Current CPU time: 8.76867 s
c
c core #648
c 
c 
c Core size: 24	Core Weight: 218	Total Weight: 222714
c Current CPU time: 8.79466 s
c
c core #649
c 
c 
c Core size: 22	Core Weight: 328	Total Weight: 223042
c Current CPU time: 8.81966 s
c
c core #650
c 
c 
c Core size: 27	Core Weight: 24	Total Weight: 223066
c Current CPU time: 8.84465 s
c
c core #651
c 
c 
c Core size: 27	Core Weight: 133	Total Weight: 223199
c Current CPU time: 8.86965 s
c
c core #652
c 
c 
c Core size: 27	Core Weight: 56	Total Weight: 223255
c Current CPU time: 8.89465 s
c
c core #653
c 
c 
c Core size: 22	Core Weight: 586	Total Weight: 223841
c Current CPU time: 8.92164 s
c
c core #654
c 
c 
c Core size: 27	Core Weight: 301	Total Weight: 224142
c Current CPU time: 8.94664 s
c
c core #655
c 
c 
c Core size: 22	Core Weight: 29	Total Weight: 224171
c Current CPU time: 8.97164 s
c
c core #656
c 
c 
c Core size: 32	Core Weight: 56	Total Weight: 224227
c Current CPU time: 8.99763 s
c
c core #657
c 
c 
c Core size: 32	Core Weight: 24	Total Weight: 224251
c Current CPU time: 9.02363 s
c
c core #658
c 
c 
c Core size: 32	Core Weight: 133	Total Weight: 224384
c Current CPU time: 9.05062 s
c
c core #659
c 
c 
c Core size: 24	Core Weight: 94	Total Weight: 224478
c Current CPU time: 9.07662 s
c
c core #660
c 
c 
c Core size: 22	Core Weight: 7	Total Weight: 224485
c Current CPU time: 9.10262 s
c
c core #661
c 
c 
c Core size: 17	Core Weight: 3	Total Weight: 224488
c Current CPU time: 9.12861 s
c
c core #662
c 
c 
c Core size: 18	Core Weight: 429	Total Weight: 224917
c Current CPU time: 9.15461 s
c
c core #663
c 
c 
c Core size: 17	Core Weight: 449	Total Weight: 225366
c Current CPU time: 9.1796 s
c
c core #664
c 
c 
c Core size: 14	Core Weight: 21	Total Weight: 225387
c Current CPU time: 9.2046 s
c
c core #665
c 
c 
c Core size: 13	Core Weight: 278	Total Weight: 225665
c Current CPU time: 9.2316 s
c
c core #666
c 
c 
c Core size: 13	Core Weight: 110	Total Weight: 225775
c Current CPU time: 9.25859 s
c
c core #667
c 
c 
c Core size: 119	Core Weight: 24	Total Weight: 225799
c Current CPU time: 9.28459 s
c
c core #668
c 
c 
c Core size: 116	Core Weight: 32	Total Weight: 225831
c Current CPU time: 9.31158 s
c
c core #669
c 
c 
c Core size: 114	Core Weight: 37	Total Weight: 225868
c Current CPU time: 9.33858 s
c
c core #670
c 
c 
c Core size: 66	Core Weight: 107	Total Weight: 225975
c Current CPU time: 9.36658 s
c
c core #671
c 
c 
c Core size: 67	Core Weight: 7	Total Weight: 225982
c Current CPU time: 9.39357 s
c
c core #672
c 
c 
c Core size: 12	Core Weight: 72	Total Weight: 226054
c Current CPU time: 9.41957 s
c
c core #673
c 
c 
c Core size: 63	Core Weight: 12	Total Weight: 226066
c Current CPU time: 9.44656 s
c
c core #674
c 
c 
c Core size: 17	Core Weight: 295	Total Weight: 226361
c Current CPU time: 9.47256 s
c
c core #675
c 
c 
c Core size: 17	Core Weight: 614	Total Weight: 226975
c Current CPU time: 9.50056 s
c
c core #676
c 
c 
c Core size: 12	Core Weight: 219	Total Weight: 227194
c Current CPU time: 9.52755 s
c
c core #677
c 
c 
c Core size: 22	Core Weight: 84	Total Weight: 227278
c Current CPU time: 9.55555 s
c
c core #678
c 
c 
c Core size: 23	Core Weight: 393	Total Weight: 227671
c Current CPU time: 9.58254 s
c
c core #679
c 
c 
c Core size: 22	Core Weight: 66	Total Weight: 227737
c Current CPU time: 9.60954 s
c
c core #680
c 
c 
c Core size: 21	Core Weight: 39	Total Weight: 227776
c Current CPU time: 9.63554 s
c
c core #681
c 
c 
c Core size: 17	Core Weight: 352	Total Weight: 228128
c Current CPU time: 9.66353 s
c
c core #682
c 
c 
c Core size: 20	Core Weight: 288	Total Weight: 228416
c Current CPU time: 9.69153 s
c
c core #683
c 
c 
c Core size: 11	Core Weight: 465	Total Weight: 228881
c Current CPU time: 9.71852 s
c
c core #684
c 
c 
c Core size: 19	Core Weight: 110	Total Weight: 228991
c Current CPU time: 9.74452 s
c
c core #685
c 
c 
c Core size: 23	Core Weight: 186	Total Weight: 229177
c Current CPU time: 9.77151 s
c
c core #686
c 
c 
c Core size: 16	Core Weight: 69	Total Weight: 229246
c Current CPU time: 9.79651 s
c
c core #687
c 
c 
c Core size: 11	Core Weight: 816	Total Weight: 230062
c Current CPU time: 9.82251 s
c
c core #688
c 
c 
c Core size: 18	Core Weight: 222	Total Weight: 230284
c Current CPU time: 9.8485 s
c
c core #689
c 
c 
c Core size: 14	Core Weight: 507	Total Weight: 230791
c Current CPU time: 9.8765 s
c
c core #690
c 
c 
c Core size: 18	Core Weight: 413	Total Weight: 231204
c Current CPU time: 9.90249 s
c
c core #691
c 
c 
c Core size: 23	Core Weight: 107	Total Weight: 231311
c Current CPU time: 9.92949 s
c
c core #692
c 
c 
c Core size: 64	Core Weight: 48	Total Weight: 231359
c Current CPU time: 9.95749 s
c
c core #693
c 
c 
c Core size: 63	Core Weight: 36	Total Weight: 231395
c Current CPU time: 9.98448 s
c
c core #694
c 
c 
c Core size: 63	Core Weight: 45	Total Weight: 231440
c Current CPU time: 10.0115 s
c
c core #695
c 
c 
c Core size: 68	Core Weight: 295	Total Weight: 231735
c Current CPU time: 10.0385 s
c
c core #696
c 
c 
c Core size: 75	Core Weight: 33	Total Weight: 231768
c Current CPU time: 10.0665 s
c
c core #697
c 
c 
c Core size: 24	Core Weight: 38	Total Weight: 231806
c Current CPU time: 10.0935 s
c
c core #698
c 
c 
c Core size: 23	Core Weight: 382	Total Weight: 232188
c Current CPU time: 10.1205 s
c
c core #699
c 
c 
c Core size: 17	Core Weight: 6	Total Weight: 232194
c Current CPU time: 10.1475 s
c
c core #700
c 
c 
c Core size: 19	Core Weight: 303	Total Weight: 232497
c Current CPU time: 10.1745 s
c
c core #701
c 
c 
c Core size: 17	Core Weight: 154	Total Weight: 232651
c Current CPU time: 10.2014 s
c
c core #702
c 
c 
c Core size: 22	Core Weight: 116	Total Weight: 232767
c Current CPU time: 10.2284 s
c
c core #703
c 
c 
c Core size: 17	Core Weight: 96	Total Weight: 232863
c Current CPU time: 10.2564 s
c
c core #704
c 
c 
c Core size: 18	Core Weight: 432	Total Weight: 233295
c Current CPU time: 10.2844 s
c
c core #705
c 
c 
c Core size: 14	Core Weight: 569	Total Weight: 233864
c Current CPU time: 10.3124 s
c
c core #706
c 
c 
c Core size: 11	Core Weight: 24	Total Weight: 233888
c Current CPU time: 10.3404 s
c
c core #707
c 
c 
c Core size: 12	Core Weight: 56	Total Weight: 233944
c Current CPU time: 10.3694 s
c
c core #708
c 
c 
c Core size: 12	Core Weight: 35	Total Weight: 233979
c Current CPU time: 10.3974 s
c
c core #709
c 
c 
c Core size: 13	Core Weight: 173	Total Weight: 234152
c Current CPU time: 10.4274 s
c
c core #710
c 
c 
c Core size: 35	Core Weight: 106	Total Weight: 234258
c Current CPU time: 10.4574 s
c
c core #711
c 
c 
c Core size: 15	Core Weight: 168	Total Weight: 234426
c Current CPU time: 10.4874 s
c
c core #712
c 
c 
c Core size: 17	Core Weight: 875	Total Weight: 235301
c Current CPU time: 10.5174 s
c
c core #713
c 
c 
c Core size: 17	Core Weight: 171	Total Weight: 235472
c Current CPU time: 10.5484 s
c
c core #714
c 
c 
c Core size: 16	Core Weight: 95	Total Weight: 235567
c Current CPU time: 10.5784 s
c
c core #715
c 
c 
c Core size: 19	Core Weight: 134	Total Weight: 235701
c Current CPU time: 10.6084 s
c
c core #716
c 
c 
c Core size: 16	Core Weight: 319	Total Weight: 236020
c Current CPU time: 10.6384 s
c
c core #717
c 
c 
c Core size: 12	Core Weight: 156	Total Weight: 236176
c Current CPU time: 10.6674 s
c
c core #718
c 
c 
c Core size: 18	Core Weight: 629	Total Weight: 236805
c Current CPU time: 10.6974 s
c
c core #719
c 
c 
c Core size: 16	Core Weight: 182	Total Weight: 236987
c Current CPU time: 10.7294 s
c
c core #720
c 
c 
c Core size: 14	Core Weight: 582	Total Weight: 237569
c Current CPU time: 10.7614 s
c
c core #721
c 
c 
c Core size: 13	Core Weight: 81	Total Weight: 237650
c Current CPU time: 10.7914 s
c
c core #722
c 
c 
c Core size: 11	Core Weight: 159	Total Weight: 237809
c Current CPU time: 10.8204 s
c
c core #723
c 
c 
c Core size: 15	Core Weight: 332	Total Weight: 238141
c Current CPU time: 10.8474 s
c
c core #724
c 
c 
c Core size: 8	Core Weight: 379	Total Weight: 238520
c Current CPU time: 10.8763 s
c
c core #725
c 
c 
c Core size: 15	Core Weight: 184	Total Weight: 238704
c Current CPU time: 10.9043 s
c
c core #726
c 
c 
c Core size: 14	Core Weight: 1290	Total Weight: 239994
c Current CPU time: 10.9323 s
c
c core #727
c 
c 
c Core size: 17	Core Weight: 14	Total Weight: 240008
c Current CPU time: 10.9603 s
c
c core #728
c 
c 
c Core size: 17	Core Weight: 98	Total Weight: 240106
c Current CPU time: 10.9903 s
c
c core #729
c 
c 
c Core size: 13	Core Weight: 228	Total Weight: 240334
c Current CPU time: 11.0173 s
c
c core #730
c 
c 
c Core size: 14	Core Weight: 409	Total Weight: 240743
c Current CPU time: 11.0453 s
c
c core #731
c 
c 
c Core size: 11	Core Weight: 443	Total Weight: 241186
c Current CPU time: 11.0743 s
c
c core #732
c 
c 
c Core size: 16	Core Weight: 255	Total Weight: 241441
c Current CPU time: 11.1043 s
c
c core #733
c 
c 
c Core size: 17	Core Weight: 223	Total Weight: 241664
c Current CPU time: 11.1363 s
c
c core #734
c 
c 
c Core size: 66	Core Weight: 17	Total Weight: 241681
c Current CPU time: 11.1693 s
c
c core #735
c 
c 
c Core size: 11	Core Weight: 95	Total Weight: 241776
c Current CPU time: 11.2013 s
c
c core #736
c 
c 
c Core size: 13	Core Weight: 418	Total Weight: 242194
c Current CPU time: 11.2313 s
c
c core #737
c 
c 
c Core size: 16	Core Weight: 106	Total Weight: 242300
c Current CPU time: 11.2613 s
c
c core #738
c 
c 
c Core size: 11	Core Weight: 146	Total Weight: 242446
c Current CPU time: 11.2943 s
c
c core #739
c 
c 
c Core size: 10	Core Weight: 171	Total Weight: 242617
c Current CPU time: 11.3243 s
c
c core #740
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 242619
c Current CPU time: 11.3543 s
c
c core #741
c 
c 
c Core size: 38	Core Weight: 16	Total Weight: 242635
c Current CPU time: 11.3823 s
c
c core #742
c 
c 
c Core size: 14	Core Weight: 117	Total Weight: 242752
c Current CPU time: 11.4113 s
c
c core #743
c 
c 
c Core size: 19	Core Weight: 213	Total Weight: 242965
c Current CPU time: 11.4413 s
c
c core #744
c 
c 
c Core size: 20	Core Weight: 571	Total Weight: 243536
c Current CPU time: 11.4703 s
c
c core #745
c 
c 
c Core size: 20	Core Weight: 405	Total Weight: 243941
c Current CPU time: 11.4983 s
c
c core #746
c 
c 
c Core size: 24	Core Weight: 24	Total Weight: 243965
c Current CPU time: 11.5272 s
c
c core #747
c 
c 
c Core size: 24	Core Weight: 218	Total Weight: 244183
c Current CPU time: 11.5562 s
c
c core #748
c 
c 
c Core size: 16	Core Weight: 18	Total Weight: 244201
c Current CPU time: 11.5852 s
c
c core #749
c 
c 
c Core size: 17	Core Weight: 88	Total Weight: 244289
c Current CPU time: 11.6142 s
c
c core #750
c 
c 
c Core size: 14	Core Weight: 117	Total Weight: 244406
c Current CPU time: 11.6422 s
c
c core #751
c 
c 
c Core size: 17	Core Weight: 86	Total Weight: 244492
c Current CPU time: 11.6712 s
c
c core #752
c 
c 
c Core size: 14	Core Weight: 382	Total Weight: 244874
c Current CPU time: 11.6992 s
c
c core #753
c 
c 
c Core size: 9	Core Weight: 123	Total Weight: 244997
c Current CPU time: 11.7262 s
c
c core #754
c 
c 
c Core size: 15	Core Weight: 547	Total Weight: 245544
c Current CPU time: 11.7562 s
c
c core #755
c 
c 
c Core size: 10	Core Weight: 434	Total Weight: 245978
c Current CPU time: 11.7852 s
c
c core #756
c 
c 
c Core size: 14	Core Weight: 537	Total Weight: 246515
c Current CPU time: 11.8142 s
c
c core #757
c 
c 
c Core size: 21	Core Weight: 262	Total Weight: 246777
c Current CPU time: 11.8432 s
c
c core #758
c 
c 
c Core size: 14	Core Weight: 112	Total Weight: 246889
c Current CPU time: 11.8722 s
c
c core #759
c 
c 
c Core size: 19	Core Weight: 217	Total Weight: 247106
c Current CPU time: 11.9012 s
c
c core #760
c 
c 
c Core size: 20	Core Weight: 160	Total Weight: 247266
c Current CPU time: 11.9312 s
c
c core #761
c 
c 
c Core size: 20	Core Weight: 201	Total Weight: 247467
c Current CPU time: 11.9612 s
c
c core #762
c 
c 
c Core size: 24	Core Weight: 621	Total Weight: 248088
c Current CPU time: 11.9902 s
c
c core #763
c 
c 
c Core size: 31	Core Weight: 156	Total Weight: 248244
c Current CPU time: 12.0212 s
c
c core #764
c 
c 
c Core size: 26	Core Weight: 237	Total Weight: 248481
c Current CPU time: 12.0512 s
c
c core #765
c 
c 
c Core size: 14	Core Weight: 118	Total Weight: 248599
c Current CPU time: 12.0812 s
c
c core #766
c 
c 
c Core size: 14	Core Weight: 448	Total Weight: 249047
c Current CPU time: 12.1102 s
c
c core #767
c 
c 
c Core size: 19	Core Weight: 201	Total Weight: 249248
c Current CPU time: 12.1392 s
c
c core #768
c 
c 
c Core size: 25	Core Weight: 433	Total Weight: 249681
c Current CPU time: 12.1692 s
c
c core #769
c 
c 
c Core size: 26	Core Weight: 311	Total Weight: 249992
c Current CPU time: 12.2001 s
c
c core #770
c 
c 
c Core size: 11	Core Weight: 66	Total Weight: 250058
c Current CPU time: 12.2291 s
c
c core #771
c 
c 
c Core size: 20	Core Weight: 151	Total Weight: 250209
c Current CPU time: 12.2611 s
c
c core #772
c 
c 
c Core size: 16	Core Weight: 88	Total Weight: 250297
c Current CPU time: 12.2901 s
c
c core #773
c 
c 
c Core size: 17	Core Weight: 4	Total Weight: 250301
c Current CPU time: 12.3201 s
c
c core #774
c 
c 
c Core size: 24	Core Weight: 282	Total Weight: 250583
c Current CPU time: 12.3491 s
c
c core #775
c 
c 
c Core size: 18	Core Weight: 84	Total Weight: 250667
c Current CPU time: 12.3791 s
c
c core #776
c 
c 
c Core size: 24	Core Weight: 498	Total Weight: 251165
c Current CPU time: 12.4111 s
c
c core #777
c 
c 
c Core size: 14	Core Weight: 976	Total Weight: 252141
c Current CPU time: 12.4431 s
c
c core #778
c 
c 
c Core size: 14	Core Weight: 74	Total Weight: 252215
c Current CPU time: 12.4751 s
c
c core #779
c 
c 
c Core size: 19	Core Weight: 366	Total Weight: 252581
c Current CPU time: 12.5071 s
c
c core #780
c 
c 
c Core size: 20	Core Weight: 44	Total Weight: 252625
c Current CPU time: 12.5391 s
c
c core #781
c 
c 
c Core size: 19	Core Weight: 130	Total Weight: 252755
c Current CPU time: 12.5701 s
c
c core #782
c 
c 
c Core size: 20	Core Weight: 866	Total Weight: 253621
c Current CPU time: 12.6031 s
c
c core #783
c 
c 
c Core size: 20	Core Weight: 454	Total Weight: 254075
c Current CPU time: 12.6331 s
c
c core #784
c 
c 
c Core size: 13	Core Weight: 185	Total Weight: 254260
c Current CPU time: 12.6651 s
c
c core #785
c 
c 
c Core size: 22	Core Weight: 8	Total Weight: 254268
c Current CPU time: 12.6971 s
c
c core #786
c 
c 
c Core size: 21	Core Weight: 256	Total Weight: 254524
c Current CPU time: 12.7301 s
c
c core #787
c 
c 
c Core size: 20	Core Weight: 289	Total Weight: 254813
c Current CPU time: 12.7631 s
c
c core #788
c 
c 
c Core size: 24	Core Weight: 276	Total Weight: 255089
c Current CPU time: 12.7941 s
c
c core #789
c 
c 
c Core size: 14	Core Weight: 386	Total Weight: 255475
c Current CPU time: 12.825 s
c
c core #790
c 
c 
c Core size: 14	Core Weight: 137	Total Weight: 255612
c Current CPU time: 12.857 s
c
c core #791
c 
c 
c Core size: 14	Core Weight: 1165	Total Weight: 256777
c Current CPU time: 12.89 s
c
c core #792
c 
c 
c Core size: 21	Core Weight: 105	Total Weight: 256882
c Current CPU time: 12.921 s
c
c core #793
c 
c 
c Core size: 19	Core Weight: 65	Total Weight: 256947
c Current CPU time: 12.95 s
c
c core #794
c 
c 
c Core size: 15	Core Weight: 216	Total Weight: 257163
c Current CPU time: 12.982 s
c
c core #795
c 
c 
c Core size: 24	Core Weight: 28	Total Weight: 257191
c Current CPU time: 13.016 s
c
c core #796
c 
c 
c Core size: 8	Core Weight: 206	Total Weight: 257397
c Current CPU time: 13.048 s
c
c core #797
c 
c 
c Core size: 13	Core Weight: 110	Total Weight: 257507
c Current CPU time: 13.077 s
c
c core #798
c 
c 
c Core size: 11	Core Weight: 1035	Total Weight: 258542
c Current CPU time: 13.108 s
c
c core #799
c 
c 
c Core size: 18	Core Weight: 14	Total Weight: 258556
c Current CPU time: 13.139 s
c
c core #800
c 
c 
c Core size: 12	Core Weight: 342	Total Weight: 258898
c Current CPU time: 13.17 s
c
c core #801
c 
c 
c Core size: 14	Core Weight: 860	Total Weight: 259758
c Current CPU time: 13.2 s
c
c core #802
c 
c 
c Core size: 18	Core Weight: 64	Total Weight: 259822
c Current CPU time: 13.231 s
c
c core #803
c 
c 
c Core size: 25	Core Weight: 80	Total Weight: 259902
c Current CPU time: 13.263 s
c
c core #804
c 
c 
c Core size: 25	Core Weight: 149	Total Weight: 260051
c Current CPU time: 13.294 s
c
c core #805
c 
c 
c Core size: 22	Core Weight: 904	Total Weight: 260955
c Current CPU time: 13.326 s
c
c core #806
c 
c 
c Core size: 24	Core Weight: 36	Total Weight: 260991
c Current CPU time: 13.357 s
c
c core #807
c 
c 
c Core size: 21	Core Weight: 279	Total Weight: 261270
c Current CPU time: 13.388 s
c
c core #808
c 
c 
c Core size: 18	Core Weight: 366	Total Weight: 261636
c Current CPU time: 13.419 s
c
c core #809
c 
c 
c Core size: 19	Core Weight: 32	Total Weight: 261668
c Current CPU time: 13.449 s
c
c core #810
c 
c 
c Core size: 22	Core Weight: 12	Total Weight: 261680
c Current CPU time: 13.48 s
c
c core #811
c 
c 
c Core size: 21	Core Weight: 91	Total Weight: 261771
c Current CPU time: 13.5109 s
c
c core #812
c 
c 
c Core size: 19	Core Weight: 99	Total Weight: 261870
c Current CPU time: 13.5439 s
c
c core #813
c 
c 
c Core size: 21	Core Weight: 59	Total Weight: 261929
c Current CPU time: 13.5769 s
c
c core #814
c 
c 
c Core size: 23	Core Weight: 15	Total Weight: 261944
c Current CPU time: 13.6089 s
c
c core #815
c 
c 
c Core size: 22	Core Weight: 321	Total Weight: 262265
c Current CPU time: 13.6409 s
c
c core #816
c 
c 
c Core size: 20	Core Weight: 57	Total Weight: 262322
c Current CPU time: 13.6719 s
c
c core #817
c 
c 
c Core size: 19	Core Weight: 78	Total Weight: 262400
c Current CPU time: 13.7019 s
c
c core #818
c 
c 
c Core size: 63	Core Weight: 14	Total Weight: 262414
c Current CPU time: 13.7339 s
c
c core #819
c 
c 
c Core size: 17	Core Weight: 440	Total Weight: 262854
c Current CPU time: 13.7649 s
c
c core #820
c 
c 
c Core size: 21	Core Weight: 491	Total Weight: 263345
c Current CPU time: 13.7979 s
c
c core #821
c 
c 
c Core size: 22	Core Weight: 158	Total Weight: 263503
c Current CPU time: 13.8309 s
c
c core #822
c 
c 
c Core size: 18	Core Weight: 91	Total Weight: 263594
c Current CPU time: 13.8639 s
c
c core #823
c 
c 
c Core size: 20	Core Weight: 753	Total Weight: 264347
c Current CPU time: 13.9059 s
c
c core #824
c 
c 
c Core size: 20	Core Weight: 186	Total Weight: 264533
c Current CPU time: 13.9419 s
c
c core #825
c 
c 
c Core size: 16	Core Weight: 717	Total Weight: 265250
c Current CPU time: 13.9749 s
c
c core #826
c 
c 
c Core size: 22	Core Weight: 140	Total Weight: 265390
c Current CPU time: 14.0069 s
c
c core #827
c 
c 
c Core size: 37	Core Weight: 74	Total Weight: 265464
c Current CPU time: 14.0399 s
c
c core #828
c 
c 
c Core size: 17	Core Weight: 779	Total Weight: 266243
c Current CPU time: 14.0809 s
c
c core #829
c 
c 
c Core size: 11	Core Weight: 339	Total Weight: 266582
c Current CPU time: 14.1129 s
c
c core #830
c 
c 
c Core size: 15	Core Weight: 23	Total Weight: 266605
c Current CPU time: 14.1488 s
c
c core #831
c 
c 
c Core size: 54	Core Weight: 17	Total Weight: 266622
c Current CPU time: 14.1828 s
c
c core #832
c 
c 
c Core size: 16	Core Weight: 305	Total Weight: 266927
c Current CPU time: 14.2168 s
c
c core #833
c 
c 
c Core size: 11	Core Weight: 539	Total Weight: 267466
c Current CPU time: 14.2498 s
c
c core #834
c 
c 
c Core size: 22	Core Weight: 54	Total Weight: 267520
c Current CPU time: 14.2878 s
c
c core #835
c 
c 
c Core size: 36	Core Weight: 111	Total Weight: 267631
c Current CPU time: 14.3218 s
c
c core #836
c 
c 
c Core size: 22	Core Weight: 16	Total Weight: 267647
c Current CPU time: 14.3558 s
c
c core #837
c 
c 
c Core size: 12	Core Weight: 447	Total Weight: 268094
c Current CPU time: 14.3898 s
c
c core #838
c 
c 
c Core size: 23	Core Weight: 209	Total Weight: 268303
c Current CPU time: 14.4258 s
c
c core #839
c 
c 
c Core size: 14	Core Weight: 158	Total Weight: 268461
c Current CPU time: 14.4598 s
c
c core #840
c 
c 
c Core size: 24	Core Weight: 62	Total Weight: 268523
c Current CPU time: 14.4938 s
c
c core #841
c 
c 
c Core size: 15	Core Weight: 100	Total Weight: 268623
c Current CPU time: 14.5298 s
c
c core #842
c 
c 
c Core size: 18	Core Weight: 584	Total Weight: 269207
c Current CPU time: 14.5648 s
c
c core #843
c 
c 
c Core size: 83	Core Weight: 27	Total Weight: 269234
c Current CPU time: 14.6068 s
c
c core #844
c 
c 
c Core size: 22	Core Weight: 39	Total Weight: 269273
c Current CPU time: 14.6488 s
c
c core #845
c 
c 
c Core size: 46	Core Weight: 220	Total Weight: 269493
c Current CPU time: 14.6828 s
c
c core #846
c 
c 
c Core size: 19	Core Weight: 128	Total Weight: 269621
c Current CPU time: 14.7228 s
c
c core #847
c 
c 
c Core size: 26	Core Weight: 13	Total Weight: 269634
c Current CPU time: 14.7598 s
c
c core #848
c 
c 
c Core size: 49	Core Weight: 13	Total Weight: 269647
c Current CPU time: 14.7957 s
c
c core #849
c 
c 
c Core size: 17	Core Weight: 696	Total Weight: 270343
c Current CPU time: 14.8337 s
c
c core #850
c 
c 
c Core size: 28	Core Weight: 68	Total Weight: 270411
c Current CPU time: 14.8747 s
c
c core #851
c 
c 
c Core size: 24	Core Weight: 158	Total Weight: 270569
c Current CPU time: 14.9117 s
c
c core #852
c 
c 
c Core size: 16	Core Weight: 350	Total Weight: 270919
c Current CPU time: 14.9447 s
c
c core #853
c 
c 
c Core size: 22	Core Weight: 17	Total Weight: 270936
c Current CPU time: 14.9797 s
c
c core #854
c 
c 
c Core size: 69	Core Weight: 10	Total Weight: 270946
c Current CPU time: 15.0247 s
c
c core #855
c 
c 
c Core size: 65	Core Weight: 30	Total Weight: 270976
c Current CPU time: 15.0627 s
c
c core #856
c 
c 
c Core size: 13	Core Weight: 1001	Total Weight: 271977
c Current CPU time: 15.1047 s
c
c core #857
c 
c 
c Core size: 16	Core Weight: 365	Total Weight: 272342
c Current CPU time: 15.1507 s
c
c core #858
c 
c 
c Core size: 26	Core Weight: 87	Total Weight: 272429
c Current CPU time: 15.1947 s
c
c core #859
c 
c 
c Core size: 20	Core Weight: 60	Total Weight: 272489
c Current CPU time: 15.2387 s
c
c core #860
c 
c 
c Core size: 56	Core Weight: 5	Total Weight: 272494
c Current CPU time: 15.2817 s
c
c core #861
c 
c 
c Core size: 17	Core Weight: 315	Total Weight: 272809
c Current CPU time: 15.3247 s
c
c core #862
c 
c 
c Core size: 41	Core Weight: 362	Total Weight: 273171
c Current CPU time: 15.3607 s
c
c core #863
c 
c 
c Core size: 69	Core Weight: 99	Total Weight: 273270
c Current CPU time: 15.3987 s
c
c core #864
c 
c 
c Core size: 21	Core Weight: 322	Total Weight: 273592
c Current CPU time: 15.4397 s
c
c core #865
c 
c 
c Core size: 20	Core Weight: 38	Total Weight: 273630
c Current CPU time: 15.4866 s
c
c core #866
c 
c 
c Core size: 50	Core Weight: 17	Total Weight: 273647
c Current CPU time: 15.5276 s
c
c core #867
c 
c 
c Core size: 46	Core Weight: 2	Total Weight: 273649
c Current CPU time: 15.5736 s
c
c core #868
c 
c 
c Core size: 43	Core Weight: 30	Total Weight: 273679
c Current CPU time: 15.6176 s
c
c core #869
c 
c 
c Core size: 19	Core Weight: 541	Total Weight: 274220
c Current CPU time: 15.6536 s
c
c core #870
c 
c 
c Core size: 42	Core Weight: 9	Total Weight: 274229
c Current CPU time: 15.6916 s
c
c core #871
c 
c 
c Core size: 48	Core Weight: 23	Total Weight: 274252
c Current CPU time: 15.7346 s
c
c core #872
c 
c 
c Core size: 61	Core Weight: 109	Total Weight: 274361
c Current CPU time: 15.7736 s
c
c core #873
c 
c 
c Core size: 53	Core Weight: 64	Total Weight: 274425
c Current CPU time: 15.8096 s
c
c core #874
c 
c 
c Core size: 63	Core Weight: 20	Total Weight: 274445
c Current CPU time: 15.8456 s
c
c core #875
c 
c 
c Core size: 35	Core Weight: 48	Total Weight: 274493
c Current CPU time: 15.8906 s
c
c core #876
c 
c 
c Core size: 40	Core Weight: 24	Total Weight: 274517
c Current CPU time: 15.9376 s
c
c core #877
c 
c 
c Core size: 51	Core Weight: 17	Total Weight: 274534
c Current CPU time: 15.9736 s
c
c core #878
c 
c 
c Core size: 18	Core Weight: 235	Total Weight: 274769
c Current CPU time: 16.0216 s
c
c core #879
c 
c 
c Core size: 51	Core Weight: 12	Total Weight: 274781
c Current CPU time: 16.0626 s
c
c core #880
c 
c 
c Core size: 23	Core Weight: 412	Total Weight: 275193
c Current CPU time: 16.1086 s
c
c core #881
c 
c 
c Core size: 24	Core Weight: 76	Total Weight: 275269
c Current CPU time: 16.1465 s
c
c core #882
c 
c 
c Core size: 23	Core Weight: 153	Total Weight: 275422
c Current CPU time: 16.1935 s
c
c core #883
c 
c 
c Core size: 36	Core Weight: 3	Total Weight: 275425
c Current CPU time: 16.2335 s
c
c core #884
c 
c 
c Core size: 36	Core Weight: 38	Total Weight: 275463
c Current CPU time: 16.2705 s
c
c core #885
c 
c 
c Core size: 35	Core Weight: 61	Total Weight: 275524
c Current CPU time: 16.3175 s
c
c core #886
c 
c 
c Core size: 18	Core Weight: 331	Total Weight: 275855
c Current CPU time: 16.3555 s
c
c core #887
c 
c 
c Core size: 94	Core Weight: 3	Total Weight: 275858
c Current CPU time: 16.3995 s
c
c core #888
c 
c 
c Core size: 79	Core Weight: 21	Total Weight: 275879
c Current CPU time: 16.4425 s
c
c core #889
c 
c 
c Core size: 89	Core Weight: 12	Total Weight: 275891
c Current CPU time: 16.4885 s
c
c core #890
c 
c 
c Core size: 75	Core Weight: 28	Total Weight: 275919
c Current CPU time: 16.5315 s
c
c #cores: 890
o 275919
s OPTIMUM FOUND
v -1 2 -3 4 -5 6 -7 -8 9 -10 -11 12 -13 -14 15 -16 17 -18 -19 -20 21 -22 23 -24 -25 26 -27 28 -29 30 -31 -32 33 -34 -35 -36 37 -38 -39 -40 -41 42 -43 -44 -45 46 -47 48 -49 -50 51 -52 -53 -54 -55 56 -57 58 -59 60 -61 -62 63 -64 -65 66 67 -68 -69 70 -71 -72 -73 74 75 -76 -77 78 -79 80 -81 -82 -83 84 -85 -86 -87 88 -89 90 -91 -92 93 -94 -95 96 -97 -98 99 -100 -101 102 -103 -104 -105 -106 107 -108 109 -110 -111 112 -113 114 -115 116 -117 -118 -119 -120 -121 -122 123 -124 125 126 -127 -128 -129 -130 131 -132 -133 134 -135 136 -137 -138 139 -140 -141 -142 143 -144 -145 -146 147 -148 -149 -150 151 -152 -153 -154 155 -156 -157 -158 159 160 -161 -162 163 -164 -165 -166 167 -168 169 -170 -171 -172 -173 -174 -175 176 -177 178 -179 -180 181 -182 -183 184 -185 -186 -187 -188 189 -190 191 -192 -193 -194 195 -196 -197 198 -199 -200 -201 202 203 -204 -205 206 207 -208 -209 210 -211 -212 213 214 -215 -216 -217 -218 219 220 -221 -222 -223 -224 -225 226 -227 228 -229 -230 231 -232 233 -234 -235 -236 -237 238 -239 -240 -241 242 -243 244 245 -246 -247 248 -249 -250 -251 252 -253 -254 255 -256 -257 258 -259 -260 -261 262 -263 264 265 -266 -267 -268 269 -270 -271 272 -273 274 -275 -276 277 -278 -279 280 -281 -282 283 -284 -285 -286 287 288 -289 -290 -291 292 -293 294 -295 -296 297 -298 -299 300 -301 -302 -303 304 305 -306 -307 -308 309 -310 -311 -312 -313 314 315 -316 -317 -318 319 -320 -321 322 -323 -324 325 -326 -327 -328 329 -330 -331 332 -333 -334 335 -336 337 -338 339 -340 341 -342 -343 -344 345 -346 347 -348 -349 -350 351 352 -353 -354 -355 356 -357 -358 359 -360 -361 362 363 -364 -365 -366 367 368 -369 370 -371 -372 373 -374 -375 -376 377 378 -379 -380 -381 382 -383 -384 -385 386 -387 388 -389 390 -391 392 393 -394 -395 -396 397 -398 -399 -400 -401 402 -403 404 -405 -406 -407 408 -409 410 -411 412 -413 -414 -415 416 -417 418 -419 -420 -421 -422 423 424 -425 426 -427 428 -429 -430 -431 432 -433 -434 435 -436 -437 438 439 -440 441 -442 -443 444 -445 -446 -447 448 -449 450 -451 -452 453 -454 -455 456 -457 -458 459 460 -461 -462 463 -464 -465 466 -467 -468 469 -470 -471 472 -473 474 -475 -476 477 -478 -479 -480 -481 -482 483 -484 485 486 -487 -488 489 -490 -491 -492 493 -494 -495 496 -497 -498 -499 -500 501 -502 -503 504 -505 506 -507 -508 -509 510 -511 -512 -513 514 -515 516 -517 -518 519 -520 -521 -522 -523 524 -525 -526 -527 528 -529 -530 531 -532 533 -534 -535 -536 537 -538 539 540 -541 -542 -543 -544 545 -546 -547 -548 -549 -550 551 -552 -553 554 -555 -556 -557 -558 559 -560 561 -562 -563 -564 565 -566 567 -568 -569 -570 571 -572 573 574 -575 -576 -577 -578 579 -580 581 -582 -583 -584 585 586 -587 -588 589 -590 -591 -592 593 -594 595 -596 -597 -598 -599 600 -601 -602 603 -604 -605 -606 607 -608 -609 610 -611 612 -613 -614 615 616 -617 -618 -619 -620 -621 -622 623 624 -625 -626 -627 628 -629 630 -631 -632 -633 634 -635 636 -637 -638 -639 -640 641 -642 -643 644 -645 646 -647 -648 649 -650 -651 652 -653 -654 -655 -656 -657 658 659 -660 -661 662 -663 -664 -665 666 667 -668 669 -670 -671 -672 673 -674 -675 -676 677 -678 -679 -680 -681 682 -683 -684 685 -686 687 -688 689 -690 -691 -692 693 -694 695 -696 -697 698 -699 -700 -701 702 -703 -704 -705 706 707 -708 -709 -710 -711 -712 713 -714 -715 716 -717 -718 719 720 -721 -722 -723 -724 725 -726 -727 728 -729 730 -731 732 -733 734 -735 -736 737 -738 -739 740 -741 -742 743 -744 -745 746 -747 -748 749 -750 -751 -752 -753 754 -755 756 -757 -758 -759 760 -761 762 -763 -764
16.586u 0.485s 0:17.15 99.4%	0+0k 0+0io 0pf+0w