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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1516065
o 1515493
o 1515421
o 1515274
o 1513266
o 1512584
o 1512550
o 1512317
o 1511995
o 1511463
o 1511288
o 1510992
o 1510691
o 1510629
o 1510510
o 1510332
o 1510315
o 1510079
o 1509591
o 1509416
o 1509036
o 1508866
o 1508693
o 1508652
o 1508272
o 1508097
o 1507801
o 1507647
o 1507500
o 1507205
o 1507172
o 1507149
o 1506600
o 1506494
o 1506295
o 1506085
o 1505666
o 1505553
o 1505514
o 1505217
o 1504953
o 1504656
o 1504481
o 1504398
o 1504182
o 1503980
o 1503521
o 1503499
o 1503174
o 1503092
o 1502594
o 1501998
o 1501527
o 1501373
o 1500967
o 1500871
o 1500020
o 1499623
o 1499242
o 1499196
o 1498769
o 1498558
o 1498511
o 1498350
o 1498090
o 1498010
o 1497959
o 1497792
o 1497610
o 1497196
o 1497175
o 1497092
o 1496927
o 1496926
o 1496904
o 1496863
o 1496725
o 1496307
o 1496217
o 1496196
o 1496133
o 1495924
o 1495155
o 1494641
o 1494314
o 1494273
o 1493718
o 1493661
o 1493575
o 1493143
o 1492982
o 1492464
o 1492425
o 1492416
o 1492128
o 1491953
o 1491781
o 1491663
o 1491618
o 1491446
o 1491362
o 1491132
o 1490891
o 1490424
o 1490322
o 1489805
o 1489766
o 1489506
o 1489211
o 1488953
o 1488633
o 1488328
o 1488201
o 1487856
o 1487643
o 1487320
o 1487235
o 1487166
o 1487156
o 1486968
o 1486793
o 1486751
o 1486638
o 1486615
o 1486432
o 1486147
o 1486125
o 1486040
o 1485745
o 1485485
o 1485271
o 1484716
o 1484534
o 1484451
o 1484410
o 1484235
o 1484028
o 1483643
o 1483384
o 1483046
o 1482793
o 1482700
o 1482522
o 1482308
o 1482221
o 1482219
o 1482156
o 1482095
o 1481934
o 1481513
o 1481415
o 1481122
o 1480994
o 1480960
o 1480905
o 1480604
o 1480270
o 1480132
o 1479720
o 1479685
o 1479415
o 1479322
o 1479147
o 1479145
o 1479019
o 1478921
o 1478903
o 1478790
o 1478762
o 1478725
o 1478520
o 1478496
o 1478454
o 1478194
o 1478020
o 1477736
o 1477361
o 1476981
o 1476882
o 1476493
o 1476205
o 1476138
o 1476041
o 1475868
o 1475534
o 1475424
o 1475198
o 1475147
o 1475070
o 1474936
o 1474438
o 1474271
o 1473948
o 1473776
o 1473271
o 1472993
o 1472852
o 1472851
o 1472433
o 1472158
o 1472143
o 1472118
o 1471717
o 1471579
o 1471561
o 1471154
o 1470668
o 1470210
o 1470037
o 1469879
o 1469849
o 1469816
o 1469734
o 1469641
o 1469372
o 1469155
o 1469090
o 1469024
o 1468944
o 1468827
o 1468434
o 1468374
o 1468309
o 1468298
o 1468070
o 1467953
o 1467807
o 1467802
o 1467696
o 1467630
o 1467139
o 1467131
o 1466872
o 1466612
o 1466580
o 1466577
o 1466549
o 1466506
o 1466421
o 1466032
o 1465645
o 1465456
o 1465201
o 1465191
o 1465142
o 1464651
o 1464559
o 1464480
o 1463924
o 1463443
o 1463390
o 1462996
o 1462993
o 1462950
o 1462948
o 1462612
o 1462460
o 1462214
o 1461965
o 1461937
o 1461841
o 1461488
o 1461468
o 1461456
o 1461371
o 1461289
o 1460850
o 1460733
o 1460675
o 1460596
o 1460479
o 1460231
o 1460200
o 1460133
o 1460074
o 1459904
o 1459553
o 1459436
o 1459016
o 1459007
o 1458964
o 1458808
o 1458576
o 1458357
o 1458345
o 1458260
o 1458169
o 1458064
o 1457986
o 1457949
o 1457827
o 1457814
o 1457757
o 1457691
o 1457301
o 1457184
o 1457126
o 1457065
o 1457005
o 1456987
o 1456912
o 1456905
o 1456589
o 1456534
o 1456527
o 1456418
o 1456387
o 1456298
o 1455880
o 1455514
o 1455473
o 1455397
o 1455382
o 1454905
o 1454839
o 1454828
o 1454778
o 1454607
o 1454490
o 1454419
o 1454319
o 1454262
o 1454114
o 1453968
o 1453883
o 1453703
o 1453656
o 1453625
o 1453549
o 1453485
o 1453451
o 1453334
o 1452778
o 1452689
o 1452677
o 1452610
o 1452594
o 1452582
o 1452541
o 1452370
o 1452333
o 1452035
o 1451655
o 1451539
o 1451435
o 1451380
o 1451113
o 1450658
o 1450651
o 1450633
o 1450078
o 1450004
o 1449907
o 1449859
o 1449852
o 1449815
o 1449525
o 1449315
o 1449281
o 1448910
o 1448652
o 1448650
o 1448590
o 1448581
o 1448523
o 1448251
o 1447957
o 1447918
o 1447809
o 1447472
o 1447356
o 1447197
o 1447188
o 1447173
o 1447078
o 1446896
o 1446866
o 1446773
o 1446753
o 1446294
o 1445997
o 1445967
o 1445909
o 1445874
o 1445698
o 1445233
o 1444916
o 1444810
o 1444698
o 1444655
o 1444607
o 1444605
o 1444496
o 1444423
o 1444395
o 1444205
o 1444204
o 1444180
o 1444084
o 1444050
o 1443734
o 1443732
o 1443651
o 1443298
o 1443274
o 1442968
o 1442646
o 1442535
o 1442523
o 1442303
o 1442160
o 1442119
o 1441920
o 1441880
o 1441575
o 1441458
o 1441361
o 1441245
o 1441081
o 1441005
o 1440685
o 1440646
o 1440513
o 1440246
o 1440238
o 1440021
o 1439947
o 1439728
o 1439711
o 1439558
o 1439389
o 1439291
o 1439273
o 1439176
o 1439029
o 1438977
o 1438928
o 1438715
o 1438703
o 1438609
o 1438496
o 1438420
o 1438172
o 1438156
o 1438153
o 1438119
o 1438027
o 1437969
o 1437910
o 1437754
o 1437744
o 1437638
o 1437549
o 1437453
o 1437394
o 1437377
o 1437307
o 1437256
o 1437178
o 1437155
o 1437023
o 1436975
o 1436862
o 1436787
o 1436537
o 1436481
o 1436326
o 1436239
o 1436152
o 1436116
o 1435981
o 1435888
o 1435681
o 1435477
o 1435394
o 1435058
o 1434968
o 1434904
o 1434784
o 1434744
o 1434685
o 1434682
o 1434610
o 1434489
o 1434473
o 1434454
o 1434413
o 1434396
o 1434373
o 1434302
o 1434234
o 1434150
o 1434074
o 1433924
o 1433896
o 1433895
o 1433879
o 1433781
o 1433692
o 1433649
o 1433509
o 1433485
o 1433444
o 1433284
o 1433072
o 1433067
o 1433026
o 1432915
o 1432834
o 1432806
o 1432730
o 1432723
o 1432664
o 1432576
o 1432568
o 1432523
o 1432425
o 1432281
o 1432204
o 1432096
o 1432047
o 1431917
o 1431915
o 1431839
o 1431766
o 1431628
o 1431625
o 1431535
o 1431462
o 1431433
o 1431351
o 1431253
o 1431155
o 1431063
o 1430973
o 1430889
o 1430669
o 1430637
o 1430520
o 1430489
c core #1
c 
c 
c Core size: 4	Core Weight: 1327	Total Weight: 1327
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 493	Total Weight: 1820
c
c
c core #3
c 
c 
c Core size: 4	Core Weight: 1065	Total Weight: 2885
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 717	Total Weight: 3602
c
c
c core #5
c 
c 
c Core size: 3	Core Weight: 689	Total Weight: 4291
c
c
c core #6
c 
c 
c Core size: 8	Core Weight: 175	Total Weight: 4466
c
c
c core #7
c 
c 
c Core size: 8	Core Weight: 555	Total Weight: 5021
c
c
c core #8
c 
c 
c Core size: 7	Core Weight: 635	Total Weight: 5656
c
c
c core #9
c 
c 
c Core size: 4	Core Weight: 1618	Total Weight: 7274
c
c
c core #10
c 
c 
c Core size: 5	Core Weight: 1320	Total Weight: 8594
c
c
c core #11
c 
c 
c Core size: 8	Core Weight: 596	Total Weight: 9190
c
c
c core #12
c 
c 
c Core size: 9	Core Weight: 518	Total Weight: 9708
c
c
c core #13
c 
c 
c Core size: 10	Core Weight: 182	Total Weight: 9890
c
c
c core #14
c 
c 
c Core size: 3	Core Weight: 1119	Total Weight: 11009
c
c
c core #15
c 
c 
c Core size: 10	Core Weight: 393	Total Weight: 11402
c
c
c core #16
c 
c 
c Core size: 17	Core Weight: 201	Total Weight: 11603
c
c
c core #17
c 
c 
c Core size: 9	Core Weight: 254	Total Weight: 11857
c
c
c core #18
c 
c 
c Core size: 20	Core Weight: 253	Total Weight: 12110
c
c
c core #19
c 
c 
c Core size: 16	Core Weight: 96	Total Weight: 12206
c
c
c core #20
c 
c 
c Core size: 15	Core Weight: 484	Total Weight: 12690
c
c
c core #21
c 
c 
c Core size: 17	Core Weight: 21	Total Weight: 12711
c
c
c core #22
c 
c 
c Core size: 29	Core Weight: 253	Total Weight: 12964
c
c
c core #23
c 
c 
c Core size: 27	Core Weight: 27	Total Weight: 12991
c
c
c core #24
c 
c 
c Core size: 27	Core Weight: 9	Total Weight: 13000
c
c
c core #25
c 
c 
c Core size: 12	Core Weight: 1331	Total Weight: 14331
c
c
c core #26
c 
c 
c Core size: 17	Core Weight: 75	Total Weight: 14406
c
c
c core #27
c 
c 
c Core size: 19	Core Weight: 26	Total Weight: 14432
c
c
c core #28
c 
c 
c Core size: 20	Core Weight: 133	Total Weight: 14565
c
c
c core #29
c 
c 
c Core size: 20	Core Weight: 1091	Total Weight: 15656
c
c
c core #30
c 
c 
c Core size: 20	Core Weight: 38	Total Weight: 15694
c
c
c core #31
c 
c 
c Core size: 9	Core Weight: 117	Total Weight: 15811
c
c
c core #32
c 
c 
c Core size: 12	Core Weight: 294	Total Weight: 16105
c
c
c core #33
c 
c 
c Core size: 23	Core Weight: 86	Total Weight: 16191
c
c
c core #34
c 
c 
c Core size: 24	Core Weight: 18	Total Weight: 16209
c
c
c core #35
c 
c 
c Core size: 16	Core Weight: 117	Total Weight: 16326
c
c
c core #36
c 
c 
c Core size: 14	Core Weight: 20	Total Weight: 16346
c
c
c core #37
c 
c 
c Core size: 19	Core Weight: 389	Total Weight: 16735
c
c
c core #38
c 
c 
c Core size: 20	Core Weight: 62	Total Weight: 16797
c
c
c core #39
c 
c 
c Core size: 14	Core Weight: 38	Total Weight: 16835
c
c
c core #40
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 16836
c
c
c core #41
c 
c 
c Core size: 14	Core Weight: 594	Total Weight: 17430
c
c
c core #42
c 
c 
c Core size: 15	Core Weight: 143	Total Weight: 17573
c
c
c core #43
c 
c 
c Core size: 33	Core Weight: 18	Total Weight: 17591
c
c
c core #44
c 
c 
c Core size: 33	Core Weight: 69	Total Weight: 17660
c
c
c core #45
c 
c 
c Core size: 36	Core Weight: 48	Total Weight: 17708
c
c
c core #46
c 
c 
c Core size: 16	Core Weight: 54	Total Weight: 17762
c
c
c core #47
c 
c 
c Core size: 14	Core Weight: 266	Total Weight: 18028
c
c
c core #48
c 
c 
c Core size: 24	Core Weight: 303	Total Weight: 18331
c
c
c core #49
c 
c 
c Core size: 17	Core Weight: 139	Total Weight: 18470
c
c
c core #50
c 
c 
c Core size: 23	Core Weight: 65	Total Weight: 18535
c
c
c core #51
c 
c 
c Core size: 25	Core Weight: 149	Total Weight: 18684
c
c
c core #52
c 
c 
c Core size: 27	Core Weight: 223	Total Weight: 18907
c
c
c core #53
c 
c 
c Core size: 38	Core Weight: 54	Total Weight: 18961
c
c
c core #54
c 
c 
c Core size: 38	Core Weight: 266	Total Weight: 19227
c
c
c core #55
c 
c 
c Core size: 31	Core Weight: 199	Total Weight: 19426
c
c
c core #56
c 
c 
c Core size: 34	Core Weight: 49	Total Weight: 19475
c
c
c core #57
c 
c 
c Core size: 37	Core Weight: 26	Total Weight: 19501
c
c
c core #58
c 
c 
c Core size: 40	Core Weight: 17	Total Weight: 19518
c
c
c core #59
c 
c 
c Core size: 45	Core Weight: 22	Total Weight: 19540
c
c
c core #60
c 
c 
c Core size: 50	Core Weight: 43	Total Weight: 19583
c
c
c core #61
c 
c 
c Core size: 41	Core Weight: 170	Total Weight: 19753
c
c
c core #62
c 
c 
c Core size: 58	Core Weight: 31	Total Weight: 19784
c
c
c core #63
c 
c 
c Core size: 49	Core Weight: 23	Total Weight: 19807
c
c
c core #64
c 
c 
c Core size: 48	Core Weight: 22	Total Weight: 19829
c
c
c core #65
c 
c 
c Core size: 38	Core Weight: 414	Total Weight: 20243
c
c
c core #66
c 
c 
c Core size: 41	Core Weight: 76	Total Weight: 20319
c
c
c core #67
c 
c 
c Core size: 55	Core Weight: 18	Total Weight: 20337
c
c
c core #68
c 
c 
c Core size: 28	Core Weight: 53	Total Weight: 20390
c
c
c core #69
c 
c 
c Core size: 44	Core Weight: 228	Total Weight: 20618
c
c
c core #70
c 
c 
c Core size: 40	Core Weight: 55	Total Weight: 20673
c
c
c core #71
c 
c 
c Core size: 31	Core Weight: 49	Total Weight: 20722
c
c
c core #72
c 
c 
c Core size: 8	Core Weight: 322	Total Weight: 21044
c
c
c core #73
c 
c 
c Core size: 11	Core Weight: 87	Total Weight: 21131
c
c
c core #74
c 
c 
c Core size: 12	Core Weight: 115	Total Weight: 21246
c
c
c core #75
c 
c 
c Core size: 13	Core Weight: 94	Total Weight: 21340
c
c
c core #76
c 
c 
c Core size: 17	Core Weight: 114	Total Weight: 21454
c
c
c core #77
c 
c 
c Core size: 17	Core Weight: 198	Total Weight: 21652
c
c
c core #78
c 
c 
c Core size: 22	Core Weight: 114	Total Weight: 21766
c
c
c core #79
c 
c 
c Core size: 17	Core Weight: 126	Total Weight: 21892
c
c
c core #80
c 
c 
c Core size: 19	Core Weight: 177	Total Weight: 22069
c
c
c core #81
c 
c 
c Core size: 24	Core Weight: 145	Total Weight: 22214
c
c
c core #82
c 
c 
c Core size: 20	Core Weight: 233	Total Weight: 22447
c
c
c core #83
c 
c 
c Core size: 32	Core Weight: 100	Total Weight: 22547
c
c
c core #84
c 
c 
c Core size: 24	Core Weight: 124	Total Weight: 22671
c
c
c core #85
c 
c 
c Core size: 26	Core Weight: 429	Total Weight: 23100
c
c
c core #86
c 
c 
c Core size: 30	Core Weight: 11	Total Weight: 23111
c
c
c core #87
c 
c 
c Core size: 33	Core Weight: 316	Total Weight: 23427
c
c
c core #88
c 
c 
c Core size: 39	Core Weight: 100	Total Weight: 23527
c
c
c core #89
c 
c 
c Core size: 39	Core Weight: 118	Total Weight: 23645
c
c
c core #90
c 
c 
c Core size: 34	Core Weight: 242	Total Weight: 23887
c
c
c core #91
c 
c 
c Core size: 32	Core Weight: 137	Total Weight: 24024
c
c
c core #92
c 
c 
c Core size: 31	Core Weight: 101	Total Weight: 24125
c
c
c core #93
c 
c 
c Core size: 23	Core Weight: 74	Total Weight: 24199
c
c
c core #94
c 
c 
c Core size: 24	Core Weight: 6	Total Weight: 24205
c
c
c core #95
c 
c 
c Core size: 24	Core Weight: 172	Total Weight: 24377
c
c
c core #96
c 
c 
c Core size: 31	Core Weight: 6	Total Weight: 24383
c
c
c core #97
c 
c 
c Core size: 31	Core Weight: 133	Total Weight: 24516
c
c
c core #98
c 
c 
c Core size: 31	Core Weight: 52	Total Weight: 24568
c
c
c core #99
c 
c 
c Core size: 32	Core Weight: 30	Total Weight: 24598
c
c
c core #100
c 
c 
c Core size: 43	Core Weight: 11	Total Weight: 24609
c
c
c core #101
c 
c 
c Core size: 14	Core Weight: 93	Total Weight: 24702
c
c
c core #102
c 
c 
c Core size: 65	Core Weight: 9	Total Weight: 24711
c
c
c core #103
c 
c 
c Core size: 78	Core Weight: 67	Total Weight: 24778
c
c
c core #104
c 
c 
c Core size: 78	Core Weight: 2	Total Weight: 24780
c
c
c core #105
c 
c 
c Core size: 41	Core Weight: 40	Total Weight: 24820
c
c
c core #106
c 
c 
c Core size: 26	Core Weight: 183	Total Weight: 25003
c
c
c core #107
c 
c 
c Core size: 53	Core Weight: 2	Total Weight: 25005
c
c
c core #108
c 
c 
c Core size: 90	Core Weight: 20	Total Weight: 25025
c
c
c core #109
c 
c 
c Core size: 26	Core Weight: 194	Total Weight: 25219
c
c
c core #110
c 
c 
c Core size: 40	Core Weight: 40	Total Weight: 25259
c
c
c core #111
c 
c 
c Core size: 72	Core Weight: 2	Total Weight: 25261
c
c
c core #112
c 
c 
c Core size: 41	Core Weight: 120	Total Weight: 25381
c
c
c core #113
c 
c 
c Core size: 66	Core Weight: 2	Total Weight: 25383
c
c
c core #114
c 
c 
c Core size: 38	Core Weight: 9	Total Weight: 25392
c
c
c core #115
c 
c 
c Core size: 41	Core Weight: 67	Total Weight: 25459
c
c
c core #116
c 
c 
c Core size: 58	Core Weight: 7	Total Weight: 25466
c
c
c core #117
c 
c 
c Core size: 55	Core Weight: 2	Total Weight: 25468
c
c
c core #118
c 
c 
c Core size: 42	Core Weight: 20	Total Weight: 25488
c
c
c core #119
c 
c 
c Core size: 76	Core Weight: 2	Total Weight: 25490
c
c
c core #120
c 
c 
c Core size: 34	Core Weight: 8	Total Weight: 25498
c
c
c core #121
c 
c 
c Core size: 46	Core Weight: 50	Total Weight: 25548
c
c
c core #122
c 
c 
c Core size: 32	Core Weight: 11	Total Weight: 25559
c
c
c core #123
c 
c 
c Core size: 27	Core Weight: 7	Total Weight: 25566
c
c
c core #124
c 
c 
c Core size: 30	Core Weight: 48	Total Weight: 25614
c
c
c core #125
c 
c 
c Core size: 44	Core Weight: 29	Total Weight: 25643
c
c
c core #126
c 
c 
c Core size: 50	Core Weight: 2	Total Weight: 25645
c
c
c core #127
c 
c 
c Core size: 31	Core Weight: 69	Total Weight: 25714
c
c
c core #128
c 
c 
c Core size: 46	Core Weight: 108	Total Weight: 25822
c
c
c core #129
c 
c 
c Core size: 48	Core Weight: 124	Total Weight: 25946
c
c
c core #130
c 
c 
c Core size: 44	Core Weight: 13	Total Weight: 25959
c
c
c core #131
c 
c 
c Core size: 44	Core Weight: 33	Total Weight: 25992
c
c
c core #132
c 
c 
c Core size: 51	Core Weight: 2	Total Weight: 25994
c
c
c core #133
c 
c 
c Core size: 32	Core Weight: 48	Total Weight: 26042
c
c
c core #134
c 
c 
c Core size: 75	Core Weight: 2	Total Weight: 26044
c
c
c core #135
c 
c 
c Core size: 56	Core Weight: 20	Total Weight: 26064
c
c
c core #136
c 
c 
c Core size: 107	Core Weight: 2	Total Weight: 26066
c
c
c core #137
c 
c 
c Core size: 44	Core Weight: 99	Total Weight: 26165
c
c
c core #138
c 
c 
c Core size: 13	Core Weight: 560	Total Weight: 26725
c
c
c core #139
c 
c 
c Core size: 41	Core Weight: 38	Total Weight: 26763
c
c
c core #140
c 
c 
c Core size: 49	Core Weight: 95	Total Weight: 26858
c
c
c core #141
c 
c 
c Core size: 47	Core Weight: 27	Total Weight: 26885
c
c
c core #142
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 26886
c
c
c core #143
c 
c 
c Core size: 55	Core Weight: 57	Total Weight: 26943
c
c
c core #144
c 
c 
c Core size: 96	Core Weight: 2	Total Weight: 26945
c
c
c core #145
c 
c 
c Core size: 62	Core Weight: 4	Total Weight: 26949
c
c
c core #146
c 
c 
c Core size: 8	Core Weight: 100	Total Weight: 27049
c
c
c core #147
c 
c 
c Core size: 11	Core Weight: 1115	Total Weight: 28164
c
c
c core #148
c 
c 
c Core size: 12	Core Weight: 229	Total Weight: 28393
c
c
c core #149
c 
c 
c Core size: 12	Core Weight: 10	Total Weight: 28403
c
c
c core #150
c 
c 
c Core size: 16	Core Weight: 150	Total Weight: 28553
c
c
c core #151
c 
c 
c Core size: 13	Core Weight: 270	Total Weight: 28823
c
c
c core #152
c 
c 
c Core size: 20	Core Weight: 209	Total Weight: 29032
c
c
c core #153
c 
c 
c Core size: 13	Core Weight: 154	Total Weight: 29186
c
c
c core #154
c 
c 
c Core size: 18	Core Weight: 40	Total Weight: 29226
c
c
c core #155
c 
c 
c Core size: 18	Core Weight: 38	Total Weight: 29264
c
c
c core #156
c 
c 
c Core size: 29	Core Weight: 125	Total Weight: 29389
c
c
c core #157
c 
c 
c Core size: 22	Core Weight: 126	Total Weight: 29515
c
c
c core #158
c 
c 
c Core size: 27	Core Weight: 10	Total Weight: 29525
c
c
c core #159
c 
c 
c Core size: 27	Core Weight: 150	Total Weight: 29675
c
c
c core #160
c 
c 
c Core size: 24	Core Weight: 81	Total Weight: 29756
c
c
c core #161
c 
c 
c Core size: 27	Core Weight: 170	Total Weight: 29926
c
c
c core #162
c 
c 
c Core size: 22	Core Weight: 41	Total Weight: 29967
c
c
c core #163
c 
c 
c Core size: 18	Core Weight: 156	Total Weight: 30123
c
c
c core #164
c 
c 
c Core size: 21	Core Weight: 102	Total Weight: 30225
c
c
c core #165
c 
c 
c Core size: 32	Core Weight: 113	Total Weight: 30338
c
c
c core #166
c 
c 
c Core size: 32	Core Weight: 7	Total Weight: 30345
c
c
c core #167
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 30346
c
c
c core #168
c 
c 
c Core size: 47	Core Weight: 4	Total Weight: 30350
c
c
c core #169
c 
c 
c Core size: 37	Core Weight: 5	Total Weight: 30355
c
c
c core #170
c 
c 
c Core size: 42	Core Weight: 21	Total Weight: 30376
c
c
c core #171
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 30377
c
c
c core #172
c 
c 
c Core size: 30	Core Weight: 130	Total Weight: 30507
c
c
c core #173
c 
c 
c Core size: 36	Core Weight: 37	Total Weight: 30544
c
c
c core #174
c 
c 
c Core size: 38	Core Weight: 4	Total Weight: 30548
c
c
c core #175
c 
c 
c Core size: 36	Core Weight: 79	Total Weight: 30627
c
c
c core #176
c 
c 
c Core size: 42	Core Weight: 77	Total Weight: 30704
c
c
c core #177
c 
c 
c Core size: 42	Core Weight: 25	Total Weight: 30729
c
c
c core #178
c 
c 
c Core size: 42	Core Weight: 77	Total Weight: 30806
c
c
c core #179
c 
c 
c Core size: 42	Core Weight: 36	Total Weight: 30842
c
c
c core #180
c 
c 
c Core size: 42	Core Weight: 7	Total Weight: 30849
c
c
c core #181
c 
c 
c Core size: 42	Core Weight: 1	Total Weight: 30850
c
c
c core #182
c 
c 
c Core size: 42	Core Weight: 4	Total Weight: 30854
c
c