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-140-1_network-3.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-3.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 430 c lw 1061 c lw 1896 c lw 3139 c lw 3760 c lw 4104 c lw 4200 c lw 4543 c lw 5630 c lw 5664 c lw 6570 c lw 8232 c lw 8709 c lw 8842 c lw 8998 c lw 9253 c lw 10443 c lw 10937 c lw 12166 c lw 13307 c lw 13476 c lw 14017 c lw 14412 c lw 15368 c lw 15716 c lw 15804 c lw 16319 c lw 16628 c lw 17588 c lw 17595 c lw 18472 c lw 18574 c lw 19706 c lw 19794 c lw 20310 c lw 20936 c lw 21442 c lw 22135 c lw 22709 c lw 24533 c lw 24552 c lw 25060 c lw 25419 c lw 26486 c lw 28147 c lw 28471 c lw 28527 c lw 28650 c lw 29259 c lw 29586 c lw 29873 c lw 30326 c lw 31510 c lw 31798 c lw 31980 c lw 32002 c lw 32347 c lw 32467 c lw 33415 c lw 33827 c lw 33948 c lw 34231 c lw 34728 c lw 35077 c lw 35144 c lw 36352 c lw 36709 c lw 36776 c lw 37382 c lw 37829 c lw 37989 c lw 37994 c lw 38068 c lw 38150 c lw 39385 c lw 39659 c lw 39704 c lw 40148 c lw 40664 c lw 41057 c lw 41290 c lw 41615 c lw 41796 c lw 41959 c lw 42183 c lw 42533 c lw 42643 c lw 42662 c lw 43170 c lw 43192 c lw 43422 c lw 43658 c lw 44617 c lw 44653 c lw 44941 c lw 45079 c lw 45088 c lw 45603 c lw 46222 c lw 46494 c lw 46570 c lw 46754 c lw 46984 c lw 47024 c lw 47168 c lw 47315 c lw 47573 c lw 47629 c lw 47680 c lw 48940 c lw 49171 c lw 49466 c lw 50344 c lw 50808 c lw 50953 c lw 51555 c lw 51676 c lw 51680 c lw 51929 c lw 52671 c lw 52690 c lw 52854 c lw 53748 c lw 53864 c lw 53901 c lw 54682 c lw 54892 c lw 54909 c lw 55055 c lw 55354 c lw 55606 c lw 55838 c lw 56425 c lw 56468 c lw 56575 c lw 56583 c lw 56789 c lw 56995 c lw 57061 c lw 57505 c lw 57800 c lw 57902 c lw 58048 c lw 58417 c lw 58485 c lw 58791 c lw 58822 c lw 58994 c lw 59385 c lw 60008 c lw 60736 c lw 60855 c lw 61480 c lw 61863 c lw 61995 c lw 62908 c lw 62945 c lw 63036 c lw 63350 c lw 63402 c lw 63494 c lw 63799 c lw 63983 c lw 64954 c lw 65257 c lw 65621 c lw 65688 c lw 65931 c lw 66136 c lw 66280 c lw 66343 c lw 66404 c lw 66723 c lw 66987 c lw 67291 c lw 67429 c lw 67731 c lw 68386 c lw 68419 c lw 68679 c lw 69099 c lw 69492 c lw 69717 c lw 69763 c lw 70165 c lw 70212 c lw 70445 c lw 70703 c lw 70839 c lw 71108 c lw 71169 c lw 71666 c lw 72063 c lw 72233 c lw 72555 c lw 72564 c lw 72948 c lw 73257 c lw 73361 c lw 73875 c lw 74041 c lw 74803 c lw 74904 c lw 75485 c lw 75721 c lw 75809 c lw 75876 c lw 76141 c lw 76662 c lw 76741 c lw 76976 c lw 77052 c lw 77415 c lw 77685 c lw 78334 c lw 78338 c lw 78389 c lw 78454 c lw 78520 c lw 78761 c lw 79126 c lw 79407 c lw 79464 c lw 79774 c lw 79820 c lw 79829 c lw 80528 c lw 80782 c lw 81413 c lw 81840 c lw 82382 c lw 82492 c lw 82499 c lw 82769 c lw 83125 c lw 83745 c lw 84139 c lw 84527 c lw 84602 c lw 84710 c lw 84753 c lw 84864 c lw 84868 c lw 84959 c lw 85285 c lw 85587 c lw 85682 c lw 86073 c lw 86074 c lw 86235 c lw 86277 c lw 86295 c lw 86413 c lw 86527 c lw 86559 c lw 86690 c lw 87621 c lw 87697 c lw 88310 c lw 88327 c lw 88386 c lw 88542 c lw 88734 c lw 88988 c lw 89072 c lw 89206 c lw 89981 c lw 90972 c lw 91000 c lw 91025 c lw 91359 c lw 91627 c lw 92697 c lw 92768 c lw 92773 c lw 93013 c lw 93116 c lw 93129 c lw 93130 c lw 93181 c lw 93225 c lw 93250 c lw 93313 c lw 93478 c lw 93541 c lw 93629 c lw 93693 c lw 93936 c lw 94000 c lw 94362 c lw 94585 c lw 94932 c lw 95040 c lw 95115 c lw 95516 c lw 95561 c lw 96071 c lw 96077 c lw 96881 c lw 97247 c lw 97252 c lw 97297 c lw 97438 c lw 97485 c lw 97529 c lw 97583 c lw 98016 c lw 98048 c lw 98165 c lw 98616 c lw 99027 c lw 99317 c lw 99776 c lw 99977 c lw 100074 c lw 100608 c lw 100645 c lw 100803 c lw 100868 c lw 101165 c lw 102169 c lw 102302 c lw 102372 c lw 102383 c lw 103099 c lw 103250 c lw 104194 c lw 104202 c lw 104252 c lw 105291 c lw 105374 c lw 105400 c lw 105435 c lw 105462 c lw 105480 c lw 105486 c lw 105487 c lw 105497 c lw 105581 c lw 105756 c lw 105758 c lw 105892 c lw 106025 c lw 106074 c lw 106078 c lw 106107 c lw 106119 c lw 106183 c lw 106185 c lw 106211 c lw 106360 c lw 106439 c lw 106713 c lw 106979 c lw 107008 c lw 107099 c lw 107103 c lw 107718 c lw 108002 c lw 108391 c lw 109055 c lw 109413 c lw 109465 c lw 109594 c lw 110505 c lw 110552 c lw 110572 c lw 110840 c lw 111020 c lw 111376 c lw 111391 c lw 111448 c lw 111771 c lw 112192 c lw 112632 c lw 113072 c lw 113246 c lw 113842 c lw 113883 c lw 114311 c lw 114782 c lw 115215 c lw 115216 c lw 115570 c lw 115835 c lw 115838 c lw 115844 c lw 115857 c lw 115872 c lw 115916 c lw 115933 c lw 115955 c lw 115974 c lw 117248 c lw 117290 c lw 117483 c lw 117489 c lw 117534 c lw 117613 c lw 117627 c lw 118670 c lw 118936 c lw 119071 c lw 119652 c lw 119743 c lw 120090 c lw 120536 c lw 120710 c lw 121276 c lw 121289 c lw 121694 c lw 122260 c lw 122559 c lw 122689 c lw 122701 c lw 122702 c lw 122715 c lw 122718 c lw 122737 c lw 122742 c lw 122767 c lw 122774 c lw 122939 c lw 122940 c lw 122943 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 o 122943 s OPTIMUM FOUND c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-3.net.wcnf 122943 29.983u 0.407s 0:30.46 99.7% 0+0k 0+0io 0pf+0w