| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | SAT | 15.6107 | 15.6148 |
| Name | TravellingSalesman/TravellingSalesman-xcsp2-s20/ TravellingSalesman-20-142_X2.xml |
| MD5SUM | d56953f82a267c4c8ee700c959d37f45 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 6.3958201 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 61 |
| Number of constraints | 230 |
| Number of domains | 5 |
| Minimum domain size | 1 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":20,"count":20},{"size":180,"count":19},{"size":1001,"count":20}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 20 |
| Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":39},{"degree":20,"count":20}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":2,"count":210},{"arity":3,"count":20}] |
| Number of extensional constraints | 230 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":230}] |
| Optimization problem | NO |
| Type of objective |
0.69/0.78 c SAT : Variables: 23842 -- Clauses: 10319949 0.69/0.79 c root propagations : 21258 0.69/0.79 c restarts enabled, print stats at every restarts 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c This is cosoco 1.12 -- 0.69/0.79 c 0.69/0.79 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266463-1502586138.xml 0.69/0.79 c ========================================[ Problem Statistics ]=========================================== 0.69/0.79 c | 0.69/0.79 c | Parse time : 0.67 s 0.69/0.79 c | 0.69/0.79 c | Variables: 61 0.69/0.79 c | Domain Sizes: 1..1001 0.69/0.79 c | 0.69/0.79 c | Constraints: 230 0.69/0.79 c | Arity: 2..3 -- Binary: 210 -- Ternary: 20 0.69/0.79 c | 0.69/0.79 c | Types: 0.69/0.79 c | Extension: 230 (nb tuples: 1..16290) -- (shared: 206) 0.69/0.79 c | 0.69/0.79 c ========================================================================================================= 0.69/0.79 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.79/0.80 c 10 63 6207 26511 59 10 26 40 29 0.79/0.80 c 20 117 10326 32340 59 11 1 42 32 0.79/0.81 c 30 186 22366 40349 59 12 3 35 13 0.79/0.81 c 40 221 27085 43528 59 20 14 20 14 0.79/0.82 c 50 265 29547 46134 59 28 32 35 29 0.79/0.82 c 60 275 31334 61172 59 37 1 1 0 0.79/0.83 c 70 289 36598 77245 59 46 1 2 1 0.79/0.83 c 80 345 44689 87032 59 53 2 37 17 0.79/0.84 c 90 380 47086 101076 59 62 1 26 3 0.79/0.84 c 100 432 52001 105852 59 70 3 38 25 0.79/0.84 c 101 433 52615 107621 59 70 1 1 0 0.79/0.85 c 110 484 59963 116088 59 75 1 35 13 0.79/0.85 c 120 525 62191 119178 59 85 28 31 25 0.79/0.85 c 130 560 63840 121804 59 93 24 26 22 0.79/0.85 c 140 590 68839 126774 59 98 4 12 5 0.79/0.86 c 150 630 72321 129818 59 103 25 30 25 0.79/0.86 c 160 676 78433 134806 59 108 2 30 16 0.79/0.86 c 170 711 81280 138364 59 116 22 24 20 0.79/0.86 c 180 760 89327 144425 59 119 4 19 7 0.79/0.87 c 190 801 92115 148967 59 128 1 29 22 0.79/0.87 c 200 845 104143 162897 59 134 1 8 5 0.79/0.87 c 210 885 107932 168553 59 144 26 31 24 0.79/0.88 c 211 890 109330 170507 59 144 5 5 2 0.79/0.88 c 220 926 112841 174545 59 152 25 28 22 0.79/0.88 c 230 978 119205 180172 59 156 2 30 19 0.79/0.89 c 240 1036 126106 185980 59 160 4 33 17 0.79/0.89 c 250 1088 130825 189828 59 162 25 33 26 0.79/0.89 c 260 1142 137379 196033 59 165 2 34 25 0.89/0.90 c 270 1192 143438 201350 59 173 2 32 18 0.89/0.90 c 280 1236 148592 205972 59 180 6 28 20 0.89/0.90 c 290 1281 153810 210560 59 186 6 29 20 0.89/0.91 c 300 1364 165186 221412 59 191 1 25 15 0.89/0.91 c 310 1410 168029 224917 59 199 29 36 28 0.89/0.91 c 320 1448 174622 231892 59 205 1 24 16 0.89/0.92 c 330 1501 180557 236732 59 209 29 32 27 0.89/0.92 c 332 1524 185087 239875 59 210 20 20 13 0.89/0.92 c 340 1563 190658 245263 59 214 20 25 21 0.89/0.92 c 350 1603 192419 247466 59 223 30 31 27 0.89/0.93 c 360 1658 200777 254507 59 229 2 28 14 0.89/0.93 c 370 1692 203055 257006 59 238 3 25 18 0.89/0.93 c 380 1741 210377 263233 59 242 4 27 17 0.89/0.94 c 390 1793 217180 268853 59 243 19 24 19 0.89/0.94 c 400 1826 221180 271553 59 251 22 24 20 0.89/0.94 c 410 1868 224428 275341 59 256 26 30 24 0.89/0.95 c 420 1916 231737 281078 59 263 6 28 16 0.89/0.95 c 430 1957 236673 285557 59 270 23 26 22 0.89/0.95 c 440 1991 240359 288707 59 276 2 25 15 0.89/0.95 c 450 2021 243730 291214 59 285 19 21 17 0.89/0.95 c 460 2056 245816 293562 59 295 22 25 20 0.89/0.96 c 465 2111 251176 297838 59 296 6 23 13 0.89/0.96 c 470 2136 253892 299492 59 301 19 21 16 0.89/0.96 c 480 2167 255658 301714 59 310 20 22 18 0.89/0.97 c 490 2245 263443 310797 59 317 2 24 15 0.89/0.97 c 500 2301 270877 316748 59 320 4 30 15 0.89/0.97 c 510 2335 272467 319093 59 328 23 25 21 0.89/0.98 c 520 2389 282196 326510 59 330 6 26 13 0.89/0.98 c 530 2435 285819 330482 59 337 26 30 24 0.89/0.98 c 540 2463 292207 334909 59 339 6 9 6 0.89/0.98 c 550 2508 298996 340728 59 341 21 26 22 0.89/0.98 c 560 2546 300921 343178 59 349 27 29 25 0.89/0.99 c 570 2584 307071 347906 59 356 6 21 13 0.89/0.99 c 580 2623 311900 351813 59 361 21 25 20 0.89/0.99 c 590 2684 319390 357777 59 362 20 24 20 0.89/1.00 c 600 2724 322645 361085 59 371 22 27 21 0.89/1.00 c 610 2757 324233 363395 59 379 22 24 20 0.89/1.00 c 611 2763 325657 365232 59 380 6 6 3 0.89/1.00 c 620 2799 328796 369568 59 388 2 25 19 0.89/1.00 c 630 2830 335326 374042 59 393 4 11 6 0.89/1.00 c 640 2862 338898 378340 59 402 20 23 18 1.00/1.01 c 650 2900 342135 381597 59 410 2 18 4 1.00/1.01 c 660 2941 351457 389951 59 413 21 25 20 1.00/1.01 c 670 2973 355432 392532 59 421 22 23 20 1.00/1.02 c 680 3008 359766 396766 59 428 18 21 18 1.00/1.02 c 690 3045 366150 402357 59 434 2 21 14 1.00/1.02 c 700 3076 368739 404963 59 444 20 22 18 1.00/1.02 c 710 3097 370939 407020 59 454 4 12 6 1.00/1.03 c 720 3130 376793 412153 59 457 18 22 16 1.00/1.03 c 730 3164 380895 415014 59 466 16 22 15 1.00/1.03 c 740 3192 383029 417318 59 475 18 19 16 1.00/1.03 c 750 3230 385936 420392 59 483 2 27 16 1.00/1.04 c 760 3282 395500 427973 59 488 9 24 16 1.00/1.04 c 770 3351 402141 433947 59 490 11 25 20 1.00/1.04 c 771 3366 404405 435246 59 491 15 15 7 1.00/1.04 c 780 3397 407398 437783 59 500 19 22 18 1.00/1.05 c 790 3428 409100 439779 59 509 19 22 17 1.00/1.05 c 800 3463 412820 442651 59 518 23 25 21 1.00/1.05 c 810 3503 417346 446013 59 520 2 20 7 1.00/1.05 c 820 3536 419582 448114 59 529 18 24 20 1.00/1.05 c 830 3569 421703 450584 59 537 22 24 20 1.00/1.05 c 840 3602 427603 454911 59 540 6 10 7 1.00/1.05 c 850 3633 431284 457973 59 549 3 22 6 1.00/1.06 c 860 3657 435613 460905 59 557 4 10 7 1.00/1.06 c 870 3700 440969 464578 59 564 22 29 22 1.00/1.06 c 880 3749 444916 467918 59 567 20 22 18 1.00/1.06 c 890 3778 448528 470116 59 576 18 20 16 1.00/1.06 c 900 3813 450622 472395 59 585 19 26 21 1.00/1.07 c 910 3846 453987 474978 59 593 22 24 20 1.00/1.07 c 920 3864 456205 477090 59 603 5 9 7 1.00/1.07 c 930 3900 460444 480905 59 612 22 27 22 1.00/1.07 c 940 3958 466025 485243 59 618 7 27 20 1.00/1.08 c 947 4012 472545 490254 59 622 22 27 20 1.00/1.08 c 950 4033 474430 492621 59 625 19 19 14 1.00/1.08 c 960 4067 476502 495412 59 634 22 24 20 1.00/1.08 c 970 4109 481901 500047 59 641 8 24 18 1.00/1.08 c 980 4143 483777 502910 59 650 22 25 20 1.00/1.09 c 990 4195 490946 509327 59 655 3 24 13 1.00/1.09 c 1000 4229 494614 512698 59 663 21 24 20 1.00/1.09 c 1010 4267 503351 519428 59 667 3 13 6 1.00/1.10 c 1020 4306 507991 522886 59 673 23 26 22 1.00/1.10 c 1030 4338 510359 525178 59 683 20 23 18 1.00/1.10 c 1040 4367 515778 529207 59 688 2 17 5 1.00/1.10 c 1050 4401 520705 533133 59 692 22 23 20 1.00/1.10 c 1060 4432 523079 535624 59 702 20 21 18 1.10/1.11 c 1070 4481 527038 538408 59 712 18 24 20 1.10/1.11 c 1080 4509 532187 541837 59 718 4 12 7 1.10/1.11 c 1090 4543 536045 547265 59 727 19 24 18 1.10/1.11 c 1100 4575 538614 550165 59 736 21 23 19 1.10/1.12 c 1110 4619 544894 554875 59 738 6 24 10 1.10/1.12 c 1120 4653 548767 557955 59 742 21 23 19 1.10/1.12 c 1130 4702 554390 563164 59 745 4 25 12 1.10/1.12 c 1140 4738 558492 566540 59 745 20 23 18 1.10/1.12 c 1141 4762 562083 568727 59 746 24 24 12 1.10/1.13 c 1150 4799 565063 571694 59 754 20 27 21 1.10/1.13 c 1160 4820 569479 576081 59 761 3 10 7 1.10/1.13 c 1170 4866 576434 581458 59 767 20 29 21 1.10/1.13 c 1180 4900 578234 584266 59 777 21 25 19 1.10/1.13 c 1190 4927 583470 587754 59 780 9 12 8 1.10/1.14 c 1200 4961 588114 593538 59 788 18 25 17 1.10/1.14 c 1210 4984 592816 596990 59 790 5 9 7 1.10/1.14 c 1220 5026 596972 600156 59 794 4 27 19 1.10/1.14 c 1230 5051 599644 601872 59 804 12 16 11 1.10/1.15 c 1240 5090 605449 606742 59 812 18 23 18 1.10/1.15 c 1250 5162 615556 614699 59 816 7 25 17 1.10/1.15 c 1260 5185 618108 617191 59 826 6 14 8 1.10/1.15 c 1270 5216 621020 619741 59 834 16 22 18 1.10/1.15 c 1280 5248 622603 621744 59 844 20 23 18 1.10/1.16 c 1290 5284 625650 624379 59 854 2 27 18 1.10/1.16 c 1300 5326 635191 632944 59 856 4 22 15 1.10/1.16 conflict 41lvl : 22 bt22-7411:0(1768)X41341002 1.10/1.16 c 1310 5365 639654 636908 59 857 19 24 18 1.10/1.17 conflict 67lvl : 24 bt24-223:0(1864)X41341067 1.10/1.17 c 1320 5401 643773 641110 59 868 22 24 20 1.10/1.17 c 1330 5440 647599 644251 59 870 21 25 21 1.10/1.17 c 1340 5501 657581 650983 59 875 4 17 8 1.10/1.17 c 1350 5539 660934 654310 59 879 20 25 19 1.10/1.17 c 1352 5544 661831 656065 59 881 4 4 2 1.10/1.18 c 1360 5599 667636 662269 59 882 17 23 17 1.10/1.18 c 1370 5631 671332 665033 59 892 9 14 9 1.10/1.18 c 1380 5658 673166 666711 59 902 17 18 15 1.10/1.18 c 1390 5702 676904 670227 59 910 20 24 19 1.10/1.18 c 1400 5734 679609 672739 59 918 21 23 19 1.10/1.19 c 1410 5789 689122 679408 59 926 4 17 8 1.10/1.19 c 1420 5818 690927 681430 59 936 19 20 17 1.10/1.19 c 1430 5839 693086 683370 59 946 7 12 6 1.10/1.19 c 1440 5866 695039 685075 59 956 17 18 15 1.10/1.19 c 1450 5894 696510 687026 59 966 18 19 16 1.10/1.19 c 1460 5931 700559 690438 59 970 5 23 15 1.10/1.19 c 1470 5963 704044 693898 59 976 21 23 19 1.19/1.20 c 1480 6013 708370 698362 59 984 7 27 19 1.19/1.20 c 1490 6036 712425 701499 59 990 6 13 8 1.19/1.20 c 1500 6071 719162 706452 59 991 19 23 19 1.19/1.21 c 1510 6114 726644 712557 59 996 18 26 19 1.19/1.21 c 1520 6153 729821 715428 59 1003 20 26 20 1.19/1.21 c 1530 6196 734499 718509 59 1006 7 25 18 1.19/1.21 c 1540 6229 736995 721242 59 1013 19 23 18 1.19/1.21 c 1550 6270 741046 726930 59 1022 14 19 14 1.19/1.22 c 1560 6312 744513 730349 59 1031 20 26 22 1.19/1.22 c 1570 6344 749445 733560 59 1034 4 11 5 1.19/1.22 c 1580 6376 753098 736399 59 1038 4 23 14 1.19/1.22 c 1585 6409 759080 741186 59 1042 20 20 16 1.19/1.22 c 1590 6438 760611 743293 59 1046 23 25 19 1.19/1.23 c 1600 6459 764811 746338 59 1049 4 11 7 1.19/1.23 c 1610 6492 769410 750545 59 1055 20 24 19 1.19/1.23 c 1620 6532 772235 753403 59 1064 23 27 22 1.19/1.23 c 1630 6560 777327 757666 59 1069 6 14 10 1.19/1.24 c 1640 6601 781662 761332 59 1074 20 26 20 1.19/1.24 c 1650 6631 784792 763747 59 1084 7 12 7 1.19/1.24 c 1660 6676 791592 769733 59 1087 21 28 20 1.19/1.24 c 1670 6710 797202 773365 59 1093 6 14 7 1.19/1.24 c 1680 6752 801796 777941 59 1100 19 27 19 1.19/1.25 c 1690 6786 803606 780155 59 1109 23 25 21 1.19/1.25 c 1700 6827 810541 785313 59 1112 5 20 11 1.19/1.25 c 1710 6875 816073 790476 59 1114 20 25 20 1.19/1.25 c 1720 6911 820643 793979 59 1122 21 24 19 1.19/1.26 c 1730 6949 825848 798645 59 1126 3 24 18 1.19/1.26 c 1740 6986 829234 801988 59 1136 21 25 20 1.19/1.26 c 1750 7017 834563 805741 59 1139 5 15 8 1.19/1.27 c 1760 7078 843608 813670 59 1141 21 27 21 1.19/1.27 c 1770 7109 845940 816485 59 1150 21 22 19 1.19/1.27 c 1780 7132 849055 819844 59 1160 4 14 6 1.19/1.27 c 1790 7167 852666 823782 59 1168 21 24 20 1.19/1.27 c 1800 7233 857381 828028 59 1175 6 21 12 1.19/1.27 c 1810 7256 860096 830368 59 1185 9 14 8 1.19/1.27 c 1820 7288 863507 834798 59 1193 19 23 18 1.19/1.28 c 1830 7331 867005 837150 59 1202 5 23 7 1.19/1.28 c 1840 7389 876875 843889 59 1205 4 14 8 1.19/1.28 c 1841 7390 877067 845208 59 1205 1 1 0 1.19/1.28 c 1850 7423 880093 850748 59 1210 1 23 14 1.19/1.28 c 1860 7457 883399 853436 59 1210 12 25 20 1.19/1.29 c 1870 7484 887343 856580 59 1218 14 17 13 1.19/1.29 c 1880 7538 893029 861838 59 1223 19 24 19 1.19/1.29 c 1890 7574 897143 864859 59 1233 2 25 17 1.19/1.29 c 1900 7599 901260 867975 59 1243 4 13 9 1.19/1.30 c 1910 7634 905920 872189 59 1251 17 22 18 1.29/1.30 c 1920 7698 915230 881245 59 1253 14 22 17 1.29/1.30 c 1930 7741 919737 885508 59 1259 19 24 19 1.29/1.31 c 1940 7795 925263 889220 59 1265 20 25 20 1.29/1.31 c 1950 7817 928956 892061 59 1270 5 13 9 1.29/1.31 c 1960 7849 932115 895469 59 1279 21 23 19 1.29/1.31 c 1970 7900 937903 899339 59 1285 8 25 18 1.29/1.31 c 1980 7929 941457 902327 59 1294 14 19 13 1.29/1.32 c 1990 7963 945211 905927 59 1302 18 23 17 1.29/1.32 c 2000 8038 954000 913408 59 1304 1 24 17 1.29/1.32 c 2010 8106 963088 918245 59 1309 6 23 11 1.29/1.32 c 2020 8138 966121 920875 59 1319 20 22 19 1.29/1.33 c 2030 8191 973422 927267 59 1327 17 20 16 1.29/1.33 c 2040 8219 975064 929904 59 1336 16 19 15 1.29/1.33 c 2050 8240 977575 933011 59 1346 2 12 4 1.29/1.33 c 2060 8265 979406 934562 59 1356 15 16 13 1.29/1.33 c 2070 8304 982233 937440 59 1363 17 23 17 1.29/1.34 c 2080 8361 989603 942505 59 1364 5 25 15 1.29/1.34 c 2090 8382 992146 944701 59 1374 7 12 6 1.29/1.34 c 2100 8410 994963 947013 59 1383 18 19 16 1.29/1.34 c 2110 8462 999968 950710 59 1388 21 24 20 1.29/1.35 c 2120 8498 1007132 955127 59 1388 5 14 7 1.29/1.35 c 2122 8520 1009661 957352 59 1390 12 16 9 1.29/1.35 c 2130 8548 1012716 960413 59 1398 18 21 16 1.29/1.35 c 2140 8589 1017615 964127 59 1404 11 26 20 1.29/1.36 c 2150 8634 1024072 969449 59 1410 7 21 12 1.29/1.36 c 2160 8660 1025580 972556 59 1420 15 17 13 1.29/1.36 c 2170 8714 1030827 976265 59 1428 5 26 19 1.29/1.36 c 2180 8761 1037515 980323 59 1434 3 24 10 1.29/1.36 c 2190 8802 1042494 984549 59 1440 22 29 21 1.29/1.36 c 2200 8823 1045927 987399 59 1450 4 10 4 1.29/1.37 c 2210 8855 1049002 990754 59 1460 20 22 18 1.29/1.37 c 2220 8895 1052902 993747 59 1466 6 22 12 1.29/1.37 c 2230 8932 1056055 996509 59 1472 21 25 20 1.29/1.37 c 2240 9021 1065463 1001982 59 1478 2 28 17 1.29/1.38 c 2250 9044 1068318 1004297 59 1488 5 14 8 1.29/1.38 c 2260 9084 1071985 1007247 59 1494 21 27 21 1.29/1.38 c 2270 9120 1076482 1011067 59 1504 6 15 7 1.29/1.38 c 2280 9153 1079059 1013301 59 1513 22 24 20 1.29/1.38 c 2290 9180 1081758 1015972 59 1523 6 15 7 1.29/1.38 c 2300 9221 1086686 1019998 59 1527 20 28 20 1.29/1.39 c 2310 9261 1091226 1023410 59 1533 5 25 19 1.29/1.39 c 2320 9341 1100239 1028628 59 1536 5 25 16 1.29/1.39 c 2330 9374 1104497 1031513 59 1547 21 22 19 1.29/1.39 c 2340 9398 1107456 1034260 59 1557 5 15 8 1.29/1.39 c 2350 9431 1110736 1036816 59 1564 18 23 17 1.39/1.40 c 2360 9472 1117075 1042432 59 1569 7 25 18 1.39/1.40 c 2370 9528 1124310 1048618 59 1572 8 24 17 1.39/1.40 c 2380 9559 1129092 1052901 59 1581 6 17 6 1.39/1.41 c 2390 9590 1131058 1055143 59 1590 20 22 18 1.39/1.41 c 2400 9627 1136338 1058523 59 1591 9 27 15 1.39/1.41 c 2410 9659 1141020 1061938 59 1599 17 21 16 1.39/1.41 c 2420 9692 1143263 1064382 59 1607 21 24 19 1.39/1.41 c 2430 9736 1149019 1067857 59 1616 6 23 9 1.39/1.42 c 2431 9759 1151758 1069770 59 1617 23 23 11 1.39/1.42 c 2440 9798 1156333 1073216 59 1621 11 25 19 1.39/1.42 c 2450 9824 1158978 1074962 59 1630 15 17 14 1.39/1.42 c 2460 9862 1163156 1078918 59 1637 19 23 18 1.39/1.43 c 2470 9911 1168748 1083855 59 1643 18 23 17 1.39/1.43 c 2480 9962 1176099 1088262 59 1648 6 23 9 1.39/1.43 c 2490 9994 1179025 1090204 59 1658 22 23 20 1.39/1.43 c 2500 10050 1184681 1093719 59 1663 6 26 17 1.39/1.43 c 2510 10073 1187301 1095929 59 1673 5 14 8 1.39/1.44 c 2520 10102 1189613 1098038 59 1684 18 19 16 1.39/1.44 c 2530 10137 1192628 1100238 59 1693 21 25 19 1.39/1.44 c 2540 10165 1196311 1104173 59 1703 14 16 12 1.39/1.44 c 2550 10191 1197694 1105886 59 1712 16 17 14 1.39/1.44 c 2560 10226 1201571 1112636 59 1720 1 25 13 1.39/1.44 c 2570 10259 1205495 1116325 59 1730 6 14 6 1.39/1.45 c 2580 10296 1209408 1119764 59 1740 19 25 20 1.39/1.45 c 2590 10341 1215074 1123349 59 1746 8 23 11 1.39/1.45 c 2600 10378 1219713 1126969 59 1753 19 24 20 1.39/1.45 c 2610 10404 1222445 1129439 59 1762 9 17 9 1.39/1.45 c 2620 10435 1224118 1132326 59 1772 20 22 18 1.39/1.45 c 2630 10458 1227647 1135901 59 1781 2 14 3 1.39/1.46 c 2640 10496 1231510 1139006 59 1789 19 26 20 1.39/1.46 c 2650 10529 1236596 1142389 59 1797 6 15 8 1.39/1.46 c 2660 10560 1239345 1144785 59 1805 20 22 18 1.39/1.46 c 2670 10596 1242647 1148402 59 1811 17 23 17 1.39/1.46 c 2680 10638 1247345 1151985 59 1817 21 27 21 1.39/1.47 c 2690 10668 1251224 1154957 59 1827 6 14 9 1.39/1.47 c 2700 10707 1254270 1157675 59 1837 20 28 21 1.39/1.47 c 2710 10739 1261350 1163286 59 1840 3 14 5 1.39/1.47 c 2720 10775 1264021 1166700 59 1850 19 27 18 1.39/1.47 c 2730 10797 1267450 1169478 59 1855 5 13 9 1.39/1.47 c 2740 10831 1270901 1172258 59 1862 19 24 18 1.39/1.48 c 2750 10881 1280577 1180356 59 1864 3 20 6 1.39/1.48 c 2760 10914 1283565 1182376 59 1874 23 24 21 1.39/1.48 c 2770 10934 1286252 1185572 59 1884 2 11 4 1.39/1.48 c 2771 10951 1288169 1187212 59 1885 17 17 8 1.39/1.49 c 2780 10979 1290312 1190212 59 1892 17 20 15 1.39/1.49 c 2790 11027 1296978 1194610 59 1901 6 17 10 1.39/1.49 c 2800 11057 1300522 1197989 59 1909 15 17 14 1.39/1.49 c 2810 11093 1304064 1200899 59 1916 7 27 18 1.39/1.49 c 2820 11121 1309845 1206050 59 1920 4 13 9 1.49/1.50 c 2830 11147 1313296 1208532 59 1930 12 16 11 1.49/1.50 c 2840 11176 1315292 1211071 59 1939 17 20 15 1.49/1.50 c 2850 11210 1318163 1213417 59 1947 23 25 21 1.49/1.50 c 2860 11235 1321286 1216274 59 1957 8 16 8 1.49/1.50 c 2870 11271 1324890 1220056 59 1964 14 22 15 1.49/1.50 c 2880 11301 1327421 1222228 59 1973 19 21 17 1.49/1.50 c 2890 11326 1331900 1225413 59 1974 5 13 9 1.49/1.51 c 2900 11369 1337865 1229318 59 1976 21 27 22 1.49/1.51 c 2910 11406 1341659 1232210 59 1986 4 18 9 1.49/1.51 c 2920 11437 1344020 1234232 59 1996 20 22 18 1.49/1.51 c 2930 11458 1345912 1236345 59 2006 8 12 7 1.49/1.51 c 2940 11487 1348367 1238573 59 2014 18 20 16 1.49/1.52 c 2950 11554 1355921 1242768 59 2018 20 24 19 1.49/1.52 c 2960 11613 1363001 1247991 59 2021 13 25 20 1.49/1.52 c 2970 11649 1367068 1250756 59 2027 9 24 13 1.49/1.52 c 2980 11691 1370885 1253675 59 2036 17 26 20 1.49/1.53 c 2990 11732 1375329 1256507 59 2045 12 24 13 1.49/1.53 c 3000 11763 1378305 1259417 59 2053 18 22 17 1.49/1.53 c 3010 11782 1380119 1261260 59 2063 6 10 5 1.49/1.53 c 3020 11813 1383304 1263830 59 2073 18 20 16 1.49/1.53 c 3030 11849 1387628 1268826 59 2078 21 23 19 1.49/1.53 c 3040 11890 1393047 1272695 59 2082 6 26 20 1.49/1.54 c 3050 11932 1397200 1275782 59 2090 7 26 21 1.49/1.54 c 3060 11973 1404250 1281091 59 2093 6 18 10 1.49/1.54 c 3070 12018 1409254 1285521 59 2099 18 26 20 1.49/1.54 c 3080 12047 1413955 1288837 59 2104 8 13 10 1.49/1.55 c 3090 12085 1419323 1293291 59 2105 17 21 17 1.49/1.55 c 3100 12116 1423811 1296281 59 2114 14 18 13 1.49/1.55 c 3110 12148 1425964 1298491 59 2122 20 23 18 1.49/1.55 c 3120 12236 1435060 1303461 59 2127 7 28 19 1.49/1.56 c 3130 12270 1440117 1307805 59 2136 13 20 12 1.49/1.56 c 3140 12315 1444866 1311816 59 2139 20 26 22 1.49/1.56 c 3142 12324 1446456 1313861 59 2141 5 8 4 1.49/1.56 c 3150 12353 1448342 1315860 59 2149 20 22 18 1.49/1.56 c 3160 12402 1455183 1319779 59 2156 6 18 11 1.49/1.56 c 3170 12436 1459479 1323997 59 2159 20 22 19 1.49/1.57 c 3180 12469 1463688 1327372 59 2168 20 23 18 1.49/1.57 c 3190 12508 1467252 1330100 59 2176 24 28 22 1.49/1.57 c 3200 12533 1471150 1333350 59 2184 12 16 12 1.49/1.57 c 3210 12566 1473249 1335625 59 2192 21 24 19 1.49/1.57 c 3220 12593 1477196 1339922 59 2201 2 17 3 1.49/1.58 c 3230 12628 1481974 1344222 59 2206 20 22 19 1.49/1.58 c 3240 12659 1484093 1347629 59 2215 20 22 18 1.49/1.58 c 3250 12687 1487794 1350890 59 2225 4 16 7 1.49/1.58 c 3260 12718 1489509 1352977 59 2235 20 22 18 1.49/1.58 c 3270 12781 1495950 1357100 59 2237 23 28 23 1.49/1.58 c 3280 12807 1499371 1359047 59 2247 12 14 11 1.49/1.59 c 3290 12836 1501883 1361318 59 2255 18 20 16 1.49/1.59 c 3300 12891 1511145 1367674 59 2257 10 21 16 1.49/1.59 c 3310 12931 1515990 1372072 59 2263 18 24 19 1.49/1.59 c 3320 12970 1519853 1375200 59 2265 8 27 20 1.59/1.60 c 3330 13008 1529239 1382258 59 2269 10 20 13 1.59/1.60 c 3340 13036 1531270 1385561 59 2277 16 19 15 1.59/1.60 c 3350 13071 1534695 1388175 59 2284 6 24 16 1.59/1.61 c 3360 13095 1537576 1390711 59 2295 10 14 9 1.59/1.61 c 3370 13129 1541986 1394602 59 2299 15 21 15 1.59/1.61 c 3380 13171 1547674 1399104 59 2306 8 22 15 1.59/1.61 c 3390 13201 1550549 1401710 59 2316 6 12 6 1.59/1.62 c 3400 13238 1556622 1406602 59 2322 15 22 16 1.59/1.62 c 3410 13277 1561547 1409843 59 2333 6 26 15 1.59/1.62 c 3420 13313 1569029 1414616 59 2333 3 11 7 1.59/1.62 c 3430 13360 1576329 1421442 59 2339 16 24 17 1.59/1.63 c 3440 13402 1581352 1424894 59 2346 24 27 23 1.59/1.63 c 3450 13425 1583675 1427361 59 2355 8 14 8 1.59/1.63 c 3460 13455 1586336 1431264 59 2365 15 21 14 1.59/1.63 c 3470 13492 1590526 1434259 59 2374 4 19 6 1.59/1.63 c 3480 13531 1595442 1438084 59 2384 15 22 15 1.59/1.63 c 3490 13567 1597582 1440289 59 2393 21 27 19 1.59/1.64 c 3500 13594 1603187 1444173 59 2401 6 11 7 1.59/1.64 c 3510 13633 1608411 1447902 59 2408 18 26 19 1.59/1.64 c 3520 13654 1610355 1450001 59 2418 8 12 7 1.59/1.64 c 3530 13691 1615834 1454224 59 2428 14 19 14 1.59/1.64 c 3540 13743 1621050 1457777 59 2434 8 25 18 1.59/1.64 c 3550 13766 1623307 1460093 59 2444 10 14 9 1.59/1.65 c 3551 13786 1625432 1461980 59 2445 20 20 10 1.59/1.65 c 3560 13844 1632721 1466860 59 2446 8 26 20 1.59/1.65 c 3570 13884 1636930 1470162 59 2454 21 25 20 1.59/1.65 c 3580 13921 1641485 1474025 59 2462 9 15 12 1.59/1.66 c 3590 13955 1646134 1478027 59 2464 21 22 19 1.59/1.66 c 3600 13985 1650287 1480654 59 2471 13 19 13 1.59/1.66 c 3610 14018 1652935 1483389 59 2479 20 23 18 1.59/1.66 c 3620 14076 1658728 1487003 59 2485 5 26 20 1.59/1.67 c 3630 14128 1668645 1493471 59 2486 4 21 9 1.59/1.67 c 3640 14155 1672461 1496364 59 2493 14 17 13 1.59/1.67 c 3650 14188 1675934 1499422 59 2501 18 22 17 1.59/1.67 c 3660 14227 1679179 1502259 59 2508 24 28 22 1.59/1.68 c 3670 14263 1688008 1508844 59 2512 7 11 8 1.59/1.68 c 3680 14305 1693338 1512153 59 2520 5 21 10 1.59/1.68 c 3690 14347 1698302 1516589 59 2528 15 23 17 1.59/1.68 c 3700 14403 1705869 1521096 59 2534 7 26 13 1.59/1.69 c 3710 14443 1712518 1526176 59 2538 18 23 18 1.59/1.69 c 3720 14475 1715337 1528837 59 2544 19 23 19 1.59/1.69 c 3730 14524 1721199 1532458 59 2552 6 26 16 1.59/1.69 c 3740 14564 1726137 1536981 59 2555 20 27 19 1.59/1.69 c 3750 14601 1729426 1540459 59 2565 18 23 17 1.59/1.69 c 3760 14636 1732095 1542895 59 2572 22 26 22 1.69/1.70 c 3770 14665 1737675 1546636 59 2577 6 11 7 1.69/1.70 c 3780 14695 1740887 1549102 59 2586 17 20 16 1.69/1.70 c 3790 14733 1746028 1553385 59 2587 19 26 18 1.69/1.70 c 3800 14765 1750009 1557434 59 2595 18 23 17 1.69/1.71 c 3810 14822 1755800 1561418 59 2597 22 26 22 1.69/1.71 c 3820 14845 1758759 1564066 59 2607 10 14 9 1.69/1.71 c 3830 14878 1762564 1567987 59 2613 16 22 16 1.69/1.71 c 3840 14924 1767326 1571196 59 2620 10 25 17 1.69/1.72 c 3850 14970 1777253 1578907 59 2624 4 20 11 1.69/1.72 c 3860 14997 1779068 1582148 59 2633 16 18 14 1.69/1.72 c 3870 15044 1784220 1585927 59 2635 24 28 23 1.69/1.72 c 3880 15078 1788844 1589298 59 2643 16 23 15 1.69/1.72 c 3890 15106 1790965 1591823 59 2651 17 19 16 1.69/1.72 c 3900 15144 1795394 1595066 59 2659 6 22 11 1.69/1.73 c 3910 15174 1801224 1599422 59 2665 15 18 14 1.69/1.73 c 3920 15214 1805949 1603615 59 2671 19 24 19 1.69/1.73 c 3930 15232 1807811 1605528 59 2681 6 9 5 1.69/1.73 c 3940 15260 1810091 1608759 59 2691 16 18 14 1.69/1.74 c 3950 15310 1816087 1613716 59 2699 13 25 17 1.69/1.74 c 3960 15331 1819789 1616582 59 2707 8 10 7 1.69/1.74 c 3970 15373 1825290 1620747 59 2710 23 27 22 1.69/1.74 c 3980 15420 1830943 1624336 59 2712 9 25 18 1.69/1.74 c 3990 15469 1836363 1629380 59 2719 6 25 9 1.69/1.75 c 4000 15511 1842821 1632799 59 2725 11 19 11 1.69/1.75 c 4001 15533 1845044 1634608 59 2726 22 22 11 1.69/1.75 c 4010 15568 1849191 1637224 59 2734 8 26 20 1.69/1.75 c 4020 15593 1852759 1640249 59 2744 10 16 9 1.69/1.75 c 4030 15625 1854605 1642587 59 2754 21 23 19 1.69/1.75 c 4040 15689 1861535 1646819 59 2759 5 27 18 1.69/1.76 c 4050 15727 1866029 1651149 59 2768 20 25 18 1.69/1.76 c 4060 15746 1869537 1653933 59 2776 5 10 7 1.69/1.76 c 4070 15778 1873054 1656728 59 2784 19 22 17 1.69/1.76 c 4080 15831 1878134 1659746 59 2792 22 26 22 1.69/1.77 c 4090 15876 1886307 1666421 59 2795 9 22 17 1.69/1.77 c 4100 15913 1889921 1671578 59 2802 1 26 16 1.69/1.77 c 4110 15960 1895560 1675299 59 2806 10 26 17 1.69/1.77 c 4120 15990 1899054 1678595 59 2814 15 19 14 1.69/1.77 c 4130 16028 1903670 1682885 59 2818 20 26 19 1.69/1.78 c 4140 16060 1909297 1687579 59 2824 13 20 14 1.69/1.78 c 4150 16089 1911016 1689725 59 2834 17 20 15 1.69/1.78 c 4160 16128 1915166 1692606 59 2840 9 25 15 1.69/1.78 c 4170 16173 1921471 1697728 59 2845 16 26 17 1.69/1.78 c 4180 16190 1923752 1699586 59 2854 7 8 6 1.69/1.79 c 4190 16241 1931292 1705578 59 2859 15 24 18 1.69/1.79 c 4200 16278 1935495 1710091 59 2863 20 24 19 1.69/1.79 c 4210 16315 1939206 1712943 59 2870 8 26 19 1.69/1.79 c 4220 16343 1945921 1717509 59 2873 3 12 4 1.69/1.79 c 4230 16363 1947888 1719483 59 2883 9 11 8 1.79/1.80 c 4240 16397 1950796 1722681 59 2890 13 20 13 1.79/1.80 c 4250 16458 1961720 1731352 59 2892 14 23 15 1.79/1.80 c 4260 16492 1965705 1734721 59 2899 19 23 18 1.79/1.81 c 4270 16530 1971586 1739632 59 2902 18 21 18 1.79/1.81 c 4280 16571 1977942 1744935 59 2905 20 28 21 1.79/1.81 c 4290 16632 1985602 1751086 59 2906 20 29 23 1.79/1.82 c 4300 16671 1992359 1756808 59 2908 18 24 19 1.79/1.82 c 4310 16702 1995705 1760097 59 2917 20 22 18 1.79/1.82 c 4320 16720 1997141 1761884 59 2927 6 9 5 1.79/1.82 c 4330 16757 2003810 1767713 59 2930 14 21 15 1.79/1.82 c 4340 16791 2006455 1771290 59 2937 16 23 16 1.79/1.83 c 4350 16826 2010179 1773853 59 2938 9 25 9 1.79/1.83 c 4360 16850 2013461 1776057 59 2946 14 15 13 1.79/1.83 c 4370 16895 2020192 1781643 59 2951 17 23 18 1.79/1.83 c 4380 16973 2027869 1786284 59 2957 6 23 14 1.79/1.84 c 4390 17018 2035535 1791729 59 2961 16 23 16 1.79/1.84 c 4400 17072 2041443 1795466 59 2969 4 25 15 1.79/1.84 c 4410 17103 2046786 1799081 59 2978 7 14 9 1.79/1.84 c 4420 17132 2050388 1802890 59 2985 15 19 14 1.79/1.85 c 4430 17184 2056250 1806743 59 2990 6 24 18 1.79/1.85 c 4440 17219 2060112 1809691 59 2994 6 26 16 1.79/1.85 c 4450 17261 2066511 1817338 59 2997 20 23 20 1.79/1.85 c 4460 17290 2068447 1819303 59 3007 19 20 17 1.79/1.85 c 4470 17358 2075130 1823334 59 3010 9 24 16 1.79/1.86 c 4480 17401 2082809 1829471 59 3013 18 28 19 1.79/1.86 c 4490 17436 2087928 1833878 59 3020 17 19 17 1.79/1.86 c 4493 17472 2093823 1838539 59 3021 16 19 13 1.79/1.86 c 4500 17496 2096296 1841085 59 3025 17 18 15 1.79/1.87 c 4510 17548 2102165 1844701 59 3027 14 25 18 1.79/1.87 c 4520 17581 2105567 1846950 59 3035 15 24 18 1.79/1.87 c 4530 17608 2109526 1850326 59 3045 6 15 7 1.79/1.87 c 4540 17636 2111161 1852330 59 3055 17 19 15 1.79/1.87 c 4550 17682 2115778 1855551 59 3062 4 25 14 1.79/1.88 c 4560 17731 2124547 1862024 59 3068 13 21 15 1.79/1.88 c 4570 17759 2126404 1864015 59 3077 17 19 15 1.79/1.88 c 4580 17798 2131946 1868336 59 3078 22 26 21 1.79/1.88 c 4590 17839 2137981 1873308 59 3081 18 23 17 1.79/1.89 c 4600 17888 2143578 1877721 59 3089 19 22 18 1.79/1.89 c 4610 17928 2148579 1881452 59 3094 19 25 19 1.79/1.89 c 4620 17948 2150480 1883337 59 3104 8 11 7 1.79/1.89 c 4630 17972 2152276 1885806 59 3114 13 15 12 1.79/1.90 c 4640 18034 2160500 1892764 59 3115 18 24 19 1.89/1.90 c 4650 18064 2163397 1901013 59 3123 1 21 6 1.89/1.90 c 4660 18117 2167750 1904311 59 3125 22 26 20 1.89/1.90 c 4670 18139 2171439 1906958 59 3136 8 10 7 1.89/1.90 c 4680 18163 2173720 1908525 59 3146 14 15 12 1.89/1.90 c 4690 18191 2175980 1910861 59 3156 17 18 15 1.89/1.91 c 4700 18230 2180318 1913844 59 3158 6 27 19 1.89/1.91 c 4710 18261 2184926 1917121 59 3165 16 20 15 1.89/1.91 c 4720 18288 2186735 1919231 59 3175 14 18 13 1.89/1.91 conflict 32lvl : 20 bt19-21908:0(1842)X41382498 1.89/1.91 c 4730 18329 2192660 1923401 59 3177 19 26 19 1.89/1.91 c 4740 18368 2196309 1927650 59 3187 22 27 20 1.89/1.92 c 4750 18393 2200555 1931162 59 3197 8 12 7 1.89/1.92 c 4760 18436 2205751 1934906 59 3206 13 28 19 1.89/1.92 c 4770 18487 2211607 1939343 59 3207 11 23 14 1.89/1.92 c 4780 18520 2216497 1942742 59 3214 3 17 6 1.89/1.93 c 4790 18571 2222554 1948299 59 3219 16 26 19 1.89/1.93 c 4800 18601 2226041 1951154 59 3230 7 16 9 1.89/1.93 c 4810 18637 2228912 1953691 59 3238 20 26 19 1.89/1.93 c 4820 18659 2232024 1956165 59 3248 7 13 9 1.89/1.93 c 4830 18700 2237786 1960530 59 3255 17 28 17 1.89/1.94 c 4840 18744 2245406 1965189 59 3258 4 13 8 1.89/1.94 c 4850 18778 2249183 1969002 59 3269 21 23 19 1.89/1.94 c 4860 18818 2252973 1971892 59 3275 8 26 18 1.89/1.94 c 4870 18881 2259978 1976194 59 3276 12 27 17 1.89/1.95 c 4880 18914 2265465 1980285 59 3281 19 21 18 1.89/1.95 c 4890 18953 2268799 1983161 59 3291 19 24 19 1.89/1.95 c 4900 19010 2274893 1987143 59 3293 24 26 22 1.89/1.95 c 4910 19037 2278392 1989351 59 3301 17 18 15 1.89/1.95 c 4920 19065 2280370 1991513 59 3310 18 19 16 1.89/1.96 c 4930 19118 2285656 1995063 59 3310 14 22 18 1.89/1.96 c 4940 19152 2289944 1999015 59 3320 21 23 19 1.89/1.96 c 4950 19207 2295020 2002627 59 3326 7 25 19 1.89/1.96 c 4960 19227 2297682 2004925 59 3336 9 11 8 1.89/1.96 c 4970 19266 2301712 2008334 59 3346 17 25 19 1.89/1.97 c 4980 19324 2308874 2013313 59 3349 23 25 21 1.89/1.97 c 4990 19368 2313495 2016744 59 3353 10 25 20 1.89/1.97 c 5035 19450 2323281 2024231 59 3385 6 18 9 1.89/1.99 c 5631 20313 2390524 2092848 59 3395 15 29 21 2.00/2.02 c 6286 21203 2457303 2193946 59 3415 1 29 18 2.00/2.05 c 7006 22198 2522365 2315809 59 3486 6 26 16 2.00/2.08 c 7798 23425 2594186 2471297 59 3544 3 29 19 2.10/2.13 c 8669 24644 2689112 2692182 59 3638 2 29 16 2.10/2.16 c 9627 25849 2755602 2814012 59 3671 5 27 17 2.19/2.20 c 10680 27203 2819138 3010891 59 3706 12 31 17 2.19/2.24 c 11838 28840 2946223 3125779 59 3719 13 26 19 2.29/2.30 c 13111 30831 3096754 3358537 59 3828 4 29 16 2.29/2.30 conflict 26lvl : 3 bt3-21157:0(1232)X41393527 2.29/2.34 c 14511 32587 3179805 3555369 59 3940 9 27 14 2.29/2.39 c 16051 34646 3304241 3802471 59 4100 2 29 15 2.39/2.46 c 17745 36770 3474116 4017023 59 4165 10 26 15 2.49/2.55 c 19608 39383 3729944 4355951 59 4174 4 26 12 2.59/2.62 c 21657 41817 3849090 4687737 59 4289 9 26 14 2.59/2.68 c 23910 44693 3960747 5012135 59 4387 8 26 15 2.69/2.76 c 26388 48232 4163435 5400917 59 4496 2 27 14 2.79/2.84 c 29113 51805 4377885 5773114 59 4564 1 27 15 2.89/2.95 c 32110 55710 4675947 6115123 59 4570 7 27 16 3.00/3.06 c 35406 60237 4920314 6715019 59 4656 2 28 13 3.10/3.16 c 39031 64926 5141308 7251547 59 4750 2 26 14 3.19/3.28 c 43018 70492 5474210 7808506 59 4788 3 28 13 3.29/3.32 conflict 18lvl : 22 bt22-11431:0(1689)X41407577 3.39/3.40 c 47403 76263 5796691 8279965 59 4865 7 28 17 3.49/3.55 c 52226 82358 6065487 9072750 59 4978 4 28 13 3.69/3.71 c 57531 89201 6400975 9978574 59 5013 1 28 13 3.89/3.96 c 63366 98745 7207988 10673584 59 5026 2 30 16 4.10/4.18 c 69784 106886 7687339 11942289 59 5042 4 28 12 4.39/4.42 c 76843 115893 8321575 12818671 59 5102 7 27 15 4.69/4.72 c 84607 126104 8879241 14489140 59 5166 4 28 11 4.89/4.98 c 93147 136862 9528129 15571076 59 5257 6 28 14 5.19/5.27 c 102541 149230 10208642 16925790 59 5300 2 28 14 5.49/5.57 c 112874 162456 10926611 18450394 59 5333 6 27 13 5.89/5.91 c 124240 177718 11799345 20226610 59 5348 1 28 12 6.19/6.25 c 136742 193741 12868506 21378515 59 5382 7 28 17 6.69/6.72 c 150494 212935 14111635 23491588 59 5477 2 28 12 7.19/7.23 c 165621 231948 15225377 25641971 59 5551 1 28 12 7.69/7.70 c 182260 253315 16326446 27869717 59 5636 3 28 14 8.19/8.22 c 200562 277298 17664464 30402524 59 5697 5 28 13 8.89/8.94 c 220694 301282 19081489 33740127 59 5875 4 26 11 9.59/9.65 c 242839 329713 20687208 37208062 59 5997 4 28 12 10.39/10.47 c 267198 361103 22470714 41331968 59 6077 4 28 13 11.19/11.24 c 293992 394785 24207193 45524142 59 6132 2 28 12 12.19/12.21 c 323465 431798 26734411 49170314 59 6177 6 28 14 13.19/13.28 c 355885 473433 29261410 54770239 59 6250 4 28 11 14.49/14.53 c 391547 519897 32180186 60634187 59 6286 4 28 12 15.49/15.59 c solution 1 15.49/15.59 15.49/15.59 v <instantiation type='solution'> 15.49/15.59 v <list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list> 15.49/15.59 v <values>179 0 20 6 16 8 17 10 4 19 12 18 3 2 5 15 1 13 7 11 14 9 18 11 2 26 6 3 4 1 13 2 3 0 23 11 7 8 0 4 29 8 29 31 57 63 66 70 71 84 86 89 89 112 123 130 138 138 142 171 179 </values> 15.49/15.59 v </instantiation> 15.49/15.59 15.49/15.59 c restarts : 562 15.49/15.59 c conflicts : 425688 (27526 /sec) 15.49/15.59 c decisions : 567880 (36720 /sec) 15.49/15.59 c propagations : 66096407 (4273902 /sec) 15.49/15.59 c root propagations : 21258 15.49/15.59 c filter calls : 34920292 (2258003 /sec) 15.49/15.59 c useless filter calls : 27870701 (79 %) 15.49/15.59 c 15.49/15.59 c clauses : 10329954 15.49/15.59 c SAT propagations : 6316 15.49/15.59 c SAT conflicts : 70 (5 learnts) 15.49/15.59 c Memory used : 504.86 MB 15.49/15.59 c CPU time : 15.4651 s 15.49/15.59 15.49/15.59 s SATISFIABLE
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12363 MiB free)
memory of node 1: 16384 MiB (13650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266463-1502586138/watcher-4266463-1502586138 -o /tmp/evaluation-result-4266463-1502586138/solver-4266463-1502586138 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266463-1502586138.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27122, runsolver pid=27119
Current StackSize limit: 8192 KiB
[startup+0.100217 s]*
/proc/loadavg: 1.93 2.00 2.04 3/187 27123
/proc/meminfo: memFree=26618424/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=57336 memory=29212 CPUtime=0.09 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 7194 0 0 0 9 0 0 0 20 0 1 0 91685485 58712064 7303 33554432000 4194304 5972588 140729974577872 140729974574520 139875406371813 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 14334 7303 791 435 0 7697 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57336 KiB
Current children cumulated memory: 29212 KiB
[startup+0.209887 s]*
/proc/loadavg: 1.93 2.00 2.04 3/187 27123
/proc/meminfo: memFree=26550208/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=137500 memory=97924 CPUtime=0.21 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 19750 0 0 0 19 2 0 0 20 0 1 0 91685485 140800000 24481 33554432000 4194304 5972588 140729974577872 140729974574520 139875406377880 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 34375 24481 791 435 0 27738 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 137500 KiB
Current children cumulated memory: 97924 KiB
[startup+0.309795 s]*
/proc/loadavg: 1.93 2.00 2.04 3/187 27123
/proc/meminfo: memFree=26486696/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=212212 memory=161108 CPUtime=0.31 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 29428 0 0 0 27 4 0 0 20 0 1 0 91685485 217305088 40277 33554432000 4194304 5972588 140729974577872 140729974574520 139875406441003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 53053 40277 791 435 0 46416 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 212212 KiB
Current children cumulated memory: 161108 KiB
[startup+0.700436 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 27123
/proc/meminfo: memFree=26364380/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=492360 memory=393568 CPUtime=0.69 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 62541 0 0 0 59 10 0 0 20 0 1 0 91685485 504176640 98392 33554432000 4194304 5972588 140729974577872 140729974574520 139875406441003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 123090 98392 791 435 0 116453 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 492360 KiB
Current children cumulated memory: 393568 KiB
[startup+1.50035 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 27123
/proc/meminfo: memFree=26199628/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=516844 memory=441924 CPUtime=1.49 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 69007 0 0 0 138 11 0 0 20 0 1 0 91685485 529248256 110481 33554432000 4194304 5972588 140729974577872 140729974575176 5243350 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 129211 110481 793 435 0 122574 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 516844 KiB
Current children cumulated memory: 441924 KiB
[startup+3.1095 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 27123
/proc/meminfo: memFree=26199628/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=516844 memory=442252 CPUtime=3.1 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 71356 0 0 0 298 12 0 0 20 0 1 0 91685485 529248256 110563 33554432000 4194304 5972588 140729974577872 140729974575176 5094201 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 129211 110563 815 435 0 122574 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 516844 KiB
Current children cumulated memory: 442252 KiB
[startup+6.30033 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 27123
/proc/meminfo: memFree=26199408/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=516976 memory=442292 CPUtime=6.29 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 75547 0 0 0 617 12 0 0 20 0 1 0 91685485 529383424 110573 33554432000 4194304 5972588 140729974577872 140729974575176 5273280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 129244 110573 815 435 0 122607 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 516976 KiB
Current children cumulated memory: 442292 KiB
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 27123
/proc/meminfo: memFree=26198208/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=516976 memory=442336 CPUtime=12.69 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 78324 0 0 0 1257 12 0 0 20 0 1 0 91685485 529383424 110584 33554432000 4194304 5972588 140729974577872 140729974575176 4935463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 129244 110584 815 435 0 122607 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 516976 KiB
Current children cumulated memory: 442336 KiB
[startup+15.6147 s]
# the end of solver process 27122 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.4657 s, system=0.145018 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 27123
/proc/meminfo: memFree=26198208/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=516976 memory=442336 CPUtime=12.79 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 78330 0 0 0 1267 12 0 0 20 0 1 0 91685485 529383424 110584 33554432000 4194304 5972588 140729974577872 140729974575176 5325820 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 129244 110584 815 435 0 122607 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 516976 KiB
Current children cumulated memory: 442336 KiB
[startup+14.4003 s]
/proc/loadavg: 1.79 1.96 2.03 3/187 27184
/proc/meminfo: memFree=26219396/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=516976 memory=442336 CPUtime=14.39 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 78430 0 0 0 1427 12 0 0 20 0 1 0 91685485 529383424 110584 33554432000 4194304 5972588 140729974577872 140729974575176 4935408 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 129244 110584 815 435 0 122607 0
Current children cumulated CPU time: 14.39 s
Current children cumulated vsize: 516976 KiB
Current children cumulated memory: 442336 KiB
[startup+15.2003 s]
/proc/loadavg: 1.79 1.96 2.03 3/187 27184
/proc/meminfo: memFree=26219092/32770624 swapFree=67108860/67108860
[pid=27122] ppid=27119 vsize=516976 memory=442336 CPUtime=15.19 cores=0,2,4,6
/proc/27122/stat : 27122 (cosoco) R 27119 27122 24318 0 -1 4202496 78450 0 0 0 1507 12 0 0 20 0 1 0 91685485 529383424 110584 33554432000 4194304 5972588 140729974577872 140729974575176 4935463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 14544896 140729974584506 140729974584606 140729974584606 140729974587342 0
/proc/27122/statm: 129244 110584 815 435 0 122607 0
Current children cumulated CPU time: 15.19 s
Current children cumulated vsize: 516976 KiB
Current children cumulated memory: 442336 KiB
[startup+15.6003 s]*
/proc/loadavg: 1.79 1.96 2.03 3/187 27184
/proc/meminfo: memFree=26306624/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 15.6148
CPU time (s): 15.6107
CPU user time (s): 15.4657
CPU system time (s): 0.145018
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 516976
Max. memory (cumulated for all children) (KiB): 442336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4657
system time used= 0.145018
maximum resident set size= 442420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 27122
# total CPU time (s): 15.6107
# total CPU user time (s): 15.4657
# total CPU system time (s): 0.145018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085566 second user time and 0.181923 second system time
The end
Begin job on node105 at 2017-08-13 02:48:00 IDJOB=4266463 IDBENCH=135692 IDSOLVER=2655 FILE ID=node105/4266463-1502586138 RUNJOBID= node105-1502567255-24402 PBS_JOBID= 20628286 Free space on /tmp= 60664 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20/TravellingSalesman-20-142_X2.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266463-1502586138/watcher-4266463-1502586138 -o /tmp/evaluation-result-4266463-1502586138/solver-4266463-1502586138 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24402 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266463-1502586138.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d56953f82a267c4c8ee700c959d37f45 RANDOM SEED=1762894298 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26639296 kB MemAvailable: 31959264 kB Buffers: 142964 kB Cached: 5454236 kB SwapCached: 0 kB Active: 669208 kB Inactive: 5004236 kB Active(anon): 79208 kB Inactive(anon): 25072 kB Active(file): 590000 kB Inactive(file): 4979164 kB Unevictable: 6236 kB Mlocked: 6236 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2460 kB Writeback: 4 kB AnonPages: 81708 kB Mapped: 44688 kB Shmem: 25228 kB Slab: 158568 kB SReclaimable: 133280 kB SUnreclaim: 25288 kB KernelStack: 3280 kB PageTables: 5120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 377036 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60660 MiB End job on node105 at 2017-08-13 02:48:16