Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_haplotyping-pedigrees_ped2.G.recomb10-0.01-4.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb10-0.01-4.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 592
c Current CPU time: 3.68744 s
c
c core #2
c 
c 
c Core size: 6	Core Weight: 581	Total Weight: 1173
c Current CPU time: 4.27335 s
c
c core #3
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 1754
c Current CPU time: 4.86426 s
c
c core #4
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 2335
c Current CPU time: 5.47317 s
c
c core #5
c 
c 
c Core size: 30	Core Weight: 581	Total Weight: 2916
c Current CPU time: 6.06608 s
c
c core #6
c 
c 
c Core size: 18	Core Weight: 581	Total Weight: 3497
c Current CPU time: 6.65699 s
c
c core #7
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 4078
c Current CPU time: 7.2469 s
c
c core #8
c 
c 
c Core size: 18	Core Weight: 581	Total Weight: 4659
c Current CPU time: 7.8628 s
c
c core #9
c 
c 
c Core size: 6	Core Weight: 581	Total Weight: 5240
c Current CPU time: 8.46171 s
c
c core #10
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 5821
c Current CPU time: 9.05262 s
c
c core #11
c 
c 
c Core size: 38	Core Weight: 581	Total Weight: 6402
c Current CPU time: 9.63654 s
c
c core #12
c 
c 
c Core size: 42	Core Weight: 581	Total Weight: 6983
c Current CPU time: 10.2384 s
c
c core #13
c 
c 
c Core size: 60	Core Weight: 581	Total Weight: 7564
c Current CPU time: 10.8483 s
c
c core #14
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 8145
c Current CPU time: 11.4483 s
c
c core #15
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 8726
c Current CPU time: 12.0402 s
c
c core #16
c 
c 
c Core size: 37	Core Weight: 581	Total Weight: 9307
c Current CPU time: 12.6401 s
c
c core #17
c 
c 
c Core size: 10	Core Weight: 581	Total Weight: 9888
c Current CPU time: 13.246 s
c
c core #18
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 10469
c Current CPU time: 13.8289 s
c
c core #19
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 11050
c Current CPU time: 14.4338 s
c
c core #20
c 
c 
c Core size: 81	Core Weight: 581	Total Weight: 11631
c Current CPU time: 15.0347 s
c
c core #21
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 12212
c Current CPU time: 15.6386 s
c
c core #22
c 
c 
c Core size: 48	Core Weight: 581	Total Weight: 12793
c Current CPU time: 16.2235 s
c
c core #23
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 13374
c Current CPU time: 16.8454 s
c
c core #24
c 
c 
c Core size: 72	Core Weight: 581	Total Weight: 13955
c Current CPU time: 17.4313 s
c
c core #25
c 
c 
c Core size: 10	Core Weight: 581	Total Weight: 14536
c Current CPU time: 18.0373 s
c
c core #26
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 15117
c Current CPU time: 18.6222 s
c
c core #27
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 15698
c Current CPU time: 19.2121 s
c
c core #28
c 
c 
c Core size: 38	Core Weight: 581	Total Weight: 16279
c Current CPU time: 19.804 s
c
c core #29
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 16860
c Current CPU time: 20.4149 s
c
c core #30
c 
c 
c Core size: 6	Core Weight: 581	Total Weight: 17441
c Current CPU time: 21.0218 s
c
c core #31
c 
c 
c Core size: 14	Core Weight: 581	Total Weight: 18022
c Current CPU time: 21.6207 s
c
c core #32
c 
c 
c Core size: 38	Core Weight: 581	Total Weight: 18603
c Current CPU time: 22.2116 s
c
c core #33
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 19184
c Current CPU time: 22.8145 s
c
c core #34
c 
c 
c Core size: 10	Core Weight: 581	Total Weight: 19765
c Current CPU time: 23.4084 s
c
c core #35
c 
c 
c Core size: 22	Core Weight: 581	Total Weight: 20346
c Current CPU time: 23.9984 s
c
c core #36
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 20927
c Current CPU time: 24.6013 s
c
c core #37
c 
c 
c Core size: 14	Core Weight: 581	Total Weight: 21508
c Current CPU time: 25.1922 s
c
c core #38
c 
c 
c Core size: 22	Core Weight: 581	Total Weight: 22089
c Current CPU time: 25.7901 s
c
c core #39
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 22670
c Current CPU time: 26.408 s
c
c core #40
c 
c 
c Core size: 22	Core Weight: 581	Total Weight: 23251
c Current CPU time: 26.9999 s
c
c core #41
c 
c 
c Core size: 155	Core Weight: 1	Total Weight: 23252
c Current CPU time: 27.5968 s
c
c core #42
c 
c 
c Core size: 149	Core Weight: 1	Total Weight: 23253
c Current CPU time: 28.2527 s
c
c core #43
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 23254
c Current CPU time: 28.8846 s
c
c core #44
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 23255
c Current CPU time: 29.5155 s
c
c core #45
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 23836
c Current CPU time: 30.1254 s
c
c core #46
c 
c 
c Core size: 104	Core Weight: 1	Total Weight: 23837
c Current CPU time: 30.7243 s
c
c core #47
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 23838
c Current CPU time: 31.3542 s
c
c core #48
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 23839
c Current CPU time: 32.0131 s
c
c core #49
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 23840
c Current CPU time: 32.61 s
c
c core #50
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 23841
c Current CPU time: 33.2339 s
c
c core #51
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 24422
c Current CPU time: 33.8409 s
c
c core #52
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 24423
c Current CPU time: 34.4518 s
c
c core #53
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 25004
c Current CPU time: 35.0517 s
c
c core #54
c 
c 
c Core size: 32	Core Weight: 581	Total Weight: 25585
c Current CPU time: 35.6726 s
c
c core #55
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 25586
c Current CPU time: 36.2835 s
c
c core #56
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 26167
c Current CPU time: 36.8804 s
c
c core #57
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 26748
c Current CPU time: 37.4823 s
c
c core #58
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 27329
c Current CPU time: 38.1132 s
c
c core #59
c 
c 
c Core size: 44	Core Weight: 580	Total Weight: 27909
c Current CPU time: 38.7271 s
c
c core #60
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 28490
c Current CPU time: 39.351 s
c
c core #61
c 
c 
c Core size: 104	Core Weight: 581	Total Weight: 29071
c Current CPU time: 39.9679 s
c
c core #62
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 29652
c Current CPU time: 40.5928 s
c
c core #63
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 29653
c Current CPU time: 41.2007 s
c
c core #64
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 29654
c Current CPU time: 41.8066 s
c
c core #65
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 29655
c Current CPU time: 42.4445 s
c
c core #66
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 30236
c Current CPU time: 43.0745 s
c
c core #67
c 
c 
c Core size: 67	Core Weight: 581	Total Weight: 30817
c Current CPU time: 43.6854 s
c
c core #68
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 30818
c Current CPU time: 44.3163 s
c
c core #69
c 
c 
c Core size: 82	Core Weight: 1	Total Weight: 30819
c Current CPU time: 44.9272 s
c
c core #70
c 
c 
c Core size: 202	Core Weight: 1	Total Weight: 30820
c Current CPU time: 45.5531 s
c
c core #71
c 
c 
c Core size: 533	Core Weight: 1	Total Weight: 30821
c Current CPU time: 46.207 s
c
c core #72
c 
c 
c Core size: 21	Core Weight: 579	Total Weight: 31400
c Current CPU time: 46.8849 s
c
c core #73
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 31402
c Current CPU time: 47.5038 s
c
c core #74
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 31403
c Current CPU time: 48.1267 s
c
c core #75
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 31984
c Current CPU time: 48.7356 s
c
c core #76
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 32565
c Current CPU time: 49.3465 s
c
c core #77
c 
c 
c Core size: 44	Core Weight: 581	Total Weight: 33146
c Current CPU time: 49.9884 s
c
c core #78
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 33727
c Current CPU time: 50.6123 s
c
c core #79
c 
c 
c Core size: 56	Core Weight: 581	Total Weight: 34308
c Current CPU time: 51.2332 s
c
c core #80
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 34309
c Current CPU time: 51.8751 s
c
c core #81
c 
c 
c Core size: 551	Core Weight: 1	Total Weight: 34310
c Current CPU time: 52.494 s
c
c core #82
c 
c 
c Core size: 130	Core Weight: 581	Total Weight: 34891
c Current CPU time: 53.1779 s
c
c core #83
c 
c 
c Core size: 443	Core Weight: 1	Total Weight: 34892
c Current CPU time: 53.8338 s
c
c core #84
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 34893
c Current CPU time: 54.5047 s
c
c core #85
c 
c 
c Core size: 52	Core Weight: 1	Total Weight: 34894
c Current CPU time: 55.1456 s
c
c core #86
c 
c 
c Core size: 96	Core Weight: 581	Total Weight: 35475
c Current CPU time: 55.7705 s
c
c core #87
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 36056
c Current CPU time: 56.4524 s
c
c core #88
c 
c 
c Core size: 24	Core Weight: 580	Total Weight: 36636
c Current CPU time: 57.0903 s
c
c core #89
c 
c 
c Core size: 31	Core Weight: 580	Total Weight: 37216
c Current CPU time: 57.7272 s
c
c core #90
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 37217
c Current CPU time: 58.3381 s
c
c core #91
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 37798
c Current CPU time: 59.005 s
c
c core #92
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 38379
c Current CPU time: 59.6099 s
c
c core #93
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 38380
c Current CPU time: 60.2568 s
c
c core #94
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 38381
c Current CPU time: 60.8687 s
c
c core #95
c 
c 
c Core size: 24	Core Weight: 580	Total Weight: 38961
c Current CPU time: 61.4837 s
c
c core #96
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 38962
c Current CPU time: 62.1116 s
c
c core #97
c 
c 
c Core size: 104	Core Weight: 580	Total Weight: 39542
c Current CPU time: 62.7295 s
c
c core #98
c 
c 
c Core size: 104	Core Weight: 1	Total Weight: 39543
c Current CPU time: 63.3754 s
c
c core #99
c 
c 
c Core size: 969	Core Weight: 1	Total Weight: 39544
c Current CPU time: 64.0363 s
c
c core #100
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 40125
c Current CPU time: 64.7202 s
c
c core #101
c 
c 
c Core size: 34	Core Weight: 581	Total Weight: 40706
c Current CPU time: 65.3281 s
c
c core #102
c 
c 
c Core size: 113	Core Weight: 581	Total Weight: 41287
c Current CPU time: 65.967 s
c
c core #103
c 
c 
c Core size: 145	Core Weight: 1	Total Weight: 41288
c Current CPU time: 66.6089 s
c
c core #104
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 41289
c Current CPU time: 67.2458 s
c
c core #105
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 41290
c Current CPU time: 67.8887 s
c
c core #106
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 41291
c Current CPU time: 68.5046 s
c
c core #107
c 
c 
c Core size: 55	Core Weight: 577	Total Weight: 41868
c Current CPU time: 69.1305 s
c
c core #108
c 
c 
c Core size: 39	Core Weight: 581	Total Weight: 42449
c Current CPU time: 69.7554 s
c
c core #109
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 43030
c Current CPU time: 70.3753 s
c
c core #110
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 43031
c Current CPU time: 70.9972 s
c
c core #111
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 43032
c Current CPU time: 71.6261 s
c
c core #112
c 
c 
c Core size: 99	Core Weight: 1	Total Weight: 43033
c Current CPU time: 72.257 s
c
c core #113
c 
c 
c Core size: 37	Core Weight: 571	Total Weight: 43604
c Current CPU time: 72.8919 s
c
c core #114
c 
c 
c Core size: 47	Core Weight: 10	Total Weight: 43614
c Current CPU time: 73.5288 s
c
c core #115
c 
c 
c Core size: 120	Core Weight: 581	Total Weight: 44195
c Current CPU time: 74.1657 s
c
c core #116
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 44196
c Current CPU time: 74.8186 s
c
c core #117
c 
c 
c Core size: 52	Core Weight: 4	Total Weight: 44200
c Current CPU time: 75.4405 s
c
c core #118
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 44201
c Current CPU time: 76.0734 s
c
c core #119
c 
c 
c Core size: 113	Core Weight: 1	Total Weight: 44202
c Current CPU time: 76.6973 s
c
c core #120
c 
c 
c Core size: 58	Core Weight: 576	Total Weight: 44778
c Current CPU time: 77.3502 s
c
c core #121
c 
c 
c Core size: 215	Core Weight: 1	Total Weight: 44779
c Current CPU time: 77.9791 s
c
c core #122
c 
c 
c Core size: 27	Core Weight: 580	Total Weight: 45359
c Current CPU time: 78.647 s
c
c core #123
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 45360
c Current CPU time: 79.2739 s
c
c core #124
c 
c 
c Core size: 87	Core Weight: 580	Total Weight: 45940
c Current CPU time: 79.9189 s
c
c core #125
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 45941
c Current CPU time: 80.5698 s
c
c core #126
c 
c 
c Core size: 110	Core Weight: 568	Total Weight: 46509
c Current CPU time: 81.2786 s
c
c core #127
c 
c 
c Core size: 145	Core Weight: 1	Total Weight: 46510
c Current CPU time: 81.9365 s
c
c core #128
c 
c 
c Core size: 128	Core Weight: 1	Total Weight: 46511
c Current CPU time: 82.5994 s
c
c core #129
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 46512
c Current CPU time: 83.2583 s
c
c core #130
c 
c 
c Core size: 184	Core Weight: 1	Total Weight: 46513
c Current CPU time: 83.9252 s
c
c core #131
c 
c 
c Core size: 289	Core Weight: 1	Total Weight: 46514
c Current CPU time: 84.6011 s
c
c core #132
c 
c 
c Core size: 242	Core Weight: 1	Total Weight: 46515
c Current CPU time: 85.291 s
c
c core #133
c 
c 
c Core size: 142	Core Weight: 1	Total Weight: 46516
c Current CPU time: 85.9589 s
c
c core #134
c 
c 
c Core size: 147	Core Weight: 1	Total Weight: 46517
c Current CPU time: 86.6428 s
c
c core #135
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 47098
c Current CPU time: 87.2897 s
c
c core #136
c 
c 
c Core size: 58	Core Weight: 580	Total Weight: 47678
c Current CPU time: 87.9356 s
c
c core #137
c 
c 
c Core size: 262	Core Weight: 1	Total Weight: 47679
c Current CPU time: 88.5785 s
c
c core #138
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 47680
c Current CPU time: 89.2554 s
c
c core #139
c 
c 
c Core size: 64	Core Weight: 581	Total Weight: 48261
c Current CPU time: 89.9103 s
c
c core #140
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 48262
c Current CPU time: 90.5862 s
c
c core #141
c 
c 
c Core size: 39	Core Weight: 579	Total Weight: 48841
c Current CPU time: 91.2391 s
c
c core #142
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 48842
c Current CPU time: 91.903 s
c
c core #143
c 
c 
c Core size: 202	Core Weight: 1	Total Weight: 48843
c Current CPU time: 92.5809 s
c
c core #144
c 
c 
c Core size: 113	Core Weight: 1	Total Weight: 48844
c Current CPU time: 93.2938 s
c
c core #145
c 
c 
c Core size: 64	Core Weight: 581	Total Weight: 49425
c Current CPU time: 93.9687 s
c
c core #146
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 50006
c Current CPU time: 94.6576 s
c
c core #147
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 50007
c Current CPU time: 95.3355 s
c
c core #148
c 
c 
c Core size: 257	Core Weight: 1	Total Weight: 50008
c Current CPU time: 96.0774 s
c
c core #149
c 
c 
c Core size: 153	Core Weight: 1	Total Weight: 50009
c Current CPU time: 96.7943 s
c
c core #150
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 50010
c Current CPU time: 97.5242 s
c
c core #151
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 50011
c Current CPU time: 98.2201 s
c
c core #152
c 
c 
c Core size: 24	Core Weight: 580	Total Weight: 50591
c Current CPU time: 98.988 s
c
c core #153
c 
c 
c Core size: 187	Core Weight: 1	Total Weight: 50592
c Current CPU time: 99.6668 s
c
c core #154
c 
c 
c Core size: 191	Core Weight: 1	Total Weight: 50593
c Current CPU time: 100.375 s
c
c core #155
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 51174
c Current CPU time: 101.117 s
c
c core #156
c 
c 
c Core size: 486	Core Weight: 1	Total Weight: 51175
c Current CPU time: 101.832 s
c
c core #157
c 
c 
c Core size: 44	Core Weight: 581	Total Weight: 51756
c Current CPU time: 102.654 s
c
c core #158
c 
c 
c Core size: 195	Core Weight: 1	Total Weight: 51757
c Current CPU time: 103.352 s
c
c core #159
c 
c 
c Core size: 50	Core Weight: 579	Total Weight: 52336
c Current CPU time: 104.068 s
c
c core #160
c 
c 
c Core size: 66	Core Weight: 580	Total Weight: 52916
c Current CPU time: 104.782 s
c
c core #161
c 
c 
c Core size: 188	Core Weight: 1	Total Weight: 52917
c Current CPU time: 105.468 s
c
c core #162
c 
c 
c Core size: 507	Core Weight: 1	Total Weight: 52918
c Current CPU time: 106.253 s
c
c core #163
c 
c 
c Core size: 101	Core Weight: 1	Total Weight: 52919
c Current CPU time: 106.982 s
c
c core #164
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 52920
c Current CPU time: 107.689 s
c
c core #165
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 53501
c Current CPU time: 108.376 s
c
c core #166
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 53502
c Current CPU time: 109.044 s
c
c core #167
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 53503
c Current CPU time: 109.733 s
c
c core #168
c 
c 
c Core size: 127	Core Weight: 565	Total Weight: 54068
c Current CPU time: 110.491 s
c
c core #169
c 
c 
c Core size: 127	Core Weight: 15	Total Weight: 54083
c Current CPU time: 111.27 s
c
c core #170
c 
c 
c Core size: 26	Core Weight: 581	Total Weight: 54664
c Current CPU time: 112 s
c
c core #171
c 
c 
c Core size: 127	Core Weight: 1	Total Weight: 54665
c Current CPU time: 112.692 s
c
c core #172
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 54666
c Current CPU time: 113.418 s
c
c core #173
c 
c 
c Core size: 46	Core Weight: 581	Total Weight: 55247
c Current CPU time: 114.123 s
c
c core #174
c 
c 
c Core size: 79	Core Weight: 580	Total Weight: 55827
c Current CPU time: 114.899 s
c
c core #175
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 56408
c Current CPU time: 115.589 s
c
c core #176
c 
c 
c Core size: 113	Core Weight: 1	Total Weight: 56409
c Current CPU time: 116.295 s
c
c core #177
c 
c 
c Core size: 32	Core Weight: 581	Total Weight: 56990
c Current CPU time: 117.016 s
c
c core #178
c 
c 
c Core size: 44	Core Weight: 581	Total Weight: 57571
c Current CPU time: 117.714 s
c
c core #179
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 58152
c Current CPU time: 118.433 s
c
c core #180
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 58733
c Current CPU time: 119.168 s
c
c core #181
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 58734
c Current CPU time: 119.944 s
c
c core #182
c 
c 
c Core size: 397	Core Weight: 1	Total Weight: 58735
c Current CPU time: 120.761 s
c
c core #183
c 
c 
c Core size: 238	Core Weight: 1	Total Weight: 58736
c Current CPU time: 121.587 s
c
c core #184
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 58737
c Current CPU time: 122.449 s
c
c core #185
c 
c 
c Core size: 86	Core Weight: 1	Total Weight: 58738
c Current CPU time: 123.184 s
c
c core #186
c 
c 
c Core size: 534	Core Weight: 1	Total Weight: 58739
c Current CPU time: 124.034 s
c
c core #187
c 
c 
c Core size: 428	Core Weight: 1	Total Weight: 58740
c Current CPU time: 124.877 s
c
c core #188
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 58741
c Current CPU time: 125.694 s
c
c core #189
c 
c 
c Core size: 66	Core Weight: 1	Total Weight: 58742
c Current CPU time: 126.477 s
c
c core #190
c 
c 
c Core size: 191	Core Weight: 1	Total Weight: 58743
c Current CPU time: 127.368 s
c
c core #191
c 
c 
c Core size: 166	Core Weight: 1	Total Weight: 58744
c Current CPU time: 128.15 s
c
c core #192
c 
c 
c Core size: 105	Core Weight: 1	Total Weight: 58745
c Current CPU time: 128.964 s
c
c core #193
c 
c 
c Core size: 152	Core Weight: 1	Total Weight: 58746
c Current CPU time: 130.112 s
c
c core #194
c 
c 
c Core size: 210	Core Weight: 1	Total Weight: 58747
c Current CPU time: 130.912 s
c
c core #195
c 
c 
c Core size: 296	Core Weight: 1	Total Weight: 58748
c Current CPU time: 131.827 s
c
c core #196
c 
c 
c Core size: 256	Core Weight: 1	Total Weight: 58749
c Current CPU time: 132.851 s
c
c core #197
c 
c 
c Core size: 592	Core Weight: 1	Total Weight: 58750
c Current CPU time: 133.86 s
c
c core #198
c 
c 
c Core size: 345	Core Weight: 1	Total Weight: 58751
c Current CPU time: 134.98 s
c
c core #199
c 
c 
c Core size: 242	Core Weight: 1	Total Weight: 58752
c Current CPU time: 135.937 s
c
c core #200
c 
c 
c Core size: 192	Core Weight: 1	Total Weight: 58753
c Current CPU time: 136.929 s
c
c core #201
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 58754
c Current CPU time: 138.193 s
c
c core #202
c 
c 
c Core size: 804	Core Weight: 1	Total Weight: 58755
c Current CPU time: 139.439 s
c
c core #203
c 
c 
c Core size: 453	Core Weight: 1	Total Weight: 58756
c Current CPU time: 141.166 s
c
c core #204
c 
c 
c Core size: 485	Core Weight: 1	Total Weight: 58757
c Current CPU time: 142.423 s
c
c core #205
c 
c 
c Core size: 248	Core Weight: 1	Total Weight: 58758
c Current CPU time: 144.01 s
c
c core #206
c 
c 
c Core size: 508	Core Weight: 1	Total Weight: 58759
c Current CPU time: 145.079 s
c
c core #207
c 
c 
c Core size: 902	Core Weight: 1	Total Weight: 58760
c Current CPU time: 146.638 s
c
c core #208
c 
c 
c Core size: 496	Core Weight: 1	Total Weight: 58761
c Current CPU time: 148.294 s
c
c core #209
c 
c 
c Core size: 330	Core Weight: 1	Total Weight: 58762
c Current CPU time: 149.768 s
c
c core #210
c 
c 
c Core size: 1363	Core Weight: 1	Total Weight: 58763
c Current CPU time: 151.133 s
c
c core #211
c 
c 
c Core size: 806	Core Weight: 1	Total Weight: 58764
c Current CPU time: 152.848 s
c
c core #212
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 58765
c Current CPU time: 154.066 s
c
c core #213
c 
c 
c Core size: 403	Core Weight: 1	Total Weight: 58766
c Current CPU time: 156.837 s
c
c core #214
c 
c 
c Core size: 130	Core Weight: 1	Total Weight: 58767
c Current CPU time: 158.377 s
c
c core #215
c 
c 
c Core size: 513	Core Weight: 1	Total Weight: 58768
c Current CPU time: 161.529 s
c
c core #216
c 
c 
c Core size: 1130	Core Weight: 1	Total Weight: 58769
c Current CPU time: 163.301 s
c
c core #217
c 
c 
c Core size: 157	Core Weight: 1	Total Weight: 58770
c Current CPU time: 164.451 s
c
c core #218
c 
c 
c Core size: 528	Core Weight: 1	Total Weight: 58771
c Current CPU time: 167.736 s
c
c core #219
c 
c 
c Core size: 1006	Core Weight: 1	Total Weight: 58772
c Current CPU time: 170.496 s
c
c core #220
c 
c 
c Core size: 595	Core Weight: 1	Total Weight: 58773
c Current CPU time: 173.84 s
c
c core #221
c 
c 
c Core size: 700	Core Weight: 1	Total Weight: 58774
c Current CPU time: 176.173 s
c
c core #222
c 
c 
c Core size: 2633	Core Weight: 1	Total Weight: 58775
c Current CPU time: 183.483 s
c
c core #223
c 
c 
c Core size: 1887	Core Weight: 1	Total Weight: 58776
c Current CPU time: 193.1 s
c
c core #224
c 
c 
c Core size: 1855	Core Weight: 1	Total Weight: 58777
c Current CPU time: 200.869 s
c
c core #225
c 
c 
c Core size: 950	Core Weight: 1	Total Weight: 58778
c Current CPU time: 205.726 s
c
c core #226
c 
c 
c Core size: 2413	Core Weight: 1	Total Weight: 58779
c Current CPU time: 230.045 s
c
c core #227
c 
c 
c Core size: 2788	Core Weight: 1	Total Weight: 58780
c Current CPU time: 255.543 s
c
c core #228
c 
c 
c Core size: 1833	Core Weight: 1	Total Weight: 58781
c Current CPU time: 266.518 s
c
c core #229
c 
c 
c Core size: 3279	Core Weight: 1	Total Weight: 58782
c Current CPU time: 355.768 s
c