Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-sat 1.12 | SAT | 58.1096 | 58.104198 |
Name | Random/Random-B-2-26-26/ rand-2-26-26-325-155-2.xml |
MD5SUM | f524f0f0288a36fdb548674cb0263900 |
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 | 51.7556 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 26 |
Number of constraints | 325 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":26}] |
Minimum variable degree | 25 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":25,"count":26}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":325}] |
Number of extensional constraints | 325 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":325}] |
Optimization problem | NO |
Type of objective |
0.10/0.14 c SAT : Variables: 676 -- Clauses: 8476 0.10/0.14 c root propagations : 0 0.10/0.14 c restarts enabled, print stats at every restarts 0.10/0.14 c 0.10/0.14 c 0.10/0.14 c 0.10/0.14 c This is cosoco 1.12 -- 0.10/0.14 c 0.10/0.14 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266311-1502568115.xml 0.10/0.14 c ========================================[ Problem Statistics ]=========================================== 0.10/0.14 c | 0.10/0.14 c | Parse time : 0.14 s 0.10/0.14 c | 0.10/0.14 c | Variables: 26 0.10/0.14 c | Domain Sizes: 26..26 0.10/0.14 c | 0.10/0.14 c | Constraints: 325 0.10/0.14 c | Arity: 2..2 -- Binary: 325 0.10/0.14 c | 0.10/0.14 c | Types: 0.10/0.14 c | Extension: 325 (nb tuples: 155..155) -- (shared: 0) 0.10/0.14 c | 0.10/0.14 c ========================================================================================================= 0.10/0.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.15 c 10 21 6651 1539 0 6 7 8 6 0.10/0.15 c 20 39 11216 2956 0 12 6 7 6 0.10/0.15 c 30 59 16733 4525 0 17 6 8 6 0.10/0.15 c 40 82 23131 6070 0 23 6 8 6 0.10/0.15 c 50 103 30036 7722 0 28 7 8 6 0.10/0.15 c 60 127 37739 9500 0 30 7 8 6 0.10/0.15 c 70 152 45003 11296 0 33 6 8 6 0.10/0.15 c 80 178 53983 13208 0 37 7 8 6 0.10/0.15 c 90 205 62081 14924 0 43 7 8 6 0.10/0.15 c 100 227 67953 16539 0 44 6 8 6 0.10/0.15 c 101 234 70280 17123 0 45 7 7 3 0.10/0.16 c 110 259 77985 18744 0 48 8 8 7 0.10/0.16 c 120 286 85753 20522 0 52 7 9 7 0.10/0.16 c 130 310 92428 22159 0 55 7 9 7 0.10/0.16 c 140 335 100402 23766 0 61 7 9 6 0.10/0.16 c 150 359 107509 25203 0 66 7 8 7 0.10/0.16 c 160 382 114113 26911 0 70 6 8 6 0.10/0.16 c 170 405 121315 28439 0 73 6 9 6 0.10/0.16 c 180 431 128844 30217 0 78 6 8 6 0.10/0.16 c 190 452 135076 31582 0 82 7 9 7 0.10/0.17 c 200 476 142355 33343 0 85 6 8 6 0.10/0.17 c 210 500 148383 34900 0 91 6 9 6 0.10/0.17 c 211 507 150558 35521 0 92 7 7 3 0.10/0.17 c 220 526 156133 36996 0 98 6 8 6 0.10/0.17 c 230 551 163999 38734 0 102 6 8 6 0.10/0.17 c 240 574 171883 40725 0 108 6 8 6 0.10/0.17 c 250 599 179803 42385 0 113 7 8 6 0.10/0.17 c 260 624 187556 44000 0 118 7 9 7 0.10/0.17 c 270 648 194772 45737 0 121 6 8 6 0.10/0.17 c 280 669 201400 47392 0 126 6 7 6 0.10/0.17 c 290 693 208251 48957 0 131 7 9 6 0.10/0.18 c 300 719 216318 50814 0 136 7 9 7 0.10/0.18 c 310 744 224499 52585 0 140 7 8 6 0.10/0.18 c 320 772 233540 54814 0 142 7 8 6 0.10/0.18 c 330 794 240689 56492 0 145 7 8 6 0.10/0.18 c 332 803 243616 57228 0 146 7 8 5 0.10/0.18 c 340 824 250371 58912 0 150 6 7 6 0.10/0.18 c 350 849 258064 60837 0 155 6 8 6 0.10/0.18 c 360 873 265709 62445 0 160 6 9 6 0.10/0.18 c 370 895 271997 64048 0 166 6 8 6 0.10/0.19 c 380 921 280331 65952 0 168 7 9 6 0.10/0.19 c 390 948 288127 67700 0 170 6 10 7 0.10/0.19 c 400 974 295964 69373 0 176 7 8 7 0.10/0.19 c 410 995 302544 70792 0 179 7 9 6 0.10/0.19 c 420 1019 310613 72680 0 181 7 8 6 0.10/0.19 c 430 1043 318125 74606 0 183 6 8 6 0.10/0.19 c 440 1070 326211 76555 0 189 6 8 6 0.10/0.19 c 450 1094 333185 78205 0 195 6 9 6 0.10/0.19 c 460 1120 340836 79899 0 199 6 8 6 0.10/0.19 c 465 1136 346116 80958 0 201 7 9 6 0.10/0.20 c 470 1153 351348 82211 0 203 6 9 6 0.10/0.20 c 480 1178 358624 83799 0 208 7 9 7 0.10/0.20 c 490 1208 367801 85835 0 210 7 9 7 0.10/0.20 c 500 1235 376210 87526 0 215 7 9 7 0.10/0.20 c 510 1262 383576 89185 0 217 6 8 6 0.10/0.20 c 520 1287 391105 90966 0 221 6 8 6 0.10/0.20 c 530 1309 398008 92516 0 227 6 8 6 0.10/0.20 c 540 1339 406428 94417 0 229 8 9 7 0.10/0.20 c 550 1364 414634 96125 0 232 8 9 7 0.10/0.21 c 560 1387 421298 97755 0 238 6 8 6 0.10/0.21 c 570 1413 430070 99771 0 241 6 8 6 0.10/0.21 c 580 1439 437282 101460 0 245 7 8 6 0.10/0.21 c 590 1471 447267 103455 0 248 7 9 7 0.10/0.21 c 600 1496 454872 105245 0 255 6 8 6 0.10/0.21 c 610 1522 462698 106819 0 259 8 9 7 0.10/0.21 c 611 1530 465302 107489 0 260 8 8 4 0.10/0.21 c 620 1551 471905 109057 0 262 6 8 6 0.21/0.21 c 630 1575 479933 110902 0 266 7 8 6 0.21/0.22 c 640 1599 486618 112567 0 268 6 8 6 0.21/0.22 c 650 1625 494758 114313 0 271 7 8 7 0.21/0.22 c 660 1646 501257 115902 0 273 6 9 6 0.21/0.22 c 670 1669 509188 117749 0 280 6 8 6 0.21/0.22 c 680 1692 516692 119580 0 283 7 8 6 0.21/0.22 c 690 1721 525558 121524 0 286 7 9 7 0.21/0.22 c 700 1745 533317 123210 0 290 7 8 6 0.21/0.22 c 710 1770 541182 124871 0 296 7 9 7 0.21/0.22 c 720 1794 549185 126627 0 300 6 8 6 0.21/0.23 c 730 1824 557730 128480 0 304 7 8 7 0.21/0.23 c 740 1846 563718 129873 0 311 7 9 7 0.21/0.23 c 750 1867 569126 131298 0 317 6 8 6 0.21/0.23 c 760 1895 578130 133270 0 320 6 8 6 0.21/0.23 c 770 1918 584862 134929 0 325 6 8 6 0.21/0.23 c 771 1925 587257 135583 0 326 7 7 3 0.21/0.23 c 780 1947 594323 137108 0 333 6 8 6 0.21/0.23 c 790 1971 602120 138798 0 339 7 9 7 0.21/0.23 c 800 1994 609048 140540 0 344 6 8 6 0.21/0.23 c 810 2020 617388 142428 0 347 7 8 7 0.21/0.24 c 820 2046 625797 144117 0 352 7 9 7 0.21/0.24 c 830 2071 633558 146034 0 359 7 8 6 0.21/0.24 c 840 2096 642670 148045 0 362 7 8 6 0.21/0.24 c 850 2122 651084 149720 0 367 7 9 7 0.21/0.24 c 860 2145 658299 151385 0 369 6 8 6 0.21/0.24 c 870 2169 665645 153061 0 374 6 7 6 0.21/0.24 conflict 34lvl : 7 bt7-626:0(8)X289779 0.21/0.24 c 880 2194 673147 154723 0 379 6 8 6 0.21/0.24 c 890 2218 681290 156522 0 382 6 8 6 0.21/0.24 c 900 2243 689255 158115 0 388 7 10 7 0.21/0.25 c 910 2268 697532 160030 0 391 7 8 6 0.21/0.25 c 920 2290 704430 161674 0 392 7 9 6 0.21/0.25 c 930 2314 711026 163242 0 399 7 9 7 0.21/0.25 c 940 2337 717247 164655 0 403 7 9 7 0.21/0.25 c 947 2359 724609 166477 0 405 7 9 6 0.21/0.25 conflict 6lvl : 6 bt6-348:0(6)X290106 0.21/0.25 c 950 2371 728470 167374 0 408 7 8 5 0.21/0.25 c 960 2395 736215 169168 0 413 7 9 7 0.21/0.25 c 970 2418 742701 170857 0 417 6 8 6 0.21/0.25 c 980 2444 749952 172436 0 421 6 9 6 0.21/0.25 c 990 2470 757757 174142 0 426 6 9 7 0.21/0.26 c 1000 2496 765880 175843 0 431 6 9 7 0.21/0.26 c 1010 2522 773299 177584 0 434 6 9 6 0.21/0.26 c 1020 2549 781404 179460 0 437 7 9 7 0.21/0.26 c 1030 2570 787567 180942 0 440 6 8 6 0.21/0.26 c 1040 2595 794710 182677 0 441 6 9 7 0.21/0.26 c 1050 2618 802045 184570 0 447 6 8 6 0.21/0.26 c 1060 2642 809428 186262 0 453 7 8 6 0.21/0.26 c 1070 2664 816170 187791 0 458 6 8 6 0.21/0.26 c 1080 2690 824603 189473 0 461 6 9 7 0.21/0.26 c 1090 2714 831297 190990 0 465 7 9 7 0.21/0.27 c 1100 2737 838795 192530 0 468 7 8 6 0.21/0.27 c 1110 2761 845430 194102 0 472 6 9 6 0.21/0.27 c 1120 2787 853147 195788 0 477 7 8 7 0.21/0.27 c 1130 2815 861954 197803 0 484 5 8 6 0.21/0.27 c 1140 2838 867692 199242 0 486 7 10 7 0.21/0.27 c 1141 2846 870326 199832 0 487 8 8 4 0.21/0.27 c 1150 2869 876521 201218 0 493 6 9 6 0.21/0.27 c 1160 2896 884651 202901 0 498 6 9 7 0.21/0.27 c 1170 2916 890488 204451 0 505 6 8 6 0.21/0.27 c 1180 2942 898023 205919 0 508 8 9 7 0.21/0.28 c 1190 2965 905103 207508 0 514 6 9 6 0.21/0.28 c 1200 2995 914170 209487 0 519 7 9 7 0.21/0.28 c 1210 3022 922249 211254 0 525 6 9 6 0.21/0.28 c 1220 3044 928293 212651 0 528 6 10 7 0.21/0.28 c 1230 3068 935815 214297 0 532 6 9 6 0.21/0.28 c 1240 3092 942700 216059 0 536 6 8 6 0.21/0.28 c 1250 3119 950044 217697 0 537 6 9 7 0.21/0.28 c 1260 3144 958227 219769 0 542 6 7 6 0.21/0.28 c 1270 3172 967290 221683 0 548 6 9 7 0.21/0.29 c 1280 3197 975669 223425 0 552 7 9 7 0.21/0.29 c 1290 3221 983072 225476 0 559 5 8 5 0.21/0.29 c 1300 3246 990532 226997 0 563 6 9 7 0.21/0.29 c 1310 3270 998279 228918 0 567 5 9 6 0.21/0.29 c 1320 3299 1008040 230973 0 570 7 8 7 0.21/0.29 c 1330 3322 1014798 232840 0 576 5 8 5 0.21/0.29 c 1340 3346 1021870 234518 0 577 6 8 6 0.21/0.29 c 1350 3372 1028983 236293 0 582 7 8 7 0.21/0.29 c 1352 3381 1031941 237028 0 583 8 8 5 0.21/0.29 c 1360 3401 1039023 238597 0 587 7 8 6 0.21/0.30 c 1370 3425 1046041 240268 0 589 6 9 6 0.21/0.30 c 1380 3453 1053975 241945 0 592 7 9 7 0.21/0.30 c 1390 3478 1061584 243855 0 593 6 8 6 0.21/0.30 c 1400 3504 1069151 245421 0 594 7 9 7 0.21/0.30 c 1410 3528 1077212 247225 0 600 6 8 6 0.21/0.30 c 1420 3551 1084391 248804 0 604 6 9 6 0.21/0.30 c 1430 3575 1092638 250872 0 608 6 7 6 0.21/0.30 c 1440 3599 1100023 252573 0 613 7 8 6 0.21/0.30 c 1450 3620 1106029 254040 0 614 6 9 6 0.21/0.31 c 1460 3646 1115123 256024 0 617 6 10 6 0.21/0.31 c 1470 3669 1122857 257744 0 623 6 8 6 0.21/0.31 c 1480 3692 1129738 259248 0 625 8 9 7 0.21/0.31 c 1490 3719 1137648 260949 0 628 7 9 7 0.21/0.31 c 1500 3744 1145823 262718 0 633 7 8 6 0.21/0.31 c 1510 3764 1151732 264176 0 637 7 9 6 0.21/0.31 c 1520 3790 1159833 265778 0 641 7 9 7 0.21/0.31 c 1530 3811 1165539 267157 0 643 7 8 6 0.31/0.31 c 1540 3839 1173954 268953 0 646 6 9 6 0.31/0.32 c 1550 3866 1182705 270838 0 648 7 9 7 0.31/0.32 c 1560 3893 1190824 272722 0 650 7 9 7 0.31/0.32 conflict 6lvl : 6 bt6-628:0(7)X292298 0.31/0.32 -> -628:X(7)c 1570 3919 1199781 274696 0 654 6 8 6 0.31/0.32 c 1580 3945 1208046 276455 0 657 7 8 6 0.31/0.32 c 1585 3959 1212400 277430 0 660 7 8 6 0.31/0.32 c 1590 3976 1217293 278577 0 661 7 8 6 0.31/0.32 c 1600 3999 1224502 280225 0 664 6 9 6 0.31/0.32 c 1610 4026 1232610 282236 0 667 6 9 6 0.31/0.32 c 1620 4048 1239803 283867 0 673 6 9 6 0.31/0.33 c 1630 4074 1248444 285804 0 677 6 8 6 0.31/0.33 c 1640 4100 1256582 287718 0 682 6 8 6 0.31/0.33 c 1650 4127 1264857 289378 0 685 7 9 7 0.31/0.33 c 1660 4152 1272591 291257 0 691 6 9 6 0.31/0.33 c 1670 4179 1281557 293109 0 695 6 9 6 0.31/0.33 c 1680 4200 1287530 294548 0 697 5 9 6 0.31/0.33 c 1690 4223 1294188 296118 0 704 6 9 6 0.31/0.33 c 1700 4250 1302932 298028 0 708 6 8 6 0.31/0.33 c 1710 4278 1311641 299829 0 713 7 8 6 0.31/0.34 c 1720 4306 1320306 301772 0 716 7 9 7 0.31/0.34 c 1730 4329 1327422 303299 0 719 7 8 7 0.31/0.34 c 1740 4359 1336415 305102 0 723 7 10 7 0.31/0.34 c 1750 4384 1345315 307074 0 726 6 8 6 0.31/0.34 c 1760 4409 1353636 308706 0 730 7 8 7 0.31/0.34 c 1770 4434 1361884 310410 0 733 7 9 6 0.31/0.34 c 1780 4458 1368996 311977 0 737 7 9 7 0.31/0.34 c 1790 4488 1376846 313718 0 744 6 9 7 0.31/0.34 c 1800 4511 1384757 315182 0 749 7 9 7 0.31/0.35 c 1810 4536 1393011 317117 0 751 7 8 6 0.31/0.35 c 1820 4556 1398788 318677 0 758 6 8 6 0.31/0.35 c 1830 4583 1406323 320764 0 760 6 8 6 0.31/0.35 conflict 15lvl : 7 bt6-507:0(21)X293297 0.31/0.35 c 1840 4607 1412692 322311 0 766 6 9 6 0.31/0.35 c 1841 4616 1415551 322941 0 767 9 9 4 0.31/0.35 c 1850 4638 1422654 324617 0 772 5 8 6 0.31/0.35 c 1860 4661 1429522 326262 0 776 7 8 7 0.31/0.35 c 1870 4689 1436780 327891 0 779 7 9 7 0.31/0.35 c 1880 4711 1443594 329304 0 783 6 8 6 0.31/0.35 c 1890 4732 1449681 330689 0 785 7 10 7 0.31/0.36 c 1900 4753 1455994 332101 0 788 7 8 6 0.31/0.36 c 1910 4780 1464095 333866 0 796 6 9 7 0.31/0.36 c 1920 4804 1470846 335413 0 800 6 9 7 0.31/0.36 c 1930 4827 1477758 337074 0 806 6 8 6 0.31/0.36 c 1940 4856 1486645 338989 0 810 7 9 7 0.31/0.36 c 1950 4877 1493104 340459 0 814 6 8 6 0.31/0.36 c 1960 4900 1500479 342006 0 817 6 9 7 0.31/0.36 c 1970 4922 1507542 343700 0 819 7 7 6 0.31/0.36 c 1980 4945 1515156 345426 0 822 6 8 6 0.31/0.36 c 1990 4971 1524644 347329 0 824 6 8 6 0.31/0.37 c 2000 4993 1533075 349320 0 826 6 8 6 0.31/0.37 c 2010 5018 1540036 351048 0 830 5 9 6 0.31/0.37 c 2020 5045 1547493 352621 0 834 7 9 7 0.31/0.37 c 2030 5070 1555927 354321 0 837 6 9 6 0.31/0.37 c 2040 5098 1564805 356184 0 840 6 9 6 0.31/0.37 c 2050 5122 1572378 357879 0 845 7 8 6 0.31/0.37 c 2060 5148 1579455 359589 0 847 6 8 6 0.31/0.37 c 2070 5173 1588675 361500 0 851 7 8 6 0.31/0.38 c 2080 5194 1595383 363087 0 858 6 8 6 0.31/0.38 c 2090 5224 1605013 365139 0 860 6 9 6 0.31/0.38 c 2100 5249 1613357 367006 0 867 6 8 6 0.31/0.38 c 2110 5273 1621232 368598 0 868 7 10 7 0.31/0.38 c 2120 5293 1626566 369953 0 869 6 8 6 0.31/0.38 c 2122 5302 1629773 370845 0 870 6 8 4 0.31/0.38 c 2130 5329 1638180 372705 0 874 6 9 6 0.31/0.38 c 2140 5352 1645141 374390 0 879 6 9 6 0.31/0.38 c 2150 5375 1652049 376094 0 885 6 8 6 0.31/0.38 c 2160 5403 1661526 378126 0 888 6 9 6 0.31/0.39 c 2170 5428 1668434 379592 0 893 6 9 7 0.31/0.39 c 2180 5455 1677405 381418 0 898 6 9 7 0.31/0.39 c 2190 5479 1685676 383246 0 902 7 8 6 0.31/0.39 c 2200 5506 1694370 385212 0 904 6 9 6 0.31/0.39 c 2210 5531 1702160 386915 0 907 7 9 7 0.31/0.39 conflict 7lvl : 5 bt5-53:0(5)X294631 0.31/0.39 c 2220 5556 1710189 388858 0 912 6 8 6 0.31/0.39 c 2230 5580 1717640 390693 0 917 6 9 6 0.31/0.39 c 2240 5606 1725943 392567 0 922 7 9 7 0.31/0.39 c 2250 5631 1734375 394684 0 927 6 8 6 0.31/0.40 c 2260 5654 1741365 396174 0 932 7 8 6 0.31/0.40 c 2270 5682 1749788 397911 0 934 7 9 7 0.31/0.40 c 2280 5709 1758222 399552 0 936 7 9 7 0.31/0.40 c 2290 5740 1766150 401296 0 943 7 9 7 0.31/0.40 c 2300 5766 1774414 403248 0 946 6 8 6 0.31/0.40 c 2310 5789 1781530 404727 0 951 7 9 7 0.31/0.40 c 2320 5813 1788485 406432 0 954 6 8 6 0.31/0.40 c 2330 5836 1795850 407960 0 957 7 8 7 0.31/0.40 c 2340 5861 1803185 409720 0 960 6 9 6 0.31/0.41 conflict 70lvl : 7 bt7-322:0(16)X295115 0.31/0.41 c 2350 5887 1810985 411345 0 966 6 9 7 0.31/0.41 c 2360 5918 1820171 413321 0 970 7 8 7 0.31/0.41 c 2370 5940 1827236 415012 0 974 7 8 6 0.31/0.41 c 2380 5963 1833924 416563 0 977 6 8 6 0.31/0.41 c 2390 5989 1842382 418497 0 981 6 8 6 0.31/0.41 c 2400 6016 1850076 420236 0 986 7 9 7 0.31/0.41 c 2410 6041 1857863 421986 0 993 6 9 6 0.41/0.41 c 2420 6068 1866200 423782 0 994 7 9 7 0.41/0.41 conflict 45lvl : 7 bt7-464:0(23)X295494 0.41/0.42 c 2430 6092 1873811 425320 0 998 6 9 6 0.41/0.42 c 2431 6099 1875980 425930 0 999 7 7 3 0.41/0.42 c 2440 6123 1882983 427425 0 1004 7 9 7 0.41/0.42 c 2450 6148 1891675 429300 0 1008 7 8 6 0.41/0.42 c 2460 6171 1899153 431040 0 1011 6 8 6 0.41/0.42 c 2470 6193 1906364 432595 0 1013 7 9 7 0.41/0.42 c 2480 6219 1914049 434506 0 1017 6 8 6 0.41/0.42 c 2490 6245 1922213 436403 0 1019 7 9 6 0.41/0.42 c 2500 6268 1928491 437899 0 1025 6 8 6 0.41/0.42 c 2510 6291 1935727 439649 0 1029 7 9 7 0.41/0.43 c 2520 6316 1943249 441291 0 1034 7 8 6 0.41/0.43 c 2530 6339 1951694 443071 0 1038 6 8 6 0.41/0.43 c 2540 6365 1960644 445139 0 1040 6 8 6 0.41/0.43 c 2550 6393 1968018 446721 0 1043 7 9 7 0.41/0.43 c 2560 6418 1975776 448398 0 1048 7 8 6 0.41/0.43 c 2570 6440 1982948 450103 0 1050 6 8 6 0.41/0.43 c 2580 6467 1990581 451756 0 1051 7 9 7 0.41/0.43 c 2590 6490 1998171 453625 0 1056 7 8 6 0.41/0.43 c 2600 6515 2005498 455150 0 1059 7 9 7 0.41/0.44 c 2610 6537 2012590 456920 0 1062 7 8 6 0.41/0.44 conflict 8lvl : 7 bt7-315:0(14)X296155 0.41/0.44 c 2620 6567 2021620 458600 0 1064 6 9 7 0.41/0.44 c 2630 6593 2030100 460633 0 1068 5 8 6 0.41/0.44 c 2640 6616 2037828 462335 0 1073 6 8 6 0.41/0.44 c 2650 6640 2045296 464086 0 1076 6 8 6 0.41/0.44 c 2660 6663 2052224 465759 0 1080 7 8 6 0.41/0.44 c 2670 6690 2061556 467817 0 1085 6 8 6 0.41/0.44 c 2680 6720 2071155 469695 0 1086 7 10 6 0.41/0.44 c 2690 6743 2078475 471403 0 1091 7 8 6 0.41/0.45 c 2700 6763 2084652 472848 0 1093 6 8 6 0.41/0.45 c 2710 6791 2093008 474542 0 1096 7 10 7 0.41/0.45 c 2720 6813 2100137 476103 0 1097 7 8 6 0.41/0.45 c 2730 6844 2110277 478219 0 1099 6 9 7 0.41/0.45 c 2740 6868 2118195 480105 0 1101 6 9 6 0.41/0.45 c 2750 6896 2127704 481965 0 1105 6 8 7 0.41/0.45 c 2760 6921 2135686 483676 0 1110 6 9 7 0.41/0.45 c 2770 6947 2143502 485638 0 1112 6 9 6 0.41/0.45 c 2771 6954 2145966 486227 0 1113 7 7 3 0.41/0.46 c 2780 6978 2153541 487908 0 1118 6 8 6 0.41/0.46 c 2790 7006 2162128 489728 0 1122 7 9 7 0.41/0.46 c 2800 7031 2170018 491617 0 1123 6 9 6 0.41/0.46 c 2810 7055 2178091 493748 0 1129 5 7 5 0.41/0.46 c 2820 7078 2185303 495508 0 1131 6 8 6 0.41/0.46 c 2830 7103 2193057 497166 0 1137 5 8 6 0.41/0.46 c 2840 7132 2201279 498717 0 1138 7 9 7 0.41/0.46 c 2850 7157 2209442 500467 0 1141 7 8 7 0.41/0.46 c 2860 7181 2216860 502032 0 1144 6 8 6 0.41/0.47 c 2870 7203 2223639 503547 0 1147 7 8 6 0.41/0.47 c 2880 7224 2230567 505246 0 1152 5 7 5 0.41/0.47 c 2890 7254 2239942 507232 0 1155 6 9 6 0.41/0.47 c 2900 7282 2248039 508911 0 1157 7 9 7 0.41/0.47 c 2910 7304 2254647 510341 0 1158 6 8 6 0.41/0.47 c 2920 7326 2260928 511746 0 1159 7 8 6 0.41/0.47 c 2930 7345 2265712 513309 0 1166 5 7 5 0.41/0.47 c 2940 7375 2273764 515041 0 1168 7 9 7 0.41/0.47 c 2950 7401 2281906 516696 0 1172 7 10 6 0.41/0.47 conflict 16lvl : 7 bt5-80:0(47)X297115 0.41/0.48 c 2960 7427 2289934 518574 0 1174 6 8 6 0.41/0.48 c 2970 7454 2298574 520402 0 1177 5 9 6 0.41/0.48 c 2980 7477 2305577 522069 0 1182 7 8 6 0.41/0.48 c 2990 7502 2312687 523717 0 1185 6 8 6 0.41/0.48 c 3000 7524 2319566 525468 0 1187 6 8 6 0.41/0.48 c 3010 7554 2329405 527594 0 1191 6 8 6 0.41/0.48 c 3020 7575 2334927 528931 0 1197 6 8 6 0.41/0.48 c 3030 7598 2342238 530637 0 1200 6 8 6 0.41/0.48 c 3040 7623 2350974 532384 0 1204 7 9 6 0.41/0.49 c 3050 7647 2358362 533931 0 1205 7 9 7 0.41/0.49 c 3060 7671 2366195 535650 0 1210 6 8 6 0.41/0.49 c 3070 7695 2372984 537313 0 1215 6 8 6 0.41/0.49 conflict 7lvl : 7 bt6-3:0(10)X297510 0.41/0.49 c 3080 7722 2381222 539149 0 1221 6 9 6 0.41/0.49 c 3090 7748 2388600 540748 0 1223 6 9 6 0.41/0.49 conflict 20lvl : 7 bt6-237:0(13)X297593 0.41/0.49 c 3100 7772 2396002 542440 0 1228 6 8 6 0.41/0.49 c 3110 7802 2404512 544412 0 1231 6 9 6 0.41/0.49 c 3120 7828 2412277 546340 0 1233 6 8 6 0.41/0.49 c 3130 7852 2418879 547850 0 1240 6 10 7 0.41/0.49 c 3140 7876 2426165 549516 0 1242 6 8 6 0.41/0.50 c 3142 7885 2428758 550193 0 1243 7 8 5 0.41/0.50 c 3150 7906 2435050 551652 0 1246 7 9 6 0.41/0.50 c 3160 7930 2442992 553484 0 1249 6 8 6 0.41/0.50 c 3170 7959 2452422 555440 0 1253 7 9 7 0.41/0.50 c 3180 7982 2459015 556979 0 1254 6 8 6 0.41/0.50 c 3190 8005 2467023 558737 0 1257 7 8 6 0.41/0.50 c 3200 8028 2473987 560358 0 1263 6 9 6 0.41/0.50 c 3210 8051 2480887 561912 0 1265 7 9 7 0.41/0.50 c 3220 8080 2490715 563928 0 1268 6 9 6 0.41/0.51 c 3230 8104 2497504 565562 0 1272 6 8 6 0.41/0.51 c 3240 8127 2503649 567034 0 1273 7 9 7 0.41/0.51 c 3250 8152 2511510 568696 0 1276 6 9 7 0.41/0.51 c 3260 8176 2519763 570676 0 1281 6 8 6 0.41/0.51 c 3270 8205 2529094 572593 0 1286 7 9 7 0.41/0.51 c 3280 8227 2535323 574110 0 1289 6 9 6 0.41/0.51 c 3290 8250 2541642 575605 0 1293 7 8 6 0.41/0.51 c 3300 8277 2549937 577379 0 1295 7 8 6 0.51/0.51 c 3310 8306 2559381 579418 0 1300 5 8 6 0.51/0.52 c 3320 8328 2566296 581005 0 1301 6 8 6 0.51/0.52 c 3330 8354 2575989 583037 0 1306 7 9 6 0.51/0.52 c 3340 8376 2582539 584475 0 1311 7 9 6 0.51/0.52 c 3350 8407 2591444 586272 0 1313 7 10 7 0.51/0.52 c 3360 8430 2598197 587767 0 1316 7 9 7 0.51/0.52 c 3370 8449 2603651 589142 0 1318 6 8 5 0.51/0.52 c 3380 8470 2610086 590755 0 1324 5 8 5 0.51/0.52 c 3390 8495 2617584 592360 0 1328 8 9 7 0.51/0.52 c 3400 8518 2625787 593995 0 1332 7 9 6 0.51/0.53 c 3410 8542 2632585 595697 0 1333 6 8 6 0.51/0.53 c 3420 8567 2639452 597240 0 1336 7 9 7 0.51/0.53 c 3430 8591 2646300 598696 0 1343 6 9 6 0.51/0.53 c 3440 8615 2653451 600321 0 1344 6 8 6 0.51/0.53 c 3450 8641 2661433 602102 0 1348 7 9 7 0.51/0.53 c 3460 8666 2669439 603849 0 1350 6 8 6 0.51/0.53 c 3470 8692 2677529 605680 0 1353 6 8 6 0.51/0.53 c 3480 8717 2684926 607349 0 1358 6 8 6 0.51/0.53 c 3490 8742 2693385 609284 0 1361 7 8 6 0.51/0.53 c 3500 8766 2700736 610945 0 1363 6 9 6 0.51/0.54 c 3510 8788 2707096 612518 0 1366 5 8 6 0.51/0.54 c 3520 8810 2712852 614033 0 1367 6 8 6 0.51/0.54 c 3530 8835 2720417 615931 0 1370 6 8 6 0.51/0.54 c 3540 8862 2729461 617879 0 1373 6 8 6 0.51/0.54 c 3550 8889 2738120 619877 0 1376 5 8 6 0.51/0.54 c 3551 8896 2740949 620543 0 1377 7 7 3 0.51/0.54 c 3560 8918 2747931 622097 0 1380 7 9 6 0.51/0.54 c 3570 8945 2755906 623702 0 1385 6 9 7 0.51/0.54 c 3580 8972 2764216 625699 0 1390 6 8 6 0.51/0.55 c 3590 9002 2774310 627914 0 1393 6 8 6 0.51/0.55 c 3600 9030 2782693 629635 0 1397 7 9 7 0.51/0.55 c 3610 9055 2789884 631404 0 1400 5 8 5 0.51/0.55 c 3620 9080 2798558 633303 0 1405 7 9 7 0.51/0.55 c 3630 9110 2807910 635217 0 1413 6 9 7 0.51/0.55 c 3640 9138 2816352 637068 0 1415 6 8 6 0.51/0.55 c 3650 9161 2824427 638676 0 1422 7 9 6 0.51/0.55 c 3660 9191 2832867 640546 0 1426 7 9 7 0.51/0.55 c 3670 9221 2841764 642350 0 1431 7 9 7 0.51/0.56 c 3680 9245 2849712 644148 0 1433 6 8 6 0.51/0.56 c 3690 9268 2856178 645680 0 1438 6 9 6 0.51/0.56 c 3700 9292 2864398 647558 0 1442 7 8 6 0.51/0.56 c 3710 9318 2872862 649423 0 1444 6 9 7 0.51/0.56 c 3720 9340 2879804 651143 0 1446 6 8 6 0.51/0.56 c 3730 9365 2887877 652858 0 1450 7 8 7 0.51/0.56 c 3740 9387 2895119 654699 0 1454 6 8 6 0.51/0.56 c 3750 9407 2900501 656233 0 1459 6 8 6 0.51/0.56 c 3760 9434 2908916 657911 0 1462 7 9 7 0.51/0.57 c 3770 9460 2916366 659496 0 1466 7 8 6 0.51/0.57 c 3780 9485 2924113 661275 0 1468 6 8 6 0.51/0.57 c 3790 9509 2930947 662841 0 1474 7 9 7 0.51/0.57 c 3800 9536 2938963 664655 0 1479 7 9 7 0.51/0.57 c 3810 9559 2946822 666356 0 1484 6 8 6 0.51/0.57 c 3820 9584 2954694 668204 0 1488 6 9 6 0.51/0.57 c 3830 9612 2962255 669724 0 1493 6 10 7 0.51/0.57 c 3840 9637 2969413 671372 0 1498 5 8 6 0.51/0.57 c 3850 9661 2977319 673210 0 1501 6 8 6 0.51/0.58 c 3860 9683 2985129 674878 0 1503 7 9 6 0.51/0.58 conflict 10lvl : 7 bt7-183:0(18)X300118 0.51/0.58 c 3870 9710 2994580 676717 0 1509 6 9 7 0.51/0.58 c 3880 9732 3000759 678177 0 1514 6 9 6 0.51/0.58 c 3890 9760 3009381 680138 0 1518 7 9 6 0.51/0.58 c 3900 9786 3017755 681901 0 1522 6 9 6 0.51/0.58 c 3910 9813 3026642 683898 0 1528 7 8 6 0.51/0.58 c 3920 9840 3034972 685610 0 1533 6 8 6 0.51/0.58 c 3930 9869 3043765 687477 0 1538 7 9 7 0.51/0.58 c 3940 9894 3051334 689235 0 1542 6 8 6 0.51/0.59 c 3950 9917 3058653 691048 0 1544 7 8 6 0.51/0.59 conflict 18lvl : 8 bt7-423:0(21)X300498 0.51/0.59 c 3960 9946 3067416 692777 0 1549 7 9 7 0.51/0.59 c 3970 9966 3074155 694252 0 1551 6 8 6 0.51/0.59 c 3980 9989 3080525 695910 0 1557 6 8 6 0.51/0.59 conflict 14lvl : 6 bt5-446:0(7)X300636 0.51/0.59 c 3990 10014 3088090 697586 0 1561 6 8 6 0.51/0.59 c 4000 10039 3095258 699318 0 1564 6 9 6 0.51/0.59 c 4001 10046 3097554 699936 0 1565 7 7 3 0.51/0.59 c 4010 10070 3105053 701526 0 1567 6 9 6 0.51/0.59 c 4020 10094 3111757 703080 0 1570 7 9 7 0.51/0.59 c 4030 10118 3118450 704707 0 1575 6 9 6 0.51/0.60 c 4040 10144 3126557 706347 0 1579 7 9 7 0.51/0.60 c 4050 10171 3135429 708453 0 1582 6 8 6 0.51/0.60 c 4060 10199 3145188 710580 0 1583 7 9 7 0.51/0.60 c 4070 10221 3151748 712143 0 1584 6 8 6 0.51/0.60 c 4080 10246 3159241 713808 0 1587 7 8 6 0.51/0.60 c 4090 10268 3165755 715355 0 1589 6 8 6 0.51/0.60 c 4100 10292 3173177 717120 0 1593 6 8 6 0.51/0.60 c 4110 10317 3181274 718730 0 1600 7 9 7 0.60/0.61 conflict 21lvl : 7 bt7-136:0(67)X301031 0.60/0.61 c 4120 10345 3190648 720758 0 1603 6 8 6 0.60/0.61 c 4130 10371 3198086 722587 0 1609 6 9 7 0.60/0.61 c 4140 10397 3206967 724343 0 1613 7 9 7 0.60/0.61 c 4150 10424 3215707 726173 0 1615 7 8 6 0.60/0.61 c 4160 10448 3222801 727667 0 1619 7 9 7 0.60/0.61 c 4170 10477 3231395 729572 0 1623 5 9 6 0.60/0.61 c 4180 10507 3240645 731406 0 1626 6 10 7 0.60/0.61 c 4190 10530 3247451 733066 0 1630 6 8 6 0.60/0.61 c 4200 10555 3254465 734655 0 1634 7 8 7 0.60/0.62 c 4210 10581 3263572 736544 0 1639 7 8 7 0.60/0.62 c 4220 10605 3270799 738068 0 1643 7 9 6 0.60/0.62 c 4230 10632 3279185 739693 0 1646 7 9 7 0.60/0.62 c 4240 10656 3286543 741364 0 1651 7 9 7 0.60/0.62 c 4250 10680 3294606 743192 0 1653 7 9 6 0.60/0.62 c 4260 10709 3302392 744833 0 1654 6 9 7 0.60/0.62 c 4270 10734 3310245 746571 0 1660 6 9 6 0.60/0.62 c 4280 10758 3317483 748223 0 1663 7 9 7 0.60/0.62 conflict 47lvl : 7 bt7-616:0(34)X301628 0.60/0.62 c 4290 10783 3325723 749983 0 1664 7 9 6 0.60/0.63 c 4300 10808 3333921 751674 0 1667 6 10 7 0.60/0.63 c 4310 10831 3341132 753300 0 1672 6 8 6 0.60/0.63 c 4320 10854 3348619 754866 0 1675 5 8 6 0.60/0.63 c 4330 10879 3356626 757061 0 1681 5 8 5 0.60/0.63 c 4340 10904 3365156 758972 0 1687 6 8 6 0.60/0.63 c 4350 10930 3373073 760899 0 1691 5 9 6 0.60/0.63 c 4360 10953 3380151 762490 0 1695 7 9 6 0.60/0.63 c 4370 10978 3387315 764086 0 1696 6 8 6 0.60/0.63 c 4380 11002 3394309 765638 0 1699 6 8 6 0.60/0.64 c 4390 11030 3402305 767402 0 1705 6 9 6 0.60/0.64 conflict 17lvl : 7 bt6-84:0(8)X302040 0.60/0.64 c 4400 11059 3411672 769328 0 1710 7 9 7 0.60/0.64 c 4410 11084 3418929 771013 0 1715 6 9 6 0.60/0.64 c 4420 11110 3426474 772452 0 1718 7 9 7 0.60/0.64 c 4430 11136 3434449 774317 0 1722 7 8 7 0.60/0.64 c 4440 11161 3441706 775927 0 1727 6 8 6 0.60/0.64 c 4450 11185 3449964 777633 0 1732 7 9 7 0.60/0.64 c 4460 11207 3455535 779052 0 1739 6 8 6 0.60/0.64 c 4470 11228 3461729 780543 0 1746 7 9 6 0.60/0.65 c 4480 11253 3468912 782148 0 1750 7 9 7 0.60/0.65 c 4490 11280 3478461 784368 0 1753 6 8 6 0.60/0.65 c 4493 11291 3482050 785116 0 1755 7 9 6 0.60/0.65 c 4500 11308 3487630 786339 0 1760 7 8 6 0.60/0.65 c 4510 11336 3496598 788171 0 1764 7 10 7 0.60/0.65 c 4520 11360 3503891 789780 0 1768 7 9 7 0.60/0.65 c 4530 11389 3512540 791603 0 1771 6 9 6 0.60/0.65 c 4540 11412 3519542 793398 0 1772 5 7 6 0.60/0.65 c 4550 11439 3528815 795183 0 1777 7 9 7 0.60/0.66 c 4560 11463 3537494 797195 0 1781 6 8 6 0.60/0.66 c 4570 11489 3546103 799447 0 1787 5 8 6 0.60/0.66 c 4580 11516 3555106 801305 0 1790 5 9 6 0.60/0.66 c 4590 11542 3563299 803239 0 1795 6 8 6 0.60/0.66 c 4600 11567 3570361 804894 0 1800 7 9 7 0.60/0.66 c 4610 11591 3577707 806613 0 1802 6 8 6 0.60/0.66 c 4620 11617 3585436 808238 0 1806 7 9 7 0.60/0.66 c 4630 11642 3592550 809848 0 1809 6 9 7 0.60/0.66 c 4640 11662 3598717 811439 0 1812 6 7 6 0.60/0.66 c 4650 11685 3605247 813236 0 1815 5 7 5 0.60/0.67 c 4660 11709 3612302 814733 0 1817 6 9 7 0.60/0.67 c 4670 11733 3620211 816365 0 1820 6 8 6 0.60/0.67 c 4680 11764 3629566 818330 0 1824 7 9 7 0.60/0.67 c 4690 11791 3636523 820143 0 1826 6 9 6 0.60/0.67 c 4700 11813 3643468 821865 0 1827 6 8 6 0.60/0.67 c 4710 11837 3650015 823550 0 1831 6 9 6 0.60/0.67 c 4720 11861 3657414 825180 0 1833 7 8 6 0.60/0.67 c 4730 11889 3665564 826963 0 1837 7 10 7 0.60/0.67 c 4740 11914 3673721 828914 0 1843 5 8 6 0.60/0.68 c 4750 11941 3681090 830647 0 1845 7 8 6 0.60/0.68 c 4760 11964 3687930 832209 0 1850 6 8 6 0.60/0.68 c 4770 11990 3696214 834127 0 1855 5 8 5 0.60/0.68 c 4780 12015 3704515 835966 0 1858 6 8 6 0.60/0.68 c 4790 12038 3712167 837605 0 1864 7 8 6 0.60/0.68 c 4800 12060 3718756 839047 0 1869 6 9 6 0.60/0.68 c 4810 12083 3725428 840698 0 1874 6 8 6 0.60/0.68 conflict 8lvl : 8 bt6-80:0(21)X303564 0.60/0.68 c 4820 12110 3733297 842395 0 1879 7 9 6 0.60/0.68 c 4830 12134 3740423 843919 0 1880 7 9 7 0.60/0.69 c 4840 12155 3746807 845462 0 1886 6 8 6 0.60/0.69 c 4850 12180 3754732 847110 0 1887 7 9 7 0.60/0.69 c 4860 12205 3762058 848768 0 1891 7 9 7 0.60/0.69 c 4870 12232 3770181 850726 0 1893 6 8 6 0.60/0.69 c 4880 12256 3777680 852435 0 1898 6 8 6 0.60/0.69 c 4890 12279 3784018 853903 0 1902 6 9 7 0.60/0.69 c 4900 12304 3791804 855558 0 1906 7 8 6 0.60/0.69 c 4910 12333 3800822 857497 0 1910 6 9 7 0.60/0.69 c 4920 12358 3808779 859540 0 1915 5 8 6 0.69/0.70 c 4930 12385 3816864 861312 0 1916 6 8 6 0.69/0.70 c 4940 12408 3823663 863027 0 1921 6 8 6 0.69/0.70 c 4950 12436 3830699 864474 0 1926 7 10 7 0.69/0.70 c 4960 12465 3840228 866636 0 1930 6 8 6 0.69/0.70 c 4970 12488 3847131 868229 0 1933 6 8 6 0.69/0.70 c 4980 12509 3854290 869683 0 1935 6 9 6 0.69/0.70 c 4990 12538 3862899 871764 0 1940 5 9 6 0.69/0.71 c 5035 12628 3889219 877511 0 1947 6 9 7 0.69/0.75 c 5631 13851 4247959 952801 0 1959 5 10 7 0.69/0.79 c 6286 15207 4630491 1039372 0 1962 5 11 7 0.79/0.84 c 7006 16665 5050616 1133590 0 1979 5 10 7 0.89/0.90 c 7798 18321 5531542 1239953 0 2012 5 10 7 0.89/0.90 conflict 30lvl : 7 bt7-471:0(18)X304701 0.89/0.96 c 8669 20145 6046493 1352018 0 2033 5 11 7 1.00/1.02 c 9627 22189 6616199 1477225 0 2054 4 10 7 1.00/1.10 c 10680 24400 7253884 1615868 0 2064 5 10 7 1.10/1.18 c 11838 26791 7950000 1771388 0 2078 5 10 7 1.19/1.27 c 13111 29420 8704694 1932060 0 2110 5 11 7 1.29/1.37 c 14511 32319 9564953 2127978 0 2119 5 10 7 1.39/1.48 c 16051 35474 10492563 2333622 0 2134 5 11 7 1.49/1.59 c 17745 38918 11509493 2550511 0 2150 5 10 7 1.69/1.72 c 19608 42818 12627857 2792096 0 2168 4 10 7 1.79/1.87 c 21657 47043 13857980 3069996 0 2198 4 9 6 2.00/2.03 c 23910 51700 15225758 3369129 0 2211 5 10 7 2.19/2.20 c 26388 56754 16697573 3689679 0 2230 4 10 7 2.29/2.39 c 29113 62434 18374167 4064599 0 2248 4 10 7 2.49/2.59 c 32110 68640 20137384 4442925 0 2253 5 10 7 2.79/2.82 c 35406 75524 22106449 4860944 0 2265 5 11 7 3.00/3.07 c 39031 83045 24278243 5340547 0 2275 4 11 7 3.29/3.35 c 43018 91306 26685413 5879191 0 2298 4 10 7 3.59/3.66 c 47403 100340 29309920 6457798 0 2314 4 10 7 3.69/3.77 conflict 21lvl : 7 bt6-262:0(20)X306932 3.89/3.99 c 52226 110293 32201361 7078274 0 2328 5 11 7 4.29/4.36 c 57531 121279 35378527 7771413 0 2342 4 10 7 4.69/4.76 c 63366 133381 38900230 8538104 0 2358 4 11 7 5.19/5.21 c 69784 146666 42773773 9377310 0 2385 4 11 7 5.69/5.71 c 76843 161079 47000171 10346781 0 2423 4 10 6 6.19/6.25 c 84607 177087 51640129 11375629 0 2456 4 11 7 6.79/6.85 c 93147 194647 56762323 12509274 0 2491 4 10 7 7.49/7.50 c 102541 213989 62413822 13729168 0 2513 4 11 7 8.19/8.23 c 112874 235227 68616222 15106894 0 2535 4 11 7 9.00/9.04 c 124240 258726 75552431 16642424 0 2553 4 10 7 9.89/9.91 c 136742 284911 83115367 18305192 0 2570 3 12 7 10.49/10.55 conflict 130lvl : 8 bt7-209:0(93)X308709 10.79/10.87 c 150494 313425 91426611 20114363 0 2587 4 11 7 11.89/11.93 c 165621 345140 100581603 22107348 0 2603 4 11 7 13.00/13.09 c 182260 379692 110593768 24315285 0 2619 4 11 7 14.29/14.39 c 200562 418093 121704644 26771497 0 2654 4 11 7 15.79/15.83 c 220694 459763 133929534 29512822 0 2672 3 11 7 17.39/17.41 c 242839 506143 147377442 32495890 0 2704 4 11 7 18.10/18.14 conflict 85lvl : 9 bt9-526:0(123)X309733 19.10/19.14 c 267198 556876 162168357 35749598 0 2737 4 12 7 21.00/21.03 c 293992 612021 178275112 39357862 0 2769 4 11 7 23.10/23.12 c 323465 672983 196067947 43346330 0 2789 3 11 7 25.29/25.38 c 355885 740404 215589365 47603412 0 2817 3 13 7 27.79/27.87 c 391547 814891 237114266 52291692 0 2833 3 12 7 29.00/29.09 conflict 49lvl : 7 bt7-339:0(56)X310684 29.19/29.26 conflict 29lvl : 9 bt8-599:0(110)X310736 30.59/30.65 c 430775 896259 260739011 57575661 0 2854 3 11 7 33.59/33.63 c 473925 985158 286519702 63237471 0 2874 4 12 7 36.89/36.98 c 521390 1083939 315091947 69582440 0 2880 3 13 7 37.19/37.28 conflict 12lvl : 6 bt5-365:0(24)X311078 40.29/40.31 conflict 84lvl : 8 bt7-235:0(82)X311093 40.59/40.66 c 573601 1192940 346611997 76529247 0 2907 3 11 7 44.59/44.65 c 631033 1311728 380993340 84099785 0 2937 3 12 7 49.10/49.14 c 694208 1442927 419028670 92603856 0 2970 3 12 7 51.39/51.40 conflict 13lvl : 8 bt7-318:0(45)X311743 51.79/51.84 conflict 40lvl : 7 bt7-341:0(56)X311759 52.49/52.51 conflict 69lvl : 7 bt7-212:0(52)X311802 52.59/52.64 conflict 46lvl : 7 bt7-308:0(56)X311874 54.00/54.06 c 763700 1587290 460798997 101956799 0 2999 3 11 7 58.00/58.10 c solution 1 58.00/58.10 58.00/58.10 v <instantiation type='solution'> 58.00/58.10 v <list>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] x[20] x[21] x[22] x[23] x[24] x[25] </list> 58.00/58.10 v <values>12 1 4 7 16 5 6 14 0 5 4 2 7 4 5 21 17 15 20 2 7 15 23 4 3 9 </values> 58.00/58.10 v </instantiation> 58.00/58.10 58.00/58.10 c restarts : 569 58.00/58.10 c conflicts : 820826 (14127 /sec) 58.00/58.10 c decisions : 1705636 (29355 /sec) 58.00/58.10 c propagations : 109566855 (1885716 /sec) 58.00/58.10 c root propagations : 0 58.00/58.10 c filter calls : 495308153 (8524570 /sec) 58.00/58.10 c useless filter calls : 422477171 (85 %) 58.00/58.10 c 58.00/58.10 c clauses : 61850 58.00/58.10 c SAT propagations : 16490 58.00/58.10 c SAT conflicts : 1112 (30 learnts) 58.00/58.10 c Memory used : 33.10 MB 58.00/58.10 c CPU time : 58.1035 s 58.00/58.10 58.00/58.10 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 (14166 MiB free) memory of node 1: 16384 MiB (12366 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266311-1502568115/watcher-4266311-1502568115 -o /tmp/evaluation-result-4266311-1502568115/solver-4266311-1502568115 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24357 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266311-1502568115.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=24451, runsolver pid=24448 Current StackSize limit: 8192 KiB [startup+0.100198 s]* /proc/loadavg: 0.01 0.03 0.05 3/191 24452 /proc/meminfo: memFree=27168252/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=27484 memory=3664 CPUtime=0.1 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 1102 0 0 0 10 0 0 0 20 0 1 0 89899385 28143616 916 33554432000 4194304 5972588 140733877414768 140733877411416 139782721162213 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 6871 916 722 435 0 234 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27484 KiB Current children cumulated memory: 3664 KiB [startup+0.20959 s]* /proc/loadavg: 0.01 0.03 0.05 3/191 24452 /proc/meminfo: memFree=27164188/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33760 memory=7812 CPUtime=0.21 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 1630 0 0 0 21 0 0 0 20 0 1 0 89899385 34570240 1953 33554432000 4194304 5972588 140733877414768 140733877411416 4913636 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8440 1953 754 435 0 1803 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 33760 KiB Current children cumulated memory: 7812 KiB [startup+0.309552 s]* /proc/loadavg: 0.01 0.03 0.05 3/191 24452 /proc/meminfo: memFree=27164188/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33760 memory=7812 CPUtime=0.31 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 1636 0 0 0 31 0 0 0 20 0 1 0 89899385 34570240 1953 33554432000 4194304 5972588 140733877414768 140733877411416 139782721600608 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8440 1953 754 435 0 1803 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 33760 KiB Current children cumulated memory: 7812 KiB [startup+0.700334 s] /proc/loadavg: 0.01 0.03 0.05 3/191 24452 /proc/meminfo: memFree=27164188/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33760 memory=7812 CPUtime=0.69 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 1638 0 0 0 69 0 0 0 20 0 1 0 89899385 34570240 1953 33554432000 4194304 5972588 140733877414768 140733877411416 4913456 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8440 1953 754 435 0 1803 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 33760 KiB Current children cumulated memory: 7812 KiB [startup+1.50034 s] /proc/loadavg: 0.09 0.04 0.05 3/191 24452 /proc/meminfo: memFree=27163536/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33760 memory=7812 CPUtime=1.49 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 1639 0 0 0 149 0 0 0 20 0 1 0 89899385 34570240 1953 33554432000 4194304 5972588 140733877414768 140733877412072 4913517 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8440 1953 754 435 0 1803 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 33760 KiB Current children cumulated memory: 7812 KiB [startup+3.10919 s] /proc/loadavg: 0.09 0.04 0.05 3/191 24452 /proc/meminfo: memFree=27163548/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33760 memory=7956 CPUtime=3.1 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 2217 0 0 0 310 0 0 0 20 0 1 0 89899385 34570240 1989 33554432000 4194304 5972588 140733877414768 140733877412072 4913437 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8440 1989 775 435 0 1803 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 33760 KiB Current children cumulated memory: 7956 KiB [startup+6.30032 s] /proc/loadavg: 0.24 0.08 0.06 3/191 24452 /proc/meminfo: memFree=27163984/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33760 memory=7964 CPUtime=6.29 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 2798 0 0 0 629 0 0 0 20 0 1 0 89899385 34570240 1991 33554432000 4194304 5972588 140733877414768 140733877412072 4913632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8440 1991 775 435 0 1803 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 33760 KiB Current children cumulated memory: 7964 KiB [startup+12.7003 s] /proc/loadavg: 0.46 0.13 0.08 3/191 24513 /proc/meminfo: memFree=26933460/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33892 memory=7972 CPUtime=12.69 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 3383 0 0 0 1269 0 0 0 20 0 1 0 89899385 34705408 1993 33554432000 4194304 5972588 140733877414768 140733877412072 4913729 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8473 1993 775 435 0 1836 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 33892 KiB Current children cumulated memory: 7972 KiB [startup+25.5003 s] /proc/loadavg: 0.70 0.19 0.10 3/191 24513 /proc/meminfo: memFree=21330420/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33892 memory=7984 CPUtime=25.49 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 4548 0 0 0 2549 0 0 0 20 0 1 0 89899385 34705408 1996 33554432000 4194304 5972588 140733877414768 140733877412072 4913651 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8473 1996 775 435 0 1836 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 33892 KiB Current children cumulated memory: 7984 KiB [startup+51.1092 s] /proc/loadavg: 1.14 0.35 0.15 3/191 24574 /proc/meminfo: memFree=27123100/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33892 memory=7984 CPUtime=51.1 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 5137 0 0 0 5110 0 0 0 20 0 1 0 89899385 34705408 1996 33554432000 4194304 5972588 140733877414768 140733877412072 4913525 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8473 1996 775 435 0 1836 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 33892 KiB Current children cumulated memory: 7984 KiB [startup+58.1041 s] # the end of solver process 24451 was just reported to runsolver # cumulated CPU time of all completed processes: user=58.1036 s, system=0.006 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+51.2004 s] /proc/loadavg: 1.14 0.35 0.15 3/191 24574 /proc/meminfo: memFree=27123100/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33892 memory=7984 CPUtime=51.19 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 5137 0 0 0 5119 0 0 0 20 0 1 0 89899385 34705408 1996 33554432000 4194304 5972588 140733877414768 140733877412072 5320296 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8473 1996 775 435 0 1836 0 Current children cumulated CPU time: 51.19 s Current children cumulated vsize: 33892 KiB Current children cumulated memory: 7984 KiB [startup+54.4003 s] /proc/loadavg: 1.14 0.35 0.15 3/191 24574 /proc/meminfo: memFree=27107716/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33892 memory=7984 CPUtime=54.39 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 5137 0 0 0 5439 0 0 0 20 0 1 0 89899385 34705408 1996 33554432000 4194304 5972588 140733877414768 140733877412072 4913632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8473 1996 775 435 0 1836 0 Current children cumulated CPU time: 54.39 s Current children cumulated vsize: 33892 KiB Current children cumulated memory: 7984 KiB [startup+56.0003 s]* /proc/loadavg: 1.21 0.37 0.16 3/190 24574 /proc/meminfo: memFree=27097356/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33892 memory=7984 CPUtime=56 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 5137 0 0 0 5600 0 0 0 20 0 1 0 89899385 34705408 1996 33554432000 4194304 5972588 140733877414768 140733877412072 4913729 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8473 1996 775 435 0 1836 0 Current children cumulated CPU time: 56 s Current children cumulated vsize: 33892 KiB Current children cumulated memory: 7984 KiB [startup+56.8003 s] /proc/loadavg: 1.21 0.37 0.16 3/190 24574 /proc/meminfo: memFree=27097356/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33892 memory=7984 CPUtime=56.8 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 5137 0 0 0 5680 0 0 0 20 0 1 0 89899385 34705408 1996 33554432000 4194304 5972588 140733877414768 140733877412072 4913437 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8473 1996 775 435 0 1836 0 Current children cumulated CPU time: 56.8 s Current children cumulated vsize: 33892 KiB Current children cumulated memory: 7984 KiB [startup+57.6003 s] /proc/loadavg: 1.21 0.37 0.16 3/190 24574 /proc/meminfo: memFree=27092148/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33892 memory=7984 CPUtime=57.6 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 5137 0 0 0 5760 0 0 0 20 0 1 0 89899385 34705408 1996 33554432000 4194304 5972588 140733877414768 140733877412072 5328685 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8473 1996 775 435 0 1836 0 Current children cumulated CPU time: 57.6 s Current children cumulated vsize: 33892 KiB Current children cumulated memory: 7984 KiB [startup+58.0003 s]* /proc/loadavg: 1.21 0.37 0.16 3/190 24574 /proc/meminfo: memFree=27087312/32770624 swapFree=67108860/67108860 [pid=24451] ppid=24448 vsize=33892 memory=7984 CPUtime=58 cores=0,2,4,6 /proc/24451/stat : 24451 (cosoco) R 24448 24451 24273 0 -1 4202496 5137 0 0 0 5800 0 0 0 20 0 1 0 89899385 34705408 1996 33554432000 4194304 5972588 140733877414768 140733877412072 4913729 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 23576576 140733877421242 140733877421342 140733877421342 140733877424078 0 /proc/24451/statm: 8473 1996 775 435 0 1836 0 Current children cumulated CPU time: 58 s Current children cumulated vsize: 33892 KiB Current children cumulated memory: 7984 KiB Child status: 0 Real time (s): 58.1042 CPU time (s): 58.1096 CPU user time (s): 58.1036 CPU system time (s): 0.006 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 33892 Max. memory (cumulated for all children) (KiB): 7984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 58.1036 system time used= 0.006 maximum resident set size= 8072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5177 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= 7 involuntary context switches= 41 # summary of solver processes directly reported to runsolver: # pid: 24451 # total CPU time (s): 58.1096 # total CPU user time (s): 58.1036 # total CPU system time (s): 0.006 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.248412 second user time and 0.44521 second system time The end
Begin job on node114 at 2017-08-12 21:47:37 IDJOB=4266311 IDBENCH=122073 IDSOLVER=2655 FILE ID=node114/4266311-1502568115 RUNJOBID= node114-1502567254-24357 PBS_JOBID= 20628281 Free space on /tmp= 61696 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Random/Random-B-2-26-26/rand-2-26-26-325-155-2.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266311-1502568115/watcher-4266311-1502568115 -o /tmp/evaluation-result-4266311-1502568115/solver-4266311-1502568115 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24357 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266311-1502568115.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f524f0f0288a36fdb548674cb0263900 RANDOM SEED=1216060407 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 27169284 kB MemAvailable: 31993248 kB Buffers: 120512 kB Cached: 4995516 kB SwapCached: 0 kB Active: 355816 kB Inactive: 4815208 kB Active(anon): 58012 kB Inactive(anon): 25036 kB Active(file): 297804 kB Inactive(file): 4790172 kB Unevictable: 6520 kB Mlocked: 6520 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5220 kB Writeback: 0 kB AnonPages: 61704 kB Mapped: 44212 kB Shmem: 25224 kB Slab: 128528 kB SReclaimable: 103648 kB SUnreclaim: 24880 kB KernelStack: 3328 kB PageTables: 5064 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 355904 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61696 MiB End job on node114 at 2017-08-12 21:48:35