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_min-enc_planning_satellite02ac.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/satellite02ac.wcsp.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 35	Core Weight: 90	Total Weight: 90
c Current CPU time: 0.083987 s
c
c core #2
c 
c 
c Core size: 35	Core Weight: 5	Total Weight: 95
c Current CPU time: 0.113982 s
c
c core #3
c 
c 
c Core size: 42	Core Weight: 95	Total Weight: 190
c Current CPU time: 0.145977 s
c
c core #4
c 
c 
c Core size: 42	Core Weight: 5	Total Weight: 195
c Current CPU time: 0.175973 s
c
c core #5
c 
c 
c Core size: 107	Core Weight: 95	Total Weight: 290
c Current CPU time: 0.207968 s
c
c core #6
c 
c 
c Core size: 61	Core Weight: 15	Total Weight: 305
c Current CPU time: 0.238963 s
c
c core #7
c 
c 
c Core size: 61	Core Weight: 5	Total Weight: 310
c Current CPU time: 0.270958 s
c
c core #8
c 
c 
c Core size: 63	Core Weight: 5	Total Weight: 315
c Current CPU time: 0.302953 s
c
c core #9
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 316
c Current CPU time: 0.335948 s
c
c core #10
c 
c 
c Core size: 123	Core Weight: 4	Total Weight: 320
c Current CPU time: 0.368943 s
c
c core #11
c 
c 
c Core size: 112	Core Weight: 5	Total Weight: 325
c Current CPU time: 0.401938 s
c
c core #12
c 
c 
c Core size: 131	Core Weight: 15	Total Weight: 340
c Current CPU time: 0.435933 s
c
c core #13
c 
c 
c Core size: 134	Core Weight: 5	Total Weight: 345
c Current CPU time: 0.469928 s
c
c core #14
c 
c 
c Core size: 90	Core Weight: 75	Total Weight: 420
c Current CPU time: 0.504923 s
c
c core #15
c 
c 
c Core size: 103	Core Weight: 5	Total Weight: 425
c Current CPU time: 0.537918 s
c
c core #16
c 
c 
c Core size: 94	Core Weight: 75	Total Weight: 500
c Current CPU time: 0.573912 s
c
c core #17
c 
c 
c Core size: 102	Core Weight: 15	Total Weight: 515
c Current CPU time: 0.608907 s
c
c core #18
c 
c 
c Core size: 212	Core Weight: 5	Total Weight: 520
c Current CPU time: 0.645901 s
c
c core #19
c 
c 
c Core size: 264	Core Weight: 5	Total Weight: 525
c Current CPU time: 0.683896 s
c
c core #20
c 
c 
c Core size: 97	Core Weight: 85	Total Weight: 610
c Current CPU time: 0.72089 s
c
c core #21
c 
c 
c Core size: 125	Core Weight: 5	Total Weight: 615
c Current CPU time: 0.756884 s
c
c core #22
c 
c 
c Core size: 345	Core Weight: 5	Total Weight: 620
c Current CPU time: 0.797878 s
c
c core #23
c 
c 
c Core size: 421	Core Weight: 5	Total Weight: 625
c Current CPU time: 0.840872 s
c
c core #24
c 
c 
c Core size: 221	Core Weight: 40	Total Weight: 665
c Current CPU time: 0.882865 s
c
c core #25
c 
c 
c Core size: 136	Core Weight: 50	Total Weight: 715
c Current CPU time: 0.924859 s
c
c core #26
c 
c 
c Core size: 101	Core Weight: 35	Total Weight: 750
c Current CPU time: 0.963853 s
c
c core #27
c 
c 
c Core size: 105	Core Weight: 5	Total Weight: 755
c Current CPU time: 1.00285 s
c
c core #28
c 
c 
c Core size: 177	Core Weight: 5	Total Weight: 760
c Current CPU time: 1.04284 s
c
c core #29
c 
c 
c Core size: 176	Core Weight: 25	Total Weight: 785
c Current CPU time: 1.08184 s
c
c core #30
c 
c 
c Core size: 101	Core Weight: 61	Total Weight: 846
c Current CPU time: 1.12083 s
c
c core #31
c 
c 
c Core size: 174	Core Weight: 4	Total Weight: 850
c Current CPU time: 1.16782 s
c
c core #32
c 
c 
c Core size: 374	Core Weight: 1	Total Weight: 851
c Current CPU time: 1.21681 s
c
c core #33
c 
c 
c Core size: 148	Core Weight: 10	Total Weight: 861
c Current CPU time: 1.26281 s
c
c core #34
c 
c 
c Core size: 293	Core Weight: 4	Total Weight: 865
c Current CPU time: 1.3128 s
c
c core #35
c 
c 
c Core size: 150	Core Weight: 81	Total Weight: 946
c Current CPU time: 1.36179 s
c
c core #36
c 
c 
c Core size: 513	Core Weight: 1	Total Weight: 947
c Current CPU time: 1.44478 s
c
c core #37
c 
c 
c Core size: 415	Core Weight: 4	Total Weight: 951
c Current CPU time: 1.51677 s
c
c core #38
c 
c 
c Core size: 379	Core Weight: 1	Total Weight: 952
c Current CPU time: 1.58276 s
c
c core #39
c 
c 
c Core size: 343	Core Weight: 3	Total Weight: 955
c Current CPU time: 1.63275 s
c
c core #40
c 
c 
c Core size: 282	Core Weight: 2	Total Weight: 957
c Current CPU time: 1.68674 s
c
c core #41
c 
c 
c Core size: 360	Core Weight: 1	Total Weight: 958
c Current CPU time: 1.74274 s
c
c core #42
c 
c 
c Core size: 266	Core Weight: 2	Total Weight: 960
c Current CPU time: 1.79973 s
c
c core #43
c 
c 
c Core size: 370	Core Weight: 1	Total Weight: 961
c Current CPU time: 1.85172 s
c
c core #44
c 
c 
c Core size: 379	Core Weight: 1	Total Weight: 962
c Current CPU time: 1.91071 s
c
c core #45
c 
c 
c Core size: 294	Core Weight: 4	Total Weight: 966
c Current CPU time: 1.9667 s
c
c core #46
c 
c 
c Core size: 354	Core Weight: 2	Total Weight: 968
c Current CPU time: 2.02069 s
c
c core #47
c 
c 
c Core size: 311	Core Weight: 17	Total Weight: 985
c Current CPU time: 2.07069 s
c
c core #48
c 
c 
c Core size: 356	Core Weight: 1	Total Weight: 986
c Current CPU time: 2.12468 s
c
c core #49
c 
c 
c Core size: 267	Core Weight: 1	Total Weight: 987
c Current CPU time: 2.18267 s
c
c core #50
c 
c 
c Core size: 367	Core Weight: 1	Total Weight: 988
c Current CPU time: 2.24466 s
c
c core #51
c 
c 
c Core size: 458	Core Weight: 1	Total Weight: 989
c Current CPU time: 2.30765 s
c
c core #52
c 
c 
c Core size: 223	Core Weight: 1	Total Weight: 990
c Current CPU time: 2.36664 s
c
c core #53
c 
c 
c Core size: 281	Core Weight: 1	Total Weight: 991
c Current CPU time: 2.42563 s
c
c core #54
c 
c 
c Core size: 577	Core Weight: 1	Total Weight: 992
c Current CPU time: 2.56361 s
c
c core #55
c 
c 
c Core size: 551	Core Weight: 1	Total Weight: 993
c Current CPU time: 2.72059 s
c
c core #56
c 
c 
c Core size: 631	Core Weight: 1	Total Weight: 994
c Current CPU time: 2.88856 s
c
c core #57
c 
c 
c Core size: 455	Core Weight: 1	Total Weight: 995
c Current CPU time: 3.02554 s
c
c core #58
c 
c 
c Core size: 482	Core Weight: 1	Total Weight: 996
c Current CPU time: 3.16352 s
c
c core #59
c 
c 
c Core size: 423	Core Weight: 1	Total Weight: 997
c Current CPU time: 3.2815 s
c
c core #60
c 
c 
c Core size: 477	Core Weight: 1	Total Weight: 998
c Current CPU time: 3.38049 s
c
c core #61
c 
c 
c Core size: 517	Core Weight: 1	Total Weight: 999
c Current CPU time: 3.53046 s
c
c core #62
c 
c 
c Core size: 464	Core Weight: 1	Total Weight: 1000
c Current CPU time: 3.72143 s
c
c core #63
c 
c 
c Core size: 503	Core Weight: 1	Total Weight: 1001
c Current CPU time: 3.86341 s
c
c core #64
c 
c 
c Core size: 631	Core Weight: 1	Total Weight: 1002
c Current CPU time: 4.03339 s
c
c core #65
c 
c 
c Core size: 515	Core Weight: 1	Total Weight: 1003
c Current CPU time: 4.23436 s
c
c core #66
c 
c 
c Core size: 431	Core Weight: 1	Total Weight: 1004
c Current CPU time: 4.36334 s
c
c core #67
c 
c 
c Core size: 402	Core Weight: 1	Total Weight: 1005
c Current CPU time: 4.51531 s
c
c core #68
c 
c 
c Core size: 480	Core Weight: 1	Total Weight: 1006
c Current CPU time: 4.64229 s
c
c core #69
c 
c 
c Core size: 624	Core Weight: 1	Total Weight: 1007
c Current CPU time: 4.78527 s
c
c core #70
c 
c 
c Core size: 518	Core Weight: 1	Total Weight: 1008
c Current CPU time: 4.97024 s
c
c core #71
c 
c 
c Core size: 473	Core Weight: 1	Total Weight: 1009
c Current CPU time: 5.19721 s
c
c core #72
c 
c 
c Core size: 406	Core Weight: 1	Total Weight: 1010
c Current CPU time: 5.31919 s
c
c core #73
c 
c 
c Core size: 375	Core Weight: 1	Total Weight: 1011
c Current CPU time: 5.46217 s
c
c core #74
c 
c 
c Core size: 495	Core Weight: 1	Total Weight: 1012
c Current CPU time: 5.62614 s
c
c core #75
c 
c 
c Core size: 429	Core Weight: 1	Total Weight: 1013
c Current CPU time: 5.80412 s
c
c core #76
c 
c 
c Core size: 674	Core Weight: 1	Total Weight: 1014
c Current CPU time: 5.97309 s
c
c core #77
c 
c 
c Core size: 482	Core Weight: 1	Total Weight: 1015
c Current CPU time: 6.17206 s
c
c core #78
c 
c 
c Core size: 386	Core Weight: 1	Total Weight: 1016
c Current CPU time: 6.29204 s
c
c core #79
c 
c 
c Core size: 525	Core Weight: 1	Total Weight: 1017
c Current CPU time: 6.47202 s
c
c core #80
c 
c 
c Core size: 450	Core Weight: 1	Total Weight: 1018
c Current CPU time: 6.6 s
c
c core #81
c 
c 
c Core size: 528	Core Weight: 1	Total Weight: 1019
c Current CPU time: 6.78897 s
c
c core #82
c 
c 
c Core size: 428	Core Weight: 1	Total Weight: 1020
c Current CPU time: 6.96494 s
c
c core #83
c 
c 
c Core size: 502	Core Weight: 1	Total Weight: 1021
c Current CPU time: 7.16091 s
c
c core #84
c 
c 
c Core size: 424	Core Weight: 1	Total Weight: 1022
c Current CPU time: 7.29189 s
c
c core #85
c 
c 
c Core size: 381	Core Weight: 1	Total Weight: 1023
c Current CPU time: 7.45487 s
c
c core #86
c 
c 
c Core size: 501	Core Weight: 1	Total Weight: 1024
c Current CPU time: 7.66483 s
c
c core #87
c 
c 
c Core size: 653	Core Weight: 1	Total Weight: 1025
c Current CPU time: 7.9208 s
c
c core #88
c 
c 
c Core size: 218	Core Weight: 7	Total Weight: 1032
c Current CPU time: 8.03578 s
c
c core #89
c 
c 
c Core size: 346	Core Weight: 1	Total Weight: 1033
c Current CPU time: 8.19975 s
c
c core #90
c 
c 
c Core size: 324	Core Weight: 1	Total Weight: 1034
c Current CPU time: 8.35173 s
c
c core #91
c 
c 
c Core size: 524	Core Weight: 1	Total Weight: 1035
c Current CPU time: 8.5407 s
c
c core #92
c 
c 
c Core size: 408	Core Weight: 1	Total Weight: 1036
c Current CPU time: 8.70768 s
c
c core #93
c 
c 
c Core size: 569	Core Weight: 1	Total Weight: 1037
c Current CPU time: 8.99263 s
c
c core #94
c 
c 
c Core size: 683	Core Weight: 1	Total Weight: 1038
c Current CPU time: 9.45256 s
c
c core #95
c 
c 
c Core size: 720	Core Weight: 1	Total Weight: 1039
c Current CPU time: 9.8545 s
c
c core #96
c 
c 
c Core size: 374	Core Weight: 1	Total Weight: 1040
c Current CPU time: 10.1225 s
c
c core #97
c 
c 
c Core size: 583	Core Weight: 1	Total Weight: 1041
c Current CPU time: 10.4704 s
c
c core #98
c 
c 
c Core size: 812	Core Weight: 1	Total Weight: 1042
c Current CPU time: 11.0823 s
c
c core #99
c 
c 
c Core size: 609	Core Weight: 1	Total Weight: 1043
c Current CPU time: 11.3443 s
c
c core #100
c 
c 
c Core size: 850	Core Weight: 1	Total Weight: 1044
c Current CPU time: 11.9222 s
c
c core #101
c 
c 
c Core size: 507	Core Weight: 1	Total Weight: 1045
c Current CPU time: 12.1891 s
c
c core #102
c 
c 
c Core size: 616	Core Weight: 1	Total Weight: 1046
c Current CPU time: 12.5561 s
c
c core #103
c 
c 
c Core size: 535	Core Weight: 1	Total Weight: 1047
c Current CPU time: 12.7731 s
c
c core #104
c 
c 
c Core size: 829	Core Weight: 1	Total Weight: 1048
c Current CPU time: 13.449 s
c
c core #105
c 
c 
c Core size: 775	Core Weight: 1	Total Weight: 1049
c Current CPU time: 13.7839 s
c
c core #106
c 
c 
c Core size: 654	Core Weight: 1	Total Weight: 1050
c Current CPU time: 14.1329 s
c
c core #107
c 
c 
c Core size: 769	Core Weight: 1	Total Weight: 1051
c Current CPU time: 14.5928 s
c
c core #108
c 
c 
c Core size: 927	Core Weight: 1	Total Weight: 1052
c Current CPU time: 15.5756 s
c
c core #109
c 
c 
c Core size: 464	Core Weight: 1	Total Weight: 1053
c Current CPU time: 15.9596 s
c
c core #110
c 
c 
c Core size: 634	Core Weight: 1	Total Weight: 1054
c Current CPU time: 16.5425 s
c
c core #111
c 
c 
c Core size: 526	Core Weight: 1	Total Weight: 1055
c Current CPU time: 17.0244 s
c
c core #112
c 
c 
c Core size: 593	Core Weight: 1	Total Weight: 1056
c Current CPU time: 17.4763 s
c
c core #113
c 
c 
c Core size: 460	Core Weight: 1	Total Weight: 1057
c Current CPU time: 17.9773 s
c
c core #114
c 
c 
c Core size: 946	Core Weight: 1	Total Weight: 1058
c Current CPU time: 18.5292 s
c
c core #115
c 
c 
c Core size: 536	Core Weight: 1	Total Weight: 1059
c Current CPU time: 18.9801 s
c
c core #116
c 
c 
c Core size: 293	Core Weight: 1	Total Weight: 1060
c Current CPU time: 19.2341 s
c
c core #117
c 
c 
c Core size: 735	Core Weight: 1	Total Weight: 1061
c Current CPU time: 19.905 s
c
c core #118
c 
c 
c Core size: 787	Core Weight: 1	Total Weight: 1062
c Current CPU time: 20.6029 s
c
c core #119
c 
c 
c Core size: 723	Core Weight: 1	Total Weight: 1063
c Current CPU time: 21.1818 s
c
c core #120
c 
c 
c Core size: 843	Core Weight: 1	Total Weight: 1064
c Current CPU time: 22.0466 s
c
c core #121
c 
c 
c Core size: 670	Core Weight: 1	Total Weight: 1065
c Current CPU time: 22.5986 s
c
c core #122
c 
c 
c Core size: 730	Core Weight: 1	Total Weight: 1066
c Current CPU time: 23.2605 s
c
c core #123
c 
c 
c Core size: 960	Core Weight: 1	Total Weight: 1067
c Current CPU time: 24.2793 s
c
c core #124
c 
c 
c Core size: 876	Core Weight: 1	Total Weight: 1068
c Current CPU time: 25.0122 s
c
c core #125
c 
c 
c Core size: 933	Core Weight: 1	Total Weight: 1069
c Current CPU time: 26.429 s
c
c core #126
c 
c 
c Core size: 1025	Core Weight: 1	Total Weight: 1070
c Current CPU time: 27.5528 s
c
c core #127
c 
c 
c Core size: 934	Core Weight: 1	Total Weight: 1071
c Current CPU time: 28.6017 s
c
c core #128
c 
c 
c Core size: 416	Core Weight: 1	Total Weight: 1072
c Current CPU time: 29.0146 s
c
c core #129
c 
c 
c Core size: 670	Core Weight: 1	Total Weight: 1073
c Current CPU time: 29.6765 s
c
c core #130
c 
c 
c Core size: 536	Core Weight: 1	Total Weight: 1074
c Current CPU time: 30.2904 s
c
c core #131
c 
c 
c Core size: 695	Core Weight: 1	Total Weight: 1075
c Current CPU time: 31.0113 s
c
c core #132
c 
c 
c Core size: 661	Core Weight: 1	Total Weight: 1076
c Current CPU time: 31.7562 s
c
c core #133
c 
c 
c Core size: 891	Core Weight: 1	Total Weight: 1077
c Current CPU time: 32.3871 s
c
c core #134
c 
c 
c Core size: 937	Core Weight: 1	Total Weight: 1078
c Current CPU time: 33.3919 s
c
c core #135
c 
c 
c Core size: 716	Core Weight: 1	Total Weight: 1079
c Current CPU time: 34.2908 s
c
c core #136
c 
c 
c Core size: 542	Core Weight: 1	Total Weight: 1080
c Current CPU time: 34.7487 s
c
c core #137
c 
c 
c Core size: 617	Core Weight: 1	Total Weight: 1081
c Current CPU time: 35.4466 s
c
c core #138
c 
c 
c Core size: 813	Core Weight: 1	Total Weight: 1082
c Current CPU time: 36.3705 s
c
c core #139
c 
c 
c Core size: 600	Core Weight: 1	Total Weight: 1083
c Current CPU time: 37.0274 s
c
c core #140
c 
c 
c Core size: 760	Core Weight: 1	Total Weight: 1084
c Current CPU time: 37.8602 s
c
c core #141
c 
c 
c Core size: 977	Core Weight: 1	Total Weight: 1085
c Current CPU time: 39.1031 s
c
c core #142
c 
c 
c Core size: 1040	Core Weight: 1	Total Weight: 1086
c Current CPU time: 40.4978 s
c
c core #143
c 
c 
c Core size: 1126	Core Weight: 1	Total Weight: 1087
c Current CPU time: 42.2086 s
c
c core #144
c 
c 
c Core size: 1143	Core Weight: 1	Total Weight: 1088
c Current CPU time: 43.8843 s
c
c core #145
c 
c 
c Core size: 1121	Core Weight: 1	Total Weight: 1089
c Current CPU time: 45.5771 s
c
c core #146
c 
c 
c Core size: 1504	Core Weight: 1	Total Weight: 1090
c Current CPU time: 47.2578 s
c
c core #147
c 
c 
c Core size: 1082	Core Weight: 1	Total Weight: 1091
c Current CPU time: 48.7896 s
c
c core #148
c 
c 
c Core size: 959	Core Weight: 1	Total Weight: 1092
c Current CPU time: 50.1424 s
c
c core #149
c 
c 
c Core size: 1255	Core Weight: 1	Total Weight: 1093
c Current CPU time: 52.2301 s
c
c core #150
c 
c 
c Core size: 893	Core Weight: 1	Total Weight: 1094
c Current CPU time: 53.4479 s
c
c core #151
c 
c 
c Core size: 1136	Core Weight: 1	Total Weight: 1095
c Current CPU time: 54.8057 s
c
c core #152
c 
c 
c Core size: 1232	Core Weight: 1	Total Weight: 1096
c Current CPU time: 57.1883 s
c
c core #153
c 
c 
c Core size: 1240	Core Weight: 1	Total Weight: 1097
c Current CPU time: 59.103 s
c
c core #154
c 
c 
c Core size: 1121	Core Weight: 1	Total Weight: 1098
c Current CPU time: 60.7588 s
c
c core #155
c 
c 
c Core size: 1524	Core Weight: 1	Total Weight: 1099
c Current CPU time: 62.6655 s
c
c core #156
c 
c 
c Core size: 1541	Core Weight: 1	Total Weight: 1100
c Current CPU time: 65.3701 s
c
c core #157
c 
c 
c Core size: 1323	Core Weight: 1	Total Weight: 1101
c Current CPU time: 68.2496 s
c
c core #158
c 
c 
c Core size: 1352	Core Weight: 1	Total Weight: 1102
c Current CPU time: 70.6163 s
c
c core #159
c 
c 
c Core size: 1143	Core Weight: 1	Total Weight: 1103
c Current CPU time: 72.658 s
c
c core #160
c 
c 
c Core size: 1169	Core Weight: 1	Total Weight: 1104
c Current CPU time: 75.4235 s
c
c core #161
c 
c 
c Core size: 1935	Core Weight: 1	Total Weight: 1105
c Current CPU time: 78.752 s
c
c core #162
c 
c 
c Core size: 2073	Core Weight: 1	Total Weight: 1106
c Current CPU time: 83.1004 s
c
c core #163
c 
c 
c Core size: 1325	Core Weight: 1	Total Weight: 1107
c Current CPU time: 85.402 s
c
c core #164
c 
c 
c Core size: 1899	Core Weight: 1	Total Weight: 1108
c Current CPU time: 88.7925 s
c
c core #165
c 
c 
c Core size: 1145	Core Weight: 1	Total Weight: 1109
c Current CPU time: 90.9992 s
c
c core #166
c 
c 
c Core size: 1949	Core Weight: 1	Total Weight: 1110
c Current CPU time: 93.8277 s
c
c core #167
c 
c 
c Core size: 1116	Core Weight: 1	Total Weight: 1111
c Current CPU time: 96.1784 s
c
c core #168
c 
c 
c Core size: 1701	Core Weight: 1	Total Weight: 1112
c Current CPU time: 99.6958 s
c
c core #169
c 
c 
c Core size: 1181	Core Weight: 1	Total Weight: 1113
c Current CPU time: 102.143 s
c
c core #170
c 
c 
c Core size: 1364	Core Weight: 1	Total Weight: 1114
c Current CPU time: 104.84 s
c
c core #171
c 
c 
c Core size: 1064	Core Weight: 1	Total Weight: 1115
c Current CPU time: 106.923 s
c
c core #172
c 
c 
c Core size: 1272	Core Weight: 1	Total Weight: 1116
c Current CPU time: 109.607 s
c
c core #173
c 
c 
c Core size: 1111	Core Weight: 1	Total Weight: 1117
c Current CPU time: 111.931 s
c
c core #174
c 
c 
c Core size: 1458	Core Weight: 1	Total Weight: 1118
c Current CPU time: 115.077 s
c
c core #175
c 
c 
c Core size: 979	Core Weight: 1	Total Weight: 1119
c Current CPU time: 117.315 s
c
c core #176
c 
c 
c Core size: 1388	Core Weight: 1	Total Weight: 1120
c Current CPU time: 119.874 s
c
c core #177
c 
c 
c Core size: 798	Core Weight: 1	Total Weight: 1121
c Current CPU time: 122.182 s
c
c core #178
c 
c 
c Core size: 1331	Core Weight: 1	Total Weight: 1122
c Current CPU time: 125.767 s
c
c core #179
c 
c 
c Core size: 973	Core Weight: 1	Total Weight: 1123
c Current CPU time: 128.405 s
c
c core #180
c 
c 
c Core size: 1061	Core Weight: 1	Total Weight: 1124
c Current CPU time: 131.15 s
c
c core #181
c 
c 
c Core size: 1248	Core Weight: 1	Total Weight: 1125
c Current CPU time: 134.353 s
c
c core #182
c 
c 
c Core size: 1011	Core Weight: 1	Total Weight: 1126
c Current CPU time: 136.887 s
c
c core #183
c 
c 
c Core size: 980	Core Weight: 1	Total Weight: 1127
c Current CPU time: 139.472 s
c
c core #184
c 
c 
c Core size: 1173	Core Weight: 1	Total Weight: 1128
c Current CPU time: 142.306 s
c
c core #185
c 
c 
c Core size: 1407	Core Weight: 1	Total Weight: 1129
c Current CPU time: 145.33 s
c
c core #186
c 
c 
c Core size: 1054	Core Weight: 1	Total Weight: 1130
c Current CPU time: 147.686 s
c
c core #187
c 
c 
c Core size: 1130	Core Weight: 1	Total Weight: 1131
c Current CPU time: 150.297 s
c
c core #188
c 
c 
c Core size: 1366	Core Weight: 1	Total Weight: 1132
c Current CPU time: 153.351 s
c
c core #189
c 
c 
c Core size: 1773	Core Weight: 1	Total Weight: 1133
c Current CPU time: 158.061 s
c
c core #190
c 
c 
c Core size: 1111	Core Weight: 1	Total Weight: 1134
c Current CPU time: 161.657 s
c
c core #191
c 
c 
c Core size: 1935	Core Weight: 1	Total Weight: 1135
c Current CPU time: 167.571 s
c
c core #192
c 
c 
c Core size: 1265	Core Weight: 1	Total Weight: 1136
c Current CPU time: 172.233 s
c
c core #193
c 
c 
c Core size: 1412	Core Weight: 1	Total Weight: 1137
c Current CPU time: 176.832 s
c
c core #194
c 
c 
c Core size: 910	Core Weight: 1	Total Weight: 1138
c Current CPU time: 179.778 s
c
c core #195
c 
c 
c Core size: 1086	Core Weight: 1	Total Weight: 1139
c Current CPU time: 186.376 s
c
c core #196
c 
c 
c Core size: 1360	Core Weight: 1	Total Weight: 1140
c Current CPU time: 217.039 s
c
c core #197
c 
c 
c Core size: 1071	Core Weight: 1	Total Weight: 1141
c Current CPU time: 220.527 s
c
c core #198
c 
c 
c Core size: 1240	Core Weight: 1	Total Weight: 1142
c Current CPU time: 223.644 s
c
c core #199
c 
c 
c Core size: 1648	Core Weight: 1	Total Weight: 1143
c Current CPU time: 231.599 s
c
c core #200
c 
c 
c Core size: 1002	Core Weight: 1	Total Weight: 1144
c Current CPU time: 237.547 s
c
c core #201
c 
c 
c Core size: 821	Core Weight: 1	Total Weight: 1145
c Current CPU time: 244.773 s
c
c core #202
c 
c 
c Core size: 766	Core Weight: 1	Total Weight: 1146
c Current CPU time: 249.539 s
c
c core #203
c 
c 
c Core size: 1315	Core Weight: 1	Total Weight: 1147
c Current CPU time: 259.613 s
c
c core #204
c 
c 
c Core size: 1231	Core Weight: 1	Total Weight: 1148
c Current CPU time: 265.68 s
c
c core #205
c 
c 
c Core size: 1386	Core Weight: 1	Total Weight: 1149
c Current CPU time: 300.064 s
c
c core #206
c 
c 
c Core size: 1934	Core Weight: 1	Total Weight: 1150
c Current CPU time: 390.751 s
c
c core #207
c 
c 
c Core size: 2636	Core Weight: 1	Total Weight: 1151
c Current CPU time: 1421.64 s
c
c #cores: 207
s UNKNOWN
1800.000u 6.065s 30:08.14 99.8%	0+0k 0+0io 0pf+0w