| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.8899 | 2520.01 |
| Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h375-17.xml |
| MD5SUM | 946d300933e85b0b5e5d11b6e9e445b0 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 5.0790401 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 900 |
| Number of constraints | 2 |
| Number of domains | 1 |
| Minimum domain size | 30 |
| Maximum domain size | 30 |
| Distribution of domain sizes | [{"size":30,"count":900}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":1,"count":375},{"degree":2,"count":525}] |
| Minimum constraint arity | 525 |
| Maximum constraint arity | 900 |
| Distribution of constraint arities | [{"arity":525,"count":1},{"arity":900,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.10 c SAT : Variables: 27000 -- Clauses: 392400 0.04/0.12 c root propagations : 4839 0.04/0.12 c restarts enabled, print stats at every restarts 0.04/0.12 c 0.04/0.12 c 0.04/0.12 c 0.04/0.12 c This is cosoco 1.12 -- 0.04/0.12 c 0.04/0.12 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266128-1502591440.xml 0.04/0.12 c ========================================[ Problem Statistics ]=========================================== 0.04/0.12 c | 0.04/0.12 c | Parse time : 0.04 s 0.04/0.12 c | 0.04/0.12 c | Variables: 900 0.04/0.12 c | Domain Sizes: 30..30 0.04/0.12 c | 0.04/0.12 c | Constraints: 585 0.04/0.12 c | Arity: 1..30 -- Unary: 525 0.04/0.12 c | 0.04/0.12 c | Types: 0.04/0.12 c | All Different: 60 0.04/0.12 c | Unary: 525 0.04/0.12 c | 0.04/0.12 c ========================================================================================================= 0.04/0.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.04/0.14 c 10 693 7249 11648 898 6 590 660 583 0.04/0.15 c 20 1355 10338 17013 898 14 572 638 563 0.04/0.16 c 30 1935 12618 19890 898 20 548 563 508 0.04/0.18 c 40 2670 16166 27049 898 27 538 726 614 0.04/0.19 c 50 3348 19191 31914 898 37 575 663 564 0.04/0.21 c 60 4044 22670 38848 898 46 568 685 578 0.15/0.23 c 70 4756 26434 47667 898 53 574 688 604 0.15/0.24 c 80 5415 29292 51955 898 61 543 646 546 0.15/0.25 c 90 6033 31682 54868 898 69 545 607 521 0.15/0.27 c 100 6751 35133 61397 898 79 546 708 601 0.15/0.28 c 101 7268 36856 62456 898 80 517 517 258 0.15/0.29 c 110 7925 39871 67426 898 87 534 632 538 0.15/0.30 c 120 8541 42156 70032 898 96 514 600 503 0.15/0.31 c 130 9164 44597 72935 898 105 522 610 514 0.25/0.32 c 140 9831 47429 76929 898 115 515 657 522 0.25/0.34 c 150 10507 50333 81165 898 125 516 667 529 0.25/0.35 c 160 11216 53577 86682 898 134 513 684 555 0.25/0.36 c 170 11823 56157 90430 898 142 524 591 512 0.25/0.38 c 180 12520 59594 97110 898 151 515 666 560 0.25/0.39 c 190 13110 61857 100082 898 161 517 581 495 0.25/0.40 c 200 13714 64256 103684 898 169 518 578 501 0.35/0.41 c 210 14284 66632 107186 898 178 491 555 486 0.35/0.42 c 211 14774 68198 108030 898 179 490 490 245 0.35/0.43 c 220 15448 71270 113435 898 186 483 661 525 0.35/0.45 c 230 16080 74298 119378 898 196 488 617 522 0.35/0.47 c 240 16757 77509 125580 898 206 499 667 547 0.35/0.48 c 250 17377 80217 130380 898 215 490 601 517 0.35/0.49 c 260 18021 82932 134638 898 221 493 624 535 0.35/0.50 c 270 18630 85770 139746 898 228 499 593 515 0.45/0.52 c 280 19282 88648 144684 898 235 495 638 542 0.45/0.53 c 290 19861 91299 149369 898 242 504 562 493 0.45/0.55 c 300 20564 95051 157441 898 248 506 664 562 0.45/0.56 c 310 21203 97633 161099 898 258 503 627 529 0.45/0.57 c 320 21851 100339 165044 898 268 482 637 515 0.45/0.59 c 330 22509 103256 170061 898 278 483 648 515 0.45/0.60 c 332 23084 105459 172441 898 280 559 574 377 0.54/0.61 c 340 23725 108101 176148 898 288 491 634 499 0.54/0.62 c 350 24323 110714 180121 898 295 491 587 493 0.54/0.64 c 360 24993 113772 185699 898 300 491 649 537 0.54/0.65 c 370 25615 116415 189933 898 304 539 593 531 0.54/0.66 c 380 26250 119423 195441 898 311 519 607 525 0.54/0.68 c 390 26877 122163 199671 898 319 519 590 516 0.54/0.69 c 400 27445 124536 203274 898 326 508 553 486 0.63/0.70 c 410 28041 127219 208303 898 333 499 581 488 0.63/0.71 c 420 28693 130220 215034 898 339 494 605 508 0.63/0.73 c 430 29313 132944 219684 898 346 495 573 488 0.63/0.74 c 440 29911 135588 224650 898 350 541 576 518 0.63/0.75 c 450 30531 138367 229498 898 358 525 581 502 0.63/0.77 c 460 31107 140861 233662 898 364 524 557 492 0.63/0.78 c 465 31669 143146 237088 898 369 517 549 447 0.63/0.79 c 470 32236 145386 239889 898 372 520 556 454 0.73/0.80 c 480 32820 147802 244336 898 375 534 543 488 0.73/0.81 c 490 33418 150476 248803 898 380 498 557 497 0.73/0.82 c 500 34057 153525 254481 898 383 501 598 534 0.73/0.84 c 510 34664 156252 259655 898 391 505 589 518 0.73/0.85 c 520 35261 158851 263708 898 399 503 576 513 0.73/0.86 c 530 35854 161413 267406 898 405 464 576 499 0.73/0.87 c 540 36434 163617 270593 898 409 527 531 481 0.73/0.88 c 550 37042 166136 274553 898 413 544 576 517 0.83/0.90 c 560 37619 168825 279363 898 419 501 546 488 0.83/0.91 c 570 38231 171391 283221 898 424 504 573 501 0.83/0.92 c 580 38811 174146 288291 898 430 477 549 489 0.83/0.93 c 590 39382 176383 291354 898 434 519 551 495 0.83/0.94 c 600 39965 178952 295622 898 442 481 555 488 0.83/0.96 c 610 40560 181698 301028 898 446 487 542 484 0.83/0.97 c 611 41091 183506 302358 898 447 531 531 265 0.83/0.98 c 620 41732 186434 307542 898 455 533 633 524 0.83/0.99 c 630 42345 188999 311364 898 460 487 577 495 0.83/1.00 c 640 42924 191539 315804 898 466 467 536 477 0.94/1.02 c 650 43550 194181 320482 898 474 465 606 526 0.94/1.03 c 660 44175 197009 325803 898 477 589 602 542 0.94/1.04 c 670 44775 199510 329468 898 483 475 578 504 0.94/1.05 c 680 45375 202037 333267 898 488 519 551 497 0.94/1.07 c 690 45996 204594 336762 898 495 502 576 507 0.94/1.08 c 700 46636 207298 340801 898 502 493 623 516 0.94/1.10 c 710 47283 210842 348622 898 509 589 635 562 1.04/1.12 c 720 48005 214804 357440 898 517 483 668 552 1.04/1.13 c 730 48658 217997 363079 898 519 579 621 556 1.04/1.15 c 740 49295 220967 368067 898 527 515 624 538 1.04/1.17 c 750 49965 225017 377805 898 531 615 639 571 1.04/1.19 c 760 50629 228939 386752 898 535 627 637 575 1.13/1.20 c 770 51305 232051 392931 898 543 587 649 569 1.13/1.21 c 771 51897 234318 395278 898 544 592 592 296 1.13/1.23 c 780 52556 237802 402228 898 548 600 623 549 1.13/1.25 c 790 53211 241246 408478 898 551 610 622 558 1.13/1.26 c 800 53783 243943 414026 898 559 529 545 485 1.13/1.28 c 810 54439 247070 419468 898 569 494 637 525 1.13/1.30 c 820 55026 250802 432471 898 572 527 535 482 1.23/1.31 c 830 55668 253640 438083 898 578 577 610 545 1.23/1.32 c 840 56336 256668 442782 898 588 496 628 533 1.23/1.34 c 850 57027 260452 450862 898 594 582 653 576 1.23/1.36 c 860 57678 263567 456577 898 597 568 634 559 1.23/1.37 c 870 58317 266644 462519 898 605 576 625 552 1.23/1.39 c 880 59009 269990 468679 898 610 500 669 553 1.33/1.41 c 890 59686 273360 475356 898 617 581 632 552 1.33/1.42 c 900 60293 276339 480667 898 625 576 593 536 1.33/1.44 c 910 60991 279927 488148 898 634 500 677 558 1.33/1.45 c 920 61612 282634 492723 898 640 564 604 527 1.33/1.46 c 930 62202 285150 497277 898 646 524 555 498 1.33/1.48 c 940 62859 288309 504099 898 654 539 634 547 1.33/1.49 c 947 63449 290632 507589 898 659 572 582 507 1.43/1.50 c 950 63985 292487 509233 898 662 517 528 392 1.43/1.51 c 960 64594 295031 513538 898 665 549 593 533 1.43/1.52 c 970 65155 297194 516535 898 671 523 538 483 1.43/1.53 c 980 65731 299500 519964 898 674 530 547 490 1.43/1.55 c 990 66397 302813 526393 898 682 520 653 546 1.43/1.56 c 1000 66989 305287 530356 898 687 533 552 495 1.43/1.58 c 1010 67624 308429 536593 898 692 552 588 521 1.43/1.58 c 1020 68198 310553 539055 898 700 503 561 489 1.53/1.60 c 1030 68764 312917 542795 898 706 537 547 492 1.53/1.61 c 1040 69316 315004 546046 898 713 501 540 477 1.53/1.62 c 1050 69883 317353 549839 898 722 536 546 492 1.53/1.63 c 1060 70456 319487 552352 898 732 500 560 487 1.53/1.64 c 1070 71030 321968 556895 898 740 518 548 484 1.53/1.65 c 1080 71619 324272 559838 898 748 498 569 492 1.53/1.66 c 1090 72186 326448 562608 898 758 498 556 485 1.53/1.67 c 1100 72732 328610 566190 898 760 521 526 475 1.53/1.68 c 1110 73287 330763 569130 898 768 539 543 491 1.53/1.69 c 1120 73901 333524 573731 898 773 501 582 513 1.63/1.70 c 1130 74455 335594 576290 898 777 500 539 485 1.63/1.71 c 1140 74995 337848 580617 898 784 502 521 465 1.63/1.72 c 1141 75506 339563 581770 898 785 511 511 255 1.63/1.73 c 1150 76054 341645 584564 898 788 499 537 478 1.63/1.74 c 1160 76601 343744 587368 898 792 511 533 480 1.63/1.75 c 1170 77145 345817 590076 898 796 512 531 479 1.63/1.76 c 1180 77695 347866 592842 898 805 511 534 478 1.63/1.77 c 1190 78244 349921 595610 898 813 488 534 473 1.63/1.78 c 1200 78793 351984 598363 898 821 489 533 477 1.63/1.79 c 1210 79459 355147 603982 898 830 512 622 522 1.73/1.80 c 1220 80030 357400 607372 898 836 490 533 473 1.73/1.82 c 1230 80667 360183 611906 898 841 495 605 532 1.73/1.83 c 1240 81289 362991 617191 898 850 492 601 520 1.73/1.85 c 1250 81938 366229 623580 898 858 495 634 543 1.73/1.86 c 1260 82613 369646 630396 898 862 490 646 546 1.73/1.87 c 1270 83157 371809 633614 898 868 519 528 478 1.73/1.88 c 1280 83701 373909 636334 898 875 486 531 474 1.73/1.89 c 1290 84245 375994 639216 898 879 518 530 479 1.83/1.90 c 1300 84796 378188 642304 898 883 519 529 478 1.83/1.92 c 1310 85349 380449 645924 898 888 488 516 465 1.83/1.93 c 1320 85973 383077 650104 898 897 493 612 501 1.83/1.94 c 1330 86650 386175 655326 898 907 492 668 556 1.83/1.96 c 1340 87267 388928 659490 898 915 493 605 520 1.83/1.97 c 1350 87958 392380 666917 898 920 493 638 552 1.83/1.99 c 1352 88565 395010 670603 898 922 497 606 367 1.83/2.00 c 1360 89135 397290 673927 898 927 490 552 451 1.94/2.01 c 1370 89687 399472 677131 898 931 514 537 484 1.94/2.02 c 1380 90373 402616 682912 898 936 502 641 547 1.94/2.03 c 1390 90928 404740 685826 898 939 522 536 484 1.94/2.04 c 1400 91473 406775 688301 898 945 494 528 475 1.94/2.06 c 1410 92126 409759 693262 898 954 502 637 527 1.94/2.07 c 1420 92681 411987 696502 898 962 523 538 483 1.94/2.08 c 1430 93295 414743 700737 898 972 503 605 513 1.94/2.09 c 1440 93840 416835 703514 898 979 508 532 476 2.04/2.11 c 1450 94502 421033 713837 898 985 583 615 542 2.04/2.12 c 1460 95054 423160 716666 898 991 528 539 486 2.04/2.14 c 1470 95719 426545 723803 898 999 578 653 576 2.04/2.15 c 1480 96259 428615 726965 898 1005 524 527 478 2.04/2.16 c 1490 96909 431570 731910 898 1013 553 640 561 2.04/2.18 c 1500 97522 434594 737817 898 1022 513 597 526 2.04/2.19 c 1510 98079 436757 740683 898 1029 528 542 487 2.13/2.20 c 1520 98660 439034 744050 898 1036 531 553 492 2.13/2.22 c 1530 99285 442247 750564 898 1044 564 606 538 2.13/2.23 c 1540 99834 444292 752805 898 1049 502 536 482 2.13/2.24 c 1550 100460 447518 759344 898 1057 562 607 538 2.13/2.25 c 1560 101081 450195 763329 898 1064 509 594 526 2.13/2.27 c 1570 101645 452568 766990 898 1069 511 541 480 2.13/2.28 c 1580 102287 456153 774856 898 1078 510 627 538 2.13/2.29 c 1585 102845 458180 777111 898 1081 529 545 445 2.23/2.30 c 1590 103381 460068 778876 898 1084 528 529 440 2.23/2.31 c 1600 103920 462210 782253 898 1087 502 520 469 2.23/2.32 c 1610 104477 464523 785963 898 1091 532 536 485 2.23/2.34 c 1620 105108 468415 795906 898 1096 504 590 514 2.23/2.35 c 1630 105674 470547 798665 898 1101 502 534 479 2.23/2.36 c 1640 106303 473177 802865 898 1108 512 599 535 2.23/2.38 c 1650 106861 475436 806006 898 1114 530 533 483 2.23/2.39 c 1660 107453 477773 809414 898 1116 526 534 483 2.33/2.41 c 1670 108079 482072 821174 898 1122 543 586 525 2.33/2.43 c 1680 108755 485846 829800 898 1129 548 638 559 2.33/2.44 c 1690 109391 488991 835616 898 1139 560 625 540 2.33/2.46 c 1700 110008 492455 844153 898 1146 545 593 523 2.33/2.48 c 1710 110631 495349 849897 898 1155 507 613 518 2.33/2.49 c 1720 111277 498530 856240 898 1162 544 629 536 2.43/2.51 c 1730 111926 501840 863009 898 1169 550 632 552 2.43/2.52 c 1740 112522 504276 866823 898 1171 532 541 487 2.43/2.54 c 1750 113242 508188 875415 898 1175 521 679 592 2.43/2.55 c 1760 113900 511458 882363 898 1184 582 640 556 2.43/2.57 c 1770 114482 513888 886297 898 1189 514 553 495 2.43/2.58 c 1780 115154 517565 894043 898 1192 553 619 555 2.53/2.60 c 1790 115827 521015 901062 898 1202 549 656 555 2.53/2.62 c 1800 116546 525055 910855 898 1211 548 683 580 2.53/2.63 c 1810 117117 527281 913914 898 1215 532 543 491 2.53/2.65 c 1820 117782 530298 919105 898 1225 517 656 543 2.53/2.67 c 1830 118439 533930 926939 898 1229 554 622 546 2.53/2.68 c 1840 119092 537293 934525 898 1236 540 640 545 2.53/2.69 c 1841 119647 539211 935888 898 1237 555 555 277 2.63/2.71 c 1850 120379 542802 943428 898 1243 521 706 588 2.63/2.73 c 1860 121054 546359 951034 898 1250 556 636 552 2.63/2.74 c 1870 121718 549456 956572 898 1257 529 641 552 2.63/2.76 c 1880 122395 553183 963941 898 1267 556 664 561 2.63/2.78 c 1890 123111 556715 970644 898 1277 552 694 580 2.73/2.80 c 1900 123771 560229 977808 898 1282 552 608 543 2.73/2.81 c 1910 124343 562432 981103 898 1285 539 550 497 2.73/2.82 c 1920 125037 565666 986912 898 1292 566 675 580 2.73/2.84 c 1930 125726 569052 993715 898 1301 591 680 592 2.73/2.85 c 1940 126299 571231 996806 898 1309 540 551 498 2.73/2.86 c 1950 126945 574114 1001532 898 1316 547 630 557 2.73/2.88 c 1960 127650 577890 1009599 898 1325 522 691 566 2.83/2.90 c 1970 128322 581093 1015515 898 1331 553 650 578 2.83/2.91 c 1980 128962 583967 1020141 898 1341 524 630 530 2.83/2.92 c 1990 129556 586346 1023576 898 1347 523 577 507 2.83/2.94 c 2000 130149 588733 1027089 898 1354 523 575 510 2.83/2.95 c 2010 130786 591535 1031574 898 1360 526 623 539 2.83/2.96 c 2020 131382 593840 1034651 898 1369 523 577 507 2.83/2.98 c 2030 132077 597081 1040740 898 1379 528 662 551 2.83/2.99 c 2040 132672 599414 1043883 898 1387 524 580 511 2.83/3.00 c 2050 133383 602827 1050357 898 1397 614 672 585 2.94/3.02 c 2060 134060 606090 1056581 898 1405 518 668 545 2.94/3.03 c 2070 134694 608977 1061689 898 1414 524 619 525 2.94/3.05 c 2080 135397 612322 1067648 898 1423 519 688 560 2.94/3.06 c 2090 136021 614921 1071567 898 1432 525 606 535 2.94/3.07 c 2100 136610 617284 1074611 898 1440 540 573 512 2.94/3.10 c 2110 137268 621367 1086082 898 1446 526 614 524 3.04/3.11 c 2120 137941 624862 1093776 898 1453 541 647 555 3.04/3.12 c 2122 138506 626805 1095365 898 1455 526 564 363 3.04/3.14 c 2130 139188 629935 1100768 898 1460 526 656 549 3.04/3.15 c 2140 139891 633214 1106839 898 1469 665 692 618 3.04/3.17 c 2150 140577 636277 1112339 898 1479 595 665 585 3.04/3.18 c 2160 141194 638816 1116426 898 1482 587 591 535 3.13/3.20 c 2170 141874 642891 1126224 898 1487 516 626 546 3.13/3.22 c 2180 142581 646132 1132277 898 1494 540 693 588 3.13/3.23 c 2190 143211 649044 1137473 898 1499 545 605 535 3.13/3.25 c 2200 143886 652354 1143960 898 1507 542 654 562 3.13/3.26 c 2210 144557 655532 1150266 898 1515 544 639 550 3.13/3.27 c 2220 145139 657737 1153149 898 1516 548 551 499 3.13/3.29 c 2230 145752 660311 1157132 898 1521 536 589 505 3.23/3.30 c 2240 146322 662612 1160813 898 1527 518 551 491 3.23/3.31 c 2250 146885 664745 1163917 898 1534 530 543 487 3.23/3.32 c 2260 147519 667859 1170811 898 1538 562 609 535 3.23/3.33 c 2270 148075 670086 1174290 898 1544 524 537 481 3.23/3.34 c 2280 148625 672046 1175980 898 1546 527 527 479 3.23/3.35 c 2290 149188 674397 1179343 898 1549 522 535 479 3.23/3.37 c 2300 149876 677859 1186204 898 1554 522 659 581 3.23/3.38 c 2310 150426 679900 1188526 898 1557 519 529 475 3.23/3.39 c 2320 150968 681820 1190455 898 1562 519 522 474 3.33/3.40 c 2330 151627 685112 1196759 898 1570 516 632 543 3.33/3.41 c 2340 152166 687242 1199704 898 1574 511 520 469 3.33/3.42 c 2350 152716 689438 1202686 898 1580 512 527 470 3.33/3.44 c 2360 153414 692862 1208968 898 1588 642 680 600 3.33/3.45 c 2370 153952 695042 1212081 898 1592 510 518 467 3.33/3.46 c 2380 154509 697176 1214625 898 1597 514 537 471 3.33/3.47 c 2390 155052 699172 1216872 898 1600 512 522 469 3.33/3.48 c 2400 155586 701150 1219257 898 1604 512 521 472 3.33/3.50 c 2410 156267 704378 1225156 898 1612 556 654 570 3.43/3.50 c 2420 156813 706323 1227493 898 1616 510 524 471 3.43/3.51 c 2430 157357 708260 1229816 898 1620 512 523 471 3.43/3.52 c 2431 157859 709826 1230552 898 1621 502 502 251 3.43/3.53 c 2440 158472 712366 1233917 898 1626 509 594 517 3.43/3.54 c 2450 159015 714305 1236244 898 1632 516 526 476 3.43/3.56 c 2460 159696 717516 1242364 898 1640 511 662 561 3.43/3.57 c 2470 160379 720702 1248190 898 1648 512 661 561 3.43/3.58 c 2480 160927 722687 1250662 898 1654 520 530 479 3.53/3.60 c 2490 161607 726158 1257749 898 1661 561 649 554 3.53/3.61 c 2500 162162 728256 1260323 898 1670 512 533 473 3.53/3.63 c 2510 162824 731849 1267736 898 1676 599 631 568 3.53/3.64 c 2520 163505 734988 1273480 898 1682 512 659 558 3.53/3.65 c 2530 164047 736982 1276123 898 1688 518 523 474 3.53/3.67 c 2540 164696 740333 1282732 898 1690 619 625 566 3.53/3.68 c 2550 165236 742213 1284912 898 1694 513 520 469 3.53/3.68 c 2560 165783 744071 1287129 898 1695 509 516 467 3.53/3.69 c 2570 166321 746025 1289432 898 1701 506 521 466 3.63/3.70 c 2580 166834 748002 1292165 898 1706 491 494 447 3.63/3.72 c 2590 167488 751034 1297926 898 1715 575 637 557 3.63/3.73 c 2600 168018 753243 1300882 898 1716 509 509 462 3.63/3.74 c 2610 168651 756180 1307126 898 1720 562 597 531 3.63/3.76 c 2620 169327 759360 1312885 898 1730 540 667 556 3.63/3.77 c 2630 169864 761473 1315687 898 1734 509 516 465 3.63/3.78 c 2640 170401 763587 1318503 898 1739 509 516 465 3.63/3.79 c 2650 170933 765802 1321467 898 1740 511 511 464 3.73/3.80 c 2660 171569 768948 1328496 898 1749 573 606 537 3.73/3.82 c 2670 172190 771780 1333272 898 1754 593 599 542 3.73/3.83 c 2680 172738 773981 1336365 898 1759 519 523 473 3.73/3.84 c 2690 173274 775790 1338647 898 1764 494 514 463 3.73/3.85 c 2700 173811 777742 1341175 898 1768 514 518 469 3.73/3.85 c 2710 174350 779618 1343371 898 1772 516 522 471 3.73/3.86 c 2720 174897 781455 1345700 898 1774 514 514 467 3.73/3.87 c 2730 175452 783931 1349524 898 1779 513 523 470 3.73/3.88 c 2740 176026 786294 1353008 898 1784 521 540 482 3.83/3.90 c 2750 176648 789113 1357700 898 1790 559 599 533 3.83/3.91 c 2760 177192 791109 1360324 898 1794 516 522 471 3.83/3.92 c 2770 177734 792923 1362651 898 1797 512 512 465 3.83/3.92 c 2771 178251 794596 1363603 898 1798 517 517 258 3.83/3.93 c 2780 178793 796395 1365706 898 1800 512 512 460 3.83/3.94 c 2790 179398 799007 1370380 898 1809 554 596 525 3.83/3.95 c 2800 179941 800982 1372944 898 1813 516 522 471 3.83/3.96 c 2810 180481 802818 1375250 898 1817 508 512 465 3.83/3.98 c 2820 181130 805968 1381619 898 1822 514 631 551 3.83/3.99 c 2830 181677 807987 1384270 898 1825 519 523 474 3.83/3.99 c 2840 182213 810012 1386768 898 1830 510 515 466 3.94/4.01 c 2850 182869 813262 1393463 898 1837 562 637 559 3.94/4.02 c 2860 183418 815402 1396288 898 1842 519 528 474 3.94/4.03 c 2870 183956 817222 1398583 898 1846 505 513 465 3.94/4.04 c 2880 184498 819202 1401176 898 1850 515 521 470 3.94/4.05 c 2890 185039 821070 1403551 898 1853 507 513 465 3.94/4.07 c 2900 185724 824648 1411313 898 1854 632 647 580 3.94/4.07 c 2910 186264 826589 1413700 898 1857 519 521 473 3.94/4.08 c 2920 186810 828462 1416082 898 1860 511 513 466 3.94/4.10 c 2930 187463 831456 1421779 898 1865 514 620 548 4.04/4.11 c 2940 188047 833954 1425930 898 1869 546 561 504 4.04/4.13 c 2950 188688 837573 1434667 898 1871 514 598 533 4.04/4.14 c 2960 189309 840924 1442160 898 1877 514 599 534 4.04/4.16 c 2970 189933 843801 1447549 898 1885 513 594 528 4.04/4.17 c 2980 190550 846701 1452771 898 1889 564 589 523 4.04/4.19 c 2990 191209 849786 1458527 898 1899 605 642 570 4.13/4.20 c 3000 191856 853006 1465309 898 1907 565 630 548 4.13/4.22 c 3010 192480 856316 1472384 898 1914 572 606 531 4.13/4.24 c 3020 193130 859280 1477760 898 1923 565 634 550 4.13/4.25 c 3030 193804 862712 1484932 898 1927 580 607 537 4.13/4.27 c 3040 194415 865949 1491467 898 1933 556 591 521 4.13/4.28 c 3050 195034 868854 1496764 898 1941 553 593 518 4.23/4.30 c 3060 195723 872488 1504444 898 1950 581 633 551 4.23/4.32 c 3070 196407 875659 1510869 898 1956 591 612 547 4.23/4.33 c 3080 197077 879125 1518013 898 1966 580 632 553 4.23/4.34 c 3090 197622 881057 1520134 898 1969 525 527 478 4.23/4.36 c 3100 198253 883929 1525085 898 1974 567 600 536 4.23/4.37 c 3110 198909 886942 1530707 898 1983 565 632 549 4.23/4.39 c 3120 199613 890644 1539230 898 1986 616 643 569 4.33/4.40 c 3130 200248 893463 1543939 898 1994 566 624 548 4.33/4.41 c 3140 200791 895391 1546273 898 2003 518 526 475 4.33/4.42 c 3142 201321 897137 1547355 898 2005 519 529 349 4.33/4.43 c 3150 201929 899527 1550148 898 2011 518 588 489 4.33/4.44 c 3160 202514 901715 1553170 898 2016 526 545 486 4.33/4.45 c 3170 203088 904014 1556617 898 2021 519 545 483 4.33/4.47 c 3180 203685 907004 1562589 898 2026 538 577 519 4.33/4.48 c 3190 204230 909273 1565948 898 2029 519 522 473 4.33/4.49 c 3200 204854 912036 1570659 898 2034 578 608 536 4.43/4.50 c 3210 205394 913926 1572688 898 2037 523 523 475 4.43/4.51 c 3220 205991 916275 1576413 898 2044 567 580 521 4.43/4.53 c 3230 206635 919233 1581259 898 2053 552 629 542 4.43/4.54 c 3240 207182 921360 1584134 898 2056 513 521 471 4.43/4.54 c 3250 207727 923355 1586382 898 2059 514 524 471 4.43/4.55 c 3260 208279 925297 1588358 898 2061 522 525 476 4.43/4.56 c 3270 208867 927699 1592363 898 2065 559 570 512 4.43/4.57 c 3280 209415 929852 1595281 898 2068 514 522 472 4.43/4.58 c 3290 209953 931791 1597796 898 2077 514 521 470 4.43/4.59 c 3300 210492 933910 1600927 898 2081 511 519 467 4.53/4.61 c 3310 211150 937032 1606881 898 2091 514 649 539 4.53/4.62 c 3320 211782 940101 1613258 898 2096 513 602 533 4.53/4.64 c 3330 212406 943555 1620174 898 2101 513 602 531 4.53/4.66 c 3340 213021 946515 1625837 898 2105 515 595 529 4.53/4.67 c 3350 213630 950201 1634504 898 2108 513 586 523 4.53/4.69 c 3360 214279 953462 1641183 898 2114 513 618 543 4.63/4.70 c 3370 214892 956264 1646275 898 2122 513 596 526 4.63/4.72 c 3380 215591 959396 1651872 898 2131 514 682 578 4.63/4.74 c 3390 216245 962718 1659015 898 2139 609 632 565 4.63/4.75 c 3400 216792 964787 1662583 898 2143 514 523 473 4.63/4.76 c 3410 217348 966872 1665386 898 2145 532 537 486 4.63/4.77 c 3420 217968 969440 1669442 898 2152 518 606 532 4.63/4.78 c 3430 218634 972638 1675555 898 2161 513 652 555 4.73/4.80 c 3440 219296 976179 1683727 898 2170 513 645 551 4.73/4.82 c 3450 219965 979397 1689518 898 2179 565 651 553 4.73/4.83 c 3460 220622 982733 1695827 898 2187 514 626 551 4.73/4.85 c 3470 221324 986259 1702720 898 2194 590 665 577 4.73/4.87 c 3480 221958 989158 1707715 898 2202 519 619 546 4.73/4.88 c 3490 222569 992013 1712895 898 2211 521 598 531 4.83/4.90 c 3500 223193 995382 1721087 898 2218 516 599 527 4.83/4.91 c 3510 223838 998333 1725970 898 2227 519 636 548 4.83/4.93 c 3520 224478 1001295 1731599 898 2237 521 631 537 4.83/4.94 c 3530 225024 1003266 1734255 898 2241 516 526 474 4.83/4.95 c 3540 225628 1005526 1738102 898 2244 506 519 470 4.83/4.96 c 3550 226270 1008235 1742476 898 2251 597 619 554 4.83/4.97 c 3551 226872 1010632 1745555 898 2252 602 602 301 4.83/4.98 c 3560 227486 1013339 1750085 898 2260 516 604 518 4.83/5.00 c 3570 228114 1015973 1753791 898 2266 517 608 529 4.94/5.01 c 3580 228731 1018669 1758333 898 2275 520 606 524 4.94/5.02 c 3590 229415 1021837 1764139 898 2282 550 668 569 4.94/5.04 c 3600 230056 1024821 1769207 898 2285 523 621 546 4.94/5.05 c 3610 230609 1026821 1771898 898 2289 523 532 479 4.94/5.06 c 3620 231223 1029170 1776081 898 2292 522 524 475 4.94/5.07 c 3630 231791 1031193 1778750 898 2297 525 544 491 4.94/5.08 c 3640 232472 1034279 1784368 898 2304 593 656 560 4.94/5.09 c 3650 233039 1036404 1787249 898 2305 540 544 492 4.94/5.10 c 3660 233621 1038575 1790399 898 2310 540 543 492 5.04/5.11 c 3670 234188 1040679 1793280 898 2315 537 540 488 5.04/5.12 c 3680 234732 1042884 1796568 898 2318 521 523 474 5.04/5.14 c 3690 235362 1045899 1802225 898 2324 565 591 524 5.04/5.15 c 3700 235922 1047928 1804577 898 2329 535 542 492 5.04/5.16 c 3710 236497 1050194 1807745 898 2335 536 543 491 5.04/5.17 c 3720 237046 1052478 1811647 898 2337 526 528 479 5.04/5.18 c 3730 237666 1055413 1816499 898 2340 581 592 533 5.04/5.19 c 3740 238220 1057522 1819313 898 2344 518 525 475 5.13/5.20 c 3750 238836 1060106 1823361 898 2351 552 588 522 5.13/5.22 c 3760 239500 1063464 1830125 898 2359 519 636 549 5.13/5.24 c 3770 240123 1066317 1835357 898 2367 518 612 539 5.13/5.25 c 3780 240735 1069739 1842993 898 2370 518 589 526 5.13/5.27 c 3790 241376 1073006 1849841 898 2377 533 612 541 5.13/5.29 c 3800 242033 1076403 1856888 898 2385 520 617 538 5.23/5.30 c 3810 242692 1079162 1861058 898 2395 578 628 555 5.23/5.31 c 3820 243355 1082279 1867434 898 2404 567 651 554 5.23/5.33 c 3830 243986 1085066 1871778 898 2411 526 618 548 5.23/5.35 c 3840 244668 1088502 1879625 898 2420 597 653 572 5.23/5.36 c 3850 245314 1091718 1886552 898 2427 588 631 562 5.23/5.38 c 3860 245924 1094798 1893171 898 2435 519 594 526 5.23/5.39 c 3870 246536 1097861 1900064 898 2445 519 601 529 5.33/5.41 c 3880 247138 1101499 1909483 898 2453 576 588 530 5.33/5.42 c 3890 247766 1104229 1913952 898 2456 591 595 540 5.33/5.44 c 3900 248396 1107123 1918876 898 2461 523 602 530 5.33/5.45 c 3910 248953 1109277 1921930 898 2466 521 544 487 5.33/5.46 c 3920 249500 1111427 1924710 898 2472 523 526 477 5.33/5.47 c 3930 250054 1113488 1927319 898 2476 526 533 481 5.33/5.48 c 3940 250717 1116577 1932633 898 2485 602 653 576 5.43/5.50 c 3950 251330 1119203 1936633 898 2490 577 594 530 5.43/5.51 c 3960 251978 1122670 1944055 898 2498 534 635 554 5.43/5.53 c 3970 252643 1125872 1950174 898 2506 571 647 565 5.43/5.54 c 3980 253285 1128923 1956213 898 2511 591 617 554 5.43/5.55 c 3990 253830 1130825 1958221 898 2515 526 526 478 5.43/5.57 c 4000 254494 1134222 1965665 898 2520 558 646 574 5.43/5.58 c 4001 255012 1135852 1966507 898 2521 518 518 259 5.53/5.60 c 4010 255792 1139985 1976273 898 2529 589 725 588 5.53/5.61 c 4020 256338 1142146 1979423 898 2533 518 526 474 5.53/5.62 c 4030 256929 1144603 1983245 898 2540 560 572 515 5.53/5.63 c 4040 257479 1146791 1986493 898 2544 522 530 477 5.53/5.64 c 4050 258022 1149039 1989755 898 2550 520 523 474 5.53/5.65 c 4060 258563 1151228 1992987 898 2555 513 520 469 5.53/5.66 c 4070 259185 1153952 1997769 898 2562 560 597 531 5.53/5.67 c 4080 259725 1156123 2000950 898 2566 512 520 468 5.53/5.68 c 4090 260272 1158456 2004542 898 2571 517 517 470 5.53/5.69 c 4100 260812 1160407 2006707 898 2575 511 521 468 5.63/5.70 c 4110 261359 1162653 2009854 898 2580 513 528 472 5.63/5.71 c 4120 261896 1164753 2012916 898 2587 509 518 466 5.63/5.73 c 4130 262563 1167991 2018555 898 2592 593 636 565 5.63/5.74 c 4140 263110 1169991 2021063 898 2600 512 525 470 5.63/5.75 c 4150 263746 1172939 2026134 898 2610 515 624 534 5.63/5.76 c 4160 264280 1174922 2028649 898 2614 510 516 466 5.63/5.78 c 4170 264959 1178463 2036823 898 2620 602 634 562 5.63/5.79 c 4180 265501 1180564 2039911 898 2626 519 526 474 5.73/5.80 c 4190 266041 1182523 2042095 898 2630 511 521 468 5.73/5.81 c 4200 266578 1184517 2044853 898 2634 514 520 472 5.73/5.82 c 4210 267111 1186478 2047328 898 2638 509 515 465 5.73/5.83 c 4220 267651 1188545 2050268 898 2642 511 523 473 5.73/5.84 c 4230 268311 1191908 2057377 898 2651 561 641 546 5.73/5.85 c 4240 268852 1193959 2060295 898 2657 518 525 472 5.73/5.87 c 4250 269545 1196981 2065359 898 2662 643 660 594 5.73/5.88 c 4260 270085 1198907 2067419 898 2670 510 523 471 5.73/5.89 c 4270 270625 1200880 2069578 898 2677 510 522 471 5.83/5.91 c 4280 271268 1206265 2084981 898 2684 558 621 554 5.83/5.93 c 4290 271869 1208938 2089451 898 2690 556 586 524 5.83/5.94 c 4300 272403 1210904 2091912 898 2694 510 516 466 5.83/5.95 c 4310 273015 1213367 2095757 898 2698 566 589 527 5.83/5.96 c 4320 273560 1215516 2098936 898 2705 520 527 475 5.83/5.97 c 4330 274220 1218495 2103944 898 2713 570 643 552 5.83/5.98 c 4340 274758 1220434 2106065 898 2718 511 521 468 5.83/5.99 c 4350 275376 1223248 2111025 898 2725 569 601 528 5.83/6.00 c 4360 275910 1225236 2113564 898 2729 510 516 466 5.94/6.02 c 4370 276575 1228424 2119701 898 2737 516 653 561 5.94/6.03 c 4380 277111 1230448 2122573 898 2740 518 519 471 5.94/6.04 c 4390 277792 1233436 2127569 898 2743 643 653 591 5.94/6.05 c 4400 278332 1235379 2129658 898 2751 510 523 471 5.94/6.06 c 4410 278880 1237594 2133328 898 2755 516 518 469 5.94/6.07 c 4420 279424 1239688 2136376 898 2758 517 521 471 5.94/6.09 c 4430 280091 1242786 2142071 898 2766 540 643 543 5.94/6.10 c 4440 280634 1244821 2144482 898 2770 513 523 470 6.04/6.11 c 4450 281167 1246814 2147309 898 2772 508 518 467 6.04/6.12 c 4460 281711 1248901 2150316 898 2777 521 527 476 6.04/6.13 c 4470 282404 1252660 2159424 898 2786 564 659 558 6.04/6.14 c 4480 282939 1254583 2161538 898 2791 508 518 466 6.04/6.16 c 4490 283578 1257660 2167908 898 2799 555 601 529 6.04/6.17 c 4493 284096 1259389 2169229 898 2801 511 516 385 6.04/6.18 c 4500 284630 1261363 2171722 898 2804 521 523 456 6.04/6.19 c 4510 285317 1265083 2180692 898 2813 561 659 558 6.13/6.20 c 4520 285851 1267143 2183353 898 2815 509 514 465 6.13/6.22 c 4530 286538 1270344 2189387 898 2825 565 677 587 6.13/6.23 c 4540 287079 1272339 2192070 898 2831 512 522 473 6.13/6.24 c 4550 287709 1275153 2196742 898 2839 511 620 523 6.13/6.25 c 4560 288248 1277210 2199448 898 2844 511 520 468 6.13/6.26 c 4570 288779 1279191 2202252 898 2848 508 515 465 6.13/6.27 c 4580 289309 1281116 2204747 898 2851 513 513 466 6.13/6.28 c 4590 289975 1284021 2209808 898 2861 507 652 545 6.23/6.30 c 4600 290616 1287599 2219993 898 2863 606 628 567 6.23/6.32 c 4610 291273 1290792 2227332 898 2867 606 627 562 6.23/6.33 c 4620 291924 1293610 2231878 898 2875 507 631 548 6.23/6.35 c 4630 292599 1296862 2239290 898 2879 584 619 555 6.23/6.36 c 4640 293163 1298954 2242152 898 2885 512 537 479 6.23/6.37 c 4650 293835 1302079 2248143 898 2893 507 658 562 6.23/6.39 c 4660 294478 1305142 2253667 898 2901 570 610 543 6.33/6.41 c 4670 295173 1308725 2261976 898 2905 510 632 546 6.33/6.42 c 4680 295846 1312106 2269228 898 2913 597 661 572 6.33/6.44 c 4690 296506 1315530 2277339 898 2918 512 616 540 6.33/6.46 c 4700 297193 1318708 2283305 898 2925 553 656 566 6.33/6.47 c 4710 297810 1321546 2288033 898 2932 512 590 516 6.33/6.48 c 4720 298346 1323524 2290706 898 2936 509 517 469 6.43/6.50 c 4730 299032 1326971 2297367 898 2944 563 671 572 6.43/6.51 c 4740 299566 1329089 2300224 898 2948 510 517 469 6.43/6.52 c 4750 300281 1332603 2307514 898 2954 599 683 593 6.43/6.53 c 4760 300868 1334782 2310298 898 2961 513 555 491 6.43/6.55 c 4770 301487 1337601 2315462 898 2967 559 602 537 6.43/6.56 c 4780 302116 1340496 2322552 898 2971 585 616 551 6.43/6.57 c 4790 302660 1342481 2325216 898 2977 517 524 475 6.43/6.59 c 4800 303317 1345559 2331326 898 2981 508 625 555 6.53/6.60 c 4810 303883 1347616 2333892 898 2987 513 541 488 6.53/6.61 c 4820 304466 1349802 2336691 898 2994 510 553 490 6.53/6.62 c 4830 305063 1352085 2339793 898 3002 510 566 491 6.53/6.63 c 4840 305671 1354509 2343230 898 3010 512 576 494 6.53/6.64 c 4850 306300 1357455 2349755 898 3016 510 618 545 6.53/6.66 c 4860 306994 1360837 2356833 898 3024 597 665 583 6.53/6.68 c 4870 307653 1363954 2363502 898 3031 512 642 553 6.53/6.69 c 4880 308318 1367209 2370338 898 3038 569 637 557 6.63/6.70 c 4890 308961 1369963 2374873 898 3044 512 621 543 6.63/6.72 c 4900 309548 1372226 2377977 898 3053 518 563 497 6.63/6.73 c 4910 310195 1375118 2382583 898 3060 512 625 541 6.63/6.75 c 4920 310821 1378432 2390143 898 3066 588 613 551 6.63/6.76 c 4930 311358 1380423 2393049 898 3069 509 517 467 6.63/6.77 c 4940 311894 1382524 2396209 898 3077 509 520 466 6.63/6.77 c 4950 312424 1384562 2399255 898 3080 510 514 466 6.63/6.79 c 4960 313034 1387299 2403870 898 3088 565 593 523 6.73/6.80 c 4970 313578 1389358 2406830 898 3094 512 520 471 6.73/6.81 c 4980 314118 1391483 2410156 898 3098 508 514 465 6.73/6.82 c 4990 314662 1393540 2413985 898 3099 507 507 460 6.73/6.85 c 5035 315517 1399086 2431849 898 3112 506 686 640 7.04/7.15 c 5631 318744 1452475 2704469 898 3136 510 665 607 7.43/7.58 c 6286 323145 1528500 3084385 898 3148 523 739 706 7.83/7.91 c 7006 326593 1587104 3375745 898 3163 540 700 656 8.03/8.13 c 7798 329694 1625109 3587529 898 3200 533 692 640 8.32/8.43 c 8669 335323 1679917 3850916 898 3219 537 704 663 8.73/8.87 c 9627 340586 1759937 4218110 898 3244 550 680 646 9.33/9.49 c 10680 346607 1868847 4830913 898 3258 535 713 676 10.13/10.22 c 11838 351511 1997079 5501335 898 3274 631 677 662 10.63/10.79 c 13111 356815 2097449 6015706 898 3299 547 675 648 11.43/11.57 c 14511 364841 2237790 6713814 898 3325 617 706 669 12.33/12.41 c 16051 372854 2386223 7479742 898 3349 578 697 660 12.83/12.98 c 17745 381587 2489186 7929165 898 3369 551 688 638 13.83/13.94 c 19608 390274 2657183 8831345 898 3387 542 689 661 14.63/14.77 c 21657 400576 2807090 9562492 898 3402 547 722 690 15.73/15.86 c 23910 409161 3001002 10670804 898 3427 553 704 680 16.63/16.79 c 26388 419088 3165565 11538238 898 3451 566 703 661 18.33/18.41 c 29113 436516 3457679 12937366 898 3474 550 743 676 19.83/19.92 c 32110 450653 3727030 14242509 898 3487 585 698 669 21.93/22.03 c 35406 469305 4105187 16324341 898 3511 559 742 698 24.03/24.16 c 39031 488980 4482975 18195459 898 3530 586 725 672 25.62/25.78 c 43018 510314 4775705 19710586 898 3555 562 715 677 27.62/27.71 c 47403 531485 5124018 21392110 898 3567 565 722 685 29.93/30.10 c 52226 554011 5549580 23779194 898 3594 564 737 690 32.52/32.66 c 57531 582956 6012499 25984071 898 3613 600 715 654 35.22/35.35 c 63366 611642 6496618 28408839 898 3644 552 729 686 39.32/39.41 c 69784 647284 7216790 32301515 898 3670 587 733 693 43.22/43.32 c 76843 684137 7917402 35974522 898 3701 615 730 690 46.62/46.74 c 84607 722604 8527852 39257796 898 3722 610 746 689 51.03/51.17 c 93147 767788 9324827 43529272 898 3740 612 720 677 58.03/58.11 c 102541 819916 10547536 49964895 898 3781 546 723 676 63.52/63.63 c 112874 867384 11539884 54701421 898 3809 615 708 668 68.12/68.25 c 124240 925102 12380579 58717797 898 3832 559 740 680 73.42/73.56 c 136742 979403 13328545 63792584 898 3864 588 735 698 80.03/80.17 c 150494 1043203 14502744 70044803 898 3877 607 731 685 89.03/89.14 c 165621 1115346 16099926 78571056 898 3898 621 728 690 97.52/97.69 c 182260 1194946 17635816 86731824 898 3933 549 738 689 105.62/105.74 c 200562 1264760 19067946 94247742 898 3964 547 722 681 113.93/114.04 c 220694 1356981 20555827 101973038 898 3998 559 727 679 122.93/123.01 c 242839 1442698 22151374 110678314 898 4041 559 719 684 135.52/135.62 c 267198 1555094 24405474 122303381 898 4067 581 740 695 148.22/148.35 c 293992 1667066 26640112 134763358 898 4093 573 715 667 161.62/161.72 c 323465 1805387 29023964 147225772 898 4120 571 726 673 177.72/177.80 c 355885 1972251 31912459 161742754 898 4141 562 755 696 197.92/198.05 c 391547 2156515 35560545 179821165 898 4171 581 757 711 216.52/216.60 c 430775 2349216 38861296 197667948 898 4208 561 745 687 235.62/235.70 c 473925 2545208 42263535 215997187 898 4228 558 726 683 256.42/256.50 c 521390 2760965 45995381 235215442 898 4274 599 727 675 281.02/281.13 c 573601 2949090 50308169 260824336 898 4293 596 703 663 310.61/310.75 c 631033 3141802 55498117 288775667 898 4319 607 702 659 335.51/335.64 c 694208 3386685 59912263 313394726 898 4353 552 724 666 371.41/371.52 c 763700 3732388 66323991 345097442 898 4393 568 712 665 408.61/408.75 c 840141 4071125 72940811 378757697 898 4414 560 713 664 449.22/449.37 c 924226 4505969 80213567 414260366 898 4432 634 734 683 490.12/490.21 c 1016719 4948774 87549792 451216069 898 4461 592 741 686 549.12/549.24 c 1118461 5464514 98075697 505296247 898 4488 559 728 680 598.81/598.98 c 1230377 5855032 106849605 554320356 898 4507 610 713 670 654.92/655.10 c 1353484 6486410 116969227 606358063 898 4534 606 749 690 710.81/710.93 c 1488901 7155759 127133418 658573060 898 4555 617 758 703 784.71/784.84 c 1637859 7807517 140267332 724716569 898 4584 598 732 657 861.02/861.13 c 1801712 8576677 153815866 798166212 898 4617 623 749 700 946.61/946.73 c 1981950 9401130 169214785 880261613 898 4655 596 751 701 1043.91/1044.10 c 2180211 10349395 186592659 968541097 898 4675 627 751 685 1142.91/1143.02 c 2398298 11337175 204404499 1054580287 898 4712 564 750 690 1240.91/1241.02 c 2638193 12511157 222063438 1141961335 898 4770 558 754 668 1378.90/1379.05 c 2902077 13711389 246641573 1275902672 898 4798 649 767 701 1534.49/1534.66 c 3192349 15311994 274598053 1422243320 898 4824 589 771 707 1689.09/1689.27 c 3511648 16589394 302215161 1559032038 898 4849 597 725 674 1876.48/1876.66 c 3862876 18219520 335604685 1717817871 898 4880 584 736 684 2045.59/2045.78 c 4249226 19832671 365410822 1887643875 898 4911 555 741 689 2222.58/2222.77 c 4674211 21785825 396979306 2058556766 898 4943 546 743 680 2417.78/2417.94 c 5141694 23858428 432022484 2231275974 898 4973 571 746 683 2519.88/2520.00 2519.88/2520.00 c *** INTERRUPTED *** 2519.88/2520.00 c restarts : 589 2519.88/2520.00 c conflicts : 5363693 (2129 /sec) 2519.88/2520.00 c decisions : 24810515 (9846 /sec) 2519.88/2520.00 c propagations : 2320126741 (920741 /sec) 2519.88/2520.00 c root propagations : 4839 2519.88/2520.00 c filter calls : 450301397 (178702 /sec) 2519.88/2520.00 c useless filter calls : 125471912 (27 %) 2519.88/2520.00 c 2519.88/2520.00 c clauses : 399173 2519.88/2520.00 c SAT propagations : 1409436 2519.88/2520.00 c SAT conflicts : 0 (0 learnts) 2519.88/2520.00 c Memory used : 57.30 MB 2519.88/2520.00 c CPU time : 2519.85 s 2519.88/2520.00 2519.88/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 (9991 MiB free)
memory of node 1: 16384 MiB (15288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266128-1502591440/watcher-4266128-1502591440 -o /tmp/evaluation-result-4266128-1502591440/solver-4266128-1502591440 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7149 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266128-1502591440.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13457, runsolver pid=13454
[startup+0.100171 s]*
/proc/loadavg: 2.08 2.06 2.06 3/185 13458
/proc/meminfo: memFree=25864108/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=51028 memory=26348 CPUtime=0.04 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 5223 0 0 0 4 0 0 0 20 0 1 0 158796743 52252672 6587 18446744073709551615 4194304 5972588 140727560480400 140727560477048 5328515 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 12757 6587 771 435 0 6120 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 51028 KiB
Current children cumulated memory: 26348 KiB
[startup+0.209825 s]*
/proc/loadavg: 2.08 2.06 2.06 3/185 13458
/proc/meminfo: memFree=25860388/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=53792 memory=29116 CPUtime=0.15 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 5936 0 0 0 15 0 0 0 20 0 1 0 158796743 55083008 7279 18446744073709551615 4194304 5972588 140727560480400 140727560477048 4975792 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 13448 7279 781 435 0 6811 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 53792 KiB
Current children cumulated memory: 29116 KiB
[startup+0.30949 s]*
/proc/loadavg: 2.08 2.06 2.06 3/185 13458
/proc/meminfo: memFree=25860124/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=53904 memory=29248 CPUtime=0.25 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 5949 0 0 0 25 0 0 0 20 0 1 0 158796743 55197696 7312 18446744073709551615 4194304 5972588 140727560480400 140727560477704 5099616 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 13476 7312 781 435 0 6839 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 29248 KiB
[startup+0.700283 s]
/proc/loadavg: 2.08 2.06 2.06 3/185 13458
/proc/meminfo: memFree=25860008/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=53904 memory=29248 CPUtime=0.63 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 5977 0 0 0 63 0 0 0 20 0 1 0 158796743 55197696 7312 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4972913 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 13476 7312 781 435 0 6839 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 29248 KiB
[startup+1.50028 s]
/proc/loadavg: 2.08 2.06 2.06 4/185 13458
/proc/meminfo: memFree=25860008/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=54024 memory=29452 CPUtime=1.43 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 6019 0 0 0 143 0 0 0 20 0 1 0 158796743 55320576 7363 18446744073709551615 4194304 5972588 140727560480400 140727560477704 5338177 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 13506 7363 781 435 0 6869 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 54024 KiB
Current children cumulated memory: 29452 KiB
[startup+3.1092 s]
/proc/loadavg: 2.08 2.06 2.06 4/185 13458
/proc/meminfo: memFree=25859760/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=54024 memory=29808 CPUtime=3.04 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 9431 0 0 0 304 0 0 0 20 0 1 0 158796743 55320576 7452 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4978713 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 13506 7452 781 435 0 6869 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 54024 KiB
Current children cumulated memory: 29808 KiB
[startup+6.30027 s]
/proc/loadavg: 1.99 2.04 2.05 2/179 13504
/proc/meminfo: memFree=31049252/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58444 memory=30192 CPUtime=6.23 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 13053 0 0 0 622 1 0 0 20 0 1 0 158796743 59846656 7548 18446744073709551615 4194304 5972588 140727560480400 140727560477704 5273488 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14611 7548 781 435 0 7974 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 58444 KiB
Current children cumulated memory: 30192 KiB
[startup+12.7002 s]
/proc/loadavg: 1.99 2.04 2.05 3/185 13519
/proc/meminfo: memFree=31020472/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58556 memory=30444 CPUtime=12.63 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 17027 0 0 0 1261 2 0 0 20 0 1 0 158796743 59961344 7611 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4975647 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14639 7611 781 435 0 8002 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 58556 KiB
Current children cumulated memory: 30444 KiB
[startup+25.5002 s]
/proc/loadavg: 1.99 2.04 2.05 3/185 13519
/proc/meminfo: memFree=31019220/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58556 memory=30584 CPUtime=25.42 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 19565 0 0 0 2540 2 0 0 20 0 1 0 158796743 59961344 7646 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4978730 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14639 7646 781 435 0 8002 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 58556 KiB
Current children cumulated memory: 30584 KiB
[startup+51.1089 s]
/proc/loadavg: 1.93 2.02 2.04 3/184 13520
/proc/meminfo: memFree=31020028/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58556 memory=30692 CPUtime=51.03 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 20826 0 0 0 5101 2 0 0 20 0 1 0 158796743 59961344 7673 18446744073709551615 4194304 5972588 140727560480400 140727560477704 5099616 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14639 7673 781 435 0 8002 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 58556 KiB
Current children cumulated memory: 30692 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.02 2.04 3/184 13522
/proc/meminfo: memFree=31020036/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58556 memory=30852 CPUtime=102.22 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 22106 0 0 0 10220 2 0 0 20 0 1 0 158796743 59961344 7713 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4971560 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14639 7713 781 435 0 8002 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 58556 KiB
Current children cumulated memory: 30852 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/184 13524
/proc/meminfo: memFree=31017468/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32928 CPUtime=162.22 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 22929 0 0 0 16220 2 0 0 20 0 1 0 158796743 60076032 8232 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4971573 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8232 781 435 0 8030 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32928 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 13526
/proc/meminfo: memFree=31017188/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32940 CPUtime=222.22 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 23750 0 0 0 22220 2 0 0 20 0 1 0 158796743 60076032 8235 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4978114 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8235 781 435 0 8030 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32940 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 13544
/proc/meminfo: memFree=31013036/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32952 CPUtime=282.21 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 24560 0 0 0 28219 2 0 0 20 0 1 0 158796743 60076032 8238 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4971202 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8238 781 435 0 8030 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32952 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 13546
/proc/meminfo: memFree=31015284/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32952 CPUtime=342.21 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 25371 0 0 0 34219 2 0 0 20 0 1 0 158796743 60076032 8238 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4977541 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8238 781 435 0 8030 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32952 KiB
[startup+402.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/186 13548
/proc/meminfo: memFree=31015256/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32952 CPUtime=402.21 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 26161 0 0 0 40219 2 0 0 20 0 1 0 158796743 60076032 8238 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4975305 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8238 781 435 0 8030 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32952 KiB
[startup+462.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/186 13550
/proc/meminfo: memFree=31015720/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32960 CPUtime=462.22 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 26984 0 0 0 46219 3 0 0 20 0 1 0 158796743 60076032 8240 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4977701 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8240 781 435 0 8030 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32960 KiB
################
# More data... #
################
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 13627
/proc/meminfo: memFree=31014508/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=1782.19 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 43183 0 0 0 178216 3 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4971573 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 13629
/proc/meminfo: memFree=31014836/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=1842.18 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 43803 0 0 0 184215 3 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4971583 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 13631
/proc/meminfo: memFree=31014364/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=1902.18 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 44612 0 0 0 190215 3 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4975256 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 13633
/proc/meminfo: memFree=31014460/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=1962.19 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 45204 0 0 0 196215 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 5323878 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 13635
/proc/meminfo: memFree=31014208/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=2022.19 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 45818 0 0 0 202215 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4972133 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 13653
/proc/meminfo: memFree=31010312/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=2082.18 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 46612 0 0 0 208214 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4978055 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 13655
/proc/meminfo: memFree=31013784/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=2142.18 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 47230 0 0 0 214214 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4977753 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 2142.18 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 13657
/proc/meminfo: memFree=31014184/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=2202.18 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 47864 0 0 0 220214 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4977632 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 13659
/proc/meminfo: memFree=31014356/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=2262.18 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 48670 0 0 0 226214 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4977701 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 13662
/proc/meminfo: memFree=31014468/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=2322.18 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 49264 0 0 0 232214 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 5099648 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 13665
/proc/meminfo: memFree=31014444/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=2382.18 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 49850 0 0 0 238214 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4975114 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 13667
/proc/meminfo: memFree=31014616/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=2442.17 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 50628 0 0 0 244213 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4977689 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
[startup+2502.3 s]
/proc/loadavg: 1.97 1.98 2.03 3/185 13669
/proc/meminfo: memFree=31014712/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=2502.17 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 51297 0 0 0 250213 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4972046 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 2502.17 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.97 1.99 2.03 3/185 13670
/proc/meminfo: memFree=31014440/32770624 swapFree=67108860/67108860
[pid=13457] ppid=13454 vsize=58668 memory=32976 CPUtime=2519.88 cores=1,3,5,7
/proc/13457/stat : 13457 (cosoco) R 13454 13457 7084 0 -1 4202496 51816 0 0 0 251984 4 0 0 20 0 1 0 158796743 60076032 8244 18446744073709551615 4194304 5972588 140727560480400 140727560477704 4977764 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 37679104 140727560487364 140727560487464 140727560487464 140727560490958 0
/proc/13457/statm: 14667 8244 781 435 0 8030 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 58668 KiB
Current children cumulated memory: 32976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 13457 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.85 s, system=0.046998 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.89
CPU user time (s): 2519.85
CPU system time (s): 0.046998
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 58668
Max. memory (cumulated for all children) (KiB): 32976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.85
system time used= 0.046998
maximum resident set size= 33052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51866
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= 20
involuntary context switches= 749
# summary of solver processes directly reported to runsolver:
# pid: 13457
# total CPU time (s): 2519.89
# total CPU user time (s): 2519.85
# total CPU system time (s): 0.046998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.48513 second user time and 15.4456 second system time
The end
Begin job on node132 at 2017-08-13 04:16:15 IDJOB=4266128 IDBENCH=138962 IDSOLVER=2655 FILE ID=node132/4266128-1502591440 RUNJOBID= node132-1502565147-7149 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h375-17.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266128-1502591440/watcher-4266128-1502591440 -o /tmp/evaluation-result-4266128-1502591440/solver-4266128-1502591440 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7149 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266128-1502591440.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 946d300933e85b0b5e5d11b6e9e445b0 RANDOM SEED=1572060321 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: 25885972 kB MemAvailable: 26779248 kB Buffers: 312520 kB Cached: 889464 kB SwapCached: 0 kB Active: 5902204 kB Inactive: 533344 kB Active(anon): 5234396 kB Inactive(anon): 49012 kB Active(file): 667808 kB Inactive(file): 484332 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2404 kB Writeback: 0 kB AnonPages: 5233188 kB Mapped: 65324 kB Shmem: 49852 kB Slab: 140700 kB SReclaimable: 113940 kB SUnreclaim: 26760 kB KernelStack: 3536 kB PageTables: 15256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 6014428 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4521984 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-13 04:58:15