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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1473427
o 1473387
o 1472076
o 1471652
o 1471486
o 1471485
o 1471417
o 1471326
o 1471127
o 1471030
o 1470899
o 1470855
o 1470630
o 1470378
o 1470334
o 1470325
o 1470243
o 1469372
o 1469318
o 1469216
o 1468211
o 1468170
o 1467895
o 1466758
o 1466549
o 1466437
o 1466391
o 1466377
o 1466322
o 1466221
o 1465628
o 1465514
o 1465414
o 1464368
o 1464155
o 1463894
o 1463845
o 1463841
o 1463461
o 1462678
o 1461993
o 1461975
o 1461873
o 1461633
o 1461320
o 1461051
o 1460643
o 1460346
o 1460094
o 1459982
o 1459916
o 1459819
o 1459759
o 1459664
o 1458959
o 1458706
o 1458594
o 1458464
o 1458374
o 1458326
o 1457945
o 1457472
o 1457433
o 1457252
o 1457230
o 1457158
o 1457096
o 1456899
o 1456872
o 1456456
o 1456430
o 1456308
o 1455622
o 1455101
o 1454691
o 1454632
o 1454324
o 1454280
o 1454258
o 1454194
o 1454164
o 1453970
o 1453851
o 1453814
o 1453695
o 1453569
o 1453477
o 1453435
o 1453381
o 1453254
o 1453208
o 1453128
o 1453047
o 1453014
o 1452883
o 1452869
o 1452780
o 1452728
o 1452682
o 1452592
o 1452467
o 1452122
o 1452057
o 1452012
o 1451928
o 1451811
o 1451685
o 1451559
o 1451550
o 1451449
o 1451265
o 1451167
o 1451039
o 1450957
o 1450933
o 1450898
o 1450366
o 1450342
o 1450106
o 1450062
o 1450027
o 1449948
o 1449893
o 1449832
o 1449777
o 1449741
o 1449561
o 1449557
o 1449491
o 1449458
o 1449320
o 1449311
o 1449194
o 1449155
o 1448892
o 1448636
o 1448609
o 1448421
o 1448350
o 1448007
o 1447785
o 1447748
o 1447672
o 1447468
o 1447398
o 1447371
o 1446995
o 1446537
o 1446399
o 1446194
o 1446056
o 1445930
o 1445910
o 1445847
o 1445764
o 1445649
o 1445592
o 1445501
o 1445489
o 1445407
o 1445320
o 1445198
o 1444866
o 1444820
o 1444769
o 1444657
o 1444648
o 1444580
o 1444556
o 1444439
o 1444204
o 1443861
o 1443723
o 1443703
o 1443659
o 1443639
o 1443557
o 1443333
o 1442990
o 1442852
o 1442786
o 1442673
o 1442349
o 1442246
o 1441793
o 1441674
o 1441597
o 1441328
o 1441137
o 1441120
o 1441034
o 1441016
o 1440970
o 1440844
o 1440837
o 1440792
o 1440780
o 1440698
o 1440655
o 1440543
o 1440524
o 1440513
o 1440429
o 1440303
o 1440243
o 1440127
o 1440020
o 1439999
o 1439958
o 1439941
o 1439815
o 1439803
o 1439677
o 1439486
o 1439441
o 1439406
o 1439270
o 1439022
o 1439017
o 1439007
o 1438986
o 1438985
o 1438925
o 1438799
o 1438732
o 1438620
o 1438505
o 1438486
o 1438438
o 1438348
o 1438266
o 1438228
o 1437946
o 1437784
o 1437749
o 1437748
o 1437421
o 1437219
o 1436766
o 1436723
o 1436581
o 1436542
o 1436446
o 1436369
o 1436043
o 1435865
o 1435240
o 1435125
o 1435070
o 1434492
o 1434085
o 1433983
o 1433959
o 1433948
o 1433935
o 1433863
o 1433851
o 1433744
o 1433630
o 1433393
o 1433234
o 1433223
o 1433194
o 1433108
o 1432891
o 1432765
o 1432612
o 1432486
o 1432360
o 1432299
o 1432262
o 1432230
o 1432209
o 1432105
o 1431818
o 1431782
o 1431605
o 1431433
o 1431309
o 1431180
o 1431169
o 1431066
o 1430756
o 1430157
o 1430095
o 1430003
o 1429644
o 1429569
o 1429181
o 1429180
o 1428838
o 1428712
o 1428528
o 1428072
o 1428006
o 1427886
o 1427820
o 1427477
o 1427351
o 1427162
o 1427107
o 1426991
o 1426508
o 1426328
o 1426177
o 1425988
o 1425927
o 1425883
o 1425876
o 1425777
o 1425514
o 1425384
o 1425259
o 1425165
o 1424975
o 1424712
o 1424604
o 1424569
o 1424560
o 1424493
o 1424395
o 1424315
o 1423838
o 1423288
o 1423218
o 1423149
o 1423120
o 1422813
o 1422768
o 1422644
o 1422543
o 1422429
o 1422214
o 1422043
o 1421993
o 1421892
o 1421803
o 1421617
o 1421498
o 1421495
o 1421130
o 1420675
o 1420661
o 1420562
o 1420549
o 1420315
o 1420229
o 1420151
o 1419606
o 1419489
o 1419389
o 1419353
o 1419342
o 1419298
o 1419268
o 1419267
o 1419206
o 1419154
o 1418994
o 1418969
o 1418858
o 1418777
o 1418484
o 1418297
o 1417976
o 1417749
o 1417668
o 1417381
o 1417339
o 1417265
o 1416859
o 1416716
o 1416621
o 1416619
o 1416614
o 1416525
o 1416495
o 1416320
o 1416292
o 1416288
o 1416076
o 1416070
o 1416043
o 1415755
o 1415438
o 1415352
o 1415325
o 1415312
o 1415309
o 1415217
o 1415112
o 1415102
o 1415060
o 1415030
o 1415019
o 1414940
o 1414901
o 1414874
o 1414841
o 1414831
o 1414737
o 1414690
o 1414644
o 1414586
o 1414491
o 1414424
o 1414300
o 1414216
o 1414123
o 1414113
o 1414032
o 1413948
o 1413918
o 1413896
o 1413835
o 1413748
o 1413704
o 1413290
o 1413269
o 1413221
o 1413057
o 1412983
o 1412850
o 1412847
o 1412838
o 1412828
o 1412798
o 1412753
o 1412680
o 1412502
o 1412471
o 1412368
o 1412324
o 1411801
o 1411773
o 1411714
o 1411564
o 1411440
o 1411436
o 1411264
o 1411241
o 1411138
o 1411018
o 1411013
o 1410656
o 1410353
o 1410169
o 1409934
o 1409819
o 1409767
o 1409754
o 1409609
o 1409483
o 1409439
o 1409376
o 1409139
o 1409106
o 1409079
o 1409036
o 1408972
o 1408782
o 1408751
o 1408625
o 1408526
o 1408514
o 1408397
o 1408254
o 1408189
o 1408089
o 1407987
o 1407928
o 1407844
o 1407574
o 1407457
o 1407340
o 1407252
o 1407211
o 1407195
o 1406743
o 1406713
o 1406661
o 1406572
o 1406551
o 1406386
o 1406268
o 1406163
o 1406056
o 1406022
o 1405971
o 1405938
o 1405917
o 1405906
o 1405873
o 1405744
o 1405735
o 1405726
o 1405718
o 1405650
o 1405591
o 1405196
o 1405126
o 1405041
o 1404977
o 1404816
o 1404727
o 1404671
o 1404636
o 1404600
o 1404159
o 1404042
o 1404012
o 1403997
o 1403907
o 1403816
o 1403742
o 1403675
o 1403611
o 1403522
o 1403448
o 1403012
o 1402880
o 1402650
o 1402422
o 1402417
o 1402309
o 1402303
o 1402096
o 1402031
o 1401846
o 1401503
o 1401430
o 1401385
o 1401280
o 1401247
o 1401245
o 1401235
o 1401124
o 1400979
o 1400633
o 1400302
o 1400271
o 1400251
o 1400183
o 1400121
o 1400104
o 1400005
o 1399936
o 1399927
o 1399806
o 1399762
o 1399651
o 1399596
o 1399576
o 1399486
o 1399430
o 1399229
o 1399188
o 1399064
o 1399010
o 1398816
o 1398621
o 1398565
o 1398440
o 1398172
o 1398060
o 1397996
o 1397789
o 1397702
o 1397332
o 1397206
o 1397169
o 1396965
o 1396624
o 1396592
o 1396296
o 1396242
o 1396236
o 1396114
o 1396031
o 1395707
o 1395636
o 1395548
o 1395475
o 1395391
o 1395325
o 1395161
o 1395080
o 1394993
o 1394778
o 1394631
o 1394550
o 1394445
o 1394345
o 1394333
o 1394248
o 1394125
o 1394007
o 1393638
o 1393510
o 1393330
o 1393246
o 1393123
o 1393049
o 1393013
o 1393008
o 1392521
o 1392507
o 1392159
c core #1
c 
c 
c Core size: 5	Core Weight: 1580	Total Weight: 1580
c
c
c core #2
c 
c 
c Core size: 5	Core Weight: 1791	Total Weight: 3371
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 656	Total Weight: 4027
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 399	Total Weight: 4426
c
c
c core #5
c 
c 
c Core size: 3	Core Weight: 763	Total Weight: 5189
c
c
c core #6
c 
c 
c Core size: 4	Core Weight: 1490	Total Weight: 6679
c
c
c core #7
c 
c 
c Core size: 9	Core Weight: 621	Total Weight: 7300
c
c
c core #8
c 
c 
c Core size: 16	Core Weight: 175	Total Weight: 7475
c
c
c core #9
c 
c 
c Core size: 3	Core Weight: 676	Total Weight: 8151
c
c
c core #10
c 
c 
c Core size: 14	Core Weight: 558	Total Weight: 8709
c
c
c core #11
c 
c 
c Core size: 17	Core Weight: 107	Total Weight: 8816
c
c
c core #12
c 
c 
c Core size: 24	Core Weight: 163	Total Weight: 8979
c
c
c core #13
c 
c 
c Core size: 27	Core Weight: 1068	Total Weight: 10047
c
c
c core #14
c 
c 
c Core size: 30	Core Weight: 56	Total Weight: 10103
c
c
c core #15
c 
c 
c Core size: 35	Core Weight: 16	Total Weight: 10119
c
c
c core #16
c 
c 
c Core size: 36	Core Weight: 26	Total Weight: 10145
c
c
c core #17
c 
c 
c Core size: 42	Core Weight: 60	Total Weight: 10205
c
c
c core #18
c 
c 
c Core size: 41	Core Weight: 73	Total Weight: 10278
c
c
c core #19
c 
c 
c Core size: 40	Core Weight: 36	Total Weight: 10314
c
c
c core #20
c 
c 
c Core size: 39	Core Weight: 119	Total Weight: 10433
c
c
c core #21
c 
c 
c Core size: 43	Core Weight: 42	Total Weight: 10475
c
c
c core #22
c 
c 
c Core size: 47	Core Weight: 99	Total Weight: 10574
c
c
c core #23
c 
c 
c Core size: 45	Core Weight: 582	Total Weight: 11156
c
c
c core #24
c 
c 
c Core size: 14	Core Weight: 852	Total Weight: 12008
c
c
c core #25
c 
c 
c Core size: 48	Core Weight: 319	Total Weight: 12327
c
c
c core #26
c 
c 
c Core size: 21	Core Weight: 50	Total Weight: 12377
c
c
c core #27
c 
c 
c Core size: 11	Core Weight: 1035	Total Weight: 13412
c
c
c core #28
c 
c 
c Core size: 24	Core Weight: 68	Total Weight: 13480
c
c
c core #29
c 
c 
c Core size: 12	Core Weight: 94	Total Weight: 13574
c
c
c core #30
c 
c 
c Core size: 15	Core Weight: 97	Total Weight: 13671
c
c
c core #31
c 
c 
c Core size: 49	Core Weight: 79	Total Weight: 13750
c
c
c core #32
c 
c 
c Core size: 59	Core Weight: 20	Total Weight: 13770
c
c
c core #33
c 
c 
c Core size: 23	Core Weight: 399	Total Weight: 14169
c
c
c core #34
c 
c 
c Core size: 10	Core Weight: 619	Total Weight: 14788
c
c
c core #35
c 
c 
c Core size: 13	Core Weight: 3	Total Weight: 14791
c
c
c core #36
c 
c 
c Core size: 68	Core Weight: 8	Total Weight: 14799
c
c
c core #37
c 
c 
c Core size: 8	Core Weight: 423	Total Weight: 15222
c
c
c core #38
c 
c 
c Core size: 12	Core Weight: 744	Total Weight: 15966
c
c
c core #39
c 
c 
c Core size: 14	Core Weight: 911	Total Weight: 16877
c
c
c core #40
c 
c 
c Core size: 17	Core Weight: 427	Total Weight: 17304
c
c
c core #41
c 
c 
c Core size: 19	Core Weight: 206	Total Weight: 17510
c
c
c core #42
c 
c 
c Core size: 20	Core Weight: 110	Total Weight: 17620
c
c
c core #43
c 
c 
c Core size: 16	Core Weight: 400	Total Weight: 18020
c
c
c core #44
c 
c 
c Core size: 16	Core Weight: 270	Total Weight: 18290
c
c
c core #45
c 
c 
c Core size: 16	Core Weight: 119	Total Weight: 18409
c
c
c core #46
c 
c 
c Core size: 15	Core Weight: 221	Total Weight: 18630
c
c
c core #47
c 
c 
c Core size: 19	Core Weight: 188	Total Weight: 18818
c
c
c core #48
c 
c 
c Core size: 11	Core Weight: 317	Total Weight: 19135
c
c
c core #49
c 
c 
c Core size: 14	Core Weight: 15	Total Weight: 19150
c
c
c core #50
c 
c 
c Core size: 15	Core Weight: 314	Total Weight: 19464
c
c
c core #51
c 
c 
c Core size: 23	Core Weight: 46	Total Weight: 19510
c
c
c core #52
c 
c 
c Core size: 8	Core Weight: 1082	Total Weight: 20592
c
c
c core #53
c 
c 
c Core size: 11	Core Weight: 40	Total Weight: 20632
c
c
c core #54
c 
c 
c Core size: 8	Core Weight: 799	Total Weight: 21431
c
c
c core #55
c 
c 
c Core size: 14	Core Weight: 106	Total Weight: 21537
c
c
c core #56
c 
c 
c Core size: 11	Core Weight: 957	Total Weight: 22494
c
c
c core #57
c 
c 
c Core size: 16	Core Weight: 48	Total Weight: 22542
c
c
c core #58
c 
c 
c Core size: 18	Core Weight: 118	Total Weight: 22660
c
c
c core #59
c 
c 
c Core size: 17	Core Weight: 112	Total Weight: 22772
c
c
c core #60
c 
c 
c Core size: 19	Core Weight: 320	Total Weight: 23092
c
c
c core #61
c 
c 
c Core size: 19	Core Weight: 327	Total Weight: 23419
c
c
c core #62
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 23420
c
c
c core #63
c 
c 
c Core size: 25	Core Weight: 153	Total Weight: 23573
c
c
c core #64
c 
c 
c Core size: 28	Core Weight: 78	Total Weight: 23651
c
c
c core #65
c 
c 
c Core size: 32	Core Weight: 184	Total Weight: 23835
c
c
c core #66
c 
c 
c Core size: 32	Core Weight: 155	Total Weight: 23990
c
c
c core #67
c 
c 
c Core size: 34	Core Weight: 89	Total Weight: 24079
c
c
c core #68
c 
c 
c Core size: 17	Core Weight: 268	Total Weight: 24347
c
c
c core #69
c 
c 
c Core size: 18	Core Weight: 392	Total Weight: 24739
c
c
c core #70
c 
c 
c Core size: 29	Core Weight: 167	Total Weight: 24906
c
c
c core #71
c 
c 
c Core size: 26	Core Weight: 410	Total Weight: 25316
c
c
c core #72
c 
c 
c Core size: 25	Core Weight: 68	Total Weight: 25384
c
c
c core #73
c 
c 
c Core size: 30	Core Weight: 90	Total Weight: 25474
c
c
c core #74
c 
c 
c Core size: 29	Core Weight: 139	Total Weight: 25613
c
c
c core #75
c 
c 
c Core size: 24	Core Weight: 62	Total Weight: 25675
c
c
c core #76
c 
c 
c Core size: 29	Core Weight: 66	Total Weight: 25741
c
c
c core #77
c 
c 
c Core size: 29	Core Weight: 144	Total Weight: 25885
c
c
c core #78
c 
c 
c Core size: 29	Core Weight: 15	Total Weight: 25900
c
c
c core #79
c 
c 
c Core size: 19	Core Weight: 251	Total Weight: 26151
c
c
c core #80
c 
c 
c Core size: 16	Core Weight: 139	Total Weight: 26290
c
c
c core #81
c 
c 
c Core size: 28	Core Weight: 213	Total Weight: 26503
c
c
c core #82
c 
c 
c Core size: 28	Core Weight: 11	Total Weight: 26514
c
c
c core #83
c 
c 
c Core size: 26	Core Weight: 9	Total Weight: 26523
c
c
c core #84
c 
c 
c Core size: 36	Core Weight: 86	Total Weight: 26609
c
c
c core #85
c 
c 
c Core size: 26	Core Weight: 4	Total Weight: 26613
c
c
c core #86
c 
c 
c Core size: 34	Core Weight: 56	Total Weight: 26669
c
c
c core #87
c 
c 
c Core size: 26	Core Weight: 28	Total Weight: 26697
c
c
c core #88
c 
c 
c Core size: 35	Core Weight: 59	Total Weight: 26756
c
c
c core #89
c 
c 
c Core size: 32	Core Weight: 25	Total Weight: 26781
c
c
c core #90
c 
c 
c Core size: 38	Core Weight: 12	Total Weight: 26793
c
c
c core #91
c 
c 
c Core size: 42	Core Weight: 66	Total Weight: 26859
c
c
c core #92
c 
c 
c Core size: 35	Core Weight: 7	Total Weight: 26866
c
c
c core #93
c 
c 
c Core size: 39	Core Weight: 90	Total Weight: 26956
c
c
c core #94
c 
c 
c Core size: 26	Core Weight: 26	Total Weight: 26982
c
c
c core #95
c 
c 
c Core size: 27	Core Weight: 46	Total Weight: 27028
c
c
c core #96
c 
c 
c Core size: 29	Core Weight: 38	Total Weight: 27066
c
c
c core #97
c 
c 
c Core size: 35	Core Weight: 18	Total Weight: 27084
c
c
c core #98
c 
c 
c Core size: 17	Core Weight: 44	Total Weight: 27128
c
c
c core #99
c 
c 
c Core size: 19	Core Weight: 205	Total Weight: 27333
c
c
c core #100
c 
c 
c Core size: 33	Core Weight: 28	Total Weight: 27361
c
c
c core #101
c 
c 
c Core size: 18	Core Weight: 444	Total Weight: 27805
c
c
c core #102
c 
c 
c Core size: 18	Core Weight: 114	Total Weight: 27919
c
c
c core #103
c 
c 
c Core size: 35	Core Weight: 18	Total Weight: 27937
c
c
c core #104
c 
c 
c Core size: 37	Core Weight: 28	Total Weight: 27965
c
c
c core #105
c 
c 
c Core size: 34	Core Weight: 41	Total Weight: 28006
c
c
c core #106
c 
c 
c Core size: 55	Core Weight: 11	Total Weight: 28017
c
c
c core #107
c 
c 
c Core size: 35	Core Weight: 177	Total Weight: 28194
c
c
c core #108
c 
c 
c Core size: 39	Core Weight: 170	Total Weight: 28364
c
c
c core #109
c 
c 
c Core size: 24	Core Weight: 94	Total Weight: 28458
c
c
c core #110
c 
c 
c Core size: 32	Core Weight: 30	Total Weight: 28488
c
c
c core #111
c 
c 
c Core size: 40	Core Weight: 42	Total Weight: 28530
c
c
c core #112
c 
c 
c Core size: 30	Core Weight: 171	Total Weight: 28701
c
c
c core #113
c 
c 
c Core size: 30	Core Weight: 66	Total Weight: 28767
c
c
c core #114
c 
c 
c Core size: 26	Core Weight: 43	Total Weight: 28810
c
c
c core #115
c 
c 
c Core size: 39	Core Weight: 36	Total Weight: 28846
c
c
c core #116
c 
c 
c Core size: 35	Core Weight: 15	Total Weight: 28861
c
c
c core #117
c 
c 
c Core size: 28	Core Weight: 13	Total Weight: 28874
c
c
c core #118
c 
c 
c Core size: 42	Core Weight: 15	Total Weight: 28889
c
c
c core #119
c 
c 
c Core size: 35	Core Weight: 111	Total Weight: 29000
c
c
c core #120
c 
c 
c Core size: 30	Core Weight: 831	Total Weight: 29831
c
c
c core #121
c 
c 
c Core size: 36	Core Weight: 41	Total Weight: 29872
c
c
c core #122
c 
c 
c Core size: 12	Core Weight: 138	Total Weight: 30010
c
c
c core #123
c 
c 
c Core size: 16	Core Weight: 150	Total Weight: 30160
c
c
c core #124
c 
c 
c Core size: 22	Core Weight: 91	Total Weight: 30251
c
c
c core #125
c 
c 
c Core size: 33	Core Weight: 31	Total Weight: 30282
c
c
c core #126
c 
c 
c Core size: 23	Core Weight: 117	Total Weight: 30399
c
c
c core #127
c 
c 
c Core size: 17	Core Weight: 572	Total Weight: 30971
c
c
c core #128
c 
c 
c Core size: 19	Core Weight: 61	Total Weight: 31032
c
c
c core #129
c 
c 
c Core size: 66	Core Weight: 32	Total Weight: 31064
c
c
c core #130
c 
c 
c Core size: 66	Core Weight: 3	Total Weight: 31067
c
c
c core #131
c 
c 
c Core size: 36	Core Weight: 22	Total Weight: 31089
c
c
c core #132
c 
c 
c Core size: 50	Core Weight: 14	Total Weight: 31103
c
c
c core #133
c 
c 
c Core size: 51	Core Weight: 3	Total Weight: 31106
c
c
c core #134
c 
c 
c Core size: 69	Core Weight: 13	Total Weight: 31119
c
c
c core #135
c 
c 
c Core size: 66	Core Weight: 21	Total Weight: 31140
c
c
c core #136
c 
c 
c Core size: 19	Core Weight: 53	Total Weight: 31193
c
c
c core #137
c 
c 
c Core size: 22	Core Weight: 69	Total Weight: 31262
c
c
c core #138
c 
c 
c Core size: 24	Core Weight: 175	Total Weight: 31437
c
c
c core #139
c 
c 
c Core size: 23	Core Weight: 156	Total Weight: 31593
c
c
c core #140
c 
c 
c Core size: 29	Core Weight: 85	Total Weight: 31678
c
c
c core #141
c 
c 
c Core size: 24	Core Weight: 70	Total Weight: 31748
c
c
c core #142
c 
c 
c Core size: 24	Core Weight: 292	Total Weight: 32040
c
c
c core #143
c 
c 
c Core size: 71	Core Weight: 3	Total Weight: 32043
c
c
c core #144
c 
c 
c Core size: 43	Core Weight: 43	Total Weight: 32086
c
c
c core #145
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 32087
c
c
c core #146
c 
c 
c Core size: 48	Core Weight: 7	Total Weight: 32094
c
c
c core #147
c 
c 
c Core size: 56	Core Weight: 12	Total Weight: 32106
c
c
c core #148
c 
c 
c Core size: 81	Core Weight: 5	Total Weight: 32111
c
c
c core #149
c 
c 
c Core size: 30	Core Weight: 111	Total Weight: 32222
c
c
c core #150
c 
c 
c Core size: 27	Core Weight: 23	Total Weight: 32245
c
c
c core #151
c 
c 
c Core size: 16	Core Weight: 422	Total Weight: 32667
c
c
c core #152
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 32668
c
c
c core #153
c 
c 
c Core size: 17	Core Weight: 205	Total Weight: 32873
c
c
c core #154
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 32874
c
c
c core #155
c 
c 
c Core size: 18	Core Weight: 113	Total Weight: 32987
c
c
c core #156
c 
c 
c Core size: 108	Core Weight: 7	Total Weight: 32994
c
c
c core #157
c 
c 
c Core size: 87	Core Weight: 7	Total Weight: 33001
c
c
c core #158
c 
c 
c Core size: 52	Core Weight: 42	Total Weight: 33043
c
c
c core #159
c 
c 
c Core size: 83	Core Weight: 2	Total Weight: 33045
c
c
c core #160
c 
c 
c Core size: 13	Core Weight: 44	Total Weight: 33089
c
c
c core #161
c 
c 
c Core size: 16	Core Weight: 264	Total Weight: 33353
c
c
c core #162
c 
c 
c Core size: 15	Core Weight: 108	Total Weight: 33461
c
c
c core #163
c 
c 
c Core size: 75	Core Weight: 2	Total Weight: 33463
c
c
c core #164
c 
c 
c Core size: 18	Core Weight: 347	Total Weight: 33810
c
c
c core #165
c 
c 
c Core size: 18	Core Weight: 22	Total Weight: 33832
c
c
c core #166
c 
c 
c Core size: 15	Core Weight: 233	Total Weight: 34065
c
c
c core #167
c 
c 
c Core size: 18	Core Weight: 53	Total Weight: 34118
c
c
c core #168
c 
c 
c Core size: 18	Core Weight: 397	Total Weight: 34515
c
c
c core #169
c 
c 
c Core size: 25	Core Weight: 15	Total Weight: 34530
c
c