Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-sat 1.12 | ? (TO) | 2519.8401 | 2520.01 |
Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h374-13.xml |
MD5SUM | 2c503f7a351e8b8ef7001234fe31d43f |
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 | 2.5475099 |
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":374},{"degree":2,"count":526}] |
Minimum constraint arity | 526 |
Maximum constraint arity | 900 |
Distribution of constraint arities | [{"arity":526,"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.04 c SAT : Variables: 27000 -- Clauses: 392400 0.00/0.07 c root propagations : 4743 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c This is cosoco 1.12 -- 0.00/0.07 c 0.00/0.07 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266124-1502591399.xml 0.00/0.07 c ========================================[ Problem Statistics ]=========================================== 0.00/0.07 c | 0.00/0.07 c | Parse time : 0.04 s 0.00/0.07 c | 0.00/0.07 c | Variables: 900 0.00/0.07 c | Domain Sizes: 30..30 0.00/0.07 c | 0.00/0.07 c | Constraints: 586 0.00/0.07 c | Arity: 1..30 -- Unary: 526 0.00/0.07 c | 0.00/0.07 c | Types: 0.00/0.07 c | All Different: 60 0.00/0.07 c | Unary: 526 0.00/0.07 c | 0.00/0.07 c ========================================================================================================= 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c 10 655 6605 9236 900 5 602 645 577 0.00/0.09 c 20 1273 9245 13184 900 15 582 607 546 0.10/0.11 c 30 1881 11734 16766 900 20 572 588 530 0.10/0.12 c 40 2514 14530 20979 900 30 564 618 543 0.10/0.13 c 50 3145 17472 25643 900 35 603 611 549 0.10/0.15 c 60 3792 20298 30548 900 43 568 607 534 0.10/0.16 c 70 4431 23121 35070 900 50 547 627 534 0.10/0.18 c 80 5124 26708 43357 900 52 566 658 583 0.10/0.19 c 90 5719 29034 46236 900 58 565 585 527 0.10/0.20 c 100 6404 32317 52274 900 63 576 662 582 0.10/0.21 c 101 6984 34364 53944 900 64 580 580 290 0.21/0.22 c 110 7646 37463 59333 900 71 578 644 555 0.21/0.24 c 120 8297 40672 64838 900 77 607 632 560 0.21/0.26 c 130 9019 44082 71199 900 87 601 713 613 0.21/0.28 c 140 9707 48245 80654 900 91 633 657 584 0.21/0.29 c 150 10349 51480 86416 900 96 513 627 549 0.21/0.31 c 160 10993 54383 90972 900 104 518 625 539 0.31/0.32 c 170 11656 58035 99656 900 111 516 649 550 0.31/0.33 c 180 12224 60325 102173 900 117 514 548 492 0.31/0.35 c 190 12847 63193 107403 900 126 541 605 531 0.31/0.36 c 200 13496 66179 112363 900 135 597 634 561 0.31/0.38 c 210 14167 69243 117776 900 143 533 654 554 0.31/0.38 c 211 14697 70934 118608 900 144 530 530 265 0.31/0.40 c 220 15393 74422 125587 900 151 533 683 546 0.41/0.42 c 230 16092 77940 132725 900 161 531 687 569 0.41/0.44 c 240 16763 81319 139194 900 170 542 657 570 0.41/0.45 c 250 17458 85195 148174 900 178 537 673 567 0.41/0.47 c 260 18133 88540 154298 900 184 539 661 563 0.41/0.49 c 270 18817 91850 160140 900 194 525 671 551 0.41/0.51 c 280 19503 95655 168353 900 203 523 665 554 0.51/0.52 c 290 20147 98527 172882 900 211 523 632 531 0.51/0.53 c 300 20783 101401 177867 900 221 525 626 530 0.51/0.55 c 310 21421 104337 183137 900 228 554 617 548 0.51/0.56 c 320 22062 107172 187813 900 238 554 632 548 0.51/0.58 c 330 22753 111191 197186 900 243 558 675 596 0.51/0.59 c 332 23335 113380 199367 900 245 577 581 386 0.60/0.61 c 340 23988 116531 204961 900 253 604 646 551 0.60/0.63 c 350 24603 120739 214390 900 254 554 562 509 0.60/0.64 c 360 25198 123239 218084 900 258 560 576 517 0.60/0.66 c 370 25906 126672 224538 900 265 620 690 607 0.60/0.67 c 380 26609 130430 232627 900 270 635 683 591 0.60/0.69 c 390 27271 133470 237692 900 277 608 633 567 0.69/0.71 c 400 27968 137056 245130 900 284 636 675 601 0.69/0.72 c 410 28633 140153 250536 900 291 605 647 575 0.69/0.74 c 420 29331 143464 256452 900 300 606 681 590 0.69/0.76 c 430 30036 146970 262725 900 310 569 696 586 0.69/0.77 c 440 30687 150094 268201 900 315 569 633 551 0.69/0.79 c 450 31372 153721 275413 900 324 571 669 580 0.79/0.81 c 460 32059 157266 282583 900 330 560 659 574 0.79/0.82 c 465 32736 160320 287358 900 334 570 672 538 0.79/0.84 c 470 33395 163284 292047 900 339 579 655 522 0.79/0.85 c 480 34091 166895 299289 900 345 571 681 602 0.79/0.87 c 490 34800 170853 309075 900 351 576 675 601 0.79/0.89 c 500 35472 174035 314608 900 359 579 660 588 0.89/0.90 c 510 36165 177201 320370 900 364 644 676 600 0.89/0.92 c 520 36812 179984 324849 900 371 560 632 564 0.89/0.93 c 530 37415 182269 327646 900 377 571 581 526 0.89/0.94 c 540 38033 184735 331262 900 384 564 584 524 0.89/0.96 c 550 38761 188475 338744 900 393 620 699 600 0.89/0.98 c 560 39440 192134 346370 900 399 619 663 592 0.89/1.00 c 570 40107 196300 355464 900 407 620 650 580 1.00/1.02 c 580 40780 199660 361136 900 411 570 651 544 1.00/1.03 c 590 41408 202451 365954 900 420 574 605 540 1.00/1.04 c 600 42008 204838 369257 900 427 568 588 526 1.00/1.05 c 610 42687 207851 373944 900 433 627 663 594 1.00/1.06 c 611 43254 209782 375280 900 434 567 567 283 1.00/1.08 c 620 43920 213196 381853 900 439 565 655 533 1.00/1.10 c 630 44625 216611 388873 900 446 572 689 603 1.10/1.11 c 640 45289 219963 395465 900 453 575 647 573 1.10/1.12 c 650 45897 222380 398584 900 456 584 591 535 1.10/1.14 c 660 46575 225618 404341 900 463 565 658 555 1.10/1.15 c 670 47240 228424 408160 900 468 575 625 555 1.10/1.18 c 680 47934 232774 419703 900 474 564 675 587 1.10/1.19 c 690 48604 235926 425524 900 483 565 660 584 1.19/1.21 c 700 49314 239618 433099 900 491 566 685 590 1.19/1.23 c 710 50009 243389 441408 900 495 571 671 580 1.19/1.25 c 720 50704 246880 448364 900 504 543 669 573 1.19/1.26 c 730 51398 250322 454634 900 514 578 682 576 1.19/1.28 c 740 52063 253191 458759 900 520 573 644 575 1.29/1.30 c 750 52792 256707 465680 900 528 586 697 606 1.29/1.32 c 760 53513 260578 473768 900 533 610 672 590 1.29/1.33 c 770 54193 263888 479813 900 540 574 658 579 1.29/1.34 c 771 54812 266252 482165 900 541 619 619 309 1.29/1.35 c 780 55441 268839 485528 900 546 566 608 537 1.29/1.37 c 790 56090 272163 491868 900 553 609 620 560 1.29/1.39 c 800 56749 275341 497361 900 559 593 645 576 1.39/1.40 c 810 57410 278591 503531 900 565 562 616 551 1.39/1.42 c 820 58085 281771 509320 900 568 596 659 586 1.39/1.43 c 830 58803 285170 515631 900 576 604 698 589 1.39/1.45 c 840 59485 288900 523545 900 581 604 656 583 1.39/1.47 c 850 60154 291730 527656 900 589 598 651 579 1.39/1.48 c 860 60867 295204 533823 900 598 637 698 611 1.49/1.50 c 870 61517 298261 539072 900 604 606 620 559 1.49/1.52 c 880 62187 301637 545829 900 613 607 641 572 1.49/1.53 c 890 62855 304890 552338 900 618 606 644 580 1.49/1.55 c 900 63523 308006 557607 900 628 610 650 574 1.49/1.56 c 910 64202 311181 563299 900 634 599 662 587 1.49/1.58 c 920 64865 314191 568208 900 643 554 647 550 1.49/1.59 c 930 65516 317492 574850 900 645 601 611 552 1.59/1.61 c 940 66145 320221 578941 900 648 600 608 547 1.59/1.62 c 947 66853 323434 584235 900 655 607 698 558 1.59/1.63 c 950 67463 325851 587098 900 658 605 607 454 1.59/1.65 c 960 68079 328774 592161 900 668 561 607 533 1.59/1.66 c 970 68690 331117 595102 900 676 559 595 535 1.59/1.67 c 980 69339 333844 598873 900 682 587 636 567 1.59/1.69 c 990 70008 336886 604190 900 686 601 638 561 1.69/1.70 c 1000 70622 339302 607420 900 696 589 601 541 1.69/1.72 c 1010 71329 342981 614936 900 703 603 680 596 1.69/1.74 c 1020 72076 347710 627045 900 708 604 705 613 1.69/1.76 c 1030 72756 350989 632538 900 716 560 665 555 1.69/1.77 c 1040 73410 353920 636942 900 726 571 644 551 1.69/1.79 c 1050 74068 356823 641432 900 730 571 635 559 1.79/1.80 c 1060 74704 359441 644932 900 738 574 622 540 1.79/1.81 c 1070 75310 361926 648302 900 748 565 588 524 1.79/1.82 c 1080 75947 364585 652014 900 755 559 613 544 1.79/1.84 c 1090 76665 368524 661156 900 763 595 698 606 1.79/1.86 c 1100 77315 371393 665397 900 771 590 639 554 1.79/1.87 c 1110 77987 374475 670467 900 779 575 655 565 1.79/1.89 c 1120 78666 377532 675406 900 788 609 667 576 1.89/1.90 c 1130 79330 380437 679963 900 798 583 655 566 1.89/1.92 c 1140 79987 383382 685013 900 808 577 648 552 1.89/1.93 c 1141 80557 385391 686602 900 809 570 570 285 1.89/1.94 c 1150 81180 387837 689775 900 816 600 605 543 1.89/1.95 c 1160 81870 391453 696830 900 825 615 674 579 1.89/1.97 c 1170 82507 393967 700027 900 830 583 621 556 1.89/1.98 c 1180 83207 397549 707119 900 835 611 685 606 1.89/2.00 c 1190 83873 400694 712805 900 844 605 642 564 2.00/2.02 c 1200 84562 404210 719845 900 854 571 670 574 2.00/2.03 c 1210 85210 407166 725188 900 861 598 631 557 2.00/2.05 c 1220 85886 410266 731087 900 869 609 649 579 2.00/2.06 c 1230 86537 413213 736114 900 875 611 630 566 2.00/2.08 c 1240 87207 416689 742812 900 881 565 642 568 2.00/2.10 c 1250 87901 419997 748896 900 885 607 647 582 2.10/2.11 c 1260 88559 422829 753476 900 894 590 646 570 2.10/2.12 c 1270 89173 425458 757033 900 899 562 595 517 2.10/2.14 c 1280 89818 428314 761732 900 906 581 619 552 2.10/2.15 c 1290 90421 430949 765490 900 909 573 577 522 2.10/2.17 c 1300 91077 434074 770683 900 918 599 632 564 2.10/2.18 c 1310 91727 437063 775755 900 923 602 621 558 2.10/2.19 c 1320 92382 440031 780868 900 931 601 637 559 2.19/2.21 c 1330 93033 443001 786301 900 934 610 630 560 2.19/2.23 c 1340 93733 446539 793589 900 942 624 684 603 2.19/2.24 c 1350 94381 449280 798000 900 946 559 618 554 2.19/2.25 c 1352 94952 451213 799399 900 948 569 570 379 2.19/2.26 c 1360 95585 454025 804204 900 949 616 619 549 2.19/2.28 c 1370 96236 456900 809194 900 958 549 624 549 2.19/2.29 c 1380 96906 460203 815643 900 965 555 648 556 2.29/2.31 c 1390 97622 463617 822752 900 974 548 704 580 2.29/2.32 c 1400 98301 466610 827748 900 979 558 666 588 2.29/2.34 c 1410 98971 469463 832327 900 989 549 660 571 2.29/2.36 c 1420 99672 473117 840451 900 997 548 683 581 2.29/2.37 c 1430 100380 476589 847669 900 1000 555 691 606 2.29/2.39 c 1440 101012 479350 851813 900 1010 555 622 528 2.39/2.40 c 1450 101700 482758 858601 900 1017 567 667 574 2.39/2.42 c 1460 102371 486137 865328 900 1022 550 644 568 2.39/2.44 c 1470 103042 489456 871785 900 1027 552 638 563 2.39/2.45 c 1480 103685 492172 876020 900 1036 552 622 551 2.39/2.46 c 1490 104348 495237 882000 900 1039 604 624 559 2.39/2.48 c 1500 104969 497991 886243 900 1045 585 608 537 2.39/2.49 c 1510 105667 501257 892228 900 1051 620 670 590 2.49/2.51 c 1520 106318 504276 897560 900 1057 552 634 564 2.49/2.52 c 1530 106947 507002 901588 900 1064 584 617 544 2.49/2.54 c 1540 107620 510607 909103 900 1073 560 650 560 2.49/2.56 c 1550 108262 513806 915762 900 1076 602 614 553 2.49/2.57 c 1560 108930 516932 921376 900 1086 579 656 570 2.49/2.59 c 1570 109602 520169 927446 900 1095 580 658 575 2.59/2.61 c 1580 110285 523847 935595 900 1105 578 670 578 2.59/2.62 c 1585 110973 526898 940634 900 1110 579 684 538 2.59/2.64 c 1590 111666 530001 946004 900 1115 581 689 527 2.59/2.65 c 1600 112300 532707 950404 900 1121 596 617 554 2.59/2.67 c 1610 113000 536139 956791 900 1129 568 682 594 2.59/2.68 c 1620 113662 539610 964532 900 1138 579 645 574 2.69/2.71 c 1630 114347 544906 979979 900 1144 584 648 566 2.69/2.73 c 1640 115014 548086 986208 900 1152 578 656 564 2.69/2.75 c 1650 115709 552542 998067 900 1156 580 650 563 2.69/2.77 c 1660 116405 556280 1006802 900 1166 580 682 592 2.69/2.79 c 1670 117114 559740 1014142 900 1176 618 698 605 2.79/2.80 c 1680 117804 562745 1019002 900 1185 584 681 593 2.79/2.82 c 1690 118503 566117 1025654 900 1191 575 680 585 2.79/2.83 c 1700 119180 569262 1031037 900 1199 595 664 570 2.79/2.85 c 1710 119895 572608 1037101 900 1209 628 705 606 2.79/2.86 c 1720 120561 575518 1041722 900 1219 593 650 564 2.79/2.88 c 1730 121245 578513 1046978 900 1226 582 671 594 2.89/2.90 c 1740 121987 581937 1053357 900 1236 559 730 608 2.89/2.91 c 1750 122650 585141 1059134 900 1244 557 650 567 2.89/2.93 c 1760 123307 588966 1069009 900 1252 559 634 557 2.89/2.95 c 1770 123991 592344 1075549 900 1262 556 674 568 2.89/2.96 c 1780 124686 595459 1080937 900 1271 556 674 584 2.89/2.98 c 1790 125354 598421 1086001 900 1277 590 651 574 2.89/2.99 c 1800 125994 601148 1090617 900 1284 558 616 545 3.00/3.01 c 1810 126720 604687 1097426 900 1294 553 711 592 3.00/3.03 c 1820 127411 608470 1107141 900 1302 552 680 588 3.00/3.05 c 1830 127993 611750 1114104 900 1304 560 563 510 3.00/3.06 c 1840 128748 615369 1121134 900 1310 681 709 632 3.00/3.07 c 1841 129370 617718 1123609 900 1311 622 622 311 3.00/3.09 c 1850 130050 620829 1129237 900 1320 622 672 583 3.00/3.10 c 1860 130712 623845 1134494 900 1328 583 640 552 3.10/3.12 c 1870 131456 627984 1144289 900 1334 644 708 626 3.10/3.14 c 1880 132100 630742 1148335 900 1343 589 629 550 3.10/3.15 c 1890 132777 633817 1153435 900 1350 589 667 588 3.10/3.17 c 1900 133480 637219 1160221 900 1357 586 675 590 3.10/3.19 c 1910 134204 640812 1167897 900 1363 612 704 602 3.19/3.20 c 1920 134844 643655 1171956 900 1369 561 620 548 3.19/3.22 c 1930 135589 647579 1180210 900 1376 554 721 625 3.19/3.24 c 1940 136203 650310 1185469 900 1383 553 595 525 3.19/3.26 c 1950 136877 654600 1196153 900 1387 552 645 568 3.19/3.28 c 1960 137579 658305 1203743 900 1395 594 678 587 3.19/3.29 c 1970 138218 661038 1207607 900 1401 576 621 555 3.29/3.31 c 1980 138929 664646 1214426 900 1407 634 670 595 3.29/3.32 c 1990 139599 667941 1220871 900 1415 577 653 566 3.29/3.34 c 2000 140263 671358 1227988 900 1421 577 634 560 3.29/3.36 c 2010 140934 674479 1233331 900 1431 552 662 567 3.29/3.37 c 2020 141634 677782 1239712 900 1440 550 683 581 3.29/3.39 c 2030 142364 681746 1248629 900 1447 551 706 614 3.39/3.41 c 2040 143003 684587 1253011 900 1451 550 619 555 3.39/3.42 c 2050 143663 687541 1258002 900 1455 579 640 574 3.39/3.44 c 2060 144367 691159 1264714 900 1463 609 682 574 3.39/3.45 c 2070 145035 694105 1269880 900 1468 639 647 585 3.39/3.47 c 2080 145704 697374 1275372 900 1478 603 660 572 3.39/3.48 c 2090 146372 700444 1280367 900 1483 580 638 563 3.49/3.50 c 2100 147055 704130 1287883 900 1486 646 665 601 3.49/3.52 c 2110 147699 706975 1292520 900 1494 571 626 547 3.49/3.53 c 2120 148379 710154 1298056 900 1504 562 671 574 3.49/3.54 c 2122 149030 712852 1301512 900 1506 577 650 409 3.49/3.56 c 2130 149686 715783 1306333 900 1510 635 638 565 3.49/3.57 c 2140 150322 718305 1309282 900 1512 581 603 531 3.49/3.58 c 2150 150958 720830 1312198 900 1514 582 603 532 3.49/3.59 c 2160 151600 723562 1316417 900 1523 563 625 539 3.59/3.61 c 2170 152249 726617 1321619 900 1533 603 638 564 3.59/3.62 c 2180 152873 729075 1324429 900 1542 548 613 540 3.59/3.63 c 2190 153490 731442 1327104 900 1552 549 604 532 3.59/3.64 c 2200 154096 733846 1330055 900 1559 548 582 521 3.59/3.66 c 2210 154783 737312 1336939 900 1561 642 657 591 3.59/3.68 c 2220 155503 740902 1343454 900 1563 637 658 587 3.59/3.70 c 2230 156187 744226 1349462 900 1570 604 667 579 3.69/3.72 c 2240 156907 748354 1358699 900 1574 654 679 605 3.69/3.73 c 2250 157614 751684 1365044 900 1579 588 674 596 3.69/3.75 c 2260 158266 754654 1369819 900 1581 622 633 571 3.69/3.76 c 2270 158924 757479 1374414 900 1587 597 633 561 3.69/3.78 c 2280 159657 761557 1384436 900 1592 590 685 607 3.79/3.80 c 2290 160359 764925 1390540 900 1597 602 681 585 3.79/3.81 c 2300 161034 768234 1396594 900 1603 578 660 587 3.79/3.84 c 2310 161787 772749 1408208 900 1607 643 674 604 3.79/3.85 c 2320 162477 776169 1414724 900 1613 639 670 598 3.79/3.87 c 2330 163153 780039 1423722 900 1621 618 661 588 3.79/3.89 c 2340 163858 783462 1429990 900 1628 635 682 610 3.89/3.91 c 2350 164538 786736 1436045 900 1636 578 662 573 3.89/3.92 c 2360 165195 789661 1440637 900 1643 584 631 559 3.89/3.94 c 2370 165867 793248 1447772 900 1649 578 654 583 3.89/3.96 c 2380 166562 796728 1454896 900 1652 581 664 585 3.89/3.97 c 2390 167279 800478 1462871 900 1654 679 690 621 3.89/3.99 c 2400 167970 803934 1470048 900 1657 642 657 589 4.00/4.01 c 2410 168655 807035 1475418 900 1661 615 644 572 4.00/4.02 c 2420 169305 809984 1480312 900 1669 559 631 545 4.00/4.04 c 2430 170001 813668 1488936 900 1672 628 677 601 4.00/4.05 c 2431 170583 815723 1490600 900 1673 582 582 291 4.00/4.07 c 2440 171245 818691 1495534 900 1682 586 652 561 4.00/4.08 c 2450 171965 822468 1503517 900 1689 618 696 603 4.00/4.10 c 2460 172652 826065 1510730 900 1696 642 667 596 4.10/4.12 c 2470 173361 829756 1518374 900 1702 605 676 599 4.10/4.14 c 2480 174064 832987 1524382 900 1711 620 686 603 4.10/4.16 c 2490 174759 836622 1531738 900 1718 587 671 580 4.10/4.17 c 2500 175412 839398 1535919 900 1727 608 643 568 4.10/4.18 c 2510 176082 842299 1540560 900 1734 622 650 581 4.19/4.21 c 2520 176719 846837 1551686 900 1737 609 618 556 4.19/4.23 c 2530 177359 850566 1559444 900 1745 599 623 553 4.19/4.25 c 2540 177978 854604 1568303 900 1749 599 604 546 4.19/4.27 c 2550 178713 858549 1576286 900 1755 594 684 595 4.19/4.28 c 2560 179400 861875 1582953 900 1760 572 653 570 4.29/4.30 c 2570 180043 864656 1587102 900 1769 572 633 558 4.29/4.31 c 2580 180751 868281 1594790 900 1773 572 598 535 4.29/4.33 c 2590 181365 871390 1600569 900 1779 596 602 543 4.29/4.34 c 2600 182007 874219 1604998 900 1785 617 631 570 4.29/4.36 c 2610 182691 877749 1611891 900 1790 594 663 583 4.29/4.38 c 2620 183365 880758 1616689 900 1799 607 664 580 4.29/4.39 c 2630 184006 883951 1622678 900 1805 604 629 563 4.39/4.41 c 2640 184692 887031 1627687 900 1814 586 675 573 4.39/4.43 c 2650 185386 890706 1635414 900 1823 606 680 602 4.39/4.44 c 2660 186062 893710 1640619 900 1828 609 657 584 4.39/4.45 c 2670 186683 896220 1644077 900 1836 553 610 543 4.39/4.46 c 2680 187323 898812 1647625 900 1844 575 622 547 4.39/4.48 c 2690 187948 901384 1651671 900 1849 574 610 546 4.39/4.49 c 2700 188574 904063 1656086 900 1854 574 609 548 4.49/4.51 c 2710 189280 907895 1664195 900 1862 594 680 588 4.49/4.52 c 2720 189914 910629 1668659 900 1871 574 611 548 4.49/4.54 c 2730 190558 913743 1674920 900 1876 586 622 559 4.49/4.55 c 2740 191202 916805 1680391 900 1886 553 633 542 4.49/4.57 c 2750 191827 919372 1684481 900 1892 575 610 546 4.49/4.58 c 2760 192491 922212 1689158 900 1897 575 642 567 4.49/4.60 c 2770 193174 925471 1694970 900 1906 593 667 586 4.59/4.60 c 2771 193727 927288 1696076 900 1907 553 553 276 4.59/4.62 c 2780 194347 929816 1699891 900 1913 573 606 537 4.59/4.63 c 2790 195007 932670 1704475 900 1918 597 641 573 4.59/4.64 c 2800 195613 935139 1707886 900 1925 554 597 531 4.59/4.65 c 2810 196230 937567 1711325 900 1928 578 601 539 4.59/4.66 c 2820 196841 939964 1714180 900 1936 557 599 538 4.59/4.68 c 2830 197498 942848 1718894 900 1944 554 644 558 4.69/4.70 c 2840 198192 946510 1727044 900 1954 555 679 583 4.69/4.71 c 2850 198811 948989 1730556 900 1960 562 605 543 4.69/4.72 c 2860 199413 951581 1734193 900 1969 563 591 523 4.69/4.73 c 2870 200024 953961 1737147 900 1974 554 598 536 4.69/4.75 c 2880 200738 957441 1743553 900 1984 557 701 582 4.69/4.77 c 2890 201424 960936 1750622 900 1994 558 674 581 4.69/4.78 c 2900 202100 963928 1755634 900 2004 601 657 574 4.69/4.79 c 2910 202734 966521 1759436 900 2010 556 613 548 4.79/4.81 c 2920 203434 969788 1764999 900 2020 556 691 585 4.79/4.82 c 2930 204083 972719 1769880 900 2027 558 630 560 4.79/4.84 c 2940 204728 975434 1773656 900 2032 578 632 556 4.79/4.85 c 2950 205347 978099 1777854 900 2039 564 599 539 4.79/4.86 c 2960 205998 980977 1782650 900 2042 604 629 565 4.79/4.88 c 2970 206644 983694 1786404 900 2047 579 633 557 4.79/4.89 c 2980 207287 986561 1791236 900 2057 563 622 542 4.89/4.90 c 2990 207938 989485 1796125 900 2060 605 629 565 4.89/4.92 c 3000 208581 992466 1800752 900 2067 582 625 562 4.89/4.93 c 3010 209203 994935 1804080 900 2070 606 610 553 4.89/4.95 c 3020 209886 998607 1812688 900 2075 627 655 591 4.89/4.96 c 3030 210533 1001461 1816894 900 2079 607 631 566 4.89/4.98 c 3040 211172 1004451 1822114 900 2088 585 625 554 4.89/4.99 c 3050 211831 1007294 1826211 900 2093 570 631 562 5.00/5.01 c 3060 212510 1010777 1833175 900 2101 589 665 587 5.00/5.02 c 3070 213170 1013866 1839027 900 2109 556 641 554 5.00/5.04 c 3080 213807 1017107 1845565 900 2117 598 622 558 5.00/5.06 c 3090 214439 1020225 1851447 900 2126 580 620 556 5.00/5.07 c 3100 215110 1023376 1857432 900 2130 562 648 574 5.00/5.08 c 3110 215741 1025921 1860917 900 2140 557 622 539 5.00/5.09 c 3120 216360 1028219 1863555 900 2142 580 583 529 5.10/5.11 c 3130 217011 1031058 1867831 900 2152 563 641 560 5.10/5.13 c 3140 217713 1034837 1875602 900 2158 621 652 578 5.10/5.14 c 3142 218335 1037326 1878309 900 2160 600 621 407 5.10/5.15 c 3150 218978 1040112 1883183 900 2163 590 604 529 5.10/5.16 c 3160 219596 1042546 1885907 900 2165 573 585 523 5.10/5.18 c 3170 220268 1045606 1890890 900 2172 579 652 573 5.10/5.19 c 3180 220912 1048378 1894929 900 2181 560 634 552 5.19/5.21 c 3190 221578 1051312 1899771 900 2188 573 654 572 5.19/5.22 c 3200 222244 1054540 1905915 900 2195 574 656 570 5.19/5.24 c 3210 222906 1057569 1911219 900 2202 589 644 571 5.19/5.25 c 3220 223536 1060220 1915213 900 2207 599 611 550 5.19/5.27 c 3230 224201 1063278 1920009 900 2215 614 654 578 5.19/5.28 c 3240 224880 1066584 1926124 900 2221 610 639 572 5.29/5.30 c 3250 225494 1069965 1933266 900 2226 571 596 536 5.29/5.31 c 3260 226171 1072928 1938017 900 2236 584 664 563 5.29/5.33 c 3270 226801 1075821 1943050 900 2241 561 609 541 5.29/5.34 c 3280 227459 1078937 1948172 900 2248 591 640 567 5.29/5.36 c 3290 228104 1081782 1952247 900 2258 588 635 564 5.29/5.37 c 3300 228743 1084596 1956643 900 2264 583 618 551 5.29/5.38 c 3310 229359 1087164 1960240 900 2269 565 601 539 5.29/5.39 c 3320 230011 1089882 1963956 900 2272 587 618 558 5.39/5.41 c 3330 230649 1092618 1967680 900 2277 554 624 553 5.39/5.42 c 3340 231267 1095045 1970691 900 2286 592 607 546 5.39/5.43 c 3350 231919 1097761 1974624 900 2296 570 643 558 5.39/5.45 c 3360 232543 1100379 1978219 900 2306 585 613 547 5.39/5.46 c 3370 233179 1103061 1981929 900 2316 591 622 551 5.39/5.47 c 3380 233790 1105539 1985125 900 2326 567 602 535 5.39/5.49 c 3390 234468 1108660 1990463 900 2336 564 665 568 5.49/5.50 c 3400 235108 1111843 1996219 900 2344 595 623 555 5.49/5.51 c 3410 235719 1114402 1999719 900 2348 585 594 535 5.49/5.53 c 3420 236386 1117479 2005074 900 2357 581 652 568 5.49/5.55 c 3430 237078 1121011 2012071 900 2364 619 667 592 5.49/5.56 c 3440 237735 1123784 2016111 900 2373 579 647 567 5.49/5.57 c 3450 238389 1126674 2020449 900 2381 580 629 555 5.49/5.59 c 3460 239048 1129580 2024762 900 2387 579 649 570 5.59/5.60 c 3470 239696 1132820 2030892 900 2394 579 632 562 5.59/5.62 c 3480 240350 1135792 2035714 900 2404 588 634 554 5.59/5.63 c 3490 240981 1138532 2039729 900 2408 581 606 544 5.59/5.65 c 3500 241628 1141338 2043830 900 2417 610 621 557 5.59/5.66 c 3510 242248 1143974 2047541 900 2427 556 605 535 5.59/5.67 c 3520 242899 1146706 2051489 900 2432 563 618 534 5.59/5.68 c 3530 243522 1149253 2055173 900 2442 590 608 545 5.69/5.70 c 3540 244175 1152207 2059853 900 2452 588 633 554 5.69/5.71 c 3550 244850 1155395 2065722 900 2460 639 651 585 5.69/5.72 c 3551 245442 1157539 2067577 900 2461 592 592 296 5.69/5.74 c 3560 246088 1160253 2071108 900 2465 545 637 550 5.69/5.75 c 3570 246743 1163038 2075180 900 2475 589 641 557 5.69/5.77 c 3580 247414 1166495 2081938 900 2480 580 652 572 5.69/5.78 c 3590 248048 1169196 2085744 900 2486 570 617 538 5.69/5.79 c 3600 248685 1171963 2089960 900 2492 561 608 525 5.79/5.81 c 3610 249377 1175705 2097605 900 2501 586 672 585 5.79/5.83 c 3620 250006 1178587 2102196 900 2510 592 617 553 5.79/5.84 c 3630 250706 1182270 2109933 900 2517 594 675 597 5.79/5.86 c 3640 251390 1185324 2115124 900 2526 589 668 578 5.79/5.87 c 3650 252007 1188273 2119872 900 2531 597 601 544 5.79/5.89 c 3660 252702 1192141 2128213 900 2535 588 682 596 5.89/5.91 c 3670 253409 1195819 2136124 900 2541 588 680 601 5.89/5.93 c 3680 254081 1199231 2142983 900 2549 589 658 583 5.89/5.95 c 3690 254771 1202820 2150291 900 2554 589 659 582 5.89/5.97 c 3700 255462 1206801 2159478 900 2560 605 671 594 5.89/5.98 c 3710 256129 1209700 2164203 900 2570 579 647 562 5.89/6.00 c 3720 256784 1212702 2169763 900 2580 580 632 559 6.00/6.01 c 3730 257449 1215617 2174379 900 2590 570 655 556 6.00/6.02 c 3740 258086 1218197 2178165 900 2598 579 618 553 6.00/6.04 c 3750 258685 1220794 2182545 900 2601 575 578 524 6.00/6.05 c 3760 259345 1223853 2187824 900 2608 588 646 575 6.00/6.07 c 3770 260020 1227057 2193888 900 2614 585 641 567 6.00/6.09 c 3780 260716 1230746 2201569 900 2621 578 673 587 6.00/6.10 c 3790 261357 1233514 2206646 900 2628 575 613 546 6.10/6.11 c 3800 262030 1236512 2211597 900 2637 592 664 576 6.10/6.13 c 3810 262793 1240318 2219642 900 2642 543 697 609 6.10/6.15 c 3820 263498 1243550 2225248 900 2652 592 696 585 6.10/6.16 c 3830 264122 1246275 2229266 900 2661 564 611 537 6.10/6.17 c 3840 264757 1248815 2233091 900 2668 587 621 553 6.10/6.19 c 3850 265401 1251882 2239294 900 2671 612 616 558 6.19/6.20 c 3860 266008 1254264 2242279 900 2675 559 579 518 6.19/6.21 c 3870 266672 1257350 2247656 900 2683 586 647 578 6.19/6.23 c 3880 267284 1259977 2251747 900 2686 572 582 524 6.19/6.24 c 3890 267941 1262851 2256495 900 2694 602 636 566 6.19/6.25 c 3900 268552 1265602 2261267 900 2698 574 581 525 6.19/6.27 c 3910 269198 1268505 2266172 900 2708 607 633 561 6.19/6.28 c 3920 269805 1271082 2270123 900 2712 562 589 526 6.29/6.30 c 3930 270448 1273960 2274884 900 2717 573 608 536 6.29/6.31 c 3940 271080 1276544 2278007 900 2723 556 617 548 6.29/6.32 c 3950 271707 1279136 2281432 900 2730 557 613 529 6.29/6.34 c 3960 272367 1282660 2288528 900 2739 558 639 556 6.29/6.35 c 3970 272990 1285374 2292352 900 2748 556 607 533 6.29/6.37 c 3980 273628 1288525 2298268 900 2757 561 619 542 6.29/6.38 c 3990 274257 1291274 2302811 900 2765 563 613 539 6.38/6.40 c 4000 274943 1294639 2309286 900 2771 632 651 584 6.38/6.41 c 4001 275507 1296493 2310431 900 2772 564 564 282 6.38/6.43 c 4010 276226 1300450 2319709 900 2781 562 697 577 6.38/6.44 c 4020 276849 1302958 2323213 900 2790 561 603 535 6.38/6.45 c 4030 277445 1305093 2325256 900 2791 566 567 515 6.38/6.46 c 4040 278032 1307307 2328290 900 2795 556 569 510 6.38/6.47 c 4050 278621 1309762 2331823 900 2800 553 571 513 6.38/6.48 c 4060 279224 1312051 2334155 900 2806 574 587 528 6.48/6.50 c 4070 279839 1314834 2339179 900 2812 558 592 530 6.48/6.52 c 4080 280475 1318363 2346474 900 2820 565 615 546 6.48/6.53 c 4090 281090 1321519 2353024 900 2827 563 598 535 6.48/6.54 c 4100 281681 1323872 2356914 900 2833 571 576 521 6.48/6.55 c 4110 282319 1326514 2360397 900 2836 569 604 540 6.48/6.57 c 4120 282954 1330352 2369544 900 2839 582 600 535 6.48/6.59 c 4130 283598 1333150 2373641 900 2845 552 609 540 6.58/6.61 c 4140 284232 1337061 2383242 900 2848 588 599 537 6.58/6.62 c 4150 284902 1340356 2389810 900 2857 576 653 567 6.58/6.64 c 4160 285539 1343101 2394169 900 2864 606 621 557 6.58/6.65 c 4170 286184 1346728 2402400 900 2869 598 618 557 6.58/6.67 c 4180 286808 1349699 2407877 900 2874 563 607 526 6.58/6.68 c 4190 287453 1352300 2411152 900 2876 604 605 549 6.68/6.70 c 4200 288105 1355409 2416377 900 2882 569 616 548 6.68/6.71 c 4210 288785 1358936 2423304 900 2890 592 666 587 6.68/6.73 c 4220 289458 1361875 2427834 900 2900 564 664 551 6.68/6.74 c 4230 290121 1365038 2433259 900 2906 609 626 560 6.68/6.76 c 4240 290770 1367697 2436828 900 2908 605 607 550 6.68/6.78 c 4250 291493 1372231 2447447 900 2915 580 669 587 6.68/6.79 c 4260 292137 1375177 2452217 900 2925 576 628 552 6.78/6.81 c 4270 292778 1377915 2456307 900 2931 597 617 548 6.78/6.82 c 4280 293370 1380850 2462286 900 2935 573 576 522 6.78/6.83 c 4290 293947 1383372 2466310 900 2941 545 562 506 6.78/6.85 c 4300 294603 1386332 2471446 900 2948 578 632 553 6.78/6.87 c 4310 295220 1389873 2479978 900 2951 582 589 533 6.78/6.88 c 4320 295847 1393092 2486641 900 2954 586 600 538 6.78/6.89 c 4330 296468 1395726 2490297 900 2960 552 593 528 6.88/6.91 c 4340 297103 1398560 2494809 900 2962 588 602 542 6.88/6.92 c 4350 297720 1401859 2501811 900 2969 576 603 540 6.88/6.94 c 4360 298324 1404619 2507021 900 2977 561 586 522 6.88/6.95 c 4370 298940 1407531 2512562 900 2984 563 599 537 6.88/6.97 c 4380 299534 1410448 2518350 900 2988 575 578 524 6.88/6.98 c 4390 300116 1413040 2522605 900 2994 544 563 505 6.88/6.99 c 4400 300778 1416069 2527529 900 3002 622 649 581 6.99/7.01 c 4410 301399 1418792 2532082 900 3009 576 601 534 6.99/7.02 c 4420 302044 1422052 2538598 900 3016 575 628 546 6.99/7.04 c 4430 302675 1425560 2546969 900 3018 585 595 537 6.99/7.05 c 4440 303293 1428345 2551884 900 3022 571 589 531 6.99/7.07 c 4450 303904 1431302 2557402 900 3028 559 594 531 6.99/7.08 c 4460 304556 1434028 2561187 900 3037 574 626 551 6.99/7.09 c 4470 305178 1436589 2564899 900 3042 585 604 541 7.09/7.11 c 4480 305820 1440538 2574811 900 3050 559 607 532 7.09/7.13 c 4490 306429 1443402 2579840 900 3054 560 572 514 7.09/7.14 c 4493 307040 1445798 2582557 900 3057 572 609 446 7.09/7.15 c 4500 307645 1448774 2588360 900 3060 585 588 513 7.09/7.17 c 4510 308311 1451627 2592706 900 3067 575 637 562 7.09/7.18 c 4520 308952 1455229 2600053 900 3076 575 619 542 7.18/7.20 c 4530 309584 1457896 2604101 900 3083 570 613 547 7.18/7.21 c 4540 310268 1460970 2609112 900 3089 573 666 571 7.18/7.22 c 4550 310913 1463648 2613236 900 3098 572 625 549 7.18/7.24 c 4560 311565 1466577 2617770 900 3107 563 640 559 7.18/7.25 c 4570 312193 1469284 2622139 900 3112 561 593 531 7.18/7.27 c 4580 312791 1472090 2627048 900 3115 561 573 518 7.18/7.28 c 4590 313499 1475316 2632696 900 3122 604 683 596 7.28/7.30 c 4600 314121 1478602 2639673 900 3126 557 597 532 7.28/7.32 c 4610 314803 1482207 2647892 900 3130 623 669 592 7.28/7.33 c 4620 315435 1485048 2652128 900 3135 587 617 554 7.28/7.35 c 4630 316112 1488477 2658484 900 3142 577 663 584 7.28/7.36 c 4640 316784 1491717 2663917 900 3147 624 648 583 7.28/7.38 c 4650 317438 1494609 2668575 900 3149 605 608 551 7.28/7.39 c 4660 318079 1497794 2674600 900 3156 600 622 557 7.38/7.41 c 4670 318704 1501671 2684182 900 3158 579 593 534 7.38/7.42 c 4680 319338 1504469 2688099 900 3166 553 619 538 7.38/7.44 c 4690 320047 1507864 2694435 900 3174 591 682 595 7.38/7.46 c 4700 320730 1511173 2700180 900 3182 563 664 559 7.38/7.47 c 4710 321362 1514183 2705370 900 3186 580 615 553 7.38/7.49 c 4720 322002 1517116 2710253 900 3192 573 614 540 7.48/7.50 c 4730 322620 1520127 2715856 900 3197 590 598 540 7.48/7.52 c 4740 323316 1523702 2722838 900 3202 569 671 586 7.48/7.54 c 4750 324007 1526959 2728491 900 3211 576 680 595 7.48/7.55 c 4760 324684 1530167 2733925 900 3214 644 648 587 7.48/7.57 c 4770 325334 1533166 2738996 900 3220 573 624 540 7.48/7.59 c 4780 326052 1537272 2748879 900 3225 621 703 622 7.58/7.61 c 4790 326842 1541949 2760156 900 3233 586 698 606 7.58/7.63 c 4800 327527 1545239 2767012 900 3240 608 669 588 7.58/7.64 c 4810 328189 1548262 2772195 900 3249 573 648 565 7.58/7.66 c 4820 328855 1551465 2777865 900 3257 580 636 565 7.58/7.67 c 4830 329463 1553893 2781381 900 3261 585 591 535 7.58/7.68 c 4840 330084 1556473 2785483 900 3267 552 602 533 7.58/7.69 c 4850 330708 1558989 2788743 900 3277 563 609 541 7.68/7.71 c 4860 331360 1563160 2798213 900 3282 570 614 551 7.68/7.73 c 4870 332014 1566026 2802773 900 3292 572 642 563 7.68/7.74 c 4880 332625 1568539 2806145 900 3297 557 593 517 7.68/7.75 c 4890 333267 1571239 2810174 900 3303 590 627 549 7.68/7.77 c 4900 333941 1574781 2817282 900 3311 584 656 572 7.68/7.78 c 4910 334559 1577536 2821703 900 3321 583 606 537 7.78/7.80 c 4920 335214 1580511 2826491 900 3329 559 623 546 7.78/7.81 c 4930 335861 1583141 2830103 900 3337 573 613 543 7.78/7.83 c 4940 336516 1586131 2834919 900 3345 558 623 546 7.78/7.84 c 4950 337186 1589000 2838931 900 3351 612 650 568 7.78/7.85 c 4960 337835 1591838 2843381 900 3359 582 638 569 7.78/7.87 c 4970 338478 1594650 2848214 900 3363 617 622 562 7.78/7.88 c 4980 339121 1597365 2852320 900 3372 584 628 563 7.88/7.90 c 4990 339827 1600665 2857842 900 3380 570 696 605 7.88/7.93 c 5035 340651 1607151 2879551 900 3397 583 695 653 8.28/8.36 c 5631 344569 1682826 3252527 900 3417 642 712 687 8.68/8.78 c 6286 348055 1756399 3633250 900 3433 618 695 667 8.99/9.06 c 7006 351846 1806254 3873731 900 3463 584 699 663 9.38/9.41 c 7798 355588 1869118 4169615 900 3485 615 692 663 9.78/9.82 c 8669 360146 1942123 4524632 900 3499 597 723 697 10.18/10.28 c 9627 364894 2023731 4930654 900 3519 556 723 694 10.68/10.76 c 10680 369492 2109535 5296596 900 3541 570 697 662 11.38/11.48 c 11838 375732 2238001 5922580 900 3562 631 722 678 12.18/12.28 c 13111 383131 2378883 6648312 900 3587 565 713 676 13.09/13.15 c 14511 391674 2532716 7355854 900 3610 562 690 646 13.58/13.66 c 16051 398036 2625092 7797694 900 3635 556 726 685 14.28/14.30 c 17745 406442 2738666 8381385 900 3651 568 726 678 15.48/15.55 c 19608 416400 2954430 9574493 900 3683 596 716 675 16.78/16.83 c 21657 426312 3179819 10635196 900 3702 610 694 670 18.18/18.20 c 23910 439029 3422405 11741311 900 3718 615 698 661 19.18/19.20 c 26388 445899 3599603 12550979 900 3742 588 689 664 20.58/20.63 c 29113 458112 3853366 13871950 900 3758 608 724 673 22.28/22.33 c 32110 472561 4150933 15342331 900 3801 546 714 678 24.09/24.16 c 35406 489233 4470159 16896449 900 3838 592 709 665 25.88/26.00 c 39031 503651 4790112 18718345 900 3870 570 720 681 28.58/28.68 c 43018 521030 5255712 21266506 900 3892 580 714 673 31.48/31.57 c 47403 543174 5763648 23936332 900 3911 581 734 685 33.88/33.98 c 52226 559430 6180666 26011259 900 3928 564 696 661 36.18/36.22 c 57531 582799 6574157 28102458 900 3960 543 732 691 38.28/38.35 c 63366 607025 6955124 30056602 900 3990 544 720 696 41.27/41.37 c 69784 634029 7481206 32853365 900 4023 588 724 681 45.27/45.36 c 76843 666019 8182821 36326360 900 4038 575 708 670 48.27/48.34 c 84607 697912 8703420 39157979 900 4072 554 730 695 52.98/53.08 c 93147 733729 9532071 43378630 900 4087 556 697 655 59.17/59.24 c 102541 771532 10604293 49143340 900 4121 561 720 684 64.17/64.25 c 112874 811577 11482502 53790805 900 4149 587 719 688 70.17/70.22 c 124240 861601 12531628 59303114 900 4171 632 730 688 76.07/76.14 c 136742 914074 13577659 64569219 900 4182 581 729 690 83.16/83.22 c 150494 964547 14820505 71198584 900 4221 572 709 669 90.86/90.99 c 165621 1034720 16191894 77700333 900 4242 582 693 657 99.46/99.54 c 182260 1113275 17702168 84541026 900 4285 555 695 653 111.36/111.48 c 200562 1224269 19789208 95140683 900 4306 578 723 672 120.35/120.47 c 220694 1326696 21393489 102060658 900 4357 551 717 667 132.06/132.19 c 242839 1418098 23457029 111699049 900 4397 552 709 673 144.45/144.55 c 267198 1528266 25626867 121972570 900 4436 560 708 662 161.05/161.14 c 293992 1634497 28514812 136091372 900 4459 579 692 659 176.74/176.80 c 323465 1763763 31256442 150101549 900 4488 556 722 676 194.34/194.46 c 355885 1901464 34394200 166116680 900 4513 648 741 701 211.43/211.56 c 391547 2067195 37440491 180690998 900 4537 586 731 672 230.83/230.99 c 430775 2224673 40850415 198057055 900 4564 573 724 675 260.42/260.51 c 473925 2437729 46029494 225268352 900 4587 617 747 693 282.72/282.87 c 521390 2647674 50038096 244960687 900 4618 621 725 684 306.12/306.23 c 573601 2844434 54137280 267462619 900 4648 574 727 691 338.92/339.03 c 631033 3061940 59845029 297576926 900 4674 572 723 681 381.61/381.76 c 694208 3368299 67342392 337804344 900 4697 569 758 702 415.41/415.58 c 763700 3625309 73270896 368719478 900 4738 581 715 667 462.02/462.18 c 840141 3958732 81430769 409415549 900 4767 575 732 688 504.21/504.32 c 924226 4312249 88881133 447316273 900 4806 562 734 679 559.80/559.97 c 1016719 4726848 98731392 496752137 900 4829 574 732 691 606.10/606.20 c 1118461 5124346 106873285 538853935 900 4867 557 736 687 667.11/667.24 c 1230377 5653187 117625078 589974141 900 4884 568 720 669 720.10/720.29 c 1353484 6151461 127050227 639852177 900 4922 566 740 700 807.59/807.79 c 1488901 6754084 142368801 721409403 900 4945 563 744 692 876.69/876.80 c 1637859 7256244 154393446 783567442 900 4977 567 722 682 975.29/975.49 c 1801712 8024762 171579378 874936220 900 5011 590 741 694 1051.58/1051.77 c 1981950 8705403 185059898 941423731 900 5046 548 734 670 1140.89/1141.06 c 2180211 9514039 200814826 1021252928 900 5073 569 722 672 1249.17/1249.39 c 2398298 10355186 219833758 1118347182 900 5116 550 735 684 1399.57/1399.71 c 2638193 11494263 246177607 1256542198 900 5147 548 744 693 1577.16/1577.34 c 2902077 12690867 277183484 1421931023 900 5179 604 746 692 1763.05/1763.27 c 3192349 13842542 309436703 1599078641 900 5222 574 726 686 1959.44/1959.61 c 3511648 15354789 344057050 1770889336 900 5247 565 735 674 2135.33/2135.58 c 3862876 17043428 375080925 1916209789 900 5284 568 738 671 2291.84/2292.06 c 4249226 18444793 402662060 2065195485 900 5311 564 738 683 2519.82/2520.00 2519.82/2520.00 c *** INTERRUPTED *** 2519.82/2520.00 c restarts : 587 2519.82/2520.00 c conflicts : 4641662 (1842 /sec) 2519.82/2520.00 c decisions : 20163091 (8002 /sec) 2519.82/2520.00 c propagations : 2276209784 (903333 /sec) 2519.82/2520.00 c root propagations : 4743 2519.82/2520.00 c filter calls : 442494821 (175608 /sec) 2519.82/2520.00 c useless filter calls : 112766539 (25 %) 2519.82/2520.00 c 2519.82/2520.00 c clauses : 399511 2519.82/2520.00 c SAT propagations : 689924 2519.82/2520.00 c SAT conflicts : 0 (0 learnts) 2519.82/2520.00 c Memory used : 57.42 MB 2519.82/2520.00 c CPU time : 2519.79 s 2519.82/2520.00 2519.82/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 (13052 MiB free) memory of node 1: 16384 MiB (13397 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266124-1502591399/watcher-4266124-1502591399 -o /tmp/evaluation-result-4266124-1502591399/solver-4266124-1502591399 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24899 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266124-1502591399.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=29096, runsolver pid=29093 Current StackSize limit: 8192 KiB [startup+0.100809 s]* /proc/loadavg: 2.00 2.03 2.05 3/187 29097 /proc/meminfo: memFree=27060376/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=53392 memory=28564 CPUtime=0.1 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 6825 0 0 0 9 1 0 0 20 0 1 0 92227541 54673408 7141 33554432000 4194304 5972588 140736415865120 140736415862424 140364021283813 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 13348 7141 781 435 0 6711 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 53392 KiB Current children cumulated memory: 28564 KiB [startup+0.209703 s]* /proc/loadavg: 2.00 2.03 2.05 3/187 29097 /proc/meminfo: memFree=27060004/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=53900 memory=29220 CPUtime=0.21 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 6969 0 0 0 20 1 0 0 20 0 1 0 92227541 55193600 7305 33554432000 4194304 5972588 140736415865120 140736415862424 5336639 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 13475 7305 781 435 0 6838 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 53900 KiB Current children cumulated memory: 29220 KiB [startup+0.309216 s]* /proc/loadavg: 2.00 2.03 2.05 3/187 29097 /proc/meminfo: memFree=27059572/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=54032 memory=29220 CPUtime=0.31 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 6996 0 0 0 30 1 0 0 20 0 1 0 92227541 55328768 7305 33554432000 4194304 5972588 140736415865120 140736415862424 4979111 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 13508 7305 781 435 0 6871 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 54032 KiB Current children cumulated memory: 29220 KiB [startup+0.700258 s] /proc/loadavg: 2.00 2.03 2.05 3/187 29097 /proc/meminfo: memFree=27059572/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=54032 memory=29480 CPUtime=0.69 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 7031 0 0 0 68 1 0 0 20 0 1 0 92227541 55328768 7370 33554432000 4194304 5972588 140736415865120 140736415862424 5240944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 13508 7370 781 435 0 6871 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 54032 KiB Current children cumulated memory: 29480 KiB [startup+1.50028 s] /proc/loadavg: 2.00 2.03 2.05 3/187 29097 /proc/meminfo: memFree=27059300/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=54144 memory=29600 CPUtime=1.49 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 7074 0 0 0 148 1 0 0 20 0 1 0 92227541 55443456 7400 33554432000 4194304 5972588 140736415865120 140736415862424 4975117 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 13536 7400 781 435 0 6899 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 54144 KiB Current children cumulated memory: 29600 KiB [startup+3.10923 s] /proc/loadavg: 2.00 2.03 2.05 3/187 29097 /proc/meminfo: memFree=27058996/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=54144 memory=29964 CPUtime=3.1 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 10908 0 0 0 309 1 0 0 20 0 1 0 92227541 55443456 7491 33554432000 4194304 5972588 140736415865120 140736415862424 5312315 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 13536 7491 781 435 0 6899 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 54144 KiB Current children cumulated memory: 29964 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.02 2.05 3/187 29097 /proc/meminfo: memFree=27058128/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58564 memory=30468 CPUtime=6.29 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 15081 0 0 0 628 1 0 0 20 0 1 0 92227541 59969536 7617 33554432000 4194304 5972588 140736415865120 140736415862424 4971618 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14641 7617 781 435 0 8004 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 58564 KiB Current children cumulated memory: 30468 KiB [startup+12.7002 s] /proc/loadavg: 2.08 2.04 2.05 3/187 29097 /proc/meminfo: memFree=27057616/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=30908 CPUtime=12.68 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 16878 0 0 0 1267 1 0 0 20 0 1 0 92227541 60088320 7727 33554432000 4194304 5972588 140736415865120 140736415862424 4977689 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7727 781 435 0 8033 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 30908 KiB [startup+25.5003 s] /proc/loadavg: 2.06 2.04 2.05 3/187 29097 /proc/meminfo: memFree=27057204/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31024 CPUtime=25.48 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 20029 0 0 0 2547 1 0 0 20 0 1 0 92227541 60088320 7756 33554432000 4194304 5972588 140736415865120 140736415862424 4978847 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7756 781 435 0 8033 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31024 KiB [startup+51.1091 s] /proc/loadavg: 2.04 2.04 2.05 3/187 29097 /proc/meminfo: memFree=27057072/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31132 CPUtime=51.08 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 21551 0 0 0 5107 1 0 0 20 0 1 0 92227541 60088320 7783 33554432000 4194304 5972588 140736415865120 140736415862424 5099616 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7783 781 435 0 8033 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31132 KiB [startup+102.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 29098 /proc/meminfo: memFree=27056568/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31236 CPUtime=102.26 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 23092 0 0 0 10225 1 0 0 20 0 1 0 92227541 60088320 7809 33554432000 4194304 5972588 140736415865120 140736415862424 4977731 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7809 781 435 0 8033 0 Current children cumulated CPU time: 102.26 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31236 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 29099 /proc/meminfo: memFree=27056460/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31296 CPUtime=162.24 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 24620 0 0 0 16223 1 0 0 20 0 1 0 92227541 60088320 7824 33554432000 4194304 5972588 140736415865120 140736415862424 4972789 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7824 781 435 0 8033 0 Current children cumulated CPU time: 162.24 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31296 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 29100 /proc/meminfo: memFree=27056196/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31360 CPUtime=222.23 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 26140 0 0 0 22222 1 0 0 20 0 1 0 92227541 60088320 7840 33554432000 4194304 5972588 140736415865120 140736415862424 4979179 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7840 781 435 0 8033 0 Current children cumulated CPU time: 222.23 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31360 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 29169 /proc/meminfo: memFree=14769796/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31396 CPUtime=282.22 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 27674 0 0 0 28221 1 0 0 20 0 1 0 92227541 60088320 7849 33554432000 4194304 5972588 140736415865120 140736415862424 4975622 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7849 781 435 0 8033 0 Current children cumulated CPU time: 282.22 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31396 KiB [startup+342.3 s] /proc/loadavg: 3.73 2.49 2.20 2/189 29172 /proc/meminfo: memFree=2894488/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31452 CPUtime=342.22 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 29247 0 0 0 34221 1 0 0 20 0 1 0 92227541 60088320 7863 33554432000 4194304 5972588 140736415865120 140736415862424 4975114 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7863 781 435 0 8033 0 Current children cumulated CPU time: 342.22 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31452 KiB [startup+402.3 s] /proc/loadavg: 4.76 3.01 2.40 2/189 29173 /proc/meminfo: memFree=216520/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31476 CPUtime=402.21 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 30779 0 0 0 40220 1 0 0 20 0 1 0 92227541 60088320 7869 33554432000 4194304 5972588 140736415865120 140736415862424 4975104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7869 781 435 0 8033 0 Current children cumulated CPU time: 402.21 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31476 KiB [startup+462.3 s] /proc/loadavg: 4.91 3.37 2.56 2/189 29174 /proc/meminfo: memFree=207756/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31504 CPUtime=462.21 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 32341 0 0 0 46220 1 0 0 20 0 1 0 92227541 60088320 7876 33554432000 4194304 5972588 140736415865120 140736415862424 4975752 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7876 781 435 0 8033 0 Current children cumulated CPU time: 462.21 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31504 KiB ################ # More data... # ################ /proc/29096/statm: 14670 7931 781 435 0 8033 0 Current children cumulated CPU time: 1722.15 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31724 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.06 2.33 3/187 29277 /proc/meminfo: memFree=28479164/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31764 CPUtime=1782.15 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 63588 0 0 0 178212 3 0 0 20 0 1 0 92227541 60088320 7941 33554432000 4194304 5972588 140736415865120 140736415862424 4978749 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7941 781 435 0 8033 0 Current children cumulated CPU time: 1782.15 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31764 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.05 2.31 3/187 29278 /proc/meminfo: memFree=28479132/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31764 CPUtime=1842.15 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 64915 0 0 0 184212 3 0 0 20 0 1 0 92227541 60088320 7941 33554432000 4194304 5972588 140736415865120 140736415862424 4975792 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7941 781 435 0 8033 0 Current children cumulated CPU time: 1842.15 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31764 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.04 2.29 3/187 29279 /proc/meminfo: memFree=28479140/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31764 CPUtime=1902.15 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 66252 0 0 0 190212 3 0 0 20 0 1 0 92227541 60088320 7941 33554432000 4194304 5972588 140736415865120 140736415862424 4975605 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7941 781 435 0 8033 0 Current children cumulated CPU time: 1902.15 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31764 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.04 2.27 3/187 29280 /proc/meminfo: memFree=28479288/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31776 CPUtime=1962.14 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 67858 0 0 0 196211 3 0 0 20 0 1 0 92227541 60088320 7944 33554432000 4194304 5972588 140736415865120 140736415862424 4975784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7944 781 435 0 8033 0 Current children cumulated CPU time: 1962.14 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31776 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.03 2.26 3/187 29281 /proc/meminfo: memFree=28479296/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31776 CPUtime=2022.14 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 69250 0 0 0 202211 3 0 0 20 0 1 0 92227541 60088320 7944 33554432000 4194304 5972588 140736415865120 140736415862424 4978052 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7944 781 435 0 8033 0 Current children cumulated CPU time: 2022.14 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31776 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.02 2.24 3/188 29290 /proc/meminfo: memFree=28479020/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58680 memory=31776 CPUtime=2082.14 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 70408 0 0 0 208211 3 0 0 20 0 1 0 92227541 60088320 7944 33554432000 4194304 5972588 140736415865120 140736415862424 4978114 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14670 7944 781 435 0 8033 0 Current children cumulated CPU time: 2082.14 s Current children cumulated vsize: 58680 KiB Current children cumulated memory: 31776 KiB [startup+2142.3 s] /proc/loadavg: 2.03 2.04 2.23 3/188 29291 /proc/meminfo: memFree=28479392/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58792 memory=31796 CPUtime=2142.14 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 71995 0 0 0 214210 4 0 0 20 0 1 0 92227541 60203008 7949 33554432000 4194304 5972588 140736415865120 140736415862424 4977701 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14698 7949 781 435 0 8061 0 Current children cumulated CPU time: 2142.14 s Current children cumulated vsize: 58792 KiB Current children cumulated memory: 31796 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.03 2.21 3/188 29292 /proc/meminfo: memFree=28479144/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58792 memory=31796 CPUtime=2202.14 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 72963 0 0 0 220210 4 0 0 20 0 1 0 92227541 60203008 7949 33554432000 4194304 5972588 140736415865120 140736415862424 4979170 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14698 7949 781 435 0 8061 0 Current children cumulated CPU time: 2202.14 s Current children cumulated vsize: 58792 KiB Current children cumulated memory: 31796 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.20 3/188 29293 /proc/meminfo: memFree=28479144/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58792 memory=31796 CPUtime=2262.13 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 74027 0 0 0 226209 4 0 0 20 0 1 0 92227541 60203008 7949 33554432000 4194304 5972588 140736415865120 140736415862424 5099616 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14698 7949 781 435 0 8061 0 Current children cumulated CPU time: 2262.13 s Current children cumulated vsize: 58792 KiB Current children cumulated memory: 31796 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.19 3/188 29294 /proc/meminfo: memFree=28479012/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58792 memory=31808 CPUtime=2322.13 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 75593 0 0 0 232209 4 0 0 20 0 1 0 92227541 60203008 7952 33554432000 4194304 5972588 140736415865120 140736415862424 4977653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14698 7952 781 435 0 8061 0 Current children cumulated CPU time: 2322.13 s Current children cumulated vsize: 58792 KiB Current children cumulated memory: 31808 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.18 3/187 29296 /proc/meminfo: memFree=28478896/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58792 memory=31808 CPUtime=2382.13 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 76521 0 0 0 238209 4 0 0 20 0 1 0 92227541 60203008 7952 33554432000 4194304 5972588 140736415865120 140736415862424 4978580 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14698 7952 781 435 0 8061 0 Current children cumulated CPU time: 2382.13 s Current children cumulated vsize: 58792 KiB Current children cumulated memory: 31808 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.17 3/187 29297 /proc/meminfo: memFree=28478656/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58792 memory=31808 CPUtime=2442.12 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 77471 0 0 0 244208 4 0 0 20 0 1 0 92227541 60203008 7952 33554432000 4194304 5972588 140736415865120 140736415862424 5099616 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14698 7952 781 435 0 8061 0 Current children cumulated CPU time: 2442.12 s Current children cumulated vsize: 58792 KiB Current children cumulated memory: 31808 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.16 3/186 29298 /proc/meminfo: memFree=28480168/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58792 memory=31808 CPUtime=2502.12 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 78382 0 0 0 250208 4 0 0 20 0 1 0 92227541 60203008 7952 33554432000 4194304 5972588 140736415865120 140736415862424 4972795 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14698 7952 781 435 0 8061 0 Current children cumulated CPU time: 2502.12 s Current children cumulated vsize: 58792 KiB Current children cumulated memory: 31808 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.15 3/186 29298 /proc/meminfo: memFree=28480168/32770624 swapFree=67108860/67108860 [pid=29096] ppid=29093 vsize=58792 memory=31808 CPUtime=2519.82 cores=1,3,5,7 /proc/29096/stat : 29096 (cosoco) R 29093 29096 24815 0 -1 4202496 79358 0 0 0 251978 4 0 0 20 0 1 0 92227541 60203008 7952 33554432000 4194304 5972588 140736415865120 140736415862424 5099616 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 38236160 140736415872186 140736415872286 140736415872286 140736415875022 0 /proc/29096/statm: 14698 7952 781 435 0 8061 0 Current children cumulated CPU time: 2519.82 s Current children cumulated vsize: 58792 KiB Current children cumulated memory: 31808 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 29096 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.79 s, system=0.049996 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.84 CPU user time (s): 2519.79 CPU system time (s): 0.049996 CPU usage (%): 99.9932 Max. virtual memory (cumulated for all children) (KiB): 58792 Max. memory (cumulated for all children) (KiB): 31808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.79 system time used= 0.049996 maximum resident set size= 31884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79408 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= 14 involuntary context switches= 1996 # summary of solver processes directly reported to runsolver: # pid: 29096 # total CPU time (s): 2519.84 # total CPU user time (s): 2519.79 # total CPU system time (s): 0.049996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.66458 second user time and 16.4104 second system time The end
Begin job on node113 at 2017-08-13 04:15:41 IDJOB=4266124 IDBENCH=138954 IDSOLVER=2655 FILE ID=node113/4266124-1502591399 RUNJOBID= node113-1502567255-24899 PBS_JOBID= 20628282 Free space on /tmp= 61808 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-13.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266124-1502591399/watcher-4266124-1502591399 -o /tmp/evaluation-result-4266124-1502591399/solver-4266124-1502591399 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24899 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266124-1502591399.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2c503f7a351e8b8ef7001234fe31d43f RANDOM SEED=310835048 node113.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.89 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.89 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.89 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.89 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: 27085824 kB MemAvailable: 31952336 kB Buffers: 132640 kB Cached: 5026224 kB SwapCached: 0 kB Active: 509728 kB Inactive: 4747304 kB Active(anon): 101104 kB Inactive(anon): 24988 kB Active(file): 408624 kB Inactive(file): 4722316 kB Unevictable: 6572 kB Mlocked: 6572 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2440 kB Writeback: 0 kB AnonPages: 104948 kB Mapped: 44668 kB Shmem: 25224 kB Slab: 128404 kB SReclaimable: 102816 kB SUnreclaim: 25588 kB KernelStack: 3312 kB PageTables: 4936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 401924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 45056 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61804 MiB End job on node113 at 2017-08-13 04:57:41