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-50-2_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1859052
o 1858708
o 1858230
o 1858145
o 1857700
o 1857186
o 1856420
o 1856391
o 1855709
o 1855067
o 1855007
o 1855002
o 1854607
o 1854256
o 1853947
o 1853181
o 1852781
o 1852267
o 1851970
o 1851501
o 1851319
o 1851264
o 1851259
o 1851030
o 1850798
o 1849866
o 1849629
o 1848969
o 1848586
o 1848462
o 1848240
o 1847902
o 1847665
o 1847546
o 1847227
o 1847146
o 1847081
o 1847008
o 1846970
o 1846777
o 1846743
o 1845918
o 1845913
o 1845725
o 1845663
o 1845535
o 1845147
o 1845001
o 1844808
o 1844618
o 1844455
o 1844262
o 1844150
o 1844115
o 1843927
o 1843883
o 1843690
o 1843613
o 1843514
o 1843484
o 1843385
o 1843226
o 1843063
o 1842870
o 1842780
o 1842587
o 1842577
o 1842404
o 1842345
o 1842222
o 1842128
o 1841935
o 1841761
o 1841734
o 1841588
o 1841544
o 1841517
o 1841367
o 1841180
o 1841164
o 1841001
o 1840991
o 1840942
o 1840819
o 1840626
o 1840505
o 1840320
o 1840127
o 1839964
o 1839771
o 1839690
o 1839613
o 1839513
o 1839277
o 1838767
o 1838728
o 1838439
o 1838336
o 1837843
o 1837729
o 1837233
o 1837067
o 1836536
o 1836416
o 1836393
o 1836294
o 1836248
o 1836119
o 1836032
o 1836016
o 1835844
o 1835832
o 1835812
o 1835684
o 1835521
o 1835366
o 1835182
o 1835003
o 1834847
o 1834590
o 1834195
o 1834063
o 1833846
o 1833724
o 1833651
o 1833461
o 1833266
o 1833263
o 1833227
o 1833034
o 1832830
o 1832821
o 1832651
o 1832316
o 1832079
o 1831826
o 1831443
o 1831194
o 1830889
o 1830576
o 1830166
o 1829810
o 1829476
o 1829066
o 1828881
o 1828710
o 1828517
o 1828361
o 1828329
o 1828129
o 1827936
o 1827931
o 1827897
o 1827815
o 1827695
o 1827502
o 1827487
o 1826976
o 1826823
o 1826751
o 1826569
o 1826499
o 1826441
o 1826351
o 1826248
o 1826204
o 1826029
o 1825901
o 1825754
o 1825488
o 1825295
o 1825146
o 1825140
o 1825002
o 1824684
o 1824440
o 1824120
o 1823987
o 1823713
o 1823648
o 1823479
o 1823397
o 1823246
o 1823153
o 1823087
o 1822932
o 1822776
o 1822739
o 1822713
o 1822584
o 1822449
o 1822432
o 1822176
o 1821984
o 1821802
o 1821794
o 1821740
o 1821635
o 1821585
o 1821229
o 1821036
o 1820889
o 1820803
o 1820610
o 1820602
o 1820589
o 1820531
o 1820397
o 1820385
o 1820256
o 1820085
o 1819792
o 1819599
o 1819548
o 1819414
o 1819221
o 1819058
o 1818865
o 1818755
o 1818754
o 1818700
o 1818535
o 1818446
o 1818445
o 1818355
o 1818282
o 1818279
o 1818124
o 1818003
o 1817933
o 1817808
o 1817667
o 1817504
o 1817468
o 1817202
o 1817009
o 1816990
o 1816835
o 1816674
o 1816623
o 1816501
o 1816337
o 1816160
o 1815842
o 1815649
o 1815627
o 1815473
o 1815420
o 1815290
o 1815216
o 1815145
o 1815026
o 1814887
o 1814741
o 1814687
o 1814650
o 1814627
o 1814400
o 1814294
o 1813981
o 1813845
o 1813703
o 1813457
o 1813347
o 1813287
o 1813132
o 1813096
o 1812933
o 1812829
o 1812785
o 1812718
o 1812525
o 1812479
o 1812366
o 1812277
o 1812169
o 1812091
o 1811986
o 1811922
o 1811906
o 1811752
o 1811731
o 1811656
o 1811568
o 1811416
o 1811318
o 1811231
o 1811162
o 1811092
o 1810926
o 1810855
o 1810694
o 1810569
o 1810274
o 1810183
o 1809981
o 1809876
o 1809693
o 1809615
o 1809529
o 1809487
o 1809330
o 1809156
o 1809112
o 1809037
o 1809027
o 1808986
o 1808945
o 1808844
o 1808841
o 1808711
o 1808561
o 1808530
o 1808529
o 1808324
o 1808181
o 1808149
o 1808099
o 1807942
o 1807786
o 1807775
o 1807727
o 1807538
o 1807507
o 1807444
o 1807261
o 1807217
o 1807155
o 1807000
o 1806959
o 1806857
o 1806717
o 1806562
o 1806455
o 1806399
o 1806374
o 1806279
o 1806116
o 1806068
o 1806050
o 1805980
o 1805930
o 1805794
o 1805781
o 1805650
o 1805560
o 1805408
o 1805379
o 1805339
o 1805270
o 1805185
o 1805092
o 1805057
o 1804875
o 1804755
o 1804675
o 1804571
o 1804362
o 1804257
o 1804116
o 1803994
o 1803946
o 1803744
o 1803588
o 1803551
o 1803413
o 1803230
o 1803148
o 1802906
o 1802608
o 1802604
o 1802577
o 1802474
o 1802468
o 1802338
o 1802336
o 1802282
o 1802233
o 1802187
o 1802048
o 1802019
o 1801864
o 1801693
o 1801659
o 1801466
o 1801354
o 1801320
o 1801300
o 1801152
o 1801147
o 1801093
o 1801030
o 1800998
o 1800961
o 1800957
o 1800947
o 1800846
o 1800785
o 1800592
o 1800412
o 1800351
o 1800196
o 1800026
o 1799789
o 1799697
o 1799543
o 1799240
o 1799203
o 1799076
o 1798942
o 1798852
o 1798820
o 1798640
o 1798550
o 1798250
o 1798222
o 1798054
o 1797760
o 1797691
o 1797673
o 1797312
o 1797232
o 1796993
o 1796858
o 1796772
o 1796672
o 1796590
o 1796433
o 1796091
o 1796073
o 1796064
o 1795964
o 1795896
o 1795883
o 1795839
o 1795653
o 1795350
o 1795252
o 1795190
o 1795168
o 1795081
o 1794925
o 1794732
o 1794414
o 1794281
o 1794128
o 1794078
o 1793924
o 1793593
o 1793503
o 1793475
o 1793292
o 1793125
o 1792962
o 1792673
o 1792509
o 1792401
o 1792381
o 1792221
o 1792092
o 1791921
o 1791899
o 1791861
o 1791826
o 1791704
o 1791512
o 1791408
o 1791245
o 1790967
o 1790849
o 1790765
o 1790629
o 1790614
o 1790539
o 1790517
o 1790448
o 1790274
o 1790208
o 1790207
o 1790045
o 1789960
o 1789827
o 1789675
o 1789617
o 1789436
o 1789243
o 1789228
o 1789167
o 1789160
o 1788997
o 1788926
o 1788804
o 1788643
o 1788560
o 1788450
o 1788280
o 1788252
o 1788093
o 1788051
o 1787971
o 1787808
o 1787759
o 1787695
o 1787573
o 1787469
o 1787319
o 1787240
o 1787234
o 1787121
o 1787098
o 1787085
o 1787046
o 1786936
o 1786785
o 1786776
o 1786632
o 1786503
o 1786390
o 1786271
o 1786085
o 1786006
o 1785931
o 1785776
o 1785722
o 1785669
o 1785479
o 1785467
o 1785460
o 1785311
o 1785197
o 1785155
o 1785063
o 1785002
o 1784998
o 1784920
o 1784892
o 1784840
o 1784822
o 1784682
o 1784555
o 1784539
o 1784507
o 1784370
o 1784236
o 1784048
o 1783862
o 1783799
o 1783740
o 1783563
o 1783506
o 1783351
o 1783206
o 1783015
o 1782933
o 1782891
o 1782835
o 1782745
o 1782616
o 1782518
o 1782513
o 1782481
o 1782399
o 1782329
o 1782324
o 1782166
o 1782075
o 1781942
o 1781877
o 1781727
o 1781631
o 1781551
o 1781534
o 1781342
o 1781012
o 1780919
o 1780786
o 1780652
o 1780650
o 1780639
o 1780552
o 1780537
o 1780446
o 1780374
o 1780224
o 1780190
o 1780059
o 1779923
o 1779740
o 1779732
o 1779584
o 1779581
o 1779477
o 1779469
o 1779422
o 1779346
o 1779070
o 1778878
o 1778643
o 1778594
o 1778550
o 1778341
o 1778148
o 1777985
o 1777827
o 1777773
o 1777760
o 1777759
o 1777743
o 1777682
o 1777544
o 1777437
o 1777269
o 1777167
o 1777024
o 1776893
o 1776877
o 1776840
o 1776809
o 1776755
o 1776683
o 1776677
o 1776517
o 1776428
o 1776310
o 1776147
o 1776063
o 1776047
o 1775910
o 1775830
o 1775742
o 1775622
o 1775580
o 1775504
o 1775385
o 1775303
o 1775239
o 1775110
o 1775084
o 1775012
o 1774981
o 1774885
o 1774876
o 1774723
o 1774665
o 1774536
o 1774512
o 1774426
o 1774355
o 1774295
o 1774185
o 1774179
o 1774097
o 1774094
o 1773960
o 1773913
o 1773845
o 1773821
o 1773759
o 1773682
o 1773668
o 1773602
o 1773525
o 1773432
o 1773391
o 1773309
o 1773212
o 1773055
o 1772788
o 1772616
o 1772572
o 1772470
o 1772467
o 1772439
o 1772414
o 1772266
o 1772257
o 1772134
o 1772000
o 1771972
o 1771913
o 1771886
o 1771790
o 1771765
o 1771752
o 1771750
o 1771723
o 1771615
o 1771503
o 1771502
o 1771487
o 1771467
o 1771405
o 1771403
o 1771317
o 1771304
o 1771143
o 1770949
o 1770908
o 1770791
o 1770776
o 1770658
o 1770419
o 1770226
o 1769899
o 1769861
o 1769834
o 1769738
o 1769654
o 1769526
o 1769416
o 1769354
o 1769292
o 1769253
o 1769109
o 1769089
o 1769054
o 1769036
o 1768994
o 1768818
o 1768770
o 1768760
o 1768717
o 1768601
o 1768599
o 1768598
o 1768557
o 1768485
o 1768478
o 1768456
o 1768355
o 1768256
o 1768130
o 1767931
o 1767761
o 1767593
o 1767482
o 1767340
o 1767254
o 1767120
o 1767085
o 1766979
o 1766896
o 1766810
o 1766694
o 1766667
o 1766539
o 1766480
o 1766325
o 1766287
o 1766186
o 1766103
o 1766001
o 1765993
o 1765957
o 1765906
o 1765889
o 1765883
o 1765730
o 1765605
o 1765502
o 1765395
o 1765350
o 1765349
o 1765291
o 1765237
o 1765165
c core #1
c 
c 
c Core size: 3	Core Weight: 295	Total Weight: 295
c
c
c core #2
c 
c 
c Core size: 4	Core Weight: 1394	Total Weight: 1689
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 391	Total Weight: 2080
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 199	Total Weight: 2279
c
c
c core #5
c 
c 
c Core size: 4	Core Weight: 1456	Total Weight: 3735
c
c
c core #6
c 
c 
c Core size: 3	Core Weight: 886	Total Weight: 4621
c
c
c core #7
c 
c 
c Core size: 11	Core Weight: 5	Total Weight: 4626
c
c
c core #8
c 
c 
c Core size: 10	Core Weight: 29	Total Weight: 4655
c
c
c core #9
c 
c 
c Core size: 11	Core Weight: 237	Total Weight: 4892
c
c
c core #10
c 
c 
c Core size: 14	Core Weight: 1045	Total Weight: 5937
c
c
c core #11
c 
c 
c Core size: 19	Core Weight: 5	Total Weight: 5942
c
c
c core #12
c 
c 
c Core size: 19	Core Weight: 110	Total Weight: 6052
c
c
c core #13
c 
c 
c Core size: 15	Core Weight: 210	Total Weight: 6262
c
c
c core #14
c 
c 
c Core size: 24	Core Weight: 24	Total Weight: 6286
c
c
c core #15
c 
c 
c Core size: 22	Core Weight: 191	Total Weight: 6477
c
c
c core #16
c 
c 
c Core size: 21	Core Weight: 105	Total Weight: 6582
c
c
c core #17
c 
c 
c Core size: 19	Core Weight: 220	Total Weight: 6802
c
c
c core #18
c 
c 
c Core size: 14	Core Weight: 860	Total Weight: 7662
c
c
c core #19
c 
c 
c Core size: 21	Core Weight: 13	Total Weight: 7675
c
c
c core #20
c 
c 
c Core size: 22	Core Weight: 210	Total Weight: 7885
c
c
c core #21
c 
c 
c Core size: 20	Core Weight: 5	Total Weight: 7890
c
c
c core #22
c 
c 
c Core size: 24	Core Weight: 59	Total Weight: 7949
c
c
c core #23
c 
c 
c Core size: 24	Core Weight: 29	Total Weight: 7978
c
c
c core #24
c 
c 
c Core size: 25	Core Weight: 127	Total Weight: 8105
c
c
c core #25
c 
c 
c Core size: 16	Core Weight: 182	Total Weight: 8287
c
c
c core #26
c 
c 
c Core size: 11	Core Weight: 23	Total Weight: 8310
c
c
c core #27
c 
c 
c Core size: 12	Core Weight: 207	Total Weight: 8517
c
c
c core #28
c 
c 
c Core size: 11	Core Weight: 722	Total Weight: 9239
c
c
c core #29
c 
c 
c Core size: 11	Core Weight: 195	Total Weight: 9434
c
c
c core #30
c 
c 
c Core size: 14	Core Weight: 194	Total Weight: 9628
c
c
c core #31
c 
c 
c Core size: 8	Core Weight: 503	Total Weight: 10131
c
c
c core #32
c 
c 
c Core size: 11	Core Weight: 419	Total Weight: 10550
c
c
c core #33
c 
c 
c Core size: 12	Core Weight: 160	Total Weight: 10710
c
c
c core #34
c 
c 
c Core size: 14	Core Weight: 1148	Total Weight: 11858
c
c
c core #35
c 
c 
c Core size: 16	Core Weight: 108	Total Weight: 11966
c
c
c core #36
c 
c 
c Core size: 29	Core Weight: 102	Total Weight: 12068
c
c
c core #37
c 
c 
c Core size: 28	Core Weight: 146	Total Weight: 12214
c
c
c core #38
c 
c 
c Core size: 28	Core Weight: 142	Total Weight: 12356
c
c
c core #39
c 
c 
c Core size: 27	Core Weight: 84	Total Weight: 12440
c
c
c core #40
c 
c 
c Core size: 29	Core Weight: 3	Total Weight: 12443
c
c
c core #41
c 
c 
c Core size: 27	Core Weight: 59	Total Weight: 12502
c
c
c core #42
c 
c 
c Core size: 21	Core Weight: 101	Total Weight: 12603
c
c
c core #43
c 
c 
c Core size: 31	Core Weight: 85	Total Weight: 12688
c
c
c core #44
c 
c 
c Core size: 32	Core Weight: 24	Total Weight: 12712
c
c
c core #45
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 12713
c
c
c core #46
c 
c 
c Core size: 41	Core Weight: 5	Total Weight: 12718
c
c
c core #47
c 
c 
c Core size: 46	Core Weight: 19	Total Weight: 12737
c
c
c core #48
c 
c 
c Core size: 16	Core Weight: 32	Total Weight: 12769
c
c
c core #49
c 
c 
c Core size: 47	Core Weight: 85	Total Weight: 12854
c
c
c core #50
c 
c 
c Core size: 14	Core Weight: 322	Total Weight: 13176
c
c
c core #51
c 
c 
c Core size: 50	Core Weight: 12	Total Weight: 13188
c
c
c core #52
c 
c 
c Core size: 19	Core Weight: 27	Total Weight: 13215
c
c
c core #53
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 13216
c
c
c core #54
c 
c 
c Core size: 14	Core Weight: 1100	Total Weight: 14316
c
c
c core #55
c 
c 
c Core size: 56	Core Weight: 3	Total Weight: 14319
c
c
c core #56
c 
c 
c Core size: 54	Core Weight: 20	Total Weight: 14339
c
c
c core #57
c 
c 
c Core size: 52	Core Weight: 4	Total Weight: 14343
c
c
c core #58
c 
c 
c Core size: 33	Core Weight: 32	Total Weight: 14375
c
c
c core #59
c 
c 
c Core size: 50	Core Weight: 49	Total Weight: 14424
c
c
c core #60
c 
c 
c Core size: 22	Core Weight: 89	Total Weight: 14513
c
c
c core #61
c 
c 
c Core size: 29	Core Weight: 76	Total Weight: 14589
c
c
c core #62
c 
c 
c Core size: 22	Core Weight: 297	Total Weight: 14886
c
c
c core #63
c 
c 
c Core size: 16	Core Weight: 766	Total Weight: 15652
c
c
c core #64
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 15653
c
c
c core #65
c 
c 
c Core size: 66	Core Weight: 2	Total Weight: 15655
c
c
c core #66
c 
c 
c Core size: 26	Core Weight: 29	Total Weight: 15684
c
c
c core #67
c 
c 
c Core size: 62	Core Weight: 48	Total Weight: 15732
c
c
c core #68
c 
c 
c Core size: 14	Core Weight: 356	Total Weight: 16088
c
c
c core #69
c 
c 
c Core size: 14	Core Weight: 1104	Total Weight: 17192
c
c
c core #70
c 
c 
c Core size: 16	Core Weight: 149	Total Weight: 17341
c
c
c core #71
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 17342
c
c
c core #72
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 17343
c
c
c core #73
c 
c 
c Core size: 27	Core Weight: 11	Total Weight: 17354
c
c
c core #74
c 
c 
c Core size: 31	Core Weight: 115	Total Weight: 17469
c
c
c core #75
c 
c 
c Core size: 46	Core Weight: 65	Total Weight: 17534
c
c
c core #76
c 
c 
c Core size: 36	Core Weight: 24	Total Weight: 17558
c
c
c core #77
c 
c 
c Core size: 38	Core Weight: 51	Total Weight: 17609
c
c
c core #78
c 
c 
c Core size: 66	Core Weight: 4	Total Weight: 17613
c
c
c core #79
c 
c 
c Core size: 40	Core Weight: 25	Total Weight: 17638
c
c
c core #80
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 17639
c
c
c core #81
c 
c 
c Core size: 51	Core Weight: 3	Total Weight: 17642
c
c
c core #82
c 
c 
c Core size: 20	Core Weight: 206	Total Weight: 17848
c
c
c core #83
c 
c 
c Core size: 13	Core Weight: 399	Total Weight: 18247
c
c
c core #84
c 
c 
c Core size: 13	Core Weight: 726	Total Weight: 18973
c
c
c core #85
c 
c 
c Core size: 13	Core Weight: 105	Total Weight: 19078
c
c
c core #86
c 
c 
c Core size: 29	Core Weight: 218	Total Weight: 19296
c
c
c core #87
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 19297
c
c
c core #88
c 
c 
c Core size: 35	Core Weight: 19	Total Weight: 19316
c
c
c core #89
c 
c 
c Core size: 16	Core Weight: 175	Total Weight: 19491
c
c
c core #90
c 
c 
c Core size: 39	Core Weight: 76	Total Weight: 19567
c
c
c core #91
c 
c 
c Core size: 26	Core Weight: 138	Total Weight: 19705
c
c
c core #92
c 
c 
c Core size: 78	Core Weight: 1	Total Weight: 19706
c
c
c core #93
c 
c 
c Core size: 16	Core Weight: 537	Total Weight: 20243
c
c
c core #94
c 
c 
c Core size: 81	Core Weight: 3	Total Weight: 20246
c
c
c core #95
c 
c 
c Core size: 24	Core Weight: 74	Total Weight: 20320
c
c
c core #96
c 
c 
c Core size: 37	Core Weight: 46	Total Weight: 20366
c
c
c core #97
c 
c 
c Core size: 73	Core Weight: 3	Total Weight: 20369
c
c
c core #98
c 
c 
c Core size: 36	Core Weight: 26	Total Weight: 20395
c
c
c core #99
c 
c 
c Core size: 65	Core Weight: 1	Total Weight: 20396
c
c
c core #100
c 
c 
c Core size: 27	Core Weight: 43	Total Weight: 20439
c
c
c core #101
c 
c 
c Core size: 28	Core Weight: 99	Total Weight: 20538
c
c
c core #102
c 
c 
c Core size: 82	Core Weight: 2	Total Weight: 20540
c
c
c core #103
c 
c 
c Core size: 19	Core Weight: 207	Total Weight: 20747
c
c
c core #104
c 
c 
c Core size: 82	Core Weight: 29	Total Weight: 20776
c
c
c core #105
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 20777
c
c
c core #106
c 
c 
c Core size: 26	Core Weight: 236	Total Weight: 21013
c
c
c core #107
c 
c 
c Core size: 36	Core Weight: 163	Total Weight: 21176
c
c
c core #108
c 
c 
c Core size: 43	Core Weight: 25	Total Weight: 21201
c
c
c core #109
c 
c 
c Core size: 88	Core Weight: 8	Total Weight: 21209
c
c
c core #110
c 
c 
c Core size: 54	Core Weight: 2	Total Weight: 21211
c
c
c core #111
c 
c 
c Core size: 13	Core Weight: 282	Total Weight: 21493
c
c
c core #112
c 
c 
c Core size: 67	Core Weight: 1	Total Weight: 21494
c
c
c core #113
c 
c 
c Core size: 68	Core Weight: 3	Total Weight: 21497
c
c
c core #114
c 
c 
c Core size: 50	Core Weight: 27	Total Weight: 21524
c
c
c core #115
c 
c 
c Core size: 20	Core Weight: 519	Total Weight: 22043
c
c
c core #116
c 
c 
c Core size: 37	Core Weight: 7	Total Weight: 22050
c
c
c core #117
c 
c 
c Core size: 29	Core Weight: 39	Total Weight: 22089
c
c
c core #118
c 
c 
c Core size: 35	Core Weight: 88	Total Weight: 22177
c
c
c core #119
c 
c 
c Core size: 36	Core Weight: 47	Total Weight: 22224
c
c
c core #120
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 22225
c
c
c core #121
c 
c 
c Core size: 47	Core Weight: 6	Total Weight: 22231
c
c
c core #122
c 
c 
c Core size: 17	Core Weight: 687	Total Weight: 22918
c
c
c core #123
c 
c 
c Core size: 48	Core Weight: 27	Total Weight: 22945
c
c
c core #124
c 
c 
c Core size: 15	Core Weight: 623	Total Weight: 23568
c
c
c core #125
c 
c 
c Core size: 49	Core Weight: 37	Total Weight: 23605
c
c
c core #126
c 
c 
c Core size: 56	Core Weight: 3	Total Weight: 23608
c
c
c core #127
c 
c 
c Core size: 60	Core Weight: 2	Total Weight: 23610
c
c
c core #128
c 
c 
c Core size: 46	Core Weight: 485	Total Weight: 24095
c
c
c core #129
c 
c 
c Core size: 38	Core Weight: 352	Total Weight: 24447
c
c
c core #130
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 24448
c
c
c core #131
c 
c 
c Core size: 43	Core Weight: 91	Total Weight: 24539
c
c
c core #132
c 
c 
c Core size: 76	Core Weight: 4	Total Weight: 24543
c
c
c core #133
c 
c 
c Core size: 29	Core Weight: 76	Total Weight: 24619
c
c
c core #134
c 
c 
c Core size: 55	Core Weight: 3	Total Weight: 24622
c
c
c core #135
c 
c 
c Core size: 51	Core Weight: 12	Total Weight: 24634
c
c
c core #136
c 
c 
c Core size: 28	Core Weight: 250	Total Weight: 24884
c
c
c core #137
c 
c 
c Core size: 45	Core Weight: 3	Total Weight: 24887
c
c
c core #138
c 
c 
c Core size: 37	Core Weight: 129	Total Weight: 25016
c
c