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.10-9.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb10-0.10-9.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 1750
c Current CPU time: 4.05938 s
c
c core #2
c 
c 
c Core size: 25	Core Weight: 581	Total Weight: 2331
c Current CPU time: 4.70828 s
c
c core #3
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 2912
c Current CPU time: 5.35419 s
c
c core #4
c 
c 
c Core size: 62	Core Weight: 581	Total Weight: 3493
c Current CPU time: 5.99309 s
c
c core #5
c 
c 
c Core size: 112	Core Weight: 581	Total Weight: 4074
c Current CPU time: 6.66199 s
c
c core #6
c 
c 
c Core size: 120	Core Weight: 581	Total Weight: 4655
c Current CPU time: 7.33788 s
c
c core #7
c 
c 
c Core size: 148	Core Weight: 581	Total Weight: 5236
c Current CPU time: 7.99478 s
c
c core #8
c 
c 
c Core size: 90	Core Weight: 581	Total Weight: 5817
c Current CPU time: 8.65568 s
c
c core #9
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 6398
c Current CPU time: 9.33658 s
c
c core #10
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 6979
c Current CPU time: 9.97048 s
c
c core #11
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 7560
c Current CPU time: 10.6144 s
c
c core #12
c 
c 
c Core size: 56	Core Weight: 581	Total Weight: 8141
c Current CPU time: 11.2453 s
c
c core #13
c 
c 
c Core size: 18	Core Weight: 581	Total Weight: 8722
c Current CPU time: 11.9252 s
c
c core #14
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 9303
c Current CPU time: 12.5641 s
c
c core #15
c 
c 
c Core size: 62	Core Weight: 581	Total Weight: 9884
c Current CPU time: 13.206 s
c
c core #16
c 
c 
c Core size: 54	Core Weight: 581	Total Weight: 10465
c Current CPU time: 13.8799 s
c
c core #17
c 
c 
c Core size: 6	Core Weight: 581	Total Weight: 11046
c Current CPU time: 14.5328 s
c
c core #18
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 11627
c Current CPU time: 15.1657 s
c
c core #19
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 12208
c Current CPU time: 15.8006 s
c
c core #20
c 
c 
c Core size: 42	Core Weight: 581	Total Weight: 12789
c Current CPU time: 16.4295 s
c
c core #21
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 13370
c Current CPU time: 17.0844 s
c
c core #22
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 13951
c Current CPU time: 17.7293 s
c
c core #23
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 14532
c Current CPU time: 18.3662 s
c
c core #24
c 
c 
c Core size: 43	Core Weight: 581	Total Weight: 15113
c Current CPU time: 19.0111 s
c
c core #25
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 15694
c Current CPU time: 19.665 s
c
c core #26
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 16275
c Current CPU time: 20.2959 s
c
c core #27
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 16856
c Current CPU time: 20.9308 s
c
c core #28
c 
c 
c Core size: 45	Core Weight: 581	Total Weight: 17437
c Current CPU time: 21.5727 s
c
c core #29
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 17438
c Current CPU time: 22.2306 s
c
c core #30
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 18019
c Current CPU time: 22.8795 s
c
c core #31
c 
c 
c Core size: 5	Core Weight: 1	Total Weight: 18020
c Current CPU time: 23.5254 s
c
c core #32
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 18021
c Current CPU time: 24.1653 s
c
c core #33
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 18022
c Current CPU time: 24.8112 s
c
c core #34
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 18023
c Current CPU time: 25.4571 s
c
c core #35
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 18024
c Current CPU time: 26.107 s
c
c core #36
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 18025
c Current CPU time: 26.7649 s
c
c core #37
c 
c 
c Core size: 58	Core Weight: 579	Total Weight: 18604
c Current CPU time: 27.4248 s
c
c core #38
c 
c 
c Core size: 103	Core Weight: 1	Total Weight: 18605
c Current CPU time: 28.0927 s
c
c core #39
c 
c 
c Core size: 115	Core Weight: 581	Total Weight: 19186
c Current CPU time: 28.7706 s
c
c core #40
c 
c 
c Core size: 29	Core Weight: 581	Total Weight: 19767
c Current CPU time: 29.4455 s
c
c core #41
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 20348
c Current CPU time: 30.1044 s
c
c core #42
c 
c 
c Core size: 48	Core Weight: 581	Total Weight: 20929
c Current CPU time: 30.7563 s
c
c core #43
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 21510
c Current CPU time: 31.4142 s
c
c core #44
c 
c 
c Core size: 44	Core Weight: 581	Total Weight: 22091
c Current CPU time: 32.0701 s
c
c core #45
c 
c 
c Core size: 223	Core Weight: 1	Total Weight: 22092
c Current CPU time: 32.73 s
c
c core #46
c 
c 
c Core size: 56	Core Weight: 581	Total Weight: 22673
c Current CPU time: 33.4209 s
c
c core #47
c 
c 
c Core size: 115	Core Weight: 581	Total Weight: 23254
c Current CPU time: 34.0748 s
c
c core #48
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 23835
c Current CPU time: 34.8007 s
c
c core #49
c 
c 
c Core size: 69	Core Weight: 581	Total Weight: 24416
c Current CPU time: 35.4526 s
c
c core #50
c 
c 
c Core size: 196	Core Weight: 1	Total Weight: 24417
c Current CPU time: 36.1125 s
c
c core #51
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 24418
c Current CPU time: 36.7854 s
c
c core #52
c 
c 
c Core size: 303	Core Weight: 1	Total Weight: 24419
c Current CPU time: 37.4293 s
c
c core #53
c 
c 
c Core size: 172	Core Weight: 1	Total Weight: 24420
c Current CPU time: 38.1152 s
c
c core #54
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 25001
c Current CPU time: 38.7991 s
c
c core #55
c 
c 
c Core size: 52	Core Weight: 581	Total Weight: 25582
c Current CPU time: 39.442 s
c
c core #56
c 
c 
c Core size: 221	Core Weight: 1	Total Weight: 25583
c Current CPU time: 40.1009 s
c
c core #57
c 
c 
c Core size: 44	Core Weight: 581	Total Weight: 26164
c Current CPU time: 40.7968 s
c
c core #58
c 
c 
c Core size: 120	Core Weight: 581	Total Weight: 26745
c Current CPU time: 41.4377 s
c
c core #59
c 
c 
c Core size: 67	Core Weight: 581	Total Weight: 27326
c Current CPU time: 42.1146 s
c
c core #60
c 
c 
c Core size: 53	Core Weight: 581	Total Weight: 27907
c Current CPU time: 42.7935 s
c
c core #61
c 
c 
c Core size: 81	Core Weight: 581	Total Weight: 28488
c Current CPU time: 43.4394 s
c
c core #62
c 
c 
c Core size: 378	Core Weight: 1	Total Weight: 28489
c Current CPU time: 44.1563 s
c
c core #63
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 29070
c Current CPU time: 44.8412 s
c
c core #64
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 29651
c Current CPU time: 45.5181 s
c
c core #65
c 
c 
c Core size: 148	Core Weight: 1	Total Weight: 29652
c Current CPU time: 46.176 s
c
c core #66
c 
c 
c Core size: 673	Core Weight: 1	Total Weight: 29653
c Current CPU time: 46.8789 s
c
c core #67
c 
c 
c Core size: 89	Core Weight: 580	Total Weight: 30233
c Current CPU time: 47.5898 s
c
c core #68
c 
c 
c Core size: 16	Core Weight: 580	Total Weight: 30813
c Current CPU time: 48.2697 s
c
c core #69
c 
c 
c Core size: 27	Core Weight: 578	Total Weight: 31391
c Current CPU time: 48.9376 s
c
c core #70
c 
c 
c Core size: 96	Core Weight: 581	Total Weight: 31972
c Current CPU time: 49.6135 s
c
c core #71
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 31973
c Current CPU time: 50.3094 s
c
c core #72
c 
c 
c Core size: 124	Core Weight: 581	Total Weight: 32554
c Current CPU time: 50.9753 s
c
c core #73
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 33135
c Current CPU time: 51.6701 s
c
c core #74
c 
c 
c Core size: 124	Core Weight: 581	Total Weight: 33716
c Current CPU time: 52.332 s
c
c core #75
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 33717
c Current CPU time: 53.0769 s
c
c core #76
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 34298
c Current CPU time: 53.7508 s
c
c core #77
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 34879
c Current CPU time: 54.4337 s
c
c core #78
c 
c 
c Core size: 89	Core Weight: 1	Total Weight: 34880
c Current CPU time: 55.0996 s
c
c core #79
c 
c 
c Core size: 376	Core Weight: 1	Total Weight: 34881
c Current CPU time: 55.7935 s
c
c core #80
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 34882
c Current CPU time: 56.4934 s
c
c core #81
c 
c 
c Core size: 535	Core Weight: 1	Total Weight: 34883
c Current CPU time: 57.1593 s
c
c core #82
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 34884
c Current CPU time: 57.8822 s
c
c core #83
c 
c 
c Core size: 1567	Core Weight: 1	Total Weight: 34885
c Current CPU time: 58.6011 s
c
c core #84
c 
c 
c Core size: 49	Core Weight: 580	Total Weight: 35465
c Current CPU time: 59.332 s
c
c core #85
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 36046
c Current CPU time: 60.0239 s
c
c core #86
c 
c 
c Core size: 57	Core Weight: 581	Total Weight: 36627
c Current CPU time: 60.6988 s
c
c core #87
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 37208
c Current CPU time: 61.3797 s
c
c core #88
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 37209
c Current CPU time: 62.0566 s
c
c core #89
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 37210
c Current CPU time: 62.7285 s
c
c core #90
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 37211
c Current CPU time: 63.4324 s
c
c core #91
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 37792
c Current CPU time: 64.1283 s
c
c core #92
c 
c 
c Core size: 20	Core Weight: 580	Total Weight: 38372
c Current CPU time: 64.8051 s
c
c core #93
c 
c 
c Core size: 38	Core Weight: 581	Total Weight: 38953
c Current CPU time: 65.477 s
c
c core #94
c 
c 
c Core size: 265	Core Weight: 1	Total Weight: 38954
c Current CPU time: 66.1779 s
c
c core #95
c 
c 
c Core size: 127	Core Weight: 577	Total Weight: 39531
c Current CPU time: 66.9268 s
c
c core #96
c 
c 
c Core size: 127	Core Weight: 4	Total Weight: 39535
c Current CPU time: 67.6527 s
c
c core #97
c 
c 
c Core size: 103	Core Weight: 1	Total Weight: 39536
c Current CPU time: 68.4346 s
c
c core #98
c 
c 
c Core size: 37	Core Weight: 573	Total Weight: 40109
c Current CPU time: 69.1525 s
c
c core #99
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 40690
c Current CPU time: 69.8424 s
c
c core #100
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 40691
c Current CPU time: 70.5343 s
c
c core #101
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 41272
c Current CPU time: 71.2232 s
c
c core #102
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 41273
c Current CPU time: 71.9121 s
c
c core #103
c 
c 
c Core size: 73	Core Weight: 579	Total Weight: 41852
c Current CPU time: 72.602 s
c
c core #104
c 
c 
c Core size: 20	Core Weight: 1	Total Weight: 41853
c Current CPU time: 73.3439 s
c
c core #105
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 42434
c Current CPU time: 74.0357 s
c
c core #106
c 
c 
c Core size: 299	Core Weight: 1	Total Weight: 42435
c Current CPU time: 74.7406 s
c
c core #107
c 
c 
c Core size: 253	Core Weight: 1	Total Weight: 42436
c Current CPU time: 75.4875 s
c
c core #108
c 
c 
c Core size: 238	Core Weight: 1	Total Weight: 42437
c Current CPU time: 76.2344 s
c
c core #109
c 
c 
c Core size: 83	Core Weight: 581	Total Weight: 43018
c Current CPU time: 76.9963 s
c
c core #110
c 
c 
c Core size: 73	Core Weight: 2	Total Weight: 43020
c Current CPU time: 77.7022 s
c
c core #111
c 
c 
c Core size: 61	Core Weight: 577	Total Weight: 43597
c Current CPU time: 78.4461 s
c
c core #112
c 
c 
c Core size: 108	Core Weight: 581	Total Weight: 44178
c Current CPU time: 79.179 s
c
c core #113
c 
c 
c Core size: 105	Core Weight: 1	Total Weight: 44179
c Current CPU time: 79.9388 s
c
c core #114
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 44180
c Current CPU time: 80.6717 s
c
c core #115
c 
c 
c Core size: 434	Core Weight: 1	Total Weight: 44181
c Current CPU time: 81.3786 s
c
c core #116
c 
c 
c Core size: 220	Core Weight: 1	Total Weight: 44182
c Current CPU time: 82.1765 s
c
c core #117
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 44183
c Current CPU time: 82.9324 s
c
c core #118
c 
c 
c Core size: 190	Core Weight: 1	Total Weight: 44184
c Current CPU time: 83.6533 s
c
c core #119
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 44185
c Current CPU time: 84.3852 s
c
c core #120
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 44186
c Current CPU time: 85.1371 s
c
c core #121
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 44187
c Current CPU time: 85.8819 s
c
c core #122
c 
c 
c Core size: 357	Core Weight: 1	Total Weight: 44188
c Current CPU time: 86.6198 s
c
c core #123
c 
c 
c Core size: 612	Core Weight: 1	Total Weight: 44189
c Current CPU time: 87.6097 s
c
c core #124
c 
c 
c Core size: 121	Core Weight: 1	Total Weight: 44190
c Current CPU time: 88.4066 s
c
c core #125
c 
c 
c Core size: 208	Core Weight: 1	Total Weight: 44191
c Current CPU time: 89.1554 s
c
c core #126
c 
c 
c Core size: 54	Core Weight: 580	Total Weight: 44771
c Current CPU time: 89.9513 s
c
c core #127
c 
c 
c Core size: 614	Core Weight: 1	Total Weight: 44772
c Current CPU time: 90.7112 s
c
c core #128
c 
c 
c Core size: 110	Core Weight: 1	Total Weight: 44773
c Current CPU time: 91.5111 s
c
c core #129
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 45354
c Current CPU time: 92.259 s
c
c core #130
c 
c 
c Core size: 106	Core Weight: 563	Total Weight: 45917
c Current CPU time: 93.0059 s
c
c core #131
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 46498
c Current CPU time: 93.8057 s
c
c core #132
c 
c 
c Core size: 105	Core Weight: 1	Total Weight: 46499
c Current CPU time: 94.5966 s
c
c core #133
c 
c 
c Core size: 436	Core Weight: 1	Total Weight: 46500
c Current CPU time: 95.3765 s
c
c core #134
c 
c 
c Core size: 98	Core Weight: 17	Total Weight: 46517
c Current CPU time: 96.1954 s
c
c core #135
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 46518
c Current CPU time: 96.9613 s
c
c core #136
c 
c 
c Core size: 104	Core Weight: 581	Total Weight: 47099
c Current CPU time: 97.7211 s
c
c core #137
c 
c 
c Core size: 786	Core Weight: 1	Total Weight: 47100
c Current CPU time: 98.512 s
c
c core #138
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 47101
c Current CPU time: 99.3339 s
c
c core #139
c 
c 
c Core size: 305	Core Weight: 1	Total Weight: 47102
c Current CPU time: 100.224 s
c
c core #140
c 
c 
c Core size: 56	Core Weight: 575	Total Weight: 47677
c Current CPU time: 101.061 s
c
c core #141
c 
c 
c Core size: 52	Core Weight: 1	Total Weight: 47678
c Current CPU time: 102.017 s
c
c core #142
c 
c 
c Core size: 56	Core Weight: 2	Total Weight: 47680
c Current CPU time: 102.814 s
c
c core #143
c 
c 
c Core size: 376	Core Weight: 1	Total Weight: 47681
c Current CPU time: 103.651 s
c
c core #144
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 47682
c Current CPU time: 104.498 s
c
c core #145
c 
c 
c Core size: 115	Core Weight: 1	Total Weight: 47683
c Current CPU time: 105.291 s
c
c core #146
c 
c 
c Core size: 181	Core Weight: 1	Total Weight: 47684
c Current CPU time: 106.213 s
c
c core #147
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 47685
c Current CPU time: 107.138 s
c
c core #148
c 
c 
c Core size: 405	Core Weight: 1	Total Weight: 47686
c Current CPU time: 107.977 s
c
c core #149
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 47687
c Current CPU time: 108.848 s
c
c core #150
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 47688
c Current CPU time: 109.681 s
c
c core #151
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 47689
c Current CPU time: 110.613 s
c
c core #152
c 
c 
c Core size: 48	Core Weight: 4	Total Weight: 47693
c Current CPU time: 111.428 s
c
c core #153
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 47694
c Current CPU time: 112.399 s
c
c core #154
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 47695
c Current CPU time: 113.285 s
c
c core #155
c 
c 
c Core size: 494	Core Weight: 1	Total Weight: 47696
c Current CPU time: 114.151 s
c
c core #156
c 
c 
c Core size: 329	Core Weight: 1	Total Weight: 47697
c Current CPU time: 115.053 s
c
c core #157
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 47698
c Current CPU time: 115.909 s
c
c core #158
c 
c 
c Core size: 430	Core Weight: 1	Total Weight: 47699
c Current CPU time: 116.824 s
c
c core #159
c 
c 
c Core size: 155	Core Weight: 1	Total Weight: 47700
c Current CPU time: 117.797 s
c
c core #160
c 
c 
c Core size: 121	Core Weight: 1	Total Weight: 47701
c Current CPU time: 118.819 s
c
c core #161
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 47702
c Current CPU time: 119.764 s
c
c core #162
c 
c 
c Core size: 1552	Core Weight: 1	Total Weight: 47703
c Current CPU time: 121.106 s
c
c core #163
c 
c 
c Core size: 141	Core Weight: 1	Total Weight: 47704
c Current CPU time: 122.239 s
c
c core #164
c 
c 
c Core size: 206	Core Weight: 1	Total Weight: 47705
c Current CPU time: 123.27 s
c
c core #165
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 47706
c Current CPU time: 124.348 s
c
c core #166
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 47707
c Current CPU time: 125.428 s
c
c core #167
c 
c 
c Core size: 510	Core Weight: 1	Total Weight: 47708
c Current CPU time: 126.509 s
c
c core #168
c 
c 
c Core size: 213	Core Weight: 1	Total Weight: 47709
c Current CPU time: 127.405 s
c
c core #169
c 
c 
c Core size: 497	Core Weight: 1	Total Weight: 47710
c Current CPU time: 128.684 s
c
c core #170
c 
c 
c Core size: 265	Core Weight: 1	Total Weight: 47711
c Current CPU time: 129.643 s
c
c core #171
c 
c 
c Core size: 432	Core Weight: 1	Total Weight: 47712
c Current CPU time: 130.67 s
c
c core #172
c 
c 
c Core size: 245	Core Weight: 1	Total Weight: 47713
c Current CPU time: 131.904 s
c
c core #173
c 
c 
c Core size: 743	Core Weight: 1	Total Weight: 47714
c Current CPU time: 133.879 s
c
c core #174
c 
c 
c Core size: 276	Core Weight: 1	Total Weight: 47715
c Current CPU time: 135.116 s
c
c core #175
c 
c 
c Core size: 201	Core Weight: 1	Total Weight: 47716
c Current CPU time: 136.31 s
c
c core #176
c 
c 
c Core size: 641	Core Weight: 1	Total Weight: 47717
c Current CPU time: 137.602 s
c
c core #177
c 
c 
c Core size: 1204	Core Weight: 1	Total Weight: 47718
c Current CPU time: 138.922 s
c
c core #178
c 
c 
c Core size: 679	Core Weight: 1	Total Weight: 47719
c Current CPU time: 140.144 s
c
c core #179
c 
c 
c Core size: 89	Core Weight: 1	Total Weight: 47720
c Current CPU time: 141.287 s
c
c core #180
c 
c 
c Core size: 109	Core Weight: 1	Total Weight: 47721
c Current CPU time: 142.542 s
c
c core #181
c 
c 
c Core size: 391	Core Weight: 1	Total Weight: 47722
c Current CPU time: 143.656 s
c
c core #182
c 
c 
c Core size: 275	Core Weight: 1	Total Weight: 47723
c Current CPU time: 144.871 s
c
c core #183
c 
c 
c Core size: 1012	Core Weight: 1	Total Weight: 47724
c Current CPU time: 146.467 s
c
c core #184
c 
c 
c Core size: 134	Core Weight: 1	Total Weight: 47725
c Current CPU time: 147.988 s
c
c core #185
c 
c 
c Core size: 184	Core Weight: 1	Total Weight: 47726
c Current CPU time: 149.561 s
c
c core #186
c 
c 
c Core size: 272	Core Weight: 1	Total Weight: 47727
c Current CPU time: 151.308 s
c
c core #187
c 
c 
c Core size: 291	Core Weight: 1	Total Weight: 47728
c Current CPU time: 152.741 s
c
c core #188
c 
c 
c Core size: 1048	Core Weight: 1	Total Weight: 47729
c Current CPU time: 154.696 s
c
c core #189
c 
c 
c Core size: 446	Core Weight: 1	Total Weight: 47730
c Current CPU time: 156.226 s
c
c core #190
c 
c 
c Core size: 1740	Core Weight: 1	Total Weight: 47731
c Current CPU time: 158.669 s
c
c core #191
c 
c 
c Core size: 90	Core Weight: 1	Total Weight: 47732
c Current CPU time: 160.332 s
c
c core #192
c 
c 
c Core size: 549	Core Weight: 1	Total Weight: 47733
c Current CPU time: 162.218 s
c
c core #193
c 
c 
c Core size: 1216	Core Weight: 1	Total Weight: 47734
c Current CPU time: 165.512 s
c
c core #194
c 
c 
c Core size: 372	Core Weight: 1	Total Weight: 47735
c Current CPU time: 168.066 s
c
c core #195
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 47736
c Current CPU time: 170.026 s
c
c core #196
c 
c 
c Core size: 2243	Core Weight: 1	Total Weight: 47737
c Current CPU time: 174.818 s
c
c core #197
c 
c 
c Core size: 3253	Core Weight: 1	Total Weight: 47738
c Current CPU time: 182.901 s
c
c core #198
c 
c 
c Core size: 550	Core Weight: 1	Total Weight: 47739
c Current CPU time: 185.724 s
c
c core #199
c 
c 
c Core size: 2603	Core Weight: 1	Total Weight: 47740
c Current CPU time: 215.993 s
c