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_wcsp_spot5_log_1403.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/1403.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 4	Core Weight: 1000	Total Weight: 1000
c Current CPU time: 0.032994 s
c
c core #2
c 
c 
c Core size: 4	Core Weight: 2	Total Weight: 1002
c Current CPU time: 0.050992 s
c
c core #3
c 
c 
c Core size: 4	Core Weight: 1000	Total Weight: 2002
c Current CPU time: 0.068989 s
c
c core #4
c 
c 
c Core size: 4	Core Weight: 1000	Total Weight: 3002
c Current CPU time: 0.086986 s
c
c core #5
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 4002
c Current CPU time: 0.104984 s
c
c core #6
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 5002
c Current CPU time: 0.122981 s
c
c core #7
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 6002
c Current CPU time: 0.141978 s
c
c core #8
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 7002
c Current CPU time: 0.158975 s
c
c core #9
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 8002
c Current CPU time: 0.177972 s
c
c core #10
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 9002
c Current CPU time: 0.19597 s
c
c core #11
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 10002
c Current CPU time: 0.213967 s
c
c core #12
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 11002
c Current CPU time: 0.231964 s
c
c core #13
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 12002
c Current CPU time: 0.249962 s
c
c core #14
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 13002
c Current CPU time: 0.268959 s
c
c core #15
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 14002
c Current CPU time: 0.286956 s
c
c core #16
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 15002
c Current CPU time: 0.304953 s
c
c core #17
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 16002
c Current CPU time: 0.32395 s
c
c core #18
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 17002
c Current CPU time: 0.341948 s
c
c core #19
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 18002
c Current CPU time: 0.360945 s
c
c core #20
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 19002
c Current CPU time: 0.378942 s
c
c core #21
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 20002
c Current CPU time: 0.396939 s
c
c core #22
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 21002
c Current CPU time: 0.415936 s
c
c core #23
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 21003
c Current CPU time: 0.433934 s
c
c core #24
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 22002
c Current CPU time: 0.452931 s
c
c core #25
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 22003
c Current CPU time: 0.470928 s
c
c core #26
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 23003
c Current CPU time: 0.489925 s
c
c core #27
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 25003
c Current CPU time: 0.507922 s
c
c core #28
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 25004
c Current CPU time: 0.526919 s
c
c core #29
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 26003
c Current CPU time: 0.544917 s
c
c core #30
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 26004
c Current CPU time: 0.563914 s
c
c core #31
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 27003
c Current CPU time: 0.581911 s
c
c core #32
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 27004
c Current CPU time: 0.600908 s
c
c core #33
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 28003
c Current CPU time: 0.619905 s
c
c core #34
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 28004
c Current CPU time: 0.638902 s
c
c core #35
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 29003
c Current CPU time: 0.657899 s
c
c core #36
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 29004
c Current CPU time: 0.675897 s
c
c core #37
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 30003
c Current CPU time: 0.694894 s
c
c core #38
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 30004
c Current CPU time: 0.713891 s
c
c core #39
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 31003
c Current CPU time: 0.731888 s
c
c core #40
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 31004
c Current CPU time: 0.750885 s
c
c core #41
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 32004
c Current CPU time: 0.770882 s
c
c core #42
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 33003
c Current CPU time: 0.78888 s
c
c core #43
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 33004
c Current CPU time: 0.807877 s
c
c core #44
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 34003
c Current CPU time: 0.826874 s
c
c core #45
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 35003
c Current CPU time: 0.845871 s
c
c core #46
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 36003
c Current CPU time: 0.865868 s
c
c core #47
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 36004
c Current CPU time: 0.884865 s
c
c core #48
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 37004
c Current CPU time: 0.903862 s
c
c core #49
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 38004
c Current CPU time: 0.922859 s
c
c core #50
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 39004
c Current CPU time: 0.942856 s
c
c core #51
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 40004
c Current CPU time: 0.961853 s
c
c core #52
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 41003
c Current CPU time: 0.98085 s
c
c core #53
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 41004
c Current CPU time: 1.00085 s
c
c core #54
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 42003
c Current CPU time: 1.02084 s
c
c core #55
c 
c 
c Core size: 3	Core Weight: 1001	Total Weight: 43004
c Current CPU time: 1.03984 s
c
c core #56
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 44003
c Current CPU time: 1.05984 s
c
c core #57
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 44004
c Current CPU time: 1.07984 s
c
c core #58
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 45003
c Current CPU time: 1.09883 s
c
c core #59
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 45004
c Current CPU time: 1.11883 s
c
c core #60
c 
c 
c Core size: 3	Core Weight: 1999	Total Weight: 47003
c Current CPU time: 1.13883 s
c
c core #61
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 47004
c Current CPU time: 1.15882 s
c
c core #62
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 48003
c Current CPU time: 1.17882 s
c
c core #63
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 48004
c Current CPU time: 1.19882 s
c
c core #64
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 49003
c Current CPU time: 1.21881 s
c
c core #65
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 49004
c Current CPU time: 1.23881 s
c
c core #66
c 
c 
c Core size: 3	Core Weight: 998	Total Weight: 50002
c Current CPU time: 1.25881 s
c
c core #67
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 50004
c Current CPU time: 1.2788 s
c
c core #68
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 50006
c Current CPU time: 1.2988 s
c
c core #69
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 50008
c Current CPU time: 1.3188 s
c
c core #70
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 50010
c Current CPU time: 1.3388 s
c
c core #71
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 51010
c Current CPU time: 1.35879 s
c
c core #72
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 52010
c Current CPU time: 1.37979 s
c
c core #73
c 
c 
c Core size: 3	Core Weight: 1998	Total Weight: 54008
c Current CPU time: 1.39879 s
c
c core #74
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 54010
c Current CPU time: 1.41878 s
c
c core #75
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 56010
c Current CPU time: 1.43978 s
c
c core #76
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 57010
c Current CPU time: 1.45978 s
c
c core #77
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 58010
c Current CPU time: 1.47978 s
c
c core #78
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 59010
c Current CPU time: 1.49977 s
c
c core #79
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 61010
c Current CPU time: 1.52077 s
c
c core #80
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 62010
c Current CPU time: 1.54177 s
c
c core #81
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 63010
c Current CPU time: 1.56276 s
c
c core #82
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 65010
c Current CPU time: 1.58376 s
c
c core #83
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 67010
c Current CPU time: 1.60376 s
c
c core #84
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 69010
c Current CPU time: 1.62475 s
c
c core #85
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 71010
c Current CPU time: 1.64575 s
c
c core #86
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 73010
c Current CPU time: 1.66675 s
c
c core #87
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 75010
c Current CPU time: 1.68774 s
c
c core #88
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 77010
c Current CPU time: 1.70874 s
c
c core #89
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 79010
c Current CPU time: 1.72974 s
c
c core #90
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 81010
c Current CPU time: 1.75073 s
c
c core #91
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 83010
c Current CPU time: 1.77173 s
c
c core #92
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 85010
c Current CPU time: 1.79273 s
c
c core #93
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 87010
c Current CPU time: 1.81472 s
c
c core #94
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 89010
c Current CPU time: 1.83472 s
c
c core #95
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 91010
c Current CPU time: 1.85672 s
c
c core #96
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 93010
c Current CPU time: 1.87771 s
c
c core #97
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 95010
c Current CPU time: 1.89871 s
c
c core #98
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 97010
c Current CPU time: 1.92071 s
c
c core #99
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 99010
c Current CPU time: 1.9417 s
c
c core #100
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 101010
c Current CPU time: 1.9627 s
c
c core #101
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 103010
c Current CPU time: 1.9847 s
c
c core #102
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 105010
c Current CPU time: 2.00569 s
c
c core #103
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 107010
c Current CPU time: 2.02669 s
c
c core #104
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 109010
c Current CPU time: 2.04869 s
c
c core #105
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 111010
c Current CPU time: 2.07069 s
c
c core #106
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 113010
c Current CPU time: 2.09268 s
c
c core #107
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 115010
c Current CPU time: 2.11368 s
c
c core #108
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 117010
c Current CPU time: 2.13468 s
c
c core #109
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 119010
c Current CPU time: 2.15767 s
c
c core #110
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 121010
c Current CPU time: 2.17967 s
c
c core #111
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 123010
c Current CPU time: 2.20066 s
c
c core #112
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 125010
c Current CPU time: 2.22266 s
c
c core #113
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 127010
c Current CPU time: 2.24466 s
c
c core #114
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 129010
c Current CPU time: 2.26666 s
c
c core #115
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 131010
c Current CPU time: 2.28865 s
c
c core #116
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 133010
c Current CPU time: 2.30965 s
c
c core #117
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 135010
c Current CPU time: 2.33164 s
c
c core #118
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 137010
c Current CPU time: 2.35364 s
c
c core #119
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 139010
c Current CPU time: 2.37564 s
c
c core #120
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 141010
c Current CPU time: 2.39764 s
c
c core #121
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 143010
c Current CPU time: 2.41963 s
c
c core #122
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 145010
c Current CPU time: 2.44163 s
c
c core #123
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 147010
c Current CPU time: 2.46362 s
c
c core #124
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 149010
c Current CPU time: 2.48562 s
c
c core #125
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 151010
c Current CPU time: 2.50762 s
c
c core #126
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 153010
c Current CPU time: 2.52961 s
c
c core #127
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 155010
c Current CPU time: 2.55161 s
c
c core #128
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 155011
c Current CPU time: 2.57361 s
c
c core #129
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 155012
c Current CPU time: 2.5956 s
c
c core #130
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 155013
c Current CPU time: 2.6186 s
c
c core #131
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 155014
c Current CPU time: 2.6406 s
c
c core #132
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 155015
c Current CPU time: 2.66359 s
c
c core #133
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 156015
c Current CPU time: 2.68559 s
c
c core #134
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 157015
c Current CPU time: 2.70859 s
c
c core #135
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 158015
c Current CPU time: 2.73158 s
c
c core #136
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 159015
c Current CPU time: 2.75358 s
c
c core #137
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159017
c Current CPU time: 2.77558 s
c
c core #138
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 159018
c Current CPU time: 2.79757 s
c
c core #139
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 159019
c Current CPU time: 2.82057 s
c
c core #140
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159021
c Current CPU time: 2.84357 s
c
c core #141
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159023
c Current CPU time: 2.86556 s
c
c core #142
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159025
c Current CPU time: 2.88856 s
c
c core #143
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159027
c Current CPU time: 2.91056 s
c
c core #144
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159029
c Current CPU time: 2.93355 s
c
c core #145
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159031
c Current CPU time: 2.95555 s
c
c core #146
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159033
c Current CPU time: 2.97855 s
c
c core #147
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159035
c Current CPU time: 3.00054 s
c
c core #148
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159037
c Current CPU time: 3.02354 s
c
c core #149
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159039
c Current CPU time: 3.04654 s
c
c core #150
c 
c 
c Core size: 3	Core Weight: 5	Total Weight: 159044
c Current CPU time: 3.06953 s
c
c core #151
c 
c 
c Core size: 3	Core Weight: 5	Total Weight: 159049
c Current CPU time: 3.09153 s
c
c core #152
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159051
c Current CPU time: 3.11453 s
c
c core #153
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159053
c Current CPU time: 3.13752 s
c
c core #154
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 159054
c Current CPU time: 3.16052 s
c
c core #155
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 159055
c Current CPU time: 3.18352 s
c
c core #156
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159057
c Current CPU time: 3.20651 s
c
c core #157
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159059
c Current CPU time: 3.22951 s
c
c core #158
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159061
c Current CPU time: 3.25251 s
c
c core #159
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159063
c Current CPU time: 3.2755 s
c
c core #160
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159065
c Current CPU time: 3.2995 s
c
c core #161
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159067
c Current CPU time: 3.3215 s
c
c core #162
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159069
c Current CPU time: 3.34549 s
c
c core #163
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159071
c Current CPU time: 3.36849 s
c
c core #164
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159073
c Current CPU time: 3.39148 s
c
c core #165
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159075
c Current CPU time: 3.41448 s
c
c core #166
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159077
c Current CPU time: 3.43748 s
c
c core #167
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159079
c Current CPU time: 3.46047 s
c
c core #168
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159081
c Current CPU time: 3.48447 s
c
c core #169
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159083
c Current CPU time: 3.50747 s
c
c core #170
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159085
c Current CPU time: 3.53146 s
c
c core #171
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 159086
c Current CPU time: 3.55446 s
c
c core #172
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159088
c Current CPU time: 3.57746 s
c
c core #173
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159090
c Current CPU time: 3.60045 s
c
c core #174
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159092
c Current CPU time: 3.62445 s
c
c core #175
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159094
c Current CPU time: 3.64845 s
c
c core #176
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159096
c Current CPU time: 3.67144 s
c
c core #177
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159098
c Current CPU time: 3.69544 s
c
c core #178
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 159099
c Current CPU time: 3.71943 s
c
c core #179
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 159100
c Current CPU time: 3.74243 s
c
c core #180
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 159101
c Current CPU time: 3.76543 s
c
c core #181
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 159102
c Current CPU time: 3.78842 s
c
c core #182
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 159104
c Current CPU time: 3.81242 s
c
c core #183
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 159105
c Current CPU time: 3.83542 s
c
c core #184
c 
c 
c Core size: 6	Core Weight: 997	Total Weight: 160102
c Current CPU time: 3.85941 s
c
c core #185
c 
c 
c Core size: 9	Core Weight: 1000	Total Weight: 161102
c Current CPU time: 3.88341 s
c
c core #186
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 161104
c Current CPU time: 3.9074 s
c
c core #187
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 161106
c Current CPU time: 3.9314 s
c
c core #188
c 
c 
c Core size: 9	Core Weight: 996	Total Weight: 162102
c Current CPU time: 3.9564 s
c
c core #189
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 163102
c Current CPU time: 3.98139 s
c
c core #190
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 164102
c Current CPU time: 4.00539 s
c
c core #191
c 
c 
c Core size: 10	Core Weight: 2000	Total Weight: 166102
c Current CPU time: 4.03039 s
c
c core #192
c 
c 
c Core size: 10	Core Weight: 2000	Total Weight: 168102
c Current CPU time: 4.05438 s
c
c core #193
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 168103
c Current CPU time: 4.07938 s
c
c core #194
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 168104
c Current CPU time: 4.10338 s
c
c core #195
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 168105
c Current CPU time: 4.12837 s
c
c core #196
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 168107
c Current CPU time: 4.15237 s
c
c core #197
c 
c 
c Core size: 6	Core Weight: 2	Total Weight: 168109
c Current CPU time: 4.17636 s
c
c core #198
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 168110
c Current CPU time: 4.20036 s
c
c core #199
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 168111
c Current CPU time: 4.22536 s
c
c core #200
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 169111
c Current CPU time: 4.25035 s
c
c core #201
c 
c 
c Core size: 18	Core Weight: 1000	Total Weight: 170111
c Current CPU time: 4.27635 s
c
c core #202
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 171111
c Current CPU time: 4.30135 s
c
c core #203
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 171112
c Current CPU time: 4.32634 s
c
c core #204
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 173112
c Current CPU time: 4.35034 s
c
c core #205
c 
c 
c Core size: 10	Core Weight: 2000	Total Weight: 175112
c Current CPU time: 4.37434 s
c
c core #206
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 175113
c Current CPU time: 4.39933 s
c
c core #207
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 176113
c Current CPU time: 4.42533 s
c
c core #208
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 176114
c Current CPU time: 4.45132 s
c
c core #209
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 176116
c Current CPU time: 4.47732 s
c
c core #210
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 176117
c Current CPU time: 4.50331 s
c
c core #211
c 
c 
c Core size: 9	Core Weight: 998	Total Weight: 177115
c Current CPU time: 4.52931 s
c
c core #212
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 177116
c Current CPU time: 4.55431 s
c
c core #213
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 177117
c Current CPU time: 4.5793 s
c
c core #214
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 177118
c Current CPU time: 4.6053 s
c
c core #215
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 177120
c Current CPU time: 4.63129 s
c
c core #216
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 177122
c Current CPU time: 4.65729 s
c
c core #217
c 
c 
c Core size: 8	Core Weight: 997	Total Weight: 178119
c Current CPU time: 4.68329 s
c
c core #218
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 178120
c Current CPU time: 4.70828 s
c
c core #219
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 178121
c Current CPU time: 4.73428 s
c
c core #220
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 178122
c Current CPU time: 4.76028 s
c
c core #221
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 178123
c Current CPU time: 4.78727 s
c
c core #222
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 180123
c Current CPU time: 4.81227 s
c
c core #223
c 
c 
c Core size: 10	Core Weight: 2000	Total Weight: 182123
c Current CPU time: 4.83926 s
c
c core #224
c 
c 
c Core size: 8	Core Weight: 998	Total Weight: 183121
c Current CPU time: 4.86526 s
c
c core #225
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 183122
c Current CPU time: 4.89126 s
c
c core #226
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 183124
c Current CPU time: 4.91825 s
c
c core #227
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 183126
c Current CPU time: 4.94525 s
c
c core #228
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 184126
c Current CPU time: 4.97224 s
c
c core #229
c 
c 
c Core size: 8	Core Weight: 1000	Total Weight: 185126
c Current CPU time: 4.99824 s
c
c core #230
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 187126
c Current CPU time: 5.02324 s
c
c core #231
c 
c 
c Core size: 12	Core Weight: 997	Total Weight: 188123
c Current CPU time: 5.04923 s
c
c core #232
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 188124
c Current CPU time: 5.07523 s
c
c core #233
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 188125
c Current CPU time: 5.10022 s
c
c core #234
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 188126
c Current CPU time: 5.12622 s
c
c core #235
c 
c 
c Core size: 10	Core Weight: 997	Total Weight: 189123
c Current CPU time: 5.15122 s
c
c core #236
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 189124
c Current CPU time: 5.17721 s
c
c core #237
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 189125
c Current CPU time: 5.20321 s
c
c core #238
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 189126
c Current CPU time: 5.22921 s
c
c core #239
c 
c 
c Core size: 10	Core Weight: 997	Total Weight: 190123
c Current CPU time: 5.2552 s
c
c core #240
c 
c 
c Core size: 11	Core Weight: 4	Total Weight: 190127
c Current CPU time: 5.2812 s
c
c core #241
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 190128
c Current CPU time: 5.30719 s
c
c core #242
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 190130
c Current CPU time: 5.33219 s
c
c core #243
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 190132
c Current CPU time: 5.35919 s
c
c core #244
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 190133
c Current CPU time: 5.38518 s
c
c core #245
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 190135
c Current CPU time: 5.41218 s
c
c core #246
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 190136
c Current CPU time: 5.43717 s
c
c core #247
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 190137
c Current CPU time: 5.46217 s
c
c core #248
c 
c 
c Core size: 16	Core Weight: 1000	Total Weight: 191137
c Current CPU time: 5.48916 s
c
c core #249
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 191139
c Current CPU time: 5.51516 s
c
c core #250
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 191140
c Current CPU time: 5.54016 s
c
c core #251
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 191141
c Current CPU time: 5.56615 s
c
c core #252
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 191142
c Current CPU time: 5.59315 s
c
c core #253
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 191143
c Current CPU time: 5.61914 s
c
c core #254
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 191144
c Current CPU time: 5.64614 s
c
c core #255
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 191145
c Current CPU time: 5.67314 s
c
c core #256
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 193145
c Current CPU time: 5.70013 s
c
c core #257
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 195145
c Current CPU time: 5.72713 s
c
c core #258
c 
c 
c Core size: 12	Core Weight: 2000	Total Weight: 197145
c Current CPU time: 5.75312 s
c
c core #259
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 197146
c Current CPU time: 5.78012 s
c
c core #260
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 197147
c Current CPU time: 5.80712 s
c
c core #261
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 199147
c Current CPU time: 5.83511 s
c
c core #262
c 
c 
c Core size: 10	Core Weight: 2000	Total Weight: 201147
c Current CPU time: 5.86311 s
c
c core #263
c 
c 
c Core size: 15	Core Weight: 2000	Total Weight: 203147
c Current CPU time: 5.8891 s
c
c core #264
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 205147
c Current CPU time: 5.9161 s
c
c core #265
c 
c 
c Core size: 10	Core Weight: 998	Total Weight: 206145
c Current CPU time: 5.9411 s
c
c core #266
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 208145
c Current CPU time: 5.96809 s
c
c core #267
c 
c 
c Core size: 11	Core Weight: 2000	Total Weight: 210145
c Current CPU time: 5.99309 s
c
c core #268
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 212145
c Current CPU time: 6.02008 s
c
c core #269
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 212146
c Current CPU time: 6.04708 s
c
c core #270
c 
c 
c Core size: 11	Core Weight: 2000	Total Weight: 214146
c Current CPU time: 6.07308 s
c
c core #271
c 
c 
c Core size: 12	Core Weight: 993	Total Weight: 215139
c Current CPU time: 6.09907 s
c
c core #272
c 
c 
c Core size: 16	Core Weight: 2000	Total Weight: 217139
c Current CPU time: 6.12907 s
c
c core #273
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 217140
c Current CPU time: 6.15506 s
c
c core #274
c 
c 
c Core size: 26	Core Weight: 2000	Total Weight: 219140
c Current CPU time: 6.18406 s
c
c core #275
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 219141
c Current CPU time: 6.21105 s
c
c core #276
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 219142
c Current CPU time: 6.23805 s
c
c core #277
c 
c 
c Core size: 10	Core Weight: 999	Total Weight: 220141
c Current CPU time: 6.26605 s
c
c core #278
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 220142
c Current CPU time: 6.29404 s
c
c core #279
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 220143
c Current CPU time: 6.32104 s
c
c core #280
c 
c 
c Core size: 11	Core Weight: 2000	Total Weight: 222143
c Current CPU time: 6.35003 s
c
c core #281
c 
c 
c Core size: 15	Core Weight: 2000	Total Weight: 224143
c Current CPU time: 6.37803 s
c
c core #282
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 224144
c Current CPU time: 6.40803 s
c
c core #283
c 
c 
c Core size: 15	Core Weight: 2000	Total Weight: 226144
c Current CPU time: 6.43802 s
c
c core #284
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 227144
c Current CPU time: 6.46802 s
c
c core #285
c 
c 
c Core size: 47	Core Weight: 2000	Total Weight: 229144
c Current CPU time: 6.50301 s
c
c core #286
c 
c 
c Core size: 19	Core Weight: 993	Total Weight: 230137
c Current CPU time: 6.53201 s
c
c core #287
c 
c 
c Core size: 15	Core Weight: 2	Total Weight: 230139
c Current CPU time: 6.56 s
c
c core #288
c 
c 
c Core size: 12	Core Weight: 1000	Total Weight: 231139
c Current CPU time: 6.587 s
c
c core #289
c 
c 
c Core size: 22	Core Weight: 1000	Total Weight: 232139
c Current CPU time: 6.61399 s
c
c core #290
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 232140
c Current CPU time: 6.64199 s
c
c core #291
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 232141
c Current CPU time: 6.66899 s
c
c core #292
c 
c 
c Core size: 8	Core Weight: 996	Total Weight: 233137
c Current CPU time: 6.69598 s
c
c core #293
c 
c 
c Core size: 28	Core Weight: 1000	Total Weight: 234137
c Current CPU time: 6.72498 s
c
c core #294
c 
c 
c Core size: 22	Core Weight: 2	Total Weight: 234139
c Current CPU time: 6.75197 s
c
c core #295
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 234140
c Current CPU time: 6.77897 s
c
c core #296
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 234141
c Current CPU time: 6.80996 s
c
c core #297
c 
c 
c Core size: 20	Core Weight: 993	Total Weight: 235134
c Current CPU time: 6.83796 s
c
c core #298
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 236134
c Current CPU time: 6.86596 s
c
c core #299
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 236136
c Current CPU time: 6.89295 s
c
c core #300
c 
c 
c Core size: 37	Core Weight: 1000	Total Weight: 237136
c Current CPU time: 6.92695 s
c
c core #301
c 
c 
c Core size: 5	Core Weight: 992	Total Weight: 238128
c Current CPU time: 6.95994 s
c
c core #302
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 238130
c Current CPU time: 6.98694 s
c
c core #303
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 238132
c Current CPU time: 7.01293 s
c
c core #304
c 
c 
c Core size: 15	Core Weight: 1000	Total Weight: 239132
c Current CPU time: 7.04093 s
c
c core #305
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 239133
c Current CPU time: 7.06893 s
c
c core #306
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 239134
c Current CPU time: 7.09792 s
c
c core #307
c 
c 
c Core size: 23	Core Weight: 3	Total Weight: 239137
c Current CPU time: 7.12692 s
c
c core #308
c 
c 
c Core size: 15	Core Weight: 1999	Total Weight: 241136
c Current CPU time: 7.15691 s
c
c core #309
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 241137
c Current CPU time: 7.18391 s
c
c core #310
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 241138
c Current CPU time: 7.2129 s
c
c core #311
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 241139
c Current CPU time: 7.2419 s
c
c core #312
c 
c 
c Core size: 12	Core Weight: 995	Total Weight: 242134
c Current CPU time: 7.27089 s
c
c core #313
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 242136
c Current CPU time: 7.30089 s
c
c core #314
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 242137
c Current CPU time: 7.33089 s
c
c core #315
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 242138
c Current CPU time: 7.36088 s
c
c core #316
c 
c 
c Core size: 8	Core Weight: 1000	Total Weight: 243138
c Current CPU time: 7.39088 s
c
c core #317
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 243139
c Current CPU time: 7.42587 s
c
c core #318
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 243140
c Current CPU time: 7.45787 s
c
c core #319
c 
c 
c Core size: 31	Core Weight: 991	Total Weight: 244131
c Current CPU time: 7.48786 s
c
c core #320
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 244132
c Current CPU time: 7.52086 s
c
c core #321
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 244133
c Current CPU time: 7.55185 s
c
c core #322
c 
c 
c Core size: 7	Core Weight: 1000	Total Weight: 245133
c Current CPU time: 7.58185 s
c
c core #323
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 245134
c Current CPU time: 7.61384 s
c
c core #324
c 
c 
c Core size: 21	Core Weight: 2	Total Weight: 245136
c Current CPU time: 7.64584 s
c
c core #325
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 245137
c Current CPU time: 7.67583 s
c
c core #326
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 245138
c Current CPU time: 7.70683 s
c
c core #327
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 245139
c Current CPU time: 7.73882 s
c
c core #328
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 245140
c Current CPU time: 7.76882 s
c
c core #329
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 245141
c Current CPU time: 7.80081 s
c
c core #330
c 
c 
c Core size: 15	Core Weight: 2000	Total Weight: 247141
c Current CPU time: 7.83281 s
c
c core #331
c 
c 
c Core size: 7	Core Weight: 2000	Total Weight: 249141
c Current CPU time: 7.8648 s
c
c core #332
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 249142
c Current CPU time: 7.8978 s
c
c core #333
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 249143
c Current CPU time: 7.93479 s
c
c core #334
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 249144
c Current CPU time: 7.97579 s
c
c core #335
c 
c 
c Core size: 14	Core Weight: 999	Total Weight: 250143
c Current CPU time: 8.03678 s
c
c core #336
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 250144
c Current CPU time: 8.07177 s
c
c core #337
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 250145
c Current CPU time: 8.10477 s
c
c core #338
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 250146
c Current CPU time: 8.13776 s
c
c core #339
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 250147
c Current CPU time: 8.17276 s
c
c core #340
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 250148
c Current CPU time: 8.21375 s
c
c core #341
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 250149
c Current CPU time: 8.24675 s
c
c core #342
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 250150
c Current CPU time: 8.27974 s
c
c core #343
c 
c 
c Core size: 52	Core Weight: 1	Total Weight: 250151
c Current CPU time: 8.32473 s
c
c core #344
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 250152
c Current CPU time: 8.36273 s
c
c core #345
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 250153
c Current CPU time: 8.39772 s
c
c core #346
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 250154
c Current CPU time: 8.43372 s
c
c core #347
c 
c 
c Core size: 18	Core Weight: 2000	Total Weight: 252154
c Current CPU time: 8.46971 s
c
c core #348
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 252155
c Current CPU time: 8.50771 s
c
c core #349
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 254155
c Current CPU time: 8.5477 s
c
c core #350
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 254156
c Current CPU time: 8.58269 s
c
c core #351
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 254157
c Current CPU time: 8.61769 s
c
c core #352
c 
c 
c Core size: 13	Core Weight: 2000	Total Weight: 256157
c Current CPU time: 8.65368 s
c
c core #353
c 
c 
c Core size: 15	Core Weight: 2	Total Weight: 256159
c Current CPU time: 8.68368 s
c
c core #354
c 
c 
c Core size: 16	Core Weight: 2000	Total Weight: 258159
c Current CPU time: 8.71767 s
c
c core #355
c 
c 
c Core size: 7	Core Weight: 2000	Total Weight: 260159
c Current CPU time: 8.75467 s
c
c core #356
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 260160
c Current CPU time: 8.79266 s
c
c core #357
c 
c 
c Core size: 45	Core Weight: 1	Total Weight: 260161
c Current CPU time: 8.82966 s
c
c core #358
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 260162
c Current CPU time: 8.86465 s
c
c core #359
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 260163
c Current CPU time: 8.89865 s
c
c core #360
c 
c 
c Core size: 20	Core Weight: 985	Total Weight: 261148
c Current CPU time: 8.93564 s
c
c core #361
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 261149
c Current CPU time: 8.97564 s
c
c core #362
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 261150
c Current CPU time: 9.01463 s
c
c core #363
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 261151
c Current CPU time: 9.05062 s
c
c core #364
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 261152
c Current CPU time: 9.08762 s
c
c core #365
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 261153
c Current CPU time: 9.13361 s
c
c core #366
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 263153
c Current CPU time: 9.17061 s
c
c core #367
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 263154
c Current CPU time: 9.2036 s
c
c core #368
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 263155
c Current CPU time: 9.2406 s
c
c core #369
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 263156
c Current CPU time: 9.28159 s
c
c core #370
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 263157
c Current CPU time: 9.32158 s
c
c core #371
c 
c 
c Core size: 20	Core Weight: 993	Total Weight: 264150
c Current CPU time: 9.35558 s
c
c core #372
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 264151
c Current CPU time: 9.41557 s
c
c core #373
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 264152
c Current CPU time: 9.45156 s
c
c core #374
c 
c 
c Core size: 100	Core Weight: 1	Total Weight: 264153
c Current CPU time: 9.49156 s
c
c core #375
c 
c 
c Core size: 109	Core Weight: 1	Total Weight: 264154
c Current CPU time: 9.70452 s
c
c core #376
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 264155
c Current CPU time: 9.75052 s
c
c core #377
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 264156
c Current CPU time: 9.78651 s
c
c core #378
c 
c 
c Core size: 26	Core Weight: 985	Total Weight: 265141
c Current CPU time: 9.82751 s
c
c core #379
c 
c 
c Core size: 25	Core Weight: 2	Total Weight: 265143
c Current CPU time: 9.8635 s
c
c core #380
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 265144
c Current CPU time: 9.90649 s
c
c core #381
c 
c 
c Core size: 19	Core Weight: 2	Total Weight: 265146
c Current CPU time: 10.8853 s
c
c core #382
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 265147
c Current CPU time: 10.9293 s
c
c core #383
c 
c 
c Core size: 134	Core Weight: 1	Total Weight: 265148
c Current CPU time: 12.2421 s
c
c core #384
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 265149
c Current CPU time: 15.6676 s
c
c core #385
c 
c 
c Core size: 35	Core Weight: 4	Total Weight: 265153
c Current CPU time: 15.7156 s
c
c core #386
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 265154
c Current CPU time: 21.9637 s
c
c core #387
c 
c 
c Core size: 130	Core Weight: 1	Total Weight: 265155
c Current CPU time: 228.088 s
c
c core #388
c 
c 
c Core size: 7	Core Weight: 4	Total Weight: 265159
c Current CPU time: 228.461 s
c
c core #389
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 265160
c Current CPU time: 720.156 s
c
c core #390
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 265161
c Current CPU time: 720.842 s
c
c #cores: 390
s UNKNOWN
1800.001u 4.674s 30:16.52 99.3%	0+0k 0+0io 0pf+0w