Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_WCSP_SPOT5_LOG_1504.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/WCSP/SPOT5/LOG/1504.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 247471
o 247470
o 247469
o 243469
o 243468
o 243467
o 243466
o 242470
o 230464
o 226440
o 225445
o 225444
o 221471
o 221459
o 221452
o 221451
o 221445
o 221444
o 221443
o 221442
o 221441
o 221440
o 221439
o 221438
o 221437
o 221436
o 221435
o 221434
o 221433
o 221432
o 220453
o 220450
o 220449
o 220448
o 220447
o 220446
o 220445
o 220440
o 219444
o 218450
o 218439
o 218436
o 218435
o 218434
o 218433
o 218432
o 218431
o 218430
o 218429
o 218428
o 218427
c core #1
c 
c 
c Core size: 4	Core Weight: 2	Total Weight: 2
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 1002
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 2002
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 3002
c
c
c core #5
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 4002
c
c
c core #6
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 5002
c
c
c core #7
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 6002
c
c
c core #8
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 7002
c
c
c core #9
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 8002
c
c
c core #10
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 9002
c
c
c core #11
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 10002
c
c
c core #12
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 11002
c
c
c core #13
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 12002
c
c
c core #14
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 13002
c
c
c core #15
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 14002
c
c
c core #16
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 15002
c
c
c core #17
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 16002
c
c
c core #18
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 17002
c
c
c core #19
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 18002
c
c
c core #20
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 18003
c
c
c core #21
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 19002
c
c
c core #22
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 19003
c
c
c core #23
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 19004
c
c
c core #24
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 20003
c
c
c core #25
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 20004
c
c
c core #26
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 21003
c
c
c core #27
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 21004
c
c
c core #28
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 22003
c
c
c core #29
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 22004
c
c
c core #30
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 23003
c
c
c core #31
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 23004
c
c
c core #32
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 24003
c
c
c core #33
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 24004
c
c
c core #34
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 25004
c
c
c core #35
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 26003
c
c
c core #36
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 26004
c
c
c core #37
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 28004
c
c
c core #38
c 
c 
c Core size: 3	Core Weight: 999	Total Weight: 29003
c
c
c core #39
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 31003
c
c
c core #40
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 33003
c
c
c core #41
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 35003
c
c
c core #42
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 36003
c
c
c core #43
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 37003
c
c
c core #44
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 38003
c
c
c core #45
c 
c 
c Core size: 3	Core Weight: 998	Total Weight: 39001
c
c
c core #46
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 40001
c
c
c core #47
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 40003
c
c
c core #48
c 
c 
c Core size: 3	Core Weight: 1998	Total Weight: 42001
c
c
c core #49
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 42003
c
c
c core #50
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 43003
c
c
c core #51
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 44003
c
c
c core #52
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 46003
c
c
c core #53
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 48003
c
c
c core #54
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 49003
c
c
c core #55
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 50003
c
c
c core #56
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 51003
c
c
c core #57
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 53003
c
c
c core #58
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 55003
c
c
c core #59
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 57003
c
c
c core #60
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 59003
c
c
c core #61
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 61003
c
c
c core #62
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 63003
c
c
c core #63
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 65003
c
c
c core #64
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 67003
c
c
c core #65
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 69003
c
c
c core #66
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 71003
c
c
c core #67
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 73003
c
c
c core #68
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 75003
c
c
c core #69
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 77003
c
c
c core #70
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 79003
c
c
c core #71
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 81003
c
c
c core #72
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 83003
c
c
c core #73
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 85003
c
c
c core #74
c 
c 
c Core size: 3	Core Weight: 2000	Total Weight: 87003
c
c
c core #75
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 87004
c
c
c core #76
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 87005
c
c
c core #77
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 87006
c
c
c core #78
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 87007
c
c
c core #79
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 87008
c
c
c core #80
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 88008
c
c
c core #81
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 89008
c
c
c core #82
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89010
c
c
c core #83
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 89011
c
c
c core #84
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 89012
c
c
c core #85
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89014
c
c
c core #86
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89016
c
c
c core #87
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89018
c
c
c core #88
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89020
c
c
c core #89
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89022
c
c
c core #90
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89024
c
c
c core #91
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89026
c
c
c core #92
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89028
c
c
c core #93
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89030
c
c
c core #94
c 
c 
c Core size: 3	Core Weight: 5	Total Weight: 89035
c
c
c core #95
c 
c 
c Core size: 3	Core Weight: 5	Total Weight: 89040
c
c
c core #96
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89042
c
c
c core #97
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89044
c
c
c core #98
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 89045
c
c
c core #99
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 89046
c
c
c core #100
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89048
c
c
c core #101
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89050
c
c
c core #102
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89052
c
c
c core #103
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89054
c
c
c core #104
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89056
c
c
c core #105
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89058
c
c
c core #106
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89060
c
c
c core #107
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89062
c
c
c core #108
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89064
c
c
c core #109
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89066
c
c
c core #110
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89068
c
c
c core #111
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89070
c
c
c core #112
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89072
c
c
c core #113
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89074
c
c
c core #114
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89076
c
c
c core #115
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89078
c
c
c core #116
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89080
c
c
c core #117
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89082
c
c
c core #118
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89084
c
c
c core #119
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89086
c
c
c core #120
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89088
c
c
c core #121
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 89089
c
c
c core #122
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 89090
c
c
c core #123
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 89091
c
c
c core #124
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89093
c
c
c core #125
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89095
c
c
c core #126
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 89096
c
c
c core #127
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89098
c
c
c core #128
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89100
c
c
c core #129
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89102
c
c
c core #130
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89104
c
c
c core #131
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89106
c
c
c core #132
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89108
c
c
c core #133
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 89110
c
c
c core #134
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 89111
c
c
c core #135
c 
c 
c Core size: 8	Core Weight: 1000	Total Weight: 90111
c
c
c core #136
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 90112
c
c
c core #137
c 
c 
c Core size: 8	Core Weight: 1000	Total Weight: 91112
c
c
c core #138
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 91113
c
c
c core #139
c 
c 
c Core size: 8	Core Weight: 1998	Total Weight: 93111
c
c
c core #140
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 93112
c
c
c core #141
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 93113
c
c
c core #142
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 93114
c
c
c core #143
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 93115
c
c
c core #144
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 93116
c
c
c core #145
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 93117
c
c
c core #146
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 93118
c
c
c core #147
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 93120
c
c
c core #148
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 93121
c
c
c core #149
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 94121
c
c
c core #150
c 
c 
c Core size: 6	Core Weight: 2000	Total Weight: 96121
c
c
c core #151
c 
c 
c Core size: 6	Core Weight: 2000	Total Weight: 98121
c
c
c core #152
c 
c 
c Core size: 6	Core Weight: 2000	Total Weight: 100121
c
c
c core #153
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 100122
c
c
c core #154
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 100123
c
c
c core #155
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 100124
c
c
c core #156
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 100125
c
c
c core #157
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 100127
c
c
c core #158
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 100128
c
c
c core #159
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 101128
c
c
c core #160
c 
c 
c Core size: 18	Core Weight: 1000	Total Weight: 102128
c
c
c core #161
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 103128
c
c
c core #162
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 103130
c
c
c core #163
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 103131
c
c
c core #164
c 
c 
c Core size: 8	Core Weight: 1000	Total Weight: 104131
c
c
c core #165
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 106131
c
c
c core #166
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 107131
c
c
c core #167
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 109131
c
c
c core #168
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 109133
c
c
c core #169
c 
c 
c Core size: 10	Core Weight: 1000	Total Weight: 110133
c
c
c core #170
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 110134
c
c
c core #171
c 
c 
c Core size: 10	Core Weight: 998	Total Weight: 111132
c
c
c core #172
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 111134
c
c
c core #173
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 111136
c
c
c core #174
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 113136
c
c
c core #175
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 113137
c
c
c core #176
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 113138
c
c
c core #177
c 
c 
c Core size: 8	Core Weight: 2000	Total Weight: 115138
c
c
c core #178
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 115139
c
c
c core #179
c 
c 
c Core size: 10	Core Weight: 997	Total Weight: 116136
c
c
c core #180
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 116137
c
c
c core #181
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 116138
c
c
c core #182
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 116139
c
c
c core #183
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 116140
c
c
c core #184
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 116141
c
c
c core #185
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 116142
c
c
c core #186
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 116143
c
c
c core #187
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 116144
c
c
c core #188
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 116145
c
c
c core #189
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 116146
c
c
c core #190
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 116147
c
c
c core #191
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 116148
c
c
c core #192
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 116149
c
c
c core #193
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 116150
c
c
c core #194
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 116151
c
c
c core #195
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 116152
c
c
c core #196
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 116154
c
c
c core #197
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 116155
c
c
c core #198
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 116156
c
c
c core #199
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 116157
c
c
c core #200
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 116158
c
c
c core #201
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 116160
c
c
c core #202
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 116162
c
c
c core #203
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 116163
c
c
c core #204
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 116164
c
c
c core #205
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 116165
c
c
c core #206
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 116167
c
c
c core #207
c 
c 
c Core size: 10	Core Weight: 999	Total Weight: 117166
c
c
c core #208
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 117167
c
c
c core #209
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 117169
c
c
c core #210
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 117170
c
c
c core #211
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 117172
c
c
c core #212
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 117173
c
c
c core #213
c 
c 
c Core size: 31	Core Weight: 1	Total Weight: 117174
c
c
c core #214
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 117175
c
c
c core #215
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 117177
c
c
c core #216
c 
c 
c Core size: 13	Core Weight: 1996	Total Weight: 119173
c
c
c core #217
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 119175
c
c
c core #218
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 119177
c
c
c core #219
c 
c 
c Core size: 5	Core Weight: 1	Total Weight: 119178
c
c
c core #220
c 
c 
c Core size: 10	Core Weight: 998	Total Weight: 120176
c
c
c core #221
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 120177
c
c
c core #222
c 
c 
c Core size: 8	Core Weight: 1997	Total Weight: 122174
c
c
c core #223
c 
c 
c Core size: 12	Core Weight: 1000	Total Weight: 123174
c
c
c core #224
c 
c 
c Core size: 12	Core Weight: 4	Total Weight: 123178
c
c
c core #225
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 123180
c
c
c core #226
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 123181
c
c
c core #227
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 123182
c
c
c core #228
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 123183
c
c
c core #229
c 
c 
c Core size: 25	Core Weight: 2	Total Weight: 123185
c
c
c core #230
c 
c 
c Core size: 22	Core Weight: 990	Total Weight: 124175
c
c
c core #231
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 124176
c
c
c core #232
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 124177
c
c
c core #233
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 124178
c
c
c core #234
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 124179
c
c
c core #235
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 124180
c
c
c core #236
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 124181
c
c
c core #237
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 124182
c
c
c core #238
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 124183
c
c
c core #239
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 124184
c
c
c core #240
c 
c 
c Core size: 7	Core Weight: 1000	Total Weight: 125184
c
c
c core #241
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 125185
c
c
c core #242
c 
c 
c Core size: 14	Core Weight: 1000	Total Weight: 126185
c
c
c core #243
c 
c 
c Core size: 30	Core Weight: 999	Total Weight: 127184
c
c
c core #244
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 127185
c
c
c core #245
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 127186
c
c
c core #246
c 
c 
c Core size: 7	Core Weight: 1001	Total Weight: 128187
c
c
c core #247
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 128188
c
c
c core #248
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 128189
c
c
c core #249
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 128190
c
c
c core #250
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 128191
c
c
c core #251
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 128192
c
c
c core #252
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 128193
c
c
c core #253
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 128194
c
c
c core #254
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 128195
c
c
c core #255
c 
c 
c Core size: 36	Core Weight: 994	Total Weight: 129189
c
c
c core #256
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 129190
c
c
c core #257
c 
c 
c Core size: 11	Core Weight: 1006	Total Weight: 130196
c
c
c core #258
c 
c 
c Core size: 73	Core Weight: 1	Total Weight: 130197
c
c
c core #259
c 
c 
c Core size: 97	Core Weight: 1	Total Weight: 130198
c
c
c core #260
c 
c 
c Core size: 148	Core Weight: 1	Total Weight: 130199
c
c
c core #261
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 130200
c
c
c core #262
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 130201
c
c
c core #263
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 130202
c
c
c core #264
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 130203
c
c
c core #265
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 130204
c
c
c core #266
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 130205
c
c
c core #267
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 130206
c
c
c core #268
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 130207
c
c
c core #269
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 130208
c
c
c core #270
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 130209
c
c
c core #271
c 
c 
c Core size: 24	Core Weight: 988	Total Weight: 131197
c
c
c core #272
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 131198
c
c
c core #273
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 131199
c
c
c core #274
c 
c 
c Core size: 126	Core Weight: 1	Total Weight: 131200
c
c
c core #275
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 131201
c
c
c core #276
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 131202
c
c
c core #277
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 131203
c
c
c core #278
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 131204
c
c
c core #279
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 131205
c
c
c core #280
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 131206
c
c
c core #281
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 131207
c
c
c core #282
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 131208
c
c
c core #283
c 
c 
c Core size: 73	Core Weight: 1	Total Weight: 131209
c
c
c core #284
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 131210
c
c
c core #285
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 131211
c
c
c core #286
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 131212
c
c
c core #287
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 131213
c
c
c core #288
c 
c 
c Core size: 31	Core Weight: 980	Total Weight: 132193
c
c
c core #289
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 132194
c
c
c core #290
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 132195
c
c
c core #291
c 
c 
c Core size: 262	Core Weight: 1	Total Weight: 132196
c
c
c core #292
c 
c 
c Core size: 249	Core Weight: 1	Total Weight: 132197
c
c
c core #293
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 132198
c
c
c core #294
c 
c 
c Core size: 278	Core Weight: 1	Total Weight: 132199
c
c
c core #295
c 
c 
c Core size: 346	Core Weight: 1	Total Weight: 132200
c
c
c core #296
c 
c 
c Core size: 18	Core Weight: 1000	Total Weight: 133200
c
c
c core #297
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 133201
c
c
c core #298
c 
c 
c Core size: 252	Core Weight: 1	Total Weight: 133202
c
c
c core #299
c 
c 
c Core size: 12	Core Weight: 6	Total Weight: 133208
c
c
c core #300
c 
c 
c Core size: 24	Core Weight: 974	Total Weight: 134182
c
c
c core #301
c 
c 
c Core size: 140	Core Weight: 1	Total Weight: 134183
c
c
c core #302
c 
c 
c Core size: 283	Core Weight: 1	Total Weight: 134184
c
c
c core #303
c 
c 
c Core size: 23	Core Weight: 6	Total Weight: 134190
c
c
c core #304
c 
c 
c Core size: 358	Core Weight: 1	Total Weight: 134191
c
c