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-9.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-9.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 643 c lw 1968 c lw 3957 c lw 4349 c lw 5449 c lw 6500 c lw 8121 c lw 9065 c lw 10889 c lw 11388 c lw 12015 c lw 12403 c lw 12591 c lw 12713 c lw 14386 c lw 15724 c lw 16375 c lw 16880 c lw 17261 c lw 17893 c lw 18135 c lw 18220 c lw 18320 c lw 18919 c lw 19018 c lw 19195 c lw 19938 c lw 20468 c lw 20992 c lw 21019 c lw 21491 c lw 21559 c lw 21968 c lw 23092 c lw 23625 c lw 24041 c lw 24056 c lw 24115 c lw 24196 c lw 24489 c lw 24571 c lw 24651 c lw 24983 c lw 25095 c lw 25931 c lw 26057 c lw 27600 c lw 28108 c lw 28634 c lw 28726 c lw 29251 c lw 29434 c lw 29475 c lw 29488 c lw 30320 c lw 30321 c lw 30531 c lw 31380 c lw 31527 c lw 31841 c lw 32476 c lw 32760 c lw 33094 c lw 33102 c lw 33916 c lw 34108 c lw 34596 c lw 34944 c lw 35876 c lw 36422 c lw 37029 c lw 37099 c lw 37310 c lw 37525 c lw 37889 c lw 38382 c lw 38442 c lw 38472 c lw 38551 c lw 38667 c lw 38715 c lw 39078 c lw 39093 c lw 39222 c lw 39573 c lw 39600 c lw 39949 c lw 40007 c lw 40075 c lw 40305 c lw 40469 c lw 40759 c lw 40974 c lw 40984 c lw 41115 c lw 41920 c lw 42127 c lw 42359 c lw 42634 c lw 42710 c lw 42725 c lw 42784 c lw 42818 c lw 43194 c lw 43264 c lw 43389 c lw 44130 c lw 44586 c lw 44590 c lw 44658 c lw 44727 c lw 45174 c lw 45397 c lw 45713 c lw 45927 c lw 46241 c lw 46513 c lw 47261 c lw 47748 c lw 48047 c lw 48256 c lw 49577 c lw 49702 c lw 50713 c lw 51506 c lw 51516 c lw 52026 c lw 52132 c lw 52462 c lw 52555 c lw 52591 c lw 52687 c lw 54006 c lw 54061 c lw 54234 c lw 54353 c lw 54526 c lw 54541 c lw 54606 c lw 54666 c lw 54703 c lw 54709 c lw 54936 c lw 54996 c lw 55033 c lw 55132 c lw 55228 c lw 55702 c lw 55722 c lw 56169 c lw 56481 c lw 56652 c lw 57552 c lw 57553 c lw 57864 c lw 59465 c lw 59630 c lw 60808 c lw 60850 c lw 60949 c lw 61046 c lw 61208 c lw 62533 c lw 62546 c lw 62570 c lw 62611 c lw 62659 c lw 63085 c lw 63578 c lw 64074 c lw 64204 c lw 64555 c lw 64727 c lw 64741 c lw 64777 c lw 65111 c lw 65497 c lw 65942 c lw 66163 c lw 66210 c lw 66431 c lw 66445 c lw 66829 c lw 66840 c lw 67713 c lw 68113 c lw 68195 c lw 68589 c lw 68789 c lw 68868 c lw 69052 c lw 69128 c lw 69885 c lw 69948 c lw 70128 c lw 70303 c lw 70319 c lw 70607 c lw 70771 c lw 71197 c lw 71321 c lw 71400 c lw 72106 c lw 72115 c lw 72645 c lw 72842 c lw 72900 c lw 73423 c lw 73865 c lw 74134 c lw 75142 c lw 75255 c lw 75462 c lw 75689 c lw 75799 c lw 76390 c lw 76588 c lw 76653 c lw 77275 c lw 77290 c lw 77439 c lw 77533 c lw 77588 c lw 78195 c lw 78238 c lw 78432 c lw 78472 c lw 79095 c lw 79176 c lw 80064 c lw 80280 c lw 80393 c lw 80472 c lw 80474 c lw 80562 c lw 80686 c lw 80694 c lw 81234 c lw 81489 c lw 81637 c lw 81686 c lw 81729 c lw 81742 c lw 81929 c lw 81980 c lw 81994 c lw 82058 c lw 82171 c lw 82180 c lw 82244 c lw 82610 c lw 82627 c lw 82668 c lw 82693 c lw 82844 c lw 82984 c lw 84099 c lw 84244 c lw 84285 c lw 84315 c lw 84882 c lw 85064 c lw 85176 c lw 85201 c lw 85249 c lw 85433 c lw 85662 c lw 85751 c lw 85891 c lw 85899 c lw 86605 c lw 86664 c lw 86849 c lw 87598 c lw 87750 c lw 88084 c lw 88118 c lw 89531 c lw 89669 c lw 89743 c lw 89828 c lw 90120 c lw 90562 c lw 90571 c lw 90797 c lw 91888 c lw 92090 c lw 92603 c lw 92649 c lw 92663 c lw 93073 c lw 93259 c lw 93694 c lw 93795 c lw 94312 c lw 94596 c lw 94679 c lw 95626 c lw 95634 c lw 96179 c lw 96205 c lw 96230 c lw 96409 c lw 96919 c lw 97427 c lw 97500 c lw 97508 c lw 97511 c lw 97605 c lw 97715 c lw 98934 c lw 98970 c lw 98983 c lw 99004 c lw 99327 c lw 99686 c lw 100089 c lw 100273 c lw 100316 c lw 100324 c lw 100357 c lw 100391 c lw 100578 c lw 100625 c lw 100690 c lw 100749 c lw 101209 c lw 101440 c lw 101611 c lw 101648 c lw 102636 c lw 102887 c lw 103861 c lw 104044 c lw 104229 c lw 105166 c lw 105196 c lw 105237 c lw 105256 c lw 105269 c lw 105292 c lw 105321 c lw 105648 c lw 105721 c lw 105757 c lw 106046 c lw 106085 c lw 106144 c lw 106211 c lw 106251 c lw 106267 c lw 106359 c lw 106462 c lw 106468 c lw 107613 c lw 107847 c lw 107899 c lw 108078 c lw 108445 c lw 108554 c lw 108569 c lw 108640 c lw 108710 c lw 108870 c lw 108890 c lw 108892 c lw 109017 c lw 109042 c lw 109067 c lw 109126 c lw 109155 c lw 109186 c lw 109251 c lw 109557 c lw 109564 c lw 110757 c lw 110827 c lw 110870 c lw 111629 c lw 112111 c lw 112118 c lw 112150 c lw 112229 c lw 112289 c lw 113643 c lw 113690 c lw 113775 c lw 113789 c lw 114246 c lw 114262 c lw 114303 c lw 114487 c lw 114492 c lw 114509 c lw 114517 c lw 114533 c lw 114535 c lw 114538 c lw 114555 c lw 114563 c lw 114584 c lw 114600 c lw 114979 c lw 115628 c lw 115776 c lw 115847 c lw 115863 c lw 116012 c lw 116125 c lw 116372 c lw 116672 c lw 117664 c lw 117761 c lw 117828 c lw 118329 c lw 118439 c lw 119678 c lw 120211 c lw 120362 c lw 120472 c lw 120503 c lw 120573 c lw 121094 c lw 121129 c lw 121153 c lw 122396 c lw 122566 c lw 122591 c lw 122761 c lw 122831 c lw 123670 c lw 124043 c lw 124220 c lw 124221 c lw 124273 c lw 124595 c lw 124627 c lw 124897 c lw 125062 c lw 125418 c lw 126056 c lw 126101 c lw 126230 c lw 126262 c lw 126426 c lw 126468 c lw 126512 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 o 126512 s OPTIMUM FOUND c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-9.net.wcnf 126512 36.067u 0.450s 0:36.62 99.6% 0+0k 0+0io 0pf+0w