| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.05 | 2400.31 |
| Name | ColouredQueens/ColouredQueens-m1-s1/ ColouredQueens-11.xml |
| MD5SUM | 3da25fcd556a00d93fc440927ef81e89 |
| 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 | 121 |
| Number of constraints | 60 |
| Number of domains | 1 |
| Minimum domain size | 11 |
| Maximum domain size | 11 |
| Distribution of domain sizes | [{"size":11,"count":121}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 4 |
| Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":117}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 11 |
| 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":24}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":60}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c SAT : Variables: 1331 -- Clauses: 6776 0.00/0.01 c root propagations : 0 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c This is cosoco 1.0 -- 0.00/0.01 c 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.01 s 0.00/0.01 c | 0.00/0.01 c | Variables: 121 0.00/0.01 c | Domain Sizes: 11..11 0.00/0.01 c | 0.00/0.01 c | Constraints: 60 0.00/0.01 c | Arity: 2..11 -- Binary: 4 -- Ternary: 4 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | All Different: 60 0.00/0.01 c | 0.00/0.01 c ========================================================================================================= 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c 10 70 2665 3622 0 2 47 53 45 0.00/0.02 c 20 137 4879 6168 0 11 44 52 44 0.00/0.02 c 30 202 6330 7611 0 13 41 47 41 0.00/0.03 c 40 268 8318 9935 0 18 43 52 43 0.00/0.03 c 50 343 10714 12767 0 23 43 50 42 0.00/0.04 c 60 408 13227 15586 0 25 41 48 39 0.00/0.05 c 70 474 15225 17894 0 29 46 53 44 0.00/0.05 c 80 549 17860 20958 0 34 38 49 41 0.00/0.06 c 90 622 20179 23598 0 40 38 55 43 0.00/0.06 c 100 691 22664 26590 0 41 43 51 42 0.00/0.06 c 101 738 23633 27136 0 42 47 47 23 0.00/0.07 c 110 805 25813 29528 0 47 46 53 44 0.00/0.07 c 120 871 27926 31741 0 55 44 50 43 0.00/0.08 c 130 947 30562 34559 0 59 41 50 40 0.00/0.08 c 140 1024 32937 37035 0 62 44 48 40 0.00/0.09 c 150 1087 34954 39167 0 71 43 50 41 0.00/0.09 c 160 1160 37218 41677 0 81 41 58 44 0.09/0.10 c 170 1232 39441 44166 0 90 40 51 41 0.09/0.10 c 180 1321 42567 47541 0 94 40 50 40 0.09/0.11 c 190 1411 45207 50525 0 95 41 54 42 0.09/0.11 c 200 1485 48055 53842 0 98 42 48 41 0.09/0.12 c 210 1549 49912 55974 0 106 35 53 43 0.09/0.12 c 211 1594 50669 56400 0 107 45 45 22 0.09/0.12 c 220 1679 53545 59376 0 110 39 58 44 0.09/0.13 c 230 1757 56252 62517 0 115 36 55 43 0.09/0.13 c 240 1828 58598 65430 0 120 41 48 40 0.09/0.14 c 250 1900 61337 68411 0 122 38 51 41 0.09/0.14 c 260 1982 64562 72188 0 130 40 52 41 0.09/0.14 c 270 2060 66405 74558 0 136 42 53 44 0.09/0.15 c 280 2124 68322 76406 0 144 40 52 43 0.09/0.15 c 290 2193 71079 79591 0 149 41 52 41 0.09/0.16 c 300 2267 73607 82417 0 156 42 52 43 0.09/0.16 c 310 2343 76301 85218 0 159 42 50 42 0.09/0.16 c 320 2409 77980 87004 0 169 45 57 46 0.09/0.17 c 330 2474 80965 90039 0 176 42 48 40 0.09/0.17 c 332 2527 82264 91038 0 178 45 50 31 0.09/0.17 c 340 2610 84794 93478 0 182 45 54 43 0.09/0.18 c 350 2682 87170 95880 0 188 42 54 43 0.09/0.18 c 360 2762 89727 98509 0 194 40 56 46 0.09/0.18 c 370 2829 91693 100748 0 202 41 53 42 0.09/0.19 c 380 2913 94066 103733 0 204 43 57 48 0.09/0.19 c 390 2985 96621 106782 0 208 43 53 44 0.09/0.19 c 400 3046 98156 108225 0 213 39 50 41 0.09/0.19 c 410 3116 100148 110237 0 215 50 55 47 0.19/0.20 c 420 3201 102943 113116 0 219 45 55 46 0.19/0.20 c 430 3269 104559 114714 0 228 24 56 44 0.19/0.20 c 440 3346 106525 116622 0 237 26 61 48 0.19/0.21 c 450 3423 108833 119174 0 242 42 53 44 0.19/0.21 c 460 3500 111227 121803 0 247 40 47 40 0.19/0.21 c 465 3563 113076 123346 0 250 44 51 39 0.19/0.21 c 470 3618 114553 124661 0 255 44 51 39 0.19/0.22 c 480 3694 116621 127004 0 258 41 54 46 0.19/0.22 c 490 3766 119122 130029 0 260 46 56 46 0.19/0.22 c 500 3836 121247 133127 0 263 45 50 42 0.19/0.23 c 510 3913 123396 136059 0 270 40 53 44 0.19/0.23 c 520 3974 124931 137848 0 272 35 50 42 0.19/0.23 c 530 4052 128597 142083 0 274 42 49 41 0.19/0.23 c 540 4131 130512 144305 0 276 51 67 53 0.19/0.24 c 550 4201 132457 146134 0 277 47 55 45 0.19/0.24 c 560 4270 135187 149756 0 281 43 55 45 0.19/0.24 c 570 4335 137323 152299 0 290 38 51 42 0.19/0.25 c 580 4405 139541 154967 0 294 45 50 43 0.19/0.25 c 590 4489 141857 157791 0 300 51 60 49 0.19/0.25 c 600 4554 143685 159678 0 303 44 49 43 0.19/0.26 c 610 4629 146194 162832 0 308 41 53 43 0.19/0.26 c 611 4678 147176 163695 0 309 49 49 24 0.19/0.26 c 620 4753 148789 165490 0 317 41 62 49 0.19/0.26 c 630 4840 151880 168999 0 320 39 58 47 0.19/0.27 c 640 4911 154364 172417 0 323 45 52 43 0.19/0.27 c 650 4991 156493 175180 0 328 47 61 48 0.19/0.27 c 660 5067 158841 177960 0 335 45 55 45 0.19/0.28 c 670 5164 161601 181239 0 341 50 64 49 0.19/0.28 c 680 5238 163859 183759 0 343 39 51 44 0.19/0.28 c 690 5332 166452 187158 0 346 54 62 52 0.19/0.29 c 700 5397 168139 188823 0 352 44 49 42 0.19/0.29 c 710 5474 170628 191256 0 358 23 52 40 0.19/0.29 c 720 5547 172661 193419 0 365 47 59 51 0.19/0.29 c 730 5613 174460 195673 0 370 37 52 45 0.29/0.30 c 740 5695 177214 198827 0 374 44 57 45 0.29/0.30 c 750 5766 179414 201013 0 377 40 48 39 0.29/0.30 c 760 5840 181655 203298 0 381 43 58 47 0.29/0.31 c 770 5918 183223 205192 0 385 46 50 44 0.29/0.31 c 771 5961 184371 205981 0 386 43 43 21 0.29/0.31 c 780 6028 186649 208753 0 391 45 57 43 0.29/0.31 c 790 6089 189187 211394 0 395 42 49 41 0.29/0.32 c 800 6148 190536 213134 0 405 35 50 41 0.29/0.32 c 810 6226 193554 217185 0 409 45 50 42 0.29/0.32 c 820 6285 195564 219568 0 416 36 46 38 0.29/0.33 c 830 6368 198768 223538 0 421 45 50 44 0.29/0.33 c 840 6454 201941 227505 0 424 40 55 43 0.29/0.33 c 850 6520 203646 229481 0 431 37 51 40 0.29/0.34 c 860 6587 205349 231276 0 435 38 53 43 0.29/0.34 c 870 6654 207104 233618 0 438 44 48 42 0.29/0.34 c 880 6731 209569 236207 0 441 46 51 45 0.29/0.34 c 890 6812 211912 238643 0 450 42 57 45 0.29/0.35 c 900 6890 214095 242213 0 456 42 60 46 0.29/0.35 c 910 6955 216135 244449 0 460 46 50 43 0.29/0.35 c 920 7015 217576 245714 0 465 39 46 39 0.29/0.36 c 930 7081 220176 248343 0 471 43 48 41 0.29/0.36 c 940 7156 222859 251517 0 473 42 50 42 0.29/0.36 c 947 7213 224107 252583 0 480 41 49 40 0.29/0.36 c 950 7261 225122 253270 0 483 43 46 33 0.29/0.37 c 960 7335 227337 255325 0 491 40 50 41 0.29/0.37 c 970 7426 229642 257699 0 492 48 60 49 0.29/0.37 c 980 7486 230752 259018 0 502 33 51 39 0.29/0.37 c 990 7560 232926 261111 0 510 43 50 41 0.29/0.38 c 1000 7624 234743 262778 0 520 34 51 40 0.29/0.38 c 1010 7689 236637 264765 0 524 43 52 43 0.29/0.38 c 1020 7769 239944 268360 0 527 40 49 41 0.29/0.39 c 1030 7843 242447 271365 0 532 41 52 44 0.29/0.39 c 1040 7930 245561 275001 0 535 46 53 45 0.29/0.39 c 1050 7995 247686 277132 0 544 40 52 41 0.39/0.40 c 1060 8081 250524 280513 0 546 47 54 46 0.39/0.40 c 1070 8141 252324 282412 0 547 45 49 43 0.39/0.40 c 1080 8208 254269 284396 0 552 42 52 44 0.39/0.40 c 1090 8280 256585 287288 0 556 44 49 42 0.39/0.41 c 1100 8345 258793 289515 0 561 40 47 40 0.39/0.41 c 1110 8419 261404 292776 0 568 40 55 45 0.39/0.42 c 1120 8501 264668 296639 0 572 40 51 41 0.39/0.42 c 1130 8584 267286 300079 0 578 44 53 44 0.39/0.42 c 1140 8665 269365 302358 0 580 48 56 49 0.39/0.42 c 1141 8704 270283 302909 0 581 39 39 19 0.39/0.43 c 1150 8770 272641 305664 0 587 30 50 38 0.39/0.43 c 1160 8857 276156 309310 0 591 32 53 42 0.39/0.43 c 1170 8940 278589 311834 0 595 45 53 45 0.39/0.44 c 1180 9012 281114 314441 0 601 40 50 40 0.39/0.44 c 1190 9091 284627 318205 0 603 42 46 40 0.39/0.45 c 1200 9163 287215 321260 0 606 47 53 45 0.39/0.45 c 1210 9241 289575 323904 0 610 43 54 45 0.39/0.45 c 1220 9314 292012 326614 0 615 45 50 43 0.39/0.46 c 1230 9393 294711 329466 0 617 45 57 46 0.39/0.46 c 1240 9465 297075 332089 0 621 41 52 43 0.39/0.46 c 1250 9548 299935 335033 0 624 48 56 48 0.39/0.47 c 1260 9622 302023 337594 0 626 47 52 44 0.39/0.47 c 1270 9699 304341 340683 0 631 44 52 42 0.39/0.47 c 1280 9768 306830 343221 0 634 46 50 43 0.39/0.48 c 1290 9841 308488 345129 0 642 48 57 47 0.39/0.48 c 1300 9912 310822 347944 0 647 32 55 43 0.39/0.48 c 1310 9984 313291 350745 0 652 41 51 41 0.39/0.49 c 1320 10072 316045 353582 0 656 41 50 42 0.39/0.49 c 1330 10137 318337 356271 0 661 43 51 42 0.39/0.49 c 1340 10209 321020 359554 0 666 40 46 38 0.49/0.50 c 1350 10298 324153 363423 0 668 44 55 44 0.49/0.50 c 1352 10350 325454 364485 0 670 44 51 31 0.49/0.50 c 1360 10415 327612 366871 0 675 39 49 41 0.49/0.50 c 1370 10481 329710 369117 0 676 42 50 43 0.49/0.51 c 1380 10554 332670 372454 0 678 43 49 42 0.49/0.51 c 1390 10629 335485 375883 0 684 41 54 42 0.49/0.52 c 1400 10696 337849 378398 0 689 44 53 44 0.49/0.52 c 1410 10769 339782 380299 0 692 48 58 49 0.49/0.52 c 1420 10854 341786 382950 0 699 39 56 46 0.49/0.52 c 1430 10920 344619 386231 0 701 42 52 42 0.49/0.53 c 1440 10992 347047 388851 0 704 46 54 45 0.49/0.53 c 1450 11069 349512 391573 0 708 47 53 44 0.49/0.53 c 1460 11142 351528 393582 0 718 43 58 46 0.49/0.54 c 1470 11213 354039 396672 0 720 44 50 42 0.49/0.54 c 1480 11292 357449 400491 0 725 43 51 42 0.49/0.55 c 1490 11379 360667 404442 0 731 46 53 45 0.49/0.55 c 1500 11440 362983 406772 0 734 44 49 43 0.49/0.55 c 1510 11517 365759 410445 0 737 45 51 43 0.49/0.56 c 1520 11597 368294 413178 0 741 43 56 43 0.49/0.56 c 1530 11662 370008 415152 0 751 45 56 46 0.49/0.56 c 1540 11744 372373 417799 0 759 47 60 47 0.49/0.57 c 1550 11808 374276 420097 0 762 41 49 41 0.49/0.57 c 1560 11883 377287 423672 0 763 43 56 45 0.49/0.57 c 1570 11957 379564 426506 0 767 46 55 45 0.49/0.58 c 1580 12050 382508 429937 0 770 46 58 48 0.49/0.58 c 1585 12101 383766 430915 0 775 40 47 37 0.49/0.58 c 1590 12161 385507 432779 0 777 45 50 39 0.49/0.58 c 1600 12232 387837 435333 0 787 42 53 42 0.49/0.59 c 1610 12322 390650 438421 0 792 46 58 46 0.49/0.59 c 1620 12392 392989 441431 0 798 41 52 42 0.49/0.59 c 1630 12462 395055 443843 0 805 46 55 46 0.59/0.60 c 1640 12534 397319 446460 0 812 44 55 43 0.59/0.60 c 1650 12608 400108 449882 0 816 41 54 44 0.59/0.60 c 1660 12693 403300 453453 0 819 41 52 41 0.59/0.61 c 1670 12767 406424 457566 0 823 48 53 45 0.59/0.61 c 1680 12832 408108 459242 0 828 42 52 43 0.59/0.61 c 1690 12903 410351 461822 0 831 34 53 42 0.59/0.62 c 1700 12973 412100 463930 0 837 44 54 45 0.59/0.62 c 1710 13050 414555 466639 0 841 43 54 44 0.59/0.62 c 1720 13117 416712 469007 0 848 36 49 40 0.59/0.63 c 1730 13185 418509 470780 0 851 39 47 40 0.59/0.63 c 1740 13252 421628 474681 0 858 38 51 42 0.59/0.63 c 1750 13328 424338 477426 0 861 43 52 42 0.59/0.64 c 1760 13406 427284 481197 0 866 42 50 41 0.59/0.64 c 1770 13470 428776 482777 0 874 38 55 42 0.59/0.64 c 1780 13545 431728 485901 0 881 43 53 42 0.59/0.65 c 1790 13613 434170 488537 0 888 39 51 40 0.59/0.65 c 1800 13678 436116 491137 0 895 44 52 42 0.59/0.65 c 1810 13747 437900 493067 0 904 41 53 41 0.59/0.66 c 1820 13827 440348 495549 0 907 46 52 44 0.59/0.66 c 1830 13893 442134 497418 0 910 42 51 41 0.59/0.66 c 1840 13961 444534 500273 0 915 43 50 43 0.59/0.66 c 1841 14007 445472 500842 0 916 46 46 23 0.59/0.67 c 1850 14085 448155 504332 0 919 48 53 45 0.59/0.67 c 1860 14178 450919 507548 0 921 42 54 43 0.59/0.67 c 1870 14245 453198 510058 0 927 35 51 39 0.59/0.68 c 1880 14323 455069 512376 0 932 51 58 49 0.59/0.68 c 1890 14393 456944 514601 0 940 45 57 45 0.59/0.68 c 1900 14486 459799 517309 0 944 44 58 45 0.59/0.68 c 1910 14561 462067 519761 0 946 39 50 39 0.59/0.69 c 1920 14625 464142 522139 0 953 42 52 43 0.59/0.69 c 1930 14705 466241 524735 0 956 49 57 48 0.59/0.69 c 1940 14777 468054 526698 0 962 46 53 45 0.69/0.70 c 1950 14848 470680 530063 0 964 43 48 41 0.69/0.70 c 1960 14914 472479 532347 0 972 44 56 45 0.69/0.70 c 1970 14993 474751 534782 0 976 43 58 46 0.69/0.71 c 1980 15086 478100 539048 0 977 40 51 43 0.69/0.71 c 1990 15157 480898 542007 0 981 39 54 43 0.69/0.71 c 2000 15227 483228 544721 0 990 43 54 43 0.69/0.72 c 2010 15295 485211 546558 0 1000 44 57 46 0.69/0.72 c 2020 15372 487310 548573 0 1008 36 61 45 0.69/0.72 c 2030 15453 490500 551904 0 1012 46 52 44 0.69/0.73 c 2040 15520 492616 554315 0 1021 40 50 41 0.69/0.73 c 2050 15597 495402 557409 0 1025 38 54 40 0.69/0.73 c 2060 15663 498139 560878 0 1028 45 52 43 0.69/0.74 c 2070 15728 500077 563079 0 1034 42 52 43 0.69/0.74 c 2080 15791 501889 565236 0 1042 41 52 44 0.69/0.74 c 2090 15853 503731 567421 0 1047 42 49 41 0.69/0.74 c 2100 15918 505844 569756 0 1055 41 51 41 0.69/0.75 c 2110 15979 507499 571534 0 1060 41 47 40 0.69/0.75 c 2120 16043 509457 573470 0 1066 42 51 42 0.69/0.75 c 2122 16094 510730 574418 0 1068 42 50 30 0.69/0.75 c 2130 16154 512106 575708 0 1076 40 48 38 0.69/0.75 c 2140 16218 514016 577791 0 1084 44 51 43 0.69/0.76 c 2150 16300 516865 580631 0 1089 44 52 43 0.69/0.76 c 2160 16375 519066 583023 0 1092 36 55 45 0.69/0.76 c 2170 16438 520824 585412 0 1095 43 47 41 0.69/0.77 c 2180 16509 523103 587853 0 1096 46 49 43 0.69/0.77 c 2190 16579 524907 589895 0 1104 43 51 42 0.69/0.77 c 2200 16656 527515 593298 0 1106 42 51 43 0.69/0.78 c 2210 16715 529044 595039 0 1116 42 50 41 0.69/0.78 c 2220 16800 531354 597975 0 1119 38 52 41 0.69/0.78 c 2230 16883 533294 600352 0 1122 41 59 46 0.69/0.78 c 2240 16956 535676 603441 0 1124 42 55 47 0.69/0.79 c 2250 17050 539154 607682 0 1126 46 54 44 0.69/0.79 c 2260 17129 541466 610187 0 1132 39 56 45 0.79/0.80 c 2270 17210 543907 613108 0 1135 52 64 51 0.79/0.80 c 2280 17281 546265 616108 0 1140 39 47 39 0.79/0.80 c 2290 17348 548066 618160 0 1143 46 50 44 0.79/0.80 c 2300 17418 550286 620485 0 1152 39 57 45 0.79/0.81 c 2310 17487 552434 622867 0 1162 41 52 43 0.79/0.81 c 2320 17587 556837 629015 0 1167 41 49 40 0.79/0.82 c 2330 17664 558999 631495 0 1174 48 61 52 0.79/0.82 c 2340 17722 560823 633368 0 1179 42 46 40 0.79/0.82 c 2350 17800 563495 636473 0 1185 40 53 44 0.79/0.83 c 2360 17869 565634 638715 0 1188 41 52 44 0.79/0.83 c 2370 17960 568750 642651 0 1190 36 56 41 0.79/0.83 c 2380 18029 570719 645318 0 1193 41 52 42 0.79/0.84 c 2390 18098 573194 648089 0 1195 45 53 43 0.79/0.84 c 2400 18190 575902 650576 0 1199 46 56 47 0.79/0.84 c 2410 18261 578170 653377 0 1202 45 48 42 0.79/0.85 c 2420 18331 580262 655637 0 1210 42 54 44 0.79/0.85 c 2430 18394 581498 657005 0 1218 41 46 39 0.79/0.85 c 2431 18441 582532 657590 0 1219 47 47 23 0.79/0.85 c 2440 18533 586512 662524 0 1222 40 54 42 0.79/0.86 c 2450 18604 588257 664428 0 1224 50 54 47 0.79/0.86 c 2460 18679 590829 667086 0 1228 43 52 42 0.79/0.86 c 2470 18741 593072 669584 0 1236 41 52 43 0.79/0.87 c 2480 18804 595704 672358 0 1240 40 45 38 0.79/0.87 c 2490 18878 597603 674297 0 1246 40 52 41 0.79/0.87 c 2500 18951 599507 676798 0 1252 46 57 49 0.79/0.88 c 2510 19035 603518 681265 0 1256 39 51 41 0.79/0.88 c 2520 19107 606055 684319 0 1259 44 55 46 0.79/0.88 c 2530 19183 608767 687298 0 1263 41 55 44 0.79/0.89 c 2540 19243 610617 689419 0 1268 39 45 37 0.79/0.89 c 2550 19323 612630 692021 0 1276 46 62 48 0.79/0.89 c 2560 19385 614155 693689 0 1279 41 50 43 0.79/0.89 c 2570 19451 615945 695914 0 1285 36 48 39 0.89/0.90 c 2580 19534 618339 698380 0 1289 41 53 43 0.89/0.90 c 2590 19594 620613 700539 0 1295 39 45 38 0.89/0.90 c 2600 19665 622279 702444 0 1302 49 59 50 0.89/0.90 c 2610 19737 623802 703989 0 1306 41 61 47 0.89/0.91 c 2620 19818 626654 706984 0 1314 41 53 41 0.89/0.91 c 2630 19879 629018 709686 0 1318 42 48 41 0.89/0.92 c 2640 19959 632334 713751 0 1323 46 58 47 0.89/0.92 c 2650 20044 635983 718453 0 1325 41 55 42 0.89/0.93 c 2660 20117 639076 722747 0 1328 37 54 42 0.89/0.93 c 2670 20186 641370 725398 0 1333 44 52 43 0.89/0.93 c 2680 20262 643386 728075 0 1338 37 53 42 0.89/0.93 c 2690 20336 645442 730225 0 1343 49 56 47 0.89/0.94 c 2700 20425 648603 734283 0 1346 43 57 46 0.89/0.94 c 2710 20495 650585 736356 0 1351 41 52 43 0.89/0.94 c 2720 20564 652482 738292 0 1358 38 53 42 0.89/0.95 c 2730 20635 655397 741107 0 1362 41 50 41 0.89/0.95 c 2740 20720 658125 744534 0 1363 45 53 46 0.89/0.95 c 2750 20790 659902 746400 0 1371 51 56 49 0.89/0.96 c 2760 20854 661667 748362 0 1376 39 52 42 0.89/0.96 c 2770 20926 663640 750593 0 1378 48 57 48 0.89/0.96 c 2771 20976 664909 751540 0 1379 50 50 25 0.89/0.96 c 2780 21056 667676 754893 0 1382 43 53 43 0.89/0.97 c 2790 21115 669512 757412 0 1386 40 46 38 0.89/0.97 c 2800 21188 671675 759791 0 1391 43 52 42 0.89/0.97 c 2810 21267 674704 763710 0 1394 49 57 48 0.89/0.98 c 2820 21343 677177 766389 0 1400 45 56 44 0.89/0.98 c 2830 21428 679833 769484 0 1406 43 61 45 0.89/0.98 c 2840 21492 681996 772135 0 1411 36 49 39 0.89/0.99 c 2850 21563 683858 774287 0 1419 38 45 38 0.89/0.99 c 2860 21639 685923 776511 0 1426 45 57 46 0.89/0.99 c 2870 21703 687510 778039 0 1433 44 50 41 0.89/1.00 c 2880 21795 690504 781574 0 1436 44 53 44 0.99/1.00 c 2890 21866 693441 785326 0 1444 39 49 42 0.99/1.00 c 2900 21967 695999 788626 0 1446 45 56 47 0.99/1.01 c 2910 22049 698193 791018 0 1450 38 53 41 0.99/1.01 c 2920 22108 699377 792049 0 1460 40 50 41 0.99/1.01 c 2930 22184 701883 794893 0 1463 46 56 45 0.99/1.01 c 2940 22258 704049 797540 0 1469 41 54 44 0.99/1.02 c 2950 22319 705655 799442 0 1477 44 48 42 0.99/1.02 c 2960 22387 707256 801201 0 1484 51 58 50 0.99/1.02 c 2970 22469 709288 803423 0 1486 49 60 50 0.99/1.02 c 2980 22542 712305 807022 0 1488 46 49 43 0.99/1.03 c 2990 22615 714808 809544 0 1492 43 49 42 0.99/1.03 c 3000 22697 716599 811233 0 1498 48 61 51 0.99/1.03 c 3010 22782 719540 814647 0 1502 40 58 46 0.99/1.04 c 3020 22851 721204 816430 0 1508 48 56 48 0.99/1.04 c 3030 22915 723188 818526 0 1513 39 52 43 0.99/1.04 c 3040 23013 726111 821822 0 1516 45 60 46 0.99/1.05 c 3050 23080 728164 824154 0 1521 40 47 39 0.99/1.05 c 3060 23165 730431 826972 0 1524 41 55 43 0.99/1.05 c 3070 23245 733022 829740 0 1528 38 51 43 0.99/1.06 c 3080 23310 734979 831888 0 1530 42 52 42 0.99/1.06 c 3090 23406 738221 835741 0 1532 46 58 47 0.99/1.06 c 3100 23484 740799 838592 0 1535 41 54 45 0.99/1.07 c 3110 23567 743754 841781 0 1540 40 49 40 0.99/1.07 c 3120 23627 745695 844456 0 1542 44 51 43 0.99/1.07 c 3130 23718 748895 847940 0 1546 35 54 44 0.99/1.08 c 3140 23791 751231 851012 0 1549 43 50 42 0.99/1.08 c 3142 23838 752477 851975 0 1550 45 46 30 0.99/1.08 c 3150 23898 753631 852913 0 1558 30 52 40 0.99/1.08 c 3160 23971 755598 854699 0 1566 35 54 42 0.99/1.09 c 3170 24042 757483 856483 0 1576 48 60 49 0.99/1.09 c 3180 24118 760086 859277 0 1582 43 56 45 0.99/1.09 c 3190 24205 762817 862578 0 1587 44 50 43 0.99/1.10 c 3200 24274 765548 866091 0 1593 44 54 43 0.99/1.10 c 3210 24360 768425 869374 0 1596 39 61 43 1.09/1.10 c 3220 24437 770748 872242 0 1605 47 58 47 1.09/1.11 c 3230 24505 773831 875859 0 1607 45 51 44 1.09/1.11 c 3240 24582 776780 880186 0 1610 43 51 42 1.09/1.11 c 3250 24651 778328 881729 0 1615 42 49 41 1.09/1.12 c 3260 24731 781749 885678 0 1620 39 50 42 1.09/1.12 c 3270 24805 783808 888025 0 1629 45 54 45 1.09/1.12 c 3280 24879 785839 890217 0 1634 40 54 44 1.09/1.13 c 3290 24959 788022 892847 0 1641 43 56 46 1.09/1.13 c 3300 25031 789443 894373 0 1644 46 56 46 1.09/1.13 c 3310 25113 792204 897462 0 1647 44 59 46 1.09/1.14 c 3320 25205 795052 900931 0 1649 42 58 46 1.09/1.14 c 3330 25270 797417 903823 0 1656 45 51 44 1.09/1.14 c 3340 25359 800427 907358 0 1661 44 61 46 1.09/1.15 c 3350 25442 803267 910220 0 1668 35 51 41 1.09/1.15 c 3360 25541 806636 914073 0 1670 43 53 44 1.09/1.16 c 3370 25610 809554 917140 0 1672 41 48 41 1.09/1.16 c 3380 25687 811765 920182 0 1675 50 58 50 1.09/1.16 c 3390 25765 814520 923640 0 1676 53 58 50 1.09/1.17 c 3400 25839 816651 926115 0 1684 43 63 50 1.09/1.17 c 3410 25914 818624 928663 0 1688 42 57 44 1.09/1.17 c 3420 25992 821550 931671 0 1689 41 52 41 1.09/1.18 c 3430 26068 824433 934637 0 1692 42 51 42 1.09/1.18 c 3440 26137 826365 936609 0 1698 35 54 44 1.09/1.18 c 3450 26211 828635 939019 0 1700 47 55 46 1.09/1.19 c 3460 26275 830284 941100 0 1706 42 52 43 1.09/1.19 c 3470 26352 833413 944769 0 1710 38 51 42 1.09/1.19 c 3480 26419 835517 947279 0 1714 43 50 43 1.09/1.20 c 3490 26487 837777 949772 0 1720 45 53 43 1.09/1.20 c 3500 26564 840657 952866 0 1723 42 56 45 1.19/1.20 c 3510 26651 843326 956537 0 1726 46 61 49 1.19/1.21 c 3520 26717 845780 959015 0 1728 38 52 41 1.19/1.21 c 3530 26795 847601 960855 0 1730 41 59 49 1.19/1.21 c 3540 26878 849653 963476 0 1733 38 66 50 1.19/1.21 c 3550 26944 851524 965543 0 1741 40 49 42 1.19/1.21 c 3551 26983 852178 965936 0 1742 39 39 19 1.19/1.22 c 3560 27048 854603 968710 0 1747 43 51 42 1.19/1.22 c 3570 27144 857339 971801 0 1752 39 53 40 1.19/1.23 c 3580 27226 860329 975195 0 1755 49 55 47 1.19/1.23 c 3590 27301 862926 977841 0 1762 37 50 41 1.19/1.23 c 3600 27379 864847 979856 0 1764 48 60 50 1.19/1.24 c 3610 27466 867123 982590 0 1767 45 50 44 1.19/1.24 c 3620 27537 869568 985155 0 1770 46 50 43 1.19/1.24 c 3630 27610 871515 987035 0 1777 39 51 40 1.19/1.24 c 3640 27683 873862 989635 0 1779 45 52 43 1.19/1.25 c 3650 27761 875868 991679 0 1789 42 57 45 1.19/1.25 c 3660 27828 877539 993508 0 1796 45 51 43 1.19/1.25 c 3670 27903 880718 997289 0 1800 34 52 41 1.19/1.26 c 3680 27976 883681 1001199 0 1802 47 51 43 1.19/1.26 c 3690 28047 886030 1003941 0 1807 43 52 42 1.19/1.26 c 3700 28149 888736 1006562 0 1813 49 57 47 1.19/1.27 c 3710 28214 890543 1008872 0 1822 41 55 45 1.19/1.27 c 3720 28283 892121 1010437 0 1832 50 60 49 1.19/1.27 c 3730 28369 894674 1013291 0 1836 46 55 46 1.19/1.28 c 3740 28462 897394 1016426 0 1843 40 58 42 1.19/1.28 c 3750 28538 900442 1020484 0 1848 45 54 45 1.19/1.28 c 3760 28609 902247 1022898 0 1854 49 56 47 1.19/1.29 c 3770 28671 904392 1024968 0 1859 40 52 41 1.19/1.29 c 3780 28741 906405 1027366 0 1866 43 51 43 1.19/1.29 c 3790 28814 907920 1029388 0 1869 49 56 47 1.19/1.29 c 3800 28884 910463 1032425 0 1872 44 52 43 1.29/1.30 c 3810 28968 913242 1035544 0 1878 44 57 44 1.29/1.30 c 3820 29034 915231 1037850 0 1886 33 52 41 1.29/1.31 c 3830 29121 918684 1041776 0 1891 40 55 44 1.29/1.31 c 3840 29200 921015 1044822 0 1897 46 60 47 1.29/1.31 c 3850 29272 922886 1047003 0 1898 47 54 46 1.29/1.32 c 3860 29341 925815 1050564 0 1904 46 52 44 1.29/1.32 c 3870 29410 928316 1053265 0 1909 39 50 41 1.29/1.32 c 3880 29493 931170 1056091 0 1911 44 58 43 1.29/1.33 c 3890 29561 933511 1058789 0 1917 44 52 45 1.29/1.33 c 3900 29632 935889 1061507 0 1923 47 56 47 1.29/1.33 c 3910 29721 938610 1064192 0 1927 46 55 45 1.29/1.34 c 3920 29797 941597 1067538 0 1931 43 49 41 1.29/1.34 c 3930 29887 945088 1071908 0 1933 44 53 45 1.29/1.35 c 3940 29967 948070 1075444 0 1934 41 53 43 1.29/1.35 c 3950 30032 949985 1077357 0 1938 41 54 45 1.29/1.35 c 3960 30107 951619 1079268 0 1947 46 65 53 1.29/1.35 c 3970 30167 953208 1080687 0 1952 43 46 40 1.29/1.36 c 3980 30242 955109 1082917 0 1958 46 52 44 1.29/1.36 c 3990 30308 957363 1085627 0 1963 44 48 41 1.29/1.36 c 4000 30402 960136 1088887 0 1968 35 58 47 1.29/1.36 c 4001 30450 961161 1089598 0 1969 48 48 24 1.29/1.37 c 4010 30522 963498 1092572 0 1974 25 53 40 1.29/1.37 c 4020 30592 965657 1095593 0 1977 46 51 43 1.29/1.37 c 4030 30676 968465 1099189 0 1980 46 58 45 1.29/1.38 c 4040 30740 970348 1101127 0 1990 42 53 43 1.29/1.38 c 4050 30816 972637 1103474 0 1995 46 52 44 1.29/1.38 c 4060 30884 974251 1105322 0 2001 45 56 48 1.29/1.38 c 4070 30945 976273 1107689 0 2003 45 50 44 1.29/1.39 c 4080 31011 978452 1110067 0 2007 48 54 46 1.29/1.39 c 4090 31074 980602 1112814 0 2012 44 49 42 1.29/1.39 c 4100 31154 983136 1115862 0 2017 45 57 46 1.39/1.40 c 4110 31237 985555 1118394 0 2021 47 54 46 1.39/1.40 c 4120 31306 987305 1120546 0 2024 44 52 45 1.39/1.40 c 4130 31379 989141 1122681 0 2034 41 60 47 1.39/1.41 c 4140 31454 992112 1126122 0 2036 42 51 42 1.39/1.41 c 4150 31526 994563 1128803 0 2037 45 51 43 1.39/1.41 c 4160 31598 997238 1131826 0 2042 42 51 43 1.39/1.42 c 4170 31673 999432 1134299 0 2045 39 46 39 1.39/1.42 c 4180 31750 1001326 1136410 0 2051 48 53 45 1.39/1.42 c 4190 31825 1004108 1139433 0 2053 43 50 42 1.39/1.43 c 4200 31914 1007005 1142486 0 2058 48 65 49 1.39/1.43 c 4210 31991 1009399 1145340 0 2064 49 58 50 1.39/1.43 c 4220 32067 1011941 1148270 0 2069 40 55 42 1.39/1.44 c 4230 32134 1014917 1151613 0 2074 36 45 37 1.39/1.44 c 4240 32207 1016519 1153492 0 2077 55 58 52 1.39/1.44 c 4250 32293 1018916 1156684 0 2083 46 61 49 1.39/1.45 c 4260 32390 1021793 1160128 0 2085 50 59 51 1.39/1.45 c 4270 32456 1023320 1161559 0 2095 41 57 46 1.39/1.45 c 4280 32527 1025536 1165231 0 2102 50 55 47 1.39/1.45 c 4290 32602 1027820 1168486 0 2109 45 53 45 1.39/1.46 c 4300 32664 1029157 1169729 0 2119 42 53 43 1.39/1.46 c 4310 32732 1030730 1171518 0 2125 46 54 45 1.39/1.46 c 4320 32802 1032398 1173252 0 2131 41 52 42 1.39/1.46 c 4330 32882 1034742 1176226 0 2136 44 54 44 1.39/1.47 c 4340 32946 1036658 1178856 0 2146 39 54 45 1.39/1.47 c 4350 33026 1038874 1181404 0 2153 43 54 44 1.39/1.47 c 4360 33109 1040622 1183243 0 2161 39 58 47 1.39/1.47 c 4370 33182 1042430 1185056 0 2164 50 56 48 1.39/1.48 c 4380 33272 1046064 1189481 0 2170 44 54 43 1.39/1.48 c 4390 33336 1047852 1191422 0 2179 42 51 42 1.39/1.49 c 4400 33417 1050490 1194638 0 2185 43 52 43 1.39/1.49 c 4410 33503 1052721 1197082 0 2191 46 63 51 1.39/1.49 c 4420 33577 1054941 1199717 0 2198 48 57 47 1.39/1.49 c 4430 33648 1056957 1202298 0 2199 49 60 50 1.49/1.50 c 4440 33725 1058953 1204411 0 2202 52 56 49 1.49/1.50 c 4450 33794 1061730 1207965 0 2205 42 51 40 1.49/1.51 c 4460 33880 1064724 1211506 0 2213 50 60 48 1.49/1.51 c 4470 33947 1067075 1214097 0 2217 42 47 41 1.49/1.51 c 4480 34026 1069418 1216524 0 2223 46 55 45 1.49/1.51 c 4490 34093 1071038 1218410 0 2232 41 56 46 1.49/1.51 c 4493 34146 1072188 1219337 0 2235 47 51 37 1.49/1.52 c 4500 34202 1073240 1220129 0 2241 38 46 38 1.49/1.52 c 4510 34297 1075793 1223132 0 2245 49 62 50 1.49/1.52 c 4520 34370 1077709 1225430 0 2248 47 58 45 1.49/1.52 c 4530 34444 1079417 1226839 0 2255 49 56 47 1.49/1.53 c 4540 34528 1082090 1229779 0 2260 47 53 45 1.49/1.53 c 4550 34607 1084232 1232186 0 2264 46 54 45 1.49/1.53 c 4560 34684 1087019 1235882 0 2267 51 58 48 1.49/1.54 c 4570 34763 1089219 1238088 0 2277 41 55 44 1.49/1.54 c 4580 34861 1092177 1241796 0 2281 41 55 45 1.49/1.55 c 4590 34925 1094586 1244471 0 2288 41 51 42 1.49/1.55 c 4600 34993 1096546 1246644 0 2294 45 56 48 1.49/1.55 c 4610 35059 1098014 1248221 0 2301 48 56 47 1.49/1.55 c 4620 35139 1100561 1251215 0 2303 38 58 47 1.49/1.56 c 4630 35212 1102750 1253574 0 2307 45 58 46 1.49/1.56 c 4640 35279 1105236 1256264 0 2308 40 45 39 1.49/1.56 c 4650 35348 1107117 1258289 0 2310 39 58 46 1.49/1.56 c 4660 35421 1109206 1261083 0 2313 41 62 50 1.49/1.57 c 4670 35512 1112606 1265841 0 2317 46 56 45 1.49/1.57 c 4680 35578 1114361 1267903 0 2320 45 57 45 1.49/1.57 c 4690 35644 1115959 1269426 0 2330 45 56 46 1.49/1.58 c 4700 35710 1117976 1271712 0 2334 35 52 43 1.49/1.58 c 4710 35783 1120600 1274672 0 2341 47 53 45 1.49/1.58 c 4720 35852 1122377 1276730 0 2345 46 53 45 1.49/1.59 c 4730 35929 1124270 1279030 0 2352 35 60 42 1.49/1.59 c 4740 35999 1126371 1280972 0 2359 34 53 41 1.49/1.59 c 4750 36064 1128903 1283921 0 2368 40 49 41 1.49/1.59 c 4760 36122 1131015 1286088 0 2373 42 45 39 1.59/1.60 c 4770 36211 1134504 1290083 0 2377 44 53 45 1.59/1.60 c 4780 36284 1136847 1292867 0 2382 46 57 48 1.59/1.60 c 4790 36353 1138471 1294695 0 2390 33 55 44 1.59/1.61 c 4800 36436 1140640 1297133 0 2393 44 52 45 1.59/1.61 c 4810 36510 1142714 1299370 0 2397 40 62 49 1.59/1.61 c 4820 36579 1144504 1301528 0 2406 40 55 44 1.59/1.62 c 4830 36650 1146501 1303961 0 2413 40 53 43 1.59/1.62 c 4840 36724 1149151 1306681 0 2416 41 52 43 1.59/1.62 c 4850 36788 1151056 1309011 0 2425 42 54 43 1.59/1.63 c 4860 36854 1153274 1311476 0 2432 45 53 44 1.59/1.63 c 4870 36952 1156936 1316172 0 2435 47 54 46 1.59/1.63 c 4880 37025 1159047 1318404 0 2438 44 56 46 1.59/1.64 c 4890 37099 1161698 1321540 0 2441 43 50 43 1.59/1.64 c 4900 37173 1164516 1324775 0 2447 42 54 45 1.59/1.64 c 4910 37245 1166843 1327391 0 2451 44 51 42 1.59/1.65 c 4920 37316 1169592 1329962 0 2454 41 50 40 1.59/1.65 c 4930 37391 1171740 1332906 0 2459 40 54 44 1.59/1.65 c 4940 37473 1174524 1335970 0 2461 46 52 44 1.59/1.66 c 4950 37553 1177273 1339305 0 2463 43 54 44 1.59/1.66 c 4960 37624 1179858 1342511 0 2469 38 54 42 1.59/1.67 c 4970 37708 1183222 1346279 0 2475 45 54 43 1.59/1.67 c 4980 37781 1185891 1349746 0 2478 43 51 45 1.59/1.67 c 4990 37863 1188879 1353517 0 2485 46 54 45 1.59/1.68 c 5035 38018 1194733 1363836 0 2494 41 53 47 1.79/1.87 c 5631 40307 1318070 1531158 0 2507 41 61 50 1.99/2.00 c 6286 42040 1408745 1660947 0 2514 39 60 50 2.09/2.16 c 7006 44518 1517041 1820053 0 2518 42 66 51 2.29/2.37 c 7798 47211 1652557 2024664 0 2532 40 60 49 2.49/2.53 c 8669 49616 1763663 2203089 0 2547 41 67 54 2.69/2.77 c 9627 52351 1917890 2451759 0 2556 39 66 52 2.99/3.01 c 10680 55804 2078500 2697427 0 2565 39 59 48 3.19/3.30 c 11838 59376 2271756 2992039 0 2581 36 61 50 3.49/3.56 c 13111 62831 2443417 3256587 0 2589 43 62 50 3.79/3.88 c 14511 66932 2663270 3573444 0 2599 40 66 51 4.18/4.27 c 16051 71561 2922896 3971435 0 2609 37 60 46 4.58/4.66 c 17745 76229 3178040 4390623 0 2624 35 63 47 5.08/5.12 c 19608 83217 3486080 4853070 0 2632 39 65 51 5.59/5.64 c 21657 90128 3824225 5356707 0 2639 38 66 51 6.08/6.14 c 23910 97058 4157978 5896439 0 2655 36 68 51 6.48/6.56 c 26388 103321 4439860 6388138 0 2682 34 60 48 6.98/7.09 c 29113 111194 4792158 7000826 0 2696 33 64 50 7.58/7.65 c 32110 119601 5173984 7615962 0 2705 35 65 51 8.38/8.48 c 35406 131659 5723657 8409426 0 2710 38 65 51 9.28/9.32 c 39031 142427 6284185 9268568 0 2724 36 63 50 9.99/10.09 c 43018 153203 6783960 10145712 0 2738 36 61 49 11.09/11.18 c 47403 167493 7519735 11216421 0 2758 37 72 52 12.28/12.32 c 52226 182632 8269792 12537026 0 2766 37 69 51 13.08/13.19 c 57531 196302 8844365 13571817 0 2773 39 71 55 14.48/14.53 c 63366 214012 9736159 15121587 0 2784 36 65 48 15.88/15.94 c 69784 232796 10674266 16529762 0 2802 37 69 50 17.48/17.51 c 76843 257011 11733632 18131610 0 2821 37 71 51 18.98/19.06 c 84607 278509 12781012 19779781 0 2828 32 58 46 21.18/21.22 c 93147 306568 14208528 21893971 0 2854 38 66 51 23.19/23.23 c 102541 332989 15559774 23929369 0 2869 36 67 50 25.68/25.73 c 112874 366776 17227175 26441801 0 2886 35 67 49 28.38/28.48 c 124240 402870 19034526 29125848 0 2903 38 68 54 30.79/30.82 c 136742 435837 20545771 31808666 0 2932 37 70 53 34.19/34.25 c 150494 481513 22836956 35199232 0 2939 38 67 52 36.98/37.09 c 165621 522335 24687600 38444736 0 2953 37 73 54 41.08/41.13 c 182260 570711 27375155 42495536 0 2970 32 66 49 45.18/45.23 c 200562 627257 30118147 46660860 0 2991 37 69 51 50.28/50.38 c 220694 697608 33550413 51892072 0 3001 34 66 46 54.98/55.02 c 242839 759060 36657481 56614743 0 3012 39 67 52 59.58/59.60 c 267198 820545 39653926 61413864 0 3029 38 71 53 65.88/65.93 c 293992 907934 43885700 68065628 0 3045 40 69 52 71.48/71.53 c 323465 990056 47621598 74108725 0 3055 37 70 52 77.28/77.35 c 355885 1078926 51539591 80539095 0 3069 38 71 54 83.78/83.86 c 391547 1174461 55890341 87408889 0 3080 38 72 54 93.37/93.49 c 430775 1308864 62349657 97117335 0 3089 34 70 50 103.07/103.15 c 473925 1433136 68724083 107398145 0 3100 36 70 51 113.07/113.16 c 521390 1571946 75266675 118472551 0 3120 35 73 52 125.87/125.94 c 573601 1755899 83794458 131416556 0 3131 33 69 49 138.77/138.83 c 631033 1919299 92372200 144328329 0 3144 34 67 50 151.47/151.59 c 694208 2089930 100652138 159464683 0 3161 36 71 54 166.97/167.07 c 763700 2306725 110702574 176596164 0 3183 37 74 53 182.67/182.73 c 840141 2523722 121065578 193754975 0 3193 35 72 51 203.66/203.75 c 924226 2786140 135070220 214767647 0 3209 33 68 50 220.76/220.80 c 1016719 3019170 146239441 233418412 0 3231 35 72 53 243.76/243.84 c 1118461 3332009 161478023 257264245 0 3248 37 74 53 267.86/267.93 c 1230377 3664968 177532036 282042372 0 3272 32 65 47 292.56/292.64 c 1353484 4038633 194033460 307922112 0 3292 37 79 54 317.75/317.83 c 1488901 4390706 210508667 336573635 0 3312 34 75 53 347.95/348.06 c 1637859 4820491 230059630 369135716 0 3325 32 75 54 380.65/380.79 c 1801712 5314388 252075158 401806403 0 3345 33 75 49 420.74/420.87 c 1981950 5852070 278402948 443275217 0 3358 30 70 48 463.83/463.92 c 2180211 6424940 307166254 488753064 0 3375 34 77 50 510.53/510.68 c 2398298 7056565 338252076 538915291 0 3396 34 72 50 563.82/563.94 c 2638193 7775635 373214749 597395542 0 3420 35 71 51 616.22/616.38 c 2902077 8545235 408089094 656364317 0 3434 34 74 51 673.92/674.04 c 3192349 9326364 445862667 719852840 0 3448 34 74 54 741.51/741.63 c 3511648 10272244 490329630 792601278 0 3474 32 68 49 814.01/814.17 c 3862876 11262188 538268680 871116612 0 3494 33 77 52 906.90/907.03 c 4249226 12511181 600473934 964531489 0 3515 32 70 49 996.29/996.42 c 4674211 13736606 659559360 1058254822 0 3529 32 75 51 1104.57/1104.72 c 5141694 15221750 730525263 1177661954 0 3550 32 78 52 1215.76/1215.98 c 5655925 16869496 805104383 1283129241 0 3565 31 70 48 1341.85/1342.09 c 6221579 18607956 889402484 1412052825 0 3584 33 74 51 1493.64/1493.89 c 6843798 20686527 989967199 1564802613 0 3595 31 73 49 1633.12/1633.35 c 7528238 22797355 1083171322 1721351531 0 3617 32 75 50 1813.30/1813.56 c 8281122 25291634 1202946272 1903093746 0 3638 31 71 48 1970.08/1970.39 c 9109294 27557693 1305249504 2077926162 0 3669 32 77 55 2152.16/2152.44 c 10020283 30201583 1426735132 2275289393 0 3686 30 79 52 2383.73/2384.08 c 11022370 33543975 1583140551 2502109661 0 3711 30 69 48
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239935-1500623785/watcher-4239935-1500623785 -o /tmp/evaluation-result-4239935-1500623785/solver-4239935-1500623785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239935-1500623785.xml pid=4035 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.08 0.03 0.05 3/188 4038 /proc/meminfo: memFree=30935044/32770624 swapFree=6256/1092952 [pid=4038] ppid=4035 vsize=31480 CPUtime=0 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 1042 0 0 0 0 0 0 0 20 0 1 0 15655132 32235520 831 33554432000 4194304 5970956 140732624768880 140732624765528 5251696 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 7870 831 717 434 0 1234 0 [startup+0.100177 s] /proc/loadavg: 0.08 0.03 0.05 3/188 4038 /proc/meminfo: memFree=30935044/32770624 swapFree=6256/1092952 [pid=4038] ppid=4035 vsize=32036 CPUtime=0.09 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 1222 0 0 0 9 0 0 0 20 0 1 0 15655132 32804864 1029 33554432000 4194304 5970956 140732624768880 140732624766216 4974728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8009 1029 756 434 0 1373 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 32036 [startup+0.200295 s] /proc/loadavg: 0.08 0.03 0.05 3/188 4038 /proc/meminfo: memFree=30935044/32770624 swapFree=6256/1092952 [pid=4038] ppid=4035 vsize=32036 CPUtime=0.19 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 1239 0 0 0 19 0 0 0 20 0 1 0 15655132 32804864 1029 33554432000 4194304 5970956 140732624768880 140732624766216 4978135 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8009 1029 756 434 0 1373 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 32036 [startup+0.300242 s] /proc/loadavg: 0.08 0.03 0.05 3/188 4038 /proc/meminfo: memFree=30935044/32770624 swapFree=6256/1092952 [pid=4038] ppid=4035 vsize=32036 CPUtime=0.29 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 1246 0 0 0 29 0 0 0 20 0 1 0 15655132 32804864 1029 33554432000 4194304 5970956 140732624768880 140732624766216 4976713 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8009 1029 756 434 0 1373 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32036 [startup+0.700218 s] /proc/loadavg: 0.08 0.03 0.05 3/188 4038 /proc/meminfo: memFree=30935044/32770624 swapFree=6256/1092952 [pid=4038] ppid=4035 vsize=32036 CPUtime=0.69 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 1279 0 0 0 69 0 0 0 20 0 1 0 15655132 32804864 1095 33554432000 4194304 5970956 140732624768880 140732624766216 4975025 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8009 1095 773 434 0 1373 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32036 [startup+1.50022 s] /proc/loadavg: 0.08 0.03 0.05 3/189 4039 /proc/meminfo: memFree=30932832/32770624 swapFree=6256/1092984 [pid=4038] ppid=4035 vsize=32164 CPUtime=1.49 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 1351 0 0 0 149 0 0 0 20 0 1 0 15655132 32935936 1133 33554432000 4194304 5970956 140732624768880 140732624766216 4974816 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1133 774 434 0 1405 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32164 [startup+3.10021 s] /proc/loadavg: 0.08 0.03 0.05 3/189 4039 /proc/meminfo: memFree=30929988/32770624 swapFree=6256/1092992 [pid=4038] ppid=4035 vsize=32164 CPUtime=3.09 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 1701 0 0 0 309 0 0 0 20 0 1 0 15655132 32935936 1712 33554432000 4194304 5970956 140732624768880 140732624766216 4974709 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1712 774 434 0 1405 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32164 [startup+6.30022 s] /proc/loadavg: 0.24 0.06 0.06 3/189 4039 /proc/meminfo: memFree=30929972/32770624 swapFree=6256/1092996 [pid=4038] ppid=4035 vsize=32164 CPUtime=6.28 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 2043 0 0 0 628 0 0 0 20 0 1 0 15655132 32935936 1714 33554432000 4194304 5970956 140732624768880 140732624766216 5098896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1714 774 434 0 1405 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32164 [startup+12.7002 s] /proc/loadavg: 0.38 0.10 0.07 3/189 4039 /proc/meminfo: memFree=30929972/32770624 swapFree=6256/1093000 [pid=4038] ppid=4035 vsize=32164 CPUtime=12.68 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 2388 0 0 0 1268 0 0 0 20 0 1 0 15655132 32935936 1716 33554432000 4194304 5970956 140732624768880 140732624766216 4974629 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1716 774 434 0 1405 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32164 [startup+25.5003 s] /proc/loadavg: 0.74 0.19 0.10 3/189 4039 /proc/meminfo: memFree=30930668/32770624 swapFree=6256/1093016 [pid=4038] ppid=4035 vsize=32164 CPUtime=25.48 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 3081 0 0 0 2548 0 0 0 20 0 1 0 15655132 32935936 1721 33554432000 4194304 5970956 140732624768880 140732624766216 4975762 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1721 774 434 0 1405 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32164 [startup+51.1003 s] /proc/loadavg: 1.17 0.34 0.15 3/189 4039 /proc/meminfo: memFree=30930472/32770624 swapFree=6256/1093048 [pid=4038] ppid=4035 vsize=32164 CPUtime=51.08 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 3431 0 0 0 5108 0 0 0 20 0 1 0 15655132 32935936 1721 33554432000 4194304 5970956 140732624768880 140732624766216 4976713 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1721 774 434 0 1405 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32164 [startup+102.3 s] /proc/loadavg: 1.64 0.59 0.25 3/189 4041 /proc/meminfo: memFree=30930408/32770624 swapFree=6256/1093140 [pid=4038] ppid=4035 vsize=32164 CPUtime=102.28 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 3780 0 0 0 10228 0 0 0 20 0 1 0 15655132 32935936 1722 33554432000 4194304 5970956 140732624768880 140732624766216 4976819 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1722 774 434 0 1405 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 32164 [startup+162.3 s] /proc/loadavg: 1.90 0.86 0.36 3/189 4042 /proc/meminfo: memFree=30930256/32770624 swapFree=6256/1093208 [pid=4038] ppid=4035 vsize=32164 CPUtime=162.27 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 4132 0 0 0 16227 0 0 0 20 0 1 0 15655132 32935936 1724 33554432000 4194304 5970956 140732624768880 140732624766216 4976725 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1724 774 434 0 1405 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 32164 [startup+222.306 s] /proc/loadavg: 1.96 1.07 0.47 3/190 4051 /proc/meminfo: memFree=30929420/32770624 swapFree=6256/1093284 [pid=4038] ppid=4035 vsize=32164 CPUtime=222.27 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 4483 0 0 0 22227 0 0 0 20 0 1 0 15655132 32935936 1725 33554432000 4194304 5970956 140732624768880 140732624766216 4974138 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1725 774 434 0 1405 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 32164 [startup+282.3 s] /proc/loadavg: 1.99 1.24 0.56 3/190 4074 /proc/meminfo: memFree=30927392/32770624 swapFree=6256/1093344 [pid=4038] ppid=4035 vsize=32164 CPUtime=282.25 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 4834 0 0 0 28225 0 0 0 20 0 1 0 15655132 32935936 1726 33554432000 4194304 5970956 140732624768880 140732624766216 4977544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1726 774 434 0 1405 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 32164 [startup+342.3 s] /proc/loadavg: 2.00 1.38 0.65 3/188 4075 /proc/meminfo: memFree=30928712/32770624 swapFree=6256/1093400 [pid=4038] ppid=4035 vsize=32164 CPUtime=342.25 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 5187 0 0 0 34225 0 0 0 20 0 1 0 15655132 32935936 1728 33554432000 4194304 5970956 140732624768880 140732624766216 5098896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1728 774 434 0 1405 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 32164 [startup+402.3 s] /proc/loadavg: 2.00 1.49 0.74 3/188 4076 /proc/meminfo: memFree=30928732/32770624 swapFree=6256/1093460 [pid=4038] ppid=4035 vsize=32164 CPUtime=402.24 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 5541 0 0 0 40224 0 0 0 20 0 1 0 15655132 32935936 1728 33554432000 4194304 5970956 140732624768880 140732624766216 4977641 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1728 774 434 0 1405 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 32164 [startup+462.3 s] /proc/loadavg: 2.00 1.58 0.82 3/188 4077 /proc/meminfo: memFree=30928956/32770624 swapFree=6256/1093492 [pid=4038] ppid=4035 vsize=32164 CPUtime=462.23 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 5893 0 0 0 46223 0 0 0 20 0 1 0 15655132 32935936 1728 33554432000 4194304 5970956 140732624768880 140732624766216 4976705 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1728 774 434 0 1405 0 Current children cumulated CPU time (s) 462.23 Current children cumulated vsize (KiB) 32164 [startup+522.3 s] /proc/loadavg: 2.00 1.66 0.89 3/187 4078 /proc/meminfo: memFree=30928856/32770624 swapFree=6256/1093540 [pid=4038] ppid=4035 vsize=32164 CPUtime=522.23 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 6249 0 0 0 52223 0 0 0 20 0 1 0 15655132 32935936 1729 33554432000 4194304 5970956 140732624768880 140732624766216 5337501 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1729 774 434 0 1405 0 Current children cumulated CPU time (s) 522.23 Current children cumulated vsize (KiB) 32164 [startup+582.3 s] /proc/loadavg: 2.00 1.72 0.96 3/187 4079 /proc/meminfo: memFree=30928244/32770624 swapFree=6256/1093572 [pid=4038] ppid=4035 vsize=32164 CPUtime=582.22 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 6603 0 0 0 58222 0 0 0 20 0 1 0 15655132 32935936 1729 33554432000 4194304 5970956 140732624768880 140732624766216 4976788 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1729 774 434 0 1405 0 Current children cumulated CPU time (s) 582.22 Current children cumulated vsize (KiB) 32164 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 1.99 1.64 3/188 4111 /proc/meminfo: memFree=30928248/32770624 swapFree=6256/1094080 [pid=4038] ppid=4035 vsize=32164 CPUtime=1542.13 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 12101 0 0 0 154212 1 0 0 20 0 1 0 15655132 32935936 1732 33554432000 4194304 5970956 140732624768880 140732624766216 4977604 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1732 774 434 0 1405 0 Current children cumulated CPU time (s) 1542.13 Current children cumulated vsize (KiB) 32164 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.66 3/188 4112 /proc/meminfo: memFree=30928296/32770624 swapFree=6256/1094100 [pid=4038] ppid=4035 vsize=32164 CPUtime=1602.12 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 12429 0 0 0 160211 1 0 0 20 0 1 0 15655132 32935936 1732 33554432000 4194304 5970956 140732624768880 140732624766216 4975658 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1732 774 434 0 1405 0 Current children cumulated CPU time (s) 1602.12 Current children cumulated vsize (KiB) 32164 [startup+1662.3 s] /proc/loadavg: 2.04 2.01 1.69 3/188 4113 /proc/meminfo: memFree=30928408/32770624 swapFree=6256/1094132 [pid=4038] ppid=4035 vsize=32164 CPUtime=1662.11 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 12785 0 0 0 166210 1 0 0 20 0 1 0 15655132 32935936 1732 33554432000 4194304 5970956 140732624768880 140732624766216 4978138 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1732 774 434 0 1405 0 Current children cumulated CPU time (s) 1662.11 Current children cumulated vsize (KiB) 32164 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 1.71 3/187 4115 /proc/meminfo: memFree=30927772/32770624 swapFree=6256/1094164 [pid=4038] ppid=4035 vsize=32164 CPUtime=1722.11 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 13123 0 0 0 172210 1 0 0 20 0 1 0 15655132 32935936 1732 33554432000 4194304 5970956 140732624768880 140732624766216 4977769 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1732 774 434 0 1405 0 Current children cumulated CPU time (s) 1722.11 Current children cumulated vsize (KiB) 32164 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 1.72 3/187 4116 /proc/meminfo: memFree=30927804/32770624 swapFree=6256/1094184 [pid=4038] ppid=4035 vsize=32164 CPUtime=1782.1 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 13455 0 0 0 178209 1 0 0 20 0 1 0 15655132 32935936 1732 33554432000 4194304 5970956 140732624768880 140732624766216 4974841 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1732 774 434 0 1405 0 Current children cumulated CPU time (s) 1782.1 Current children cumulated vsize (KiB) 32164 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.74 3/187 4117 /proc/meminfo: memFree=30927728/32770624 swapFree=6256/1094224 [pid=4038] ppid=4035 vsize=32164 CPUtime=1842.09 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 13813 0 0 0 184208 1 0 0 20 0 1 0 15655132 32935936 1732 33554432000 4194304 5970956 140732624768880 140732624766216 4974684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1732 774 434 0 1405 0 Current children cumulated CPU time (s) 1842.09 Current children cumulated vsize (KiB) 32164 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.76 3/187 4119 /proc/meminfo: memFree=30928376/32770624 swapFree=6256/1094260 [pid=4038] ppid=4035 vsize=32164 CPUtime=1902.09 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 14158 0 0 0 190208 1 0 0 20 0 1 0 15655132 32935936 1733 33554432000 4194304 5970956 140732624768880 140732624766216 4974448 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1733 774 434 0 1405 0 Current children cumulated CPU time (s) 1902.09 Current children cumulated vsize (KiB) 32164 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.77 3/187 4120 /proc/meminfo: memFree=30928976/32770624 swapFree=6256/1094284 [pid=4038] ppid=4035 vsize=32164 CPUtime=1962.08 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 14498 0 0 0 196207 1 0 0 20 0 1 0 15655132 32935936 1733 33554432000 4194304 5970956 140732624768880 140732624766216 4974299 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1733 774 434 0 1405 0 Current children cumulated CPU time (s) 1962.08 Current children cumulated vsize (KiB) 32164 [startup+2022.3 s] /proc/loadavg: 2.08 2.02 1.79 3/188 4129 /proc/meminfo: memFree=30927880/32770624 swapFree=6256/1094328 [pid=4038] ppid=4035 vsize=32164 CPUtime=2022.07 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 14857 0 0 0 202206 1 0 0 20 0 1 0 15655132 32935936 1733 33554432000 4194304 5970956 140732624768880 140732624766216 4974989 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1733 774 434 0 1405 0 Current children cumulated CPU time (s) 2022.07 Current children cumulated vsize (KiB) 32164 [startup+2082.3 s] /proc/loadavg: 2.03 2.02 1.80 3/188 4130 /proc/meminfo: memFree=30927904/32770624 swapFree=6256/1094348 [pid=4038] ppid=4035 vsize=32164 CPUtime=2082.07 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 15178 0 0 0 208206 1 0 0 20 0 1 0 15655132 32935936 1733 33554432000 4194304 5970956 140732624768880 140732624766216 4975180 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8041 1733 774 434 0 1405 0 Current children cumulated CPU time (s) 2082.07 Current children cumulated vsize (KiB) 32164 [startup+2142.3 s] /proc/loadavg: 2.06 2.03 1.82 3/188 4131 /proc/meminfo: memFree=30928164/32770624 swapFree=6256/1094372 [pid=4038] ppid=4035 vsize=32296 CPUtime=2142.06 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 15522 0 0 0 214205 1 0 0 20 0 1 0 15655132 33071104 1733 33554432000 4194304 5970956 140732624768880 140732624765736 4974709 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8074 1733 774 434 0 1438 0 Current children cumulated CPU time (s) 2142.06 Current children cumulated vsize (KiB) 32296 [startup+2202.31 s] /proc/loadavg: 2.02 2.02 1.83 3/188 4132 /proc/meminfo: memFree=30928168/32770624 swapFree=6256/1094404 [pid=4038] ppid=4035 vsize=32296 CPUtime=2202.06 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 15881 0 0 0 220205 1 0 0 20 0 1 0 15655132 33071104 1734 33554432000 4194304 5970956 140732624768880 140732624766216 4975716 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8074 1734 774 434 0 1438 0 Current children cumulated CPU time (s) 2202.06 Current children cumulated vsize (KiB) 32296 [startup+2262.3 s] /proc/loadavg: 2.01 2.02 1.84 3/188 4133 /proc/meminfo: memFree=30927384/32770624 swapFree=6256/1094436 [pid=4038] ppid=4035 vsize=32296 CPUtime=2262.05 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 16174 0 0 0 226204 1 0 0 20 0 1 0 15655132 33071104 1734 33554432000 4194304 5970956 140732624768880 140732624766216 4977769 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8074 1734 774 434 0 1438 0 Current children cumulated CPU time (s) 2262.05 Current children cumulated vsize (KiB) 32296 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.86 3/188 4134 /proc/meminfo: memFree=30927732/32770624 swapFree=6256/1094464 [pid=4038] ppid=4035 vsize=32296 CPUtime=2322.04 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 16455 0 0 0 232203 1 0 0 20 0 1 0 15655132 33071104 1734 33554432000 4194304 5970956 140732624768880 140732624766216 4976839 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8074 1734 774 434 0 1438 0 Current children cumulated CPU time (s) 2322.04 Current children cumulated vsize (KiB) 32296 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.87 3/187 4135 /proc/meminfo: memFree=30927764/32770624 swapFree=6256/1094484 [pid=4038] ppid=4035 vsize=32296 CPUtime=2382.03 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 16743 0 0 0 238202 1 0 0 20 0 1 0 15655132 33071104 1734 33554432000 4194304 5970956 140732624768880 140732624766216 4975232 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8074 1734 774 434 0 1438 0 Current children cumulated CPU time (s) 2382.03 Current children cumulated vsize (KiB) 32296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.00 2.01 1.87 2/185 4135 /proc/meminfo: memFree=30929848/32770624 swapFree=6256/1094488 [pid=4038] ppid=4035 vsize=32296 CPUtime=2400.04 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 17136 0 0 0 240003 1 0 0 20 0 1 0 15655132 33071104 1734 33554432000 4194304 5970956 140732624768880 140732624766216 4976696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8074 1734 774 434 0 1438 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 32296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4038 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.00 2.01 1.87 2/185 4135 /proc/meminfo: memFree=30929848/32770624 swapFree=6256/1094488 [pid=4038] ppid=4035 vsize=32296 CPUtime=2400.04 cores=1,3,5,7 /proc/4038/stat : 4038 (cosoco) R 4035 4038 3975 0 -1 4202496 17136 0 0 0 240003 1 0 0 20 0 1 0 15655132 33071104 1734 33554432000 4194304 5970956 140732624768880 140732624766216 4976696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 11988992 140732624770236 140732624770371 140732624770371 140732624773070 0 /proc/4038/statm: 8074 1734 774 434 0 1438 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 32296 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.05 CPU user time (s): 2400.03 CPU system time (s): 0.017998 CPU usage (%): 99.9893 Max. virtual memory (cumulated for all children) (KiB): 32296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.03 system time used= 0.017998 maximum resident set size= 6980 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17164 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= 120662 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.18121 second user time and 7.49364 second system time The end
Begin job on node131 at 2017-07-21 09:56:26 IDJOB=4239935 IDBENCH=115868 IDSOLVER=2621 FILE ID=node131/4239935-1500623785 RUNJOBID= node131-1500623778-4007 PBS_JOBID= 20623002 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-11.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239935-1500623785/watcher-4239935-1500623785 -o /tmp/evaluation-result-4239935-1500623785/solver-4239935-1500623785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4007 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239935-1500623785.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3da25fcd556a00d93fc440927ef81e89 RANDOM SEED=127381203 node131.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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.50 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 : 1600.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 : 1600.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.50 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 : 1600.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 : 2533.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.50 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 : 1733.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 : 1600.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.50 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 : 1600.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: 30936052 kB MemAvailable: 32014624 kB Buffers: 153724 kB Cached: 1205052 kB SwapCached: 0 kB Active: 311944 kB Inactive: 1101736 kB Active(anon): 57636 kB Inactive(anon): 8784 kB Active(file): 254308 kB Inactive(file): 1092952 kB Unevictable: 6256 kB Mlocked: 6264 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4736 kB Writeback: 0 kB AnonPages: 60908 kB Mapped: 33812 kB Shmem: 8852 kB Slab: 119104 kB SReclaimable: 94292 kB SUnreclaim: 24812 kB KernelStack: 3168 kB PageTables: 5156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332848 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 62020 MiB End job on node131 at 2017-07-21 10:36:26