| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | UNSAT | 489.168 | 489.22198 |
| Name | QuasiGroups/QuasiGroups-elt-qg4/ QuasiGroup-4-08.xml |
| MD5SUM | 86261698a40453ca60d699c1ebc214eb |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 43.4333 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 128 |
| Number of constraints | 114 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 64 |
| Distribution of domain sizes | [{"size":8,"count":64},{"size":64,"count":56}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 59 |
| Distribution of variable degrees | [{"degree":0,"count":8},{"degree":2,"count":56},{"degree":58,"count":8},{"degree":59,"count":56}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 65 |
| Distribution of constraint arities | [{"arity":3,"count":56},{"arity":8,"count":1},{"arity":64,"count":1},{"arity":65,"count":56}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 56 |
| Distribution of constraint types | [{"type":"intension","count":56},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":56}] |
| Optimization problem | NO |
| Type of objective |
0.01/0.17 c SAT : Variables: 4608 -- Clauses: 130944 0.01/0.18 c root propagations : 910 0.01/0.18 c restarts enabled, print stats at every restarts 0.01/0.18 c 0.01/0.18 c 0.01/0.18 c 0.01/0.18 c This is cosoco 1.12 -- 0.01/0.18 c 0.01/0.18 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266278-1502583465.xml 0.01/0.18 c ========================================[ Problem Statistics ]=========================================== 0.01/0.18 c | 0.01/0.18 c | Parse time : 0.07 s 0.01/0.18 c | 0.01/0.18 c | Variables: 128 0.01/0.18 c | Domain Sizes: 8..64 0.01/0.18 c | 0.01/0.18 c | Constraints: 136 0.01/0.18 c | Arity: 1..65 -- Unary: 8 -- Ternary: 56 0.01/0.18 c | 0.01/0.18 c | Types: 0.01/0.18 c | All Different: 16 0.01/0.18 c | Element Constant: 56 0.01/0.18 c | Intension: 56 0.01/0.18 c | Unary: 8 0.01/0.18 c | 0.01/0.18 c ========================================================================================================= 0.01/0.18 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.01/0.18 c remove useless variable y[0][0] 0.01/0.18 c remove useless variable y[1][1] 0.01/0.18 c remove useless variable y[2][2] 0.01/0.18 c remove useless variable y[3][3] 0.01/0.18 c remove useless variable y[4][4] 0.01/0.18 c remove useless variable y[5][5] 0.01/0.18 c remove useless variable y[6][6] 0.01/0.18 c remove useless variable y[7][7] 0.01/0.19 c 10 58 13596 10971 90 7 30 38 29 0.01/0.20 c 20 100 25888 20214 90 10 13 23 16 0.01/0.21 c 30 162 44110 33058 90 14 17 25 20 0.11/0.23 c 40 219 62551 45526 90 19 20 26 20 0.11/0.24 c 50 299 79714 54275 90 22 23 53 25 0.11/0.25 c 60 350 97212 65895 90 27 18 29 20 0.11/0.26 c 70 407 114187 75485 90 32 20 28 22 0.11/0.27 c 80 466 133677 87372 90 37 21 28 23 0.11/0.29 c 90 535 151328 98486 90 42 25 29 24 0.11/0.30 c 100 598 169249 110715 90 44 19 30 22 0.11/0.30 c 101 624 174986 113471 90 45 26 26 13 0.21/0.32 c 110 712 191977 123229 90 50 23 53 26 0.21/0.33 c 120 760 208665 134782 90 53 22 27 22 0.21/0.34 c 130 838 237987 153094 90 54 18 29 21 0.21/0.36 c 140 899 259905 167131 90 57 20 28 21 0.21/0.37 c 150 989 282921 182307 90 60 19 53 24 0.21/0.39 c 160 1064 304598 194592 90 64 19 30 23 0.21/0.40 c 170 1112 320514 205226 90 67 22 26 21 0.21/0.41 c 180 1166 336757 215461 90 70 19 28 22 0.31/0.42 c 190 1215 352866 225312 90 71 18 26 19 0.31/0.43 c 200 1324 374540 236800 90 74 21 53 26 0.31/0.44 c 210 1404 392979 248139 90 77 18 53 23 0.31/0.45 c 211 1423 395832 249809 90 78 19 19 9 0.31/0.46 c 220 1469 408194 257164 90 79 23 29 23 0.31/0.47 c 230 1522 422741 267373 90 82 25 27 23 0.31/0.48 c 240 1566 436100 276535 90 85 25 28 23 0.31/0.49 c 250 1607 447168 284987 90 90 20 25 19 0.31/0.50 c 260 1659 466481 295664 90 93 19 26 20 0.31/0.51 c 270 1730 488731 309912 90 97 20 32 23 0.41/0.52 c 280 1781 504780 319330 90 100 19 26 20 0.41/0.54 c 290 1827 517562 327894 90 106 17 24 18 0.41/0.54 c 300 1873 530608 337635 90 111 22 29 22 0.41/0.55 c 310 1925 545963 345767 90 113 19 28 22 0.41/0.57 c 320 1978 567873 359853 90 116 22 30 22 0.41/0.59 c 330 2050 591270 375778 90 119 21 30 22 0.41/0.59 c 332 2078 597256 378825 90 121 20 27 15 0.41/0.60 c 340 2131 608760 386923 90 125 22 30 22 0.50/0.62 c 350 2209 629249 401458 90 127 21 53 23 0.50/0.63 c 360 2259 643776 409989 90 131 21 29 22 0.50/0.64 c 370 2315 659802 419395 90 136 24 29 23 0.50/0.65 c 380 2376 677278 431797 90 142 21 28 22 0.50/0.66 c 390 2427 691184 442168 90 146 22 26 22 0.50/0.67 c 400 2484 707525 451717 90 152 20 27 21 0.50/0.68 c 410 2550 727194 465082 90 155 23 28 23 0.59/0.70 c 420 2629 748393 480371 90 158 21 53 23 0.59/0.71 c 430 2693 766974 490943 90 160 25 30 25 0.59/0.72 c 440 2743 782731 499800 90 161 19 24 20 0.59/0.74 c 450 2822 804319 514991 90 163 22 53 26 0.59/0.75 c 460 2916 825462 528844 90 167 22 53 26 0.59/0.76 c 465 2956 833490 533995 90 169 21 29 20 0.59/0.76 c 470 3000 844952 540734 90 172 21 29 20 0.59/0.78 c 480 3041 862284 554114 90 176 20 24 19 0.59/0.79 c 490 3101 877125 562016 90 177 22 30 24 0.69/0.80 c 500 3143 889188 570374 90 183 20 29 22 0.69/0.81 c 510 3209 909908 582339 90 185 18 31 21 0.69/0.82 c 520 3260 927404 596046 90 187 21 29 21 0.69/0.83 c 530 3308 940658 605188 90 192 21 28 21 0.69/0.85 c 540 3372 962219 617972 90 195 20 27 21 0.69/0.86 c 550 3439 981856 633051 90 201 19 29 22 0.69/0.88 c 560 3498 998442 646277 90 204 23 30 23 0.69/0.89 c 570 3555 1018436 658048 90 206 17 30 21 0.79/0.90 c 580 3600 1033167 668641 90 208 21 25 20 0.79/0.91 c 590 3665 1051607 679895 90 212 20 28 21 0.79/0.92 c 600 3713 1063862 688838 90 214 21 33 23 0.79/0.93 c 610 3768 1077944 697891 90 216 24 29 23 0.79/0.94 c 611 3790 1081989 700508 90 217 22 22 11 0.79/0.95 c 620 3853 1097134 709854 90 221 22 29 23 0.79/0.96 c 630 3917 1112961 719987 90 223 18 28 21 0.79/0.97 c 640 3980 1132319 730839 90 226 20 31 22 0.79/0.99 c 650 4046 1155040 744258 90 228 20 30 22 0.79/0.99 c 660 4086 1162784 749369 90 234 16 27 18 0.90/1.01 c 670 4142 1183083 762758 90 239 20 29 22 0.90/1.02 c 680 4209 1203732 776397 90 241 24 30 25 0.90/1.03 c 690 4292 1224795 788973 90 244 23 53 25 0.90/1.04 c 700 4349 1241265 798766 90 245 23 30 23 0.90/1.06 c 710 4402 1259238 810783 90 252 23 29 23 0.90/1.07 c 720 4465 1276519 820642 90 258 21 32 23 0.90/1.08 c 730 4524 1292799 832486 90 263 20 30 22 0.90/1.09 c 740 4585 1313477 842080 90 267 20 32 22 0.90/1.10 c 750 4633 1329779 850733 90 273 20 29 21 1.00/1.12 c 760 4716 1351138 865135 90 276 23 53 26 1.00/1.13 c 770 4775 1365178 873308 90 279 22 29 24 1.00/1.13 c 771 4795 1367763 874825 90 280 20 20 10 1.00/1.14 c 780 4839 1380308 884520 90 286 21 28 21 1.00/1.15 c 790 4905 1400097 894649 90 290 20 32 24 1.00/1.17 c 800 4966 1417320 906098 90 292 22 27 22 1.00/1.18 c 810 5024 1435711 916727 90 294 21 28 22 1.00/1.19 c 820 5070 1448447 924666 90 297 20 27 21 1.09/1.20 c 830 5124 1465351 935066 90 302 21 26 22 1.09/1.21 c 840 5180 1481286 945395 90 303 23 29 23 1.09/1.22 c 850 5241 1499228 957588 90 307 20 30 22 1.09/1.24 c 860 5302 1515750 966978 90 315 23 30 23 1.09/1.25 c 870 5391 1538281 978851 90 319 22 53 25 1.09/1.26 c 880 5454 1557960 989882 90 325 20 28 21 1.09/1.27 c 890 5516 1573787 999400 90 330 17 29 22 1.09/1.29 c 900 5570 1595895 1015290 90 331 22 28 21 1.19/1.30 c 910 5622 1618108 1031169 90 336 21 27 21 1.19/1.32 c 920 5690 1638459 1044101 90 340 20 29 22 1.19/1.33 c 930 5749 1656622 1055360 90 345 20 27 22 1.19/1.34 c 940 5815 1679133 1067562 90 349 22 32 22 1.19/1.35 c 947 5859 1691810 1075999 90 351 22 29 21 1.19/1.36 c 950 5892 1699627 1081035 90 354 17 28 17 1.19/1.37 c 960 5937 1716136 1093378 90 356 21 27 21 1.19/1.38 c 970 5998 1732718 1102835 90 360 23 30 24 1.19/1.39 c 980 6053 1746950 1112400 90 363 19 31 22 1.29/1.41 c 990 6106 1767210 1124208 90 368 21 27 21 1.29/1.42 c 1000 6164 1784823 1134543 90 371 17 27 21 1.29/1.44 c 1010 6249 1809019 1150891 90 375 21 53 23 1.29/1.45 c 1020 6314 1828942 1163574 90 376 20 28 22 1.29/1.46 c 1030 6363 1844837 1173419 90 379 21 24 20 1.29/1.47 c 1040 6434 1867901 1185876 90 383 23 30 23 1.29/1.49 c 1050 6490 1886100 1196511 90 385 22 29 22 1.39/1.50 c 1060 6533 1899872 1206666 90 390 19 24 19 1.39/1.51 c 1070 6581 1916781 1217418 90 397 22 28 22 1.39/1.52 c 1080 6638 1933913 1226642 90 403 23 28 23 1.39/1.53 c 1090 6687 1948573 1234811 90 408 19 28 21 1.39/1.54 c 1100 6731 1963122 1244861 90 411 21 24 20 1.39/1.55 c 1110 6784 1978073 1252945 90 415 19 30 22 1.39/1.56 c 1120 6853 1997434 1265186 90 417 21 31 23 1.39/1.58 c 1130 6904 2016263 1280136 90 420 21 27 21 1.39/1.59 c 1140 6944 2024627 1287379 90 423 16 29 19 1.39/1.59 c 1141 6964 2026983 1288804 90 424 20 20 10 1.49/1.60 c 1150 7018 2044848 1301538 90 430 19 29 22 1.49/1.61 c 1160 7070 2060648 1310324 90 433 20 31 23 1.49/1.62 c 1170 7115 2073370 1318568 90 434 23 27 21 1.49/1.64 c 1180 7186 2093264 1331432 90 440 22 28 22 1.49/1.65 c 1190 7230 2107507 1340515 90 444 23 29 22 1.49/1.66 c 1200 7286 2128624 1354410 90 448 21 28 21 1.49/1.67 c 1210 7339 2145172 1366458 90 455 20 27 20 1.49/1.69 c 1220 7392 2160106 1377816 90 458 22 27 21 1.59/1.70 c 1230 7440 2176742 1387297 90 460 22 27 21 1.59/1.71 c 1240 7487 2190696 1398243 90 461 21 28 21 1.59/1.72 c 1250 7605 2215874 1414731 90 465 21 53 26 1.59/1.73 c 1260 7648 2227934 1421864 90 473 21 28 21 1.59/1.74 c 1270 7693 2242925 1430469 90 477 20 25 19 1.59/1.75 c 1280 7738 2257144 1440149 90 481 20 25 20 1.59/1.76 c 1290 7788 2272883 1451887 90 487 22 29 22 1.59/1.78 c 1300 7838 2287887 1461890 90 490 21 29 23 1.59/1.79 c 1310 7899 2306237 1472982 90 496 20 29 22 1.69/1.80 c 1320 7947 2317962 1479250 90 497 22 30 23 1.69/1.81 c 1330 8006 2336035 1490655 90 499 20 29 21 1.69/1.82 c 1340 8054 2349672 1501803 90 501 22 27 21 1.69/1.83 c 1350 8121 2369572 1511983 90 503 20 29 22 1.69/1.84 c 1352 8147 2374680 1514826 90 504 24 25 16 1.69/1.85 c 1360 8193 2388041 1523376 90 505 19 30 21 1.69/1.86 c 1370 8274 2404920 1532444 90 508 23 53 27 1.69/1.87 c 1380 8331 2424443 1545350 90 511 23 29 23 1.69/1.89 c 1390 8386 2442773 1558999 90 515 21 28 21 1.79/1.90 c 1400 8431 2454582 1569501 90 516 23 27 22 1.79/1.91 c 1410 8505 2479723 1582557 90 520 22 31 24 1.79/1.92 c 1420 8551 2493421 1592121 90 523 24 29 23 1.79/1.93 c 1430 8604 2508657 1601045 90 526 23 28 22 1.79/1.94 c 1440 8649 2521866 1612489 90 530 22 26 22 1.79/1.96 c 1450 8703 2538212 1623575 90 534 23 28 22 1.79/1.97 c 1460 8751 2552680 1631973 90 536 20 29 22 1.79/1.98 c 1470 8815 2568823 1641102 90 537 22 32 24 1.79/1.99 c 1480 8872 2586205 1651591 90 541 20 30 23 1.79/2.00 c 1490 8976 2608434 1664050 90 545 24 53 26 1.90/2.01 c 1500 9035 2626736 1673927 90 547 20 28 22 1.90/2.03 c 1510 9097 2646884 1685335 90 552 17 29 21 1.90/2.04 c 1520 9164 2668687 1697983 90 557 17 30 21 1.90/2.05 c 1530 9224 2686911 1709912 90 559 20 27 21 1.90/2.06 c 1540 9283 2701477 1718325 90 565 23 31 24 1.90/2.08 c 1550 9332 2716599 1729052 90 570 17 26 20 1.90/2.09 c 1560 9472 2739616 1739135 90 574 22 53 31 1.90/2.10 c 1570 9540 2757246 1748604 90 578 21 38 23 2.00/2.11 c 1580 9595 2774406 1759284 90 583 20 27 21 2.00/2.12 c 1585 9633 2784887 1766220 90 587 17 25 18 2.00/2.13 c 1590 9668 2793783 1771595 90 591 24 29 21 2.00/2.14 c 1600 9729 2811352 1782879 90 592 24 30 24 2.00/2.15 c 1610 9791 2831101 1793242 90 595 20 28 22 2.00/2.16 c 1620 9848 2850689 1803588 90 597 23 30 23 2.00/2.18 c 1630 9911 2873568 1817306 90 603 20 32 22 2.00/2.19 c 1640 9973 2892024 1826559 90 607 19 32 23 2.09/2.20 c 1650 10037 2911028 1836952 90 614 23 28 23 2.09/2.21 c 1660 10111 2928593 1848353 90 616 20 30 24 2.09/2.23 c 1670 10190 2949659 1858735 90 620 22 53 24 2.09/2.24 c 1680 10286 2975066 1872886 90 625 17 53 25 2.09/2.25 c 1690 10371 2996137 1885608 90 628 22 53 25 2.09/2.27 c 1700 10433 3017824 1898252 90 632 21 28 23 2.09/2.28 c 1710 10491 3041488 1910880 90 634 17 27 20 2.19/2.30 c 1720 10543 3057101 1920391 90 638 25 30 24 2.19/2.31 c 1730 10599 3074956 1933467 90 641 21 28 21 2.19/2.32 c 1740 10648 3092112 1943818 90 643 20 28 22 2.19/2.34 c 1750 10707 3113712 1955987 90 645 21 30 22 2.19/2.35 c 1760 10752 3129550 1965752 90 648 20 25 20 2.19/2.36 c 1770 10819 3151622 1979779 90 651 21 29 22 2.19/2.38 c 1780 10874 3168855 1992091 90 657 19 29 22 2.19/2.39 c 1790 10937 3189181 2006703 90 662 21 31 24 2.29/2.40 c 1800 10985 3205045 2018246 90 667 20 29 21 2.29/2.41 c 1810 11049 3223835 2031307 90 670 21 29 23 2.29/2.43 c 1820 11115 3240123 2040939 90 675 20 31 23 2.29/2.44 c 1830 11170 3256696 2051614 90 678 21 30 23 2.29/2.45 c 1840 11218 3269598 2060515 90 682 24 30 24 2.29/2.45 c 1841 11245 3275222 2063412 90 683 27 27 13 2.29/2.46 c 1850 11295 3288526 2072661 90 685 24 31 23 2.29/2.47 c 1860 11352 3304865 2082118 90 687 23 29 23 2.29/2.48 c 1870 11416 3325566 2093928 90 691 22 31 24 2.29/2.49 c 1880 11477 3342748 2105858 90 694 22 28 23 2.39/2.51 c 1890 11536 3361365 2116461 90 698 21 28 22 2.39/2.52 c 1900 11579 3371236 2123703 90 701 22 26 21 2.39/2.53 c 1910 11634 3391465 2135975 90 706 21 28 21 2.39/2.54 c 1920 11696 3411819 2148570 90 709 19 30 23 2.39/2.55 c 1930 11766 3430314 2159216 90 713 23 31 24 2.39/2.57 c 1940 11850 3447112 2168087 90 714 24 53 27 2.39/2.58 c 1950 11905 3464532 2180431 90 716 19 29 23 2.39/2.59 c 1960 11964 3480388 2189571 90 719 22 29 24 2.49/2.60 c 1970 12012 3496083 2199166 90 726 20 27 21 2.49/2.61 c 1980 12064 3511268 2207671 90 729 17 28 20 2.49/2.62 c 1990 12109 3524938 2216753 90 735 20 29 23 2.49/2.63 c 2000 12177 3541938 2227718 90 741 20 27 22 2.49/2.65 c 2010 12230 3558790 2239653 90 746 20 28 22 2.49/2.66 c 2020 12275 3574152 2248390 90 747 23 28 22 2.49/2.67 c 2030 12327 3588198 2257424 90 752 23 28 23 2.49/2.68 c 2040 12383 3606772 2268069 90 754 22 30 23 2.49/2.69 c 2050 12431 3620398 2276973 90 758 20 28 21 2.59/2.70 c 2060 12487 3635598 2286796 90 760 23 29 23 2.59/2.71 c 2070 12543 3652064 2298289 90 764 22 30 23 2.59/2.73 c 2080 12604 3669912 2309025 90 768 19 28 20 2.59/2.74 c 2090 12651 3683707 2318043 90 772 19 27 21 2.59/2.75 c 2100 12699 3698989 2329159 90 775 21 28 22 2.59/2.76 c 2110 12753 3714470 2338744 90 778 22 27 23 2.59/2.77 c 2120 12814 3730847 2348557 90 781 23 32 24 2.59/2.78 c 2122 12843 3737185 2352134 90 782 26 26 17 2.59/2.79 c 2130 12895 3754566 2362039 90 783 21 26 20 2.69/2.80 c 2140 12952 3767897 2369517 90 787 20 29 23 2.69/2.81 c 2150 13003 3786587 2380672 90 792 21 28 21 2.69/2.82 c 2160 13060 3803907 2393356 90 796 21 28 21 2.69/2.84 c 2170 13141 3827362 2406544 90 799 21 35 24 2.69/2.85 c 2180 13201 3846397 2417939 90 802 20 28 21 2.69/2.87 c 2190 13269 3867443 2430263 90 804 18 28 21 2.69/2.88 c 2200 13320 3886278 2440022 90 806 22 28 22 2.69/2.89 c 2210 13378 3905817 2451295 90 810 20 28 21 2.79/2.90 c 2220 13447 3923277 2464106 90 812 20 29 23 2.79/2.91 c 2230 13495 3939941 2474641 90 815 22 28 22 2.79/2.92 c 2240 13551 3953491 2483948 90 818 24 32 25 2.79/2.94 c 2250 13619 3973104 2495174 90 822 20 30 22 2.79/2.95 c 2260 13675 3989270 2503588 90 824 22 31 22 2.79/2.96 c 2270 13720 4002529 2512513 90 829 21 28 21 2.79/2.97 c 2280 13811 4026564 2526220 90 831 21 53 25 2.79/2.99 c 2290 13907 4049257 2539166 90 833 23 53 26 2.79/3.00 c 2300 13974 4068074 2550445 90 836 23 29 23 2.90/3.01 c 2310 14038 4086590 2562872 90 840 20 30 22 2.90/3.02 c 2320 14094 4100286 2570784 90 847 23 30 23 2.90/3.04 c 2330 14182 4121481 2583263 90 849 22 53 26 2.90/3.05 c 2340 14251 4140587 2595675 90 852 25 31 24 2.90/3.06 c 2350 14314 4158970 2607197 90 854 20 30 23 2.90/3.07 c 2360 14383 4179448 2619619 90 857 25 35 25 2.90/3.09 c 2370 14440 4196852 2632524 90 860 22 27 22 2.90/3.10 c 2380 14498 4216945 2643304 90 863 18 26 21 3.00/3.11 c 2390 14552 4233248 2655413 90 864 22 31 23 3.00/3.13 c 2400 14619 4256586 2670206 90 867 24 31 24 3.00/3.14 c 2410 14698 4275553 2682890 90 869 23 53 25 3.00/3.15 c 2420 14761 4294445 2695614 90 873 20 28 22 3.00/3.16 c 2430 14810 4308819 2705771 90 874 20 27 20 3.00/3.17 c 2431 14833 4313028 2708418 90 875 23 23 11 3.00/3.18 c 2440 14883 4328268 2716588 90 880 20 29 22 3.00/3.19 c 2450 14926 4342762 2727751 90 883 20 26 20 3.09/3.20 c 2460 14971 4355080 2735067 90 884 22 28 22 3.09/3.21 c 2470 15014 4368842 2747459 90 888 20 25 22 3.09/3.22 c 2480 15067 4386152 2757282 90 892 21 30 22 3.09/3.24 c 2490 15152 4408865 2770421 90 894 22 53 26 3.09/3.25 c 2500 15222 4424855 2779107 90 896 23 29 23 3.09/3.26 c 2510 15281 4444623 2791186 90 900 20 36 23 3.09/3.27 c 2520 15334 4461456 2803195 90 905 17 29 21 3.09/3.28 c 2530 15394 4479897 2815457 90 907 20 29 22 3.19/3.30 c 2540 15451 4499636 2829426 90 909 23 28 22 3.19/3.31 c 2550 15520 4518404 2842180 90 913 22 29 23 3.19/3.32 c 2560 15571 4533754 2851745 90 918 21 27 22 3.19/3.33 c 2570 15618 4547217 2861829 90 924 20 25 20 3.19/3.35 c 2580 15678 4564258 2873568 90 926 21 31 22 3.19/3.36 c 2590 15740 4582780 2886573 90 932 21 30 23 3.19/3.37 c 2600 15790 4595803 2896737 90 939 21 26 21 3.19/3.38 c 2610 15854 4615956 2908564 90 942 22 30 23 3.19/3.40 c 2620 15933 4636095 2919153 90 946 22 53 24 3.29/3.41 c 2630 15990 4654955 2929878 90 948 21 27 22 3.29/3.42 c 2640 16034 4667430 2939167 90 950 23 27 22 3.29/3.43 c 2650 16124 4693216 2953988 90 954 25 31 25 3.29/3.44 c 2660 16174 4706978 2962804 90 958 21 36 23 3.29/3.46 c 2670 16248 4726610 2975329 90 961 17 32 23 3.29/3.47 c 2680 16316 4744373 2986435 90 962 21 31 23 3.29/3.49 c 2690 16391 4768069 3000555 90 966 22 28 22 3.39/3.50 c 2700 16480 4788683 3012688 90 971 16 53 25 3.39/3.51 c 2710 16567 4808294 3024048 90 976 23 53 25 3.39/3.53 c 2720 16651 4833530 3035731 90 978 23 32 24 3.39/3.54 c 2730 16717 4849838 3045750 90 982 20 29 23 3.39/3.55 c 2740 16785 4866682 3057265 90 989 17 28 21 3.39/3.56 c 2750 16842 4884558 3070697 90 994 21 27 22 3.39/3.57 c 2760 16895 4899238 3080101 90 999 20 27 22 3.39/3.58 c 2770 16952 4911347 3087115 90 1001 22 32 24 3.39/3.59 c 2771 16979 4917187 3090485 90 1002 27 27 13 3.49/3.60 c 2780 17021 4929782 3097784 90 1003 23 28 23 3.49/3.61 c 2790 17080 4950843 3111098 90 1009 20 27 21 3.49/3.62 c 2800 17147 4974392 3125599 90 1011 20 29 22 3.49/3.64 c 2810 17213 4994425 3137819 90 1016 20 29 22 3.49/3.65 c 2820 17267 5011891 3150974 90 1019 22 28 22 3.49/3.66 c 2830 17330 5032887 3161413 90 1024 21 29 22 3.49/3.68 c 2840 17413 5051156 3172768 90 1028 24 53 26 3.49/3.69 c 2850 17478 5066095 3181690 90 1030 21 29 23 3.59/3.70 c 2860 17547 5085565 3194151 90 1033 21 29 23 3.59/3.71 c 2870 17606 5103398 3206588 90 1037 20 28 21 3.59/3.73 c 2880 17662 5122689 3218297 90 1039 22 28 22 3.59/3.74 c 2890 17718 5138714 3226589 90 1042 19 29 23 3.59/3.75 c 2900 17778 5154972 3236477 90 1047 20 29 21 3.59/3.76 c 2910 17875 5175927 3245467 90 1051 23 53 28 3.59/3.77 c 2920 17930 5191690 3256334 90 1055 23 31 23 3.59/3.78 c 2930 17993 5207685 3267905 90 1058 22 31 23 3.59/3.79 c 2940 18049 5223671 3278127 90 1063 23 30 23 3.69/3.80 c 2950 18102 5239035 3288341 90 1064 21 27 21 3.69/3.82 c 2960 18153 5254285 3299603 90 1071 18 27 19 3.69/3.83 c 2970 18216 5270606 3309914 90 1073 23 31 23 3.69/3.84 c 2980 18268 5286410 3319534 90 1078 20 28 22 3.69/3.85 c 2990 18329 5305515 3329351 90 1080 20 32 22 3.69/3.86 c 3000 18378 5317569 3338738 90 1083 24 27 23 3.69/3.87 c 3010 18440 5336582 3351478 90 1087 21 29 22 3.69/3.89 c 3020 18562 5362182 3365203 90 1090 21 53 28 3.79/3.90 c 3030 18619 5378699 3375458 90 1093 24 30 23 3.79/3.92 c 3040 18683 5398734 3387782 90 1098 20 36 23 3.79/3.93 c 3050 18743 5413145 3397871 90 1101 22 28 23 3.79/3.94 c 3060 18793 5428650 3408948 90 1106 23 28 23 3.79/3.95 c 3070 18835 5440026 3416398 90 1109 24 27 22 3.79/3.96 c 3080 18892 5457731 3426463 90 1110 20 28 22 3.79/3.97 c 3090 18954 5475420 3438916 90 1112 24 29 24 3.79/3.98 c 3100 19027 5494596 3450610 90 1115 24 29 24 3.79/3.99 c 3110 19091 5510783 3460701 90 1119 20 27 22 3.90/4.01 c 3120 19146 5527791 3473018 90 1122 20 27 21 3.90/4.02 c 3130 19202 5544166 3485066 90 1124 21 26 21 3.90/4.03 c 3140 19249 5559178 3496209 90 1131 23 26 21 3.90/4.03 c 3142 19277 5564578 3498848 90 1133 26 27 17 3.90/4.04 c 3150 19317 5576296 3506193 90 1136 22 28 21 3.90/4.05 c 3160 19365 5593878 3514953 90 1137 20 29 21 3.90/4.06 c 3170 19410 5606575 3522122 90 1138 20 25 21 3.90/4.08 c 3180 19478 5624634 3532644 90 1142 20 31 23 3.90/4.09 c 3190 19553 5644599 3545207 90 1147 21 29 21 3.90/4.10 c 3200 19608 5659733 3556292 90 1149 20 28 22 4.00/4.12 c 3210 19685 5680228 3568378 90 1153 20 32 23 4.00/4.13 c 3220 19736 5698320 3579447 90 1155 19 28 22 4.00/4.14 c 3230 19786 5713580 3589341 90 1158 21 31 22 4.00/4.15 c 3240 19835 5728383 3601009 90 1163 20 27 21 4.00/4.16 c 3250 19905 5754158 3613290 90 1166 23 29 23 4.00/4.18 c 3260 19965 5770535 3625256 90 1167 23 25 22 4.00/4.19 c 3270 20014 5784644 3635862 90 1169 23 28 22 4.09/4.20 c 3280 20083 5806869 3648795 90 1172 22 31 24 4.09/4.21 c 3290 20138 5824797 3660708 90 1176 22 27 22 4.09/4.22 c 3300 20194 5838918 3671754 90 1180 20 28 22 4.09/4.24 c 3310 20255 5860542 3686291 90 1183 20 28 22 4.09/4.25 c 3320 20307 5874981 3696827 90 1185 23 29 23 4.09/4.26 c 3330 20357 5890318 3707636 90 1188 21 26 21 4.09/4.27 c 3340 20409 5907680 3719530 90 1189 24 31 24 4.09/4.28 c 3350 20458 5919819 3727174 90 1190 21 28 22 4.19/4.30 c 3360 20523 5939349 3739213 90 1193 20 31 22 4.19/4.31 c 3370 20587 5958078 3750862 90 1198 21 30 22 4.19/4.32 c 3380 20631 5968458 3758341 90 1203 20 27 20 4.19/4.33 c 3390 20691 5986233 3769425 90 1207 23 32 23 4.19/4.35 c 3400 20817 6010913 3780778 90 1210 23 53 29 4.19/4.36 c 3410 20879 6028941 3792875 90 1214 20 30 23 4.19/4.37 c 3420 20941 6048073 3805650 90 1217 21 32 23 4.19/4.39 c 3430 21025 6075562 3821784 90 1218 19 30 23 4.29/4.40 c 3440 21091 6093973 3835484 90 1222 21 30 23 4.29/4.41 c 3450 21178 6116903 3853989 90 1224 20 53 24 4.29/4.42 c 3460 21221 6128860 3861355 90 1230 21 27 21 4.29/4.43 c 3470 21282 6143846 3870911 90 1235 23 29 23 4.29/4.45 c 3480 21331 6160244 3882825 90 1242 20 28 21 4.29/4.46 c 3490 21373 6170567 3890094 90 1249 21 24 19 4.29/4.47 c 3500 21437 6187438 3899457 90 1252 21 31 24 4.29/4.48 c 3510 21511 6203499 3910275 90 1256 22 53 25 4.29/4.49 c 3520 21558 6215061 3918761 90 1257 20 26 20 4.39/4.50 c 3530 21609 6232934 3928905 90 1258 20 27 20 4.39/4.52 c 3540 21693 6258200 3943588 90 1263 23 30 24 4.39/4.53 c 3550 21759 6276288 3954651 90 1266 22 31 23 4.39/4.53 c 3551 21789 6282819 3957807 90 1267 30 30 15 4.39/4.55 c 3560 21852 6299161 3968602 90 1274 21 29 22 4.39/4.56 c 3570 21912 6318676 3980594 90 1278 21 28 22 4.39/4.57 c 3580 21976 6339263 3992172 90 1282 22 30 23 4.39/4.58 c 3590 22026 6355767 4001743 90 1286 17 29 20 4.39/4.60 c 3600 22078 6371401 4010691 90 1288 22 29 22 4.49/4.61 c 3610 22144 6391679 4022797 90 1293 21 28 21 4.49/4.62 c 3620 22194 6407430 4034872 90 1298 19 29 22 4.49/4.63 c 3630 22251 6424783 4044609 90 1304 23 28 23 4.49/4.64 c 3640 22321 6441791 4054331 90 1308 21 32 23 4.49/4.66 c 3650 22387 6460085 4064099 90 1312 22 33 25 4.49/4.67 c 3660 22451 6478769 4077655 90 1314 23 28 23 4.49/4.68 c 3670 22497 6490402 4085177 90 1317 24 29 23 4.49/4.69 c 3680 22557 6506294 4093896 90 1320 22 31 23 4.59/4.70 c 3690 22618 6521881 4103369 90 1327 22 27 22 4.59/4.71 c 3700 22694 6543860 4116510 90 1330 21 30 23 4.59/4.73 c 3710 22752 6562393 4128341 90 1332 24 29 22 4.59/4.74 c 3720 22839 6585765 4139538 90 1335 20 53 25 4.59/4.75 c 3730 22900 6604064 4149876 90 1339 17 29 21 4.59/4.77 c 3740 22956 6619253 4162387 90 1342 17 30 21 4.59/4.78 c 3750 23009 6635516 4173679 90 1345 20 31 21 4.69/4.80 c 3760 23083 6660176 4187662 90 1347 21 31 23 4.69/4.81 c 3770 23132 6674212 4197961 90 1354 21 29 21 4.69/4.82 c 3780 23179 6684886 4205230 90 1359 21 26 20 4.69/4.83 c 3790 23235 6704167 4217825 90 1362 18 28 21 4.69/4.84 c 3800 23282 6721517 4231270 90 1367 20 28 20 4.69/4.85 c 3810 23327 6733645 4240380 90 1370 25 27 23 4.69/4.87 c 3820 23389 6751928 4253549 90 1377 22 28 22 4.69/4.88 c 3830 23443 6767810 4264438 90 1382 22 28 22 4.69/4.89 c 3840 23517 6794683 4278699 90 1386 19 29 22 4.79/4.91 c 3850 23612 6817021 4289370 90 1388 20 53 25 4.79/4.92 c 3860 23661 6830079 4298284 90 1391 21 28 22 4.79/4.93 c 3870 23732 6850531 4309746 90 1394 21 31 23 4.79/4.94 c 3880 23772 6861959 4318608 90 1397 20 26 20 4.79/4.95 c 3890 23826 6880243 4331916 90 1404 20 28 21 4.79/4.96 c 3900 23892 6897024 4341677 90 1410 21 30 22 4.79/4.98 c 3910 23955 6914943 4353058 90 1415 20 36 23 4.79/4.99 c 3920 24000 6929934 4362319 90 1419 17 27 21 4.79/5.00 c 3930 24053 6944449 4371484 90 1421 22 30 23 4.90/5.01 c 3940 24112 6961086 4381854 90 1423 23 29 24 4.90/5.02 c 3950 24170 6976811 4394041 90 1424 24 29 24 4.90/5.04 c 3960 24234 6995925 4407489 90 1427 21 28 22 4.90/5.05 c 3970 24317 7016962 4421115 90 1431 20 53 24 4.90/5.06 c 3980 24377 7033691 4431068 90 1434 20 30 22 4.90/5.07 c 3990 24424 7047445 4441573 90 1435 25 29 23 4.90/5.08 c 4000 24502 7066000 4451770 90 1438 23 53 25 4.90/5.09 c 4001 24526 7071809 4455121 90 1439 24 24 12 4.90/5.10 c 4010 24576 7084785 4461902 90 1440 24 30 24 5.00/5.11 c 4020 24641 7105874 4474037 90 1443 23 29 23 5.00/5.12 c 4030 24702 7123326 4484655 90 1446 20 31 23 5.00/5.14 c 4040 24762 7143465 4498718 90 1451 22 29 22 5.00/5.15 c 4050 24813 7161084 4512474 90 1455 21 26 21 5.00/5.16 c 4060 24875 7179602 4523940 90 1459 22 30 23 5.00/5.17 c 4070 24939 7197270 4534043 90 1463 24 31 25 5.00/5.19 c 4080 25007 7216837 4544758 90 1465 20 32 23 5.09/5.20 c 4090 25064 7232219 4555297 90 1470 23 28 23 5.09/5.21 c 4100 25112 7245896 4562612 90 1473 22 27 21 5.09/5.22 c 4110 25160 7259940 4572001 90 1474 23 28 22 5.09/5.23 c 4120 25214 7273208 4580209 90 1479 16 27 21 5.09/5.24 c 4130 25260 7286364 4589059 90 1483 23 28 22 5.09/5.25 c 4140 25327 7301123 4598220 90 1486 23 31 24 5.09/5.26 c 4150 25376 7314334 4607159 90 1489 17 31 20 5.09/5.28 c 4160 25467 7338393 4622494 90 1494 18 53 24 5.09/5.29 c 4170 25529 7354855 4633615 90 1499 21 30 22 5.19/5.30 c 4180 25589 7374664 4646413 90 1501 22 31 23 5.19/5.32 c 4190 25638 7390390 4655037 90 1509 21 30 21 5.19/5.32 c 4200 25687 7401183 4660238 90 1512 24 27 22 5.19/5.34 c 4210 25753 7416824 4669697 90 1514 20 31 23 5.19/5.35 c 4220 25801 7431458 4679646 90 1519 21 27 21 5.19/5.36 c 4230 25854 7447568 4690290 90 1521 19 28 21 5.19/5.37 c 4240 25903 7464220 4703085 90 1526 25 29 23 5.19/5.38 c 4250 25957 7480850 4716598 90 1530 20 27 21 5.19/5.39 c 4260 26028 7499175 4727440 90 1532 20 28 22 5.29/5.40 c 4270 26077 7511383 4734598 90 1535 20 25 20 5.29/5.42 c 4280 26136 7527185 4744993 90 1536 25 30 24 5.29/5.43 c 4290 26219 7547279 4758250 90 1538 20 53 25 5.29/5.45 c 4300 26293 7574072 4775211 90 1541 21 30 22 5.29/5.46 c 4310 26341 7586091 4782760 90 1545 22 25 21 5.29/5.47 c 4320 26395 7601195 4791988 90 1548 19 29 22 5.29/5.47 c 4330 26444 7612622 4799007 90 1549 21 30 22 5.29/5.49 c 4340 26534 7634352 4813928 90 1551 22 53 25 5.39/5.50 c 4350 26577 7645789 4820621 90 1560 21 25 20 5.39/5.51 c 4360 26643 7665323 4832752 90 1564 17 30 21 5.39/5.53 c 4370 26735 7687285 4844248 90 1566 20 53 25 5.39/5.54 c 4380 26791 7705829 4854264 90 1569 22 28 22 5.39/5.55 c 4390 26842 7720363 4863123 90 1574 22 29 22 5.39/5.56 c 4400 26895 7737919 4876873 90 1577 21 29 22 5.39/5.57 c 4410 26981 7760077 4887436 90 1578 20 53 24 5.39/5.59 c 4420 27045 7780214 4901598 90 1582 17 29 21 5.49/5.60 c 4430 27102 7796807 4911280 90 1588 25 30 24 5.49/5.61 c 4440 27160 7812967 4921960 90 1593 20 29 21 5.49/5.62 c 4450 27219 7827513 4930828 90 1598 23 29 24 5.49/5.63 c 4460 27272 7846126 4941753 90 1601 24 29 24 5.49/5.65 c 4470 27340 7863238 4952042 90 1604 21 29 24 5.49/5.66 c 4480 27409 7883092 4963084 90 1606 24 30 23 5.49/5.67 c 4490 27468 7900121 4973608 90 1607 22 29 22 5.49/5.68 c 4493 27493 7904916 4976697 90 1610 20 22 16 5.49/5.69 c 4500 27574 7921791 4985586 90 1613 24 53 25 5.59/5.70 c 4510 27635 7936689 4995669 90 1618 21 32 23 5.59/5.71 c 4520 27728 7960637 5009964 90 1621 20 53 25 5.59/5.73 c 4530 27807 7979285 5021113 90 1627 20 53 24 5.59/5.74 c 4540 27864 7998086 5034701 90 1630 22 26 21 5.59/5.76 c 4550 27936 8017386 5046998 90 1632 21 30 24 5.59/5.77 c 4560 28035 8044329 5065932 90 1633 21 53 24 5.59/5.78 c 4570 28093 8059718 5077485 90 1635 21 29 23 5.59/5.79 c 4580 28151 8076429 5088851 90 1639 20 28 21 5.69/5.81 c 4590 28209 8095064 5101570 90 1646 20 27 21 5.69/5.82 c 4600 28277 8113317 5112659 90 1650 17 29 22 5.69/5.83 c 4610 28332 8130916 5123718 90 1657 21 26 22 5.69/5.85 c 4620 28389 8146318 5133289 90 1660 22 29 22 5.69/5.86 c 4630 28436 8162485 5142783 90 1665 24 28 22 5.69/5.87 c 4640 28503 8179524 5153068 90 1670 18 30 21 5.69/5.88 c 4650 28554 8196197 5165187 90 1673 21 29 22 5.69/5.89 c 4660 28608 8214598 5176929 90 1675 20 29 21 5.79/5.91 c 4670 28704 8237056 5188727 90 1679 20 53 26 5.79/5.92 c 4680 28769 8256069 5198389 90 1683 21 29 23 5.79/5.94 c 4690 28845 8280287 5213253 90 1684 20 30 23 5.79/5.95 c 4700 28904 8295662 5222690 90 1687 21 28 22 5.79/5.96 c 4710 28967 8315120 5232980 90 1690 22 30 24 5.79/5.97 c 4720 29022 8331581 5244374 90 1694 22 30 23 5.79/5.98 c 4730 29071 8349335 5255485 90 1699 18 26 20 5.79/6.00 c 4740 29126 8367156 5266056 90 1701 21 30 23 5.90/6.01 c 4750 29182 8384877 5279689 90 1707 20 30 23 5.90/6.02 c 4760 29234 8398127 5288807 90 1710 23 29 23 5.90/6.03 c 4770 29297 8416421 5300248 90 1716 19 30 22 5.90/6.04 c 4780 29343 8430379 5309554 90 1723 17 30 21 5.90/6.05 c 4790 29391 8445906 5318097 90 1725 21 26 20 5.90/6.07 c 4800 29448 8464844 5330624 90 1728 22 26 22 5.90/6.08 c 4810 29504 8481375 5340635 90 1730 22 28 23 5.90/6.09 c 4820 29547 8495660 5350801 90 1731 20 25 20 5.90/6.10 c 4830 29600 8511173 5361444 90 1733 20 27 21 6.00/6.11 c 4840 29657 8527072 5370481 90 1737 23 29 23 6.00/6.13 c 4850 29717 8542117 5379715 90 1740 20 30 23 6.00/6.14 c 4860 29774 8557534 5389925 90 1743 23 30 23 6.00/6.15 c 4870 29832 8571445 5397618 90 1748 23 29 23 6.00/6.16 c 4880 29882 8586418 5407494 90 1754 20 28 21 6.00/6.17 c 4890 29935 8600698 5416689 90 1759 20 30 22 6.00/6.18 c 4900 29998 8616880 5427429 90 1764 22 31 23 6.00/6.19 c 4910 30069 8633545 5437299 90 1767 21 53 22 6.09/6.20 c 4920 30123 8647106 5444967 90 1769 22 28 22 6.09/6.21 c 4930 30172 8661451 5452677 90 1772 22 27 21 6.09/6.22 c 4940 30223 8674781 5461437 90 1773 23 29 23 6.09/6.24 c 4950 30302 8694101 5473261 90 1776 20 53 25 6.09/6.25 c 4960 30346 8708051 5483573 90 1777 20 27 22 6.09/6.26 c 4970 30410 8724780 5492561 90 1781 22 30 23 6.09/6.27 c 4980 30478 8744386 5503769 90 1783 20 29 23 6.09/6.28 c 4990 30533 8759847 5512343 90 1788 20 29 22 6.19/6.33 c 5035 30796 8835950 5562293 90 1793 20 53 24 6.69/6.82 c 5631 33564 9702370 6127288 90 1805 14 53 25 7.19/7.32 c 6286 36534 10658948 6718999 90 1811 14 53 24 7.69/7.87 c 7006 39510 11654640 7447745 90 1820 16 53 23 8.39/8.52 c 7798 42661 12777667 8266418 90 1826 16 53 23 9.09/9.23 c 8669 46727 14112166 9126458 90 1831 13 53 25 9.79/9.95 c 9627 51059 15525201 9987098 90 1839 14 53 23 10.69/10.80 c 10680 55335 17016098 11047457 90 1850 16 53 23 11.49/11.63 c 11838 60266 18603841 12109712 90 1859 13 53 24 12.49/12.64 c 13111 65721 20479797 13339304 90 1873 12 53 23 13.59/13.76 c 14511 71596 22484371 14649255 90 1878 14 53 23 13.59/13.76 conflict 7lvl : 17 bt14-45:0(1152)X558584 13.59/13.78 conflict 6lvl : 47 bt24-31:0(1379)X558594 14.79/14.99 c 16051 78641 24658603 16145984 90 1888 12 53 24 15.19/15.37 conflict 15lvl : 26 bt26-415:0(1718)X558729 16.19/16.31 c 17745 86374 27188811 17827097 90 1904 14 53 23 17.69/17.81 c 19608 94573 29980196 19710966 90 1913 13 53 23 19.29/19.46 c 21657 103590 33061022 21605902 90 1920 15 53 23 19.69/19.86 conflict 10lvl : 51 bt24-271:0(1196)X559058 21.00/21.16 c 23910 113305 36144489 23600507 90 1930 12 53 24 23.00/23.19 c 26388 124435 39967977 26031547 90 1938 14 53 23 25.19/25.37 c 29113 136936 44098794 28683249 90 1948 12 53 23 27.79/27.93 c 32110 150916 48669150 31762586 90 1958 12 53 23 28.49/28.69 conflict 7lvl : 22 bt22-450:0(1274)X559422 30.29/30.41 c 35406 165182 53399593 34733435 90 1969 13 53 23 33.29/33.40 c 39031 180668 58926513 38289634 90 1980 12 53 23 36.19/36.38 c 43018 197194 64359886 42179312 90 1993 16 53 23 39.69/39.85 c 47403 217216 70925332 46385322 90 2003 13 53 23 41.29/41.49 conflict 11lvl : 22 bt22-11:0(1482)X559901 43.29/43.45 c 52226 239019 78190471 50551218 90 2017 12 53 23 44.79/44.91 conflict 27lvl : 39 bt39-425:0(924)X560068 47.29/47.48 c 57531 262531 86237563 55545009 90 2027 12 53 23 51.90/52.07 c 63366 286882 94570010 61344954 90 2038 15 53 23 53.29/53.41 conflict 11lvl : 25 bt25-26:0(1338)X560297 54.90/55.08 conflict 24lvl : 27 bt27-442:0(958)X560311 54.90/55.08 conflict 11lvl : 23 bt23-407:0(997)X560338 55.09/55.29 conflict 13lvl : 29 bt26-26:0(1143)X560352 57.00/57.18 c 69784 316353 103973681 67534947 90 2054 12 53 24 61.10/61.28 conflict 23lvl : 44 bt20157:0(1545)X560522 62.70/62.89 c 76843 347973 114135043 74295746 90 2069 12 53 24 69.00/69.12 c 84607 380844 125609431 82066146 90 2076 14 53 24 71.30/71.46 conflict 10lvl : 22 bt22-337:0(1309)X560741 75.70/75.85 c 93147 417876 138189787 90088070 90 2095 12 53 23 75.80/75.90 conflict 7lvl : 24 bt24-84:0(791)X560940 77.91/78.04 conflict 19lvl : 27 bt27-50:0(1360)X560950 83.20/83.30 c 102541 458387 152348412 99151641 90 2108 12 53 22 84.70/84.88 conflict 25lvl : 22 bt22234:0(1577)X561097 89.10/89.22 conflict 10lvl : 21 bt21-83:0(2016)X561125 91.30/91.48 c 112874 503239 166834896 108961798 90 2119 12 53 24 93.80/93.96 conflict 17lvl : 19 bt19-390:0(1212)X561242 94.30/94.42 conflict 14lvl : 15 bt15-20:0(1577)X561262 100.01/100.19 conflict 4lvl : 49 bt26-20:0(1229)X561279 100.50/100.61 c 124240 554126 183801571 119722714 90 2133 12 53 23 105.10/105.20 conflict 12lvl : 24 bt24-132:0(1166)X561376 105.60/105.78 conflict 10lvl : 30 bt30-42:0(1189)X561391 110.01/110.13 conflict 10lvl : 42 bt27-229:0(1034)X561404 110.30/110.45 conflict 10lvl : 28 bt28-489:0(1081)X561417 110.30/110.47 c 136742 609743 202572273 131890883 90 2139 11 53 23 118.10/118.20 conflict 14lvl : 28 bt28-408:0(1198)X561504 119.70/119.80 conflict 12lvl : 26 bt20-20:0(571)X561521 121.01/121.15 c 150494 670892 222976808 144646379 90 2155 12 53 23 122.91/123.01 conflict 10lvl : 24 bt24-352:0(1235)X561664 128.30/128.48 conflict 15lvl : 22 bt22-355:0(938)X561677 133.60/133.71 c 165621 739909 245639311 159257002 90 2169 11 53 23 137.50/137.62 conflict 6lvl : 27 bt26-123:0(416)X561828 137.60/137.74 conflict 5lvl : 23 bt23-61:0(749)X561837 143.50/143.61 conflict 7lvl : 21 bt21-401:0(1126)X561845 144.01/144.12 conflict 10lvl : 27 bt27-209:0(1276)X561855 144.01/144.14 conflict 6lvl : 23 bt23-249:0(1453)X561868 144.10/144.20 conflict 8lvl : 36 bt18-249:0(1479)X561877 146.30/146.43 conflict 10lvl : 52 bt51-170:0(1185)X561888 146.60/146.73 c 182260 812224 269099202 176101528 90 2185 12 53 24 151.10/151.20 conflict 16lvl : 29 bt29-140:0(620)X562063 151.91/152.05 conflict 11lvl : 51 bt45-60:0(1344)X562082 153.70/153.83 conflict 11lvl : 20 bt20-58:0(1783)X562096 161.20/161.36 c 200562 893972 296645482 193839682 90 2195 12 53 22 163.70/163.88 conflict 14lvl : 26 bt26-484:0(1392)X562195 170.70/170.87 conflict 11lvl : 51 bt45-121:0(1270)X562212 170.91/171.04 conflict 4lvl : 22 bt22-123:0(428)X562226 171.01/171.16 conflict 13lvl : 43 bt43-123:0(859)X562233 171.20/171.35 conflict 6lvl : 25 bt25-20:0(1203)X562249 175.20/175.36 conflict 6lvl : 26 bt26-377:0(1275)X562258 176.01/176.15 conflict 10lvl : 28 bt28-125:0(713)X562267 177.80/177.99 c 220694 985788 326295255 214481512 90 2206 11 53 23 182.70/182.87 conflict 11lvl : 24 bt24-262:0(1031)X562385 190.61/190.77 conflict 15lvl : 21 bt21334:0(1274)X562399 192.11/192.26 conflict 6lvl : 25 bt25-84:0(1431)X562417 196.11/196.23 c 242839 1081664 359616250 235608588 90 2224 12 53 23 203.91/204.09 conflict 13lvl : 15 bt15-225:0(1114)X562612 206.21/206.36 conflict 5lvl : 19 bt19-59:0(693)X562628 211.41/211.54 conflict 19lvl : 26 bt26-132:0(1698)X562636 214.51/214.69 conflict 14lvl : 26 bt26-425:0(1380)X562658 214.81/214.93 c 267198 1188863 396518988 258110380 90 2235 11 53 22 216.11/216.28 conflict 5lvl : 19 bt19-442:0(1241)X562786 217.92/218.05 conflict 11lvl : 22 bt22-58:0(994)X562794 217.92/218.07 conflict 5lvl : 29 bt29-442:0(1625)X562808 218.11/218.20 conflict 15lvl : 36 bt36-36:0(883)X562816 219.92/220.03 conflict 26lvl : 20 bt20-130:0(1163)X562834 220.71/220.83 conflict 10lvl : 18 bt15-132:0(759)X562863 220.81/220.91 conflict 9lvl : 25 bt20-262:0(946)X562876 220.81/220.95 conflict 4lvl : 22 bt22-451:0(509)X562888 220.92/221.03 conflict 8lvl : 19 bt16-323:0(559)X562895 223.11/223.29 conflict 10lvl : 23 bt23-50:0(1448)X562906 223.51/223.67 conflict 14lvl : 21 bt21-457:0(914)X562919 224.61/224.74 conflict 9lvl : 19 bt19322:0(1428)X562936 232.71/232.82 conflict 15lvl : 25 bt25-37:0(998)X562948 232.81/232.97 conflict 7lvl : 25 bt25-481:0(1331)X562966 235.31/235.49 conflict 13lvl : 21 bt21-208:0(983)X562976 235.41/235.50 conflict 21lvl : 20 bt20241:0(880)X562992 235.81/235.98 c 293992 1306785 437334961 283739904 90 2253 11 53 23 238.51/238.66 conflict 11lvl : 23 bt23-81:0(1452)X563170 238.61/238.76 conflict 11lvl : 16 bt16-328:0(880)X563184 238.92/239.02 conflict 10lvl : 26 bt26-279:0(1246)X563198 240.02/240.15 conflict 14lvl : 21 bt21-23:0(325)X563211 240.71/240.81 conflict 10lvl : 23 bt23130:0(897)X563228 242.11/242.25 conflict 9lvl : 39 bt23-157:0(699)X563241 243.61/243.72 conflict 11lvl : 51 bt21-186:0(962)X563253 246.81/247.00 conflict 6lvl : 21 bt21-130:0(1419)X563267 247.11/247.20 conflict 11lvl : 28 bt28-121:0(971)X563276 249.41/249.52 conflict 6lvl : 22 bt22-178:0(1039)X563290 252.51/252.60 conflict 9lvl : 24 bt24-315:0(782)X563299 253.02/253.17 conflict 11lvl : 23 bt23-281:0(1722)X563311 253.92/254.09 conflict 10lvl : 26 bt26-205:0(923)X563325 254.41/254.59 conflict 41lvl : 38 bt38-444:0(1245)X563338 259.31/259.47 c 323465 1439436 481866347 312282349 90 2268 11 53 23 259.31/259.47 conflict 10lvl : 21 bt21418:0(2474)X563493 260.92/261.03 conflict 9lvl : 27 bt27-61:0(920)X563506 261.71/261.89 conflict 10lvl : 47 bt26-258:0(960)X563518 263.31/263.43 conflict 10lvl : 18 bt13-83:0(1049)X563531 264.61/264.77 conflict 14lvl : 29 bt29-105:0(1687)X563544 270.03/270.14 conflict 29lvl : 28 bt28-84:0(1499)X563561 275.72/275.80 conflict 13lvl : 26 bt26410:0(927)X563593 281.62/281.78 conflict 10lvl : 28 bt28-347:0(1035)X563609 283.03/283.18 conflict 10lvl : 35 bt28-140:0(895)X563622 284.32/284.48 c 355885 1583968 530240747 342669641 90 2286 11 53 23 284.42/284.57 conflict 4lvl : 25 bt25-130:0(745)X563773 284.72/284.84 conflict 5lvl : 23 bt23-409:0(824)X563780 289.32/289.48 conflict 21lvl : 32 bt29-409:0(498)X563788 289.42/289.57 conflict 10lvl : 17 bt17-450:0(1291)X563812 291.32/291.45 conflict 10lvl : 26 bt23-409:0(1015)X563825 291.72/291.89 conflict 7lvl : 36 bt20-89:0(638)X563838 292.52/292.62 conflict 4lvl : 44 bt36-130:0(473)X563848 293.93/294.10 conflict 26lvl : 27 bt27461:0(1668)X563855 294.52/294.65 conflict 7lvl : 35 bt19-89:0(1266)X563884 295.93/296.07 conflict 7lvl : 26 bt26-267:0(1237)X563894 298.03/298.19 conflict 15lvl : 24 bt24-26:0(1224)X563904 298.32/298.47 conflict 13lvl : 19 bt19-473:0(1307)X563922 298.52/298.68 conflict 14lvl : 50 bt46-156:0(663)X563938 298.52/298.69 conflict 15lvl : 22 bt22-32:0(1045)X563955 299.32/299.42 conflict 6lvl : 34 bt21-89:0(1169)X563973 301.12/301.24 conflict 11lvl : 21 bt21-450:0(703)X563982 303.62/303.75 conflict 10lvl : 20 bt20-495:0(1409)X563996 304.32/304.41 conflict 6lvl : 23 bt23-59:0(587)X564009 306.42/306.53 conflict 9lvl : 27 bt27-481:0(1271)X564018 308.32/308.48 conflict 5lvl : 23 bt23-59:0(1137)X564030 313.33/313.45 c 391547 1738615 584754832 377009999 91 2293 10 53 22 314.63/314.74 conflict 11lvl : 13 bt13-138:0(1295)X564106 314.73/314.88 conflict 7lvl : 17 bt14-185:0(1066)X564120 316.23/316.36 conflict 9lvl : 24 bt23-161:0(693)X564130 316.23/316.36 conflict 6lvl : 24 bt24-182:0(961)X564142 319.23/319.32 conflict 15lvl : 25 bt25-83:0(614)X564151 319.23/319.37 conflict 10lvl : 21 bt21-404:0(1129)X564169 320.23/320.31 conflict 7lvl : 21 bt20-194:0(854)X564182 320.43/320.54 conflict 11lvl : 23 bt15-71:0(880)X564192 320.43/320.58 conflict 11lvl : 24 bt24-69:0(482)X564206 324.73/324.86 conflict 26lvl : 49 bt49418:0(795)X564220 326.13/326.24 conflict 15lvl : 23 bt23-475:0(934)X564249 326.23/326.37 conflict 9lvl : 20 bt20-210:0(891)X564267 326.73/326.81 conflict 11lvl : 23 bt23-43:0(864)X564279 326.83/326.93 conflict 10lvl : 23 bt23-267:0(852)X564293 331.43/331.55 conflict 19lvl : 20 bt20-299:0(1242)X564306 331.83/331.95 conflict 10lvl : 18 bt18-26:0(758)X564328 334.04/334.17 conflict 37lvl : 43 bt41-132:0(1162)X564341 334.33/334.41 conflict 21lvl : 16 bt16-137:0(1510)X564381 334.43/334.54 conflict 5lvl : 23 bt23-410:0(1453)X564405 335.43/335.52 conflict 11lvl : 30 bt30-422:0(1370)X564413 336.83/336.94 conflict 13lvl : 22 bt22-379:0(988)X564427 337.04/337.16 conflict 11lvl : 24 bt24-416:0(989)X564443 338.73/338.85 conflict 11lvl : 28 bt28-160:0(842)X564457 338.94/339.09 conflict 6lvl : 21 bt21-26:0(992)X564471 339.04/339.11 conflict 6lvl : 21 bt21-26:0(793)X564480 339.53/339.68 conflict 11lvl : 39 bt17-489:0(1469)X564489 340.13/340.22 conflict 17lvl : 18 bt1812:0(463)X564503 340.73/340.83 conflict 13lvl : 28 bt28-360:0(766)X564523 340.73/340.85 conflict 11lvl : 23 bt23-61:0(643)X564539 340.94/341.07 conflict 6lvl : 23 bt23-62:0(759)X564553 341.04/341.12 conflict 13lvl : 28 bt28-83:0(906)X564562 345.63/345.72 conflict 11lvl : 19 bt19-386:0(781)X564578 345.63/345.77 c 430775 1914314 644077531 415752572 91 2299 10 53 22 345.94/346.06 conflict 15lvl : 23 bt23-44:0(1158)X564638 348.53/348.69 conflict 7lvl : 24 bt24-386:0(480)X564656 348.63/348.73 conflict 10lvl : 21 bt18-325:0(876)X564666 351.33/351.41 conflict 10lvl : 51 bt5189:0(935)X564679 351.83/351.92 conflict 11lvl : 25 bt25-471:0(1304)X564692 351.94/352.03 conflict 18lvl : 41 bt36-197:0(538)X564706 353.63/353.73 conflict 7lvl : 23 bt23-132:0(1497)X564727 360.13/360.28 conflict 6lvl : 22 bt22-26:0(550)X564737 361.23/361.31 conflict 15lvl : 20 bt20-387:0(744)X564746 361.23/361.35 conflict 29lvl : 21 bt21-89:0(1157)X564764 361.53/361.66 conflict 14lvl : 24 bt24-346:0(1557)X564796 364.04/364.17 conflict 10lvl : 27 bt27-122:0(617)X564813 366.23/366.31 conflict 13lvl : 17 bt17-60:0(735)X564826 367.73/367.82 conflict 14lvl : 22 bt22-156:0(1319)X564842 368.63/368.79 conflict 11lvl : 45 bt18-20:0(1033)X564859 369.43/369.51 conflict 12lvl : 22 bt22-203:0(1202)X564873 371.73/371.89 conflict 11lvl : 22 bt22-416:0(921)X564888 372.13/372.28 conflict 20lvl : 19 bt1932:0(1457)X564902 372.23/372.39 conflict 6lvl : 20 bt20-249:0(837)X564925 372.63/372.79 conflict 9lvl : 24 bt24-132:0(1291)X564934 373.23/373.32 conflict 14lvl : 20 bt20-106:0(1052)X564946 373.83/373.92 conflict 14lvl : 24 bt24-419:0(1124)X564963 376.63/376.73 conflict 11lvl : 22 bt22-72:0(1047)X564980 379.04/379.11 conflict 10lvl : 27 bt27-20:0(1161)X564994 380.63/380.79 conflict 11lvl : 20 bt20-159:0(1445)X565007 381.53/381.65 conflict 14lvl : 39 bt29-89:0(1397)X565021 381.73/381.89 conflict 11lvl : 24 bt24-89:0(1287)X565038 382.04/382.15 c 473925 2098961 708688513 458714734 91 2303 11 53 22 383.04/383.11 conflict 13lvl : 16 bt16-251:0(1182)X565077 383.73/383.86 conflict 11lvl : 38 bt38-455:0(1485)X565093 388.53/388.66 conflict 27lvl : 27 bt27141:0(1364)X565107 389.13/389.20 conflict 20lvl : 41 bt19-132:0(974)X565137 394.04/394.12 conflict 14lvl : 38 bt38-89:0(703)X565160 394.04/394.15 conflict 15lvl : 29 bt2983:0(1172)X565177 395.94/396.06 conflict 13lvl : 22 bt22-127:0(652)X565195 397.43/397.56 conflict 4lvl : 22 bt22-132:0(574)X565211 402.13/402.24 conflict 15lvl : 25 bt25-450:0(412)X565218 403.94/404.06 conflict 11lvl : 25 bt25-458:0(1489)X565236 405.73/405.88 conflict 14lvl : 23 bt23259:0(1040)X565250 406.53/406.60 conflict 8lvl : 25 bt15-451:0(592)X565267 406.63/406.77 conflict 13lvl : 27 bt25322:0(871)X565278 406.73/406.88 conflict 9lvl : 18 bt18-328:0(747)X565294 407.13/407.28 conflict 7lvl : 21 bt20-460:0(249)X565306 407.13/407.28 conflict 7lvl : 22 bt22-459:0(526)X565316 407.23/407.34 conflict 6lvl : 20 bt16-453:0(775)X565326 407.53/407.67 conflict 5lvl : 21 bt21-452:0(868)X565335 408.83/408.99 conflict 11lvl : 30 bt30-273:0(1230)X565343 412.33/412.49 conflict 7lvl : 20 bt20-249:0(667)X565357 414.23/414.33 conflict 7lvl : 20 bt20-377:0(1476)X565367 415.63/415.78 conflict 4lvl : 28 bt28-189:0(401)X565377 415.94/416.07 conflict 4lvl : 21 bt17-20:0(595)X565384 419.23/419.30 conflict 11lvl : 20 bt20-468:0(1524)X565391 420.13/420.20 conflict 13lvl : 17 bt17-84:0(816)X565405 421.04/421.18 conflict 5lvl : 27 bt24-442:0(613)X565421 421.13/421.22 conflict 4lvl : 20 bt20-84:0(1176)X565429 421.63/421.78 c 521390 2305145 780664619 506967040 91 2317 11 53 22 427.63/427.72 conflict 10lvl : 26 bt26-483:0(1510)X565518 428.33/428.41 conflict 28lvl : 27 bt27396:0(1011)X565531 428.33/428.43 conflict 32lvl : 22 bt22-176:0(1028)X565562 430.04/430.13 conflict 11lvl : 22 bt22-89:0(475)X565597 431.33/431.43 conflict 13lvl : 21 bt21-262:0(873)X565611 437.74/437.83 conflict 8lvl : 50 bt50-20:0(1043)X565627 437.94/438.06 conflict 13lvl : 24 bt24-248:0(610)X565638 440.64/440.73 conflict 11lvl : 42 bt24-489:0(500)X565654 441.94/442.06 conflict 19lvl : 23 bt23463:0(636)X565668 442.94/443.04 conflict 51lvl : 21 bt21-241:0(819)X565690 443.24/443.34 conflict 12lvl : 21 bt21-120:0(866)X565744 444.14/444.25 conflict 4lvl : 19 bt15-20:0(929)X565759 444.34/444.42 conflict 15lvl : 39 bt22-91:0(1105)X565766 444.64/444.75 conflict 8lvl : 19 bt19-71:0(1352)X565784 445.54/445.63 conflict 10lvl : 19 bt19-20:0(1116)X565795 445.94/446.07 conflict 10lvl : 29 bt29-338:0(1077)X565808 445.94/446.07 conflict 26lvl : 26 bt26-125:0(614)X565821 446.54/446.60 conflict 21lvl : 51 bt47401:0(1010)X565850 446.64/446.72 conflict 3lvl : 26 bt26-498:0(338)X565874 446.84/446.90 conflict 8lvl : 29 bt28-59:0(493)X565880 446.94/447.03 conflict 11lvl : 26 bt26-15:0(533)X565891 446.94/447.03 conflict 10lvl : 26 bt25-14:0(439)X565905 447.24/447.36 conflict 10lvl : 47 bt32-12:0(1294)X565918 448.05/448.17 conflict 13lvl : 23 bt23-194:0(1084)X565931 448.34/448.42 conflict 23lvl : 21 bt21-351:0(1286)X565947 449.64/449.79 conflict 11lvl : 27 bt18-14:0(538)X565973 449.74/449.84 conflict 11lvl : 24 bt21-13:0(390)X565987 449.74/449.85 conflict 11lvl : 21 bt19-16:0(423)X566001 450.84/450.95 conflict 3lvl : 23 bt14-498:0(925)X566015 451.54/451.64 conflict 13lvl : 22 bt22-394:0(834)X566021 455.34/455.46 conflict 7lvl : 18 bt17-337:0(855)X566037 455.84/456.00 conflict 14lvl : 24 bt24-85:0(1209)X566047 456.95/457.10 conflict 7lvl : 18 bt18-194:0(1648)X566064 457.05/457.11 conflict 29lvl : 27 bt27327:0(1161)X566074 457.05/457.14 conflict 21lvl : 26 bt26410:0(958)X566106 457.05/457.17 conflict 22lvl : 23 bt2320:0(1057)X566130 457.05/457.19 conflict 17lvl : 16 bt16-90:0(1625)X566155 457.95/458.06 conflict 7lvl : 21 bt13-20:0(1209)X566175 458.05/458.13 conflict 34lvl : 17 bt17-54:0(1031)X566185 458.44/458.54 conflict 7lvl : 13 bt13-97:0(643)X566222 459.74/459.84 conflict 11lvl : 26 bt26-337:0(1122)X566232 460.64/460.75 conflict 10lvl : 23 bt23-475:0(1032)X566246 465.95/466.08 c 573601 2540432 861998437 559240334 94 2333 10 53 22 466.84/467.00 conflict 24lvl : 21 bt21126:0(1477)X566384 467.24/467.39 conflict 11lvl : 19 bt19-325:0(709)X566411 469.64/469.76 conflict 3lvl : 22 bt17-140:0(481)X566425 470.74/470.81 conflict 13lvl : 17 bt16-173:0(718)X566431 471.24/471.39 conflict 17lvl : 27 bt27-39:0(940)X566447 471.34/471.49 conflict 11lvl : 18 bt18-170:0(1211)X566467 471.95/472.05 conflict 10lvl : 22 bt22-32:0(1299)X566481 472.54/472.63 conflict 13lvl : 26 bt26-177:0(922)X566494 478.84/478.92 conflict 11lvl : 27 bt27-113:0(719)X566510 479.05/479.17 conflict 23lvl : 19 bt19-409:0(874)X566524 479.64/479.71 conflict 11lvl : 22 bt22-388:0(635)X566550 479.84/480.00 conflict 27lvl : 39 bt39-381:0(1432)X566564 480.05/480.17 conflict 12lvl : 19 bt19-86:0(1032)X566594 480.34/480.46 conflict 16lvl : 25 bt20-310:0(1382)X566609 481.14/481.28 conflict 10lvl : 20 bt19-132:0(467)X566628 481.34/481.43 conflict 15lvl : 30 bt30-34:0(1490)X566641 481.44/481.56 conflict 11lvl : 22 bt22-313:0(1358)X566659 485.34/485.45 conflict 5lvl : 15 bt12-86:0(1113)X566673 487.14/487.25 conflict 5lvl : 12 bt12-194:0(1244)X566681 488.24/488.31 conflict 10lvl : 15 bt15-20:0(1568)X566689 489.14/489.22 c restarts : 566 489.14/489.22 c conflicts : 599544 (1226 /sec) 489.14/489.22 c decisions : 2653741 (5425 /sec) 489.14/489.22 c propagations : 586722691 (1199459 /sec) 489.14/489.22 c root propagations : 910 489.14/489.22 c filter calls : 902445020 (1844901 /sec) 489.14/489.22 c useless filter calls : 692285378 (76 %) 489.14/489.22 c 489.14/489.22 c clauses : 133399 489.14/489.22 c SAT propagations : 233981 489.14/489.22 c SAT conflicts : 2138 (259 learnts) 489.14/489.22 c Memory used : 35.62 MB 489.14/489.22 c CPU time : 489.156 s 489.14/489.22 489.14/489.22 s UNSATISFIABLE
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 (14974 MiB free)
memory of node 1: 16384 MiB (15300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266278-1502583465/watcher-4266278-1502583465 -o /tmp/evaluation-result-4266278-1502583465/solver-4266278-1502583465 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8354 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266278-1502583465.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=11895, runsolver pid=11892
[startup+0.100157 s]*
/proc/loadavg: 2.00 2.06 2.07 3/187 11896
/proc/meminfo: memFree=31001696/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=27260 memory=3592 CPUtime=0.01 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 1122 0 0 0 1 0 0 0 20 0 1 0 106161695 27914240 898 18446744073709551615 4194304 5972588 140722396466976 140722396463624 140279258672101 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 6815 898 746 435 0 178 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 27260 KiB
Current children cumulated memory: 3592 KiB
[startup+0.209482 s]*
/proc/loadavg: 2.00 2.06 2.07 3/187 11896
/proc/meminfo: memFree=30994288/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36208 memory=11220 CPUtime=0.11 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 2509 0 0 0 11 0 0 0 20 0 1 0 106161695 37076992 2805 18446744073709551615 4194304 5972588 140722396466976 140722396458744 140279259110496 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9052 2805 838 435 0 2415 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 36208 KiB
Current children cumulated memory: 11220 KiB
[startup+0.309641 s]*
/proc/loadavg: 2.00 2.06 2.07 3/187 11896
/proc/meminfo: memFree=30994288/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36208 memory=11220 CPUtime=0.21 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 2518 0 0 0 21 0 0 0 20 0 1 0 106161695 37076992 2805 18446744073709551615 4194304 5972588 140722396466976 140722396458744 4995521 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9052 2805 838 435 0 2415 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36208 KiB
Current children cumulated memory: 11220 KiB
[startup+0.70027 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 11896
/proc/meminfo: memFree=30994288/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36336 memory=11488 CPUtime=0.59 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 2525 0 0 0 59 0 0 0 20 0 1 0 106161695 37208064 2872 18446744073709551615 4194304 5972588 140722396466976 140722396458744 4978595 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9084 2872 845 435 0 2447 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 36336 KiB
Current children cumulated memory: 11488 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 11896
/proc/meminfo: memFree=30994288/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36336 memory=11488 CPUtime=1.39 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 2530 0 0 0 139 0 0 0 20 0 1 0 106161695 37208064 2872 18446744073709551615 4194304 5972588 140722396466976 140722396458744 5328649 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9084 2872 845 435 0 2447 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 36336 KiB
Current children cumulated memory: 11488 KiB
[startup+3.10916 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 11896
/proc/meminfo: memFree=30994164/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36336 memory=11540 CPUtime=3 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 3323 0 0 0 300 0 0 0 20 0 1 0 106161695 37208064 2885 18446744073709551615 4194304 5972588 140722396466976 140722396464280 4995530 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9084 2885 845 435 0 2447 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 36336 KiB
Current children cumulated memory: 11540 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.06 2.06 4/187 11896
/proc/meminfo: memFree=30994164/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36336 memory=11584 CPUtime=6.19 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 4253 0 0 0 619 0 0 0 20 0 1 0 106161695 37208064 2896 18446744073709551615 4194304 5972588 140722396466976 140722396464280 4995521 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9084 2896 845 435 0 2447 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 36336 KiB
Current children cumulated memory: 11584 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 11896
/proc/meminfo: memFree=30994328/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36336 memory=11608 CPUtime=12.59 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 4796 0 0 0 1259 0 0 0 20 0 1 0 106161695 37208064 2902 18446744073709551615 4194304 5972588 140722396466976 140722396464280 5070688 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9084 2902 845 435 0 2447 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 36336 KiB
Current children cumulated memory: 11608 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 11897
/proc/meminfo: memFree=30993828/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36336 memory=11636 CPUtime=25.39 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 5805 0 0 0 2539 0 0 0 20 0 1 0 106161695 37208064 2909 18446744073709551615 4194304 5972588 140722396466976 140722396464280 4965472 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9084 2909 850 435 0 2447 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 36336 KiB
Current children cumulated memory: 11636 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.05 2.06 3/186 11897
/proc/meminfo: memFree=30993896/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11640 CPUtime=51 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 6268 0 0 0 5100 0 0 0 20 0 1 0 106161695 37343232 2910 18446744073709551615 4194304 5972588 140722396466976 140722396464376 4995628 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2910 850 435 0 2480 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11640 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/186 11899
/proc/meminfo: memFree=30994088/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11648 CPUtime=102.2 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 6713 0 0 0 10220 0 0 0 20 0 1 0 106161695 37343232 2912 18446744073709551615 4194304 5972588 140722396466976 140722396464376 4962364 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2912 850 435 0 2480 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11648 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 11901
/proc/meminfo: memFree=30994292/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11656 CPUtime=162.2 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 7143 0 0 0 16220 0 0 0 20 0 1 0 106161695 37343232 2914 18446744073709551615 4194304 5972588 140722396466976 140722396464376 5244227 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2914 850 435 0 2480 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11656 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 11903
/proc/meminfo: memFree=30993932/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11660 CPUtime=222.21 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 7571 0 0 0 22221 0 0 0 20 0 1 0 106161695 37343232 2915 18446744073709551615 4194304 5972588 140722396466976 140722396464376 5099616 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2915 850 435 0 2480 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11660 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 11906
/proc/meminfo: memFree=30994024/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11660 CPUtime=282.22 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 7574 0 0 0 28221 1 0 0 20 0 1 0 106161695 37343232 2915 18446744073709551615 4194304 5972588 140722396466976 140722396464376 4962376 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2915 850 435 0 2480 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11660 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 11908
/proc/meminfo: memFree=30994276/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11668 CPUtime=342.23 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 7998 0 0 0 34222 1 0 0 20 0 1 0 106161695 37343232 2917 18446744073709551615 4194304 5972588 140722396466976 140722396464376 4962387 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2917 850 435 0 2480 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11668 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11925
/proc/meminfo: memFree=30990488/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11676 CPUtime=402.23 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 8012 0 0 0 40222 1 0 0 20 0 1 0 106161695 37343232 2919 18446744073709551615 4194304 5972588 140722396466976 140722396464376 5071411 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2919 850 435 0 2480 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11676 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11927
/proc/meminfo: memFree=30990652/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11680 CPUtime=462.24 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 8461 0 0 0 46223 1 0 0 20 0 1 0 106161695 37343232 2920 18446744073709551615 4194304 5972588 140722396466976 140722396464376 4900736 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2920 850 435 0 2480 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11680 KiB
[startup+489.222 s]
# the end of solver process 11895 was just reported to runsolver
# cumulated CPU time of all completed processes: user=489.156 s, system=0.012001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11927
/proc/meminfo: memFree=30990652/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11688 CPUtime=473.54 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 8469 0 0 0 47353 1 0 0 20 0 1 0 106161695 37343232 2922 18446744073709551615 4194304 5972588 140722396466976 140722396464376 4975792 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2922 850 435 0 2480 0
Current children cumulated CPU time: 473.54 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11688 KiB
[startup+480 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 11927
/proc/meminfo: memFree=30990652/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11688 CPUtime=479.95 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 8471 0 0 0 47994 1 0 0 20 0 1 0 106161695 37343232 2922 18446744073709551615 4194304 5972588 140722396466976 140722396464376 4965365 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2922 850 435 0 2480 0
Current children cumulated CPU time: 479.95 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11688 KiB
[startup+483.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 11928
/proc/meminfo: memFree=30990528/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11688 CPUtime=483.14 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 8478 0 0 0 48313 1 0 0 20 0 1 0 106161695 37343232 2922 18446744073709551615 4194304 5972588 140722396466976 140722396464376 5071428 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2922 850 435 0 2480 0
Current children cumulated CPU time: 483.14 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11688 KiB
[startup+486.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11928
/proc/meminfo: memFree=30992296/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11688 CPUtime=486.34 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 8486 0 0 0 48633 1 0 0 20 0 1 0 106161695 37343232 2922 18446744073709551615 4194304 5972588 140722396466976 140722396464376 5071505 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2922 850 435 0 2480 0
Current children cumulated CPU time: 486.34 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11688 KiB
[startup+488 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11928
/proc/meminfo: memFree=30992420/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11688 CPUtime=487.95 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 8490 0 0 0 48794 1 0 0 20 0 1 0 106161695 37343232 2922 18446744073709551615 4194304 5972588 140722396466976 140722396464376 4962387 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2922 850 435 0 2480 0
Current children cumulated CPU time: 487.95 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11688 KiB
[startup+488.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11928
/proc/meminfo: memFree=30992420/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11688 CPUtime=488.74 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 8490 0 0 0 48873 1 0 0 20 0 1 0 106161695 37343232 2922 18446744073709551615 4194304 5972588 140722396466976 140722396464376 4962396 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2922 850 435 0 2480 0
Current children cumulated CPU time: 488.74 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11688 KiB
[startup+489.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 11928
/proc/meminfo: memFree=30993460/32770624 swapFree=67108860/67108860
[pid=11895] ppid=11892 vsize=36468 memory=11688 CPUtime=489.14 cores=1,3,5,7
/proc/11895/stat : 11895 (cosoco) R 11892 11895 8289 0 -1 4202496 8491 0 0 0 48913 1 0 0 20 0 1 0 106161695 37343232 2922 18446744073709551615 4194304 5972588 140722396466976 140722396464376 4976448 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 17977344 140722396471748 140722396471848 140722396471848 140722396475342 0
/proc/11895/statm: 9117 2922 850 435 0 2480 0
Current children cumulated CPU time: 489.14 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 11688 KiB
Child status: 0
Real time (s): 489.222
CPU time (s): 489.168
CPU user time (s): 489.156
CPU system time (s): 0.012001
CPU usage (%): 99.989
Max. virtual memory (cumulated for all children) (KiB): 36468
Max. memory (cumulated for all children) (KiB): 11688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 489.156
system time used= 0.012001
maximum resident set size= 11756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8528
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= 10
involuntary context switches= 160
# summary of solver processes directly reported to runsolver:
# pid: 11895
# total CPU time (s): 489.168
# total CPU user time (s): 489.156
# total CPU system time (s): 0.012001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.62274 second user time and 3.31258 second system time
The end
Begin job on node133 at 2017-08-13 02:03:37 IDJOB=4266278 IDBENCH=133770 IDSOLVER=2655 FILE ID=node133/4266278-1502583465 RUNJOBID= node133-1502565190-8354 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-08.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266278-1502583465/watcher-4266278-1502583465 -o /tmp/evaluation-result-4266278-1502583465/solver-4266278-1502583465 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502565190-8354 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266278-1502583465.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 86261698a40453ca60d699c1ebc214eb RANDOM SEED=1177147289 node133.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: 31001988 kB MemAvailable: 31912704 kB Buffers: 309372 kB Cached: 902140 kB SwapCached: 0 kB Active: 823796 kB Inactive: 508320 kB Active(anon): 120696 kB Inactive(anon): 41304 kB Active(file): 703100 kB Inactive(file): 467016 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2336 kB Writeback: 0 kB AnonPages: 60448 kB Mapped: 56712 kB Shmem: 41660 kB Slab: 140324 kB SReclaimable: 112872 kB SUnreclaim: 27452 kB KernelStack: 3360 kB PageTables: 5072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 398728 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2017-08-13 02:11:47