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-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-5.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 278 c lw 1548 c lw 3768 c lw 5802 c lw 6730 c lw 7710 c lw 7961 c lw 9436 c lw 11208 c lw 12346 c lw 14125 c lw 14785 c lw 16000 c lw 17028 c lw 17214 c lw 18832 c lw 19595 c lw 20271 c lw 20856 c lw 22336 c lw 23091 c lw 24075 c lw 24810 c lw 25092 c lw 25827 c lw 27335 c lw 28916 c lw 30088 c lw 30460 c lw 31185 c lw 31725 c lw 31894 c lw 32218 c lw 32970 c lw 34858 c lw 34873 c lw 34955 c lw 35233 c lw 35977 c lw 36011 c lw 36122 c lw 36187 c lw 36284 c lw 37178 c lw 37513 c lw 37631 c lw 37695 c lw 38047 c lw 38100 c lw 38507 c lw 38852 c lw 38878 c lw 40080 c lw 40559 c lw 41756 c lw 42209 c lw 42622 c lw 42923 c lw 42927 c lw 43049 c lw 43306 c lw 43680 c lw 44719 c lw 45432 c lw 45544 c lw 45670 c lw 45886 c lw 46053 c lw 46941 c lw 47111 c lw 47741 c lw 48399 c lw 48865 c lw 49935 c lw 50996 c lw 51049 c lw 51128 c lw 51186 c lw 51236 c lw 51244 c lw 51381 c lw 51943 c lw 52203 c lw 52701 c lw 53097 c lw 53317 c lw 53510 c lw 54443 c lw 54705 c lw 54881 c lw 55144 c lw 55519 c lw 55891 c lw 56183 c lw 56572 c lw 56650 c lw 56767 c lw 56835 c lw 57501 c lw 57774 c lw 57851 c lw 58259 c lw 59774 c lw 60064 c lw 60916 c lw 61093 c lw 61433 c lw 61965 c lw 62557 c lw 62868 c lw 62953 c lw 63138 c lw 63536 c lw 64184 c lw 64391 c lw 64672 c lw 64755 c lw 64814 c lw 64866 c lw 65072 c lw 65320 c lw 65384 c lw 65672 c lw 66281 c lw 66324 c lw 66951 c lw 67122 c lw 67167 c lw 67522 c lw 67547 c lw 67561 c lw 67790 c lw 68253 c lw 68750 c lw 68964 c lw 69135 c lw 69840 c lw 69844 c lw 70194 c lw 70564 c lw 70787 c lw 70942 c lw 70946 c lw 71109 c lw 71339 c lw 71914 c lw 71982 c lw 72094 c lw 72220 c lw 72436 c lw 72603 c lw 72843 c lw 72916 c lw 73077 c lw 73086 c lw 73468 c lw 73483 c lw 73823 c lw 74289 c lw 74411 c lw 74450 c lw 75326 c lw 75663 c lw 75677 c lw 76445 c lw 76498 c lw 76577 c lw 76635 c lw 76745 c lw 76909 c lw 77082 c lw 77086 c lw 77346 c lw 77439 c lw 77441 c lw 77467 c lw 77702 c lw 78161 c lw 78255 c lw 78592 c lw 78622 c lw 78648 c lw 78773 c lw 78788 c lw 78844 c lw 79165 c lw 79643 c lw 79757 c lw 79859 c lw 80052 c lw 80314 c lw 80490 c lw 81257 c lw 81445 c lw 81881 c lw 82201 c lw 82464 c lw 82836 c lw 82953 c lw 83006 c lw 83020 c lw 83353 c lw 83556 c lw 83892 c lw 84016 c lw 84846 c lw 85151 c lw 85266 c lw 85930 c lw 86018 c lw 86113 c lw 86142 c lw 86875 c lw 86901 c lw 86988 c lw 87026 c lw 87050 c lw 87108 c lw 87665 c lw 87797 c lw 88084 c lw 88315 c lw 88360 c lw 89231 c lw 89945 c lw 89947 c lw 90074 c lw 90109 c lw 90154 c lw 90272 c lw 90781 c lw 90895 c lw 91353 c lw 91392 c lw 91632 c lw 91705 c lw 91953 c lw 91968 c lw 92090 c lw 92169 c lw 92413 c lw 92430 c lw 92703 c lw 92712 c lw 92891 c lw 93023 c lw 93076 c lw 93131 c lw 93437 c lw 93646 c lw 93708 c lw 93854 c lw 93922 c lw 94268 c lw 94919 c lw 95378 c lw 95453 c lw 95468 c lw 96153 c lw 96164 c lw 96639 c lw 96641 c lw 97756 c lw 97924 c lw 97995 c lw 98625 c lw 98631 c lw 98942 c lw 99599 c lw 99732 c lw 99744 c lw 99795 c lw 99833 c lw 99841 c lw 100079 c lw 100112 c lw 100188 c lw 100362 c lw 100724 c lw 101267 c lw 101455 c lw 101466 c lw 101479 c lw 101522 c lw 101577 c lw 101664 c lw 101759 c lw 101761 c lw 102105 c lw 102875 c lw 103731 c lw 103788 c lw 103834 c lw 103949 c lw 104465 c lw 105150 c lw 105171 c lw 105307 c lw 105312 c lw 105456 c lw 105494 c lw 105748 c lw 106227 c lw 106355 c lw 106394 c lw 107037 c lw 107341 c lw 107480 c lw 108212 c lw 108348 c lw 108373 c lw 108427 c lw 108576 c lw 109495 c lw 109944 c lw 109953 c lw 110128 c lw 110134 c lw 110208 c lw 111473 c lw 112369 c lw 112398 c lw 112523 c lw 112771 c lw 112790 c lw 112965 c lw 113003 c lw 113275 c lw 113451 c lw 114474 c lw 114538 c lw 114578 c lw 114604 c lw 114702 c lw 114874 c lw 115034 c lw 116260 c lw 116456 c lw 116458 c lw 116466 c lw 116632 c lw 116694 c lw 117034 c lw 117063 c lw 117417 c lw 117813 c lw 118034 c lw 118222 c lw 118551 c lw 118864 c lw 118896 c lw 118932 c lw 119342 c lw 120020 c lw 120247 c lw 120264 c lw 120270 c lw 120404 c lw 120642 c lw 120779 c lw 120829 c lw 121210 c lw 121623 c lw 121843 c lw 122121 c lw 122475 c lw 123874 c lw 124223 c lw 125098 c lw 125146 c lw 125243 c lw 125976 c lw 126338 c lw 126401 c lw 126817 c lw 126879 c lw 126924 c lw 127215 c lw 127276 c lw 127562 c lw 128462 c lw 128560 c lw 128709 c lw 128722 c lw 129161 c lw 129228 c lw 129416 c lw 129595 c lw 129616 c lw 129746 c lw 129783 c lw 129897 c lw 130038 c lw 130761 c lw 131024 c lw 131940 c lw 132296 c lw 132308 c lw 132500 c lw 132523 c lw 132553 c lw 132583 c lw 132625 c lw 132803 c lw 132976 c lw 133049 c lw 133096 c lw 133283 c lw 133440 c lw 133489 c lw 133561 c lw 133589 c lw 134056 c lw 134592 c lw 134678 c lw 134913 c lw 135080 c lw 135348 c lw 135393 c lw 136085 c lw 136469 c lw 136597 c lw 136895 c lw 137113 c lw 137632 c lw 137691 c lw 137755 c lw 137853 c lw 137943 c lw 138117 c lw 138142 c lw 138171 c lw 138209 c lw 138415 c lw 138440 c lw 138654 c lw 138919 c lw 138932 c lw 138944 c lw 139479 c lw 139575 c lw 139632 c lw 139694 c lw 139767 c lw 139882 c lw 139884 c lw 139895 c lw 139927 c lw 139954 c lw 140146 c lw 140202 c lw 140269 c lw 140356 c lw 140419 c lw 140438 c lw 140690 c lw 141577 c lw 141768 c lw 142024 c lw 142100 c lw 142105 c lw 142412 c lw 142609 c lw 142676 c lw 142683 c lw 142721 c lw 142899 c lw 143563 c lw 143571 c lw 143713 c lw 144258 c lw 144266 c lw 144349 c lw 144408 c lw 144586 c lw 144697 c lw 144793 c lw 144898 c lw 144915 c lw 144932 c lw 144953 c lw 145045 c lw 145051 c lw 145156 c lw 145216 c lw 145222 c lw 145237 c lw 145812 c lw 146066 c lw 146989 c lw 147215 c lw 147277 c lw 147373 c lw 147416 c lw 147441 c lw 147456 c lw 147674 c lw 147677 c lw 148289 c lw 148306 c lw 148565 c lw 148603 c lw 148764 c lw 148850 c lw 149002 c lw 149361 c lw 149373 c lw 149386 c lw 149447 c lw 149519 c lw 149521 c lw 149997 c lw 150032 c lw 150204 c lw 150463 c lw 150907 c lw 151020 c lw 151684 c lw 152324 c lw 152430 c lw 152938 c lw 153117 c lw 153213 c lw 153609 c lw 153737 c lw 153768 c lw 153796 c lw 153799 c lw 153834 c lw 153878 c lw 153995 c lw 154062 c lw 154095 c lw 154197 c lw 154316 c lw 154549 c lw 154576 c lw 154626 c lw 154736 c lw 154896 c lw 155200 c lw 155408 c lw 155620 c lw 155723 c lw 155807 c lw 155831 c lw 155839 c lw 155850 c lw 155852 c lw 155892 c lw 155900 c lw 156127 c lw 157157 c lw 157241 c lw 157247 c lw 157259 c lw 157287 c lw 157290 c lw 157295 c lw 157321 c lw 157347 c lw 157520 c lw 157547 c lw 157571 c lw 157576 c lw 157578 c lw 157583 c lw 157591 c lw 157796 c lw 157812 c lw 157814 c lw 157830 c lw 157832 c lw 157840 c lw 157848 c lw 157885 c lw 157887 c lw 157892 c lw 157900 c lw 157901 c lw 157906 c lw 157913 c lw 157920 c lw 157925 c lw 157926 c lw 157934 c lw 157939 c lw 157941 c lw 157944 c lw 157952 c lw 157955 c lw 157964 c lw 158199 c lw 158205 c lw 158213 c lw 158223 c lw 158232 c lw 158235 c lw 158237 c lw 158240 c lw 158243 c lw 158246 c lw 158248 c lw 158252 c lw 158253 c lw 158261 c lw 158262 c lw 158267 c lw 158269 c lw 158270 c lw 158274 c lw 158281 c lw 158282 c lw 158283 c lw 158286 c lw 158287 c lw 158295 c lw 158300 c lw 158302 c lw 158305 c lw 158353 c lw 158392 c lw 158407 c lw 158560 c lw 158564 c lw 158566 c lw 158604 c lw 158630 c lw 158842 c lw 159025 c lw 159147 c lw 159761 c lw 159902 c lw 159986 c lw 160242 c lw 160305 c lw 160537 c lw 160874 c lw 161060 c lw 161357 c lw 161507 c lw 161574 c lw 162186 c lw 162343 c lw 162985 c lw 163492 c lw 163550 c lw 163898 c lw 163908 c lw 163965 c lw 164065 c lw 164526 c lw 164636 c lw 164654 c lw 165086 c lw 165347 c lw 165371 c lw 165375 c lw 165393 c lw 165399 c lw 165414 c lw 165417 c lw 165453 c lw 165501 c lw 165638 c lw 166290 c lw 166383 c lw 167143 c lw 167160 c lw 167916 c lw 168418 c lw 168581 c lw 168854 c lw 168941 c lw 168967 c lw 169034 c lw 169440 c lw 170014 c lw 170819 c lw 171018 c lw 171377 c lw 171440 c lw 172226 c lw 172469 c lw 172597 c lw 172657 c lw 173034 c lw 173458 c lw 173998 c lw 174062 c lw 174176 c lw 174179 c lw 174191 c lw 174195 c lw 174204 c lw 174216 c lw 174222 c lw 174247 c lw 174263 c lw 174266 c lw 174275 c lw 174288 c lw 174294 c lw 174304 c lw 174306 c lw 174308 c lw 174314 c lw 174344 c lw 174345 c lw 174347 c lw 174349 c lw 174350 c lw 174351 c lw 174352 c lw 174353 c lw 174354 c lw 174355 c lw 174359 c lw 174366 c lw 174638 c lw 174722 c lw 175706 c lw 176138 c lw 176740 c lw 176948 c lw 177057 c lw 177454 c lw 177512 c lw 178971 c lw 179084 c lw 179383 c lw 180023 c lw 180616 c lw 180834 c lw 180911 c lw 180930 c lw 181091 c lw 182008 c lw 182117 c lw 182262 c lw 182695 c lw 183230 c lw 183579 c lw 183731 c lw 183754 c lw 183806 c lw 183911 c lw 184480 c lw 184863 c lw 184928 c lw 185061 c lw 185119 c lw 185162 c lw 185675 c lw 185698 c lw 185727 c lw 185850 c lw 185888 c lw 185979 c lw 186142 c lw 186802 c lw 187010 c lw 187952 c lw 188049 c lw 188640 c lw 189130 c lw 189219 c lw 189653 c lw 189669 c lw 190327 c lw 190474 c lw 190512 c lw 190528 c lw 190575 c lw 190675 c lw 190870 c lw 190977 c lw 191066 c lw 191103 c lw 191268 c lw 191287 c lw 192084 c lw 192154 c lw 192225 c lw 193093 c lw 193538 c lw 193659 c lw 193923 c lw 194232 c lw 194700 c lw 195324 c lw 195326 c lw 195327 c lw 195328 c lw 195329 c lw 195330 c lw 195331 c lw 195332 c lw 195333 c lw 195334 c lw 195336 c lw 195338 c lw 195339 c lw 195340 c lw 195341 c lw 195342 c lw 195343 c lw 195344 c lw 195347 c lw 195349 c lw 195350 c lw 195352 c lw 195353 c lw 195354 c lw 195355 c lw 195356 c lw 195357 c lw 195358 c lw 195359 c lw 195360 c lw 195361 c lw 195362 c lw 195364 c lw 195369 c lw 195370 c lw 195371 c lw 195372 c lw 195373 c lw 195374 c lw 195375 c lw 195376 c lw 195377 c lw 195378 c lw 195379 c lw 195380 c lw 195381 c lw 195382 c lw 195383 c lw 195384 c lw 195385 c lw 195386 c lw 195387 c lw 195388 c lw 195389 c lw 195390 c lw 195391 c lw 195392 c lw 195393 c lw 195394 c lw 195844 c lw 196068 c lw 196955 c lw 197071 c lw 197301 c lw 197681 c lw 198120 c lw 198342 c lw 198525 c lw 198566 c lw 198598 c lw 198832 c lw 199080 c lw 200442 c lw 200550 c lw 200571 c lw 200574 c lw 200921 c lw 201046 c lw 201293 c lw 201322 c lw 201323 c lw 201329 c lw 201332 c lw 201333 c lw 201334 c lw 201335 c lw 201336 c lw 201337 c lw 201338 c lw 201339 c lw 201341 c lw 201342 c lw 201343 c lw 201344 c lw 201345 c lw 201346 c lw 201347 c lw 201348 c lw 201349 c lw 201350 c lw 201351 c lw 201352 c lw 201353 c lw 201354 c lw 201355 c lw 201356 c lw 201357 c lw 201358 c lw 201359 c lw 201360