Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_pseudo_miplib_normalized-mps-v2-20-10-lp4l.opb.msat.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/pseudo/miplib/normalized-mps-v2-20-10-lp4l.opb.msat.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 43	Core Weight: 83	Total Weight: 83
c Current CPU time: 0.100984 s
c
c core #2
c 
c 
c Core size: 81	Core Weight: 46	Total Weight: 129
c Current CPU time: 0.132979 s
c
c core #3
c 
c 
c Core size: 168	Core Weight: 3	Total Weight: 132
c Current CPU time: 0.165974 s
c
c core #4
c 
c 
c Core size: 227	Core Weight: 1	Total Weight: 133
c Current CPU time: 0.198969 s
c
c core #5
c 
c 
c Core size: 47	Core Weight: 47	Total Weight: 180
c Current CPU time: 0.231964 s
c
c core #6
c 
c 
c Core size: 71	Core Weight: 5	Total Weight: 185
c Current CPU time: 0.263959 s
c
c core #7
c 
c 
c Core size: 57	Core Weight: 13	Total Weight: 198
c Current CPU time: 0.296954 s
c
c core #8
c 
c 
c Core size: 29	Core Weight: 41	Total Weight: 239
c Current CPU time: 0.329949 s
c
c core #9
c 
c 
c Core size: 176	Core Weight: 4	Total Weight: 243
c Current CPU time: 0.361944 s
c
c core #10
c 
c 
c Core size: 25	Core Weight: 39	Total Weight: 282
c Current CPU time: 0.395939 s
c
c core #11
c 
c 
c Core size: 273	Core Weight: 2	Total Weight: 284
c Current CPU time: 0.428934 s
c
c core #12
c 
c 
c Core size: 320	Core Weight: 12	Total Weight: 296
c Current CPU time: 0.464929 s
c
c core #13
c 
c 
c Core size: 43	Core Weight: 45	Total Weight: 341
c Current CPU time: 0.500923 s
c
c core #14
c 
c 
c Core size: 109	Core Weight: 19	Total Weight: 360
c Current CPU time: 0.534918 s
c
c core #15
c 
c 
c Core size: 194	Core Weight: 2	Total Weight: 362
c Current CPU time: 0.568913 s
c
c core #16
c 
c 
c Core size: 129	Core Weight: 12	Total Weight: 374
c Current CPU time: 0.605907 s
c
c core #17
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 375
c Current CPU time: 0.639902 s
c
c core #18
c 
c 
c Core size: 91	Core Weight: 16	Total Weight: 391
c Current CPU time: 0.674897 s
c
c core #19
c 
c 
c Core size: 59	Core Weight: 41	Total Weight: 432
c Current CPU time: 0.710891 s
c
c core #20
c 
c 
c Core size: 324	Core Weight: 2	Total Weight: 434
c Current CPU time: 0.747886 s
c
c core #21
c 
c 
c Core size: 403	Core Weight: 1	Total Weight: 435
c Current CPU time: 0.78388 s
c
c core #22
c 
c 
c Core size: 404	Core Weight: 3	Total Weight: 438
c Current CPU time: 0.818875 s
c
c core #23
c 
c 
c Core size: 224	Core Weight: 5	Total Weight: 443
c Current CPU time: 0.857869 s
c
c core #24
c 
c 
c Core size: 105	Core Weight: 28	Total Weight: 471
c Current CPU time: 0.894863 s
c
c core #25
c 
c 
c Core size: 93	Core Weight: 8	Total Weight: 479
c Current CPU time: 0.931858 s
c
c core #26
c 
c 
c Core size: 300	Core Weight: 1	Total Weight: 480
c Current CPU time: 0.969852 s
c
c core #27
c 
c 
c Core size: 300	Core Weight: 13	Total Weight: 493
c Current CPU time: 1.00785 s
c
c core #28
c 
c 
c Core size: 900	Core Weight: 1	Total Weight: 494
c Current CPU time: 1.04784 s
c
c core #29
c 
c 
c Core size: 969	Core Weight: 1	Total Weight: 495
c Current CPU time: 1.09183 s
c
c core #30
c 
c 
c Core size: 61	Core Weight: 4	Total Weight: 499
c Current CPU time: 1.13283 s
c
c core #31
c 
c 
c Core size: 73	Core Weight: 2	Total Weight: 501
c Current CPU time: 1.17182 s
c
c core #32
c 
c 
c Core size: 622	Core Weight: 2	Total Weight: 503
c Current CPU time: 1.21081 s
c
c core #33
c 
c 
c Core size: 131	Core Weight: 28	Total Weight: 531
c Current CPU time: 1.25181 s
c
c core #34
c 
c 
c Core size: 91	Core Weight: 14	Total Weight: 545
c Current CPU time: 1.2918 s
c
c core #35
c 
c 
c Core size: 490	Core Weight: 1	Total Weight: 546
c Current CPU time: 1.3328 s
c
c core #36
c 
c 
c Core size: 490	Core Weight: 3	Total Weight: 549
c Current CPU time: 1.37479 s
c
c core #37
c 
c 
c Core size: 489	Core Weight: 22	Total Weight: 571
c Current CPU time: 1.41878 s
c
c core #38
c 
c 
c Core size: 306	Core Weight: 8	Total Weight: 579
c Current CPU time: 1.45878 s
c
c core #39
c 
c 
c Core size: 311	Core Weight: 4	Total Weight: 583
c Current CPU time: 1.50377 s
c
c core #40
c 
c 
c Core size: 310	Core Weight: 1	Total Weight: 584
c Current CPU time: 1.54576 s
c
c core #41
c 
c 
c Core size: 310	Core Weight: 13	Total Weight: 597
c Current CPU time: 1.58976 s
c
c core #42
c 
c 
c Core size: 35	Core Weight: 23	Total Weight: 620
c Current CPU time: 1.63175 s
c
c core #43
c 
c 
c Core size: 799	Core Weight: 3	Total Weight: 623
c Current CPU time: 1.67575 s
c
c core #44
c 
c 
c Core size: 978	Core Weight: 4	Total Weight: 627
c Current CPU time: 1.72174 s
c
c core #45
c 
c 
c Core size: 125	Core Weight: 30	Total Weight: 657
c Current CPU time: 1.76573 s
c
c core #46
c 
c 
c Core size: 47	Core Weight: 38	Total Weight: 695
c Current CPU time: 1.80872 s
c
c core #47
c 
c 
c Core size: 1024	Core Weight: 2	Total Weight: 697
c Current CPU time: 1.85572 s
c
c core #48
c 
c 
c Core size: 1188	Core Weight: 1	Total Weight: 698
c Current CPU time: 1.90771 s
c
c core #49
c 
c 
c Core size: 1188	Core Weight: 1	Total Weight: 699
c Current CPU time: 1.9587 s
c
c core #50
c 
c 
c Core size: 1187	Core Weight: 1	Total Weight: 700
c Current CPU time: 2.01269 s
c
c core #51
c 
c 
c Core size: 451	Core Weight: 9	Total Weight: 709
c Current CPU time: 2.06469 s
c
c core #52
c 
c 
c Core size: 451	Core Weight: 1	Total Weight: 710
c Current CPU time: 2.11368 s
c
c core #53
c 
c 
c Core size: 393	Core Weight: 2	Total Weight: 712
c Current CPU time: 2.16367 s
c
c core #54
c 
c 
c Core size: 61	Core Weight: 3	Total Weight: 715
c Current CPU time: 2.20966 s
c
c core #55
c 
c 
c Core size: 35	Core Weight: 16	Total Weight: 731
c Current CPU time: 2.25666 s
c
c core #56
c 
c 
c Core size: 75	Core Weight: 30	Total Weight: 761
c Current CPU time: 2.30265 s
c
c core #57
c 
c 
c Core size: 49	Core Weight: 16	Total Weight: 777
c Current CPU time: 2.34964 s
c
c core #58
c 
c 
c Core size: 189	Core Weight: 1	Total Weight: 778
c Current CPU time: 2.39963 s
c
c core #59
c 
c 
c Core size: 291	Core Weight: 2	Total Weight: 780
c Current CPU time: 2.44663 s
c
c core #60
c 
c 
c Core size: 291	Core Weight: 1	Total Weight: 781
c Current CPU time: 2.49462 s
c
c core #61
c 
c 
c Core size: 292	Core Weight: 8	Total Weight: 789
c Current CPU time: 2.54461 s
c
c core #62
c 
c 
c Core size: 861	Core Weight: 3	Total Weight: 792
c Current CPU time: 2.59461 s
c
c core #63
c 
c 
c Core size: 851	Core Weight: 2	Total Weight: 794
c Current CPU time: 2.6486 s
c
c core #64
c 
c 
c Core size: 346	Core Weight: 8	Total Weight: 802
c Current CPU time: 2.69959 s
c
c core #65
c 
c 
c Core size: 419	Core Weight: 6	Total Weight: 808
c Current CPU time: 2.75058 s
c
c core #66
c 
c 
c Core size: 587	Core Weight: 3	Total Weight: 811
c Current CPU time: 2.80257 s
c
c core #67
c 
c 
c Core size: 318	Core Weight: 3	Total Weight: 814
c Current CPU time: 2.85457 s
c
c core #68
c 
c 
c Core size: 321	Core Weight: 3	Total Weight: 817
c Current CPU time: 2.90556 s
c
c core #69
c 
c 
c Core size: 321	Core Weight: 7	Total Weight: 824
c Current CPU time: 2.95955 s
c
c core #70
c 
c 
c Core size: 320	Core Weight: 11	Total Weight: 835
c Current CPU time: 3.01154 s
c
c core #71
c 
c 
c Core size: 35	Core Weight: 39	Total Weight: 874
c Current CPU time: 3.06453 s
c
c core #72
c 
c 
c Core size: 313	Core Weight: 4	Total Weight: 878
c Current CPU time: 3.11553 s
c
c core #73
c 
c 
c Core size: 77	Core Weight: 11	Total Weight: 889
c Current CPU time: 3.16752 s
c
c core #74
c 
c 
c Core size: 824	Core Weight: 1	Total Weight: 890
c Current CPU time: 3.22251 s
c
c core #75
c 
c 
c Core size: 69	Core Weight: 21	Total Weight: 911
c Current CPU time: 3.2795 s
c
c core #76
c 
c 
c Core size: 314	Core Weight: 5	Total Weight: 916
c Current CPU time: 3.33349 s
c
c core #77
c 
c 
c Core size: 662	Core Weight: 2	Total Weight: 918
c Current CPU time: 3.39148 s
c
c core #78
c 
c 
c Core size: 550	Core Weight: 1	Total Weight: 919
c Current CPU time: 3.44948 s
c
c core #79
c 
c 
c Core size: 612	Core Weight: 2	Total Weight: 921
c Current CPU time: 3.50847 s
c
c core #80
c 
c 
c Core size: 613	Core Weight: 3	Total Weight: 924
c Current CPU time: 3.56746 s
c
c core #81
c 
c 
c Core size: 79	Core Weight: 4	Total Weight: 928
c Current CPU time: 3.62745 s
c
c core #82
c 
c 
c Core size: 65	Core Weight: 31	Total Weight: 959
c Current CPU time: 3.68244 s
c
c core #83
c 
c 
c Core size: 41	Core Weight: 18	Total Weight: 977
c Current CPU time: 3.73843 s
c
c core #84
c 
c 
c Core size: 284	Core Weight: 19	Total Weight: 996
c Current CPU time: 3.79342 s
c
c core #85
c 
c 
c Core size: 65	Core Weight: 22	Total Weight: 1018
c Current CPU time: 3.85241 s
c
c core #86
c 
c 
c Core size: 456	Core Weight: 7	Total Weight: 1025
c Current CPU time: 3.9104 s
c
c core #87
c 
c 
c Core size: 7	Core Weight: 11	Total Weight: 1036
c Current CPU time: 3.9694 s
c
c core #88
c 
c 
c Core size: 171	Core Weight: 9	Total Weight: 1045
c Current CPU time: 4.02439 s
c
c core #89
c 
c 
c Core size: 602	Core Weight: 1	Total Weight: 1046
c Current CPU time: 4.08438 s
c
c core #90
c 
c 
c Core size: 461	Core Weight: 3	Total Weight: 1049
c Current CPU time: 4.14437 s
c
c core #91
c 
c 
c Core size: 1368	Core Weight: 2	Total Weight: 1051
c Current CPU time: 4.20936 s
c
c core #92
c 
c 
c Core size: 810	Core Weight: 3	Total Weight: 1054
c Current CPU time: 4.27435 s
c
c core #93
c 
c 
c Core size: 809	Core Weight: 3	Total Weight: 1057
c Current CPU time: 4.33634 s
c
c core #94
c 
c 
c Core size: 163	Core Weight: 3	Total Weight: 1060
c Current CPU time: 4.40033 s
c
c core #95
c 
c 
c Core size: 905	Core Weight: 4	Total Weight: 1064
c Current CPU time: 4.46232 s
c
c core #96
c 
c 
c Core size: 690	Core Weight: 4	Total Weight: 1068
c Current CPU time: 4.52731 s
c
c core #97
c 
c 
c Core size: 209	Core Weight: 4	Total Weight: 1072
c Current CPU time: 4.5913 s
c
c core #98
c 
c 
c Core size: 27	Core Weight: 16	Total Weight: 1088
c Current CPU time: 4.65329 s
c
c core #99
c 
c 
c Core size: 238	Core Weight: 1	Total Weight: 1089
c Current CPU time: 4.71628 s
c
c core #100
c 
c 
c Core size: 333	Core Weight: 1	Total Weight: 1090
c Current CPU time: 4.78927 s
c
c core #101
c 
c 
c Core size: 333	Core Weight: 2	Total Weight: 1092
c Current CPU time: 4.86326 s
c
c core #102
c 
c 
c Core size: 360	Core Weight: 1	Total Weight: 1093
c Current CPU time: 4.94025 s
c
c core #103
c 
c 
c Core size: 240	Core Weight: 1	Total Weight: 1094
c Current CPU time: 5.01224 s
c
c core #104
c 
c 
c Core size: 237	Core Weight: 10	Total Weight: 1104
c Current CPU time: 5.08623 s
c
c core #105
c 
c 
c Core size: 218	Core Weight: 2	Total Weight: 1106
c Current CPU time: 5.16122 s
c
c core #106
c 
c 
c Core size: 263	Core Weight: 4	Total Weight: 1110
c Current CPU time: 5.2352 s
c
c core #107
c 
c 
c Core size: 265	Core Weight: 1	Total Weight: 1111
c Current CPU time: 5.31319 s
c
c core #108
c 
c 
c Core size: 220	Core Weight: 2	Total Weight: 1113
c Current CPU time: 5.39018 s
c
c core #109
c 
c 
c Core size: 273	Core Weight: 3	Total Weight: 1116
c Current CPU time: 5.46717 s
c
c core #110
c 
c 
c Core size: 466	Core Weight: 1	Total Weight: 1117
c Current CPU time: 5.54416 s
c
c core #111
c 
c 
c Core size: 804	Core Weight: 1	Total Weight: 1118
c Current CPU time: 5.62614 s
c
c core #112
c 
c 
c Core size: 466	Core Weight: 1	Total Weight: 1119
c Current CPU time: 5.70913 s
c
c core #113
c 
c 
c Core size: 327	Core Weight: 1	Total Weight: 1120
c Current CPU time: 5.79012 s
c
c core #114
c 
c 
c Core size: 390	Core Weight: 1	Total Weight: 1121
c Current CPU time: 5.87311 s
c
c core #115
c 
c 
c Core size: 229	Core Weight: 2	Total Weight: 1123
c Current CPU time: 5.95609 s
c
c core #116
c 
c 
c Core size: 390	Core Weight: 1	Total Weight: 1124
c Current CPU time: 6.04008 s
c
c core #117
c 
c 
c Core size: 352	Core Weight: 1	Total Weight: 1125
c Current CPU time: 6.12507 s
c
c core #118
c 
c 
c Core size: 683	Core Weight: 2	Total Weight: 1127
c Current CPU time: 6.20906 s
c
c core #119
c 
c 
c Core size: 171	Core Weight: 20	Total Weight: 1147
c Current CPU time: 6.29004 s
c
c core #120
c 
c 
c Core size: 263	Core Weight: 1	Total Weight: 1148
c Current CPU time: 6.37103 s
c
c core #121
c 
c 
c Core size: 220	Core Weight: 1	Total Weight: 1149
c Current CPU time: 6.45702 s
c
c core #122
c 
c 
c Core size: 385	Core Weight: 1	Total Weight: 1150
c Current CPU time: 6.543 s
c
c core #123
c 
c 
c Core size: 496	Core Weight: 1	Total Weight: 1151
c Current CPU time: 6.63299 s
c
c core #124
c 
c 
c Core size: 355	Core Weight: 1	Total Weight: 1152
c Current CPU time: 6.72398 s
c
c core #125
c 
c 
c Core size: 149	Core Weight: 1	Total Weight: 1153
c Current CPU time: 6.80597 s
c
c core #126
c 
c 
c Core size: 374	Core Weight: 1	Total Weight: 1154
c Current CPU time: 6.89295 s
c
c core #127
c 
c 
c Core size: 495	Core Weight: 2	Total Weight: 1156
c Current CPU time: 6.98194 s
c
c core #128
c 
c 
c Core size: 702	Core Weight: 1	Total Weight: 1157
c Current CPU time: 7.07192 s
c
c core #129
c 
c 
c Core size: 272	Core Weight: 1	Total Weight: 1158
c Current CPU time: 7.15991 s
c
c core #130
c 
c 
c Core size: 848	Core Weight: 1	Total Weight: 1159
c Current CPU time: 7.2539 s
c
c core #131
c 
c 
c Core size: 746	Core Weight: 1	Total Weight: 1160
c Current CPU time: 7.35088 s
c
c core #132
c 
c 
c Core size: 663	Core Weight: 11	Total Weight: 1171
c Current CPU time: 7.44587 s
c
c core #133
c 
c 
c Core size: 660	Core Weight: 1	Total Weight: 1172
c Current CPU time: 7.54085 s
c
c core #134
c 
c 
c Core size: 392	Core Weight: 1	Total Weight: 1173
c Current CPU time: 7.63684 s
c
c core #135
c 
c 
c Core size: 610	Core Weight: 1	Total Weight: 1174
c Current CPU time: 7.73382 s
c
c core #136
c 
c 
c Core size: 470	Core Weight: 1	Total Weight: 1175
c Current CPU time: 7.83081 s
c
c core #137
c 
c 
c Core size: 446	Core Weight: 1	Total Weight: 1176
c Current CPU time: 7.92579 s
c
c core #138
c 
c 
c Core size: 490	Core Weight: 1	Total Weight: 1177
c Current CPU time: 8.02078 s
c
c core #139
c 
c 
c Core size: 921	Core Weight: 1	Total Weight: 1178
c Current CPU time: 8.12377 s
c
c core #140
c 
c 
c Core size: 750	Core Weight: 1	Total Weight: 1179
c Current CPU time: 8.22675 s
c
c core #141
c 
c 
c Core size: 595	Core Weight: 1	Total Weight: 1180
c Current CPU time: 8.32673 s
c
c core #142
c 
c 
c Core size: 613	Core Weight: 1	Total Weight: 1181
c Current CPU time: 8.42572 s
c
c core #143
c 
c 
c Core size: 514	Core Weight: 1	Total Weight: 1182
c Current CPU time: 8.5357 s
c
c core #144
c 
c 
c Core size: 435	Core Weight: 1	Total Weight: 1183
c Current CPU time: 8.63869 s
c
c core #145
c 
c 
c Core size: 450	Core Weight: 1	Total Weight: 1184
c Current CPU time: 8.74167 s
c
c core #146
c 
c 
c Core size: 453	Core Weight: 1	Total Weight: 1185
c Current CPU time: 8.84566 s
c
c core #147
c 
c 
c Core size: 292	Core Weight: 1	Total Weight: 1186
c Current CPU time: 8.95864 s
c
c core #148
c 
c 
c Core size: 702	Core Weight: 1	Total Weight: 1187
c Current CPU time: 9.06462 s
c
c core #149
c 
c 
c Core size: 833	Core Weight: 1	Total Weight: 1188
c Current CPU time: 9.1886 s
c
c core #150
c 
c 
c Core size: 586	Core Weight: 1	Total Weight: 1189
c Current CPU time: 9.29659 s
c
c core #151
c 
c 
c Core size: 593	Core Weight: 1	Total Weight: 1190
c Current CPU time: 9.40857 s
c
c core #152
c 
c 
c Core size: 1722	Core Weight: 1	Total Weight: 1191
c Current CPU time: 9.53455 s
c
c core #153
c 
c 
c Core size: 519	Core Weight: 1	Total Weight: 1192
c Current CPU time: 9.64953 s
c
c core #154
c 
c 
c Core size: 715	Core Weight: 1	Total Weight: 1193
c Current CPU time: 9.76152 s
c
c core #155
c 
c 
c Core size: 406	Core Weight: 1	Total Weight: 1194
c Current CPU time: 9.8735 s
c
c core #156
c 
c 
c Core size: 863	Core Weight: 1	Total Weight: 1195
c Current CPU time: 9.98948 s
c
c core #157
c 
c 
c Core size: 959	Core Weight: 1	Total Weight: 1196
c Current CPU time: 10.1065 s
c
c core #158
c 
c 
c Core size: 852	Core Weight: 1	Total Weight: 1197
c Current CPU time: 10.2254 s
c
c core #159
c 
c 
c Core size: 527	Core Weight: 1	Total Weight: 1198
c Current CPU time: 10.3424 s
c
c core #160
c 
c 
c Core size: 1104	Core Weight: 1	Total Weight: 1199
c Current CPU time: 10.4604 s
c
c core #161
c 
c 
c Core size: 947	Core Weight: 1	Total Weight: 1200
c Current CPU time: 10.5844 s
c
c core #162
c 
c 
c Core size: 550	Core Weight: 1	Total Weight: 1201
c Current CPU time: 10.7014 s
c
c core #163
c 
c 
c Core size: 1841	Core Weight: 1	Total Weight: 1202
c Current CPU time: 10.8344 s
c
c core #164
c 
c 
c Core size: 956	Core Weight: 1	Total Weight: 1203
c Current CPU time: 10.9693 s
c
c core #165
c 
c 
c Core size: 1275	Core Weight: 1	Total Weight: 1204
c Current CPU time: 11.1033 s
c
c core #166
c 
c 
c Core size: 409	Core Weight: 1	Total Weight: 1205
c Current CPU time: 11.2293 s
c
c core #167
c 
c 
c Core size: 372	Core Weight: 1	Total Weight: 1206
c Current CPU time: 11.3503 s
c
c core #168
c 
c 
c Core size: 1917	Core Weight: 1	Total Weight: 1207
c Current CPU time: 11.4953 s
c
c core #169
c 
c 
c Core size: 314	Core Weight: 1	Total Weight: 1208
c Current CPU time: 11.6262 s
c
c core #170
c 
c 
c Core size: 269	Core Weight: 1	Total Weight: 1209
c Current CPU time: 11.7522 s
c
c core #171
c 
c 
c Core size: 513	Core Weight: 1	Total Weight: 1210
c Current CPU time: 11.8822 s
c
c core #172
c 
c 
c Core size: 859	Core Weight: 1	Total Weight: 1211
c Current CPU time: 12.0312 s
c
c core #173
c 
c 
c Core size: 1287	Core Weight: 1	Total Weight: 1212
c Current CPU time: 12.1821 s
c
c core #174
c 
c 
c Core size: 1111	Core Weight: 1	Total Weight: 1213
c Current CPU time: 12.3161 s
c
c core #175
c 
c 
c Core size: 1881	Core Weight: 1	Total Weight: 1214
c Current CPU time: 12.4701 s
c
c core #176
c 
c 
c Core size: 1448	Core Weight: 1	Total Weight: 1215
c Current CPU time: 12.6201 s
c
c core #177
c 
c 
c Core size: 1860	Core Weight: 1	Total Weight: 1216
c Current CPU time: 12.7801 s
c
c core #178
c 
c 
c Core size: 1605	Core Weight: 1	Total Weight: 1217
c Current CPU time: 12.94 s
c
c core #179
c 
c 
c Core size: 667	Core Weight: 1	Total Weight: 1218
c Current CPU time: 13.102 s
c
c core #180
c 
c 
c Core size: 1647	Core Weight: 1	Total Weight: 1219
c Current CPU time: 13.262 s
c
c core #181
c 
c 
c Core size: 1812	Core Weight: 1	Total Weight: 1220
c Current CPU time: 13.427 s
c
c core #182
c 
c 
c Core size: 1525	Core Weight: 1	Total Weight: 1221
c Current CPU time: 13.6289 s
c
c core #183
c 
c 
c Core size: 786	Core Weight: 1	Total Weight: 1222
c Current CPU time: 13.8089 s
c
c core #184
c 
c 
c Core size: 341	Core Weight: 1	Total Weight: 1223
c Current CPU time: 13.9639 s
c
c core #185
c 
c 
c Core size: 1313	Core Weight: 1	Total Weight: 1224
c Current CPU time: 14.1369 s
c
c core #186
c 
c 
c Core size: 1604	Core Weight: 1	Total Weight: 1225
c Current CPU time: 14.3238 s
c
c core #187
c 
c 
c Core size: 875	Core Weight: 1	Total Weight: 1226
c Current CPU time: 14.5038 s
c
c core #188
c 
c 
c Core size: 1884	Core Weight: 1	Total Weight: 1227
c Current CPU time: 14.6808 s
c
c core #189
c 
c 
c Core size: 1500	Core Weight: 1	Total Weight: 1228
c Current CPU time: 14.8737 s
c
c core #190
c 
c 
c Core size: 974	Core Weight: 1	Total Weight: 1229
c Current CPU time: 15.0447 s
c
c core #191
c 
c 
c Core size: 1221	Core Weight: 1	Total Weight: 1230
c Current CPU time: 15.2357 s
c
c core #192
c 
c 
c Core size: 2470	Core Weight: 1	Total Weight: 1231
c Current CPU time: 15.4816 s
c
c core #193
c 
c 
c Core size: 913	Core Weight: 1	Total Weight: 1232
c Current CPU time: 15.6656 s
c
c core #194
c 
c 
c Core size: 1253	Core Weight: 1	Total Weight: 1233
c Current CPU time: 15.8816 s
c
c core #195
c 
c 
c Core size: 1419	Core Weight: 1	Total Weight: 1234
c Current CPU time: 16.1036 s
c
c core #196
c 
c 
c Core size: 1178	Core Weight: 1	Total Weight: 1235
c Current CPU time: 16.3655 s
c
c core #197
c 
c 
c Core size: 1936	Core Weight: 1	Total Weight: 1236
c Current CPU time: 16.6335 s
c
c core #198
c 
c 
c Core size: 1721	Core Weight: 1	Total Weight: 1237
c Current CPU time: 16.9284 s
c
c core #199
c 
c 
c Core size: 2764	Core Weight: 1	Total Weight: 1238
c Current CPU time: 17.2394 s
c
c core #200
c 
c 
c Core size: 1149	Core Weight: 1	Total Weight: 1239
c Current CPU time: 17.5623 s
c
c core #201
c 
c 
c Core size: 2553	Core Weight: 1	Total Weight: 1240
c Current CPU time: 17.9243 s
c
c core #202
c 
c 
c Core size: 892	Core Weight: 1	Total Weight: 1241
c Current CPU time: 18.1552 s
c
c core #203
c 
c 
c Core size: 2059	Core Weight: 1	Total Weight: 1242
c Current CPU time: 18.5792 s
c
c core #204
c 
c 
c Core size: 1645	Core Weight: 1	Total Weight: 1243
c Current CPU time: 18.9711 s
c
c core #205
c 
c 
c Core size: 552	Core Weight: 1	Total Weight: 1244
c Current CPU time: 19.1571 s
c
c core #206
c 
c 
c Core size: 1696	Core Weight: 1	Total Weight: 1245
c Current CPU time: 19.463 s
c
c core #207
c 
c 
c Core size: 2761	Core Weight: 1	Total Weight: 1246
c Current CPU time: 19.891 s
c
c core #208
c 
c 
c Core size: 508	Core Weight: 1	Total Weight: 1247
c Current CPU time: 20.3249 s
c
c core #209
c 
c 
c Core size: 2538	Core Weight: 1	Total Weight: 1248
c Current CPU time: 20.7448 s
c
c core #210
c 
c 
c Core size: 2873	Core Weight: 1	Total Weight: 1249
c Current CPU time: 21.5357 s
c
c core #211
c 
c 
c Core size: 664	Core Weight: 1	Total Weight: 1250
c Current CPU time: 21.7957 s
c
c core #212
c 
c 
c Core size: 1827	Core Weight: 1	Total Weight: 1251
c Current CPU time: 22.1266 s
c
c core #213
c 
c 
c Core size: 2267	Core Weight: 1	Total Weight: 1252
c Current CPU time: 23.0695 s
c
c core #214
c 
c 
c Core size: 2828	Core Weight: 1	Total Weight: 1253
c Current CPU time: 23.6954 s
c
c core #215
c 
c 
c Core size: 773	Core Weight: 1	Total Weight: 1254
c Current CPU time: 23.9684 s
c
c core #216
c 
c 
c Core size: 754	Core Weight: 1	Total Weight: 1255
c Current CPU time: 24.3163 s
c
c core #217
c 
c 
c Core size: 3405	Core Weight: 1	Total Weight: 1256
c Current CPU time: 25.3921 s
c
c core #218
c 
c 
c Core size: 3487	Core Weight: 1	Total Weight: 1257
c Current CPU time: 26.588 s
c
c core #219
c 
c 
c Core size: 3613	Core Weight: 1	Total Weight: 1258
c Current CPU time: 27.6488 s
c
c core #220
c 
c 
c Core size: 2126	Core Weight: 1	Total Weight: 1259
c Current CPU time: 28.1387 s
c
c core #221
c 
c 
c Core size: 1745	Core Weight: 1	Total Weight: 1260
c Current CPU time: 28.7436 s
c
c core #222
c 
c 
c Core size: 3866	Core Weight: 1	Total Weight: 1261
c Current CPU time: 30.0034 s
c
c core #223
c 
c 
c Core size: 2159	Core Weight: 1	Total Weight: 1262
c Current CPU time: 30.6703 s
c
c core #224
c 
c 
c Core size: 2460	Core Weight: 1	Total Weight: 1263
c Current CPU time: 31.4492 s
c
c core #225
c 
c 
c Core size: 2844	Core Weight: 1	Total Weight: 1264
c Current CPU time: 32.2181 s
c
c core #226
c 
c 
c Core size: 3187	Core Weight: 1	Total Weight: 1265
c Current CPU time: 33.4519 s
c
c core #227
c 
c 
c Core size: 2299	Core Weight: 1	Total Weight: 1266
c Current CPU time: 34.5307 s
c
c core #228
c 
c 
c Core size: 3415	Core Weight: 1	Total Weight: 1267
c Current CPU time: 36.3025 s
c
c core #229
c 
c 
c Core size: 3356	Core Weight: 1	Total Weight: 1268
c Current CPU time: 37.7613 s
c
c core #230
c 
c 
c Core size: 2450	Core Weight: 1	Total Weight: 1269
c Current CPU time: 39.0441 s
c
c core #231
c 
c 
c Core size: 3295	Core Weight: 1	Total Weight: 1270
c Current CPU time: 40.5928 s
c
c core #232
c 
c 
c Core size: 5921	Core Weight: 1	Total Weight: 1271
c Current CPU time: 45.786 s
c
c core #233
c 
c 
c Core size: 4192	Core Weight: 1	Total Weight: 1272
c Current CPU time: 49.0925 s
c
c core #234
c 
c 
c Core size: 4136	Core Weight: 1	Total Weight: 1273
c Current CPU time: 52.37 s
c
c core #235
c 
c 
c Core size: 4444	Core Weight: 1	Total Weight: 1274
c Current CPU time: 57.0283 s
c
c core #236
c 
c 
c Core size: 4721	Core Weight: 1	Total Weight: 1275
c Current CPU time: 62.1566 s
c
c core #237
c 
c 
c Core size: 4846	Core Weight: 1	Total Weight: 1276
c Current CPU time: 67.9007 s
c
c core #238
c 
c 
c Core size: 5813	Core Weight: 1	Total Weight: 1277
c Current CPU time: 77.4602 s
c
c core #239
c 
c 
c Core size: 6346	Core Weight: 1	Total Weight: 1278
c Current CPU time: 88.8205 s
c
c core #240
c 
c 
c Core size: 6528	Core Weight: 1	Total Weight: 1279
c Current CPU time: 101.19 s
c
c core #241
c 
c 
c Core size: 6775	Core Weight: 1	Total Weight: 1280
c Current CPU time: 122.283 s
c
c core #242
c 
c 
c Core size: 7716	Core Weight: 1	Total Weight: 1281
c Current CPU time: 149.475 s
c
c core #243
c 
c 
c Core size: 7703	Core Weight: 1	Total Weight: 1282
c Current CPU time: 199.154 s
c
c core #244
c 
c 
c Core size: 7392	Core Weight: 1	Total Weight: 1283
c Current CPU time: 258.707 s
c
c core #245
c 
c 
c Core size: 7437	Core Weight: 1	Total Weight: 1284
c Current CPU time: 359.739 s
c
c core #246
c 
c 
c Core size: 8362	Core Weight: 1	Total Weight: 1285
c Current CPU time: 537.556 s
c
c core #247
c 
c 
c Core size: 8341	Core Weight: 1	Total Weight: 1286
c Current CPU time: 862.277 s
c