Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-220-1_network-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-8.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 1294 c lw 2952 c lw 3694 c lw 4875 c lw 6880 c lw 7281 c lw 8998 c lw 10499 c lw 11836 c lw 12995 c lw 13646 c lw 14580 c lw 15206 c lw 16897 c lw 17735 c lw 18912 c lw 19964 c lw 21832 c lw 23249 c lw 23736 c lw 24373 c lw 24957 c lw 26031 c lw 27391 c lw 29492 c lw 29590 c lw 31107 c lw 31198 c lw 31471 c lw 33293 c lw 33824 c lw 34948 c lw 35153 c lw 35849 c lw 36763 c lw 37088 c lw 37139 c lw 38180 c lw 38793 c lw 39161 c lw 39467 c lw 39728 c lw 39893 c lw 41147 c lw 41346 c lw 41406 c lw 41665 c lw 41780 c lw 42239 c lw 42328 c lw 42351 c lw 43160 c lw 43739 c lw 43768 c lw 43852 c lw 44897 c lw 45584 c lw 45974 c lw 46193 c lw 46728 c lw 47030 c lw 47521 c lw 47720 c lw 48893 c lw 49159 c lw 49764 c lw 50184 c lw 51094 c lw 51910 c lw 52695 c lw 53120 c lw 54210 c lw 54426 c lw 54637 c lw 54980 c lw 55061 c lw 55155 c lw 55560 c lw 55564 c lw 55678 c lw 55727 c lw 56053 c lw 56349 c lw 56450 c lw 56557 c lw 56750 c lw 56810 c lw 56911 c lw 57757 c lw 58233 c lw 58399 c lw 58768 c lw 59052 c lw 59246 c lw 59730 c lw 59759 c lw 60048 c lw 60188 c lw 60456 c lw 60800 c lw 61611 c lw 61899 c lw 61970 c lw 62545 c lw 62908 c lw 63408 c lw 63465 c lw 63633 c lw 64161 c lw 64498 c lw 65163 c lw 65183 c lw 65574 c lw 65614 c lw 65860 c lw 65932 c lw 66801 c lw 67070 c lw 67858 c lw 68009 c lw 68164 c lw 68431 c lw 68509 c lw 68981 c lw 69865 c lw 70109 c lw 70176 c lw 71086 c lw 71119 c lw 71364 c lw 71410 c lw 72109 c lw 72263 c lw 72715 c lw 72748 c lw 72873 c lw 72877 c lw 73218 c lw 73269 c lw 73369 c lw 73839 c lw 73891 c lw 74973 c lw 75079 c lw 75383 c lw 75391 c lw 75644 c lw 75918 c lw 76585 c lw 76800 c lw 77180 c lw 77225 c lw 77394 c lw 77588 c lw 77622 c lw 77919 c lw 78155 c lw 78590 c lw 78666 c lw 78760 c lw 79000 c lw 79061 c lw 79372 c lw 79400 c lw 80112 c lw 80159 c lw 80643 c lw 80944 c lw 81078 c lw 81369 c lw 81638 c lw 82142 c lw 82456 c lw 82459 c lw 82675 c lw 83018 c lw 83099 c lw 83193 c lw 83197 c lw 83208 c lw 83311 c lw 83360 c lw 83612 c lw 84171 c lw 84272 c lw 84684 c lw 84859 c lw 85032 c lw 85060 c lw 85253 c lw 85313 c lw 85366 c lw 85417 c lw 85897 c lw 86160 c lw 86162 c lw 86282 c lw 86701 c lw 87047 c lw 87498 c lw 87871 c lw 88640 c lw 88686 c lw 88796 c lw 89198 c lw 89309 c lw 89369 c lw 89418 c lw 89497 c lw 89658 c lw 89994 c lw 90149 c lw 90664 c lw 90796 c lw 90822 c lw 90936 c lw 91014 c lw 91018 c lw 91036 c lw 91365 c lw 91384 c lw 91711 c lw 91758 c lw 91832 c lw 92303 c lw 92420 c lw 92594 c lw 92610 c lw 92861 c lw 93612 c lw 93673 c lw 93866 c lw 94082 c lw 94411 c lw 94563 c lw 94605 c lw 94854 c lw 95966 c lw 95978 c lw 96083 c lw 96095 c lw 96102 c lw 96722 c lw 96886 c lw 97091 c lw 97680 c lw 98071 c lw 98267 c lw 98820 c lw 99389 c lw 99409 c lw 99502 c lw 99527 c lw 99609 c lw 99620 c lw 99633 c lw 99967 c lw 99979 c lw 100022 c lw 100360 c lw 100579 c lw 100592 c lw 100827 c lw 101411 c lw 101751 c lw 102076 c lw 102127 c lw 102368 c lw 102569 c lw 102601 c lw 102749 c lw 103102 c lw 103521 c lw 103915 c lw 104000 c lw 104106 c lw 104552 c lw 104554 c lw 105382 c lw 105700 c lw 105750 c lw 105765 c lw 106114 c lw 106386 c lw 107502 c lw 107662 c lw 107715 c lw 108430 c lw 108494 c lw 108876 c lw 109064 c lw 109331 c lw 109522 c lw 109631 c lw 109707 c lw 109879 c lw 110330 c lw 110665 c lw 110999 c lw 111169 c lw 111365 c lw 111493 c lw 111790 c lw 111858 c lw 112048 c lw 112316 c lw 112377 c lw 112591 c lw 112592 c lw 112687 c lw 112704 c lw 112728 c lw 113019 c lw 113507 c lw 113902 c lw 114136 c lw 114314 c lw 114911 c lw 115127 c lw 115351 c lw 115419 c lw 115551 c lw 115597 c lw 115654 c lw 115889 c lw 115890 c lw 116117 c lw 116121 c lw 116214 c lw 116706 c lw 116732 c lw 116902 c lw 117048 c lw 117096 c lw 117370 c lw 117467 c lw 118024 c lw 118326 c lw 118390 c lw 118438 c lw 118873 c lw 119048 c lw 119404 c lw 119976 c lw 120071 c lw 120081 c lw 120082 c lw 120112 c lw 120173 c lw 120430 c lw 120509 c lw 120515 c lw 120580 c lw 120833 c lw 121201 c lw 121760 c lw 121787 c lw 121831 c lw 121873 c lw 122155 c lw 122229 c lw 122400 c lw 122545 c lw 122601 c lw 122904 c lw 123038 c lw 123144 c lw 123147 c lw 123232 c lw 123324 c lw 123334 c lw 123610 c lw 123621 c lw 123699 c lw 124001 c lw 124343 c lw 124696 c lw 125107 c lw 125700 c lw 126043 c lw 126269 c lw 126381 c lw 126526 c lw 126836 c lw 127078 c lw 127330 c lw 127504 c lw 127993 c lw 128178 c lw 128555 c lw 129517 c lw 129566 c lw 129618 c lw 129866 c lw 130217 c lw 130285 c lw 130384 c lw 130407 c lw 130886 c lw 130910 c lw 130971 c lw 131577 c lw 131822 c lw 132340 c lw 132545 c lw 132876 c lw 132886 c lw 133177 c lw 133365 c lw 133778 c lw 133962 c lw 133980 c lw 134271 c lw 134418 c lw 134439 c lw 134678 c lw 135518 c lw 135804 c lw 135839 c lw 136203 c lw 136232 c lw 136568 c lw 137675 c lw 137781 c lw 137874 c lw 138026 c lw 138054 c lw 138773 c lw 139058 c lw 139634 c lw 139642 c lw 139935 c lw 139947 c lw 140024 c lw 140047 c lw 140093 c lw 140125 c lw 140130 c lw 140161 c lw 140169 c lw 140252 c lw 141113 c lw 141320 c lw 141459 c lw 141899 c lw 142033 c lw 142088 c lw 142172 c lw 142410 c lw 142780 c lw 142797 c lw 142804 c lw 142843 c lw 143194 c lw 143569 c lw 144186 c lw 144213 c lw 144262 c lw 144295 c lw 144379 c lw 144705 c lw 144761 c lw 144762 c lw 144778 c lw 144918 c lw 145282 c lw 145795 c lw 146167 c lw 146989 c lw 147353 c lw 147590 c lw 147749 c lw 148268 c lw 148344 c lw 148666 c lw 149199 c lw 149282 c lw 149397 c lw 150359 c lw 150633 c lw 150705 c lw 150769 c lw 150782 c lw 151200 c lw 151257 c lw 151307 c lw 151467 c lw 151739 c lw 151950 c lw 152450 c lw 152566 c lw 152612 c lw 153000 c lw 153159 c lw 153193 c lw 153347 c lw 154331 c lw 154354 c lw 154492 c lw 155227 c lw 155752 c lw 155802 c lw 155813 c lw 155988 c lw 155991 c lw 156004 c lw 156032 c lw 156247 c lw 157292 c lw 157413 c lw 157455 c lw 157534 c lw 157600 c lw 157869 c lw 158336 c lw 158452 c lw 158470 c lw 159076 c lw 159106 c lw 159209 c lw 159445 c lw 160106 c lw 160424 c lw 160426 c lw 160537 c lw 160689 c lw 161452 c lw 161610 c lw 162266 c lw 162527 c lw 162837 c lw 162856 c lw 162886 c lw 162905 c lw 162915 c lw 163755 c lw 163786 c lw 163807 c lw 164493 c lw 164856 c lw 164858 c lw 164866 c lw 164973 c lw 165006 c lw 165016 c lw 165027 c lw 165395 c lw 165437 c lw 165443 c lw 165589 c lw 165806 c lw 165926 c lw 166494 c lw 166657 c lw 167205 c lw 167451 c lw 167466 c lw 167479 c lw 167508 c lw 167877 c lw 168460 c lw 168566 c lw 168623 c lw 168665 c lw 168696 c lw 168707 c lw 168745 c lw 168895 c lw 168899 c lw 169081 c lw 169943 c lw 170050 c lw 170154 c lw 170217 c lw 170309 c lw 170446 c lw 170452 c lw 170453 c lw 170469 c lw 170489 c lw 170495 c lw 171237 c lw 171385 c lw 172243 c lw 172414 c lw 172706 c lw 173076 c lw 173170 c lw 173315 c lw 173897 c lw 174054 c lw 174462 c lw 174951 c lw 175478 c lw 175556 c lw 175587 c lw 175850 c lw 176102 c lw 176480 c lw 176508 c lw 176525 c lw 177378 c lw 177692 c lw 177883 c lw 178328 c lw 178552 c lw 178607 c lw 178608 c lw 178654 c lw 179129 c lw 179171 c lw 179212 c lw 179473 c lw 179477 c lw 179513 c lw 179966 c lw 180579 c lw 180681 c lw 180715 c lw 180747 c lw 180769 c lw 181297 c lw 181490 c lw 181588 c lw 182012 c lw 182034 c lw 182127 c lw 182235 c lw 182343 c lw 182352 c lw 183109 c lw 183150 c lw 184170 c lw 184206 c lw 184367 c lw 184856 c lw 184892 c lw 185009 c lw 185391 c lw 185534 c lw 185851 c lw 186182 c lw 186267 c lw 186421 c lw 186663 c lw 186724 c lw 187760 c lw 187938 c lw 188262 c lw 188611 c lw 188777 c lw 189222 c lw 189250 c lw 189684 c lw 189734 c lw 189956 c lw 190167 c lw 190594 c lw 190667 c lw 190695 c lw 190809 c lw 190862 c lw 191875 c lw 192134 c lw 192481 c lw 192491 c lw 192669 c lw 192860 c lw 192927 c lw 193542 c lw 194303 c lw 194418 c lw 194620 c lw 195045 c lw 195358 c lw 195781 c lw 196604 c lw 196688 c lw 196928 c lw 197041 c lw 197070 c lw 197088 c lw 198224 c lw 198293 c lw 198648 c lw 198758 c lw 199904 c lw 200004 c lw 200114 c lw 200467 c lw 200922 c lw 201118 c lw 201647 c lw 201655 c lw 201949 c lw 201983 c lw 202055 c lw 202095 c lw 202124 c lw 202135 c lw 202139 c lw 202287 c lw 202550 c lw 202634 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 -435 436 -437 438 -439 -440 -441 -442 443 444 -445 -446 -447 448 -449 -450 -451 -452 453 -454 -455 456 457 -458 -459 460 -461 -462 463 -464 -465 466 -467 468 -469 470 -471 -472 -473 -474 -475 476 477 -478 -479 -480 481 -482 483 -484 -485 -486 487 -488 489 -490 491 -492 493 -494 -495 -496 497 -498 499 -500 -501 502 -503 -504 -505 -506 507 -508 509 -510 511 -512 -513 -514 515 -516 -517 -518 519 -520 521 -522 523 -524 -525 -526 -527 528 529 -530 -531 -532 533 -534 -535 536 -537 538 539 -540 -541 -542 543 -544 545 -546 -547 548 -549 -550 551 -552 -553 o 202634 s OPTIMUM FOUND c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-8.net.wcnf 202634 113.997u 1.420s 1:55.67 99.7% 0+0k 0+0io 0pf+0w