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_random-net_random-net-60-2_network-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2011139
o 2010882
o 2009975
o 2009816
o 2009577
o 2006911
o 2006640
o 2003937
o 2003801
o 2003522
o 2003459
o 2003087
o 2002648
o 2002436
o 2002263
o 2002121
o 2002066
o 2001602
o 2001178
o 2000903
o 2000723
o 1999575
o 1999105
o 1998987
o 1994108
o 1993764
o 1993487
o 1993475
o 1993270
o 1993158
o 1993139
o 1993077
o 1993030
o 1992917
o 1992337
o 1992198
o 1992010
o 1991760
o 1991565
o 1991465
o 1991411
o 1991401
o 1991397
o 1991260
o 1991226
o 1991198
o 1991098
o 1990721
o 1990714
o 1990541
o 1990084
o 1989947
o 1989894
o 1989840
o 1989761
o 1989757
o 1989630
o 1989514
o 1989405
o 1989358
o 1988829
o 1988800
o 1988634
o 1988522
o 1988486
o 1988345
o 1988129
o 1987992
o 1987940
o 1987613
o 1987524
o 1987389
o 1987322
o 1987252
o 1987223
o 1987102
o 1987008
o 1986746
o 1986445
o 1986272
o 1986038
o 1985892
o 1985605
o 1985586
o 1985400
o 1985288
o 1985263
o 1985252
o 1985167
o 1985161
o 1985154
o 1985030
o 1984953
o 1984844
o 1984719
o 1984611
o 1984593
o 1984317
o 1984283
o 1984009
o 1983985
o 1983872
o 1983795
o 1983517
o 1983380
o 1983329
o 1982786
o 1982781
o 1982730
o 1982632
o 1982517
o 1982511
o 1982444
o 1982366
o 1982307
o 1982121
o 1982106
o 1982026
o 1981971
o 1981945
o 1981911
o 1981852
o 1981785
o 1981760
o 1981651
o 1981631
o 1981549
o 1981516
o 1981421
o 1981347
o 1981214
o 1981136
o 1981119
o 1981077
o 1981006
o 1980894
o 1980814
o 1980768
o 1980760
o 1980749
o 1980608
o 1980359
o 1980200
o 1980069
o 1980055
o 1979960
o 1979817
o 1979797
o 1979766
o 1979755
o 1979714
o 1979709
o 1979660
o 1979493
o 1979482
o 1979477
o 1979417
o 1979281
o 1979181
o 1979068
o 1979014
o 1978935
o 1978773
o 1978636
o 1978574
o 1978570
o 1978475
o 1978439
o 1978339
o 1978148
o 1978117
o 1978096
o 1978038
o 1977795
o 1977790
o 1977725
o 1977588
o 1977575
o 1977303
o 1977166
o 1977088
o 1977002
o 1976877
o 1976767
o 1976724
o 1976664
o 1976556
o 1976544
o 1976412
o 1976334
o 1976260
o 1976123
o 1976002
o 1975901
o 1975835
o 1975616
o 1975549
o 1975507
o 1975466
o 1975296
o 1975077
o 1975041
o 1974895
o 1974664
o 1974558
o 1974525
o 1974410
o 1974274
o 1974192
o 1974057
o 1973969
o 1973715
o 1973674
o 1973657
o 1973512
o 1973344
o 1973330
o 1973321
o 1973091
o 1973043
o 1972913
o 1972683
o 1972610
o 1972566
o 1972440
o 1972163
o 1971987
o 1971747
o 1971663
o 1971639
o 1971554
o 1971407
o 1971284
o 1971199
o 1971180
o 1971079
o 1970967
o 1970931
o 1970928
o 1970773
o 1970765
o 1970761
o 1970652
o 1970589
o 1970560
o 1970485
o 1970351
o 1970326
o 1970253
o 1970150
o 1970077
o 1970000
o 1969876
o 1969862
o 1969685
o 1969664
o 1969628
o 1969571
o 1969412
o 1969394
o 1969275
o 1969148
o 1969062
o 1968972
o 1968788
o 1968602
o 1968597
o 1968553
o 1968536
o 1968470
o 1968422
o 1968317
o 1968279
o 1968171
o 1968046
o 1967939
o 1967912
o 1967775
o 1967652
o 1967635
o 1967538
o 1967489
o 1967461
o 1967299
o 1967243
o 1967139
o 1966844
o 1966680
o 1966603
o 1966243
o 1966183
o 1966084
o 1966046
o 1966025
o 1965603
o 1965596
o 1965308
o 1965191
o 1965071
o 1965062
o 1964989
o 1964982
o 1964961
o 1964889
o 1964704
o 1964659
o 1964535
o 1964457
o 1964324
o 1964138
o 1964001
o 1963869
o 1963858
o 1963842
o 1963698
o 1963609
o 1963576
o 1963517
o 1963389
o 1963215
o 1963111
o 1963080
o 1962988
o 1962958
o 1962851
o 1962830
o 1962806
o 1962752
o 1962616
o 1962483
o 1962417
o 1962293
o 1962193
o 1962171
o 1962055
o 1961993
o 1961929
o 1961916
o 1961815
o 1961690
o 1961539
o 1961505
o 1961320
o 1961253
o 1961183
o 1961063
o 1960961
o 1960921
o 1960880
o 1960853
o 1960821
o 1960713
o 1960658
o 1960518
o 1960381
o 1960360
o 1960262
o 1960211
o 1960185
o 1960057
o 1959909
o 1959772
o 1959623
o 1959580
o 1959503
o 1959490
o 1959382
o 1959263
o 1959218
o 1959196
o 1959130
o 1959016
o 1958940
o 1958849
o 1958774
o 1958666
o 1958480
o 1958438
o 1958418
o 1958265
o 1958230
o 1958124
o 1958094
o 1958083
o 1957946
o 1957833
o 1957723
o 1957669
o 1957569
o 1957541
o 1957355
o 1957341
o 1957272
o 1957230
o 1957053
o 1957047
o 1956998
o 1956942
o 1956816
o 1956782
o 1956686
o 1956660
o 1956475
o 1956289
o 1956224
o 1956160
o 1956147
o 1956066
o 1955975
o 1955912
o 1955834
o 1955654
o 1955612
o 1955492
o 1955343
o 1955307
o 1955208
o 1955022
o 1954994
o 1954975
o 1954874
o 1954808
o 1954740
o 1954674
o 1954591
o 1954491
o 1954466
o 1954432
o 1954344
o 1954321
o 1954251
o 1954231
o 1953987
o 1953954
o 1953879
o 1953678
o 1953637
o 1953414
o 1953407
o 1953378
o 1953300
o 1953284
o 1953241
o 1953091
o 1953086
o 1953024
o 1953011
o 1952965
o 1952780
o 1952750
o 1952738
o 1952701
o 1952675
o 1952637
o 1952539
o 1952466
o 1952420
o 1952395
o 1952364
o 1952336
o 1952315
o 1952257
o 1952090
o 1951990
o 1951977
o 1951930
o 1951915
o 1951885
o 1951856
o 1951719
o 1951717
o 1951702
o 1951674
o 1951635
o 1951393
o 1951377
o 1951373
o 1951168
o 1950948
o 1950859
o 1950850
o 1950828
o 1950705
o 1950656
o 1950629
o 1950412
o 1950250
o 1950238
o 1949935
o 1949861
o 1949687
o 1949686
o 1949613
o 1949387
o 1949107
o 1948976
o 1948850
o 1948642
o 1948540
o 1948416
o 1948353
o 1948303
o 1948175
o 1948153
o 1948005
o 1947980
o 1947866
o 1947791
o 1947738
o 1947634
o 1947525
o 1947390
o 1947275
o 1947095
o 1947084
o 1947066
o 1946930
o 1946780
o 1946691
o 1946460
o 1946397
o 1946368
o 1946254
o 1946214
o 1946178
o 1945973
o 1945680
o 1945602
o 1945568
o 1945436
o 1945318
o 1945229
o 1944978
o 1944904
o 1944851
o 1944764
o 1944749
o 1944550
o 1944530
o 1944422
o 1944328
o 1944326
o 1944227
o 1944053
o 1943833
o 1943601
o 1943551
o 1943399
o 1943359
o 1943345
o 1943252
o 1943172
o 1943108
o 1943089
o 1942766
o 1942676
o 1942445
o 1942440
o 1942275
o 1942092
o 1941965
o 1941924
o 1941889
o 1941823
o 1941594
o 1941505
o 1941400
o 1941289
o 1941244
o 1941058
o 1940919
o 1940816
o 1940752
o 1940516
o 1940484
o 1940249
o 1940196
o 1940055
o 1939904
o 1939901
o 1939861
o 1939773
o 1939587
o 1939544
o 1939530
o 1939521
o 1939365
o 1939337
o 1939252
o 1939150
o 1939069
o 1938941
o 1938773
o 1938609
o 1938553
o 1938529
o 1938422
o 1938319
o 1938288
o 1938201
o 1938137
o 1938099
o 1938064
o 1937927
o 1937819
o 1937719
o 1937644
o 1937506
o 1937409
o 1937337
o 1937130
o 1937082
o 1937078
o 1936998
o 1936813
o 1936805
o 1936790
o 1936761
o 1936718
o 1936636
o 1936506
o 1936503
o 1936336
o 1936320
o 1936145
o 1936078
o 1936015
o 1935986
o 1935934
o 1935837
o 1935676
o 1935577
o 1935491
o 1935408
o 1935370
o 1935367
o 1935303
o 1935253
o 1935143
o 1935130
o 1935069
o 1934903
o 1934873
o 1934799
o 1934771
o 1934637
o 1934610
o 1934607
o 1934587
o 1934578
o 1934577
o 1934520
o 1934395
o 1934381
o 1934353
o 1934334
o 1934331
o 1934276
o 1934270
o 1934209
o 1934123
o 1934106
o 1934100
o 1934010
o 1933872
o 1933816
o 1933765
o 1933690
o 1933645
o 1933542
o 1933416
o 1933375
o 1933363
o 1933253
o 1933088
o 1933014
o 1933013
o 1933010
o 1932982
o 1932921
o 1932892
o 1932853
o 1932744
o 1932740
o 1932598
o 1932569
o 1932515
o 1932514
o 1932507
o 1932453
o 1932427
o 1932308
o 1932279
o 1932211
o 1932149
o 1932100
o 1931963
o 1931909
c core #1
c 
c 
c Core size: 3	Core Weight: 254	Total Weight: 254
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 335	Total Weight: 589
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 815	Total Weight: 1404
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 276	Total Weight: 1680
c
c
c core #5
c 
c 
c Core size: 5	Core Weight: 711	Total Weight: 2391
c
c
c core #6
c 
c 
c Core size: 4	Core Weight: 867	Total Weight: 3258
c
c
c core #7
c 
c 
c Core size: 3	Core Weight: 366	Total Weight: 3624
c
c
c core #8
c 
c 
c Core size: 7	Core Weight: 428	Total Weight: 4052
c
c
c core #9
c 
c 
c Core size: 14	Core Weight: 450	Total Weight: 4502
c
c
c core #10
c 
c 
c Core size: 14	Core Weight: 929	Total Weight: 5431
c
c
c core #11
c 
c 
c Core size: 14	Core Weight: 577	Total Weight: 6008
c
c
c core #12
c 
c 
c Core size: 10	Core Weight: 17	Total Weight: 6025
c
c
c core #13
c 
c 
c Core size: 11	Core Weight: 482	Total Weight: 6507
c
c
c core #14
c 
c 
c Core size: 16	Core Weight: 29	Total Weight: 6536
c
c
c core #15
c 
c 
c Core size: 18	Core Weight: 962	Total Weight: 7498
c
c
c core #16
c 
c 
c Core size: 21	Core Weight: 100	Total Weight: 7598
c
c
c core #17
c 
c 
c Core size: 21	Core Weight: 56	Total Weight: 7654
c
c
c core #18
c 
c 
c Core size: 22	Core Weight: 58	Total Weight: 7712
c
c
c core #19
c 
c 
c Core size: 14	Core Weight: 1053	Total Weight: 8765
c
c
c core #20
c 
c 
c Core size: 17	Core Weight: 224	Total Weight: 8989
c
c
c core #21
c 
c 
c Core size: 20	Core Weight: 146	Total Weight: 9135
c
c
c core #22
c 
c 
c Core size: 11	Core Weight: 179	Total Weight: 9314
c
c
c core #23
c 
c 
c Core size: 12	Core Weight: 193	Total Weight: 9507
c
c
c core #24
c 
c 
c Core size: 15	Core Weight: 407	Total Weight: 9914
c
c
c core #25
c 
c 
c Core size: 15	Core Weight: 107	Total Weight: 10021
c
c
c core #26
c 
c 
c Core size: 22	Core Weight: 10	Total Weight: 10031
c
c
c core #27
c 
c 
c Core size: 12	Core Weight: 839	Total Weight: 10870
c
c
c core #28
c 
c 
c Core size: 14	Core Weight: 20	Total Weight: 10890
c
c
c core #29
c 
c 
c Core size: 16	Core Weight: 444	Total Weight: 11334
c
c
c core #30
c 
c 
c Core size: 13	Core Weight: 76	Total Weight: 11410
c
c
c core #31
c 
c 
c Core size: 14	Core Weight: 1040	Total Weight: 12450
c
c
c core #32
c 
c 
c Core size: 15	Core Weight: 436	Total Weight: 12886
c
c
c core #33
c 
c 
c Core size: 15	Core Weight: 174	Total Weight: 13060
c
c
c core #34
c 
c 
c Core size: 18	Core Weight: 516	Total Weight: 13576
c
c
c core #35
c 
c 
c Core size: 13	Core Weight: 232	Total Weight: 13808
c
c
c core #36
c 
c 
c Core size: 25	Core Weight: 76	Total Weight: 13884
c
c
c core #37
c 
c 
c Core size: 21	Core Weight: 729	Total Weight: 14613
c
c
c core #38
c 
c 
c Core size: 19	Core Weight: 202	Total Weight: 14815
c
c
c core #39
c 
c 
c Core size: 25	Core Weight: 64	Total Weight: 14879
c
c
c core #40
c 
c 
c Core size: 15	Core Weight: 429	Total Weight: 15308
c
c
c core #41
c 
c 
c Core size: 23	Core Weight: 121	Total Weight: 15429
c
c
c core #42
c 
c 
c Core size: 14	Core Weight: 908	Total Weight: 16337
c
c
c core #43
c 
c 
c Core size: 28	Core Weight: 42	Total Weight: 16379
c
c
c core #44
c 
c 
c Core size: 29	Core Weight: 220	Total Weight: 16599
c
c
c core #45
c 
c 
c Core size: 21	Core Weight: 471	Total Weight: 17070
c
c
c core #46
c 
c 
c Core size: 21	Core Weight: 303	Total Weight: 17373
c
c
c core #47
c 
c 
c Core size: 19	Core Weight: 306	Total Weight: 17679
c
c
c core #48
c 
c 
c Core size: 28	Core Weight: 180	Total Weight: 17859
c
c
c core #49
c 
c 
c Core size: 24	Core Weight: 91	Total Weight: 17950
c
c
c core #50
c 
c 
c Core size: 8	Core Weight: 109	Total Weight: 18059
c
c
c core #51
c 
c 
c Core size: 23	Core Weight: 185	Total Weight: 18244
c
c
c core #52
c 
c 
c Core size: 24	Core Weight: 154	Total Weight: 18398
c
c
c core #53
c 
c 
c Core size: 30	Core Weight: 253	Total Weight: 18651
c
c
c core #54
c 
c 
c Core size: 32	Core Weight: 85	Total Weight: 18736
c
c
c core #55
c 
c 
c Core size: 28	Core Weight: 154	Total Weight: 18890
c
c
c core #56
c 
c 
c Core size: 24	Core Weight: 195	Total Weight: 19085
c
c
c core #57
c 
c 
c Core size: 24	Core Weight: 250	Total Weight: 19335
c
c
c core #58
c 
c 
c Core size: 29	Core Weight: 18	Total Weight: 19353
c
c
c core #59
c 
c 
c Core size: 31	Core Weight: 196	Total Weight: 19549
c
c
c core #60
c 
c 
c Core size: 32	Core Weight: 86	Total Weight: 19635
c
c
c core #61
c 
c 
c Core size: 33	Core Weight: 119	Total Weight: 19754
c
c
c core #62
c 
c 
c Core size: 17	Core Weight: 129	Total Weight: 19883
c
c
c core #63
c 
c 
c Core size: 12	Core Weight: 94	Total Weight: 19977
c
c
c core #64
c 
c 
c Core size: 22	Core Weight: 102	Total Weight: 20079
c
c
c core #65
c 
c 
c Core size: 15	Core Weight: 25	Total Weight: 20104
c
c
c core #66
c 
c 
c Core size: 16	Core Weight: 172	Total Weight: 20276
c
c
c core #67
c 
c 
c Core size: 16	Core Weight: 551	Total Weight: 20827
c
c
c core #68
c 
c 
c Core size: 21	Core Weight: 87	Total Weight: 20914
c
c
c core #69
c 
c 
c Core size: 24	Core Weight: 18	Total Weight: 20932
c
c
c core #70
c 
c 
c Core size: 22	Core Weight: 90	Total Weight: 21022
c
c
c core #71
c 
c 
c Core size: 20	Core Weight: 117	Total Weight: 21139
c
c
c core #72
c 
c 
c Core size: 22	Core Weight: 68	Total Weight: 21207
c
c
c core #73
c 
c 
c Core size: 24	Core Weight: 355	Total Weight: 21562
c
c
c core #74
c 
c 
c Core size: 23	Core Weight: 24	Total Weight: 21586
c
c
c core #75
c 
c 
c Core size: 25	Core Weight: 260	Total Weight: 21846
c
c
c core #76
c 
c 
c Core size: 25	Core Weight: 85	Total Weight: 21931
c
c
c core #77
c 
c 
c Core size: 14	Core Weight: 964	Total Weight: 22895
c
c
c core #78
c 
c 
c Core size: 15	Core Weight: 84	Total Weight: 22979
c
c
c core #79
c 
c 
c Core size: 30	Core Weight: 87	Total Weight: 23066
c
c
c core #80
c 
c 
c Core size: 29	Core Weight: 14	Total Weight: 23080
c
c
c core #81
c 
c 
c Core size: 23	Core Weight: 64	Total Weight: 23144
c
c
c core #82
c 
c 
c Core size: 34	Core Weight: 85	Total Weight: 23229
c
c
c core #83
c 
c 
c Core size: 22	Core Weight: 28	Total Weight: 23257
c
c
c core #84
c 
c 
c Core size: 28	Core Weight: 84	Total Weight: 23341
c
c
c core #85
c 
c 
c Core size: 20	Core Weight: 721	Total Weight: 24062
c
c
c core #86
c 
c 
c Core size: 22	Core Weight: 643	Total Weight: 24705
c
c
c core #87
c 
c 
c Core size: 21	Core Weight: 334	Total Weight: 25039
c
c
c core #88
c 
c 
c Core size: 29	Core Weight: 100	Total Weight: 25139
c
c
c core #89
c 
c 
c Core size: 34	Core Weight: 34	Total Weight: 25173
c
c
c core #90
c 
c 
c Core size: 29	Core Weight: 50	Total Weight: 25223
c
c
c core #91
c 
c 
c Core size: 30	Core Weight: 153	Total Weight: 25376
c
c
c core #92
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 25377
c
c
c core #93
c 
c 
c Core size: 21	Core Weight: 62	Total Weight: 25439
c
c
c core #94
c 
c 
c Core size: 30	Core Weight: 51	Total Weight: 25490
c
c
c core #95
c 
c 
c Core size: 64	Core Weight: 34	Total Weight: 25524
c
c
c core #96
c 
c 
c Core size: 71	Core Weight: 50	Total Weight: 25574
c
c
c core #97
c 
c 
c Core size: 17	Core Weight: 102	Total Weight: 25676
c
c
c core #98
c 
c 
c Core size: 16	Core Weight: 397	Total Weight: 26073
c
c
c core #99
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 26074
c
c
c core #100
c 
c 
c Core size: 30	Core Weight: 67	Total Weight: 26141
c
c
c core #101
c 
c 
c Core size: 29	Core Weight: 29	Total Weight: 26170
c
c
c core #102
c 
c 
c Core size: 23	Core Weight: 209	Total Weight: 26379
c
c
c core #103
c 
c 
c Core size: 28	Core Weight: 182	Total Weight: 26561
c
c
c core #104
c 
c 
c Core size: 66	Core Weight: 2	Total Weight: 26563
c
c
c core #105
c 
c 
c Core size: 29	Core Weight: 75	Total Weight: 26638
c
c
c core #106
c 
c 
c Core size: 41	Core Weight: 22	Total Weight: 26660
c
c
c core #107
c 
c 
c Core size: 31	Core Weight: 16	Total Weight: 26676
c
c
c core #108
c 
c 
c Core size: 13	Core Weight: 570	Total Weight: 27246
c
c
c core #109
c 
c 
c Core size: 17	Core Weight: 881	Total Weight: 28127
c
c
c core #110
c 
c 
c Core size: 41	Core Weight: 45	Total Weight: 28172
c
c
c core #111
c 
c 
c Core size: 29	Core Weight: 30	Total Weight: 28202
c
c
c core #112
c 
c 
c Core size: 25	Core Weight: 35	Total Weight: 28237
c
c
c core #113
c 
c 
c Core size: 29	Core Weight: 53	Total Weight: 28290
c
c
c core #114
c 
c 
c Core size: 48	Core Weight: 2	Total Weight: 28292
c
c
c core #115
c 
c 
c Core size: 41	Core Weight: 14	Total Weight: 28306
c
c
c core #116
c 
c 
c Core size: 49	Core Weight: 7	Total Weight: 28313
c
c
c core #117
c 
c 
c Core size: 43	Core Weight: 127	Total Weight: 28440
c
c
c core #118
c 
c 
c Core size: 14	Core Weight: 11	Total Weight: 28451
c
c
c core #119
c 
c 
c Core size: 51	Core Weight: 50	Total Weight: 28501
c
c
c core #120
c 
c 
c Core size: 19	Core Weight: 203	Total Weight: 28704
c
c
c core #121
c 
c 
c Core size: 26	Core Weight: 391	Total Weight: 29095
c
c
c core #122
c 
c 
c Core size: 19	Core Weight: 27	Total Weight: 29122
c
c
c core #123
c 
c 
c Core size: 26	Core Weight: 121	Total Weight: 29243
c
c
c core #124
c 
c 
c Core size: 32	Core Weight: 62	Total Weight: 29305
c
c
c core #125
c 
c 
c Core size: 30	Core Weight: 115	Total Weight: 29420
c
c
c core #126
c 
c 
c Core size: 47	Core Weight: 2	Total Weight: 29422
c
c
c core #127
c 
c 
c Core size: 37	Core Weight: 69	Total Weight: 29491
c
c
c core #128
c 
c 
c Core size: 24	Core Weight: 185	Total Weight: 29676
c
c
c core #129
c 
c 
c Core size: 43	Core Weight: 97	Total Weight: 29773
c
c
c core #130
c 
c 
c Core size: 30	Core Weight: 449	Total Weight: 30222
c
c
c core #131
c 
c 
c Core size: 58	Core Weight: 57	Total Weight: 30279
c
c
c core #132
c 
c 
c Core size: 44	Core Weight: 72	Total Weight: 30351
c
c
c core #133
c 
c 
c Core size: 21	Core Weight: 105	Total Weight: 30456
c
c
c core #134
c 
c 
c Core size: 23	Core Weight: 85	Total Weight: 30541
c
c
c core #135
c 
c 
c Core size: 23	Core Weight: 90	Total Weight: 30631
c
c
c core #136
c 
c 
c Core size: 32	Core Weight: 105	Total Weight: 30736
c
c
c core #137
c 
c 
c Core size: 50	Core Weight: 7	Total Weight: 30743
c
c
c core #138
c 
c 
c Core size: 22	Core Weight: 658	Total Weight: 31401
c
c
c core #139
c 
c 
c Core size: 23	Core Weight: 127	Total Weight: 31528
c
c
c core #140
c 
c 
c Core size: 57	Core Weight: 7	Total Weight: 31535
c
c
c core #141
c 
c 
c Core size: 34	Core Weight: 22	Total Weight: 31557
c
c
c core #142
c 
c 
c Core size: 25	Core Weight: 11	Total Weight: 31568
c
c
c core #143
c 
c 
c Core size: 50	Core Weight: 126	Total Weight: 31694
c
c
c core #144
c 
c 
c Core size: 27	Core Weight: 156	Total Weight: 31850
c
c