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_505.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/WCSP/SPOT5/LOG/505.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 33323
o 33322
o 33321
o 32325
o 32321
o 32319
o 32318
o 32317
o 31318
o 31317
o 31316
o 31315
o 31314
o 31313
o 31312
o 31311
o 31310
o 31309
o 31307
o 31303
o 31302
o 31301
o 31300
o 30311
o 30310
o 30309
o 30308
o 30307
o 30306
o 30305
o 30304
o 30303
o 30302
o 30301
o 30300
o 30299
o 30298
o 30297
o 30296
o 30295
o 30294
o 30293
o 30292
o 30291
o 30290
o 30289
o 30288
o 30287
o 30286
o 30285
o 30284
o 30283
o 30282
o 30281
o 28303
o 28302
o 28301
o 28300
o 28299
o 28298
o 28297
o 28296
o 28295
o 28294
o 28293
o 28292
o 28291
o 28290
o 28289
o 28288
o 28287
o 27313
o 27312
o 27311
o 27310
o 27309
o 27308
o 27307
o 27306
o 27305
o 27304
o 27303
o 27302
o 27301
o 27300
o 27293
o 27292
o 27291
o 27290
o 27289
o 27288
o 27287
o 27286
o 27285
o 27284
o 27283
o 27282
o 26296
o 26295
o 26294
o 26293
o 26292
o 26291
o 26290
o 26289
o 25301
o 25300
o 25299
o 25298
o 25297
o 25296
o 25295
o 25294
o 25293
o 24310
o 24296
o 24295
o 24294
o 24293
o 24292
o 24291
o 24290
o 24289
o 24288
o 24287
o 24286
o 24285
o 24284
o 24283
o 24282
o 24281
o 24280
o 23303
o 23302
o 23295
o 23294
o 23293
o 23292
o 23291
o 23290
o 23289
o 23288
o 23287
o 23286
o 23285
o 23284
o 23283
o 23282
o 23281
o 23280
o 23279
o 23278
o 23277
o 23276
o 23275
o 23274
o 23273
o 23272
o 23271
o 23270
o 23269
c core #1
c 
c 
c Core size: 4	Core Weight: 1	Total Weight: 1
c
c
c core #2
c 
c 
c Core size: 4	Core Weight: 1	Total Weight: 2
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 5
c
c
c core #5
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 7
c
c
c core #6
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 9
c
c
c core #7
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 10
c
c
c core #8
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 12
c
c
c core #9
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 14
c
c
c core #10
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 16
c
c
c core #11
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 18
c
c
c core #12
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 20
c
c
c core #13
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 22
c
c
c core #14
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 24
c
c
c core #15
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 26
c
c
c core #16
c 
c 
c Core size: 3	Core Weight: 1	Total Weight: 27
c
c
c core #17
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 29
c
c
c core #18
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 31
c
c
c core #19
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 33
c
c
c core #20
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 35
c
c
c core #21
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 37
c
c
c core #22
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 39
c
c
c core #23
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 41
c
c
c core #24
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 43
c
c
c core #25
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 45
c
c
c core #26
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 47
c
c
c core #27
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 49
c
c
c core #28
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 51
c
c
c core #29
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 53
c
c
c core #30
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 55
c
c
c core #31
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 57
c
c
c core #32
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 59
c
c
c core #33
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 61
c
c
c core #34
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 1061
c
c
c core #35
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 2061
c
c
c core #36
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 3061
c
c
c core #37
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 4061
c
c
c core #38
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4063
c
c
c core #39
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4065
c
c
c core #40
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4067
c
c
c core #41
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4069
c
c
c core #42
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4071
c
c
c core #43
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4073
c
c
c core #44
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4075
c
c
c core #45
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4077
c
c
c core #46
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4079
c
c
c core #47
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4081
c
c
c core #48
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4083
c
c
c core #49
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4085
c
c
c core #50
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 4087
c
c
c core #51
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 5087
c
c
c core #52
c 
c 
c Core size: 3	Core Weight: 5	Total Weight: 5092
c
c
c core #53
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 6092
c
c
c core #54
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 7092
c
c
c core #55
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 8092
c
c
c core #56
c 
c 
c Core size: 3	Core Weight: 5	Total Weight: 8097
c
c
c core #57
c 
c 
c Core size: 3	Core Weight: 5	Total Weight: 8102
c
c
c core #58
c 
c 
c Core size: 3	Core Weight: 990	Total Weight: 9092
c
c
c core #59
c 
c 
c Core size: 3	Core Weight: 10	Total Weight: 9102
c
c
c core #60
c 
c 
c Core size: 3	Core Weight: 990	Total Weight: 10092
c
c
c core #61
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 11092
c
c
c core #62
c 
c 
c Core size: 3	Core Weight: 5	Total Weight: 11097
c
c
c core #63
c 
c 
c Core size: 3	Core Weight: 1000	Total Weight: 12097
c
c
c core #64
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 12099
c
c
c core #65
c 
c 
c Core size: 3	Core Weight: 3	Total Weight: 12102
c
c
c core #66
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 12104
c
c
c core #67
c 
c 
c Core size: 3	Core Weight: 2	Total Weight: 12106
c
c
c core #68
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 12107
c
c
c core #69
c 
c 
c Core size: 4	Core Weight: 1	Total Weight: 12108
c
c
c core #70
c 
c 
c Core size: 4	Core Weight: 1	Total Weight: 12109
c
c
c core #71
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 12110
c
c
c core #72
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 12111
c
c
c core #73
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 12112
c
c
c core #74
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 12113
c
c
c core #75
c 
c 
c Core size: 8	Core Weight: 7	Total Weight: 12120
c
c
c core #76
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 12121
c
c
c core #77
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 12122
c
c
c core #78
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 12123
c
c
c core #79
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 12124
c
c
c core #80
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 12125
c
c
c core #81
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 12126
c
c
c core #82
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 12127
c
c
c core #83
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 12128
c
c
c core #84
c 
c 
c Core size: 9	Core Weight: 5	Total Weight: 12133
c
c
c core #85
c 
c 
c Core size: 8	Core Weight: 995	Total Weight: 13128
c
c
c core #86
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 13129
c
c
c core #87
c 
c 
c Core size: 11	Core Weight: 989	Total Weight: 14118
c
c
c core #88
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 14119
c
c
c core #89
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 14120
c
c
c core #90
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 14121
c
c
c core #91
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 14122
c
c
c core #92
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 14123
c
c
c core #93
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 14124
c
c
c core #94
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 14125
c
c
c core #95
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 14126
c
c
c core #96
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 14127
c
c
c core #97
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 14128
c
c
c core #98
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 14129
c
c
c core #99
c 
c 
c Core size: 8	Core Weight: 989	Total Weight: 15118
c
c
c core #100
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 15119
c
c
c core #101
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 15120
c
c
c core #102
c 
c 
c Core size: 9	Core Weight: 5	Total Weight: 15125
c
c
c core #103
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 15126
c
c
c core #104
c 
c 
c Core size: 13	Core Weight: 2	Total Weight: 15128
c
c
c core #105
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 15130
c
c
c core #106
c 
c 
c Core size: 14	Core Weight: 5	Total Weight: 15135
c
c
c core #107
c 
c 
c Core size: 15	Core Weight: 4	Total Weight: 15139
c
c
c core #108
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 15140
c
c
c core #109
c 
c 
c Core size: 12	Core Weight: 5	Total Weight: 15145
c
c
c core #110
c 
c 
c Core size: 12	Core Weight: 968	Total Weight: 16113
c
c
c core #111
c 
c 
c Core size: 10	Core Weight: 15	Total Weight: 16128
c
c
c core #112
c 
c 
c Core size: 8	Core Weight: 17	Total Weight: 16145
c
c
c core #113
c 
c 
c Core size: 15	Core Weight: 5	Total Weight: 16150
c
c
c core #114
c 
c 
c Core size: 13	Core Weight: 963	Total Weight: 17113
c
c
c core #115
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 17114
c
c
c core #116
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 17115
c
c
c core #117
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 17116
c
c
c core #118
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 17117
c
c
c core #119
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 17118
c
c
c core #120
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 17119
c
c
c core #121
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 17120
c
c
c core #122
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 17121
c
c
c core #123
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 17122
c
c
c core #124
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 17123
c
c
c core #125
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 17124
c
c
c core #126
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 17125
c
c
c core #127
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 17126
c
c
c core #128
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 17127
c
c
c core #129
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 17128
c
c
c core #130
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 17129
c
c
c core #131
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 17130
c
c
c core #132
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 17131
c
c
c core #133
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 17132
c
c
c core #134
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 17133
c
c
c core #135
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 17134
c
c
c core #136
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 17135
c
c
c core #137
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 17136
c
c
c core #138
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 17137
c
c
c core #139
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 17138
c
c
c core #140
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 17139
c
c
c core #141
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 17140
c
c
c core #142
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 17141
c
c
c core #143
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 17142
c
c
c core #144
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 17143
c
c
c core #145
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 17144
c
c
c core #146
c 
c 
c Core size: 10	Core Weight: 5	Total Weight: 17149
c
c
c core #147
c 
c 
c Core size: 8	Core Weight: 992	Total Weight: 18141
c
c
c core #148
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 18142
c
c
c core #149
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 18143
c
c
c core #150
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 18144
c
c
c core #151
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 18145
c
c
c core #152
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 18146
c
c
c core #153
c 
c 
c Core size: 15	Core Weight: 2	Total Weight: 18148
c
c
c core #154
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 18149
c
c
c core #155
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 18150
c
c
c core #156
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 18151
c
c
c core #157
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 18152
c
c
c core #158
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 18153
c
c
c core #159
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 18154
c
c
c core #160
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 18155
c
c
c core #161
c 
c 
c Core size: 8	Core Weight: 1000	Total Weight: 19155
c
c
c core #162
c 
c 
c Core size: 8	Core Weight: 1000	Total Weight: 20155
c
c
c core #163
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 20157
c
c
c core #164
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 20158
c
c
c core #165
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 20159
c
c
c core #166
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 20160
c
c
c core #167
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 20161
c
c
c core #168
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 20162
c
c
c core #169
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 20163
c
c
c core #170
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 20164
c
c
c core #171
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 20165
c
c
c core #172
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 20166
c
c
c core #173
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 20167
c
c
c core #174
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 20168
c
c
c core #175
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 20169
c
c
c core #176
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 20170
c
c
c core #177
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 20171
c
c
c core #178
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 20172
c
c
c core #179
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 20173
c
c
c core #180
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 20174
c
c
c core #181
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 20175
c
c
c core #182
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 20176
c
c
c core #183
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 20177
c
c
c core #184
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 20178
c
c
c core #185
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 20179
c
c
c core #186
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 20180
c
c
c core #187
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 20181
c
c
c core #188
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 20182
c
c
c core #189
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 20183
c
c
c core #190
c 
c 
c Core size: 18	Core Weight: 5	Total Weight: 20188
c
c
c core #191
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 20189
c
c
c core #192
c 
c 
c Core size: 31	Core Weight: 1	Total Weight: 20190
c
c
c core #193
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 20191
c
c
c core #194
c 
c 
c Core size: 21	Core Weight: 5	Total Weight: 20196
c
c
c core #195
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 20197
c
c
c core #196
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 20198
c
c
c core #197
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 20199
c
c
c core #198
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 20200
c
c
c core #199
c 
c 
c Core size: 19	Core Weight: 2	Total Weight: 20202
c
c
c core #200
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 20203
c
c
c core #201
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 20204
c
c
c core #202
c 
c 
c Core size: 14	Core Weight: 4	Total Weight: 20208
c
c
c core #203
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 20209
c
c
c core #204
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 20210
c
c
c core #205
c 
c 
c Core size: 16	Core Weight: 3	Total Weight: 20213
c
c
c core #206
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 20214
c
c
c core #207
c 
c 
c Core size: 22	Core Weight: 5	Total Weight: 20219
c
c
c core #208
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 20220
c
c
c core #209
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 20221
c
c
c core #210
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 20222
c
c
c core #211
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 20223
c
c
c core #212
c 
c 
c Core size: 45	Core Weight: 1	Total Weight: 20224
c
c
c core #213
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 20225
c
c
c core #214
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 20226
c
c
c core #215
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 20227
c
c
c core #216
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 20228
c
c
c core #217
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 20229
c
c
c core #218
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 20230
c
c
c core #219
c 
c 
c Core size: 41	Core Weight: 3	Total Weight: 20233
c
c
c core #220
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 20234
c
c
c core #221
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 20235
c
c
c core #222
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 20236
c
c
c core #223
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 20237
c
c
c core #224
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 20238
c
c
c core #225
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 20239
c
c
c core #226
c 
c 
c Core size: 16	Core Weight: 955	Total Weight: 21194
c
c
c core #227
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 21195
c
c
c core #228
c 
c 
c Core size: 104	Core Weight: 1	Total Weight: 21196
c
c
c core #229
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 21197
c
c