| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.8799 | 2520.01 |
| Name | ColouredQueens/ColouredQueens-m1-s1/ ColouredQueens-12.xml |
| MD5SUM | 130c0e53e5c1e074e18659561dd41fce |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 144 |
| Number of constraints | 66 |
| Number of domains | 1 |
| Minimum domain size | 12 |
| Maximum domain size | 12 |
| Distribution of domain sizes | [{"size":12,"count":144}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 4 |
| Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":140}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 12 |
| Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":26}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":66}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.08 c SAT : Variables: 1728 -- Clauses: 9648 0.00/0.08 c root propagations : 0 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c This is cosoco 1.12 -- 0.00/0.08 c 0.00/0.08 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266013-1502566027.xml 0.00/0.08 c ========================================[ Problem Statistics ]=========================================== 0.00/0.08 c | 0.00/0.08 c | Parse time : 0.00 s 0.00/0.08 c | 0.00/0.08 c | Variables: 144 0.00/0.08 c | Domain Sizes: 12..12 0.00/0.08 c | 0.00/0.08 c | Constraints: 66 0.00/0.08 c | Arity: 2..12 -- Binary: 4 -- Ternary: 4 0.00/0.08 c | 0.00/0.08 c | Types: 0.00/0.08 c | All Different: 66 0.00/0.08 c | 0.00/0.08 c ========================================================================================================= 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c 10 85 2743 3021 0 8 53 68 58 0.00/0.09 c 20 185 6082 6697 0 12 53 74 55 0.00/0.09 c 30 276 9667 10716 0 15 54 60 52 0.00/0.10 c 40 361 12269 13535 0 21 48 73 59 0.00/0.10 c 50 441 14782 16731 0 24 57 62 53 0.02/0.11 c 60 536 19554 21886 0 28 44 58 46 0.02/0.12 c 70 605 21805 24180 0 32 51 56 50 0.02/0.12 c 80 686 25252 27595 0 38 48 63 52 0.02/0.13 c 90 781 28838 31421 0 39 55 65 55 0.02/0.13 c 100 885 32103 34571 0 43 53 68 56 0.02/0.13 c 101 941 33212 35364 0 44 56 56 28 0.02/0.14 c 110 1026 35775 37818 0 48 49 65 51 0.02/0.14 c 120 1107 38345 41165 0 50 52 59 51 0.02/0.14 c 130 1201 41764 45379 0 52 54 63 53 0.02/0.15 c 140 1279 43828 47491 0 59 45 62 46 0.02/0.15 c 150 1357 46007 49842 0 67 52 65 52 0.02/0.16 c 160 1457 49879 54257 0 69 52 69 55 0.02/0.16 c 170 1541 52250 56757 0 76 49 72 59 0.02/0.17 c 180 1634 55466 60366 0 82 56 71 60 0.02/0.17 c 190 1710 58197 63296 0 88 44 59 49 0.02/0.17 c 200 1796 61505 67261 0 93 43 68 51 0.02/0.18 c 210 1882 65678 72174 0 98 51 62 52 0.02/0.18 c 211 1932 66723 72850 0 99 50 50 25 0.02/0.19 c 220 2012 69626 75660 0 104 51 64 50 0.02/0.19 c 230 2102 72818 79142 0 107 56 62 54 0.02/0.20 c 240 2191 76997 83358 0 109 58 65 57 0.02/0.20 c 250 2282 79643 86265 0 114 55 64 54 0.02/0.21 c 260 2379 83813 91151 0 119 54 64 54 0.02/0.21 c 270 2466 86841 94779 0 124 59 68 58 0.13/0.22 c 280 2554 89914 98651 0 131 52 69 53 0.13/0.22 c 290 2644 93331 102556 0 135 50 64 54 0.13/0.23 c 300 2727 96219 105411 0 138 54 62 52 0.13/0.23 c 310 2824 99980 109842 0 146 55 61 53 0.13/0.24 c 320 2909 103003 113092 0 148 54 63 53 0.13/0.24 c 330 3011 106567 117702 0 152 55 71 57 0.13/0.24 c 332 3068 107848 118555 0 154 55 56 37 0.13/0.25 c 340 3164 110550 121601 0 156 61 73 58 0.13/0.25 c 350 3247 113755 125046 0 164 47 63 51 0.13/0.26 c 360 3337 117128 129056 0 171 50 63 52 0.13/0.26 c 370 3423 119443 131608 0 178 55 67 56 0.13/0.27 c 380 3523 122755 136277 0 182 59 65 55 0.13/0.27 c 390 3608 125794 139633 0 184 57 63 55 0.13/0.27 c 400 3684 128438 142363 0 190 48 62 52 0.13/0.28 c 410 3782 131072 144836 0 194 50 68 56 0.13/0.28 c 420 3863 134210 148166 0 197 59 63 55 0.13/0.29 c 430 3937 136394 151068 0 203 51 60 50 0.13/0.29 c 440 4021 138997 153801 0 207 52 71 57 0.13/0.29 c 450 4109 142516 157369 0 214 51 70 54 0.13/0.30 c 460 4187 145122 160040 0 223 48 63 51 0.13/0.30 c 465 4254 146926 161703 0 228 53 63 48 0.13/0.30 c 470 4321 148979 163681 0 231 55 61 48 0.13/0.31 c 480 4411 151247 166246 0 235 60 69 58 0.13/0.31 c 490 4502 154846 170694 0 238 54 60 52 0.23/0.32 c 500 4591 158140 174195 0 242 54 62 53 0.23/0.32 c 510 4687 160890 177620 0 243 58 68 57 0.23/0.33 c 520 4760 163187 179891 0 249 40 63 49 0.23/0.33 c 530 4864 166286 183546 0 257 54 74 57 0.23/0.33 c 540 4937 168230 185224 0 260 52 56 49 0.23/0.34 c 550 5009 170950 188515 0 262 49 56 48 0.23/0.34 c 560 5096 174112 191819 0 268 47 63 50 0.23/0.34 c 570 5168 176271 194008 0 274 47 58 49 0.23/0.35 c 580 5234 178572 196347 0 281 48 57 48 0.23/0.35 c 590 5319 181968 200482 0 285 59 67 57 0.23/0.36 c 600 5409 184792 203599 0 290 55 69 58 0.23/0.36 c 610 5503 187958 206546 0 294 52 66 56 0.23/0.36 c 611 5549 188759 206983 0 295 46 46 23 0.23/0.37 c 620 5643 192390 211006 0 297 54 62 51 0.23/0.37 c 630 5738 195910 214598 0 302 50 62 51 0.23/0.38 c 640 5826 199794 218851 0 305 54 66 53 0.23/0.38 c 650 5918 202592 221826 0 307 55 62 54 0.23/0.39 c 660 6011 205779 225664 0 311 58 67 56 0.23/0.39 c 670 6096 207843 228056 0 315 61 68 59 0.23/0.40 c 680 6185 210574 231439 0 321 57 67 57 0.23/0.40 c 690 6296 213592 234221 0 324 55 70 59 0.23/0.40 c 700 6377 216531 237600 0 325 57 68 56 0.23/0.41 c 710 6457 219433 240656 0 329 55 64 54 0.33/0.41 c 720 6553 223122 245804 0 331 56 67 54 0.33/0.42 c 730 6633 225290 248051 0 332 57 71 57 0.33/0.42 c 740 6715 227409 250563 0 335 54 65 54 0.33/0.43 c 750 6800 230954 254984 0 339 57 66 56 0.33/0.43 c 760 6887 234361 259208 0 341 51 61 50 0.33/0.44 c 770 6992 238458 263880 0 344 56 69 58 0.33/0.44 c 771 7036 239405 264411 0 345 44 44 22 0.33/0.44 c 780 7122 242087 267895 0 348 50 65 53 0.33/0.45 c 790 7210 245793 271419 0 355 57 67 56 0.33/0.45 c 800 7310 249105 274828 0 359 53 68 55 0.33/0.46 c 810 7394 251715 277462 0 361 53 68 56 0.33/0.46 c 820 7484 255618 281955 0 364 51 61 52 0.33/0.47 c 830 7571 258381 284927 0 371 57 65 55 0.33/0.47 c 840 7657 260622 287333 0 378 59 69 57 0.33/0.48 c 850 7749 264739 291933 0 384 53 68 55 0.33/0.48 c 860 7832 268585 296454 0 389 53 60 52 0.33/0.49 c 870 7948 271514 299715 0 391 56 65 55 0.33/0.49 c 880 8028 273997 302326 0 393 56 69 59 0.33/0.49 c 890 8115 276907 306036 0 396 55 64 54 0.33/0.50 c 900 8195 279359 308743 0 405 56 63 54 0.33/0.50 c 910 8282 282521 312377 0 406 56 66 55 0.33/0.51 c 920 8363 285040 314856 0 408 63 67 59 0.33/0.51 c 930 8450 288345 318013 0 411 53 63 53 0.43/0.52 c 940 8539 291334 321209 0 417 50 59 50 0.43/0.52 c 947 8618 293678 323511 0 421 58 67 55 0.43/0.52 c 950 8674 295189 324644 0 424 45 54 37 0.43/0.52 c 960 8770 297585 327476 0 429 36 71 58 0.43/0.53 c 970 8860 300185 330556 0 433 51 65 53 0.43/0.53 c 980 8939 302484 332961 0 437 32 59 49 0.43/0.54 c 990 9025 306318 336984 0 444 26 65 49 0.43/0.54 c 1000 9122 310052 342018 0 449 55 64 55 0.43/0.55 c 1010 9203 312287 344224 0 455 45 64 51 0.43/0.55 c 1020 9280 314532 347025 0 459 52 61 52 0.43/0.55 c 1030 9356 317235 350225 0 461 54 58 52 0.43/0.56 c 1040 9429 318863 351771 0 469 44 61 46 0.43/0.56 c 1050 9516 321396 354438 0 473 60 68 57 0.43/0.56 c 1060 9618 324395 357818 0 479 48 76 57 0.43/0.57 c 1070 9693 327071 361351 0 482 48 58 49 0.43/0.57 c 1080 9776 329387 363819 0 486 55 66 55 0.43/0.57 c 1090 9847 331379 366045 0 494 46 58 49 0.43/0.58 c 1100 9926 333849 368525 0 501 48 65 51 0.43/0.58 c 1110 10003 336036 370927 0 509 59 65 56 0.43/0.59 c 1120 10098 339337 374647 0 514 37 69 54 0.43/0.59 c 1130 10193 342429 377805 0 520 59 67 57 0.43/0.60 c 1140 10275 346272 383537 0 526 52 61 52 0.43/0.60 c 1141 10337 347739 384750 0 527 62 62 31 0.43/0.60 c 1150 10429 350244 387972 0 531 39 64 52 0.52/0.61 c 1160 10504 353089 390893 0 536 52 61 51 0.52/0.61 c 1170 10580 355610 393766 0 541 53 59 50 0.52/0.61 c 1180 10668 358460 397507 0 544 61 64 56 0.52/0.62 c 1190 10761 361208 400350 0 549 60 63 56 0.52/0.62 c 1200 10834 364092 403865 0 558 54 62 53 0.52/0.63 c 1210 10910 366531 406066 0 561 56 65 54 0.52/0.63 c 1220 10985 368816 408908 0 569 49 60 51 0.52/0.63 c 1230 11070 371507 411834 0 570 56 70 58 0.52/0.64 c 1240 11162 374886 415694 0 575 50 66 52 0.52/0.64 c 1250 11240 376684 417598 0 584 31 67 51 0.52/0.65 c 1260 11335 380311 421331 0 588 53 63 52 0.52/0.65 c 1270 11411 382991 424415 0 593 51 65 54 0.52/0.66 c 1280 11515 387535 429616 0 599 50 68 54 0.52/0.66 c 1290 11596 389888 432977 0 601 52 63 53 0.52/0.66 c 1300 11679 392400 435589 0 610 56 72 56 0.52/0.67 c 1310 11766 395660 439340 0 612 60 67 57 0.52/0.67 c 1320 11853 398281 441647 0 619 56 67 56 0.52/0.68 c 1330 11938 400956 444908 0 624 54 63 53 0.52/0.68 c 1340 12016 403930 448507 0 632 50 60 51 0.52/0.69 c 1350 12126 407477 452235 0 635 53 67 55 0.52/0.69 c 1352 12178 408450 452851 0 636 50 51 33 0.52/0.69 c 1360 12274 412066 456714 0 637 53 64 52 0.61/0.70 c 1370 12357 414689 460062 0 641 52 64 54 0.61/0.70 c 1380 12436 416606 462189 0 648 57 66 56 0.61/0.70 c 1390 12509 418806 464598 0 658 55 63 53 0.61/0.71 c 1400 12603 421911 468453 0 661 52 68 51 0.61/0.71 c 1410 12686 424397 470769 0 665 64 67 60 0.61/0.72 c 1420 12776 427890 474877 0 673 41 66 50 0.61/0.72 c 1430 12869 430079 477342 0 676 63 73 61 0.61/0.72 c 1440 12950 432570 479924 0 679 49 58 48 0.61/0.73 c 1450 13054 436060 484040 0 682 58 74 59 0.61/0.73 c 1460 13134 438486 486678 0 692 57 67 55 0.61/0.73 c 1470 13210 440447 489212 0 696 52 64 54 0.61/0.74 c 1480 13305 443256 492899 0 702 59 71 59 0.61/0.74 c 1490 13372 446522 496550 0 707 45 50 43 0.61/0.75 c 1500 13452 449136 499113 0 712 49 61 52 0.61/0.75 c 1510 13530 451939 502218 0 718 55 62 52 0.61/0.76 c 1520 13610 454797 505733 0 725 50 66 53 0.61/0.76 c 1530 13697 457600 508652 0 729 55 61 52 0.61/0.76 c 1540 13781 459874 511736 0 734 54 68 58 0.61/0.77 c 1550 13878 462817 514949 0 741 56 66 55 0.61/0.78 c 1560 13978 468181 521310 0 745 55 64 56 0.61/0.78 c 1570 14089 471310 524391 0 750 55 73 60 0.61/0.79 c 1580 14186 475149 528906 0 753 56 64 53 0.61/0.79 c 1585 14250 477036 530464 0 758 52 60 47 0.61/0.79 c 1590 14316 478732 531984 0 760 29 62 45 0.61/0.80 c 1600 14396 481248 534590 0 761 52 60 51 0.71/0.80 c 1610 14474 483266 536620 0 770 56 68 56 0.71/0.80 c 1620 14550 485452 539184 0 773 34 63 52 0.71/0.81 c 1630 14640 489081 543372 0 775 55 67 55 0.71/0.81 c 1640 14723 492044 546707 0 779 55 63 54 0.71/0.81 c 1650 14803 494205 548624 0 789 53 69 54 0.71/0.82 c 1660 14886 496323 550791 0 798 58 67 57 0.71/0.82 c 1670 14980 499400 554196 0 802 48 66 53 0.71/0.83 c 1680 15058 501553 556291 0 806 56 61 53 0.71/0.83 c 1690 15138 504466 559567 0 812 51 65 54 0.71/0.83 c 1700 15244 507388 562404 0 817 60 74 59 0.71/0.84 c 1710 15337 510342 565445 0 824 45 65 52 0.71/0.84 c 1720 15427 512577 567715 0 826 52 61 51 0.71/0.85 c 1730 15517 515350 570692 0 831 56 62 54 0.71/0.85 c 1740 15604 519004 575822 0 836 53 60 50 0.71/0.85 c 1750 15680 521393 578229 0 846 47 67 55 0.71/0.86 c 1760 15754 523377 580193 0 851 55 64 55 0.71/0.86 c 1770 15842 525606 582524 0 853 61 75 61 0.71/0.86 c 1780 15922 527739 585003 0 859 52 64 53 0.71/0.87 c 1790 16015 531062 588837 0 863 52 63 53 0.71/0.87 c 1800 16106 534477 592899 0 868 58 63 55 0.71/0.88 c 1810 16194 537822 596178 0 870 47 64 50 0.71/0.88 c 1820 16279 541027 600426 0 872 51 64 51 0.71/0.89 c 1830 16360 543512 602777 0 875 52 61 52 0.71/0.89 c 1840 16439 546223 605538 0 879 55 67 56 0.71/0.89 c 1841 16486 547226 606172 0 880 47 47 23 0.81/0.90 c 1850 16571 550146 609368 0 887 53 67 55 0.81/0.90 c 1860 16664 553346 613180 0 892 59 69 58 0.81/0.91 c 1870 16763 557051 618244 0 895 58 66 55 0.81/0.91 c 1880 16867 560636 622367 0 901 51 68 54 0.81/0.92 c 1890 16957 563933 625712 0 904 55 63 53 0.81/0.92 c 1900 17047 568557 632168 0 906 54 60 52 0.81/0.93 c 1910 17122 571048 635225 0 913 50 59 48 0.81/0.93 c 1920 17222 574432 639386 0 915 55 66 54 0.81/0.94 c 1930 17318 577498 643032 0 918 55 69 55 0.81/0.94 c 1940 17395 579428 644831 0 927 51 65 53 0.81/0.94 c 1950 17473 582260 647922 0 929 49 66 55 0.81/0.95 c 1960 17549 584309 650054 0 932 55 65 56 0.81/0.95 c 1970 17627 586711 652567 0 940 56 65 56 0.81/0.96 c 1980 17704 590222 656840 0 941 54 57 50 0.81/0.96 c 1990 17783 592970 660092 0 948 60 65 56 0.81/0.97 c 2000 17879 596674 664439 0 950 62 67 58 0.81/0.97 c 2010 17961 599308 667526 0 957 49 60 51 0.81/0.97 c 2020 18050 601388 669294 0 961 59 66 56 0.81/0.98 c 2030 18144 604304 672262 0 964 51 60 50 0.81/0.98 c 2040 18231 607254 675441 0 969 57 67 53 0.81/0.99 c 2050 18318 610711 679334 0 974 54 63 53 0.81/0.99 c 2060 18404 614203 683248 0 981 53 62 52 0.81/1.00 c 2070 18489 617250 686436 0 986 45 63 52 0.81/1.00 c 2080 18580 620070 689677 0 992 58 68 58 0.92/1.01 c 2090 18660 623528 693175 0 994 53 59 51 0.92/1.01 c 2100 18740 625813 695780 0 997 55 68 56 0.92/1.01 c 2110 18816 628305 698756 0 999 55 58 51 0.92/1.02 c 2120 18899 631390 702252 0 1001 54 62 53 0.92/1.02 c 2122 18948 632696 703343 0 1002 47 48 31 0.92/1.02 c 2130 19049 636155 706440 0 1010 46 66 49 0.92/1.03 c 2140 19143 638864 709190 0 1015 56 65 56 0.92/1.03 c 2150 19235 641204 711770 0 1020 52 69 57 0.92/1.04 c 2160 19329 644362 714559 0 1026 52 66 53 0.92/1.04 c 2170 19430 647821 718435 0 1032 45 63 49 0.92/1.05 c 2180 19517 650163 721014 0 1036 53 60 52 0.92/1.05 c 2190 19600 653190 724135 0 1045 49 68 54 0.92/1.05 c 2200 19692 656333 727777 0 1051 51 64 52 0.92/1.06 c 2210 19780 658321 729857 0 1058 61 75 64 0.92/1.06 c 2220 19857 659859 731029 0 1063 46 54 44 0.92/1.06 c 2230 19932 661808 733040 0 1066 53 65 54 0.92/1.07 c 2240 20041 664797 736400 0 1069 63 80 65 0.92/1.07 c 2250 20113 666459 737929 0 1078 53 62 53 0.92/1.07 c 2260 20198 669385 741560 0 1082 57 63 54 0.92/1.08 c 2270 20282 672011 744537 0 1085 49 62 52 0.92/1.08 c 2280 20365 674661 747585 0 1088 51 63 51 0.92/1.08 c 2290 20464 677258 750248 0 1098 50 72 58 0.92/1.09 c 2300 20548 680027 753413 0 1104 52 63 53 0.92/1.09 c 2310 20635 683187 756801 0 1106 52 72 60 0.92/1.10 c 2320 20725 685695 759430 0 1107 55 68 57 0.92/1.10 c 2330 20812 688237 762203 0 1115 51 70 54 1.02/1.10 c 2340 20894 690784 765241 0 1122 37 70 52 1.02/1.11 c 2350 20979 693607 768206 0 1123 57 67 55 1.02/1.11 c 2360 21069 696395 771411 0 1133 51 67 54 1.02/1.12 c 2370 21163 698921 774466 0 1135 62 67 58 1.02/1.12 c 2380 21249 702437 778867 0 1139 54 66 57 1.02/1.13 c 2390 21350 705873 782465 0 1146 54 68 56 1.02/1.13 c 2400 21432 708166 785175 0 1151 59 66 57 1.02/1.13 c 2410 21517 710753 788265 0 1155 49 60 48 1.02/1.14 c 2420 21590 712521 790159 0 1162 46 64 53 1.02/1.14 c 2430 21680 716177 794892 0 1166 36 60 51 1.02/1.14 c 2431 21730 717209 795516 0 1167 50 50 25 1.02/1.15 c 2440 21810 719105 797487 0 1173 38 70 55 1.02/1.15 c 2450 21891 721447 800527 0 1175 57 62 53 1.02/1.15 c 2460 21987 724823 803880 0 1180 52 63 53 1.02/1.16 c 2470 22081 727781 807875 0 1187 55 71 59 1.02/1.16 c 2480 22163 730470 810665 0 1194 57 62 54 1.02/1.17 c 2490 22237 732743 813252 0 1203 51 62 52 1.02/1.17 c 2500 22334 737015 818860 0 1206 49 62 48 1.02/1.18 c 2510 22445 741226 823594 0 1208 57 67 55 1.02/1.18 c 2520 22534 744228 826784 0 1214 50 61 50 1.02/1.19 c 2530 22606 746517 829489 0 1224 49 62 50 1.02/1.19 c 2540 22697 750063 833562 0 1226 55 64 53 1.11/1.20 c 2550 22785 753437 837324 0 1231 51 70 56 1.11/1.20 c 2560 22872 756238 840672 0 1239 58 68 56 1.11/1.21 c 2570 22949 758921 843901 0 1243 50 61 51 1.11/1.21 c 2580 23040 762036 847177 0 1249 53 68 56 1.11/1.21 c 2590 23129 765015 850683 0 1250 55 65 54 1.11/1.22 c 2600 23208 767799 854246 0 1255 29 65 52 1.11/1.22 c 2610 23283 769824 856242 0 1265 49 63 52 1.11/1.22 c 2620 23369 772007 858857 0 1275 52 72 58 1.11/1.23 c 2630 23459 774935 861868 0 1280 53 65 53 1.11/1.23 c 2640 23540 777423 864409 0 1286 53 62 52 1.11/1.24 c 2650 23626 780892 869057 0 1289 51 60 50 1.11/1.24 c 2660 23716 784152 873035 0 1294 51 61 52 1.11/1.25 c 2670 23807 786680 876266 0 1300 54 72 58 1.11/1.25 c 2680 23902 790066 879518 0 1307 53 70 54 1.11/1.25 c 2690 23980 792301 882133 0 1309 52 60 51 1.11/1.26 c 2700 24050 794555 884908 0 1313 50 57 50 1.11/1.26 c 2710 24130 797458 888003 0 1319 51 62 51 1.11/1.26 c 2720 24207 799258 889757 0 1329 50 68 53 1.11/1.27 c 2730 24296 801503 892015 0 1335 52 67 52 1.11/1.27 c 2740 24390 804334 895239 0 1338 52 67 55 1.11/1.28 c 2750 24490 808349 899936 0 1344 52 68 51 1.11/1.29 c 2760 24597 813179 905528 0 1348 58 68 56 1.11/1.29 c 2770 24679 815940 908575 0 1353 55 67 56 1.11/1.29 c 2771 24729 816959 909166 0 1354 50 50 25 1.11/1.30 c 2780 24804 819998 912823 0 1356 53 63 53 1.21/1.30 c 2790 24930 825341 920049 0 1361 46 67 52 1.21/1.31 c 2800 25003 827291 922422 0 1369 54 60 51 1.21/1.31 c 2810 25075 830008 925032 0 1376 51 58 50 1.21/1.31 c 2820 25158 832079 927168 0 1379 54 55 49 1.21/1.32 c 2830 25255 835091 930391 0 1386 50 67 53 1.21/1.32 c 2840 25336 837470 933021 0 1389 54 66 55 1.21/1.33 c 2850 25435 840661 936507 0 1395 54 73 57 1.21/1.33 c 2860 25511 843533 939541 0 1400 53 62 53 1.21/1.33 c 2870 25605 846193 942784 0 1408 53 75 61 1.21/1.34 c 2880 25687 848744 945497 0 1414 49 61 51 1.21/1.34 c 2890 25776 851363 948248 0 1418 49 67 55 1.21/1.35 c 2900 25859 854107 951367 0 1425 53 61 52 1.21/1.35 c 2910 25950 857357 955317 0 1431 52 65 55 1.21/1.36 c 2920 26040 860307 958795 0 1438 57 67 55 1.21/1.36 c 2930 26122 863010 961625 0 1443 48 62 53 1.21/1.36 c 2940 26210 865784 965019 0 1448 44 66 52 1.21/1.37 c 2950 26302 868896 968745 0 1450 55 65 53 1.21/1.37 c 2960 26383 871250 971439 0 1455 52 60 51 1.21/1.37 c 2970 26458 873223 973535 0 1462 49 58 50 1.21/1.38 c 2980 26537 875553 976014 0 1468 48 65 52 1.21/1.38 c 2990 26621 878117 978633 0 1474 58 68 58 1.21/1.39 c 3000 26698 880837 981599 0 1479 55 60 53 1.21/1.39 c 3010 26785 883574 984894 0 1485 49 67 55 1.21/1.39 c 3020 26858 885630 986513 0 1487 48 49 43 1.31/1.40 c 3030 26954 889357 990884 0 1491 55 63 53 1.31/1.40 c 3040 27040 892111 994235 0 1492 53 67 54 1.31/1.41 c 3050 27122 895037 997168 0 1497 60 65 56 1.31/1.41 c 3060 27207 897878 1000719 0 1499 61 66 57 1.31/1.42 c 3070 27306 900922 1005263 0 1507 52 72 60 1.31/1.42 c 3080 27393 903697 1008553 0 1512 56 62 53 1.31/1.42 c 3090 27481 906875 1012267 0 1517 59 66 57 1.31/1.43 c 3100 27577 909766 1015482 0 1522 57 77 58 1.31/1.43 c 3110 27654 911666 1017155 0 1532 45 68 53 1.31/1.44 c 3120 27759 914993 1020789 0 1536 52 71 55 1.31/1.44 c 3130 27844 917158 1023256 0 1541 51 72 60 1.31/1.44 c 3140 27925 919667 1025958 0 1550 62 69 59 1.31/1.44 c 3142 27980 920945 1027036 0 1552 48 54 34 1.31/1.45 c 3150 28058 922854 1028668 0 1554 60 66 57 1.31/1.45 c 3160 28151 925204 1031313 0 1560 56 72 57 1.31/1.46 c 3170 28236 928188 1034500 0 1567 48 64 51 1.31/1.46 c 3180 28318 931045 1037736 0 1575 49 66 52 1.31/1.46 c 3190 28392 932863 1039386 0 1585 48 64 50 1.31/1.47 c 3200 28484 935249 1042071 0 1590 57 68 57 1.31/1.47 c 3210 28563 937904 1044859 0 1593 53 66 57 1.31/1.47 c 3220 28643 940421 1048428 0 1597 54 63 53 1.31/1.48 c 3230 28728 943329 1051641 0 1601 55 67 55 1.31/1.49 c 3240 28842 948066 1056992 0 1604 51 64 53 1.31/1.49 c 3250 28967 953953 1066411 0 1606 47 72 60 1.41/1.50 c 3260 29052 957663 1070961 0 1611 53 69 55 1.41/1.50 c 3270 29129 959711 1073417 0 1615 46 63 51 1.41/1.51 c 3280 29207 962619 1076958 0 1620 47 62 49 1.41/1.51 c 3290 29294 965447 1080122 0 1625 41 69 56 1.41/1.52 c 3300 29378 967689 1082390 0 1628 55 66 54 1.41/1.52 c 3310 29453 969951 1084600 0 1630 53 59 51 1.41/1.52 c 3320 29543 973918 1089100 0 1636 51 63 53 1.41/1.53 c 3330 29645 977340 1092996 0 1640 60 73 60 1.41/1.53 c 3340 29731 979715 1096093 0 1646 58 73 61 1.41/1.54 c 3350 29827 982875 1099782 0 1651 48 58 49 1.41/1.54 c 3360 29926 987247 1104869 0 1655 53 64 53 1.41/1.55 c 3370 30036 991169 1109256 0 1656 52 63 54 1.41/1.55 c 3380 30115 993258 1111865 0 1661 54 69 57 1.41/1.56 c 3390 30208 995960 1115940 0 1668 58 69 58 1.41/1.56 c 3400 30288 998354 1118302 0 1672 57 67 58 1.41/1.57 c 3410 30384 1001367 1121862 0 1677 50 72 56 1.41/1.57 c 3420 30475 1003677 1124139 0 1680 54 66 54 1.41/1.57 c 3430 30568 1006696 1127935 0 1683 55 64 53 1.41/1.58 c 3440 30648 1009875 1131470 0 1691 51 66 55 1.41/1.58 c 3450 30733 1012217 1133815 0 1699 52 66 53 1.41/1.59 c 3460 30842 1016712 1139230 0 1705 54 67 56 1.41/1.59 c 3470 30907 1019067 1141285 0 1712 46 50 43 1.41/1.60 c 3480 30985 1021492 1144190 0 1722 52 65 53 1.51/1.60 c 3490 31056 1023665 1146898 0 1732 53 61 52 1.51/1.60 c 3500 31140 1026725 1150031 0 1737 47 61 51 1.51/1.61 c 3510 31225 1029740 1153849 0 1740 56 67 56 1.51/1.61 c 3520 31324 1033078 1157732 0 1745 49 66 53 1.51/1.62 c 3530 31415 1035868 1161253 0 1748 54 66 55 1.51/1.62 c 3540 31500 1038437 1164111 0 1751 58 67 57 1.51/1.63 c 3550 31587 1042059 1167863 0 1757 55 60 52 1.51/1.63 c 3551 31644 1043171 1168625 0 1758 57 57 28 1.51/1.63 c 3560 31756 1046107 1171967 0 1763 59 74 59 1.51/1.63 c 3570 31843 1048431 1174237 0 1768 55 64 55 1.51/1.64 c 3580 31918 1050687 1176850 0 1771 54 58 50 1.51/1.64 c 3590 32003 1053189 1179360 0 1776 53 66 55 1.51/1.65 c 3600 32100 1056576 1183994 0 1778 59 72 58 1.51/1.65 c 3610 32202 1060898 1188850 0 1782 49 64 52 1.51/1.66 c 3620 32304 1064989 1193981 0 1789 56 63 54 1.51/1.67 c 3630 32405 1069115 1198346 0 1793 52 65 52 1.51/1.67 c 3640 32495 1072784 1202297 0 1796 55 64 53 1.51/1.68 c 3650 32599 1076277 1206519 0 1802 64 70 61 1.51/1.68 c 3660 32684 1078278 1208767 0 1808 45 70 59 1.51/1.68 c 3670 32777 1080845 1211699 0 1814 53 78 59 1.51/1.69 c 3680 32871 1083820 1214643 0 1818 51 66 54 1.51/1.69 c 3690 32953 1087204 1218506 0 1819 54 62 52 1.61/1.70 c 3700 33060 1090948 1222655 0 1823 60 72 57 1.61/1.70 c 3710 33155 1093653 1225786 0 1830 46 69 57 1.61/1.70 c 3720 33237 1095569 1227675 0 1839 65 71 62 1.61/1.71 c 3730 33315 1098351 1230990 0 1844 50 60 49 1.61/1.71 c 3740 33393 1100700 1233396 0 1850 59 64 55 1.61/1.72 c 3750 33484 1103634 1236794 0 1856 56 66 56 1.61/1.72 c 3760 33559 1105483 1238514 0 1866 46 65 53 1.61/1.72 c 3770 33655 1109033 1242911 0 1871 55 67 54 1.61/1.73 c 3780 33743 1111467 1245065 0 1873 54 61 51 1.61/1.73 c 3790 33832 1113918 1247763 0 1880 61 71 61 1.61/1.74 c 3800 33933 1117741 1252659 0 1884 58 65 54 1.61/1.74 c 3810 34025 1120805 1256085 0 1889 52 58 49 1.61/1.75 c 3820 34130 1124271 1259545 0 1894 58 73 58 1.61/1.75 c 3830 34224 1127399 1263134 0 1897 59 69 57 1.61/1.75 c 3840 34298 1129327 1265254 0 1906 48 61 50 1.61/1.76 c 3850 34396 1131602 1267420 0 1908 49 63 53 1.61/1.76 c 3860 34489 1135185 1271560 0 1912 56 67 55 1.61/1.77 c 3870 34572 1137504 1274507 0 1917 54 65 55 1.61/1.77 c 3880 34644 1139592 1276775 0 1922 51 60 50 1.61/1.77 c 3890 34722 1142048 1279205 0 1926 53 61 53 1.61/1.78 c 3900 34802 1144327 1281489 0 1930 58 62 54 1.61/1.78 c 3910 34879 1146635 1283789 0 1938 48 61 50 1.61/1.78 c 3920 34955 1149045 1286545 0 1941 51 60 51 1.61/1.79 c 3930 35036 1151657 1289702 0 1949 52 61 52 1.61/1.79 c 3940 35116 1154007 1292089 0 1956 56 66 56 1.61/1.79 c 3950 35207 1157277 1296209 0 1960 44 65 53 1.71/1.80 c 3960 35304 1160636 1299946 0 1963 56 64 55 1.71/1.81 c 3970 35374 1164403 1304620 0 1966 49 57 49 1.71/1.81 c 3980 35472 1166789 1307103 0 1969 55 64 54 1.71/1.81 c 3990 35563 1169876 1310725 0 1979 52 65 54 1.71/1.82 c 4000 35661 1173034 1314323 0 1982 59 66 56 1.71/1.82 c 4001 35718 1174075 1314984 0 1983 57 57 28 1.71/1.82 c 4010 35804 1176418 1317733 0 1989 56 67 55 1.71/1.83 c 4020 35894 1179001 1320843 0 1996 50 71 56 1.71/1.83 c 4030 35978 1182217 1324808 0 1999 53 63 52 1.71/1.84 c 4040 36076 1185063 1328147 0 2005 53 68 57 1.71/1.84 c 4050 36155 1187226 1330565 0 2012 49 63 53 1.71/1.84 c 4060 36249 1189718 1332965 0 2014 48 67 57 1.71/1.85 c 4070 36332 1192451 1336166 0 2020 49 61 50 1.71/1.85 c 4080 36424 1195775 1340271 0 2023 52 60 51 1.71/1.85 c 4090 36498 1197795 1342180 0 2030 52 63 53 1.71/1.86 c 4100 36579 1200068 1344787 0 2033 60 65 56 1.71/1.86 c 4110 36672 1203209 1348392 0 2035 56 67 54 1.71/1.87 c 4120 36779 1206397 1352587 0 2038 59 65 57 1.71/1.87 c 4130 36850 1209622 1356116 0 2046 46 59 50 1.71/1.88 c 4140 36937 1213063 1359841 0 2048 56 64 54 1.71/1.88 c 4150 37010 1215947 1362892 0 2054 49 58 47 1.71/1.88 c 4160 37084 1218256 1366082 0 2060 49 60 51 1.71/1.89 c 4170 37172 1220583 1368966 0 2066 53 70 58 1.71/1.89 c 4180 37251 1223737 1372542 0 2072 54 65 52 1.81/1.90 c 4190 37333 1226802 1376262 0 2074 52 61 51 1.81/1.90 c 4200 37425 1229473 1379251 0 2079 54 65 55 1.81/1.91 c 4210 37517 1232680 1382910 0 2084 59 71 56 1.81/1.91 c 4220 37598 1235740 1386706 0 2092 50 61 50 1.81/1.92 c 4230 37703 1239054 1390188 0 2096 53 64 53 1.81/1.92 c 4240 37784 1243131 1395043 0 2100 53 60 51 1.81/1.93 c 4250 37879 1245991 1398670 0 2107 54 66 56 1.81/1.93 c 4260 37961 1248184 1401211 0 2113 50 66 55 1.81/1.93 c 4270 38060 1250888 1404075 0 2120 56 70 56 1.81/1.94 c 4280 38135 1253155 1406258 0 2130 53 66 55 1.81/1.94 c 4290 38216 1255657 1409789 0 2139 53 64 54 1.81/1.95 c 4300 38297 1258787 1413547 0 2140 55 65 54 1.81/1.95 c 4310 38386 1261693 1417082 0 2145 36 68 53 1.81/1.95 c 4320 38473 1264573 1420295 0 2150 51 71 52 1.81/1.96 c 4330 38555 1268050 1424166 0 2153 50 56 48 1.81/1.96 c 4340 38636 1270864 1427108 0 2158 47 62 52 1.81/1.97 c 4350 38724 1274011 1431068 0 2166 54 67 54 1.81/1.97 c 4360 38810 1276381 1433673 0 2170 64 67 59 1.81/1.98 c 4370 38887 1279023 1436366 0 2175 54 61 53 1.81/1.98 c 4380 38986 1281738 1439445 0 2180 54 73 61 1.81/1.98 c 4390 39062 1285057 1443434 0 2181 54 59 51 1.81/1.99 c 4400 39144 1287933 1446670 0 2187 53 65 54 1.81/1.99 c 4410 39229 1290543 1449752 0 2194 52 73 58 1.81/2.00 c 4420 39307 1292769 1451992 0 2200 56 63 54 1.92/2.00 c 4430 39438 1298588 1458090 0 2203 60 64 56 1.92/2.01 c 4440 39523 1300945 1460659 0 2208 58 63 55 1.92/2.01 c 4450 39603 1304139 1464120 0 2214 49 60 51 1.92/2.02 c 4460 39682 1307170 1467678 0 2217 53 63 55 1.92/2.02 c 4470 39767 1309506 1469648 0 2222 52 62 49 1.92/2.03 c 4480 39844 1312453 1473023 0 2229 55 64 54 1.92/2.03 c 4490 39931 1315306 1476163 0 2233 48 59 49 1.92/2.03 c 4493 39993 1316837 1477381 0 2236 57 60 44 1.92/2.03 c 4500 40064 1319264 1479831 0 2241 51 58 48 1.92/2.04 c 4510 40154 1322325 1483133 0 2245 55 65 54 1.92/2.04 c 4520 40244 1325614 1487604 0 2246 59 66 56 1.92/2.05 c 4530 40317 1327774 1489834 0 2251 51 62 52 1.92/2.05 c 4540 40386 1329316 1491280 0 2258 43 56 47 1.92/2.05 c 4550 40472 1331901 1494395 0 2261 56 62 54 1.92/2.06 c 4560 40561 1335805 1499175 0 2262 53 63 52 1.92/2.06 c 4570 40646 1339048 1502720 0 2265 53 67 53 1.92/2.07 c 4580 40746 1341125 1504848 0 2269 58 69 57 1.92/2.07 c 4590 40844 1345168 1509530 0 2272 56 70 56 1.92/2.08 c 4600 40926 1347881 1512421 0 2278 53 66 54 1.92/2.08 c 4610 41005 1350943 1516197 0 2279 52 60 51 1.92/2.09 c 4620 41088 1353887 1519554 0 2284 54 63 53 1.92/2.09 c 4630 41164 1356383 1522484 0 2285 53 61 51 1.92/2.10 c 4640 41247 1359965 1526894 0 2288 52 59 50 1.92/2.10 c 4650 41338 1362482 1529404 0 2294 59 69 58 2.02/2.10 c 4660 41436 1365717 1532777 0 2298 40 61 50 2.02/2.11 c 4670 41513 1368439 1535644 0 2301 42 66 53 2.02/2.11 c 4680 41620 1372107 1540141 0 2306 58 66 56 2.02/2.12 c 4690 41698 1374754 1543461 0 2309 56 65 54 2.02/2.12 c 4700 41785 1377294 1546860 0 2315 59 69 58 2.02/2.12 c 4710 41865 1379436 1549038 0 2325 52 65 54 2.02/2.13 c 4720 41939 1382201 1551823 0 2330 50 59 51 2.02/2.13 c 4730 42035 1384797 1554395 0 2336 50 72 55 2.02/2.14 c 4740 42113 1387488 1557469 0 2340 50 67 55 2.02/2.14 c 4750 42189 1389643 1559807 0 2349 45 63 51 2.02/2.14 c 4760 42262 1392171 1562533 0 2355 47 61 50 2.02/2.15 c 4770 42359 1395435 1566477 0 2360 32 61 49 2.02/2.15 c 4780 42447 1398713 1570017 0 2364 47 71 53 2.02/2.16 c 4790 42524 1402115 1573634 0 2369 45 56 46 2.02/2.16 c 4800 42604 1403949 1575703 0 2373 56 68 56 2.02/2.17 c 4810 42712 1408453 1581756 0 2376 60 68 58 2.02/2.17 c 4820 42799 1411681 1585277 0 2379 53 61 51 2.02/2.18 c 4830 42885 1414216 1587950 0 2389 59 70 58 2.02/2.18 c 4840 42969 1417053 1590900 0 2394 52 62 53 2.02/2.18 c 4850 43047 1419935 1593802 0 2395 55 60 53 2.02/2.19 c 4860 43132 1421801 1595791 0 2405 63 76 64 2.02/2.19 c 4870 43212 1424477 1598668 0 2409 47 65 53 2.02/2.19 c 4880 43293 1426655 1600621 0 2414 53 63 53 2.11/2.20 c 4890 43377 1429262 1603894 0 2422 51 64 53 2.11/2.20 c 4900 43472 1432180 1607053 0 2426 57 66 57 2.11/2.21 c 4910 43545 1434377 1609216 0 2432 57 64 56 2.11/2.21 c 4920 43621 1435764 1610500 0 2442 48 67 55 2.11/2.21 c 4930 43704 1438879 1614064 0 2446 57 66 56 2.11/2.22 c 4940 43788 1441377 1616278 0 2454 55 61 53 2.11/2.22 c 4950 43870 1444037 1619231 0 2460 46 61 50 2.11/2.22 c 4960 43951 1446243 1621957 0 2465 37 66 54 2.11/2.23 c 4970 44038 1448952 1624782 0 2470 58 66 57 2.11/2.23 c 4980 44114 1452117 1627993 0 2471 57 59 52 2.11/2.24 c 4990 44199 1454779 1630572 0 2474 55 62 52 2.11/2.25 c 5035 44388 1462777 1642093 0 2483 50 65 57 2.31/2.44 c 5631 46124 1577955 1824750 0 2490 51 81 66 2.41/2.58 c 6286 47801 1659905 1966724 0 2507 52 80 67 2.61/2.77 c 7006 50187 1782212 2160608 0 2515 48 77 61 2.92/3.01 c 7798 52827 1932812 2374865 0 2523 48 72 59 3.11/3.23 c 8669 55404 2067169 2587426 0 2534 49 82 63 3.31/3.49 c 9627 58390 2222806 2819790 0 2544 50 79 63 3.71/3.80 c 10680 62141 2409699 3108331 0 2553 49 75 62 3.92/4.07 c 11838 64841 2568859 3395828 0 2571 48 77 64 4.31/4.41 c 13111 68569 2774392 3707513 0 2583 48 77 61 4.71/4.82 c 14511 73352 3022137 4055780 0 2603 49 79 61 5.11/5.20 c 16051 78080 3255278 4440976 0 2616 53 83 66 5.61/5.74 c 17745 83864 3576332 4920964 0 2626 49 76 62 6.11/6.24 c 19608 89767 3881958 5413539 0 2635 52 81 66 6.71/6.84 c 21657 95886 4250544 6012966 0 2649 47 76 61 7.31/7.44 c 23910 102050 4608673 6584110 0 2655 51 80 64 8.02/8.18 c 26388 109935 5068685 7307922 0 2666 49 74 60 8.81/8.95 c 29113 119004 5539746 8051437 0 2676 51 79 63 9.41/9.59 c 32110 127433 5928864 8639920 0 2695 45 80 67 10.21/10.34 c 35406 136396 6380932 9476636 0 2710 47 80 63 11.31/11.46 c 39031 148800 7057847 10502219 0 2728 46 76 61 12.31/12.49 c 43018 161285 7691311 11465108 0 2739 48 76 60 13.50/13.69 c 47403 174960 8414611 12609521 0 2756 51 79 63 15.10/15.28 c 52226 193919 9382758 14066022 0 2769 44 76 61 16.20/16.30 c 57531 207216 9986819 15138764 0 2794 49 87 66 17.50/17.69 c 63366 222339 10810695 16455218 0 2810 49 81 64 19.60/19.70 c 69784 244464 12060917 18341204 0 2833 45 77 59 21.80/21.95 c 76843 270280 13415063 20343019 0 2845 47 77 60 23.70/23.86 c 84607 293550 14563722 22359194 0 2857 45 78 62 26.20/26.37 c 93147 323402 16096313 24813035 0 2868 47 78 62 28.40/28.51 c 102541 349546 17408045 26989415 0 2887 47 78 63 31.30/31.48 c 112874 379665 19175811 29753559 0 2892 46 79 62 33.91/34.10 c 124240 408322 20724622 32569313 0 2909 49 79 63 37.30/37.46 c 136742 443095 22769079 35990801 0 2925 47 83 63 40.80/40.92 c 150494 480874 24890081 39214655 0 2935 46 76 59 44.20/44.37 c 165621 520326 26956778 42714502 0 2953 45 82 61 48.79/48.98 c 182260 572699 29778028 46940979 0 2960 48 81 63 52.00/52.17 c 200562 615915 31692596 50456058 0 2967 49 86 70 57.09/57.24 c 220694 672004 34769498 55258102 0 2989 51 81 66 62.90/63.01 c 242839 731125 38275621 60791986 0 3004 48 83 66 68.00/68.16 c 267198 793979 41357939 66310309 0 3021 46 84 66 74.39/74.56 c 293992 874059 45271183 72652129 0 3038 45 83 62 81.79/81.95 c 323465 968360 49727223 79675451 0 3052 49 85 68 88.69/88.89 c 355885 1055558 53964488 86761851 0 3074 46 83 64 97.79/97.90 c 391547 1161924 59264773 95591303 0 3091 47 83 64 107.90/108.04 c 430775 1273730 65378777 105242799 0 3111 45 80 62 119.49/119.63 c 473925 1412111 72383925 116527392 0 3117 44 83 63 132.69/132.81 c 521390 1554164 80426992 129875410 0 3129 44 85 63 147.49/147.65 c 573601 1735156 89541255 143801053 0 3147 46 83 62 161.79/161.93 c 631033 1888894 98256667 158029405 0 3159 47 81 62 175.39/175.53 c 694208 2049012 106274487 172785701 0 3173 48 84 66 193.79/193.93 c 763700 2272238 117537712 189963775 0 3188 47 85 62 210.90/211.08 c 840141 2484346 127736383 209295048 0 3219 47 88 67 227.79/227.92 c 924226 2715380 137928169 228316199 0 3240 48 90 68 252.69/252.84 c 1016719 3021043 152972789 254533984 0 3251 44 82 62 281.59/281.77 c 1118461 3347550 170583802 281746523 0 3272 45 86 63 309.19/309.30 c 1230377 3678124 187141633 308354220 0 3291 43 90 67 328.79/328.92 c 1353484 3950699 198967508 330147317 0 3315 43 83 65 359.69/359.83 c 1488901 4310110 217604822 360381616 0 3340 44 85 65 393.29/393.47 c 1637859 4693365 237877385 397837883 0 3366 46 84 63 427.09/427.24 c 1801712 5097122 257743120 436115016 0 3394 45 87 66 470.49/470.62 c 1981950 5611165 284168933 477377289 0 3418 44 88 64 527.39/527.50 c 2180211 6246239 318699589 531026826 0 3433 23 83 60 585.99/586.14 c 2398298 6874290 354094607 586353049 0 3446 48 86 65 638.48/638.64 c 2638193 7503458 385714189 639478546 0 3461 43 86 63 692.58/692.76 c 2902077 8280689 418541816 696837615 0 3485 48 90 68 761.28/761.45 c 3192349 9071070 459808140 765355260 0 3504 44 85 66 823.89/824.08 c 3511648 9899876 496914704 834304867 0 3512 47 95 70 908.18/908.31 c 3862876 10947173 549158858 913174741 0 3534 43 84 61 1017.89/1018.03 c 4249226 12187906 615363954 1017344199 0 3559 44 89 64 1114.38/1114.57 c 4674211 13288827 673144971 1115320691 0 3600 42 84 63 1240.58/1240.70 c 5141694 14636755 749538710 1232265230 0 3617 44 84 63 1331.67/1331.80 c 5655925 15742974 802958702 1335848252 0 3634 47 86 67 1484.07/1484.21 c 6221579 17426352 894477584 1481777029 0 3668 44 88 65 1634.27/1634.42 c 6843798 19209967 986008920 1635362557 0 3675 40 87 62 1795.37/1795.53 c 7528238 21157799 1081086092 1795848505 0 3697 47 92 68 2004.16/2004.38 c 8281122 23636001 1208253302 2000690105 0 3721 41 84 60 2221.26/2221.45 c 9109294 26334609 1339329461 2207922415 0 3740 44 88 65 2462.76/2462.93 c 10020283 29162008 1485229894 2447229499 0 3759 39 80 58 2519.86/2520.00 2519.86/2520.00 c *** INTERRUPTED *** 2519.86/2520.00 c restarts : 596 2519.86/2520.00 c conflicts : 10237528 (4063 /sec) 2519.86/2520.00 c decisions : 29795975 (11824 /sec) 2519.86/2520.00 c propagations : 2506987315 (994892 /sec) 2519.86/2520.00 c root propagations : 0 2519.86/2520.00 c filter calls : 1519400384 (602970 /sec) 2519.86/2520.00 c useless filter calls : 812643163 (53 %) 2519.86/2520.00 c 2519.86/2520.00 c clauses : 13719 2519.86/2520.00 c SAT propagations : 9182 2519.86/2520.00 c SAT conflicts : 0 (0 learnts) 2519.86/2520.00 c Memory used : 31.70 MB 2519.86/2520.00 c CPU time : 2519.86 s 2519.86/2520.00 2519.86/2520.00 s UNKNOWN
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 (15058 MiB free)
memory of node 1: 16384 MiB (15293 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266013-1502566027/watcher-4266013-1502566027 -o /tmp/evaluation-result-4266013-1502566027/solver-4266013-1502566027 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7149 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266013-1502566027.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
solver pid=7972, runsolver pid=7968
Current StackSize limit: 8192 KiB
[startup+0.100852 s]*
/proc/loadavg: 0.45 0.11 0.08 2/185 7981
/proc/meminfo: memFree=31077208/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32196 memory=6428 CPUtime=0.02 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 1259 0 0 0 2 0 0 0 20 0 1 0 156255547 32968704 1607 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4978749 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8049 1607 777 435 0 1412 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 32196 KiB
Current children cumulated memory: 6428 KiB
[startup+0.209529 s]*
/proc/loadavg: 0.45 0.11 0.08 2/188 7986
/proc/meminfo: memFree=31077208/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32328 memory=6428 CPUtime=0.13 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 1265 0 0 0 13 0 0 0 20 0 1 0 156255547 33103872 1607 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4976448 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8082 1607 777 435 0 1445 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 32328 KiB
Current children cumulated memory: 6428 KiB
[startup+0.309087 s]*
/proc/loadavg: 0.45 0.11 0.08 3/193 7992
/proc/meminfo: memFree=31070768/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32328 memory=6428 CPUtime=0.23 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 1268 0 0 0 23 0 0 0 20 0 1 0 156255547 33103872 1607 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4975100 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8082 1607 777 435 0 1445 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 32328 KiB
Current children cumulated memory: 6428 KiB
[startup+0.700268 s]
/proc/loadavg: 0.45 0.11 0.08 2/186 8001
/proc/meminfo: memFree=31076452/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32328 memory=6428 CPUtime=0.61 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 1274 0 0 0 61 0 0 0 20 0 1 0 156255547 33103872 1607 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4979143 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8082 1607 777 435 0 1445 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 32328 KiB
Current children cumulated memory: 6428 KiB
[startup+1.50027 s]
/proc/loadavg: 0.45 0.11 0.08 2/185 8013
/proc/meminfo: memFree=31077796/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32328 memory=6428 CPUtime=1.41 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 1288 0 0 0 141 0 0 0 20 0 1 0 156255547 33103872 1607 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4977674 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8082 1607 777 435 0 1445 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 32328 KiB
Current children cumulated memory: 6428 KiB
[startup+3.10887 s]
/proc/loadavg: 0.58 0.14 0.09 2/185 8016
/proc/meminfo: memFree=31077676/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6568 CPUtime=3.02 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 1548 0 0 0 302 0 0 0 20 0 1 0 156255547 33234944 1642 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4977674 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1642 777 435 0 1477 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6568 KiB
[startup+6.30022 s]
/proc/loadavg: 0.58 0.14 0.09 3/189 8033
/proc/meminfo: memFree=31075800/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6592 CPUtime=6.21 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 1812 0 0 0 621 0 0 0 20 0 1 0 156255547 33234944 1648 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4977707 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1648 777 435 0 1477 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6592 KiB
[startup+12.7002 s]
/proc/loadavg: 0.79 0.20 0.11 3/189 8033
/proc/meminfo: memFree=31076020/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6612 CPUtime=12.61 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 2075 0 0 0 1261 0 0 0 20 0 1 0 156255547 33234944 1653 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4978710 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1653 777 435 0 1477 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6612 KiB
[startup+25.5002 s]
/proc/loadavg: 0.98 0.26 0.13 3/189 8033
/proc/meminfo: memFree=31076456/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6624 CPUtime=25.4 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 2603 0 0 0 2539 1 0 0 20 0 1 0 156255547 33234944 1656 18446744073709551615 4194304 5972588 140721772894368 140721772891672 5099616 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1656 777 435 0 1477 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6624 KiB
[startup+51.109 s]
/proc/loadavg: 1.33 0.40 0.18 3/189 8033
/proc/meminfo: memFree=31077184/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6632 CPUtime=51 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 2876 0 0 0 5099 1 0 0 20 0 1 0 156255547 33234944 1658 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4977745 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1658 777 435 0 1477 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6632 KiB
[startup+102.3 s]
/proc/loadavg: 1.67 0.63 0.27 3/189 8035
/proc/meminfo: memFree=31075432/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6640 CPUtime=102.19 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 3149 0 0 0 10218 1 0 0 20 0 1 0 156255547 33234944 1660 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4978688 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1660 777 435 0 1477 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6640 KiB
[startup+162.3 s]
/proc/loadavg: 2.41 1.02 0.42 3/186 8037
/proc/meminfo: memFree=31077336/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6644 CPUtime=162.19 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 3421 0 0 0 16218 1 0 0 20 0 1 0 156255547 33234944 1661 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4975114 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1661 777 435 0 1477 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6644 KiB
[startup+222.3 s]
/proc/loadavg: 2.15 1.20 0.52 3/187 8040
/proc/meminfo: memFree=31077264/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6648 CPUtime=222.19 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 3695 0 0 0 22218 1 0 0 20 0 1 0 156255547 33234944 1662 18446744073709551615 4194304 5972588 140721772894368 140721772891672 5328499 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1662 777 435 0 1477 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6648 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 1.35 0.61 3/186 8042
/proc/meminfo: memFree=31077036/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6656 CPUtime=282.19 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 3968 0 0 0 28218 1 0 0 20 0 1 0 156255547 33234944 1664 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4975836 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1664 777 435 0 1477 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6656 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 1.47 0.70 3/186 8045
/proc/meminfo: memFree=31077228/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6656 CPUtime=342.19 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 4243 0 0 0 34218 1 0 0 20 0 1 0 156255547 33234944 1664 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4978737 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1664 777 435 0 1477 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6656 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 1.56 0.78 3/186 8047
/proc/meminfo: memFree=31076856/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6664 CPUtime=402.19 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 4518 0 0 0 40218 1 0 0 20 0 1 0 156255547 33234944 1666 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4975204 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1666 777 435 0 1477 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6664 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.64 0.86 3/190 8064
/proc/meminfo: memFree=31072488/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6668 CPUtime=462.19 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 4792 0 0 0 46218 1 0 0 20 0 1 0 156255547 33234944 1667 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4975808 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1667 777 435 0 1477 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6668 KiB
################
# More data... #
################
/proc/7972/statm: 8114 1672 777 435 0 1477 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6688 KiB
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.73 3/186 8143
/proc/meminfo: memFree=31074788/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6688 CPUtime=1782.17 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 10788 0 0 0 178216 1 0 0 20 0 1 0 156255547 33234944 1672 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4975114 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1672 777 435 0 1477 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6688 KiB
[startup+1842.3 s]
/proc/loadavg: 1.99 2.00 1.75 3/186 8145
/proc/meminfo: memFree=31074996/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6688 CPUtime=1842.17 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 11076 0 0 0 184216 1 0 0 20 0 1 0 156255547 33234944 1672 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4978080 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1672 777 435 0 1477 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6688 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/185 8147
/proc/meminfo: memFree=31075724/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6688 CPUtime=1902.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 11346 0 0 0 190215 1 0 0 20 0 1 0 156255547 33234944 1672 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4978790 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1672 777 435 0 1477 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6688 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/184 8149
/proc/meminfo: memFree=31075620/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6688 CPUtime=1962.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 11614 0 0 0 196215 1 0 0 20 0 1 0 156255547 33234944 1672 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4975784 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1672 777 435 0 1477 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6688 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/185 8152
/proc/meminfo: memFree=31075816/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6688 CPUtime=2022.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 11897 0 0 0 202215 1 0 0 20 0 1 0 156255547 33234944 1672 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4976222 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1672 777 435 0 1477 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6688 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/185 8154
/proc/meminfo: memFree=31075612/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6692 CPUtime=2082.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 12163 0 0 0 208215 1 0 0 20 0 1 0 156255547 33234944 1673 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4976738 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1673 777 435 0 1477 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6692 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/186 8157
/proc/meminfo: memFree=31075492/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6692 CPUtime=2142.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 12431 0 0 0 214215 1 0 0 20 0 1 0 156255547 33234944 1673 18446744073709551615 4194304 5972588 140721772894368 140721772891672 5094189 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1673 777 435 0 1477 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6692 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/186 8159
/proc/meminfo: memFree=31075552/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6692 CPUtime=2202.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 12703 0 0 0 220215 1 0 0 20 0 1 0 156255547 33234944 1673 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4975647 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1673 777 435 0 1477 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6692 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/189 8175
/proc/meminfo: memFree=31070964/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6692 CPUtime=2262.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 12985 0 0 0 226215 1 0 0 20 0 1 0 156255547 33234944 1673 18446744073709551615 4194304 5972588 140721772894368 140721772891672 5099616 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1673 777 435 0 1477 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6692 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/188 8177
/proc/meminfo: memFree=31071352/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6696 CPUtime=2322.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 13250 0 0 0 232215 1 0 0 20 0 1 0 156255547 33234944 1674 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4977701 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1674 777 435 0 1477 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6696 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/186 8180
/proc/meminfo: memFree=31074828/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6696 CPUtime=2382.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 13514 0 0 0 238215 1 0 0 20 0 1 0 156255547 33234944 1674 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4975104 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1674 777 435 0 1477 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6696 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/185 8204
/proc/meminfo: memFree=31075556/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6696 CPUtime=2442.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 13773 0 0 0 244215 1 0 0 20 0 1 0 156255547 33234944 1674 18446744073709551615 4194304 5972588 140721772894368 140721772891672 5243959 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1674 777 435 0 1477 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6696 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/185 8206
/proc/meminfo: memFree=31074332/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6696 CPUtime=2502.16 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 14060 0 0 0 250215 1 0 0 20 0 1 0 156255547 33234944 1674 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4979139 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1674 777 435 0 1477 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6696 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 1.88 3/185 8206
/proc/meminfo: memFree=31074456/32770624 swapFree=67108860/67108860
[pid=7972] ppid=7968 vsize=32456 memory=6700 CPUtime=2519.86 cores=1,3,5,7
/proc/7972/stat : 7972 (cosoco) R 7968 7972 7084 0 -1 4202496 14321 0 0 0 251985 1 0 0 20 0 1 0 156255547 33234944 1675 18446744073709551615 4194304 5972588 140721772894368 140721772891672 4975100 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 14479360 140721772900804 140721772900904 140721772900904 140721772904398 0
/proc/7972/statm: 8114 1675 777 435 0 1477 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 32456 KiB
Current children cumulated memory: 6700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 7972 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.86 s, system=0.018999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.88
CPU user time (s): 2519.86
CPU system time (s): 0.018999
CPU usage (%): 99.9948
Max. virtual memory (cumulated for all children) (KiB): 32456
Max. memory (cumulated for all children) (KiB): 6700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.86
system time used= 0.018999
maximum resident set size= 6776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14372
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= 6
involuntary context switches= 778
# summary of solver processes directly reported to runsolver:
# pid: 7972
# total CPU time (s): 2519.88
# total CPU user time (s): 2519.86
# total CPU system time (s): 0.018999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8211 second user time and 13.8137 second system time
The end
Begin job on node132 at 2017-08-12 21:12:43 IDJOB=4266013 IDBENCH=115865 IDSOLVER=2655 FILE ID=node132/4266013-1502566027 RUNJOBID= node132-1502565147-7149 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-12.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266013-1502566027/watcher-4266013-1502566027 -o /tmp/evaluation-result-4266013-1502566027/solver-4266013-1502566027 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7149 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266013-1502566027.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130c0e53e5c1e074e18659561dd41fce RANDOM SEED=1372818706 node132.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.74 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.74 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.74 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.74 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: 31080324 kB MemAvailable: 31961644 kB Buffers: 310184 kB Cached: 879860 kB SwapCached: 0 kB Active: 721428 kB Inactive: 527796 kB Active(anon): 59772 kB Inactive(anon): 49012 kB Active(file): 661656 kB Inactive(file): 478784 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4852 kB Writeback: 4 kB AnonPages: 58284 kB Mapped: 62664 kB Shmem: 49852 kB Slab: 140364 kB SReclaimable: 113432 kB SUnreclaim: 26932 kB KernelStack: 3232 kB PageTables: 5024 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 375856 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62028 MiB End job on node132 at 2017-08-12 21:54:43