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-100-1_network-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-5.net.wcnf Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf c core #1 c Core size: 4 Core Weight: 959 Total Weight: 959 c core #2 c Core size: 7 Core Weight: 552 Total Weight: 1511 c core #3 c Core size: 3 Core Weight: 1246 Total Weight: 2757 c core #4 c Core size: 6 Core Weight: 446 Total Weight: 3203 c core #5 c Core size: 9 Core Weight: 113 Total Weight: 3316 c core #6 c Core size: 3 Core Weight: 2093 Total Weight: 5409 c core #7 c Core size: 5 Core Weight: 220 Total Weight: 5629 c core #8 c Core size: 3 Core Weight: 1608 Total Weight: 7237 c core #9 c Core size: 7 Core Weight: 60 Total Weight: 7297 c core #10 c Core size: 5 Core Weight: 849 Total Weight: 8146 c core #11 c Core size: 7 Core Weight: 396 Total Weight: 8542 c core #12 c Core size: 3 Core Weight: 392 Total Weight: 8934 c core #13 c Core size: 5 Core Weight: 49 Total Weight: 8983 c core #14 c Core size: 9 Core Weight: 68 Total Weight: 9051 c core #15 c Core size: 12 Core Weight: 137 Total Weight: 9188 c core #16 c Core size: 5 Core Weight: 385 Total Weight: 9573 c core #17 c Core size: 8 Core Weight: 497 Total Weight: 10070 c core #18 c Core size: 4 Core Weight: 887 Total Weight: 10957 c core #19 c Core size: 8 Core Weight: 41 Total Weight: 10998 c core #20 c Core size: 4 Core Weight: 935 Total Weight: 11933 c core #21 c Core size: 6 Core Weight: 762 Total Weight: 12695 c core #22 c Core size: 10 Core Weight: 84 Total Weight: 12779 c core #23 c Core size: 5 Core Weight: 921 Total Weight: 13700 c core #24 c Core size: 7 Core Weight: 197 Total Weight: 13897 c core #25 c Core size: 5 Core Weight: 525 Total Weight: 14422 c core #26 c Core size: 9 Core Weight: 950 Total Weight: 15372 c core #27 c Core size: 4 Core Weight: 1271 Total Weight: 16643 c core #28 c Core size: 6 Core Weight: 361 Total Weight: 17004 c core #29 c Core size: 9 Core Weight: 371 Total Weight: 17375 c core #30 c Core size: 9 Core Weight: 215 Total Weight: 17590 c core #31 c Core size: 8 Core Weight: 800 Total Weight: 18390 c core #32 c Core size: 9 Core Weight: 4 Total Weight: 18394 c core #33 c Core size: 6 Core Weight: 402 Total Weight: 18796 c core #34 c Core size: 9 Core Weight: 283 Total Weight: 19079 c core #35 c Core size: 10 Core Weight: 826 Total Weight: 19905 c core #36 c Core size: 10 Core Weight: 30 Total Weight: 19935 c core #37 c Core size: 10 Core Weight: 650 Total Weight: 20585 c core #38 c Core size: 10 Core Weight: 61 Total Weight: 20646 c core #39 c Core size: 10 Core Weight: 113 Total Weight: 20759 c core #40 c Core size: 12 Core Weight: 821 Total Weight: 21580 c core #41 c Core size: 15 Core Weight: 784 Total Weight: 22364 c core #42 c Core size: 13 Core Weight: 354 Total Weight: 22718 c core #43 c Core size: 16 Core Weight: 66 Total Weight: 22784 c core #44 c Core size: 13 Core Weight: 21 Total Weight: 22805 c core #45 c Core size: 10 Core Weight: 1356 Total Weight: 24161 c core #46 c Core size: 10 Core Weight: 39 Total Weight: 24200 c core #47 c Core size: 13 Core Weight: 130 Total Weight: 24330 c core #48 c Core size: 8 Core Weight: 60 Total Weight: 24390 c core #49 c Core size: 8 Core Weight: 1001 Total Weight: 25391 c core #50 c Core size: 16 Core Weight: 71 Total Weight: 25462 c core #51 c Core size: 6 Core Weight: 853 Total Weight: 26315 c core #52 c Core size: 7 Core Weight: 748 Total Weight: 27063 c core #53 c Core size: 11 Core Weight: 172 Total Weight: 27235 c core #54 c Core size: 8 Core Weight: 320 Total Weight: 27555 c core #55 c Core size: 10 Core Weight: 66 Total Weight: 27621 c core #56 c Core size: 11 Core Weight: 27 Total Weight: 27648 c core #57 c Core size: 12 Core Weight: 4 Total Weight: 27652 c core #58 c Core size: 8 Core Weight: 99 Total Weight: 27751 c core #59 c Core size: 11 Core Weight: 69 Total Weight: 27820 c core #60 c Core size: 14 Core Weight: 701 Total Weight: 28521 c core #61 c Core size: 8 Core Weight: 140 Total Weight: 28661 c core #62 c Core size: 14 Core Weight: 199 Total Weight: 28860 c core #63 c Core size: 6 Core Weight: 131 Total Weight: 28991 c core #64 c Core size: 21 Core Weight: 4 Total Weight: 28995 c core #65 c Core size: 9 Core Weight: 195 Total Weight: 29190 c core #66 c Core size: 10 Core Weight: 355 Total Weight: 29545 c core #67 c Core size: 20 Core Weight: 30 Total Weight: 29575 c core #68 c Core size: 11 Core Weight: 67 Total Weight: 29642 c core #69 c Core size: 10 Core Weight: 382 Total Weight: 30024 c core #70 c Core size: 8 Core Weight: 25 Total Weight: 30049 c core #71 c Core size: 10 Core Weight: 737 Total Weight: 30786 c core #72 c Core size: 14 Core Weight: 263 Total Weight: 31049 c core #73 c Core size: 11 Core Weight: 565 Total Weight: 31614 c core #74 c Core size: 11 Core Weight: 509 Total Weight: 32123 c core #75 c Core size: 6 Core Weight: 549 Total Weight: 32672 c core #76 c Core size: 8 Core Weight: 361 Total Weight: 33033 c core #77 c Core size: 10 Core Weight: 38 Total Weight: 33071 c core #78 c Core size: 8 Core Weight: 48 Total Weight: 33119 c core #79 c Core size: 8 Core Weight: 340 Total Weight: 33459 c core #80 c Core size: 11 Core Weight: 34 Total Weight: 33493 c core #81 c Core size: 10 Core Weight: 1 Total Weight: 33494 c core #82 c Core size: 15 Core Weight: 210 Total Weight: 33704 c core #83 c Core size: 8 Core Weight: 275 Total Weight: 33979 c core #84 c Core size: 16 Core Weight: 318 Total Weight: 34297 c core #85 c Core size: 16 Core Weight: 219 Total Weight: 34516 c core #86 c Core size: 11 Core Weight: 355 Total Weight: 34871 c core #87 c Core size: 9 Core Weight: 218 Total Weight: 35089 c core #88 c Core size: 6 Core Weight: 23 Total Weight: 35112 c core #89 c Core size: 11 Core Weight: 604 Total Weight: 35716 c core #90 c Core size: 10 Core Weight: 997 Total Weight: 36713 c core #91 c Core size: 10 Core Weight: 57 Total Weight: 36770 c core #92 c Core size: 11 Core Weight: 137 Total Weight: 36907 c core #93 c Core size: 9 Core Weight: 315 Total Weight: 37222 c core #94 c Core size: 14 Core Weight: 34 Total Weight: 37256 c core #95 c Core size: 16 Core Weight: 241 Total Weight: 37497 c core #96 c Core size: 14 Core Weight: 169 Total Weight: 37666 c core #97 c Core size: 8 Core Weight: 475 Total Weight: 38141 c core #98 c Core size: 14 Core Weight: 14 Total Weight: 38155 c core #99 c Core size: 13 Core Weight: 86 Total Weight: 38241 c core #100 c Core size: 15 Core Weight: 22 Total Weight: 38263 c core #101 c Core size: 14 Core Weight: 8 Total Weight: 38271 c core #102 c Core size: 15 Core Weight: 65 Total Weight: 38336 c core #103 c Core size: 8 Core Weight: 86 Total Weight: 38422 c core #104 c Core size: 15 Core Weight: 53 Total Weight: 38475 c core #105 c Core size: 6 Core Weight: 449 Total Weight: 38924 c core #106 c Core size: 17 Core Weight: 108 Total Weight: 39032 c core #107 c Core size: 16 Core Weight: 32 Total Weight: 39064 c core #108 c Core size: 10 Core Weight: 220 Total Weight: 39284 c core #109 c Core size: 8 Core Weight: 755 Total Weight: 40039 c core #110 c Core size: 9 Core Weight: 122 Total Weight: 40161 c core #111 c Core size: 10 Core Weight: 475 Total Weight: 40636 c core #112 c Core size: 10 Core Weight: 847 Total Weight: 41483 c core #113 c Core size: 10 Core Weight: 216 Total Weight: 41699 c core #114 c Core size: 11 Core Weight: 846 Total Weight: 42545 c core #115 c Core size: 15 Core Weight: 45 Total Weight: 42590 c core #116 c Core size: 9 Core Weight: 592 Total Weight: 43182 c core #117 c Core size: 13 Core Weight: 307 Total Weight: 43489 c core #118 c Core size: 14 Core Weight: 242 Total Weight: 43731 c core #119 c Core size: 8 Core Weight: 386 Total Weight: 44117 c core #120 c Core size: 10 Core Weight: 998 Total Weight: 45115 c core #121 c Core size: 8 Core Weight: 1113 Total Weight: 46228 c core #122 c Core size: 10 Core Weight: 221 Total Weight: 46449 c core #123 c Core size: 13 Core Weight: 218 Total Weight: 46667 c core #124 c Core size: 16 Core Weight: 53 Total Weight: 46720 c core #125 c Core size: 14 Core Weight: 149 Total Weight: 46869 c core #126 c Core size: 9 Core Weight: 339 Total Weight: 47208 c core #127 c Core size: 14 Core Weight: 197 Total Weight: 47405 c core #128 c Core size: 10 Core Weight: 385 Total Weight: 47790 c core #129 c Core size: 18 Core Weight: 537 Total Weight: 48327 c core #130 c Core size: 13 Core Weight: 54 Total Weight: 48381 c core #131 c Core size: 15 Core Weight: 1366 Total Weight: 49747 c core #132 c Core size: 15 Core Weight: 558 Total Weight: 50305 c core #133 c Core size: 8 Core Weight: 24 Total Weight: 50329 c core #134 c Core size: 13 Core Weight: 255 Total Weight: 50584 c core #135 c Core size: 13 Core Weight: 113 Total Weight: 50697 c core #136 c Core size: 14 Core Weight: 711 Total Weight: 51408 c core #137 c Core size: 20 Core Weight: 295 Total Weight: 51703 c core #138 c Core size: 8 Core Weight: 784 Total Weight: 52487 c core #139 c Core size: 14 Core Weight: 78 Total Weight: 52565 c core #140 c Core size: 11 Core Weight: 713 Total Weight: 53278 c core #141 c Core size: 17 Core Weight: 467 Total Weight: 53745 c core #142 c Core size: 12 Core Weight: 1 Total Weight: 53746 c core #143 c Core size: 11 Core Weight: 115 Total Weight: 53861 c core #144 c Core size: 14 Core Weight: 465 Total Weight: 54326 c core #145 c Core size: 23 Core Weight: 257 Total Weight: 54583 c core #146 c Core size: 15 Core Weight: 83 Total Weight: 54666 c core #147 c Core size: 8 Core Weight: 890 Total Weight: 55556 c core #148 c Core size: 12 Core Weight: 150 Total Weight: 55706 c core #149 c Core size: 17 Core Weight: 535 Total Weight: 56241 c core #150 c Core size: 9 Core Weight: 197 Total Weight: 56438 c core #151 c Core size: 17 Core Weight: 136 Total Weight: 56574 c core #152 c Core size: 12 Core Weight: 867 Total Weight: 57441 c core #153 c Core size: 27 Core Weight: 153 Total Weight: 57594 c core #154 c Core size: 10 Core Weight: 509 Total Weight: 58103 c core #155 c Core size: 14 Core Weight: 376 Total Weight: 58479 c core #156 c Core size: 26 Core Weight: 27 Total Weight: 58506 c core #157 c Core size: 12 Core Weight: 343 Total Weight: 58849 c core #158 c Core size: 15 Core Weight: 93 Total Weight: 58942 c core #159 c Core size: 14 Core Weight: 61 Total Weight: 59003 c core #160 c Core size: 26 Core Weight: 93 Total Weight: 59096 c core #161 c Core size: 17 Core Weight: 20 Total Weight: 59116 c core #162 c Core size: 8 Core Weight: 956 Total Weight: 60072 c core #163 c Core size: 8 Core Weight: 102 Total Weight: 60174 c core #164 c Core size: 10 Core Weight: 395 Total Weight: 60569 c core #165 c Core size: 12 Core Weight: 18 Total Weight: 60587 c core #166 c Core size: 15 Core Weight: 740 Total Weight: 61327 c core #167 c Core size: 15 Core Weight: 69 Total Weight: 61396 c core #168 c Core size: 11 Core Weight: 421 Total Weight: 61817 c core #169 c Core size: 13 Core Weight: 76 Total Weight: 61893 c core #170 c Core size: 11 Core Weight: 634 Total Weight: 62527 c core #171 c Core size: 14 Core Weight: 154 Total Weight: 62681 c core #172 c Core size: 16 Core Weight: 68 Total Weight: 62749 c core #173 c Core size: 14 Core Weight: 780 Total Weight: 63529 c core #174 c Core size: 16 Core Weight: 81 Total Weight: 63610 c core #175 c Core size: 11 Core Weight: 410 Total Weight: 64020 c core #176 c Core size: 14 Core Weight: 355 Total Weight: 64375 c core #177 c Core size: 13 Core Weight: 280 Total Weight: 64655 c core #178 c Core size: 15 Core Weight: 110 Total Weight: 64765 c core #179 c Core size: 10 Core Weight: 138 Total Weight: 64903 c core #180 c Core size: 11 Core Weight: 705 Total Weight: 65608 c core #181 c Core size: 27 Core Weight: 50 Total Weight: 65658 c core #182 c Core size: 10 Core Weight: 588 Total Weight: 66246 c core #183 c Core size: 28 Core Weight: 23 Total Weight: 66269 c core #184 c Core size: 25 Core Weight: 35 Total Weight: 66304 c core #185 c Core size: 14 Core Weight: 137 Total Weight: 66441 c core #186 c Core size: 8 Core Weight: 726 Total Weight: 67167 c core #187 c Core size: 13 Core Weight: 558 Total Weight: 67725 c core #188 c Core size: 18 Core Weight: 39 Total Weight: 67764 c core #189 c Core size: 14 Core Weight: 29 Total Weight: 67793 c core #190 c Core size: 13 Core Weight: 29 Total Weight: 67822 c core #191 c Core size: 13 Core Weight: 29 Total Weight: 67851 c core #192 c Core size: 15 Core Weight: 991 Total Weight: 68842 c core #193 c Core size: 26 Core Weight: 223 Total Weight: 69065 c core #194 c Core size: 14 Core Weight: 358 Total Weight: 69423 c core #195 c Core size: 18 Core Weight: 1 Total Weight: 69424 c core #196 c Core size: 15 Core Weight: 182 Total Weight: 69606 c core #197 c Core size: 25 Core Weight: 109 Total Weight: 69715 c core #198 c Core size: 16 Core Weight: 340 Total Weight: 70055 c core #199 c Core size: 14 Core Weight: 150 Total Weight: 70205 c core #200 c Core size: 24 Core Weight: 48 Total Weight: 70253 c core #201 c Core size: 15 Core Weight: 739 Total Weight: 70992 c core #202 c Core size: 16 Core Weight: 16 Total Weight: 71008 c core #203 c Core size: 32 Core Weight: 81 Total Weight: 71089 c core #204 c Core size: 22 Core Weight: 308 Total Weight: 71397 c core #205 c Core size: 23 Core Weight: 72 Total Weight: 71469 c core #206 c Core size: 12 Core Weight: 32 Total Weight: 71501 c core #207 c Core size: 15 Core Weight: 47 Total Weight: 71548 c core #208 c Core size: 17 Core Weight: 617 Total Weight: 72165 c core #209 c Core size: 18 Core Weight: 428 Total Weight: 72593 c core #210 c Core size: 10 Core Weight: 44 Total Weight: 72637 c core #211 c Core size: 22 Core Weight: 199 Total Weight: 72836 c core #212 c Core size: 19 Core Weight: 6 Total Weight: 72842 c core #213 c Core size: 24 Core Weight: 22 Total Weight: 72864 c core #214 c Core size: 22 Core Weight: 196 Total Weight: 73060 c core #215 c Core size: 13 Core Weight: 45 Total Weight: 73105 c core #216 c Core size: 14 Core Weight: 990 Total Weight: 74095 c core #217 c Core size: 16 Core Weight: 43 Total Weight: 74138 c core #218 c Core size: 14 Core Weight: 121 Total Weight: 74259 c core #219 c Core size: 26 Core Weight: 38 Total Weight: 74297 c core #220 c Core size: 26 Core Weight: 145 Total Weight: 74442 c core #221 c Core size: 24 Core Weight: 1 Total Weight: 74443 c core #222 c Core size: 11 Core Weight: 860 Total Weight: 75303 c core #223 c Core size: 22 Core Weight: 9 Total Weight: 75312 c core #224 c Core size: 37 Core Weight: 407 Total Weight: 75719 c core #225 c Core size: 12 Core Weight: 207 Total Weight: 75926 c core #226 c Core size: 13 Core Weight: 970 Total Weight: 76896 c core #227 c Core size: 14 Core Weight: 140 Total Weight: 77036 c core #228 c Core size: 11 Core Weight: 311 Total Weight: 77347 c core #229 c Core size: 14 Core Weight: 566 Total Weight: 77913 c core #230 c Core size: 16 Core Weight: 30 Total Weight: 77943 c core #231 c Core size: 15 Core Weight: 923 Total Weight: 78866 c core #232 c Core size: 18 Core Weight: 5 Total Weight: 78871 c core #233 c Core size: 29 Core Weight: 40 Total Weight: 78911 c core #234 c Core size: 34 Core Weight: 96 Total Weight: 79007 c core #235 c Core size: 28 Core Weight: 65 Total Weight: 79072 c core #236 c Core size: 21 Core Weight: 696 Total Weight: 79768 c core #237 c Core size: 14 Core Weight: 4 Total Weight: 79772 c core #238 c Core size: 21 Core Weight: 326 Total Weight: 80098 c core #239 c Core size: 12 Core Weight: 315 Total Weight: 80413 c core #240 c Core size: 11 Core Weight: 234 Total Weight: 80647 c core #241 c Core size: 13 Core Weight: 58 Total Weight: 80705 c core #242 c Core size: 19 Core Weight: 19 Total Weight: 80724 c core #243 c Core size: 24 Core Weight: 79 Total Weight: 80803 c core #244 c Core size: 11 Core Weight: 960 Total Weight: 81763 c core #245 c Core size: 21 Core Weight: 32 Total Weight: 81795 c core #246 c Core size: 36 Core Weight: 1 Total Weight: 81796 c core #247 c Core size: 40 Core Weight: 13 Total Weight: 81809 c core #248 c Core size: 14 Core Weight: 274 Total Weight: 82083 c core #249 c Core size: 56 Core Weight: 54 Total Weight: 82137 c core #250 c Core size: 18 Core Weight: 304 Total Weight: 82441 c core #251 c Core size: 16 Core Weight: 251 Total Weight: 82692 c core #252 c Core size: 17 Core Weight: 247 Total Weight: 82939 c core #253 c Core size: 22 Core Weight: 25 Total Weight: 82964 c core #254 c Core size: 38 Core Weight: 3 Total Weight: 82967 c core #255 c Core size: 23 Core Weight: 195 Total Weight: 83162 c core #256 c Core size: 64 Core Weight: 27 Total Weight: 83189 c core #257 c Core size: 29 Core Weight: 34 Total Weight: 83223 c core #258 c Core size: 12 Core Weight: 64 Total Weight: 83287 c core #259 c Core size: 28 Core Weight: 12 Total Weight: 83299 c core #260 c Core size: 14 Core Weight: 27 Total Weight: 83326 c core #261 c Core size: 25 Core Weight: 368 Total Weight: 83694 c core #262 c Core size: 11 Core Weight: 787 Total Weight: 84481 c core #263 c Core size: 55 Core Weight: 71 Total Weight: 84552 c core #264 c Core size: 19 Core Weight: 61 Total Weight: 84613 c core #265 c Core size: 19 Core Weight: 68 Total Weight: 84681 c core #266 c Core size: 14 Core Weight: 25 Total Weight: 84706 c core #267 c Core size: 11 Core Weight: 782 Total Weight: 85488 c core #268 c Core size: 16 Core Weight: 5 Total Weight: 85493 c core #269 c Core size: 18 Core Weight: 59 Total Weight: 85552 c core #270 c Core size: 18 Core Weight: 12 Total Weight: 85564 c core #271 c Core size: 18 Core Weight: 481 Total Weight: 86045 c core #272 c Core size: 16 Core Weight: 634 Total Weight: 86679 c core #273 c Core size: 14 Core Weight: 337 Total Weight: 87016 c core #274 c Core size: 21 Core Weight: 49 Total Weight: 87065 c core #275 c Core size: 16 Core Weight: 241 Total Weight: 87306 c core #276 c Core size: 50 Core Weight: 29 Total Weight: 87335 c core #277 c Core size: 18 Core Weight: 473 Total Weight: 87808 c core #278 c Core size: 84 Core Weight: 21 Total Weight: 87829 c core #279 c Core size: 62 Core Weight: 4 Total Weight: 87833 c core #280 c Core size: 70 Core Weight: 4 Total Weight: 87837 c core #281 c Core size: 85 Core Weight: 30 Total Weight: 87867 c core #282 c Core size: 80 Core Weight: 9 Total Weight: 87876 c core #283 c Core size: 94 Core Weight: 9 Total Weight: 87885 c core #284 c Core size: 93 Core Weight: 35 Total Weight: 87920 c #cores: 284 c Final Weight: 87920 o 87920 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 1.214u 0.185s 0:01.47 94.5% 0+0k 0+0io 0pf+0w