Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-wbo.wcnf-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-160-1_network-10.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-160-1_network-10.net.wcnf Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf c core #1 c Core size: 4 Core Weight: 987 Total Weight: 987 c core #2 c Core size: 5 Core Weight: 634 Total Weight: 1621 c core #3 c Core size: 8 Core Weight: 268 Total Weight: 1889 c core #4 c Core size: 8 Core Weight: 32 Total Weight: 1921 c core #5 c Core size: 4 Core Weight: 2333 Total Weight: 4254 c core #6 c Core size: 8 Core Weight: 233 Total Weight: 4487 c core #7 c Core size: 11 Core Weight: 686 Total Weight: 5173 c core #8 c Core size: 5 Core Weight: 1360 Total Weight: 6533 c core #9 c Core size: 9 Core Weight: 351 Total Weight: 6884 c core #10 c Core size: 4 Core Weight: 850 Total Weight: 7734 c core #11 c Core size: 7 Core Weight: 187 Total Weight: 7921 c core #12 c Core size: 3 Core Weight: 1193 Total Weight: 9114 c core #13 c Core size: 6 Core Weight: 514 Total Weight: 9628 c core #14 c Core size: 3 Core Weight: 1441 Total Weight: 11069 c core #15 c Core size: 6 Core Weight: 56 Total Weight: 11125 c core #16 c Core size: 3 Core Weight: 1307 Total Weight: 12432 c core #17 c Core size: 5 Core Weight: 378 Total Weight: 12810 c core #18 c Core size: 7 Core Weight: 413 Total Weight: 13223 c core #19 c Core size: 10 Core Weight: 314 Total Weight: 13537 c core #20 c Core size: 3 Core Weight: 2211 Total Weight: 15748 c core #21 c Core size: 7 Core Weight: 457 Total Weight: 16205 c core #22 c Core size: 10 Core Weight: 273 Total Weight: 16478 c core #23 c Core size: 5 Core Weight: 1107 Total Weight: 17585 c core #24 c Core size: 8 Core Weight: 510 Total Weight: 18095 c core #25 c Core size: 4 Core Weight: 2321 Total Weight: 20416 c core #26 c Core size: 8 Core Weight: 543 Total Weight: 20959 c core #27 c Core size: 5 Core Weight: 1251 Total Weight: 22210 c core #28 c Core size: 8 Core Weight: 520 Total Weight: 22730 c core #29 c Core size: 4 Core Weight: 1888 Total Weight: 24618 c core #30 c Core size: 6 Core Weight: 1025 Total Weight: 25643 c core #31 c Core size: 4 Core Weight: 572 Total Weight: 26215 c core #32 c Core size: 7 Core Weight: 273 Total Weight: 26488 c core #33 c Core size: 4 Core Weight: 1009 Total Weight: 27497 c core #34 c Core size: 7 Core Weight: 463 Total Weight: 27960 c core #35 c Core size: 4 Core Weight: 2167 Total Weight: 30127 c core #36 c Core size: 7 Core Weight: 1499 Total Weight: 31626 c core #37 c Core size: 11 Core Weight: 920 Total Weight: 32546 c core #38 c Core size: 15 Core Weight: 156 Total Weight: 32702 c core #39 c Core size: 4 Core Weight: 451 Total Weight: 33153 c core #40 c Core size: 6 Core Weight: 274 Total Weight: 33427 c core #41 c Core size: 5 Core Weight: 801 Total Weight: 34228 c core #42 c Core size: 9 Core Weight: 173 Total Weight: 34401 c core #43 c Core size: 4 Core Weight: 1722 Total Weight: 36123 c core #44 c Core size: 6 Core Weight: 228 Total Weight: 36351 c core #45 c Core size: 5 Core Weight: 1118 Total Weight: 37469 c core #46 c Core size: 8 Core Weight: 179 Total Weight: 37648 c core #47 c Core size: 5 Core Weight: 779 Total Weight: 38427 c core #48 c Core size: 9 Core Weight: 1293 Total Weight: 39720 c core #49 c Core size: 12 Core Weight: 339 Total Weight: 40059 c core #50 c Core size: 9 Core Weight: 34 Total Weight: 40093 c core #51 c Core size: 10 Core Weight: 324 Total Weight: 40417 c core #52 c Core size: 11 Core Weight: 625 Total Weight: 41042 c core #53 c Core size: 14 Core Weight: 150 Total Weight: 41192 c core #54 c Core size: 13 Core Weight: 642 Total Weight: 41834 c core #55 c Core size: 17 Core Weight: 108 Total Weight: 41942 c core #56 c Core size: 19 Core Weight: 268 Total Weight: 42210 c core #57 c Core size: 16 Core Weight: 147 Total Weight: 42357 c core #58 c Core size: 16 Core Weight: 80 Total Weight: 42437 c core #59 c Core size: 17 Core Weight: 764 Total Weight: 43201 c core #60 c Core size: 15 Core Weight: 39 Total Weight: 43240 c core #61 c Core size: 14 Core Weight: 449 Total Weight: 43689 c core #62 c Core size: 7 Core Weight: 535 Total Weight: 44224 c core #63 c Core size: 15 Core Weight: 119 Total Weight: 44343 c core #64 c Core size: 10 Core Weight: 84 Total Weight: 44427 c core #65 c Core size: 6 Core Weight: 416 Total Weight: 44843 c core #66 c Core size: 15 Core Weight: 851 Total Weight: 45694 c core #67 c Core size: 18 Core Weight: 32 Total Weight: 45726 c core #68 c Core size: 9 Core Weight: 185 Total Weight: 45911 c core #69 c Core size: 18 Core Weight: 99 Total Weight: 46010 c core #70 c Core size: 10 Core Weight: 93 Total Weight: 46103 c core #71 c Core size: 19 Core Weight: 279 Total Weight: 46382 c core #72 c Core size: 6 Core Weight: 326 Total Weight: 46708 c core #73 c Core size: 7 Core Weight: 148 Total Weight: 46856 c core #74 c Core size: 20 Core Weight: 9 Total Weight: 46865 c core #75 c Core size: 18 Core Weight: 182 Total Weight: 47047 c core #76 c Core size: 18 Core Weight: 182 Total Weight: 47229 c core #77 c Core size: 20 Core Weight: 30 Total Weight: 47259 c core #78 c Core size: 8 Core Weight: 62 Total Weight: 47321 c core #79 c Core size: 6 Core Weight: 563 Total Weight: 47884 c core #80 c Core size: 8 Core Weight: 292 Total Weight: 48176 c core #81 c Core size: 23 Core Weight: 473 Total Weight: 48649 c core #82 c Core size: 9 Core Weight: 139 Total Weight: 48788 c core #83 c Core size: 8 Core Weight: 401 Total Weight: 49189 c core #84 c Core size: 22 Core Weight: 246 Total Weight: 49435 c core #85 c Core size: 6 Core Weight: 16 Total Weight: 49451 c core #86 c Core size: 9 Core Weight: 402 Total Weight: 49853 c core #87 c Core size: 10 Core Weight: 675 Total Weight: 50528 c core #88 c Core size: 8 Core Weight: 223 Total Weight: 50751 c core #89 c Core size: 6 Core Weight: 109 Total Weight: 50860 c core #90 c Core size: 11 Core Weight: 486 Total Weight: 51346 c core #91 c Core size: 17 Core Weight: 74 Total Weight: 51420 c core #92 c Core size: 7 Core Weight: 792 Total Weight: 52212 c core #93 c Core size: 10 Core Weight: 678 Total Weight: 52890 c core #94 c Core size: 9 Core Weight: 125 Total Weight: 53015 c core #95 c Core size: 10 Core Weight: 299 Total Weight: 53314 c core #96 c Core size: 9 Core Weight: 597 Total Weight: 53911 c core #97 c Core size: 15 Core Weight: 114 Total Weight: 54025 c core #98 c Core size: 10 Core Weight: 153 Total Weight: 54178 c core #99 c Core size: 17 Core Weight: 98 Total Weight: 54276 c core #100 c Core size: 12 Core Weight: 1080 Total Weight: 55356 c core #101 c Core size: 11 Core Weight: 214 Total Weight: 55570 c core #102 c Core size: 12 Core Weight: 551 Total Weight: 56121 c core #103 c Core size: 14 Core Weight: 390 Total Weight: 56511 c core #104 c Core size: 14 Core Weight: 590 Total Weight: 57101 c core #105 c Core size: 11 Core Weight: 274 Total Weight: 57375 c core #106 c Core size: 13 Core Weight: 20 Total Weight: 57395 c core #107 c Core size: 6 Core Weight: 250 Total Weight: 57645 c core #108 c Core size: 11 Core Weight: 475 Total Weight: 58120 c core #109 c Core size: 15 Core Weight: 26 Total Weight: 58146 c core #110 c Core size: 17 Core Weight: 49 Total Weight: 58195 c core #111 c Core size: 10 Core Weight: 749 Total Weight: 58944 c core #112 c Core size: 9 Core Weight: 930 Total Weight: 59874 c core #113 c Core size: 12 Core Weight: 229 Total Weight: 60103 c core #114 c Core size: 12 Core Weight: 293 Total Weight: 60396 c core #115 c Core size: 9 Core Weight: 236 Total Weight: 60632 c core #116 c Core size: 8 Core Weight: 411 Total Weight: 61043 c core #117 c Core size: 15 Core Weight: 265 Total Weight: 61308 c core #118 c Core size: 9 Core Weight: 891 Total Weight: 62199 c core #119 c Core size: 13 Core Weight: 60 Total Weight: 62259 c core #120 c Core size: 10 Core Weight: 540 Total Weight: 62799 c core #121 c Core size: 19 Core Weight: 32 Total Weight: 62831 c core #122 c Core size: 18 Core Weight: 28 Total Weight: 62859 c core #123 c Core size: 12 Core Weight: 499 Total Weight: 63358 c core #124 c Core size: 15 Core Weight: 139 Total Weight: 63497 c core #125 c Core size: 13 Core Weight: 14 Total Weight: 63511 c core #126 c Core size: 14 Core Weight: 819 Total Weight: 64330 c core #127 c Core size: 13 Core Weight: 219 Total Weight: 64549 c core #128 c Core size: 10 Core Weight: 134 Total Weight: 64683 c core #129 c Core size: 9 Core Weight: 391 Total Weight: 65074 c core #130 c Core size: 11 Core Weight: 678 Total Weight: 65752 c core #131 c Core size: 8 Core Weight: 177 Total Weight: 65929 c core #132 c Core size: 8 Core Weight: 205 Total Weight: 66134 c core #133 c Core size: 9 Core Weight: 277 Total Weight: 66411 c core #134 c Core size: 10 Core Weight: 122 Total Weight: 66533 c core #135 c Core size: 10 Core Weight: 10 Total Weight: 66543 c core #136 c Core size: 10 Core Weight: 676 Total Weight: 67219 c core #137 c Core size: 10 Core Weight: 210 Total Weight: 67429 c core #138 c Core size: 15 Core Weight: 97 Total Weight: 67526 c core #139 c Core size: 10 Core Weight: 73 Total Weight: 67599 c core #140 c Core size: 12 Core Weight: 299 Total Weight: 67898 c core #141 c Core size: 18 Core Weight: 220 Total Weight: 68118 c core #142 c Core size: 11 Core Weight: 649 Total Weight: 68767 c core #143 c Core size: 8 Core Weight: 165 Total Weight: 68932 c core #144 c Core size: 22 Core Weight: 32 Total Weight: 68964 c core #145 c Core size: 11 Core Weight: 313 Total Weight: 69277 c core #146 c Core size: 11 Core Weight: 579 Total Weight: 69856 c core #147 c Core size: 9 Core Weight: 635 Total Weight: 70491 c core #148 c Core size: 10 Core Weight: 811 Total Weight: 71302 c core #149 c Core size: 6 Core Weight: 453 Total Weight: 71755 c core #150 c Core size: 13 Core Weight: 1341 Total Weight: 73096 c core #151 c Core size: 14 Core Weight: 443 Total Weight: 73539 c core #152 c Core size: 11 Core Weight: 634 Total Weight: 74173 c core #153 c Core size: 12 Core Weight: 1031 Total Weight: 75204 c core #154 c Core size: 19 Core Weight: 331 Total Weight: 75535 c core #155 c Core size: 21 Core Weight: 25 Total Weight: 75560 c core #156 c Core size: 15 Core Weight: 450 Total Weight: 76010 c core #157 c Core size: 10 Core Weight: 262 Total Weight: 76272 c core #158 c Core size: 13 Core Weight: 388 Total Weight: 76660 c core #159 c Core size: 15 Core Weight: 69 Total Weight: 76729 c core #160 c Core size: 9 Core Weight: 194 Total Weight: 76923 c core #161 c Core size: 17 Core Weight: 20 Total Weight: 76943 c core #162 c Core size: 15 Core Weight: 491 Total Weight: 77434 c core #163 c Core size: 10 Core Weight: 250 Total Weight: 77684 c core #164 c Core size: 14 Core Weight: 163 Total Weight: 77847 c core #165 c Core size: 15 Core Weight: 356 Total Weight: 78203 c core #166 c Core size: 13 Core Weight: 197 Total Weight: 78400 c core #167 c Core size: 12 Core Weight: 58 Total Weight: 78458 c core #168 c Core size: 16 Core Weight: 141 Total Weight: 78599 c core #169 c Core size: 11 Core Weight: 31 Total Weight: 78630 c core #170 c Core size: 12 Core Weight: 752 Total Weight: 79382 c core #171 c Core size: 10 Core Weight: 721 Total Weight: 80103 c core #172 c Core size: 15 Core Weight: 85 Total Weight: 80188 c core #173 c Core size: 15 Core Weight: 175 Total Weight: 80363 c core #174 c Core size: 8 Core Weight: 567 Total Weight: 80930 c core #175 c Core size: 8 Core Weight: 3 Total Weight: 80933 c core #176 c Core size: 11 Core Weight: 671 Total Weight: 81604 c core #177 c Core size: 6 Core Weight: 165 Total Weight: 81769 c core #178 c Core size: 15 Core Weight: 808 Total Weight: 82577 c core #179 c Core size: 14 Core Weight: 613 Total Weight: 83190 c core #180 c Core size: 10 Core Weight: 118 Total Weight: 83308 c core #181 c Core size: 8 Core Weight: 288 Total Weight: 83596 c core #182 c Core size: 13 Core Weight: 297 Total Weight: 83893 c core #183 c Core size: 17 Core Weight: 446 Total Weight: 84339 c core #184 c Core size: 7 Core Weight: 192 Total Weight: 84531 c core #185 c Core size: 12 Core Weight: 289 Total Weight: 84820 c core #186 c Core size: 14 Core Weight: 20 Total Weight: 84840 c core #187 c Core size: 13 Core Weight: 118 Total Weight: 84958 c core #188 c Core size: 10 Core Weight: 200 Total Weight: 85158 c core #189 c Core size: 6 Core Weight: 849 Total Weight: 86007 c core #190 c Core size: 10 Core Weight: 142 Total Weight: 86149 c core #191 c Core size: 6 Core Weight: 173 Total Weight: 86322 c core #192 c Core size: 12 Core Weight: 191 Total Weight: 86513 c core #193 c Core size: 10 Core Weight: 530 Total Weight: 87043 c core #194 c Core size: 21 Core Weight: 119 Total Weight: 87162 c core #195 c Core size: 12 Core Weight: 223 Total Weight: 87385 c core #196 c Core size: 9 Core Weight: 789 Total Weight: 88174 c core #197 c Core size: 11 Core Weight: 1081 Total Weight: 89255 c core #198 c Core size: 18 Core Weight: 1185 Total Weight: 90440 c core #199 c Core size: 14 Core Weight: 91 Total Weight: 90531 c core #200 c Core size: 10 Core Weight: 110 Total Weight: 90641 c core #201 c Core size: 8 Core Weight: 992 Total Weight: 91633 c core #202 c Core size: 12 Core Weight: 133 Total Weight: 91766 c core #203 c Core size: 6 Core Weight: 152 Total Weight: 91918 c core #204 c Core size: 11 Core Weight: 38 Total Weight: 91956 c core #205 c Core size: 14 Core Weight: 103 Total Weight: 92059 c core #206 c Core size: 14 Core Weight: 444 Total Weight: 92503 c core #207 c Core size: 17 Core Weight: 426 Total Weight: 92929 c core #208 c Core size: 17 Core Weight: 642 Total Weight: 93571 c core #209 c Core size: 16 Core Weight: 1073 Total Weight: 94644 c core #210 c Core size: 10 Core Weight: 790 Total Weight: 95434 c core #211 c Core size: 10 Core Weight: 513 Total Weight: 95947 c core #212 c Core size: 6 Core Weight: 941 Total Weight: 96888 c core #213 c Core size: 16 Core Weight: 713 Total Weight: 97601 c core #214 c Core size: 16 Core Weight: 268 Total Weight: 97869 c core #215 c Core size: 13 Core Weight: 314 Total Weight: 98183 c core #216 c Core size: 19 Core Weight: 40 Total Weight: 98223 c core #217 c Core size: 13 Core Weight: 8 Total Weight: 98231 c core #218 c Core size: 22 Core Weight: 106 Total Weight: 98337 c core #219 c Core size: 22 Core Weight: 110 Total Weight: 98447 c core #220 c Core size: 14 Core Weight: 61 Total Weight: 98508 c core #221 c Core size: 14 Core Weight: 1161 Total Weight: 99669 c core #222 c Core size: 15 Core Weight: 242 Total Weight: 99911 c core #223 c Core size: 19 Core Weight: 642 Total Weight: 100553 c core #224 c Core size: 10 Core Weight: 362 Total Weight: 100915 c core #225 c Core size: 12 Core Weight: 65 Total Weight: 100980 c core #226 c Core size: 18 Core Weight: 224 Total Weight: 101204 c core #227 c Core size: 18 Core Weight: 854 Total Weight: 102058 c core #228 c Core size: 18 Core Weight: 919 Total Weight: 102977 c core #229 c Core size: 18 Core Weight: 217 Total Weight: 103194 c core #230 c Core size: 10 Core Weight: 745 Total Weight: 103939 c core #231 c Core size: 19 Core Weight: 33 Total Weight: 103972 c core #232 c Core size: 17 Core Weight: 742 Total Weight: 104714 c core #233 c Core size: 12 Core Weight: 293 Total Weight: 105007 c core #234 c Core size: 10 Core Weight: 626 Total Weight: 105633 c core #235 c Core size: 16 Core Weight: 304 Total Weight: 105937 c core #236 c Core size: 13 Core Weight: 49 Total Weight: 105986 c core #237 c Core size: 11 Core Weight: 238 Total Weight: 106224 c core #238 c Core size: 16 Core Weight: 226 Total Weight: 106450 c core #239 c Core size: 14 Core Weight: 383 Total Weight: 106833 c core #240 c Core size: 24 Core Weight: 75 Total Weight: 106908 c core #241 c Core size: 10 Core Weight: 12 Total Weight: 106920 c core #242 c Core size: 18 Core Weight: 30 Total Weight: 106950 c core #243 c Core size: 20 Core Weight: 49 Total Weight: 106999 c core #244 c Core size: 22 Core Weight: 104 Total Weight: 107103 c core #245 c Core size: 19 Core Weight: 234 Total Weight: 107337 c core #246 c Core size: 17 Core Weight: 137 Total Weight: 107474 c core #247 c Core size: 20 Core Weight: 54 Total Weight: 107528 c core #248 c Core size: 18 Core Weight: 272 Total Weight: 107800 c core #249 c Core size: 22 Core Weight: 76 Total Weight: 107876 c core #250 c Core size: 17 Core Weight: 440 Total Weight: 108316 c core #251 c Core size: 11 Core Weight: 863 Total Weight: 109179 c core #252 c Core size: 14 Core Weight: 167 Total Weight: 109346 c core #253 c Core size: 11 Core Weight: 474 Total Weight: 109820 c core #254 c Core size: 19 Core Weight: 297 Total Weight: 110117 c core #255 c Core size: 11 Core Weight: 592 Total Weight: 110709 c core #256 c Core size: 12 Core Weight: 353 Total Weight: 111062 c core #257 c Core size: 21 Core Weight: 346 Total Weight: 111408 c core #258 c Core size: 20 Core Weight: 204 Total Weight: 111612 c core #259 c Core size: 8 Core Weight: 1240 Total Weight: 112852 c core #260 c Core size: 8 Core Weight: 118 Total Weight: 112970 c core #261 c Core size: 12 Core Weight: 335 Total Weight: 113305 c core #262 c Core size: 12 Core Weight: 341 Total Weight: 113646 c core #263 c Core size: 15 Core Weight: 12 Total Weight: 113658 c core #264 c Core size: 14 Core Weight: 41 Total Weight: 113699 c core #265 c Core size: 11 Core Weight: 432 Total Weight: 114131 c core #266 c Core size: 14 Core Weight: 797 Total Weight: 114928 c core #267 c Core size: 10 Core Weight: 946 Total Weight: 115874 c core #268 c Core size: 22 Core Weight: 13 Total Weight: 115887 c core #269 c Core size: 10 Core Weight: 424 Total Weight: 116311 c core #270 c Core size: 9 Core Weight: 431 Total Weight: 116742 c core #271 c Core size: 22 Core Weight: 26 Total Weight: 116768 c core #272 c Core size: 14 Core Weight: 29 Total Weight: 116797 c core #273 c Core size: 11 Core Weight: 688 Total Weight: 117485 c core #274 c Core size: 15 Core Weight: 80 Total Weight: 117565 c core #275 c Core size: 14 Core Weight: 252 Total Weight: 117817 c core #276 c Core size: 18 Core Weight: 209 Total Weight: 118026 c core #277 c Core size: 20 Core Weight: 248 Total Weight: 118274 c core #278 c Core size: 9 Core Weight: 113 Total Weight: 118387 c core #279 c Core size: 15 Core Weight: 427 Total Weight: 118814 c core #280 c Core size: 22 Core Weight: 617 Total Weight: 119431 c core #281 c Core size: 20 Core Weight: 225 Total Weight: 119656 c core #282 c Core size: 13 Core Weight: 503 Total Weight: 120159 c core #283 c Core size: 20 Core Weight: 22 Total Weight: 120181 c core #284 c Core size: 22 Core Weight: 2 Total Weight: 120183 c core #285 c Core size: 22 Core Weight: 202 Total Weight: 120385 c core #286 c Core size: 22 Core Weight: 852 Total Weight: 121237 c core #287 c Core size: 22 Core Weight: 158 Total Weight: 121395 c core #288 c Core size: 18 Core Weight: 5 Total Weight: 121400 c core #289 c Core size: 9 Core Weight: 12 Total Weight: 121412 c core #290 c Core size: 21 Core Weight: 242 Total Weight: 121654 c core #291 c Core size: 17 Core Weight: 428 Total Weight: 122082 c core #292 c Core size: 22 Core Weight: 725 Total Weight: 122807 c core #293 c Core size: 11 Core Weight: 209 Total Weight: 123016 c core #294 c Core size: 20 Core Weight: 268 Total Weight: 123284 c core #295 c Core size: 8 Core Weight: 961 Total Weight: 124245 c core #296 c Core size: 12 Core Weight: 411 Total Weight: 124656 c core #297 c Core size: 8 Core Weight: 974 Total Weight: 125630 c core #298 c Core size: 16 Core Weight: 253 Total Weight: 125883 c core #299 c Core size: 23 Core Weight: 170 Total Weight: 126053 c core #300 c Core size: 18 Core Weight: 1 Total Weight: 126054 c core #301 c Core size: 27 Core Weight: 313 Total Weight: 126367 c core #302 c Core size: 16 Core Weight: 6 Total Weight: 126373 c core #303 c Core size: 19 Core Weight: 1014 Total Weight: 127387 c core #304 c Core size: 12 Core Weight: 148 Total Weight: 127535 c core #305 c Core size: 12 Core Weight: 129 Total Weight: 127664 c core #306 c Core size: 14 Core Weight: 799 Total Weight: 128463 c core #307 c Core size: 20 Core Weight: 65 Total Weight: 128528 c core #308 c Core size: 18 Core Weight: 649 Total Weight: 129177 c core #309 c Core size: 29 Core Weight: 194 Total Weight: 129371 c core #310 c Core size: 6 Core Weight: 84 Total Weight: 129455 c core #311 c Core size: 21 Core Weight: 54 Total Weight: 129509 c core #312 c Core size: 11 Core Weight: 537 Total Weight: 130046 c core #313 c Core size: 20 Core Weight: 245 Total Weight: 130291 c core #314 c Core size: 20 Core Weight: 201 Total Weight: 130492 c core #315 c Core size: 14 Core Weight: 337 Total Weight: 130829 c core #316 c Core size: 20 Core Weight: 61 Total Weight: 130890 c core #317 c Core size: 20 Core Weight: 204 Total Weight: 131094 c core #318 c Core size: 19 Core Weight: 65 Total Weight: 131159 c core #319 c Core size: 23 Core Weight: 63 Total Weight: 131222 c core #320 c Core size: 18 Core Weight: 703 Total Weight: 131925 c core #321 c Core size: 15 Core Weight: 166 Total Weight: 132091 c core #322 c Core size: 18 Core Weight: 946 Total Weight: 133037 c core #323 c Core size: 12 Core Weight: 78 Total Weight: 133115 c core #324 c Core size: 14 Core Weight: 187 Total Weight: 133302 c core #325 c Core size: 19 Core Weight: 226 Total Weight: 133528 c core #326 c Core size: 18 Core Weight: 575 Total Weight: 134103 c core #327 c Core size: 22 Core Weight: 59 Total Weight: 134162 c core #328 c Core size: 25 Core Weight: 455 Total Weight: 134617 c core #329 c Core size: 43 Core Weight: 64 Total Weight: 134681 c core #330 c Core size: 26 Core Weight: 68 Total Weight: 134749 c core #331 c Core size: 14 Core Weight: 147 Total Weight: 134896 c core #332 c Core size: 24 Core Weight: 295 Total Weight: 135191 c core #333 c Core size: 14 Core Weight: 370 Total Weight: 135561 c core #334 c Core size: 22 Core Weight: 15 Total Weight: 135576 c core #335 c Core size: 26 Core Weight: 453 Total Weight: 136029 c core #336 c Core size: 19 Core Weight: 22 Total Weight: 136051 c core #337 c Core size: 11 Core Weight: 108 Total Weight: 136159 c core #338 c Core size: 29 Core Weight: 58 Total Weight: 136217 c core #339 c Core size: 20 Core Weight: 52 Total Weight: 136269 c core #340 c Core size: 23 Core Weight: 216 Total Weight: 136485 c core #341 c Core size: 22 Core Weight: 101 Total Weight: 136586 c core #342 c Core size: 17 Core Weight: 257 Total Weight: 136843 c core #343 c Core size: 20 Core Weight: 13 Total Weight: 136856 c core #344 c Core size: 21 Core Weight: 297 Total Weight: 137153 c core #345 c Core size: 21 Core Weight: 314 Total Weight: 137467 c core #346 c Core size: 32 Core Weight: 17 Total Weight: 137484 c core #347 c Core size: 17 Core Weight: 23 Total Weight: 137507 c core #348 c Core size: 14 Core Weight: 69 Total Weight: 137576 c core #349 c Core size: 16 Core Weight: 270 Total Weight: 137846 c core #350 c Core size: 18 Core Weight: 1128 Total Weight: 138974 c core #351 c Core size: 15 Core Weight: 167 Total Weight: 139141 c core #352 c Core size: 18 Core Weight: 413 Total Weight: 139554 c core #353 c Core size: 12 Core Weight: 443 Total Weight: 139997 c core #354 c Core size: 19 Core Weight: 218 Total Weight: 140215 c core #355 c Core size: 29 Core Weight: 71 Total Weight: 140286 c core #356 c Core size: 13 Core Weight: 93 Total Weight: 140379 c core #357 c Core size: 16 Core Weight: 84 Total Weight: 140463 c core #358 c Core size: 21 Core Weight: 93 Total Weight: 140556 c core #359 c Core size: 31 Core Weight: 35 Total Weight: 140591 c core #360 c Core size: 24 Core Weight: 40 Total Weight: 140631 c core #361 c Core size: 22 Core Weight: 165 Total Weight: 140796 c core #362 c Core size: 21 Core Weight: 7 Total Weight: 140803 c core #363 c Core size: 21 Core Weight: 708 Total Weight: 141511 c core #364 c Core size: 25 Core Weight: 8 Total Weight: 141519 c core #365 c Core size: 25 Core Weight: 45 Total Weight: 141564 c core #366 c Core size: 20 Core Weight: 504 Total Weight: 142068 c core #367 c Core size: 31 Core Weight: 47 Total Weight: 142115 c core #368 c Core size: 30 Core Weight: 16 Total Weight: 142131 c core #369 c Core size: 14 Core Weight: 203 Total Weight: 142334 c core #370 c Core size: 11 Core Weight: 390 Total Weight: 142724 c core #371 c Core size: 25 Core Weight: 6 Total Weight: 142730 c core #372 c Core size: 12 Core Weight: 465 Total Weight: 143195 c core #373 c Core size: 33 Core Weight: 69 Total Weight: 143264 c core #374 c Core size: 22 Core Weight: 23 Total Weight: 143287 c core #375 c Core size: 13 Core Weight: 21 Total Weight: 143308 c core #376 c Core size: 17 Core Weight: 62 Total Weight: 143370 c core #377 c Core size: 20 Core Weight: 405 Total Weight: 143775 c core #378 c Core size: 18 Core Weight: 50 Total Weight: 143825 c core #379 c Core size: 21 Core Weight: 53 Total Weight: 143878 c core #380 c Core size: 34 Core Weight: 52 Total Weight: 143930 c core #381 c Core size: 20 Core Weight: 96 Total Weight: 144026 c core #382 c Core size: 34 Core Weight: 83 Total Weight: 144109 c core #383 c Core size: 31 Core Weight: 411 Total Weight: 144520 c core #384 c Core size: 41 Core Weight: 8 Total Weight: 144528 c core #385 c Core size: 14 Core Weight: 399 Total Weight: 144927 c core #386 c Core size: 18 Core Weight: 262 Total Weight: 145189 c core #387 c Core size: 17 Core Weight: 738 Total Weight: 145927 c core #388 c Core size: 30 Core Weight: 45 Total Weight: 145972 c core #389 c Core size: 18 Core Weight: 107 Total Weight: 146079 c core #390 c Core size: 14 Core Weight: 37 Total Weight: 146116 c core #391 c Core size: 17 Core Weight: 133 Total Weight: 146249 c core #392 c Core size: 14 Core Weight: 165 Total Weight: 146414 c core #393 c Core size: 22 Core Weight: 545 Total Weight: 146959 c core #394 c Core size: 16 Core Weight: 128 Total Weight: 147087 c core #395 c Core size: 19 Core Weight: 16 Total Weight: 147103 c core #396 c Core size: 38 Core Weight: 36 Total Weight: 147139 c core #397 c Core size: 20 Core Weight: 25 Total Weight: 147164 c core #398 c Core size: 20 Core Weight: 108 Total Weight: 147272 c core #399 c Core size: 22 Core Weight: 250 Total Weight: 147522 c core #400 c Core size: 22 Core Weight: 11 Total Weight: 147533 c core #401 c Core size: 24 Core Weight: 10 Total Weight: 147543 c core #402 c Core size: 41 Core Weight: 122 Total Weight: 147665 c core #403 c Core size: 17 Core Weight: 590 Total Weight: 148255 c core #404 c Core size: 18 Core Weight: 278 Total Weight: 148533 c core #405 c Core size: 29 Core Weight: 133 Total Weight: 148666 c core #406 c Core size: 17 Core Weight: 1020 Total Weight: 149686 c core #407 c Core size: 14 Core Weight: 663 Total Weight: 150349 c core #408 c Core size: 16 Core Weight: 1016 Total Weight: 151365 c core #409 c Core size: 20 Core Weight: 13 Total Weight: 151378 c core #410 c Core size: 24 Core Weight: 16 Total Weight: 151394 c core #411 c Core size: 21 Core Weight: 78 Total Weight: 151472 c core #412 c Core size: 69 Core Weight: 20 Total Weight: 151492 c core #413 c Core size: 37 Core Weight: 30 Total Weight: 151522 c core #414 c Core size: 14 Core Weight: 198 Total Weight: 151720 c core #415 c Core size: 69 Core Weight: 98 Total Weight: 151818 c core #416 c Core size: 30 Core Weight: 53 Total Weight: 151871 c core #417 c Core size: 19 Core Weight: 186 Total Weight: 152057 c core #418 c Core size: 25 Core Weight: 230 Total Weight: 152287 c core #419 c Core size: 12 Core Weight: 221 Total Weight: 152508 c core #420 c Core size: 17 Core Weight: 162 Total Weight: 152670 c core #421 c Core size: 26 Core Weight: 3 Total Weight: 152673 c core #422 c Core size: 83 Core Weight: 6 Total Weight: 152679 c core #423 c Core size: 48 Core Weight: 7 Total Weight: 152686 c core #424 c Core size: 88 Core Weight: 1 Total Weight: 152687 c core #425 c Core size: 14 Core Weight: 647 Total Weight: 153334 c core #426 c Core size: 17 Core Weight: 328 Total Weight: 153662 c core #427 c Core size: 15 Core Weight: 68 Total Weight: 153730 c core #428 c Core size: 26 Core Weight: 65 Total Weight: 153795 c core #429 c Core size: 21 Core Weight: 162 Total Weight: 153957 c core #430 c Core size: 29 Core Weight: 87 Total Weight: 154044 c core #431 c Core size: 46 Core Weight: 60 Total Weight: 154104 c core #432 c Core size: 26 Core Weight: 113 Total Weight: 154217 c core #433 c Core size: 70 Core Weight: 25 Total Weight: 154242 c core #434 c Core size: 71 Core Weight: 13 Total Weight: 154255 c core #435 c Core size: 46 Core Weight: 11 Total Weight: 154266 c core #436 c Core size: 30 Core Weight: 65 Total Weight: 154331 c core #437 c Core size: 34 Core Weight: 1 Total Weight: 154332 c core #438 c Core size: 14 Core Weight: 963 Total Weight: 155295 c core #439 c Core size: 70 Core Weight: 85 Total Weight: 155380 c core #440 c Core size: 27 Core Weight: 64 Total Weight: 155444 c core #441 c Core size: 77 Core Weight: 5 Total Weight: 155449 c core #442 c Core size: 42 Core Weight: 6 Total Weight: 155455 c core #443 c Core size: 17 Core Weight: 364 Total Weight: 155819 c core #444 c Core size: 18 Core Weight: 43 Total Weight: 155862 c core #445 c Core size: 30 Core Weight: 82 Total Weight: 155944 c core #446 c Core size: 44 Core Weight: 38 Total Weight: 155982 c core #447 c Core size: 21 Core Weight: 163 Total Weight: 156145 c core #448 c Core size: 21 Core Weight: 540 Total Weight: 156685 c core #449 c Core size: 14 Core Weight: 728 Total Weight: 157413 c core #450 c Core size: 18 Core Weight: 393 Total Weight: 157806 c core #451 c Core size: 37 Core Weight: 45 Total Weight: 157851 c core #452 c Core size: 19 Core Weight: 285 Total Weight: 158136 c core #453 c Core size: 25 Core Weight: 42 Total Weight: 158178 c core #454 c Core size: 47 Core Weight: 60 Total Weight: 158238 c core #455 c Core size: 88 Core Weight: 9 Total Weight: 158247 c core #456 c Core size: 48 Core Weight: 16 Total Weight: 158263 c core #457 c Core size: 36 Core Weight: 49 Total Weight: 158312 c core #458 c Core size: 104 Core Weight: 9 Total Weight: 158321 c core #459 c Core size: 25 Core Weight: 58 Total Weight: 158379 c core #460 c Core size: 17 Core Weight: 63 Total Weight: 158442 c core #461 c Core size: 35 Core Weight: 113 Total Weight: 158555 c core #462 c Core size: 63 Core Weight: 76 Total Weight: 158631 c core #463 c Core size: 40 Core Weight: 25 Total Weight: 158656 c core #464 c Core size: 20 Core Weight: 163 Total Weight: 158819 c core #465 c Core size: 27 Core Weight: 5 Total Weight: 158824 c core #466 c Core size: 19 Core Weight: 58 Total Weight: 158882 c core #467 c Core size: 32 Core Weight: 58 Total Weight: 158940 c core #468 c Core size: 11 Core Weight: 900 Total Weight: 159840 c core #469 c Core size: 27 Core Weight: 5 Total Weight: 159845 c core #470 c Core size: 41 Core Weight: 3 Total Weight: 159848 c core #471 c Core size: 22 Core Weight: 240 Total Weight: 160088 c core #472 c Core size: 35 Core Weight: 36 Total Weight: 160124 c core #473 c Core size: 34 Core Weight: 12 Total Weight: 160136 c core #474 c Core size: 52 Core Weight: 24 Total Weight: 160160 c core #475 c Core size: 14 Core Weight: 188 Total Weight: 160348 c core #476 c Core size: 35 Core Weight: 57 Total Weight: 160405 c core #477 c Core size: 25 Core Weight: 114 Total Weight: 160519 c core #478 c Core size: 52 Core Weight: 12 Total Weight: 160531 c core #479 c Core size: 54 Core Weight: 5 Total Weight: 160536 c core #480 c Core size: 57 Core Weight: 36 Total Weight: 160572 c core #481 c Core size: 13 Core Weight: 95 Total Weight: 160667 c core #482 c Core size: 14 Core Weight: 560 Total Weight: 161227 c core #483 c Core size: 14 Core Weight: 644 Total Weight: 161871 c #cores: 483 c Final Weight: 161871 o 161871 s OPTIMUM FOUND v 1 -2 -3 4 -5 -6 -7 8 -9 -10 -11 -12 -13 14 15 -16 -17 -18 -19 20 -21 22 -23 -24 25 -26 -27 -28 29 -30 -31 -32 -33 34 -35 36 -37 -38 -39 -40 41 42 -43 -44 -45 -46 47 -48 49 -50 -51 52 -53 -54 -55 56 57 -58 -59 -60 -61 62 63 -64 -65 -66 67 -68 69 -70 71 -72 -73 -74 -75 76 -77 78 -79 -80 -81 82 -83 -84 -85 86 -87 -88 -89 90 91 -92 -93 -94 95 -96 -97 98 -99 -100 101 -102 -103 104 -105 -106 107 108 -109 -110 111 -112 -113 114 -115 -116 -117 -118 -119 120 -121 -122 -123 124 125 -126 -127 128 -129 130 131 -132 -133 -134 -135 136 -137 138 -139 -140 -141 142 -143 144 -145 -146 147 148 -149 -150 -151 -152 153 154 -155 -156 -157 -158 159 -160 161 -162 -163 -164 165 -166 -167 168 169 -170 -171 172 173 -174 -175 -176 -177 -178 179 180 -181 -182 -183 184 -185 -186 187 -188 -189 190 -191 -192 -193 194 -195 -196 197 -198 199 -200 -201 -202 203 -204 -205 -206 -207 -208 209 210 -211 -212 -213 -214 -215 216 217 -218 -219 -220 -221 222 -223 224 -225 -226 227 -228 -229 -230 231 -232 233 -234 -235 -236 237 -238 -239 240 -241 242 -243 -244 245 -246 247 248 -249 -250 251 -252 -253 -254 255 -256 -257 258 -259 -260 261 -262 -263 264 -265 -266 -267 268 -269 -270 271 -272 -273 -274 -275 276 -277 -278 -279 280 281 -282 -283 -284 -285 286 -287 288 -289 -290 -291 -292 293 -294 -295 -296 297 -298 299 -300 -301 302 -303 -304 -305 306 -307 308 -309 -310 -311 312 -313 -314 315 -316 -317 -318 -319 320 -321 322 -323 -324 325 -326 -327 328 -329 -330 331 -332 -333 -334 335 336 -337 -338 339 -340 -341 342 -343 -344 -345 -346 -347 348 -349 350 351 -352 -353 -354 -355 356 -357 358 -359 360 -361 -362 363 -364 -365 366 -367 -368 -369 370 -371 -372 -373 -374 375 -376 377 378 -379 -380 -381 -382 -383 384 -385 386 -387 -388 -389 -390 391 -392 393 394 -395 -396 397 -398 -399 -400 401 402 -403 -404 405 -406 -407 -408 -409 410 -411 -412 413 -414 415 -416 -417 -418 419 -420 -421 422 -423 424 -425 -426 -427 -428 429 -430 431 -432 -433 -434 4.933u 0.717s 0:05.72 98.6% 0+0k 0+0io 0pf+0w