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-140-1_network-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-8.net.wcnf Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf c core #1 c Core size: 5 Core Weight: 1130 Total Weight: 1130 c core #2 c Core size: 9 Core Weight: 512 Total Weight: 1642 c core #3 c Core size: 3 Core Weight: 1008 Total Weight: 2650 c core #4 c Core size: 5 Core Weight: 169 Total Weight: 2819 c core #5 c Core size: 9 Core Weight: 107 Total Weight: 2926 c core #6 c Core size: 3 Core Weight: 424 Total Weight: 3350 c core #7 c Core size: 7 Core Weight: 72 Total Weight: 3422 c core #8 c Core size: 11 Core Weight: 242 Total Weight: 3664 c core #9 c Core size: 5 Core Weight: 669 Total Weight: 4333 c core #10 c Core size: 9 Core Weight: 318 Total Weight: 4651 c core #11 c Core size: 4 Core Weight: 353 Total Weight: 5004 c core #12 c Core size: 7 Core Weight: 488 Total Weight: 5492 c core #13 c Core size: 3 Core Weight: 1038 Total Weight: 6530 c core #14 c Core size: 6 Core Weight: 589 Total Weight: 7119 c core #15 c Core size: 5 Core Weight: 899 Total Weight: 8018 c core #16 c Core size: 9 Core Weight: 387 Total Weight: 8405 c core #17 c Core size: 5 Core Weight: 561 Total Weight: 8966 c core #18 c Core size: 7 Core Weight: 475 Total Weight: 9441 c core #19 c Core size: 5 Core Weight: 1015 Total Weight: 10456 c core #20 c Core size: 8 Core Weight: 280 Total Weight: 10736 c core #21 c Core size: 4 Core Weight: 1400 Total Weight: 12136 c core #22 c Core size: 6 Core Weight: 145 Total Weight: 12281 c core #23 c Core size: 3 Core Weight: 641 Total Weight: 12922 c core #24 c Core size: 7 Core Weight: 591 Total Weight: 13513 c core #25 c Core size: 3 Core Weight: 1797 Total Weight: 15310 c core #26 c Core size: 5 Core Weight: 398 Total Weight: 15708 c core #27 c Core size: 9 Core Weight: 74 Total Weight: 15782 c core #28 c Core size: 7 Core Weight: 56 Total Weight: 15838 c core #29 c Core size: 12 Core Weight: 287 Total Weight: 16125 c core #30 c Core size: 3 Core Weight: 1822 Total Weight: 17947 c core #31 c Core size: 5 Core Weight: 1710 Total Weight: 19657 c core #32 c Core size: 5 Core Weight: 266 Total Weight: 19923 c core #33 c Core size: 8 Core Weight: 157 Total Weight: 20080 c core #34 c Core size: 4 Core Weight: 363 Total Weight: 20443 c core #35 c Core size: 8 Core Weight: 61 Total Weight: 20504 c core #36 c Core size: 4 Core Weight: 1466 Total Weight: 21970 c core #37 c Core size: 8 Core Weight: 406 Total Weight: 22376 c core #38 c Core size: 10 Core Weight: 219 Total Weight: 22595 c core #39 c Core size: 5 Core Weight: 256 Total Weight: 22851 c core #40 c Core size: 7 Core Weight: 1436 Total Weight: 24287 c core #41 c Core size: 5 Core Weight: 1479 Total Weight: 25766 c core #42 c Core size: 7 Core Weight: 748 Total Weight: 26514 c core #43 c Core size: 3 Core Weight: 916 Total Weight: 27430 c core #44 c Core size: 6 Core Weight: 1371 Total Weight: 28801 c core #45 c Core size: 8 Core Weight: 25 Total Weight: 28826 c core #46 c Core size: 5 Core Weight: 1169 Total Weight: 29995 c core #47 c Core size: 7 Core Weight: 136 Total Weight: 30131 c core #48 c Core size: 4 Core Weight: 86 Total Weight: 30217 c core #49 c Core size: 8 Core Weight: 649 Total Weight: 30866 c core #50 c Core size: 12 Core Weight: 316 Total Weight: 31182 c core #51 c Core size: 3 Core Weight: 620 Total Weight: 31802 c core #52 c Core size: 10 Core Weight: 342 Total Weight: 32144 c core #53 c Core size: 7 Core Weight: 89 Total Weight: 32233 c core #54 c Core size: 11 Core Weight: 27 Total Weight: 32260 c core #55 c Core size: 4 Core Weight: 1346 Total Weight: 33606 c core #56 c Core size: 7 Core Weight: 568 Total Weight: 34174 c core #57 c Core size: 3 Core Weight: 251 Total Weight: 34425 c core #58 c Core size: 6 Core Weight: 43 Total Weight: 34468 c core #59 c Core size: 8 Core Weight: 681 Total Weight: 35149 c core #60 c Core size: 3 Core Weight: 1100 Total Weight: 36249 c core #61 c Core size: 5 Core Weight: 101 Total Weight: 36350 c core #62 c Core size: 4 Core Weight: 1553 Total Weight: 37903 c core #63 c Core size: 7 Core Weight: 151 Total Weight: 38054 c core #64 c Core size: 12 Core Weight: 697 Total Weight: 38751 c core #65 c Core size: 11 Core Weight: 65 Total Weight: 38816 c core #66 c Core size: 10 Core Weight: 303 Total Weight: 39119 c core #67 c Core size: 10 Core Weight: 103 Total Weight: 39222 c core #68 c Core size: 10 Core Weight: 205 Total Weight: 39427 c core #69 c Core size: 10 Core Weight: 548 Total Weight: 39975 c core #70 c Core size: 8 Core Weight: 407 Total Weight: 40382 c core #71 c Core size: 10 Core Weight: 653 Total Weight: 41035 c core #72 c Core size: 12 Core Weight: 137 Total Weight: 41172 c core #73 c Core size: 14 Core Weight: 143 Total Weight: 41315 c core #74 c Core size: 14 Core Weight: 1379 Total Weight: 42694 c core #75 c Core size: 13 Core Weight: 905 Total Weight: 43599 c core #76 c Core size: 16 Core Weight: 607 Total Weight: 44206 c core #77 c Core size: 24 Core Weight: 98 Total Weight: 44304 c core #78 c Core size: 16 Core Weight: 182 Total Weight: 44486 c core #79 c Core size: 15 Core Weight: 450 Total Weight: 44936 c core #80 c Core size: 13 Core Weight: 179 Total Weight: 45115 c core #81 c Core size: 23 Core Weight: 110 Total Weight: 45225 c core #82 c Core size: 12 Core Weight: 123 Total Weight: 45348 c core #83 c Core size: 13 Core Weight: 103 Total Weight: 45451 c core #84 c Core size: 8 Core Weight: 252 Total Weight: 45703 c core #85 c Core size: 17 Core Weight: 708 Total Weight: 46411 c core #86 c Core size: 10 Core Weight: 57 Total Weight: 46468 c core #87 c Core size: 14 Core Weight: 370 Total Weight: 46838 c core #88 c Core size: 10 Core Weight: 238 Total Weight: 47076 c core #89 c Core size: 19 Core Weight: 191 Total Weight: 47267 c core #90 c Core size: 10 Core Weight: 150 Total Weight: 47417 c core #91 c Core size: 11 Core Weight: 577 Total Weight: 47994 c core #92 c Core size: 9 Core Weight: 301 Total Weight: 48295 c core #93 c Core size: 9 Core Weight: 171 Total Weight: 48466 c core #94 c Core size: 10 Core Weight: 67 Total Weight: 48533 c core #95 c Core size: 19 Core Weight: 102 Total Weight: 48635 c core #96 c Core size: 13 Core Weight: 139 Total Weight: 48774 c core #97 c Core size: 11 Core Weight: 515 Total Weight: 49289 c core #98 c Core size: 10 Core Weight: 63 Total Weight: 49352 c core #99 c Core size: 16 Core Weight: 49 Total Weight: 49401 c core #100 c Core size: 6 Core Weight: 622 Total Weight: 50023 c core #101 c Core size: 10 Core Weight: 364 Total Weight: 50387 c core #102 c Core size: 8 Core Weight: 764 Total Weight: 51151 c core #103 c Core size: 18 Core Weight: 347 Total Weight: 51498 c core #104 c Core size: 8 Core Weight: 235 Total Weight: 51733 c core #105 c Core size: 23 Core Weight: 4 Total Weight: 51737 c core #106 c Core size: 10 Core Weight: 296 Total Weight: 52033 c core #107 c Core size: 8 Core Weight: 179 Total Weight: 52212 c core #108 c Core size: 8 Core Weight: 181 Total Weight: 52393 c core #109 c Core size: 8 Core Weight: 174 Total Weight: 52567 c core #110 c Core size: 10 Core Weight: 464 Total Weight: 53031 c core #111 c Core size: 6 Core Weight: 393 Total Weight: 53424 c core #112 c Core size: 11 Core Weight: 132 Total Weight: 53556 c core #113 c Core size: 8 Core Weight: 605 Total Weight: 54161 c core #114 c Core size: 11 Core Weight: 762 Total Weight: 54923 c core #115 c Core size: 12 Core Weight: 1015 Total Weight: 55938 c core #116 c Core size: 8 Core Weight: 657 Total Weight: 56595 c core #117 c Core size: 12 Core Weight: 231 Total Weight: 56826 c core #118 c Core size: 10 Core Weight: 603 Total Weight: 57429 c core #119 c Core size: 9 Core Weight: 191 Total Weight: 57620 c core #120 c Core size: 16 Core Weight: 366 Total Weight: 57986 c core #121 c Core size: 12 Core Weight: 140 Total Weight: 58126 c core #122 c Core size: 19 Core Weight: 15 Total Weight: 58141 c core #123 c Core size: 9 Core Weight: 37 Total Weight: 58178 c core #124 c Core size: 8 Core Weight: 137 Total Weight: 58315 c core #125 c Core size: 11 Core Weight: 551 Total Weight: 58866 c core #126 c Core size: 6 Core Weight: 662 Total Weight: 59528 c core #127 c Core size: 11 Core Weight: 228 Total Weight: 59756 c core #128 c Core size: 7 Core Weight: 883 Total Weight: 60639 c core #129 c Core size: 10 Core Weight: 464 Total Weight: 61103 c core #130 c Core size: 12 Core Weight: 115 Total Weight: 61218 c core #131 c Core size: 11 Core Weight: 634 Total Weight: 61852 c core #132 c Core size: 8 Core Weight: 977 Total Weight: 62829 c core #133 c Core size: 13 Core Weight: 639 Total Weight: 63468 c core #134 c Core size: 22 Core Weight: 147 Total Weight: 63615 c core #135 c Core size: 11 Core Weight: 393 Total Weight: 64008 c core #136 c Core size: 10 Core Weight: 326 Total Weight: 64334 c core #137 c Core size: 8 Core Weight: 87 Total Weight: 64421 c core #138 c Core size: 11 Core Weight: 392 Total Weight: 64813 c core #139 c Core size: 8 Core Weight: 66 Total Weight: 64879 c core #140 c Core size: 11 Core Weight: 502 Total Weight: 65381 c core #141 c Core size: 11 Core Weight: 183 Total Weight: 65564 c core #142 c Core size: 12 Core Weight: 178 Total Weight: 65742 c core #143 c Core size: 10 Core Weight: 28 Total Weight: 65770 c core #144 c Core size: 13 Core Weight: 314 Total Weight: 66084 c core #145 c Core size: 18 Core Weight: 1224 Total Weight: 67308 c core #146 c Core size: 11 Core Weight: 150 Total Weight: 67458 c core #147 c Core size: 10 Core Weight: 185 Total Weight: 67643 c core #148 c Core size: 18 Core Weight: 548 Total Weight: 68191 c core #149 c Core size: 12 Core Weight: 62 Total Weight: 68253 c core #150 c Core size: 8 Core Weight: 1302 Total Weight: 69555 c core #151 c Core size: 6 Core Weight: 494 Total Weight: 70049 c core #152 c Core size: 8 Core Weight: 329 Total Weight: 70378 c core #153 c Core size: 23 Core Weight: 3 Total Weight: 70381 c core #154 c Core size: 12 Core Weight: 280 Total Weight: 70661 c core #155 c Core size: 8 Core Weight: 44 Total Weight: 70705 c core #156 c Core size: 20 Core Weight: 297 Total Weight: 71002 c core #157 c Core size: 8 Core Weight: 243 Total Weight: 71245 c core #158 c Core size: 10 Core Weight: 6 Total Weight: 71251 c core #159 c Core size: 12 Core Weight: 210 Total Weight: 71461 c core #160 c Core size: 10 Core Weight: 684 Total Weight: 72145 c core #161 c Core size: 11 Core Weight: 114 Total Weight: 72259 c core #162 c Core size: 20 Core Weight: 90 Total Weight: 72349 c core #163 c Core size: 24 Core Weight: 462 Total Weight: 72811 c core #164 c Core size: 8 Core Weight: 677 Total Weight: 73488 c core #165 c Core size: 26 Core Weight: 63 Total Weight: 73551 c core #166 c Core size: 6 Core Weight: 270 Total Weight: 73821 c core #167 c Core size: 8 Core Weight: 512 Total Weight: 74333 c core #168 c Core size: 9 Core Weight: 104 Total Weight: 74437 c core #169 c Core size: 10 Core Weight: 1484 Total Weight: 75921 c core #170 c Core size: 13 Core Weight: 286 Total Weight: 76207 c core #171 c Core size: 15 Core Weight: 94 Total Weight: 76301 c core #172 c Core size: 15 Core Weight: 7 Total Weight: 76308 c core #173 c Core size: 6 Core Weight: 218 Total Weight: 76526 c core #174 c Core size: 11 Core Weight: 589 Total Weight: 77115 c core #175 c Core size: 12 Core Weight: 45 Total Weight: 77160 c core #176 c Core size: 9 Core Weight: 18 Total Weight: 77178 c core #177 c Core size: 11 Core Weight: 155 Total Weight: 77333 c core #178 c Core size: 12 Core Weight: 26 Total Weight: 77359 c core #179 c Core size: 8 Core Weight: 18 Total Weight: 77377 c core #180 c Core size: 11 Core Weight: 347 Total Weight: 77724 c core #181 c Core size: 10 Core Weight: 84 Total Weight: 77808 c core #182 c Core size: 10 Core Weight: 877 Total Weight: 78685 c core #183 c Core size: 13 Core Weight: 216 Total Weight: 78901 c core #184 c Core size: 8 Core Weight: 408 Total Weight: 79309 c core #185 c Core size: 21 Core Weight: 89 Total Weight: 79398 c core #186 c Core size: 10 Core Weight: 137 Total Weight: 79535 c core #187 c Core size: 11 Core Weight: 93 Total Weight: 79628 c core #188 c Core size: 13 Core Weight: 292 Total Weight: 79920 c core #189 c Core size: 23 Core Weight: 77 Total Weight: 79997 c core #190 c Core size: 12 Core Weight: 62 Total Weight: 80059 c core #191 c Core size: 9 Core Weight: 56 Total Weight: 80115 c core #192 c Core size: 8 Core Weight: 660 Total Weight: 80775 c core #193 c Core size: 15 Core Weight: 363 Total Weight: 81138 c core #194 c Core size: 8 Core Weight: 347 Total Weight: 81485 c core #195 c Core size: 15 Core Weight: 144 Total Weight: 81629 c core #196 c Core size: 14 Core Weight: 305 Total Weight: 81934 c core #197 c Core size: 11 Core Weight: 56 Total Weight: 81990 c core #198 c Core size: 34 Core Weight: 54 Total Weight: 82044 c core #199 c Core size: 16 Core Weight: 336 Total Weight: 82380 c core #200 c Core size: 11 Core Weight: 185 Total Weight: 82565 c core #201 c Core size: 14 Core Weight: 120 Total Weight: 82685 c core #202 c Core size: 15 Core Weight: 243 Total Weight: 82928 c core #203 c Core size: 13 Core Weight: 31 Total Weight: 82959 c core #204 c Core size: 15 Core Weight: 109 Total Weight: 83068 c core #205 c Core size: 14 Core Weight: 793 Total Weight: 83861 c core #206 c Core size: 18 Core Weight: 193 Total Weight: 84054 c core #207 c Core size: 17 Core Weight: 282 Total Weight: 84336 c core #208 c Core size: 14 Core Weight: 325 Total Weight: 84661 c core #209 c Core size: 11 Core Weight: 198 Total Weight: 84859 c core #210 c Core size: 20 Core Weight: 11 Total Weight: 84870 c core #211 c Core size: 11 Core Weight: 773 Total Weight: 85643 c core #212 c Core size: 11 Core Weight: 141 Total Weight: 85784 c core #213 c Core size: 14 Core Weight: 608 Total Weight: 86392 c core #214 c Core size: 10 Core Weight: 269 Total Weight: 86661 c core #215 c Core size: 17 Core Weight: 45 Total Weight: 86706 c core #216 c Core size: 32 Core Weight: 214 Total Weight: 86920 c core #217 c Core size: 17 Core Weight: 148 Total Weight: 87068 c core #218 c Core size: 12 Core Weight: 135 Total Weight: 87203 c core #219 c Core size: 21 Core Weight: 372 Total Weight: 87575 c core #220 c Core size: 6 Core Weight: 231 Total Weight: 87806 c core #221 c Core size: 13 Core Weight: 173 Total Weight: 87979 c core #222 c Core size: 11 Core Weight: 123 Total Weight: 88102 c core #223 c Core size: 19 Core Weight: 186 Total Weight: 88288 c core #224 c Core size: 22 Core Weight: 979 Total Weight: 89267 c core #225 c Core size: 19 Core Weight: 12 Total Weight: 89279 c core #226 c Core size: 7 Core Weight: 259 Total Weight: 89538 c core #227 c Core size: 14 Core Weight: 728 Total Weight: 90266 c core #228 c Core size: 10 Core Weight: 35 Total Weight: 90301 c core #229 c Core size: 10 Core Weight: 532 Total Weight: 90833 c core #230 c Core size: 18 Core Weight: 35 Total Weight: 90868 c core #231 c Core size: 6 Core Weight: 74 Total Weight: 90942 c core #232 c Core size: 9 Core Weight: 785 Total Weight: 91727 c core #233 c Core size: 8 Core Weight: 13 Total Weight: 91740 c core #234 c Core size: 14 Core Weight: 407 Total Weight: 92147 c core #235 c Core size: 10 Core Weight: 373 Total Weight: 92520 c core #236 c Core size: 6 Core Weight: 495 Total Weight: 93015 c core #237 c Core size: 15 Core Weight: 43 Total Weight: 93058 c core #238 c Core size: 12 Core Weight: 335 Total Weight: 93393 c core #239 c Core size: 24 Core Weight: 305 Total Weight: 93698 c core #240 c Core size: 13 Core Weight: 91 Total Weight: 93789 c core #241 c Core size: 22 Core Weight: 92 Total Weight: 93881 c core #242 c Core size: 8 Core Weight: 785 Total Weight: 94666 c core #243 c Core size: 17 Core Weight: 237 Total Weight: 94903 c core #244 c Core size: 20 Core Weight: 514 Total Weight: 95417 c core #245 c Core size: 14 Core Weight: 73 Total Weight: 95490 c core #246 c Core size: 18 Core Weight: 582 Total Weight: 96072 c core #247 c Core size: 18 Core Weight: 475 Total Weight: 96547 c core #248 c Core size: 19 Core Weight: 40 Total Weight: 96587 c core #249 c Core size: 24 Core Weight: 55 Total Weight: 96642 c core #250 c Core size: 15 Core Weight: 132 Total Weight: 96774 c core #251 c Core size: 14 Core Weight: 90 Total Weight: 96864 c core #252 c Core size: 10 Core Weight: 771 Total Weight: 97635 c core #253 c Core size: 30 Core Weight: 31 Total Weight: 97666 c core #254 c Core size: 14 Core Weight: 313 Total Weight: 97979 c core #255 c Core size: 13 Core Weight: 604 Total Weight: 98583 c core #256 c Core size: 17 Core Weight: 369 Total Weight: 98952 c core #257 c Core size: 21 Core Weight: 527 Total Weight: 99479 c core #258 c Core size: 18 Core Weight: 205 Total Weight: 99684 c core #259 c Core size: 14 Core Weight: 560 Total Weight: 100244 c core #260 c Core size: 19 Core Weight: 770 Total Weight: 101014 c core #261 c Core size: 14 Core Weight: 133 Total Weight: 101147 c core #262 c Core size: 19 Core Weight: 183 Total Weight: 101330 c core #263 c Core size: 13 Core Weight: 395 Total Weight: 101725 c core #264 c Core size: 19 Core Weight: 70 Total Weight: 101795 c core #265 c Core size: 14 Core Weight: 937 Total Weight: 102732 c core #266 c Core size: 16 Core Weight: 91 Total Weight: 102823 c core #267 c Core size: 14 Core Weight: 129 Total Weight: 102952 c core #268 c Core size: 13 Core Weight: 836 Total Weight: 103788 c core #269 c Core size: 13 Core Weight: 156 Total Weight: 103944 c core #270 c Core size: 20 Core Weight: 560 Total Weight: 104504 c core #271 c Core size: 18 Core Weight: 78 Total Weight: 104582 c core #272 c Core size: 16 Core Weight: 1222 Total Weight: 105804 c core #273 c Core size: 11 Core Weight: 945 Total Weight: 106749 c core #274 c Core size: 26 Core Weight: 27 Total Weight: 106776 c core #275 c Core size: 19 Core Weight: 171 Total Weight: 106947 c core #276 c Core size: 11 Core Weight: 29 Total Weight: 106976 c core #277 c Core size: 28 Core Weight: 237 Total Weight: 107213 c core #278 c Core size: 14 Core Weight: 420 Total Weight: 107633 c core #279 c Core size: 16 Core Weight: 395 Total Weight: 108028 c core #280 c Core size: 19 Core Weight: 29 Total Weight: 108057 c core #281 c Core size: 10 Core Weight: 808 Total Weight: 108865 c core #282 c Core size: 18 Core Weight: 32 Total Weight: 108897 c core #283 c Core size: 18 Core Weight: 184 Total Weight: 109081 c core #284 c Core size: 18 Core Weight: 714 Total Weight: 109795 c core #285 c Core size: 23 Core Weight: 285 Total Weight: 110080 c core #286 c Core size: 25 Core Weight: 10 Total Weight: 110090 c core #287 c Core size: 15 Core Weight: 115 Total Weight: 110205 c core #288 c Core size: 14 Core Weight: 325 Total Weight: 110530 c core #289 c Core size: 17 Core Weight: 391 Total Weight: 110921 c core #290 c Core size: 18 Core Weight: 135 Total Weight: 111056 c core #291 c Core size: 15 Core Weight: 120 Total Weight: 111176 c core #292 c Core size: 14 Core Weight: 210 Total Weight: 111386 c core #293 c Core size: 20 Core Weight: 44 Total Weight: 111430 c core #294 c Core size: 15 Core Weight: 64 Total Weight: 111494 c core #295 c Core size: 21 Core Weight: 82 Total Weight: 111576 c core #296 c Core size: 10 Core Weight: 1319 Total Weight: 112895 c core #297 c Core size: 24 Core Weight: 69 Total Weight: 112964 c core #298 c Core size: 15 Core Weight: 201 Total Weight: 113165 c core #299 c Core size: 11 Core Weight: 416 Total Weight: 113581 c core #300 c Core size: 14 Core Weight: 45 Total Weight: 113626 c core #301 c Core size: 19 Core Weight: 45 Total Weight: 113671 c core #302 c Core size: 27 Core Weight: 91 Total Weight: 113762 c core #303 c Core size: 28 Core Weight: 92 Total Weight: 113854 c core #304 c Core size: 14 Core Weight: 760 Total Weight: 114614 c core #305 c Core size: 19 Core Weight: 193 Total Weight: 114807 c core #306 c Core size: 36 Core Weight: 83 Total Weight: 114890 c core #307 c Core size: 11 Core Weight: 626 Total Weight: 115516 c core #308 c Core size: 17 Core Weight: 77 Total Weight: 115593 c core #309 c Core size: 16 Core Weight: 53 Total Weight: 115646 c core #310 c Core size: 20 Core Weight: 76 Total Weight: 115722 c core #311 c Core size: 13 Core Weight: 13 Total Weight: 115735 c core #312 c Core size: 13 Core Weight: 540 Total Weight: 116275 c core #313 c Core size: 21 Core Weight: 117 Total Weight: 116392 c core #314 c Core size: 32 Core Weight: 121 Total Weight: 116513 c core #315 c Core size: 15 Core Weight: 130 Total Weight: 116643 c core #316 c Core size: 31 Core Weight: 58 Total Weight: 116701 c core #317 c Core size: 11 Core Weight: 596 Total Weight: 117297 c core #318 c Core size: 27 Core Weight: 28 Total Weight: 117325 c core #319 c Core size: 15 Core Weight: 152 Total Weight: 117477 c core #320 c Core size: 18 Core Weight: 206 Total Weight: 117683 c core #321 c Core size: 18 Core Weight: 492 Total Weight: 118175 c core #322 c Core size: 22 Core Weight: 70 Total Weight: 118245 c core #323 c Core size: 16 Core Weight: 66 Total Weight: 118311 c core #324 c Core size: 14 Core Weight: 227 Total Weight: 118538 c core #325 c Core size: 13 Core Weight: 179 Total Weight: 118717 c core #326 c Core size: 15 Core Weight: 87 Total Weight: 118804 c core #327 c Core size: 11 Core Weight: 353 Total Weight: 119157 c core #328 c Core size: 18 Core Weight: 71 Total Weight: 119228 c core #329 c Core size: 20 Core Weight: 91 Total Weight: 119319 c core #330 c Core size: 18 Core Weight: 215 Total Weight: 119534 c core #331 c Core size: 14 Core Weight: 206 Total Weight: 119740 c core #332 c Core size: 14 Core Weight: 550 Total Weight: 120290 c core #333 c Core size: 17 Core Weight: 244 Total Weight: 120534 c core #334 c Core size: 69 Core Weight: 16 Total Weight: 120550 c core #335 c Core size: 14 Core Weight: 542 Total Weight: 121092 c core #336 c Core size: 29 Core Weight: 11 Total Weight: 121103 c core #337 c Core size: 41 Core Weight: 109 Total Weight: 121212 c core #338 c Core size: 50 Core Weight: 12 Total Weight: 121224 c core #339 c Core size: 55 Core Weight: 41 Total Weight: 121265 c core #340 c Core size: 15 Core Weight: 140 Total Weight: 121405 c core #341 c Core size: 55 Core Weight: 19 Total Weight: 121424 c core #342 c Core size: 37 Core Weight: 20 Total Weight: 121444 c core #343 c Core size: 34 Core Weight: 184 Total Weight: 121628 c core #344 c Core size: 13 Core Weight: 54 Total Weight: 121682 c core #345 c Core size: 24 Core Weight: 104 Total Weight: 121786 c core #346 c Core size: 15 Core Weight: 359 Total Weight: 122145 c core #347 c Core size: 64 Core Weight: 33 Total Weight: 122178 c core #348 c Core size: 28 Core Weight: 60 Total Weight: 122238 c core #349 c Core size: 31 Core Weight: 168 Total Weight: 122406 c core #350 c Core size: 16 Core Weight: 122 Total Weight: 122528 c core #351 c Core size: 73 Core Weight: 3 Total Weight: 122531 c core #352 c Core size: 18 Core Weight: 475 Total Weight: 123006 c core #353 c Core size: 15 Core Weight: 544 Total Weight: 123550 c core #354 c Core size: 19 Core Weight: 478 Total Weight: 124028 c core #355 c Core size: 28 Core Weight: 70 Total Weight: 124098 c core #356 c Core size: 17 Core Weight: 672 Total Weight: 124770 c core #357 c Core size: 18 Core Weight: 491 Total Weight: 125261 c core #358 c Core size: 37 Core Weight: 30 Total Weight: 125291 c core #359 c Core size: 34 Core Weight: 215 Total Weight: 125506 c core #360 c Core size: 23 Core Weight: 201 Total Weight: 125707 c core #361 c Core size: 28 Core Weight: 72 Total Weight: 125779 c core #362 c Core size: 14 Core Weight: 74 Total Weight: 125853 c core #363 c Core size: 21 Core Weight: 404 Total Weight: 126257 c core #364 c Core size: 22 Core Weight: 71 Total Weight: 126328 c core #365 c Core size: 61 Core Weight: 117 Total Weight: 126445 c core #366 c Core size: 35 Core Weight: 121 Total Weight: 126566 c core #367 c Core size: 36 Core Weight: 26 Total Weight: 126592 c core #368 c Core size: 97 Core Weight: 3 Total Weight: 126595 c core #369 c Core size: 29 Core Weight: 26 Total Weight: 126621 c core #370 c Core size: 16 Core Weight: 388 Total Weight: 127009 c core #371 c Core size: 34 Core Weight: 59 Total Weight: 127068 c core #372 c Core size: 11 Core Weight: 781 Total Weight: 127849 c core #373 c Core size: 43 Core Weight: 104 Total Weight: 127953 c core #374 c Core size: 30 Core Weight: 71 Total Weight: 128024 c core #375 c Core size: 10 Core Weight: 187 Total Weight: 128211 c core #376 c Core size: 42 Core Weight: 13 Total Weight: 128224 c core #377 c Core size: 39 Core Weight: 10 Total Weight: 128234 c core #378 c Core size: 36 Core Weight: 3 Total Weight: 128237 c core #379 c Core size: 36 Core Weight: 71 Total Weight: 128308 c core #380 c Core size: 36 Core Weight: 48 Total Weight: 128356 c core #381 c Core size: 34 Core Weight: 23 Total Weight: 128379 c core #382 c Core size: 51 Core Weight: 10 Total Weight: 128389 c core #383 c Core size: 12 Core Weight: 17 Total Weight: 128406 c core #384 c Core size: 52 Core Weight: 13 Total Weight: 128419 c core #385 c Core size: 14 Core Weight: 311 Total Weight: 128730 c core #386 c Core size: 11 Core Weight: 163 Total Weight: 128893 c core #387 c Core size: 29 Core Weight: 101 Total Weight: 128994 c core #388 c Core size: 24 Core Weight: 78 Total Weight: 129072 c core #389 c Core size: 21 Core Weight: 73 Total Weight: 129145 c core #390 c Core size: 33 Core Weight: 4 Total Weight: 129149 c core #391 c Core size: 29 Core Weight: 11 Total Weight: 129160 c core #392 c Core size: 31 Core Weight: 8 Total Weight: 129168 c core #393 c Core size: 33 Core Weight: 78 Total Weight: 129246 c core #394 c Core size: 29 Core Weight: 64 Total Weight: 129310 c core #395 c Core size: 35 Core Weight: 1 Total Weight: 129311 c core #396 c Core size: 99 Core Weight: 5 Total Weight: 129316 c #cores: 396 c Final Weight: 129316 o 129316 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 2.472u 0.314s 0:02.82 98.5% 0+0k 0+0io 0pf+0w