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-200-1_network-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-5.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 1151 c lw 1421 c lw 2522 c lw 3332 c lw 5191 c lw 5784 c lw 7070 c lw 7169 c lw 8057 c lw 8789 c lw 9178 c lw 10493 c lw 11179 c lw 11490 c lw 12209 c lw 13169 c lw 13439 c lw 13505 c lw 14027 c lw 15341 c lw 16851 c lw 17826 c lw 18765 c lw 19031 c lw 19626 c lw 21054 c lw 22354 c lw 23716 c lw 23969 c lw 24009 c lw 24470 c lw 24594 c lw 24979 c lw 25776 c lw 25992 c lw 26223 c lw 26953 c lw 27632 c lw 27697 c lw 28078 c lw 28089 c lw 28624 c lw 28874 c lw 29673 c lw 30069 c lw 30787 c lw 31178 c lw 32039 c lw 32661 c lw 32874 c lw 33338 c lw 33474 c lw 33601 c lw 34717 c lw 35062 c lw 35158 c lw 35446 c lw 36408 c lw 37059 c lw 37076 c lw 37992 c lw 38152 c lw 38805 c lw 38890 c lw 39536 c lw 39913 c lw 40025 c lw 40330 c lw 40406 c lw 40563 c lw 40692 c lw 40974 c lw 41014 c lw 41185 c lw 41814 c lw 42759 c lw 42816 c lw 42886 c lw 43784 c lw 43790 c lw 43796 c lw 44089 c lw 44189 c lw 44425 c lw 44475 c lw 44762 c lw 44975 c lw 45387 c lw 46342 c lw 46391 c lw 46454 c lw 46705 c lw 46737 c lw 46804 c lw 46942 c lw 47421 c lw 47714 c lw 47746 c lw 47996 c lw 48300 c lw 48318 c lw 48745 c lw 48770 c lw 49454 c lw 50022 c lw 50172 c lw 50273 c lw 50429 c lw 50466 c lw 50527 c lw 50719 c lw 50932 c lw 51067 c lw 51203 c lw 51217 c lw 51654 c lw 51659 c lw 52753 c lw 52850 c lw 52866 c lw 53424 c lw 53520 c lw 53524 c lw 54139 c lw 54188 c lw 54457 c lw 54474 c lw 54559 c lw 55080 c lw 55192 c lw 55199 c lw 55423 c lw 55816 c lw 56273 c lw 56369 c lw 56591 c lw 56623 c lw 56668 c lw 56770 c lw 56792 c lw 57112 c lw 57113 c lw 57118 c lw 57866 c lw 58145 c lw 58276 c lw 58786 c lw 59100 c lw 59307 c lw 59357 c lw 59508 c lw 59894 c lw 60033 c lw 60284 c lw 60419 c lw 60433 c lw 60870 c lw 61388 c lw 61681 c lw 62055 c lw 62507 c lw 62918 c lw 62931 c lw 62947 c lw 63006 c lw 63628 c lw 63892 c lw 64421 c lw 64483 c lw 64610 c lw 64628 c lw 64632 c lw 64822 c lw 65210 c lw 65399 c lw 65419 c lw 65627 c lw 65643 c lw 65833 c lw 66000 c lw 66088 c lw 66494 c lw 66650 c lw 66844 c lw 66889 c lw 67150 c lw 67217 c lw 67330 c lw 67970 c lw 68135 c lw 68277 c lw 68367 c lw 68594 c lw 68622 c lw 68709 c lw 69397 c lw 69650 c lw 70057 c lw 70111 c lw 70182 c lw 70229 c lw 70869 c lw 71164 c lw 71547 c lw 71743 c lw 72063 c lw 72107 c lw 72123 c lw 72172 c lw 72303 c lw 72304 c lw 72329 c lw 72622 c lw 72844 c lw 72979 c lw 73098 c lw 73230 c lw 73494 c lw 73700 c lw 73787 c lw 73793 c lw 73799 c lw 73958 c lw 74245 c lw 74302 c lw 74405 c lw 74443 c lw 74447 c lw 74450 c lw 74566 c lw 74647 c lw 74695 c lw 74994 c lw 75424 c lw 75910 c lw 76682 c lw 77023 c lw 77048 c lw 77074 c lw 77077 c lw 77190 c lw 77426 c lw 78107 c lw 78162 c lw 78447 c lw 78496 c lw 78759 c lw 78838 c lw 79085 c lw 79471 c lw 79750 c lw 79849 c lw 80401 c lw 80538 c lw 80625 c lw 80737 c lw 80789 c lw 81005 c lw 81489 c lw 81652 c lw 81668 c lw 81672 c lw 81813 c lw 81910 c lw 81981 c lw 82117 c lw 82596 c lw 82680 c lw 82817 c lw 82937 c lw 83328 c lw 83425 c lw 83437 c lw 83609 c lw 83668 c lw 83681 c lw 83684 c lw 83739 c lw 83822 c lw 83826 c lw 83851 c lw 83854 c lw 83895 c lw 83976 c lw 84004 c lw 84014 c lw 84464 c lw 84493 c lw 84547 c lw 85107 c lw 85168 c lw 85717 c lw 85864 c lw 85917 c lw 86078 c lw 86548 c lw 86678 c lw 86721 c lw 87320 c lw 87627 c lw 87743 c lw 87902 c lw 87905 c lw 87906 c lw 87948 c lw 88046 c lw 88167 c lw 89126 c lw 89143 c lw 89433 c lw 89766 c lw 90818 c lw 90924 c lw 91007 c lw 91153 c lw 91177 c lw 91613 c lw 91763 c lw 91821 c lw 92221 c lw 92258 c lw 92989 c lw 93342 c lw 93992 c lw 94339 c lw 94931 c lw 95970 c lw 96252 c lw 96402 c lw 96434 c lw 96468 c lw 96497 c lw 96503 c lw 96987 c lw 97385 c lw 97389 c lw 97392 c lw 97717 c lw 97843 c lw 98285 c lw 98899 c lw 99304 c lw 99334 c lw 99435 c lw 100015 c lw 100065 c lw 100082 c lw 100166 c lw 100205 c lw 100368 c lw 100550 c lw 100561 c lw 100905 c lw 101159 c lw 101298 c lw 101329 c lw 101649 c lw 101777 c lw 101779 c lw 101795 c lw 102133 c lw 102421 c lw 102588 c lw 102652 c lw 102868 c lw 103265 c lw 103793 c lw 103887 c lw 103951 c lw 104194 c lw 105258 c lw 105544 c lw 106083 c lw 106112 c lw 106362 c lw 106377 c lw 106444 c lw 106447 c lw 106470 c lw 106493 c lw 106496 c lw 106511 c lw 106519 c lw 106526 c lw 106646 c lw 106831 c lw 107599 c lw 107617 c lw 107666 c lw 107678 c lw 107731 c lw 108423 c lw 108623 c lw 108804 c lw 108817 c lw 108887 c lw 109069 c lw 109362 c lw 110143 c lw 110236 c lw 110826 c lw 111163 c lw 111848 c lw 112459 c lw 112461 c lw 112791 c lw 112872 c lw 113225 c lw 113386 c lw 113387 c lw 114004 c lw 114176 c lw 114427 c lw 114494 c lw 114551 c lw 114718 c lw 115076 c lw 115596 c lw 115920 c lw 116644 c lw 116710 c lw 117059 c lw 117574 c lw 117750 c lw 118036 c lw 118405 c lw 118531 c lw 118725 c lw 119256 c lw 119463 c lw 120368 c lw 120453 c lw 121299 c lw 121459 c lw 121615 c lw 121993 c lw 122267 c lw 122317 c lw 122386 c lw 122403 c lw 122681 c lw 122967 c lw 123303 c lw 123368 c lw 123377 c lw 123391 c lw 123436 c lw 123446 c lw 123640 c lw 123679 c lw 123731 c lw 123742 c lw 123750 c lw 124180 c lw 124205 c lw 124348 c lw 124357 c lw 124822 c lw 125405 c lw 125548 c lw 125676 c lw 125704 c lw 126191 c lw 126651 c lw 126862 c lw 127598 c lw 127773 c lw 127873 c lw 128249 c lw 128262 c lw 128603 c lw 128627 c lw 128652 c lw 128653 c lw 128734 c lw 128872 c lw 129031 c lw 129153 c lw 129427 c lw 129458 c lw 129582 c lw 129609 c lw 129666 c lw 129669 c lw 129788 c lw 129804 c lw 129970 c lw 130223 c lw 130225 c lw 130530 c lw 130577 c lw 131010 c lw 131113 c lw 131223 c lw 131237 c lw 131246 c lw 131494 c lw 131522 c lw 131819 c lw 132183 c lw 132238 c lw 132417 c lw 132940 c lw 133192 c lw 133264 c lw 133444 c lw 133446 c lw 133474 c lw 133618 c lw 133643 c lw 133649 c lw 133934 c lw 135165 c lw 135194 c lw 135241 c lw 136613 c lw 136868 c lw 136892 c lw 136899 c lw 136903 c lw 136915 c lw 137187 c lw 137323 c lw 137657 c lw 137664 c lw 137911 c lw 138013 c lw 138285 c lw 138303 c lw 138451 c lw 139287 c lw 139904 c lw 141001 c lw 141037 c lw 141155 c lw 141958 c lw 141982 c lw 142049 c lw 142693 c lw 142806 c lw 142903 c lw 143626 c lw 143636 c lw 143683 c lw 143902 c lw 143965 c lw 144501 c lw 144923 c lw 145124 c lw 145361 c lw 145365 c lw 145392 c lw 145435 c lw 145441 c lw 145453 c lw 145489 c lw 145491 c lw 146388 c lw 146392 c lw 147227 c lw 147400 c lw 147873 c lw 148203 c lw 148207 c lw 148218 c lw 148504 c lw 148771 c lw 148780 c lw 148785 c lw 148788 c lw 148792 c lw 148794 c lw 148821 c lw 148822 c lw 148831 c lw 148836 c lw 148839 c lw 148840 c lw 148857 c lw 148861 c lw 148863 c lw 148870 c lw 148874 c lw 148880 c lw 149175 c lw 149791 c lw 149882 c lw 149944 c lw 150284 c lw 150609 c lw 150934 c lw 150996 c lw 151136 c lw 151336 c lw 151536 c lw 151730 c lw 152035 c lw 152301 c lw 152330 c lw 152341 c lw 152366 c lw 152396 c lw 152426 c lw 152434 c lw 152436 c lw 152459 c lw 152531 c lw 152572 c lw 152598 c lw 152608 c lw 153786 c lw 154089 c lw 154224 c lw 154551 c lw 155545 c lw 155616 c lw 155814 c lw 155951 c lw 156806 c lw 157144 c lw 157670 c lw 157758 c lw 157907 c lw 157978 c lw 158085 c lw 158177 c lw 159131 c lw 160069 c lw 160478 c lw 160829 c lw 162031 c lw 162207 c lw 162402 c lw 162833 c lw 163066 c lw 163110 c lw 163352 c lw 163387 c lw 163528 c lw 163612 c lw 164368 c lw 164602 c lw 164787 c lw 164862 c lw 165061 c lw 165127 c lw 165438 c lw 165504 c lw 165513 c lw 165548 c lw 165564 c lw 165677 c lw 165680 c lw 165684 c lw 165692 c lw 166101 c lw 167117 c lw 167297 c lw 167368 c lw 167480 c lw 168183 c lw 168235 c lw 169245 c lw 169457 c lw 169721 c lw 169986 c lw 170171 c lw 170701 c lw 170739 c lw 171338 c lw 171443 c lw 171722 c lw 171897 c lw 171902 c lw 171954 c lw 171992 c lw 172049 c lw 172083 c lw 172226 c lw 172238 c lw 172240 c lw 172241 c lw 172243 c lw 172244 c lw 172245 c lw 172256 c lw 172258 c lw 172259 c lw 172260 c lw 172261 c lw 172285 c lw 172668 c lw 173508 c lw 173509 c lw 174318 c lw 174535 c lw 174892 c lw 175188 c lw 175512 c lw 175583 c lw 175635 c lw 175701 c lw 175702 c lw 175766 c lw 175902 c lw 176395 c lw 176407 c lw 176788 c lw 176886 c lw 177198 c lw 177296 c lw 177777 c lw 177963 c lw 177965 c lw 177970 c lw 177977 c lw 179072 c lw 179776 c lw 179779 c lw 180663 c lw 180771 c lw 180874 c lw 180900 c lw 180964 c lw 181084 c lw 181095 c lw 181111 c lw 181181 c lw 181354 c lw 181628 c lw 181661 c lw 181678 c lw 182693 c lw 182694 c lw 182695 c lw 182696 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 o 182696 s OPTIMUM FOUND c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-5.net.wcnf 182696 193.007u 2.133s 3:15.57 99.7% 0+0k 0+0io 0pf+0w