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-120-1_network-4.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-4.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 1227 c lw 1704 c lw 2180 c lw 2450 c lw 3927 c lw 5004 c lw 5416 c lw 7225 c lw 8105 c lw 9178 c lw 9193 c lw 10165 c lw 11412 c lw 12308 c lw 12552 c lw 13590 c lw 14094 c lw 14535 c lw 15424 c lw 16260 c lw 17483 c lw 18735 c lw 18826 c lw 19223 c lw 19906 c lw 20076 c lw 20318 c lw 21011 c lw 21549 c lw 21655 c lw 21661 c lw 22425 c lw 22705 c lw 23448 c lw 23848 c lw 24272 c lw 25440 c lw 25636 c lw 26062 c lw 26159 c lw 26563 c lw 26565 c lw 26641 c lw 26986 c lw 27274 c lw 27292 c lw 27532 c lw 27552 c lw 28185 c lw 28409 c lw 28442 c lw 29138 c lw 29522 c lw 30133 c lw 30155 c lw 30191 c lw 30318 c lw 30451 c lw 31371 c lw 31402 c lw 31643 c lw 31730 c lw 31934 c lw 32624 c lw 32650 c lw 33102 c lw 33858 c lw 34927 c lw 35121 c lw 35735 c lw 35951 c lw 35966 c lw 36319 c lw 36676 c lw 36776 c lw 37553 c lw 37725 c lw 37981 c lw 38110 c lw 38817 c lw 38879 c lw 39097 c lw 39317 c lw 39537 c lw 39804 c lw 39929 c lw 40183 c lw 40582 c lw 40831 c lw 40833 c lw 40946 c lw 40985 c lw 41058 c lw 41346 c lw 41364 c lw 41604 c lw 41624 c lw 41881 c lw 41928 c lw 42239 c lw 42299 c lw 42458 c lw 42588 c lw 43386 c lw 43546 c lw 43890 c lw 43922 c lw 43988 c lw 44306 c lw 44500 c lw 44566 c lw 44612 c lw 45623 c lw 46173 c lw 46322 c lw 46343 c lw 46440 c lw 46681 c lw 46806 c lw 47060 c lw 47215 c lw 47309 c lw 47422 c lw 47679 c lw 48110 c lw 48488 c lw 48568 c lw 49026 c lw 49255 c lw 49804 c lw 49970 c lw 50091 c lw 50491 c lw 50894 c lw 51113 c lw 51369 c lw 51486 c lw 52124 c lw 52170 c lw 52190 c lw 52347 c lw 52899 c lw 52928 c lw 53014 c lw 53035 c lw 53139 c lw 53387 c lw 53636 c lw 53978 c lw 54048 c lw 54295 c lw 54623 c lw 54699 c lw 54740 c lw 55145 c lw 55222 c lw 55293 c lw 55332 c lw 55341 c lw 55363 c lw 55404 c lw 55435 c lw 55671 c lw 56010 c lw 56450 c lw 56563 c lw 56754 c lw 56760 c lw 57010 c lw 57677 c lw 58104 c lw 58536 c lw 59753 c lw 59892 c lw 59941 c lw 59949 c lw 60033 c lw 60467 c lw 60555 c lw 60718 c lw 60837 c lw 60966 c lw 61328 c lw 61899 c lw 62035 c lw 62116 c lw 62201 c lw 62887 c lw 62912 c lw 62929 c lw 63065 c lw 63183 c lw 63446 c lw 63711 c lw 64377 c lw 64511 c lw 64522 c lw 64538 c lw 64900 c lw 64930 c lw 65070 c lw 65469 c lw 66036 c lw 66131 c lw 66153 c lw 66173 c lw 66235 c lw 66768 c lw 66790 c lw 66810 c lw 67201 c lw 67424 c lw 67826 c lw 67983 c lw 68372 c lw 68651 c lw 69731 c lw 70297 c lw 71016 c lw 71019 c lw 71167 c lw 71203 c lw 71458 c lw 71461 c lw 71575 c lw 71580 c lw 71584 c lw 71657 c lw 71795 c lw 72083 c lw 72156 c lw 72167 c lw 72206 c lw 72217 c lw 72220 c lw 72280 c lw 72580 c lw 72648 c lw 73007 c lw 73026 c lw 73430 c lw 73831 c lw 74476 c lw 74495 c lw 74713 c lw 74871 c lw 75210 c lw 75229 c lw 75566 c lw 75668 c lw 76041 c lw 76956 c lw 77221 c lw 77267 c lw 77275 c lw 77288 c lw 77296 c lw 77337 c lw 77607 c lw 77811 c lw 78019 c lw 78038 c lw 78117 c lw 78899 c lw 78931 c lw 79232 c lw 80310 c lw 80616 c lw 81361 c lw 81475 c lw 81538 c lw 81582 c lw 81584 c lw 81827 c lw 82021 c lw 82049 c lw 82194 c lw 82331 c lw 83147 c lw 83256 c lw 83285 c lw 83294 c lw 83352 c lw 83376 c lw 83641 c lw 83784 c lw 83826 c lw 84060 c lw 84156 c lw 84201 c lw 84355 c lw 84371 c lw 84587 c lw 85665 c lw 85697 c lw 85702 c lw 85957 c lw 85960 c lw 86197 c lw 86343 c lw 86745 c lw 86940 c lw 87444 c lw 87898 c lw 87934 c lw 88189 c lw 88569 c lw 88783 c lw 88825 c lw 88836 c lw 88841 c lw 89064 c lw 89238 c lw 89254 c lw 89583 c lw 89599 c lw 89707 c lw 90215 c lw 90490 c lw 90937 c lw 91081 c lw 91299 c lw 91456 c lw 91460 c lw 91476 c lw 91672 c lw 91784 c lw 92340 c lw 92342 c lw 92343 c lw 92399 c lw 92632 c lw 92646 c lw 92840 c lw 93146 c lw 93210 c lw 93466 c lw 94570 c lw 94585 c lw 95523 c lw 95532 c lw 95558 c lw 95599 c lw 95617 c lw 95918 c lw 95920 c lw 95938 c lw 95949 c lw 95967 c lw 95975 c lw 95977 c lw 95986 c lw 96122 c lw 96155 c lw 96761 c lw 96848 c lw 97008 c lw 97016 c lw 97034 c lw 97057 c lw 97219 c lw 97234 c lw 97311 c lw 97315 c lw 97431 c lw 97459 c lw 97565 c lw 97680 c lw 97788 c lw 97804 c lw 97951 c lw 98046 c lw 98482 c lw 98551 c lw 98561 c lw 98830 c lw 98903 c lw 98908 c lw 99018 c lw 99067 c lw 99124 c lw 99152 c lw 99167 c lw 99695 c lw 99790 c lw 99799 c lw 100302 c lw 100359 c lw 100381 c lw 100420 c lw 100436 c lw 100515 c lw 100528 c lw 100530 c lw 100560 c lw 100573 c lw 100590 c lw 100592 c lw 100593 c lw 101153 c lw 102077 c lw 102105 c lw 102637 c lw 102765 c lw 102881 c lw 103075 c lw 103109 c lw 103172 c lw 103268 c lw 103471 c lw 103484 c lw 103485 c lw 103487 c lw 103563 c lw 103569 c lw 103641 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 o 103641 s OPTIMUM FOUND c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-4.net.wcnf 103641 34.227u 0.339s 0:34.65 99.7% 0+0k 0+0io 0pf+0w