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-80-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 5	Core Weight: 1423	Total Weight: 1423
c Current CPU time: 0.004999 s
c
c core #2
c 
c 
c Core size: 3	Core Weight: 141	Total Weight: 1564
c Current CPU time: 0.007998 s
c
c core #3
c 
c 
c Core size: 4	Core Weight: 1115	Total Weight: 2679
c Current CPU time: 0.009998 s
c
c core #4
c 
c 
c Core size: 3	Core Weight: 566	Total Weight: 3245
c Current CPU time: 0.012998 s
c
c core #5
c 
c 
c Core size: 4	Core Weight: 1168	Total Weight: 4413
c Current CPU time: 0.014997 s
c
c core #6
c 
c 
c Core size: 5	Core Weight: 1245	Total Weight: 5658
c Current CPU time: 0.017997 s
c
c core #7
c 
c 
c Core size: 9	Core Weight: 196	Total Weight: 5854
c Current CPU time: 0.019996 s
c
c core #8
c 
c 
c Core size: 11	Core Weight: 1058	Total Weight: 6912
c Current CPU time: 0.022996 s
c
c core #9
c 
c 
c Core size: 4	Core Weight: 440	Total Weight: 7352
c Current CPU time: 0.024996 s
c
c core #10
c 
c 
c Core size: 9	Core Weight: 133	Total Weight: 7485
c Current CPU time: 0.027995 s
c
c core #11
c 
c 
c Core size: 10	Core Weight: 675	Total Weight: 8160
c Current CPU time: 0.029995 s
c
c core #12
c 
c 
c Core size: 5	Core Weight: 841	Total Weight: 9001
c Current CPU time: 0.032994 s
c
c core #13
c 
c 
c Core size: 13	Core Weight: 197	Total Weight: 9198
c Current CPU time: 0.035994 s
c
c core #14
c 
c 
c Core size: 4	Core Weight: 280	Total Weight: 9478
c Current CPU time: 0.038994 s
c
c core #15
c 
c 
c Core size: 8	Core Weight: 636	Total Weight: 10114
c Current CPU time: 0.040993 s
c
c core #16
c 
c 
c Core size: 17	Core Weight: 73	Total Weight: 10187
c Current CPU time: 0.043993 s
c
c core #17
c 
c 
c Core size: 10	Core Weight: 75	Total Weight: 10262
c Current CPU time: 0.046992 s
c
c core #18
c 
c 
c Core size: 14	Core Weight: 42	Total Weight: 10304
c Current CPU time: 0.048992 s
c
c core #19
c 
c 
c Core size: 16	Core Weight: 168	Total Weight: 10472
c Current CPU time: 0.051992 s
c
c core #20
c 
c 
c Core size: 14	Core Weight: 229	Total Weight: 10701
c Current CPU time: 0.055991 s
c
c core #21
c 
c 
c Core size: 26	Core Weight: 42	Total Weight: 10743
c Current CPU time: 0.058991 s
c
c core #22
c 
c 
c Core size: 27	Core Weight: 168	Total Weight: 10911
c Current CPU time: 0.06199 s
c
c core #23
c 
c 
c Core size: 17	Core Weight: 19	Total Weight: 10930
c Current CPU time: 0.06499 s
c
c core #24
c 
c 
c Core size: 20	Core Weight: 196	Total Weight: 11126
c Current CPU time: 0.067989 s
c
c core #25
c 
c 
c Core size: 18	Core Weight: 105	Total Weight: 11231
c Current CPU time: 0.070989 s
c
c core #26
c 
c 
c Core size: 23	Core Weight: 196	Total Weight: 11427
c Current CPU time: 0.073988 s
c
c core #27
c 
c 
c Core size: 21	Core Weight: 59	Total Weight: 11486
c Current CPU time: 0.076988 s
c
c core #28
c 
c 
c Core size: 27	Core Weight: 89	Total Weight: 11575
c Current CPU time: 0.079987 s
c
c core #29
c 
c 
c Core size: 34	Core Weight: 213	Total Weight: 11788
c Current CPU time: 0.082987 s
c
c core #30
c 
c 
c Core size: 32	Core Weight: 42	Total Weight: 11830
c Current CPU time: 0.085986 s
c
c core #31
c 
c 
c Core size: 17	Core Weight: 157	Total Weight: 11987
c Current CPU time: 0.088986 s
c
c core #32
c 
c 
c Core size: 32	Core Weight: 168	Total Weight: 12155
c Current CPU time: 0.092985 s
c
c core #33
c 
c 
c Core size: 14	Core Weight: 566	Total Weight: 12721
c Current CPU time: 0.095985 s
c
c core #34
c 
c 
c Core size: 14	Core Weight: 1223	Total Weight: 13944
c Current CPU time: 0.098984 s
c
c core #35
c 
c 
c Core size: 14	Core Weight: 539	Total Weight: 14483
c Current CPU time: 0.101984 s
c
c core #36
c 
c 
c Core size: 32	Core Weight: 108	Total Weight: 14591
c Current CPU time: 0.104984 s
c
c core #37
c 
c 
c Core size: 9	Core Weight: 307	Total Weight: 14898
c Current CPU time: 0.108983 s
c
c core #38
c 
c 
c Core size: 11	Core Weight: 471	Total Weight: 15369
c Current CPU time: 0.111982 s
c
c core #39
c 
c 
c Core size: 33	Core Weight: 42	Total Weight: 15411
c Current CPU time: 0.115982 s
c
c core #40
c 
c 
c Core size: 34	Core Weight: 2	Total Weight: 15413
c Current CPU time: 0.119981 s
c
c core #41
c 
c 
c Core size: 28	Core Weight: 204	Total Weight: 15617
c Current CPU time: 0.123981 s
c
c core #42
c 
c 
c Core size: 29	Core Weight: 100	Total Weight: 15717
c Current CPU time: 0.12898 s
c
c core #43
c 
c 
c Core size: 36	Core Weight: 204	Total Weight: 15921
c Current CPU time: 0.131979 s
c
c core #44
c 
c 
c Core size: 32	Core Weight: 336	Total Weight: 16257
c Current CPU time: 0.134979 s
c
c core #45
c 
c 
c Core size: 13	Core Weight: 254	Total Weight: 16511
c Current CPU time: 0.138978 s
c
c core #46
c 
c 
c Core size: 33	Core Weight: 119	Total Weight: 16630
c Current CPU time: 0.143978 s
c
c core #47
c 
c 
c Core size: 14	Core Weight: 64	Total Weight: 16694
c Current CPU time: 0.148977 s
c
c core #48
c 
c 
c Core size: 47	Core Weight: 125	Total Weight: 16819
c Current CPU time: 0.151976 s
c
c core #49
c 
c 
c Core size: 35	Core Weight: 148	Total Weight: 16967
c Current CPU time: 0.155976 s
c
c core #50
c 
c 
c Core size: 36	Core Weight: 20	Total Weight: 16987
c Current CPU time: 0.160975 s
c
c core #51
c 
c 
c Core size: 55	Core Weight: 23	Total Weight: 17010
c Current CPU time: 0.166974 s
c
c core #52
c 
c 
c Core size: 54	Core Weight: 9	Total Weight: 17019
c Current CPU time: 0.170974 s
c
c core #53
c 
c 
c Core size: 48	Core Weight: 68	Total Weight: 17087
c Current CPU time: 0.175973 s
c
c core #54
c 
c 
c Core size: 51	Core Weight: 40	Total Weight: 17127
c Current CPU time: 0.180972 s
c
c core #55
c 
c 
c Core size: 17	Core Weight: 73	Total Weight: 17200
c Current CPU time: 0.186971 s
c
c core #56
c 
c 
c Core size: 17	Core Weight: 112	Total Weight: 17312
c Current CPU time: 0.19097 s
c
c core #57
c 
c 
c Core size: 8	Core Weight: 632	Total Weight: 17944
c Current CPU time: 0.19597 s
c
c core #58
c 
c 
c Core size: 19	Core Weight: 199	Total Weight: 18143
c Current CPU time: 0.200969 s
c
c core #59
c 
c 
c Core size: 15	Core Weight: 165	Total Weight: 18308
c Current CPU time: 0.204968 s
c
c core #60
c 
c 
c Core size: 16	Core Weight: 9	Total Weight: 18317
c Current CPU time: 0.209968 s
c
c core #61
c 
c 
c Core size: 16	Core Weight: 205	Total Weight: 18522
c Current CPU time: 0.214967 s
c
c core #62
c 
c 
c Core size: 19	Core Weight: 28	Total Weight: 18550
c Current CPU time: 0.219966 s
c
c core #63
c 
c 
c Core size: 19	Core Weight: 7	Total Weight: 18557
c Current CPU time: 0.224965 s
c
c core #64
c 
c 
c Core size: 26	Core Weight: 473	Total Weight: 19030
c Current CPU time: 0.229965 s
c
c core #65
c 
c 
c Core size: 27	Core Weight: 205	Total Weight: 19235
c Current CPU time: 0.234964 s
c
c core #66
c 
c 
c Core size: 21	Core Weight: 285	Total Weight: 19520
c Current CPU time: 0.240963 s
c
c core #67
c 
c 
c Core size: 24	Core Weight: 114	Total Weight: 19634
c Current CPU time: 0.245962 s
c
c core #68
c 
c 
c Core size: 33	Core Weight: 376	Total Weight: 20010
c Current CPU time: 0.250961 s
c
c core #69
c 
c 
c Core size: 10	Core Weight: 361	Total Weight: 20371
c Current CPU time: 0.25696 s
c
c core #70
c 
c 
c Core size: 14	Core Weight: 928	Total Weight: 21299
c Current CPU time: 0.26196 s
c
c core #71
c 
c 
c Core size: 19	Core Weight: 21	Total Weight: 21320
c Current CPU time: 0.266959 s
c
c core #72
c 
c 
c Core size: 42	Core Weight: 54	Total Weight: 21374
c Current CPU time: 0.272958 s
c
c core #73
c 
c 
c Core size: 18	Core Weight: 318	Total Weight: 21692
c Current CPU time: 0.278957 s
c
c core #74
c 
c 
c Core size: 14	Core Weight: 3	Total Weight: 21695
c Current CPU time: 0.285956 s
c
c core #75
c 
c 
c Core size: 49	Core Weight: 54	Total Weight: 21749
c Current CPU time: 0.290955 s
c
c core #76
c 
c 
c Core size: 47	Core Weight: 17	Total Weight: 21766
c Current CPU time: 0.296954 s
c
c core #77
c 
c 
c Core size: 47	Core Weight: 7	Total Weight: 21773
c Current CPU time: 0.303953 s
c
c core #78
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 21774
c Current CPU time: 0.310952 s
c
c core #79
c 
c 
c Core size: 50	Core Weight: 127	Total Weight: 21901
c Current CPU time: 0.315951 s
c
c core #80
c 
c 
c Core size: 50	Core Weight: 6	Total Weight: 21907
c Current CPU time: 0.321951 s
c
c core #81
c 
c 
c Core size: 42	Core Weight: 153	Total Weight: 22060
c Current CPU time: 0.328949 s
c
c core #82
c 
c 
c Core size: 52	Core Weight: 6	Total Weight: 22066
c Current CPU time: 0.334949 s
c
c core #83
c 
c 
c Core size: 14	Core Weight: 15	Total Weight: 22081
c Current CPU time: 0.340948 s
c
c core #84
c 
c 
c Core size: 53	Core Weight: 9	Total Weight: 22090
c Current CPU time: 0.348946 s
c
c core #85
c 
c 
c Core size: 14	Core Weight: 790	Total Weight: 22880
c Current CPU time: 0.355945 s
c
c core #86
c 
c 
c Core size: 53	Core Weight: 102	Total Weight: 22982
c Current CPU time: 0.361944 s
c
c core #87
c 
c 
c Core size: 54	Core Weight: 49	Total Weight: 23031
c Current CPU time: 0.368943 s
c
c core #88
c 
c 
c Core size: 44	Core Weight: 2	Total Weight: 23033
c Current CPU time: 0.375942 s
c
c core #89
c 
c 
c Core size: 43	Core Weight: 463	Total Weight: 23496
c Current CPU time: 0.381941 s
c
c core #90
c 
c 
c Core size: 17	Core Weight: 109	Total Weight: 23605
c Current CPU time: 0.38894 s
c
c core #91
c 
c 
c Core size: 36	Core Weight: 21	Total Weight: 23626
c Current CPU time: 0.395939 s
c
c core #92
c 
c 
c Core size: 41	Core Weight: 150	Total Weight: 23776
c Current CPU time: 0.403938 s
c
c core #93
c 
c 
c Core size: 54	Core Weight: 94	Total Weight: 23870
c Current CPU time: 0.411937 s
c
c core #94
c 
c 
c Core size: 17	Core Weight: 487	Total Weight: 24357
c Current CPU time: 0.420936 s
c
c core #95
c 
c 
c Core size: 61	Core Weight: 28	Total Weight: 24385
c Current CPU time: 0.428934 s
c
c core #96
c 
c 
c Core size: 36	Core Weight: 54	Total Weight: 24439
c Current CPU time: 0.435933 s
c
c core #97
c 
c 
c Core size: 44	Core Weight: 39	Total Weight: 24478
c Current CPU time: 0.444932 s
c
c core #98
c 
c 
c Core size: 28	Core Weight: 131	Total Weight: 24609
c Current CPU time: 0.452931 s
c
c core #99
c 
c 
c Core size: 28	Core Weight: 126	Total Weight: 24735
c Current CPU time: 0.460929 s
c
c core #100
c 
c 
c Core size: 27	Core Weight: 33	Total Weight: 24768
c Current CPU time: 0.468928 s
c
c core #101
c 
c 
c Core size: 21	Core Weight: 40	Total Weight: 24808
c Current CPU time: 0.476927 s
c
c core #102
c 
c 
c Core size: 56	Core Weight: 5	Total Weight: 24813
c Current CPU time: 0.485926 s
c
c core #103
c 
c 
c Core size: 55	Core Weight: 17	Total Weight: 24830
c Current CPU time: 0.493924 s
c
c core #104
c 
c 
c Core size: 46	Core Weight: 14	Total Weight: 24844
c Current CPU time: 0.502923 s
c
c core #105
c 
c 
c Core size: 77	Core Weight: 5	Total Weight: 24849
c Current CPU time: 0.513921 s
c
c core #106
c 
c 
c Core size: 14	Core Weight: 1220	Total Weight: 26069
c Current CPU time: 0.52292 s
c
c core #107
c 
c 
c Core size: 63	Core Weight: 16	Total Weight: 26085
c Current CPU time: 0.532918 s
c
c core #108
c 
c 
c Core size: 64	Core Weight: 21	Total Weight: 26106
c Current CPU time: 0.543917 s
c
c core #109
c 
c 
c Core size: 41	Core Weight: 28	Total Weight: 26134
c Current CPU time: 0.554915 s
c
c core #110
c 
c 
c Core size: 46	Core Weight: 37	Total Weight: 26171
c Current CPU time: 0.565913 s
c
c core #111
c 
c 
c Core size: 11	Core Weight: 526	Total Weight: 26697
c Current CPU time: 0.575912 s
c
c core #112
c 
c 
c Core size: 30	Core Weight: 269	Total Weight: 26966
c Current CPU time: 0.58591 s
c
c core #113
c 
c 
c Core size: 14	Core Weight: 171	Total Weight: 27137
c Current CPU time: 0.594909 s
c
c core #114
c 
c 
c Core size: 18	Core Weight: 35	Total Weight: 27172
c Current CPU time: 0.603908 s
c
c core #115
c 
c 
c Core size: 19	Core Weight: 170	Total Weight: 27342
c Current CPU time: 0.615906 s
c
c core #116
c 
c 
c Core size: 35	Core Weight: 62	Total Weight: 27404
c Current CPU time: 0.625904 s
c
c core #117
c 
c 
c Core size: 22	Core Weight: 599	Total Weight: 28003
c Current CPU time: 0.635903 s
c
c core #118
c 
c 
c Core size: 25	Core Weight: 303	Total Weight: 28306
c Current CPU time: 0.644901 s
c
c core #119
c 
c 
c Core size: 27	Core Weight: 79	Total Weight: 28385
c Current CPU time: 0.6539 s
c
c core #120
c 
c 
c Core size: 34	Core Weight: 214	Total Weight: 28599
c Current CPU time: 0.662899 s
c
c core #121
c 
c 
c Core size: 32	Core Weight: 68	Total Weight: 28667
c Current CPU time: 0.671897 s
c
c core #122
c 
c 
c Core size: 42	Core Weight: 115	Total Weight: 28782
c Current CPU time: 0.681896 s
c
c core #123
c 
c 
c Core size: 34	Core Weight: 80	Total Weight: 28862
c Current CPU time: 0.691894 s
c
c core #124
c 
c 
c Core size: 32	Core Weight: 11	Total Weight: 28873
c Current CPU time: 0.701893 s
c
c core #125
c 
c 
c Core size: 33	Core Weight: 35	Total Weight: 28908
c Current CPU time: 0.711891 s
c
c core #126
c 
c 
c Core size: 33	Core Weight: 170	Total Weight: 29078
c Current CPU time: 0.72089 s
c
c core #127
c 
c 
c Core size: 33	Core Weight: 499	Total Weight: 29577
c Current CPU time: 0.730888 s
c
c core #128
c 
c 
c Core size: 38	Core Weight: 8	Total Weight: 29585
c Current CPU time: 0.740887 s
c
c core #129
c 
c 
c Core size: 37	Core Weight: 28	Total Weight: 29613
c Current CPU time: 0.751885 s
c
c core #130
c 
c 
c Core size: 50	Core Weight: 5	Total Weight: 29618
c Current CPU time: 0.762884 s
c
c core #131
c 
c 
c Core size: 38	Core Weight: 107	Total Weight: 29725
c Current CPU time: 0.773882 s
c
c core #132
c 
c 
c Core size: 39	Core Weight: 8	Total Weight: 29733
c Current CPU time: 0.78488 s
c
c core #133
c 
c 
c Core size: 38	Core Weight: 14	Total Weight: 29747
c Current CPU time: 0.794879 s
c
c core #134
c 
c 
c Core size: 49	Core Weight: 66	Total Weight: 29813
c Current CPU time: 0.806877 s
c
c core #135
c 
c 
c Core size: 44	Core Weight: 11	Total Weight: 29824
c Current CPU time: 0.818875 s
c
c core #136
c 
c 
c Core size: 44	Core Weight: 30	Total Weight: 29854
c Current CPU time: 0.830873 s
c
c core #137
c 
c 
c Core size: 46	Core Weight: 5	Total Weight: 29859
c Current CPU time: 0.842871 s
c
c core #138
c 
c 
c Core size: 47	Core Weight: 2	Total Weight: 29861
c Current CPU time: 0.85487 s
c
c core #139
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 29862
c Current CPU time: 0.867868 s
c
c core #140
c 
c 
c Core size: 40	Core Weight: 37	Total Weight: 29899
c Current CPU time: 0.879866 s
c
c core #141
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 29900
c Current CPU time: 0.890864 s
c
c core #142
c 
c 
c Core size: 55	Core Weight: 5	Total Weight: 29905
c Current CPU time: 0.903862 s
c
c core #143
c 
c 
c Core size: 55	Core Weight: 2	Total Weight: 29907
c Current CPU time: 0.91686 s
c
c core #144
c 
c 
c Core size: 44	Core Weight: 2	Total Weight: 29909
c Current CPU time: 0.928858 s
c
c core #145
c 
c 
c Core size: 70	Core Weight: 6	Total Weight: 29915
c Current CPU time: 0.942856 s
c
c core #146
c 
c 
c Core size: 75	Core Weight: 34	Total Weight: 29949
c Current CPU time: 0.955854 s
c
c core #147
c 
c 
c Core size: 65	Core Weight: 5	Total Weight: 29954
c Current CPU time: 0.970852 s
c
c core #148
c 
c 
c Core size: 29	Core Weight: 382	Total Weight: 30336
c Current CPU time: 0.98285 s
c
c core #149
c 
c 
c Core size: 64	Core Weight: 14	Total Weight: 30350
c Current CPU time: 0.996848 s
c
c core #150
c 
c 
c Core size: 70	Core Weight: 9	Total Weight: 30359
c Current CPU time: 1.01085 s
c
c core #151
c 
c 
c Core size: 71	Core Weight: 2	Total Weight: 30361
c Current CPU time: 1.02584 s
c
c core #152
c 
c 
c Core size: 49	Core Weight: 53	Total Weight: 30414
c Current CPU time: 1.03884 s
c
c core #153
c 
c 
c Core size: 43	Core Weight: 62	Total Weight: 30476
c Current CPU time: 1.05284 s
c
c core #154
c 
c 
c Core size: 45	Core Weight: 108	Total Weight: 30584
c Current CPU time: 1.06584 s
c
c core #155
c 
c 
c Core size: 47	Core Weight: 3	Total Weight: 30587
c Current CPU time: 1.08083 s
c
c core #156
c 
c 
c Core size: 69	Core Weight: 11	Total Weight: 30598
c Current CPU time: 1.09483 s
c
c core #157
c 
c 
c Core size: 59	Core Weight: 21	Total Weight: 30619
c Current CPU time: 1.10883 s
c
c core #158
c 
c 
c Core size: 57	Core Weight: 20	Total Weight: 30639
c Current CPU time: 1.12283 s
c
c core #159
c 
c 
c Core size: 59	Core Weight: 19	Total Weight: 30658
c Current CPU time: 1.13783 s
c
c core #160
c 
c 
c Core size: 61	Core Weight: 6	Total Weight: 30664
c Current CPU time: 1.15482 s
c
c core #161
c 
c 
c Core size: 42	Core Weight: 49	Total Weight: 30713
c Current CPU time: 1.17082 s
c
c core #162
c 
c 
c Core size: 16	Core Weight: 306	Total Weight: 31019
c Current CPU time: 1.18682 s
c
c core #163
c 
c 
c Core size: 16	Core Weight: 56	Total Weight: 31075
c Current CPU time: 1.20282 s
c
c core #164
c 
c 
c Core size: 18	Core Weight: 89	Total Weight: 31164
c Current CPU time: 1.21781 s
c
c core #165
c 
c 
c Core size: 20	Core Weight: 56	Total Weight: 31220
c Current CPU time: 1.23181 s
c
c core #166
c 
c 
c Core size: 23	Core Weight: 53	Total Weight: 31273
c Current CPU time: 1.24781 s
c
c core #167
c 
c 
c Core size: 19	Core Weight: 574	Total Weight: 31847
c Current CPU time: 1.26381 s
c
c core #168
c 
c 
c Core size: 19	Core Weight: 137	Total Weight: 31984
c Current CPU time: 1.27781 s
c
c core #169
c 
c 
c Core size: 24	Core Weight: 354	Total Weight: 32338
c Current CPU time: 1.2918 s
c
c core #170
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 32339
c Current CPU time: 1.3088 s
c
c core #171
c 
c 
c Core size: 52	Core Weight: 11	Total Weight: 32350
c Current CPU time: 1.3278 s
c
c core #172
c 
c 
c Core size: 67	Core Weight: 2	Total Weight: 32352
c Current CPU time: 1.34679 s
c
c core #173
c 
c 
c Core size: 53	Core Weight: 2	Total Weight: 32354
c Current CPU time: 1.36479 s
c
c core #174
c 
c 
c Core size: 14	Core Weight: 805	Total Weight: 33159
c Current CPU time: 1.37979 s
c
c core #175
c 
c 
c Core size: 17	Core Weight: 58	Total Weight: 33217
c Current CPU time: 1.39579 s
c
c core #176
c 
c 
c Core size: 21	Core Weight: 665	Total Weight: 33882
c Current CPU time: 1.41179 s
c
c core #177
c 
c 
c Core size: 51	Core Weight: 22	Total Weight: 33904
c Current CPU time: 1.43078 s
c
c core #178
c 
c 
c Core size: 14	Core Weight: 361	Total Weight: 34265
c Current CPU time: 1.44778 s
c
c core #179
c 
c 
c Core size: 17	Core Weight: 284	Total Weight: 34549
c Current CPU time: 1.46178 s
c
c core #180
c 
c 
c Core size: 16	Core Weight: 81	Total Weight: 34630
c Current CPU time: 1.47778 s
c
c core #181
c 
c 
c Core size: 26	Core Weight: 53	Total Weight: 34683
c Current CPU time: 1.49477 s
c
c core #182
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 34684
c Current CPU time: 1.51477 s
c
c core #183
c 
c 
c Core size: 17	Core Weight: 315	Total Weight: 34999
c Current CPU time: 1.53177 s
c
c core #184
c 
c 
c Core size: 38	Core Weight: 250	Total Weight: 35249
c Current CPU time: 1.54876 s
c
c core #185
c 
c 
c Core size: 78	Core Weight: 2	Total Weight: 35251
c Current CPU time: 1.56876 s
c
c core #186
c 
c 
c Core size: 14	Core Weight: 293	Total Weight: 35544
c Current CPU time: 1.58676 s
c
c core #187
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 35545
c Current CPU time: 1.60776 s
c
c core #188
c 
c 
c Core size: 98	Core Weight: 2	Total Weight: 35547
c Current CPU time: 1.63075 s
c
c core #189
c 
c 
c Core size: 29	Core Weight: 343	Total Weight: 35890
c Current CPU time: 1.64875 s
c
c core #190
c 
c 
c Core size: 49	Core Weight: 11	Total Weight: 35901
c Current CPU time: 1.67075 s
c
c core #191
c 
c 
c Core size: 99	Core Weight: 1	Total Weight: 35902
c Current CPU time: 1.69274 s
c
c core #192
c 
c 
c Core size: 25	Core Weight: 130	Total Weight: 36032
c Current CPU time: 1.70874 s
c
c core #193
c 
c 
c Core size: 30	Core Weight: 65	Total Weight: 36097
c Current CPU time: 1.72574 s
c
c core #194
c 
c 
c Core size: 31	Core Weight: 28	Total Weight: 36125
c Current CPU time: 1.74274 s
c
c core #195
c 
c 
c Core size: 30	Core Weight: 332	Total Weight: 36457
c Current CPU time: 1.76073 s
c
c core #196
c 
c 
c Core size: 28	Core Weight: 89	Total Weight: 36546
c Current CPU time: 1.77973 s
c
c core #197
c 
c 
c Core size: 26	Core Weight: 31	Total Weight: 36577
c Current CPU time: 1.79573 s
c
c core #198
c 
c 
c Core size: 46	Core Weight: 130	Total Weight: 36707
c Current CPU time: 1.81272 s
c
c core #199
c 
c 
c Core size: 45	Core Weight: 9	Total Weight: 36716
c Current CPU time: 1.82872 s
c
c core #200
c 
c 
c Core size: 48	Core Weight: 54	Total Weight: 36770
c Current CPU time: 1.84572 s
c
c core #201
c 
c 
c Core size: 40	Core Weight: 28	Total Weight: 36798
c Current CPU time: 1.86272 s
c
c core #202
c 
c 
c Core size: 42	Core Weight: 82	Total Weight: 36880
c Current CPU time: 1.88071 s
c
c core #203
c 
c 
c Core size: 39	Core Weight: 26	Total Weight: 36906
c Current CPU time: 1.89971 s
c
c core #204
c 
c 
c Core size: 54	Core Weight: 67	Total Weight: 36973
c Current CPU time: 1.91671 s
c
c core #205
c 
c 
c Core size: 64	Core Weight: 22	Total Weight: 36995
c Current CPU time: 1.93471 s
c
c core #206
c 
c 
c Core size: 60	Core Weight: 282	Total Weight: 37277
c Current CPU time: 1.9517 s
c
c core #207
c 
c 
c Core size: 73	Core Weight: 33	Total Weight: 37310
c Current CPU time: 1.9677 s
c
c core #208
c 
c 
c Core size: 75	Core Weight: 27	Total Weight: 37337
c Current CPU time: 1.9867 s
c
c core #209
c 
c 
c Core size: 86	Core Weight: 56	Total Weight: 37393
c Current CPU time: 2.00769 s
c
c core #210
c 
c 
c Core size: 75	Core Weight: 47	Total Weight: 37440
c Current CPU time: 2.02669 s
c
c core #211
c 
c 
c Core size: 80	Core Weight: 7	Total Weight: 37447
c Current CPU time: 2.04569 s
c
c core #212
c 
c 
c Core size: 80	Core Weight: 2	Total Weight: 37449
c Current CPU time: 2.06469 s
c
c core #213
c 
c 
c Core size: 80	Core Weight: 54	Total Weight: 37503
c Current CPU time: 2.08368 s
c
c core #214
c 
c 
c Core size: 80	Core Weight: 28	Total Weight: 37531
c Current CPU time: 2.10468 s
c
c core #215
c 
c 
c Core size: 72	Core Weight: 67	Total Weight: 37598
c Current CPU time: 2.12268 s
c
c core #216
c 
c 
c Core size: 79	Core Weight: 22	Total Weight: 37620
c Current CPU time: 2.14467 s
c
c core #217
c 
c 
c Core size: 74	Core Weight: 78	Total Weight: 37698
c Current CPU time: 2.16767 s
c
c core #218
c 
c 
c Core size: 77	Core Weight: 25	Total Weight: 37723
c Current CPU time: 2.18967 s
c
c core #219
c 
c 
c Core size: 33	Core Weight: 3	Total Weight: 37726
c Current CPU time: 2.20966 s
c
c core #220
c 
c 
c Core size: 38	Core Weight: 444	Total Weight: 38170
c Current CPU time: 2.23166 s
c
c core #221
c 
c 
c Core size: 82	Core Weight: 7	Total Weight: 38177
c Current CPU time: 2.25366 s
c
c core #222
c 
c 
c Core size: 39	Core Weight: 4	Total Weight: 38181
c Current CPU time: 2.27665 s
c
c core #223
c 
c 
c Core size: 83	Core Weight: 78	Total Weight: 38259
c Current CPU time: 2.30065 s
c
c core #224
c 
c 
c Core size: 50	Core Weight: 47	Total Weight: 38306
c Current CPU time: 2.32365 s
c
c core #225
c 
c 
c Core size: 29	Core Weight: 329	Total Weight: 38635
c Current CPU time: 2.34564 s
c
c core #226
c 
c 
c Core size: 47	Core Weight: 18	Total Weight: 38653
c Current CPU time: 2.36964 s
c
c core #227
c 
c 
c Core size: 28	Core Weight: 264	Total Weight: 38917
c Current CPU time: 2.39364 s
c
c core #228
c 
c 
c Core size: 97	Core Weight: 2	Total Weight: 38919
c Current CPU time: 2.41763 s
c
c core #229
c 
c 
c Core size: 66	Core Weight: 30	Total Weight: 38949
c Current CPU time: 2.43863 s
c
c core #230
c 
c 
c Core size: 70	Core Weight: 49	Total Weight: 38998
c Current CPU time: 2.46263 s
c
c core #231
c 
c 
c Core size: 80	Core Weight: 7	Total Weight: 39005
c Current CPU time: 2.48562 s
c
c core #232
c 
c 
c Core size: 63	Core Weight: 15	Total Weight: 39020
c Current CPU time: 2.50962 s
c
c core #233
c 
c 
c Core size: 40	Core Weight: 12	Total Weight: 39032
c Current CPU time: 2.53161 s
c
c core #234
c 
c 
c Core size: 24	Core Weight: 311	Total Weight: 39343
c Current CPU time: 2.55761 s
c
c core #235
c 
c 
c Core size: 78	Core Weight: 37	Total Weight: 39380
c Current CPU time: 2.58361 s
c
c core #236
c 
c 
c Core size: 87	Core Weight: 34	Total Weight: 39414
c Current CPU time: 2.6116 s
c
c core #237
c 
c 
c Core size: 84	Core Weight: 5	Total Weight: 39419
c Current CPU time: 2.6396 s
c
c core #238
c 
c 
c Core size: 96	Core Weight: 7	Total Weight: 39426
c Current CPU time: 2.66759 s
c
c core #239
c 
c 
c Core size: 135	Core Weight: 3	Total Weight: 39429
c Current CPU time: 2.69559 s
c
c core #240
c 
c 
c Core size: 87	Core Weight: 9	Total Weight: 39438
c Current CPU time: 2.72259 s
c
c core #241
c 
c 
c Core size: 22	Core Weight: 25	Total Weight: 39463
c Current CPU time: 2.74958 s
c
c core #242
c 
c 
c Core size: 39	Core Weight: 31	Total Weight: 39494
c Current CPU time: 2.77858 s
c
c core #243
c 
c 
c Core size: 22	Core Weight: 35	Total Weight: 39529
c Current CPU time: 2.80457 s
c
c core #244
c 
c 
c Core size: 22	Core Weight: 348	Total Weight: 39877
c Current CPU time: 2.82857 s
c
c core #245
c 
c 
c Core size: 94	Core Weight: 18	Total Weight: 39895
c Current CPU time: 2.85656 s
c
c core #246
c 
c 
c Core size: 77	Core Weight: 21	Total Weight: 39916
c Current CPU time: 2.88356 s
c
c core #247
c 
c 
c Core size: 47	Core Weight: 10	Total Weight: 39926
c Current CPU time: 2.91056 s
c
c core #248
c 
c 
c Core size: 81	Core Weight: 4	Total Weight: 39930
c Current CPU time: 2.93855 s
c
c core #249
c 
c 
c Core size: 27	Core Weight: 483	Total Weight: 40413
c Current CPU time: 2.96555 s
c
c core #250
c 
c 
c Core size: 36	Core Weight: 131	Total Weight: 40544
c Current CPU time: 2.99154 s
c
c core #251
c 
c 
c Core size: 89	Core Weight: 8	Total Weight: 40552
c Current CPU time: 3.02054 s
c
c core #252
c 
c 
c Core size: 100	Core Weight: 4	Total Weight: 40556
c Current CPU time: 3.04754 s
c
c core #253
c 
c 
c Core size: 23	Core Weight: 269	Total Weight: 40825
c Current CPU time: 3.07453 s
c
c core #254
c 
c 
c Core size: 21	Core Weight: 70	Total Weight: 40895
c Current CPU time: 3.10353 s
c
c core #255
c 
c 
c Core size: 33	Core Weight: 57	Total Weight: 40952
c Current CPU time: 3.13252 s
c
c core #256
c 
c 
c Core size: 18	Core Weight: 606	Total Weight: 41558
c Current CPU time: 3.16152 s
c
c core #257
c 
c 
c Core size: 18	Core Weight: 229	Total Weight: 41787
c Current CPU time: 3.18751 s
c
c core #258
c 
c 
c Core size: 18	Core Weight: 8	Total Weight: 41795
c Current CPU time: 3.21651 s
c
c core #259
c 
c 
c Core size: 36	Core Weight: 66	Total Weight: 41861
c Current CPU time: 3.24651 s
c
c core #260
c 
c 
c Core size: 18	Core Weight: 47	Total Weight: 41908
c Current CPU time: 3.2735 s
c
c core #261
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 41909
c Current CPU time: 3.3065 s
c
c core #262
c 
c 
c Core size: 111	Core Weight: 3	Total Weight: 41912
c Current CPU time: 3.33549 s
c
c core #263
c 
c 
c Core size: 18	Core Weight: 181	Total Weight: 42093
c Current CPU time: 3.36449 s
c
c core #264
c 
c 
c Core size: 25	Core Weight: 199	Total Weight: 42292
c Current CPU time: 3.39448 s
c
c core #265
c 
c 
c Core size: 82	Core Weight: 2	Total Weight: 42294
c Current CPU time: 3.42548 s
c
c core #266
c 
c 
c Core size: 23	Core Weight: 129	Total Weight: 42423
c Current CPU time: 3.45447 s
c
c core #267
c 
c 
c Core size: 36	Core Weight: 28	Total Weight: 42451
c Current CPU time: 3.48447 s
c
c core #268
c 
c 
c Core size: 44	Core Weight: 108	Total Weight: 42559
c Current CPU time: 3.51546 s
c
c core #269
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 42560
c Current CPU time: 3.54546 s
c
c core #270
c 
c 
c Core size: 18	Core Weight: 357	Total Weight: 42917
c Current CPU time: 3.57346 s
c
c core #271
c 
c 
c Core size: 126	Core Weight: 1	Total Weight: 42918
c Current CPU time: 3.60345 s
c
c core #272
c 
c 
c Core size: 30	Core Weight: 7	Total Weight: 42925
c Current CPU time: 3.63545 s
c
c core #273
c 
c 
c Core size: 40	Core Weight: 4	Total Weight: 42929
c Current CPU time: 3.66244 s
c
c core #274
c 
c 
c Core size: 29	Core Weight: 44	Total Weight: 42973
c Current CPU time: 3.69444 s
c
c core #275
c 
c 
c Core size: 40	Core Weight: 67	Total Weight: 43040
c Current CPU time: 3.72443 s
c
c core #276
c 
c 
c Core size: 44	Core Weight: 19	Total Weight: 43059
c Current CPU time: 3.75543 s
c
c core #277
c 
c 
c Core size: 120	Core Weight: 6	Total Weight: 43065
c Current CPU time: 3.78942 s
c
c core #278
c 
c 
c Core size: 103	Core Weight: 12	Total Weight: 43077
c Current CPU time: 3.82542 s
c
c core #279
c 
c 
c Core size: 15	Core Weight: 73	Total Weight: 43150
c Current CPU time: 3.86341 s
c
c core #280
c 
c 
c Core size: 39	Core Weight: 23	Total Weight: 43173
c Current CPU time: 3.90041 s
c
c core #281
c 
c 
c Core size: 144	Core Weight: 1	Total Weight: 43174
c Current CPU time: 3.9404 s
c
c core #282
c 
c 
c Core size: 157	Core Weight: 2	Total Weight: 43176
c Current CPU time: 3.98239 s
c
c core #283
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 43177
c Current CPU time: 4.02039 s
c
c core #284
c 
c 
c Core size: 84	Core Weight: 9	Total Weight: 43186
c Current CPU time: 4.05838 s
c
c core #285
c 
c 
c Core size: 26	Core Weight: 257	Total Weight: 43443
c Current CPU time: 4.08638 s
c
c core #286
c 
c 
c Core size: 29	Core Weight: 97	Total Weight: 43540
c Current CPU time: 4.11537 s
c
c core #287
c 
c 
c Core size: 40	Core Weight: 15	Total Weight: 43555
c Current CPU time: 4.14337 s
c
c core #288
c 
c 
c Core size: 37	Core Weight: 297	Total Weight: 43852
c Current CPU time: 4.17836 s
c
c core #289
c 
c 
c Core size: 134	Core Weight: 4	Total Weight: 43856
c Current CPU time: 4.21636 s
c
c core #290
c 
c 
c Core size: 55	Core Weight: 16	Total Weight: 43872
c Current CPU time: 4.26235 s
c
c core #291
c 
c 
c Core size: 29	Core Weight: 113	Total Weight: 43985
c Current CPU time: 4.29435 s
c
c core #292
c 
c 
c Core size: 25	Core Weight: 46	Total Weight: 44031
c Current CPU time: 4.32734 s
c
c core #293
c 
c 
c Core size: 25	Core Weight: 178	Total Weight: 44209
c Current CPU time: 4.36034 s
c
c core #294
c 
c 
c Core size: 46	Core Weight: 23	Total Weight: 44232
c Current CPU time: 4.40133 s
c
c core #295
c 
c 
c Core size: 28	Core Weight: 172	Total Weight: 44404
c Current CPU time: 4.43133 s
c
c core #296
c 
c 
c Core size: 34	Core Weight: 30	Total Weight: 44434
c Current CPU time: 4.46532 s
c
c core #297
c 
c 
c Core size: 37	Core Weight: 164	Total Weight: 44598
c Current CPU time: 4.50232 s
c
c core #298
c 
c 
c Core size: 15	Core Weight: 31	Total Weight: 44629
c Current CPU time: 4.53431 s
c
c core #299
c 
c 
c Core size: 18	Core Weight: 40	Total Weight: 44669
c Current CPU time: 4.56431 s
c
c core #300
c 
c 
c Core size: 18	Core Weight: 100	Total Weight: 44769
c Current CPU time: 4.5953 s
c
c core #301
c 
c 
c Core size: 23	Core Weight: 288	Total Weight: 45057
c Current CPU time: 4.6243 s
c
c core #302
c 
c 
c Core size: 25	Core Weight: 17	Total Weight: 45074
c Current CPU time: 4.65829 s
c
c core #303
c 
c 
c Core size: 28	Core Weight: 56	Total Weight: 45130
c Current CPU time: 4.69129 s
c
c core #304
c 
c 
c Core size: 43	Core Weight: 191	Total Weight: 45321
c Current CPU time: 4.73528 s
c
c core #305
c 
c 
c Core size: 37	Core Weight: 11	Total Weight: 45332
c Current CPU time: 4.77527 s
c
c core #306
c 
c 
c Core size: 47	Core Weight: 5	Total Weight: 45337
c Current CPU time: 4.81427 s
c
c core #307
c 
c 
c Core size: 45	Core Weight: 71	Total Weight: 45408
c Current CPU time: 4.85226 s
c
c core #308
c 
c 
c Core size: 35	Core Weight: 74	Total Weight: 45482
c Current CPU time: 4.89825 s
c
c core #309
c 
c 
c Core size: 76	Core Weight: 7	Total Weight: 45489
c Current CPU time: 4.95025 s
c
c core #310
c 
c 
c Core size: 48	Core Weight: 255	Total Weight: 45744
c Current CPU time: 4.98724 s
c
c core #311
c 
c 
c Core size: 26	Core Weight: 106	Total Weight: 45850
c Current CPU time: 5.03024 s
c
c core #312
c 
c 
c Core size: 43	Core Weight: 31	Total Weight: 45881
c Current CPU time: 5.06823 s
c
c core #313
c 
c 
c Core size: 76	Core Weight: 4	Total Weight: 45885
c Current CPU time: 5.11422 s
c
c core #314
c 
c 
c Core size: 59	Core Weight: 6	Total Weight: 45891
c Current CPU time: 5.15522 s
c
c core #315
c 
c 
c Core size: 70	Core Weight: 2	Total Weight: 45893
c Current CPU time: 5.20021 s
c
c core #316
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 45894
c Current CPU time: 5.2452 s
c
c core #317
c 
c 
c Core size: 32	Core Weight: 544	Total Weight: 46438
c Current CPU time: 5.29219 s
c
c core #318
c 
c 
c Core size: 36	Core Weight: 26	Total Weight: 46464
c Current CPU time: 5.34119 s
c
c core #319
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 46465
c Current CPU time: 5.38718 s
c
c core #320
c 
c 
c Core size: 33	Core Weight: 91	Total Weight: 46556
c Current CPU time: 5.42917 s
c
c core #321
c 
c 
c Core size: 35	Core Weight: 50	Total Weight: 46606
c Current CPU time: 5.46517 s
c
c core #322
c 
c 
c Core size: 36	Core Weight: 30	Total Weight: 46636
c Current CPU time: 5.49716 s
c
c core #323
c 
c 
c Core size: 40	Core Weight: 126	Total Weight: 46762
c Current CPU time: 5.54016 s
c
c core #324
c 
c 
c Core size: 39	Core Weight: 69	Total Weight: 46831
c Current CPU time: 5.57615 s
c
c core #325
c 
c 
c Core size: 36	Core Weight: 48	Total Weight: 46879
c Current CPU time: 5.61115 s
c
c core #326
c 
c 
c Core size: 24	Core Weight: 98	Total Weight: 46977
c Current CPU time: 5.64514 s
c
c core #327
c 
c 
c Core size: 26	Core Weight: 34	Total Weight: 47011
c Current CPU time: 5.68114 s
c
c core #328
c 
c 
c Core size: 21	Core Weight: 100	Total Weight: 47111
c Current CPU time: 5.71713 s
c
c core #329
c 
c 
c Core size: 43	Core Weight: 58	Total Weight: 47169
c Current CPU time: 5.75512 s
c
c core #330
c 
c 
c Core size: 32	Core Weight: 98	Total Weight: 47267
c Current CPU time: 5.80112 s
c
c core #331
c 
c 
c Core size: 36	Core Weight: 19	Total Weight: 47286
c Current CPU time: 5.83711 s
c
c core #332
c 
c 
c Core size: 32	Core Weight: 146	Total Weight: 47432
c Current CPU time: 5.87211 s
c
c core #333
c 
c 
c Core size: 31	Core Weight: 209	Total Weight: 47641
c Current CPU time: 5.9071 s
c
c core #334
c 
c 
c Core size: 42	Core Weight: 71	Total Weight: 47712
c Current CPU time: 5.9411 s
c
c core #335
c 
c 
c Core size: 35	Core Weight: 2	Total Weight: 47714
c Current CPU time: 5.97809 s
c
c core #336
c 
c 
c Core size: 37	Core Weight: 14	Total Weight: 47728
c Current CPU time: 6.01809 s
c
c core #337
c 
c 
c Core size: 72	Core Weight: 17	Total Weight: 47745
c Current CPU time: 6.05608 s
c
c core #338
c 
c 
c Core size: 44	Core Weight: 42	Total Weight: 47787
c Current CPU time: 6.09407 s
c
c core #339
c 
c 
c Core size: 42	Core Weight: 12	Total Weight: 47799
c Current CPU time: 6.13807 s
c
c core #340
c 
c 
c Core size: 65	Core Weight: 18	Total Weight: 47817
c Current CPU time: 6.17606 s
c
c core #341
c 
c 
c Core size: 54	Core Weight: 17	Total Weight: 47834
c Current CPU time: 6.22805 s
c
c core #342
c 
c 
c Core size: 88	Core Weight: 3	Total Weight: 47837
c Current CPU time: 6.28204 s
c
c core #343
c 
c 
c Core size: 42	Core Weight: 2	Total Weight: 47839
c Current CPU time: 6.33004 s
c
c core #344
c 
c 
c Core size: 40	Core Weight: 21	Total Weight: 47860
c Current CPU time: 6.37203 s
c
c core #345
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 47861
c Current CPU time: 6.41402 s
c
c core #346
c 
c 
c Core size: 37	Core Weight: 12	Total Weight: 47873
c Current CPU time: 6.46202 s
c
c core #347
c 
c 
c Core size: 53	Core Weight: 57	Total Weight: 47930
c Current CPU time: 6.50801 s
c
c core #348
c 
c 
c Core size: 50	Core Weight: 38	Total Weight: 47968
c Current CPU time: 6.548 s
c
c core #349
c 
c 
c Core size: 99	Core Weight: 6	Total Weight: 47974
c Current CPU time: 6.589 s
c
c core #350
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 47975
c Current CPU time: 6.63499 s
c
c core #351
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 47976
c Current CPU time: 6.68498 s
c
c core #352
c 
c 
c Core size: 56	Core Weight: 12	Total Weight: 47988
c Current CPU time: 6.73698 s
c
c core #353
c 
c 
c Core size: 95	Core Weight: 5	Total Weight: 47993
c Current CPU time: 6.77897 s
c
c core #354
c 
c 
c Core size: 48	Core Weight: 31	Total Weight: 48024
c Current CPU time: 6.81796 s
c
c core #355
c 
c 
c Core size: 62	Core Weight: 9	Total Weight: 48033
c Current CPU time: 6.86696 s
c
c core #356
c 
c 
c Core size: 76	Core Weight: 9	Total Weight: 48042
c Current CPU time: 6.91595 s
c
c core #357
c 
c 
c Core size: 100	Core Weight: 1	Total Weight: 48043
c Current CPU time: 6.96994 s
c
c core #358
c 
c 
c Core size: 110	Core Weight: 1	Total Weight: 48044
c Current CPU time: 7.02093 s
c
c core #359
c 
c 
c Core size: 50	Core Weight: 71	Total Weight: 48115
c Current CPU time: 7.06792 s
c
c core #360
c 
c 
c Core size: 83	Core Weight: 7	Total Weight: 48122
c Current CPU time: 7.11992 s
c
c core #361
c 
c 
c Core size: 77	Core Weight: 6	Total Weight: 48128
c Current CPU time: 7.15991 s
c
c core #362
c 
c 
c Core size: 58	Core Weight: 2	Total Weight: 48130
c Current CPU time: 7.2139 s
c
c core #363
c 
c 
c Core size: 73	Core Weight: 24	Total Weight: 48154
c Current CPU time: 7.2549 s
c
c core #364
c 
c 
c Core size: 89	Core Weight: 7	Total Weight: 48161
c Current CPU time: 7.30889 s
c
c core #365
c 
c 
c Core size: 70	Core Weight: 13	Total Weight: 48174
c Current CPU time: 7.35988 s
c
c core #366
c 
c 
c Core size: 43	Core Weight: 40	Total Weight: 48214
c Current CPU time: 7.41087 s
c
c core #367
c 
c 
c Core size: 135	Core Weight: 1	Total Weight: 48215
c Current CPU time: 7.45587 s
c
c core #368
c 
c 
c Core size: 49	Core Weight: 55	Total Weight: 48270
c Current CPU time: 7.50186 s
c
c core #369
c 
c 
c Core size: 38	Core Weight: 52	Total Weight: 48322
c Current CPU time: 7.55685 s
c
c core #370
c 
c 
c Core size: 25	Core Weight: 39	Total Weight: 48361
c Current CPU time: 7.61484 s
c
c core #371
c 
c 
c Core size: 66	Core Weight: 14	Total Weight: 48375
c Current CPU time: 7.67283 s
c
c core #372
c 
c 
c Core size: 78	Core Weight: 5	Total Weight: 48380
c Current CPU time: 7.72283 s
c
c core #373
c 
c 
c Core size: 26	Core Weight: 59	Total Weight: 48439
c Current CPU time: 7.77682 s
c
c core #374
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 48440
c Current CPU time: 7.82581 s
c
c core #375
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 48441
c Current CPU time: 7.8868 s
c
c core #376
c 
c 
c Core size: 63	Core Weight: 2	Total Weight: 48443
c Current CPU time: 7.93979 s
c
c core #377
c 
c 
c Core size: 38	Core Weight: 31	Total Weight: 48474
c Current CPU time: 7.99578 s
c
c core #378
c 
c 
c Core size: 54	Core Weight: 2	Total Weight: 48476
c Current CPU time: 8.04378 s
c
c core #379
c 
c 
c Core size: 72	Core Weight: 4	Total Weight: 48480
c Current CPU time: 8.10677 s
c
c core #380
c 
c 
c Core size: 24	Core Weight: 30	Total Weight: 48510
c Current CPU time: 8.15976 s
c
c core #381
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 48511
c Current CPU time: 8.21275 s
c
c core #382
c 
c 
c Core size: 107	Core Weight: 1	Total Weight: 48512
c Current CPU time: 8.26174 s
c
c core #383
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 48513
c Current CPU time: 8.31174 s
c
c core #384
c 
c 
c Core size: 121	Core Weight: 1	Total Weight: 48514
c Current CPU time: 8.37073 s
c
c core #385
c 
c 
c Core size: 46	Core Weight: 249	Total Weight: 48763
c Current CPU time: 8.42372 s
c
c core #386
c 
c 
c Core size: 48	Core Weight: 42	Total Weight: 48805
c Current CPU time: 8.47971 s
c
c core #387
c 
c 
c Core size: 63	Core Weight: 2	Total Weight: 48807
c Current CPU time: 8.5377 s
c
c core #388
c 
c 
c Core size: 113	Core Weight: 3	Total Weight: 48810
c Current CPU time: 8.59769 s
c
c core #389
c 
c 
c Core size: 71	Core Weight: 12	Total Weight: 48822
c Current CPU time: 8.64169 s
c
c core #390
c 
c 
c Core size: 69	Core Weight: 52	Total Weight: 48874
c Current CPU time: 8.68668 s
c
c core #391
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 48875
c Current CPU time: 8.74867 s
c
c core #392
c 
c 
c Core size: 134	Core Weight: 1	Total Weight: 48876
c Current CPU time: 8.82066 s
c
c core #393
c 
c 
c Core size: 51	Core Weight: 9	Total Weight: 48885
c Current CPU time: 8.86765 s
c
c core #394
c 
c 
c Core size: 34	Core Weight: 110	Total Weight: 48995
c Current CPU time: 8.92764 s
c
c core #395
c 
c 
c Core size: 40	Core Weight: 159	Total Weight: 49154
c Current CPU time: 8.98263 s
c
c core #396
c 
c 
c Core size: 84	Core Weight: 3	Total Weight: 49157
c Current CPU time: 9.04363 s
c
c core #397
c 
c 
c Core size: 93	Core Weight: 3	Total Weight: 49160
c Current CPU time: 9.09162 s
c
c core #398
c 
c 
c Core size: 90	Core Weight: 4	Total Weight: 49164
c Current CPU time: 9.14061 s
c
c core #399
c 
c 
c Core size: 84	Core Weight: 5	Total Weight: 49169
c Current CPU time: 9.2126 s
c
c core #400
c 
c 
c Core size: 85	Core Weight: 16	Total Weight: 49185
c Current CPU time: 9.25959 s
c
c core #401
c 
c 
c Core size: 39	Core Weight: 19	Total Weight: 49204
c Current CPU time: 9.30758 s
c
c core #402
c 
c 
c Core size: 35	Core Weight: 47	Total Weight: 49251
c Current CPU time: 9.35858 s
c
c core #403
c 
c 
c Core size: 47	Core Weight: 15	Total Weight: 49266
c Current CPU time: 9.40757 s
c
c core #404
c 
c 
c Core size: 46	Core Weight: 10	Total Weight: 49276
c Current CPU time: 9.45556 s
c
c core #405
c 
c 
c Core size: 46	Core Weight: 35	Total Weight: 49311
c Current CPU time: 9.53055 s
c
c core #406
c 
c 
c Core size: 66	Core Weight: 3	Total Weight: 49314
c Current CPU time: 9.59054 s
c
c core #407
c 
c 
c Core size: 103	Core Weight: 8	Total Weight: 49322
c Current CPU time: 9.65253 s
c
c core #408
c 
c 
c Core size: 110	Core Weight: 1	Total Weight: 49323
c Current CPU time: 9.71752 s
c
c core #409
c 
c 
c Core size: 129	Core Weight: 1	Total Weight: 49324
c Current CPU time: 9.78651 s
c
c core #410
c 
c 
c Core size: 69	Core Weight: 73	Total Weight: 49397
c Current CPU time: 9.8485 s
c
c core #411
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 49398
c Current CPU time: 9.91849 s
c
c core #412
c 
c 
c Core size: 45	Core Weight: 231	Total Weight: 49629
c Current CPU time: 9.98448 s
c
c core #413
c 
c 
c Core size: 121	Core Weight: 1	Total Weight: 49630
c Current CPU time: 10.0725 s
c
c core #414
c 
c 
c Core size: 51	Core Weight: 28	Total Weight: 49658
c Current CPU time: 10.1325 s
c
c core #415
c 
c 
c Core size: 141	Core Weight: 1	Total Weight: 49659
c Current CPU time: 10.1944 s
c
c core #416
c 
c 
c Core size: 230	Core Weight: 1	Total Weight: 49660
c Current CPU time: 10.2764 s
c
c core #417
c 
c 
c Core size: 81	Core Weight: 6	Total Weight: 49666
c Current CPU time: 10.3464 s
c
c core #418
c 
c 
c Core size: 233	Core Weight: 1	Total Weight: 49667
c Current CPU time: 10.4564 s
c
c core #419
c 
c 
c Core size: 64	Core Weight: 7	Total Weight: 49674
c Current CPU time: 10.5314 s
c
c core #420
c 
c 
c Core size: 48	Core Weight: 7	Total Weight: 49681
c Current CPU time: 10.5864 s
c
c core #421
c 
c 
c Core size: 49	Core Weight: 63	Total Weight: 49744
c Current CPU time: 10.6584 s
c
c core #422
c 
c 
c Core size: 35	Core Weight: 23	Total Weight: 49767
c Current CPU time: 10.7314 s
c
c core #423
c 
c 
c Core size: 254	Core Weight: 1	Total Weight: 49768
c Current CPU time: 11.1763 s
c
c core #424
c 
c 
c Core size: 33	Core Weight: 139	Total Weight: 49907
c Current CPU time: 11.2443 s
c
c core #425
c 
c 
c Core size: 307	Core Weight: 1	Total Weight: 49908
c Current CPU time: 22.7445 s
c
c core #426
c 
c 
c Core size: 95	Core Weight: 4	Total Weight: 49912
c Current CPU time: 146.444 s
c
c core #427
c 
c 
c Core size: 60	Core Weight: 42	Total Weight: 49954
c Current CPU time: 146.723 s
c
c core #428
c 
c 
c Core size: 73	Core Weight: 22	Total Weight: 49976
c Current CPU time: 453.745 s
c
c core #429
c 
c 
c Core size: 40	Core Weight: 418	Total Weight: 50394
c Current CPU time: 454.331 s
c
c core #430
c 
c 
c Core size: 88	Core Weight: 62	Total Weight: 50456
c Current CPU time: 454.421 s
c
c core #431
c 
c 
c Core size: 68	Core Weight: 20	Total Weight: 50476
c Current CPU time: 454.494 s
c
c core #432
c 
c 
c Core size: 99	Core Weight: 3	Total Weight: 50479
c Current CPU time: 659.469 s
c
c core #433
c 
c 
c Core size: 37	Core Weight: 76	Total Weight: 50555
c Current CPU time: 659.915 s
c
c core #434
c 
c 
c Core size: 34	Core Weight: 14	Total Weight: 50569
c Current CPU time: 1200.53 s
c
c core #435
c 
c 
c Core size: 17	Core Weight: 1208	Total Weight: 51777
c Current CPU time: 1201.39 s
c
c core #436
c 
c 
c Core size: 35	Core Weight: 140	Total Weight: 51917
c Current CPU time: 1201.46 s
c
c core #437
c 
c 
c Core size: 60	Core Weight: 19	Total Weight: 51936
c Current CPU time: 1201.53 s
c
c core #438
c 
c 
c Core size: 44	Core Weight: 46	Total Weight: 51982
c Current CPU time: 1201.6 s
c
c core #439
c 
c 
c Core size: 51	Core Weight: 2	Total Weight: 51984
c Current CPU time: 1201.69 s
c
c core #440
c 
c 
c Core size: 27	Core Weight: 18	Total Weight: 52002
c Current CPU time: 1201.76 s
c
c core #441
c 
c 
c Core size: 30	Core Weight: 1225	Total Weight: 53227
c Current CPU time: 1201.83 s
c
c core #442
c 
c 
c Core size: 52	Core Weight: 26	Total Weight: 53253
c Current CPU time: 1612.22 s
c
c core #443
c 
c 
c Core size: 45	Core Weight: 21	Total Weight: 53274
c Current CPU time: 1612.82 s
c
c core #444
c 
c 
c Core size: 30	Core Weight: 63	Total Weight: 53337
c Current CPU time: 1612.89 s
c
c core #445
c 
c 
c Core size: 48	Core Weight: 2	Total Weight: 53339
c Current CPU time: 1612.97 s
c
c core #446
c 
c 
c Core size: 34	Core Weight: 54	Total Weight: 53393
c Current CPU time: 1613.03 s
c
c core #447
c 
c 
c Core size: 43	Core Weight: 67	Total Weight: 53460
c Current CPU time: 1613.11 s
c
c core #448
c 
c 
c Core size: 63	Core Weight: 59	Total Weight: 53519
c Current CPU time: 1613.19 s
c
c core #449
c 
c 
c Core size: 62	Core Weight: 54	Total Weight: 53573
c Current CPU time: 1613.25 s
c
c core #450
c 
c 
c Core size: 36	Core Weight: 104	Total Weight: 53677
c Current CPU time: 1613.33 s
c
c core #451
c 
c 
c Core size: 54	Core Weight: 17	Total Weight: 53694
c Current CPU time: 1683.05 s
c
c core #452
c 
c 
c Core size: 63	Core Weight: 21	Total Weight: 53715
c Current CPU time: 1683.3 s
c
c core #453
c 
c 
c Core size: 63	Core Weight: 10	Total Weight: 53725
c Current CPU time: 1683.35 s
c
c core #454
c 
c 
c Core size: 53	Core Weight: 48	Total Weight: 53773
c Current CPU time: 1683.43 s
c
c core #455
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 53774
c Current CPU time: 1683.5 s
c
c core #456
c 
c 
c Core size: 27	Core Weight: 131	Total Weight: 53905
c Current CPU time: 1751.88 s
c
c core #457
c 
c 
c Core size: 53	Core Weight: 63	Total Weight: 53968
c Current CPU time: 1752.07 s
c
c core #458
c 
c 
c Core size: 26	Core Weight: 155	Total Weight: 54123
c Current CPU time: 1752.13 s
c
c #cores: 458
s UNKNOWN
1800.000u 7.349s 30:10.09 99.8%	0+0k 0+0io 0pf+0w