Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1000_H150_7.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 4512
o 4503
o 4502
o 4501
o 4494
o 4492
o 4490
o 4488
o 4486
o 4484
o 4482
o 4481
o 4479
o 4478
o 4477
o 4475
o 4474
o 4473
o 4472
o 4470
o 4469
o 4468
o 4467
o 4464
o 4463
o 4462
o 4460
o 4459
o 4458
o 4457
o 4454
o 4452
o 4451
o 4448
o 4445
o 4441
o 4440
o 4436
o 4432
o 4431
o 4430
o 4429
o 4426
o 4424
o 4423
o 4422
o 4420
o 4419
o 4418
o 4417
o 4416
o 4415
o 4413
o 4412
o 4410
o 4409
o 4407
o 4405
o 4400
o 4399
o 4396
o 4392
o 4391
o 4389
o 4388
o 4386
o 4384
o 4382
o 4381
o 4380
o 4379
o 4378
o 4377
o 4376
o 4375
o 4373
o 4371
o 4370
o 4369
o 4368
o 4367
o 4366
o 4364
o 4363
o 4362
o 4359
o 4356
o 4354
o 4351
o 4348
o 4347
o 4346
o 4345
o 4343
o 4340
o 4339
o 4338
o 4337
o 4336
o 4335
o 4334
o 4332
o 4330
o 4329
o 4326
o 4325
o 4322
o 4321
o 4319
o 4318
o 4317
o 4315
o 4314
o 4313
o 4311
o 4310
o 4308
o 4306
o 4304
o 4303
o 4302
o 4299
o 4298
o 4297
o 4295
o 4293
o 4290
o 4288
o 4284
o 4281
o 4276
o 4275
o 4273
o 4270
o 4269
o 4268
o 4267
o 4265
o 4262
o 4261
o 4260
o 4258
o 4257
o 4254
o 4253
o 4248
o 4247
o 4246
o 4244
o 4242
o 4241
o 4239
o 4238
o 4236
o 4232
o 4229
o 4225
o 4223
o 4221
o 4218
o 4216
o 4215
o 4214
o 4213
o 4212
o 4211
o 4209
o 4208
o 4207
o 4206
o 4204
o 4203
o 4200
o 4199
o 4198
o 4197
o 4196
o 4195
o 4194
o 4192
o 4190
o 4188
o 4187
o 4186
o 4183
o 4182
o 4180
o 4178
o 4176
o 4174
o 4171
o 4168
o 4167
o 4164
o 4163
o 4162
o 4161
o 4159
o 4158
o 4157
o 4154
o 4152
o 4150
o 4149
o 4148
o 4146
o 4145
o 4144
o 4140
o 4138
o 4136
o 4133
o 4132
o 4129
o 4128
o 4127
o 4126
o 4125
o 4124
o 4123
o 4122
o 4121
o 4120
o 4119
o 4118
o 4117
o 4116
o 4115
o 4114
o 4113
o 4112
o 4111
o 4110
o 4109
o 4108
o 4107
o 4106
o 4105
o 4104
o 4103
o 4102
o 4101
o 4100
o 4099
o 4098
o 4097
o 4096
o 4095
o 4094
o 4093
o 4092
o 4091
o 4090
o 4089
o 4088
o 4087
o 4086
o 4085
o 4084
o 4083
o 4082
o 4081
o 4080
o 4079
o 4078
o 4077
o 4076
o 4075
o 4074
o 4073
o 4072
o 4071
o 4070
o 4069
o 4068
o 4067
o 4066
o 4065
o 4064
o 4063
o 4062
o 4061
o 4060
o 4059
o 4058
o 4057
o 4056
o 4055
o 4054
o 4053
o 4052
o 4051
o 4050
o 4049
o 4048
o 4047
o 4046
o 4045
o 4044
o 4043
o 4042
o 4041
o 4040
o 4039
o 4038
o 4037
o 4036
o 4035
o 4034
o 4033
o 4032
o 4031
o 4030
o 4029
o 4028
o 4027
o 4026
o 4025
o 4024
o 4023
o 4022
o 4021
o 4020
o 4019
o 4018
o 4017
o 4016
o 4015
o 4014
o 4013
o 4012
o 4011
o 4010
o 4009
o 4008
o 4007
o 4006
o 4005
o 4004
o 4003
o 4002
o 4001
o 4000
o 3999
o 3998
o 3997
o 3996
o 3995
o 3994
o 3993
o 3992
o 3991
o 3990
o 3989
o 3988
o 3987
o 3986
o 3985
o 3984
o 3983
o 3982
o 3981
o 3980
o 3979
o 3978
o 3977
o 3976
o 3975
o 3974
o 3973
o 3972
o 3971
o 3970
o 3969
o 3968
o 3967
o 3966
o 3965
o 3964
o 3963
o 3962
o 3961
o 3960
o 3959
o 3958
o 3957
o 3956
o 3955
o 3954
o 3953
o 3952
o 3951
o 3950
o 3949
o 3948
o 3947
o 3946
o 3945
o 3944
o 3943
o 3942
o 3941
o 3940
o 3939
o 3938
o 3937
o 3936
o 3935
o 3934
o 3933
o 3932
o 3931
o 3930
o 3929
o 3928
o 3927
o 3926
o 3925
o 3924
o 3923
o 3922
o 3921
o 3920
o 3919
o 3918
o 3917
o 3916
o 3915
o 3914
o 3913
o 3912
o 3911
o 3910
o 3909
o 3908
o 3907
o 3906
o 3905
o 3904
o 3903
o 3902
o 3901
o 3900
o 3899
o 3898
o 3897
o 3896
o 3895
o 3894
o 3893
o 3892
o 3891
o 3890
o 3889
o 3888
o 3887
o 3886
o 3885
o 3884
o 3883
o 3882
o 3881
o 3880
o 3879
o 3878
o 3877
o 3876
o 3875
o 3874
o 3873
o 3872
o 3871
o 3870
o 3869
o 3868
o 3867
o 3866
o 3865
o 3864
o 3863
o 3862
o 3861
o 3860
o 3859
o 3858
o 3857
o 3856
o 3855
o 3854
o 3853
o 3852
o 3851
o 3850
o 3849
o 3848
o 3847
o 3846
o 3845
o 3844
o 3843
o 3842
o 3841
o 3840
o 3839
o 3838
o 3837
o 3836
o 3835
o 3834
o 3833
o 3832
o 3831
o 3830
o 3829
o 3828
o 3827
o 3826
o 3825
o 3824
o 3823
o 3822
o 3821
o 3820
o 3819
o 3818
o 3817
o 3816
o 3815
o 3814
o 3813
o 3812
o 3811
o 3810
o 3809
o 3808
o 3807
o 3806
o 3805
o 3804
o 3803
o 3802
o 3801
o 3800
o 3799
o 3798
o 3797
o 3796
o 3795
o 3794
o 3793
o 3792
o 3791
o 3790
o 3789
o 3788
o 3787
o 3786
o 3785
o 3784
o 3783
o 3782
o 3781
o 3780
o 3779
o 3778
o 3777
o 3776
o 3775
o 3774
o 3773
o 3772
o 3771
o 3770
o 3769
o 3768
o 3767
o 3766
o 3765
o 3764
o 3763
o 3762
o 3761
o 3760
o 3759
o 3758
o 3757
o 3756
o 3755
o 3754
o 3753
o 3752
o 3751
o 3750
o 3749
o 3748
o 3747
o 3746
o 3745
o 3744
o 3743
o 3742
o 3741
o 3740
o 3739
o 3738
o 3737
o 3736
o 3735
o 3734
o 3733
o 3732
o 3731
o 3730
o 3729
o 3728
o 3727
o 3726
o 3725
o 3724
o 3723
o 3722
o 3721
o 3720
o 3719
o 3718
o 3717
o 3716
o 3715
o 3714
o 3713
o 3712
o 3711
o 3710
o 3709
o 3708
o 3707
o 3706
o 3705
o 3704
o 3703
o 3702
o 3701
o 3700
o 3699
o 3698
o 3697
o 3696
o 3695
o 3694
o 3693
o 3692
o 3691
o 3690
o 3689
o 3688
o 3687
o 3686
o 3685
o 3684
o 3683
o 3682
o 3681
o 3680
o 3679
o 3678
o 3677
o 3676
o 3675
o 3674
o 3673
o 3672
o 3671
o 3670
o 3669
o 3668
o 3667
o 3666
o 3665
o 3664
o 3663
o 3662
o 3661
o 3660
o 3659
o 3658
o 3657
o 3656
o 3655
o 3654
o 3653
o 3652
o 3651
o 3650
o 3649
o 3648
o 3647
o 3646
o 3645
o 3644
o 3643
o 3642
o 3641
o 3640
o 3639
o 3638
o 3637
o 3636
o 3635
o 3634
o 3633
o 3632
o 3631
o 3630
c core #1
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 1
c
c
c core #2
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 2
c
c
c core #3
c 
c 
c Core size: 13	Core Weight: 4	Total Weight: 6
c
c
c core #4
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 7
c
c
c core #5
c 
c 
c Core size: 13	Core Weight: 4	Total Weight: 11
c
c
c core #6
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 12
c
c
c core #7
c 
c 
c Core size: 11	Core Weight: 3	Total Weight: 15
c
c
c core #8
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 17
c
c
c core #9
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 18
c
c
c core #10
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 19
c
c
c core #11
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 20
c
c
c core #12
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 22
c
c
c core #13
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 25
c
c
c core #14
c 
c 
c Core size: 11	Core Weight: 3	Total Weight: 28
c
c
c core #15
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 31
c
c
c core #16
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 32
c
c
c core #17
c 
c 
c Core size: 14	Core Weight: 3	Total Weight: 35
c
c
c core #18
c 
c 
c Core size: 11	Core Weight: 5	Total Weight: 40
c
c
c core #19
c 
c 
c Core size: 13	Core Weight: 2	Total Weight: 42
c
c
c core #20
c 
c 
c Core size: 8	Core Weight: 6	Total Weight: 48
c
c
c core #21
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 49
c
c
c core #22
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 50
c
c
c core #23
c 
c 
c Core size: 10	Core Weight: 4	Total Weight: 54
c
c
c core #24
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 55
c
c
c core #25
c 
c 
c Core size: 14	Core Weight: 4	Total Weight: 59
c
c
c core #26
c 
c 
c Core size: 9	Core Weight: 4	Total Weight: 63
c
c
c core #27
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 65
c
c
c core #28
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 66
c
c
c core #29
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 71
c
c
c core #30
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 72
c
c
c core #31
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 73
c
c
c core #32
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 74
c
c
c core #33
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 75
c
c
c core #34
c 
c 
c Core size: 10	Core Weight: 3	Total Weight: 78
c
c
c core #35
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 80
c
c
c core #36
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 81
c
c
c core #37
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 83
c
c
c core #38
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 85
c
c
c core #39
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 86
c
c
c core #40
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 87
c
c
c core #41
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 88
c
c
c core #42
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 90
c
c
c core #43
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 91
c
c
c core #44
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 93
c
c
c core #45
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 94
c
c
c core #46
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 95
c
c
c core #47
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 97
c
c
c core #48
c 
c 
c Core size: 10	Core Weight: 5	Total Weight: 102
c
c
c core #49
c 
c 
c Core size: 9	Core Weight: 5	Total Weight: 107
c
c
c core #50
c 
c 
c Core size: 7	Core Weight: 3	Total Weight: 110
c
c
c core #51
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 111
c
c
c core #52
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 113
c
c
c core #53
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 114
c
c
c core #54
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 115
c
c
c core #55
c 
c 
c Core size: 9	Core Weight: 5	Total Weight: 120
c
c
c core #56
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 121
c
c
c core #57
c 
c 
c Core size: 8	Core Weight: 4	Total Weight: 125
c
c
c core #58
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 128
c
c
c core #59
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 129
c
c
c core #60
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 130
c
c
c core #61
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 131
c
c
c core #62
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 132
c
c
c core #63
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 133
c
c
c core #64
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 134
c
c
c core #65
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 136
c
c
c core #66
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 139
c
c
c core #67
c 
c 
c Core size: 10	Core Weight: 4	Total Weight: 143
c
c
c core #68
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 144
c
c
c core #69
c 
c 
c Core size: 8	Core Weight: 3	Total Weight: 147
c
c
c core #70
c 
c 
c Core size: 7	Core Weight: 4	Total Weight: 151
c
c
c core #71
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 152
c
c
c core #72
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 154
c
c
c core #73
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 156
c
c
c core #74
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 157
c
c
c core #75
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 158
c
c
c core #76
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 159
c
c
c core #77
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 160
c
c
c core #78
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 161
c
c
c core #79
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 162
c
c
c core #80
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 163
c
c
c core #81
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 164
c
c
c core #82
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 165
c
c
c core #83
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 166
c
c
c core #84
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 167
c
c
c core #85
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 168
c
c
c core #86
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 169
c
c
c core #87
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 170
c
c
c core #88
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 171
c
c
c core #89
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 172
c
c
c core #90
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 173
c
c
c core #91
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 174
c
c
c core #92
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 176
c
c
c core #93
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 177
c
c
c core #94
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 178
c
c
c core #95
c 
c 
c Core size: 16	Core Weight: 2	Total Weight: 180
c
c
c core #96
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 181
c
c
c core #97
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 182
c
c
c core #98
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 183
c
c
c core #99
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 184
c
c
c core #100
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 185
c
c
c core #101
c 
c 
c Core size: 9	Core Weight: 3	Total Weight: 188
c
c
c core #102
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 189
c
c
c core #103
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 191
c
c
c core #104
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 193
c
c
c core #105
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 195
c
c
c core #106
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 196
c
c
c core #107
c 
c 
c Core size: 14	Core Weight: 2	Total Weight: 198
c
c
c core #108
c 
c 
c Core size: 11	Core Weight: 5	Total Weight: 203
c
c
c core #109
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 204
c
c
c core #110
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 206
c
c
c core #111
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 207
c
c
c core #112
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 208
c
c
c core #113
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 209
c
c
c core #114
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 210
c
c
c core #115
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 211
c
c
c core #116
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 212
c
c
c core #117
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 213
c
c
c core #118
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 214
c
c
c core #119
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 215
c
c
c core #120
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 216
c
c
c core #121
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 217
c
c
c core #122
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 218
c
c
c core #123
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 219
c
c
c core #124
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 220
c
c
c core #125
c 
c 
c Core size: 13	Core Weight: 2	Total Weight: 222
c
c
c core #126
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 223
c
c
c core #127
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 224
c
c
c core #128
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 226
c
c
c core #129
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 227
c
c
c core #130
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 229
c
c
c core #131
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 230
c
c
c core #132
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 231
c
c
c core #133
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 232
c
c
c core #134
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 233
c
c
c core #135
c 
c 
c Core size: 9	Core Weight: 2	Total Weight: 235
c
c
c core #136
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 236
c
c
c core #137
c 
c 
c Core size: 11	Core Weight: 3	Total Weight: 239
c
c
c core #138
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 240
c
c
c core #139
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 241
c
c
c core #140
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 242
c
c
c core #141
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 244
c
c
c core #142
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 245
c
c
c core #143
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 246
c
c
c core #144
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 247
c
c
c core #145
c 
c 
c Core size: 7	Core Weight: 2	Total Weight: 249
c
c
c core #146
c 
c 
c Core size: 8	Core Weight: 2	Total Weight: 251
c
c
c core #147
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 252
c
c
c core #148
c 
c 
c Core size: 10	Core Weight: 2	Total Weight: 254
c
c
c core #149
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 255
c
c
c core #150
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 256
c
c
c core #151
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 258
c
c
c core #152
c 
c 
c Core size: 7	Core Weight: 5	Total Weight: 263
c
c
c core #153
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 264
c
c
c core #154
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 265
c
c
c core #155
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 266
c
c
c core #156
c 
c 
c Core size: 12	Core Weight: 2	Total Weight: 268
c
c
c core #157
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 270
c
c
c core #158
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 271
c
c
c core #159
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 272
c
c