| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.03 | 2520.01 |
| Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h374-15.xml |
| MD5SUM | fdd30079817c8a7e676a6353b2e6ebba |
| 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 | 7.1181402 |
| 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.05 c SAT : Variables: 27000 -- Clauses: 392400 0.00/0.07 c root propagations : 4936 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-4266125-1502591473.xml 0.00/0.07 c ========================================[ Problem Statistics ]=========================================== 0.00/0.07 c | 0.00/0.07 c | Parse time : 0.05 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 699 7243 11222 890 3 623 660 591 0.00/0.09 c 20 1260 9298 13847 890 6 538 541 490 0.00/0.10 c 30 1879 11884 18186 890 9 584 596 535 0.10/0.12 c 40 2551 15256 25594 890 15 556 652 577 0.10/0.14 c 50 3256 18662 32604 890 22 593 683 590 0.10/0.15 c 60 3906 21756 38814 890 26 579 608 548 0.10/0.16 c 70 4645 24237 41467 890 30 466 555 479 0.10/0.17 c 80 5299 27085 46009 890 36 580 634 541 0.10/0.19 c 90 5997 30453 52423 890 45 473 672 564 0.10/0.21 c 100 6693 34266 60314 890 53 579 664 580 0.21/0.22 c 101 7310 36664 62993 890 54 617 617 308 0.21/0.23 c 110 7817 38723 65762 890 57 463 489 425 0.21/0.25 c 120 8504 42533 74393 890 64 518 666 566 0.21/0.26 c 130 9191 45871 81536 890 70 554 671 583 0.21/0.27 c 140 9756 48165 85680 890 72 534 544 492 0.21/0.29 c 150 10425 52003 95147 890 79 1 625 495 0.21/0.31 c 160 11110 55448 102445 890 88 550 656 560 0.31/0.33 c 170 11793 59539 112854 890 93 574 646 565 0.31/0.35 c 180 12461 62663 118532 890 100 501 650 495 0.31/0.36 c 190 13078 65587 123905 890 107 565 599 529 0.31/0.37 c 200 13674 68264 129201 890 109 572 578 522 0.31/0.39 c 210 14390 72495 139931 890 115 533 680 566 0.31/0.41 c 211 15009 74962 142708 890 116 619 619 309 0.40/0.42 c 220 15693 78356 149786 890 121 542 660 565 0.40/0.44 c 230 16381 81654 155662 890 130 547 673 580 0.40/0.46 c 240 17081 84915 161786 890 138 548 667 566 0.40/0.47 c 250 17668 87089 164302 890 147 535 568 503 0.40/0.48 c 260 18361 90787 173025 890 151 587 669 594 0.40/0.50 c 270 18995 93629 177703 890 153 599 605 547 0.50/0.52 c 280 19688 97552 186504 890 156 629 673 603 0.50/0.54 c 290 20414 101584 196151 890 163 623 706 624 0.50/0.55 c 300 21120 104864 202516 890 173 550 694 572 0.50/0.57 c 310 21793 108113 208447 890 183 550 664 570 0.50/0.59 c 320 22502 111333 214459 890 193 551 697 593 0.60/0.61 c 330 23188 115608 225995 890 199 552 653 576 0.60/0.62 c 332 23787 117726 228041 890 201 569 598 389 0.60/0.63 c 340 24487 121091 234622 890 209 554 678 561 0.60/0.65 c 350 25167 124443 240916 890 214 565 666 581 0.60/0.67 c 360 25854 127999 248639 890 223 563 674 585 0.60/0.69 c 370 26550 132104 259576 890 227 557 676 580 0.69/0.71 c 380 27270 135923 268270 890 235 556 702 591 0.69/0.73 c 390 27997 139492 275472 890 244 555 693 585 0.69/0.74 c 400 28725 143128 283221 890 253 557 706 607 0.69/0.76 c 410 29427 146627 290032 890 258 566 668 574 0.69/0.78 c 420 30144 150090 297314 890 265 555 691 574 0.79/0.80 c 430 30869 153646 304881 890 269 559 696 599 0.79/0.82 c 440 31573 157429 313886 890 274 562 687 601 0.79/0.83 c 450 32267 160977 321683 890 278 564 662 580 0.79/0.85 c 460 33000 164973 330575 890 286 642 716 626 0.79/0.87 c 465 33693 168098 335438 890 291 646 689 559 0.79/0.88 c 470 34357 170858 339384 890 296 578 660 525 0.89/0.90 c 480 35054 174398 347309 890 304 554 683 585 0.89/0.92 c 490 35779 177928 354303 890 312 571 673 576 0.89/0.94 c 500 36498 181609 363329 890 321 572 694 596 0.89/0.95 c 510 37191 184901 369649 890 328 565 683 585 0.89/0.97 c 520 37863 188079 375201 890 333 588 658 576 0.89/0.98 c 530 38535 191158 380280 890 338 569 659 581 0.89/1.00 c 540 39263 194527 386796 890 343 571 694 601 1.00/1.02 c 550 39975 198563 396561 890 353 566 691 590 1.00/1.04 c 560 40693 202245 403972 890 362 570 690 579 1.00/1.06 c 570 41399 205818 411514 890 369 658 676 609 1.00/1.07 c 580 42087 208988 417373 890 379 579 677 588 1.00/1.10 c 590 42876 213515 429308 890 388 649 741 648 1.10/1.11 c 600 43579 216857 435340 890 398 566 681 585 1.10/1.13 c 610 44324 221023 445160 890 405 574 704 621 1.10/1.14 c 611 44897 222928 446392 890 406 573 573 286 1.10/1.15 c 620 45474 225003 448686 890 412 547 554 497 1.10/1.17 c 630 46177 228858 457931 890 417 566 680 591 1.10/1.19 c 640 46911 232694 466902 890 421 566 686 596 1.19/1.21 c 650 47644 237123 478787 890 427 567 677 587 1.19/1.23 c 660 48368 241053 488064 890 430 561 689 598 1.19/1.25 c 670 49058 244915 496819 890 434 550 672 593 1.19/1.28 c 680 49788 249323 508997 890 439 567 704 609 1.19/1.29 c 690 50519 252978 516386 890 449 559 720 601 1.29/1.31 c 700 51208 256434 523356 890 459 559 676 589 1.29/1.33 c 710 51928 260046 530484 890 467 585 695 598 1.29/1.34 c 720 52574 262727 534185 890 476 558 629 546 1.29/1.36 c 730 53292 266012 539999 890 484 560 702 574 1.29/1.38 c 740 54035 270049 549126 890 490 560 701 600 1.29/1.39 c 750 54683 272700 552956 890 497 555 629 549 1.39/1.42 c 760 55504 277478 564938 890 501 561 698 602 1.39/1.43 c 770 56216 280904 571652 890 510 564 703 585 1.39/1.44 c 771 56777 282749 572771 890 511 561 561 280 1.39/1.46 c 780 57421 285571 576986 890 519 551 627 542 1.39/1.47 c 790 58081 288355 581316 890 525 564 636 563 1.39/1.49 c 800 58773 291616 586885 890 533 561 680 564 1.49/1.50 c 810 59479 295157 593803 890 538 562 692 604 1.49/1.52 c 820 60201 299061 602608 890 546 561 703 587 1.49/1.54 c 830 60860 301858 606667 890 554 563 641 556 1.49/1.55 c 840 61527 304827 611119 890 564 560 658 549 1.49/1.57 c 850 62243 308342 617612 890 574 563 678 575 1.49/1.58 c 860 62931 311593 623790 890 582 560 678 581 1.59/1.60 c 870 63581 314405 627578 890 590 594 625 553 1.59/1.62 c 880 64292 317996 635236 890 598 606 672 583 1.59/1.63 c 890 64984 321104 640435 890 607 561 671 567 1.59/1.65 c 900 65693 324653 647482 890 617 562 700 584 1.59/1.66 c 910 66327 327214 651026 890 625 599 621 557 1.59/1.68 c 920 67045 330907 658352 890 632 622 692 604 1.69/1.70 c 930 67702 333966 664255 890 637 617 629 569 1.69/1.71 c 940 68378 337280 670878 890 640 631 648 584 1.69/1.73 c 947 69057 340349 676115 890 647 584 667 554 1.69/1.74 c 950 69695 343099 680036 890 650 600 634 461 1.69/1.76 c 960 70400 346672 686993 890 658 651 679 600 1.69/1.77 c 970 71099 350028 693902 890 665 631 663 590 1.69/1.79 c 980 71825 353781 701584 890 675 610 711 618 1.79/1.81 c 990 72479 356596 706107 890 681 602 637 571 1.79/1.83 c 1000 73210 360215 713185 890 690 604 716 615 1.79/1.85 c 1010 73943 364081 722997 890 696 595 703 618 1.79/1.86 c 1020 74676 367892 731048 890 702 590 702 598 1.79/1.88 c 1030 75344 370952 736237 890 706 601 648 582 1.79/1.89 c 1040 75991 374015 741617 890 711 594 627 561 1.89/1.91 c 1050 76609 376463 745968 890 718 585 591 534 1.89/1.93 c 1060 77341 380450 755285 890 723 598 681 608 1.89/1.94 c 1070 78066 384096 762470 890 730 583 707 608 1.89/1.97 c 1080 78759 388394 774495 890 734 636 658 594 1.89/1.98 c 1090 79455 391557 780002 890 744 580 687 591 1.89/2.00 c 1100 80155 395100 787967 890 751 573 679 596 2.00/2.02 c 1110 80820 398608 795184 890 759 596 629 561 2.00/2.03 c 1120 81500 401696 800318 890 769 592 669 578 2.00/2.05 c 1130 82148 404721 805685 890 775 594 628 563 2.00/2.07 c 1140 82826 408337 813242 890 780 601 633 566 2.00/2.08 c 1141 83392 410254 814595 890 781 566 566 283 2.00/2.10 c 1150 84125 414040 823298 890 786 554 706 599 2.10/2.11 c 1160 84844 417453 830012 890 795 591 704 602 2.10/2.13 c 1170 85491 420543 835230 890 800 600 621 559 2.10/2.14 c 1180 86135 423389 839792 890 808 580 627 543 2.10/2.16 c 1190 86869 427408 849938 890 811 655 711 630 2.10/2.18 c 1200 87544 430528 855228 890 821 581 663 565 2.10/2.20 c 1210 88248 434002 862115 890 827 581 688 584 2.19/2.21 c 1220 88952 437601 870125 890 833 581 680 578 2.19/2.23 c 1230 89670 441326 878069 890 840 580 700 569 2.19/2.25 c 1240 90384 445194 886713 890 846 599 665 582 2.19/2.27 c 1250 91079 448773 894448 890 854 579 679 598 2.19/2.28 c 1260 91705 451523 899435 890 861 570 602 541 2.29/2.30 c 1270 92400 454794 905280 890 870 579 685 566 2.29/2.31 c 1280 93017 457229 908161 890 878 579 599 538 2.29/2.33 c 1290 93706 460777 915052 890 885 582 664 583 2.29/2.34 c 1300 94345 463342 918306 890 891 578 623 538 2.29/2.36 c 1310 95032 466597 924119 890 900 605 678 586 2.29/2.37 c 1320 95705 469460 928721 890 908 630 656 590 2.29/2.39 c 1330 96367 472554 934470 890 917 595 650 559 2.39/2.40 c 1340 97073 475961 940963 890 924 600 692 589 2.39/2.42 c 1350 97676 478333 944234 890 927 580 589 533 2.39/2.43 c 1352 98283 480531 946329 890 929 595 606 400 2.39/2.44 c 1360 98943 483352 950683 890 936 584 650 544 2.39/2.46 c 1370 99614 486700 957106 890 946 621 662 583 2.39/2.47 c 1380 100284 489554 961282 890 955 600 643 564 2.39/2.48 c 1390 100926 492096 964733 890 957 585 604 546 2.49/2.50 c 1400 101624 495379 971309 890 964 597 689 596 2.49/2.52 c 1410 102334 498773 978011 890 973 574 696 603 2.49/2.53 c 1420 103000 501753 983265 890 981 567 653 558 2.49/2.55 c 1430 103685 505074 989687 890 987 576 672 586 2.49/2.56 c 1440 104351 508042 994735 890 997 570 656 567 2.49/2.58 c 1450 105044 511603 1001714 890 1002 578 669 588 2.49/2.59 c 1460 105727 514817 1007513 890 1005 654 660 597 2.59/2.61 c 1470 106447 518353 1014797 890 1012 602 710 614 2.59/2.63 c 1480 107155 521960 1022333 890 1019 578 690 580 2.59/2.65 c 1490 107841 525660 1029951 890 1024 623 656 583 2.59/2.66 c 1500 108501 528543 1034423 890 1030 575 643 567 2.59/2.68 c 1510 109137 531189 1038713 890 1034 593 620 559 2.59/2.69 c 1520 109817 534093 1043494 890 1043 568 665 560 2.69/2.70 c 1530 110451 536654 1046969 890 1052 569 618 550 2.69/2.72 c 1540 111092 539608 1052759 890 1061 582 627 547 2.69/2.73 c 1550 111721 542327 1057521 890 1065 588 610 547 2.69/2.75 c 1560 112427 545669 1063743 890 1071 562 685 585 2.69/2.77 c 1570 113142 549522 1072569 890 1075 597 702 612 2.69/2.78 c 1580 113854 553070 1079490 890 1085 564 701 593 2.79/2.80 c 1585 114559 556487 1086429 890 1088 595 697 555 2.79/2.82 c 1590 115270 559795 1092402 890 1092 595 706 558 2.79/2.83 c 1600 115867 561923 1094736 890 1096 562 571 515 2.79/2.84 c 1610 116511 564671 1099898 890 1105 557 627 545 2.79/2.86 c 1620 117221 568162 1107074 890 1113 598 690 612 2.79/2.88 c 1630 117912 571465 1113383 890 1122 575 670 580 2.79/2.89 c 1640 118603 574627 1119305 890 1131 619 668 582 2.89/2.91 c 1650 119312 577989 1125193 890 1141 598 699 600 2.89/2.92 c 1660 119967 580989 1130551 890 1146 601 630 564 2.89/2.94 c 1670 120626 583878 1135264 890 1154 588 644 559 2.89/2.96 c 1680 121316 587511 1143355 890 1163 568 668 583 2.89/2.97 c 1690 122001 590596 1148354 890 1172 570 674 581 2.89/2.98 c 1700 122621 593087 1151714 890 1178 574 593 529 2.89/2.99 c 1710 123243 595655 1156281 890 1183 575 589 531 3.00/3.01 c 1720 123933 599510 1165439 890 1192 604 674 604 3.00/3.03 c 1730 124587 602669 1171865 890 1197 609 625 564 3.00/3.04 c 1740 125211 605243 1176341 890 1205 575 591 532 3.00/3.06 c 1750 125902 608572 1183177 890 1213 586 679 588 3.00/3.08 c 1760 126640 612481 1191946 890 1218 584 694 591 3.00/3.10 c 1770 127362 616129 1200802 890 1223 561 698 602 3.10/3.11 c 1780 128074 619615 1207920 890 1233 604 702 601 3.10/3.13 c 1790 128779 623202 1215282 890 1242 585 685 591 3.10/3.15 c 1800 129509 627414 1225270 890 1251 610 701 595 3.10/3.17 c 1810 130261 631190 1233215 890 1259 586 702 602 3.10/3.19 c 1820 130957 634587 1240072 890 1267 617 676 596 3.19/3.21 c 1830 131672 638292 1248379 890 1276 588 694 601 3.19/3.23 c 1840 132430 642514 1260635 890 1278 695 707 639 3.19/3.24 c 1841 133018 644553 1262265 890 1279 588 588 294 3.19/3.26 c 1850 133749 648307 1270076 890 1287 647 720 617 3.19/3.28 c 1860 134436 651659 1276252 890 1291 605 668 596 3.19/3.29 c 1870 135167 655479 1285307 890 1301 611 717 617 3.29/3.32 c 1880 135886 659743 1295780 890 1309 636 690 602 3.29/3.33 c 1890 136583 663303 1303175 890 1310 643 660 595 3.29/3.35 c 1900 137283 666780 1309827 890 1319 571 688 600 3.29/3.37 c 1910 137955 669782 1315267 890 1326 596 652 584 3.29/3.38 c 1920 138639 672991 1321037 890 1335 600 664 580 3.29/3.39 c 1930 139259 675478 1324402 890 1338 600 602 546 3.39/3.41 c 1940 139883 678086 1328139 890 1341 597 607 548 3.39/3.42 c 1950 140560 681279 1334140 890 1349 562 662 577 3.39/3.44 c 1960 141184 684022 1338328 890 1355 586 602 541 3.39/3.45 c 1970 141866 687417 1345165 890 1362 594 652 577 3.39/3.47 c 1980 142538 690805 1353034 890 1368 578 646 571 3.39/3.48 c 1990 143201 693574 1357246 890 1375 604 632 562 3.49/3.50 c 2000 143867 696496 1361817 890 1377 610 617 557 3.49/3.51 c 2010 144496 699058 1365676 890 1382 587 598 536 3.49/3.52 c 2020 145112 701689 1369527 890 1390 575 593 532 3.49/3.53 c 2030 145737 704410 1373885 890 1394 588 605 545 3.49/3.55 c 2040 146459 708229 1382263 890 1399 623 697 612 3.49/3.57 c 2050 147202 712036 1390324 890 1409 682 722 639 3.49/3.59 c 2060 147983 716214 1400318 890 1414 648 706 614 3.59/3.61 c 2070 148621 719297 1405860 890 1418 609 618 557 3.59/3.63 c 2080 149341 723168 1414055 890 1427 566 709 589 3.59/3.65 c 2090 150078 727171 1422877 890 1435 632 707 615 3.59/3.67 c 2100 150769 730995 1431071 890 1443 632 680 603 3.59/3.68 c 2110 151441 734036 1436476 890 1449 592 644 574 3.69/3.70 c 2120 152154 737598 1443820 890 1455 643 697 616 3.69/3.72 c 2122 152829 740604 1448922 890 1457 621 674 431 3.69/3.73 c 2130 153525 743888 1455088 890 1464 587 674 574 3.69/3.75 c 2140 154235 747154 1461260 890 1474 586 674 600 3.69/3.77 c 2150 154961 751075 1470652 890 1481 598 687 603 3.69/3.79 c 2160 155664 754556 1478034 890 1486 599 693 603 3.79/3.80 c 2170 156358 757814 1484069 890 1493 587 675 598 3.79/3.82 c 2180 157051 761935 1494347 890 1499 585 677 595 3.79/3.85 c 2190 157796 766761 1508277 890 1504 667 690 620 3.79/3.86 c 2200 158485 769750 1513639 890 1512 582 668 591 3.79/3.88 c 2210 159202 773506 1522233 890 1518 585 698 607 3.89/3.90 c 2220 159922 776973 1529284 890 1524 585 701 605 3.89/3.92 c 2230 160668 781095 1539103 890 1527 629 715 635 3.89/3.95 c 2240 161404 786147 1551286 890 1531 588 657 586 3.89/3.96 c 2250 162103 789576 1558448 890 1541 583 670 588 3.89/3.99 c 2260 162840 793789 1568457 890 1550 584 696 598 3.89/4.00 c 2270 163524 796769 1573471 890 1559 582 675 592 3.99/4.02 c 2280 164190 800003 1579879 890 1565 583 653 579 3.99/4.04 c 2290 164864 803352 1586333 890 1572 604 659 581 3.99/4.05 c 2300 165534 806094 1590554 890 1580 582 660 583 3.99/4.06 c 2310 166206 809181 1596251 890 1587 605 641 571 3.99/4.09 c 2320 166958 813338 1606539 890 1596 610 710 603 4.09/4.10 c 2330 167647 817000 1614797 890 1605 640 674 601 4.09/4.12 c 2340 168340 820567 1622354 890 1609 583 674 599 4.09/4.14 c 2350 169089 824487 1631902 890 1616 568 708 618 4.09/4.16 c 2360 169823 828020 1639209 890 1626 643 721 618 4.09/4.18 c 2370 170509 831933 1648989 890 1636 569 670 585 4.18/4.20 c 2380 171219 835327 1655483 890 1641 572 682 597 4.18/4.21 c 2390 171907 838508 1661288 890 1646 582 668 590 4.18/4.23 c 2400 172570 841821 1668307 890 1652 627 648 580 4.18/4.25 c 2410 173290 845382 1675507 890 1658 568 693 614 4.18/4.26 c 2420 173992 848692 1681863 890 1664 569 664 590 4.18/4.28 c 2430 174677 852740 1691759 890 1669 632 660 593 4.18/4.29 c 2431 175274 854857 1693659 890 1670 597 597 298 4.28/4.31 c 2440 175909 857437 1697290 890 1676 581 606 541 4.28/4.32 c 2450 176594 860695 1703543 890 1686 586 666 578 4.28/4.34 c 2460 177252 863702 1708494 890 1694 585 647 571 4.28/4.36 c 2470 177953 866975 1714619 890 1703 575 683 599 4.28/4.38 c 2480 178656 870981 1724515 890 1711 583 689 578 4.38/4.40 c 2490 179414 875095 1734135 890 1717 592 692 598 4.38/4.42 c 2500 180132 878889 1742471 890 1722 570 696 618 4.38/4.44 c 2510 180896 883214 1753851 890 1726 641 718 637 4.38/4.46 c 2520 181576 886716 1761432 890 1735 647 666 596 4.38/4.47 c 2530 182267 890041 1768548 890 1743 573 671 593 4.38/4.49 c 2540 182940 892842 1772749 890 1748 581 637 571 4.48/4.50 c 2550 183556 895403 1777727 890 1752 577 590 530 4.48/4.52 c 2560 184247 898680 1783753 890 1762 582 678 595 4.48/4.54 c 2570 184977 903121 1794867 890 1769 630 704 606 4.48/4.56 c 2580 185689 906618 1802232 890 1777 596 690 597 4.48/4.57 c 2590 186399 910038 1808746 890 1787 611 691 597 4.48/4.59 c 2600 187080 913549 1815461 890 1791 566 661 571 4.58/4.61 c 2610 187791 917056 1822796 890 1796 662 675 607 4.58/4.63 c 2620 188484 920380 1829430 890 1806 597 679 585 4.58/4.64 c 2630 189187 923767 1835901 890 1816 576 670 575 4.58/4.66 c 2640 189879 926917 1841435 890 1826 582 681 597 4.58/4.68 c 2650 190609 930730 1850309 890 1833 567 688 577 4.58/4.69 c 2660 191289 933942 1856080 890 1840 582 665 592 4.68/4.71 c 2670 191987 937409 1862951 890 1849 583 682 589 4.68/4.73 c 2680 192681 940697 1869367 890 1859 582 681 584 4.68/4.75 c 2690 193423 944400 1877646 890 1867 582 698 598 4.68/4.76 c 2700 194120 947545 1883110 890 1876 626 685 608 4.68/4.78 c 2710 194811 950760 1888967 890 1886 583 679 586 4.78/4.80 c 2720 195544 954382 1896777 890 1894 609 721 611 4.78/4.82 c 2730 196243 958954 1909831 890 1901 585 673 595 4.78/4.84 c 2740 196946 962951 1919132 890 1904 661 672 609 4.78/4.86 c 2750 197640 966112 1924733 890 1909 607 672 582 4.78/4.88 c 2760 198342 969517 1931541 890 1919 585 684 581 4.78/4.89 c 2770 199049 972706 1937236 890 1926 588 689 598 4.88/4.90 c 2771 199721 975543 1941199 890 1927 672 672 336 4.88/4.92 c 2780 200424 978841 1947911 890 1934 603 684 572 4.88/4.94 c 2790 201114 982223 1954727 890 1942 585 676 590 4.88/4.96 c 2800 201813 985615 1961464 890 1952 650 690 613 4.88/4.97 c 2810 202514 989247 1971930 890 1957 632 648 584 4.88/4.99 c 2820 203186 992720 1978605 890 1966 585 631 559 4.99/5.01 c 2830 203910 996692 1987967 890 1972 653 698 622 4.99/5.03 c 2840 204588 1000497 1996226 890 1978 585 661 582 4.99/5.04 c 2850 205240 1003190 1999605 890 1981 611 621 559 4.99/5.06 c 2860 205882 1006043 2004224 890 1991 602 629 556 4.99/5.08 c 2870 206577 1009961 2014041 890 2001 606 676 587 4.99/5.09 c 2880 207236 1012755 2017639 890 2008 605 637 558 4.99/5.10 c 2890 207857 1015201 2020434 890 2011 595 603 546 5.09/5.12 c 2900 208508 1018137 2025564 890 2021 606 627 561 5.09/5.13 c 2910 209164 1020785 2029226 890 2027 613 638 574 5.09/5.14 c 2920 209814 1023432 2032636 890 2029 595 624 561 5.09/5.16 c 2930 210476 1026212 2036749 890 2039 599 647 575 5.09/5.17 c 2940 211180 1029662 2044043 890 2046 624 680 600 5.09/5.19 c 2950 211864 1032832 2049868 890 2053 615 658 578 5.18/5.21 c 2960 212569 1036098 2056235 890 2058 674 685 616 5.18/5.22 c 2970 213292 1039810 2064845 890 2066 584 698 599 5.18/5.24 c 2980 214034 1043548 2072417 890 2074 600 710 605 5.18/5.26 c 2990 214770 1047661 2082464 890 2079 587 717 626 5.18/5.28 c 3000 215504 1051428 2090265 890 2085 598 683 591 5.28/5.30 c 3010 216223 1055027 2097799 890 2093 607 699 613 5.28/5.32 c 3020 216911 1058392 2104704 890 2099 597 664 592 5.28/5.33 c 3030 217582 1061593 2110488 890 2105 600 653 577 5.28/5.35 c 3040 218313 1065394 2118994 890 2111 582 701 612 5.28/5.37 c 3050 219001 1068570 2124470 890 2115 597 670 597 5.28/5.39 c 3060 219716 1072725 2134358 890 2119 605 683 602 5.38/5.41 c 3070 220357 1075879 2140140 890 2123 619 623 564 5.38/5.42 c 3080 221079 1079151 2146499 890 2128 644 660 596 5.38/5.44 c 3090 221820 1083421 2156793 890 2135 597 695 604 5.38/5.47 c 3100 222533 1087704 2167667 890 2142 597 694 599 5.38/5.48 c 3110 223223 1091068 2174380 890 2150 612 676 594 5.48/5.50 c 3120 223904 1094230 2179840 890 2160 597 671 567 5.48/5.52 c 3130 224643 1098321 2190050 890 2166 583 694 609 5.48/5.53 c 3140 225313 1101352 2194951 890 2175 598 652 563 5.48/5.55 c 3142 225959 1104053 2198499 890 2177 585 643 409 5.48/5.56 c 3150 226620 1107151 2203978 890 2184 597 645 549 5.48/5.58 c 3160 227341 1110439 2210262 890 2194 593 704 603 5.48/5.59 c 3170 228059 1113840 2216949 890 2200 654 685 609 5.58/5.61 c 3180 228749 1117077 2222854 890 2204 588 673 592 5.58/5.63 c 3190 229468 1120982 2231569 890 2214 589 688 586 5.58/5.65 c 3200 230155 1124117 2236846 890 2223 597 676 569 5.58/5.66 c 3210 230864 1127704 2244197 890 2233 643 691 612 5.58/5.68 c 3220 231540 1131357 2252513 890 2241 611 659 591 5.68/5.70 c 3230 232241 1135199 2261363 890 2247 618 671 599 5.68/5.72 c 3240 232891 1137957 2265364 890 2253 593 633 547 5.68/5.73 c 3250 233569 1141290 2271989 890 2262 600 666 571 5.68/5.75 c 3260 234279 1145073 2280177 890 2266 574 692 601 5.68/5.77 c 3270 234983 1148357 2286091 890 2276 587 689 589 5.68/5.78 c 3280 235641 1151363 2291195 890 2284 601 645 570 5.78/5.80 c 3290 236340 1155062 2299485 890 2289 618 677 606 5.78/5.82 c 3300 237002 1158023 2304403 890 2299 597 652 568 5.78/5.84 c 3310 237719 1161925 2313790 890 2304 637 694 613 5.78/5.85 c 3320 238423 1165580 2321144 890 2309 598 682 586 5.78/5.87 c 3330 239076 1168499 2326023 890 2319 594 642 567 5.78/5.89 c 3340 239788 1172723 2336890 890 2327 656 683 614 5.88/5.91 c 3350 240456 1176067 2343174 890 2332 621 640 576 5.88/5.92 c 3360 241148 1179495 2350278 890 2342 610 677 599 5.88/5.94 c 3370 241872 1183326 2358402 890 2346 601 695 606 5.88/5.96 c 3380 242592 1186932 2366311 890 2355 648 693 607 5.88/5.98 c 3390 243292 1190521 2373992 890 2362 609 676 589 5.88/6.00 c 3400 243997 1194115 2381507 890 2370 632 683 599 5.99/6.01 c 3410 244661 1197296 2388037 890 2372 610 646 582 5.99/6.03 c 3420 245344 1200684 2395272 890 2377 609 668 598 5.99/6.05 c 3430 246040 1204068 2402467 890 2385 613 680 599 5.99/6.06 c 3440 246741 1207294 2409107 890 2391 580 650 578 5.99/6.08 c 3450 247465 1211127 2418145 890 2397 625 697 617 5.99/6.10 c 3460 248161 1214534 2425207 890 2405 611 673 593 6.09/6.12 c 3470 248856 1217781 2431306 890 2411 582 676 585 6.09/6.13 c 3480 249555 1220961 2436690 890 2421 647 690 611 6.09/6.15 c 3490 250274 1224347 2443274 890 2427 584 697 594 6.09/6.17 c 3500 250966 1227588 2449111 890 2433 626 674 598 6.09/6.18 c 3510 251666 1230877 2455297 890 2440 595 684 593 6.18/6.20 c 3520 252363 1234162 2461494 890 2448 595 681 593 6.18/6.22 c 3530 253084 1237784 2468771 890 2453 595 691 603 6.18/6.23 c 3540 253775 1240848 2473830 890 2457 638 672 606 6.18/6.25 c 3550 254496 1244224 2480087 890 2463 618 697 620 6.18/6.26 c 3551 255119 1246530 2482371 890 2464 623 623 311 6.18/6.28 c 3560 255819 1250317 2491879 890 2469 619 684 601 6.18/6.29 c 3570 256502 1253688 2498355 890 2479 599 673 577 6.28/6.31 c 3580 257212 1256925 2504287 890 2482 617 685 610 6.28/6.33 c 3590 257918 1260365 2511109 890 2490 644 687 607 6.28/6.34 c 3600 258593 1263634 2517174 890 2499 564 663 566 6.28/6.36 c 3610 259296 1267344 2525245 890 2509 619 687 599 6.28/6.38 c 3620 260044 1271676 2536466 890 2515 620 712 627 6.38/6.41 c 3630 260787 1275978 2547647 890 2520 619 709 604 6.38/6.42 c 3640 261502 1279533 2554840 890 2527 561 696 597 6.38/6.44 c 3650 262195 1283233 2563015 890 2536 632 672 596 6.38/6.46 c 3660 262919 1287220 2572742 890 2545 631 700 619 6.38/6.48 c 3670 263630 1290960 2580297 890 2550 613 673 601 6.48/6.50 c 3680 264348 1294627 2588041 890 2558 618 698 608 6.48/6.52 c 3690 265014 1297888 2594142 890 2561 614 639 572 6.48/6.53 c 3700 265695 1300999 2599738 890 2570 621 665 592 6.48/6.55 c 3710 266350 1304152 2605240 890 2578 608 635 569 6.48/6.56 c 3720 267036 1307395 2611263 890 2586 608 669 589 6.48/6.59 c 3730 267745 1311475 2622259 890 2589 600 671 600 6.58/6.60 c 3740 268446 1314740 2628202 890 2593 598 675 600 6.58/6.62 c 3750 269117 1317881 2633920 890 2599 603 657 585 6.58/6.64 c 3760 269839 1321575 2642083 890 2605 615 696 612 6.58/6.65 c 3770 270548 1325039 2648759 890 2609 638 686 611 6.58/6.67 c 3780 271239 1328293 2654492 890 2618 562 674 576 6.58/6.69 c 3790 271943 1332010 2662768 890 2625 565 695 584 6.68/6.70 c 3800 272616 1334978 2667429 890 2631 567 663 574 6.68/6.72 c 3810 273321 1338792 2675811 890 2638 627 684 605 6.68/6.74 c 3820 274025 1342659 2684555 890 2648 584 684 578 6.68/6.76 c 3830 274735 1346271 2691709 890 2656 619 664 588 6.68/6.78 c 3840 275457 1349660 2697902 890 2660 669 686 614 6.68/6.79 c 3850 276189 1353136 2704386 890 2670 608 722 586 6.78/6.81 c 3860 276877 1356321 2709828 890 2679 613 665 583 6.78/6.83 c 3870 277565 1359514 2715626 890 2683 615 667 596 6.78/6.84 c 3880 278264 1362916 2722415 890 2692 614 687 593 6.78/6.86 c 3890 278965 1366226 2728708 890 2700 656 676 603 6.78/6.88 c 3900 279650 1369295 2734034 890 2705 617 664 588 6.78/6.89 c 3910 280335 1372753 2741050 890 2711 617 640 572 6.88/6.91 c 3920 281010 1375788 2746149 890 2721 616 666 590 6.88/6.92 c 3930 281676 1378666 2750511 890 2730 615 653 584 6.88/6.94 c 3940 282346 1381826 2756983 890 2736 619 636 572 6.88/6.95 c 3950 282966 1384193 2759944 890 2741 595 599 542 6.88/6.96 c 3960 283607 1387039 2764756 890 2746 563 623 557 6.88/6.98 c 3970 284286 1390452 2771386 890 2756 618 667 591 6.88/7.00 c 3980 284975 1394177 2779395 890 2762 577 649 568 6.99/7.02 c 3990 285677 1397682 2786216 890 2769 609 688 613 6.99/7.03 c 4000 286361 1400876 2792117 890 2777 613 663 591 6.99/7.04 c 4001 286978 1403185 2794375 890 2778 617 617 308 6.99/7.06 c 4010 287671 1406642 2801396 890 2784 625 661 585 6.99/7.08 c 4020 288371 1409920 2807426 890 2792 609 679 589 6.99/7.09 c 4030 289047 1412734 2811533 890 2799 620 661 586 7.09/7.11 c 4040 289760 1416099 2817525 890 2804 657 666 601 7.09/7.12 c 4050 290435 1419600 2824858 890 2813 625 651 578 7.09/7.14 c 4060 291140 1423154 2831960 890 2819 624 684 603 7.09/7.16 c 4070 291781 1425975 2836371 890 2823 575 616 552 7.09/7.17 c 4080 292487 1429699 2844060 890 2832 603 666 586 7.09/7.19 c 4090 293190 1433071 2850571 890 2836 656 663 601 7.18/7.21 c 4100 293889 1436451 2857583 890 2846 608 687 602 7.18/7.22 c 4110 294557 1439345 2862223 890 2856 594 659 584 7.18/7.24 c 4120 295244 1442509 2867721 890 2865 608 674 587 7.18/7.26 c 4130 295930 1445826 2874133 890 2871 594 638 571 7.18/7.27 c 4140 296641 1449104 2879778 890 2876 662 688 615 7.18/7.29 c 4150 297334 1452465 2886205 890 2883 602 675 595 7.28/7.31 c 4160 298044 1456351 2895457 890 2887 597 680 594 7.28/7.32 c 4170 298737 1459680 2901636 890 2893 612 662 581 7.28/7.34 c 4180 299408 1462721 2907092 890 2898 609 643 574 7.28/7.36 c 4190 300094 1466027 2913406 890 2904 608 653 578 7.28/7.37 c 4200 300749 1468930 2918175 890 2910 607 638 569 7.28/7.38 c 4210 301428 1471910 2923133 890 2919 594 656 582 7.38/7.40 c 4220 302079 1474850 2927934 890 2925 601 630 562 7.38/7.42 c 4230 302786 1477937 2933225 890 2935 587 689 579 7.38/7.43 c 4240 303443 1480645 2937150 890 2941 586 631 555 7.38/7.44 c 4250 304089 1483187 2940704 890 2947 621 630 569 7.38/7.46 c 4260 304773 1486549 2947294 890 2955 594 670 588 7.38/7.48 c 4270 305442 1490500 2956408 890 2964 618 648 572 7.38/7.49 c 4280 306113 1493345 2960691 890 2969 600 619 560 7.49/7.51 c 4290 306775 1496357 2965988 890 2975 604 649 581 7.49/7.52 c 4300 307470 1499801 2972418 890 2979 605 675 591 7.49/7.54 c 4310 308180 1503592 2980896 890 2983 606 691 595 7.49/7.56 c 4320 308864 1506679 2986322 890 2993 581 675 576 7.49/7.57 c 4330 309509 1509729 2991681 890 2999 610 629 565 7.49/7.59 c 4340 310201 1513361 2999369 890 3006 579 664 590 7.59/7.61 c 4350 310925 1517239 3007828 890 3012 607 694 614 7.59/7.63 c 4360 311636 1520765 3014949 890 3017 578 695 599 7.59/7.65 c 4370 312340 1524164 3021430 890 3025 604 680 595 7.59/7.66 c 4380 313050 1527655 3028355 890 3032 605 686 591 7.59/7.68 c 4390 313737 1530907 3034274 890 3042 604 676 596 7.59/7.69 c 4400 314399 1533935 3039605 890 3048 604 649 581 7.69/7.71 c 4410 315118 1537725 3048213 890 3053 649 689 596 7.69/7.73 c 4420 315763 1540305 3051383 890 3063 599 632 561 7.69/7.74 c 4430 316485 1543675 3057391 890 3071 583 710 599 7.69/7.76 c 4440 317191 1547064 3063615 890 3080 615 690 595 7.69/7.77 c 4450 317827 1549610 3067091 890 3086 577 622 554 7.69/7.79 c 4460 318543 1553293 3074950 890 3092 612 692 595 7.79/7.81 c 4470 319246 1556868 3082298 890 3099 591 683 574 7.79/7.83 c 4480 319968 1560541 3090031 890 3105 603 685 602 7.79/7.85 c 4490 320690 1564103 3096861 890 3112 608 686 606 7.79/7.86 c 4493 321327 1566772 3100324 890 3115 604 635 468 7.79/7.87 c 4500 321997 1569807 3105638 890 3119 636 647 561 7.79/7.89 c 4510 322686 1573235 3112732 890 3125 607 661 588 7.89/7.91 c 4520 323369 1576492 3118920 890 3132 611 666 590 7.89/7.92 c 4530 324049 1579708 3124963 890 3141 557 667 573 7.89/7.94 c 4540 324768 1583039 3131105 890 3151 576 700 592 7.89/7.95 c 4550 325447 1586157 3136437 890 3157 585 652 577 7.89/7.97 c 4560 326118 1589084 3140936 890 3164 612 654 580 7.89/7.99 c 4570 326799 1592425 3147361 890 3167 605 650 582 7.89/8.00 c 4580 327473 1595381 3151885 890 3176 590 651 561 8.00/8.02 c 4590 328149 1598709 3158313 890 3180 605 654 584 8.00/8.03 c 4600 328844 1602197 3165311 890 3187 638 668 594 8.00/8.05 c 4610 329562 1605770 3172889 890 3194 605 701 601 8.00/8.07 c 4620 330242 1609049 3179122 890 3203 593 656 571 8.00/8.09 c 4630 330943 1612880 3187078 890 3213 581 679 588 8.10/8.10 c 4640 331630 1616194 3193277 890 3221 606 670 587 8.10/8.12 c 4650 332275 1618950 3197555 890 3231 587 635 562 8.10/8.14 c 4660 333004 1622945 3206673 890 3236 617 690 610 8.10/8.16 c 4670 333720 1626526 3213491 890 3245 604 704 608 8.10/8.17 c 4680 334406 1630001 3220237 890 3254 580 677 582 8.10/8.19 c 4690 335091 1633259 3225977 890 3260 598 663 586 8.19/8.21 c 4700 335810 1637015 3234129 890 3265 566 699 611 8.19/8.22 c 4710 336486 1640102 3240007 890 3271 603 660 586 8.19/8.24 c 4720 337170 1643799 3247853 890 3278 570 662 586 8.19/8.26 c 4730 337882 1647806 3257597 890 3288 577 674 574 8.19/8.28 c 4740 338574 1651143 3263540 890 3294 600 670 592 8.29/8.30 c 4750 339257 1654435 3269718 890 3300 559 672 593 8.29/8.31 c 4760 339876 1657034 3273401 890 3307 580 598 537 8.29/8.33 c 4770 340575 1660569 3280606 890 3313 598 659 579 8.29/8.34 c 4780 341255 1663768 3286037 890 3320 565 651 557 8.29/8.36 c 4790 341967 1667803 3295958 890 3330 577 674 574 8.29/8.38 c 4800 342680 1671747 3304690 890 3334 595 670 593 8.39/8.40 c 4810 343383 1675295 3312038 890 3344 565 694 575 8.39/8.42 c 4820 344132 1679109 3320373 890 3352 612 686 595 8.39/8.44 c 4830 344793 1682020 3324765 890 3360 569 642 563 8.39/8.45 c 4840 345488 1685235 3330035 890 3370 648 682 607 8.39/8.47 c 4850 346178 1688529 3336273 890 3377 598 667 590 8.39/8.49 c 4860 346891 1692133 3344287 890 3382 647 669 592 8.49/8.50 c 4870 347544 1695047 3348884 890 3389 616 635 568 8.49/8.52 c 4880 348240 1698318 3354704 890 3393 589 678 591 8.49/8.53 c 4890 348858 1701034 3358857 890 3400 559 603 534 8.49/8.55 c 4900 349579 1704859 3367220 890 3405 565 694 600 8.49/8.56 c 4910 350196 1707545 3371238 890 3412 574 602 537 8.49/8.58 c 4920 350899 1711457 3380216 890 3416 654 682 612 8.59/8.60 c 4930 351568 1714635 3385748 890 3425 588 654 563 8.59/8.62 c 4940 352289 1718122 3392092 890 3434 573 697 562 8.59/8.63 c 4950 352979 1721357 3397953 890 3444 559 667 563 8.59/8.65 c 4960 353652 1724565 3403769 890 3451 561 637 562 8.59/8.67 c 4970 354312 1727928 3409519 890 3457 550 634 560 8.59/8.68 c 4980 354998 1731010 3414507 890 3467 563 677 575 8.69/8.70 c 4990 355705 1734419 3420677 890 3476 559 683 558 8.69/8.74 c 5035 356575 1741666 3444930 890 3487 593 697 656 9.10/9.13 c 5631 360350 1810629 3788643 890 3500 560 721 691 9.49/9.52 c 6286 364073 1879991 4126191 890 3513 627 734 697 10.09/10.16 c 7006 368888 1992400 4723554 890 3533 646 722 688 10.59/10.66 c 7798 373394 2078816 5145027 890 3553 639 723 692 11.29/11.30 c 8669 379347 2191937 5731231 890 3575 584 731 696 11.79/11.88 c 9627 383932 2292539 6256690 890 3584 626 708 681 12.29/12.32 c 10680 388567 2369881 6662578 890 3603 570 706 678 12.78/12.85 c 11838 394374 2462437 7111375 890 3635 572 728 643 13.48/13.58 c 13111 405550 2593064 7592333 890 3666 564 719 651 14.18/14.29 c 14511 412813 2718162 8211895 890 3680 618 726 685 15.09/15.17 c 16051 421251 2870569 8959620 890 3711 596 738 673 16.38/16.40 c 17745 431774 3086342 10000928 890 3720 608 739 685 17.48/17.54 c 19608 440550 3284953 11060629 890 3734 552 719 687 18.58/18.61 c 21657 450641 3473954 12023025 890 3763 557 739 715 19.99/20.06 c 23910 464425 3728846 13396616 890 3778 552 734 700 21.88/21.99 c 26388 475543 4063756 15229594 890 3796 655 731 700 23.38/23.50 c 29113 487122 4330802 16616978 890 3817 632 723 689 24.88/24.98 c 32110 501345 4593865 18078237 890 3836 579 725 688 27.18/27.24 c 35406 519524 4993339 20063826 890 3852 558 731 698 29.67/29.74 c 39031 541956 5434313 22393207 890 3876 602 739 685 32.37/32.40 c 43018 562746 5902592 24973739 890 3889 625 741 686 34.67/34.72 c 47403 586326 6317799 27232322 890 3903 640 740 699 37.37/37.44 c 52226 605906 6796057 29834712 890 3932 608 728 696 40.57/40.63 c 57531 631620 7354498 32887831 890 3965 604 722 681 45.37/45.45 c 63366 660161 8202852 37337706 890 3976 559 728 685 49.17/49.22 c 69784 687318 8870422 40869383 890 3992 636 718 677 53.67/53.74 c 76843 730183 9678453 44889967 890 4018 582 745 691 57.77/57.88 c 84607 764549 10412883 48838952 890 4037 601 715 679 62.67/62.74 c 93147 804461 11271381 53624180 890 4062 595 729 695 68.47/68.53 c 102541 850413 12297341 58943774 890 4080 608 712 670 73.98/74.08 c 112874 897996 13267608 64305695 890 4107 566 732 686 81.57/81.68 c 124240 942770 14607603 71335551 890 4127 603 719 675 88.47/88.51 c 136742 1005821 15823451 77966107 890 4148 611 744 692 94.47/94.50 c 150494 1057927 16878937 83397767 890 4181 575 711 666 104.08/104.14 c 165621 1138342 18601413 91958616 890 4211 586 756 705 112.87/113.00 c 182260 1221632 20179259 100305162 890 4232 597 737 698 122.27/122.33 c 200562 1315395 21860569 109121662 890 4260 562 754 704 133.37/133.44 c 220694 1405102 23825916 119351288 890 4298 566 725 679 145.67/145.76 c 242839 1505519 26006899 130933404 890 4325 601 722 681 159.08/159.12 c 267198 1613601 28373628 143202697 890 4355 607 719 680 171.98/172.06 c 293992 1728849 30676578 155881921 890 4381 576 756 706 190.17/190.22 c 323465 1866065 33883195 171596216 890 4403 557 719 671 212.27/212.34 c 355885 2065276 37806354 191761276 890 4418 648 735 694 231.18/231.21 c 391547 2235584 41147453 208781867 890 4448 622 733 678 253.48/253.57 c 430775 2400255 45104853 230226307 890 4473 628 734 685 277.09/277.19 c 473925 2603020 49278514 252087290 890 4511 583 729 674 306.48/306.53 c 521390 2869445 54470197 279760015 890 4535 609 736 693 333.18/333.20 c 573601 3118545 59201058 304099517 890 4563 588 737 688 363.58/363.67 c 631033 3351898 64600037 333376078 890 4578 611 742 695 398.78/398.86 c 694208 3671754 70849105 363371495 890 4597 603 742 675 438.39/438.41 c 763700 3997892 77872262 398709142 890 4618 613 753 696 488.99/489.05 c 840141 4407132 86791673 449016397 890 4641 607 744 696 527.59/527.63 c 924226 4810353 93682915 482513755 890 4673 595 740 686 575.49/575.55 c 1016719 5278150 102221739 526870426 890 4697 541 757 708 634.79/634.83 c 1118461 5849850 112787178 580411217 890 4728 589 755 700 717.89/717.93 c 1230377 6474359 127472463 658037904 890 4740 635 745 692 789.19/789.30 c 1353484 6997458 140025867 729885968 890 4768 597 747 695 854.59/854.63 c 1488901 7614418 151611771 791042189 890 4789 652 747 690 930.49/930.51 c 1637859 8246700 165044582 860889233 890 4820 600 738 686 1023.89/1023.94 c 1801712 9056959 181602028 948361598 890 4844 629 743 691 1105.39/1105.48 c 1981950 9783686 195949962 1026352487 890 4859 598 738 686 1216.39/1216.42 c 2180211 10845683 215841800 1129705220 890 4882 563 754 694 1334.50/1334.54 c 2398298 11731809 236723919 1243528902 890 4907 588 720 679 1464.01/1464.04 c 2638193 12888888 259572278 1361353515 890 4927 629 742 685 1593.11/1593.11 c 2902077 13852797 282262038 1487447761 890 4956 603 739 689 1739.20/1739.28 c 3192349 15074132 308272995 1625688739 890 4994 573 767 698 1898.41/1898.44 c 3511648 16617676 336447884 1785902510 890 5024 618 756 694 2073.31/2073.40 c 3862876 18031984 367265839 1947895098 890 5053 623 738 685 2272.02/2272.05 c 4249226 19709292 402506531 2121182957 890 5064 552 731 680 2504.51/2504.53 c 4674211 21948273 443780061 2329481010 890 5092 596 753 689 2520.02/2520.00 2520.02/2520.00 c *** INTERRUPTED *** 2520.02/2520.00 c restarts : 588 2520.02/2520.00 c conflicts : 4702046 (1866 /sec) 2520.02/2520.00 c decisions : 22075722 (8760 /sec) 2520.02/2520.00 c propagations : 2343936175 (930135 /sec) 2520.02/2520.00 c root propagations : 4936 2520.02/2520.00 c filter calls : 446509256 (177187 /sec) 2520.02/2520.00 c useless filter calls : 118158006 (26 %) 2520.02/2520.00 c 2520.02/2520.00 c clauses : 399292 2520.02/2520.00 c SAT propagations : 1087765 2520.02/2520.00 c SAT conflicts : 0 (0 learnts) 2520.02/2520.00 c Memory used : 57.34 MB 2520.02/2520.00 c CPU time : 2519.99 s 2520.02/2520.00 2520.02/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 (14271 MiB free)
memory of node 1: 16384 MiB (14827 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266125-1502591473/watcher-4266125-1502591473 -o /tmp/evaluation-result-4266125-1502591473/solver-4266125-1502591473 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24252 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266125-1502591473.xml
running on 4 cores: 0,2,4,6
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=27199, runsolver pid=27196
[startup+0.100108 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29772156/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=53408 memory=28768 CPUtime=0.1 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 5821 0 0 0 10 0 0 0 20 0 1 0 92235533 54689792 7192 33554432000 4194304 5972588 140730813052768 140730813049416 5338169 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 13352 7192 781 435 0 6715 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53408 KiB
Current children cumulated memory: 28768 KiB
[startup+0.209491 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29771040/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=53916 memory=29284 CPUtime=0.21 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 5972 0 0 0 21 0 0 0 20 0 1 0 92235533 55209984 7321 33554432000 4194304 5972588 140730813052768 140730813049416 5338185 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 13479 7321 781 435 0 6842 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53916 KiB
Current children cumulated memory: 29284 KiB
[startup+0.309028 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29771040/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=54048 memory=29284 CPUtime=0.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 5995 0 0 0 31 0 0 0 20 0 1 0 92235533 55345152 7321 33554432000 4194304 5972588 140730813052768 140730813049416 4975092 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 13512 7321 781 435 0 6875 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54048 KiB
Current children cumulated memory: 29284 KiB
[startup+0.700229 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29771336/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=54048 memory=29284 CPUtime=0.69 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 6012 0 0 0 69 0 0 0 20 0 1 0 92235533 55345152 7321 33554432000 4194304 5972588 140730813052768 140730813050072 4978745 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 13512 7321 781 435 0 6875 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54048 KiB
Current children cumulated memory: 29284 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29770968/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=54048 memory=29544 CPUtime=1.49 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 6046 0 0 0 149 0 0 0 20 0 1 0 92235533 55345152 7386 33554432000 4194304 5972588 140730813052768 140730813050072 4977689 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 13512 7386 781 435 0 6875 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54048 KiB
Current children cumulated memory: 29544 KiB
[startup+3.10908 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29770596/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=54160 memory=29940 CPUtime=3.1 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 9645 0 0 0 310 0 0 0 20 0 1 0 92235533 55459840 7485 33554432000 4194304 5972588 140730813052768 140730813050072 5273980 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 13540 7485 781 435 0 6903 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 54160 KiB
Current children cumulated memory: 29940 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29770032/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58580 memory=30452 CPUtime=6.28 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 13901 0 0 0 628 0 0 0 20 0 1 0 92235533 59985920 7613 33554432000 4194304 5972588 140730813052768 140730813050072 4971112 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14645 7613 781 435 0 8008 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 58580 KiB
Current children cumulated memory: 30452 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29767860/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58580 memory=32884 CPUtime=12.68 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 18238 0 0 0 1267 1 0 0 20 0 1 0 92235533 59985920 8221 33554432000 4194304 5972588 140730813052768 140730813050072 4978119 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14645 8221 781 435 0 8008 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 58580 KiB
Current children cumulated memory: 32884 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29767668/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58580 memory=32928 CPUtime=25.48 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 25981 0 0 0 2547 1 0 0 20 0 1 0 92235533 59985920 8232 33554432000 4194304 5972588 140730813052768 140730813050072 5273280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14645 8232 781 435 0 8008 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 58580 KiB
Current children cumulated memory: 32928 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27200
/proc/meminfo: memFree=29767452/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58580 memory=32964 CPUtime=51.08 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 26941 0 0 0 5107 1 0 0 20 0 1 0 92235533 59985920 8241 33554432000 4194304 5972588 140730813052768 140730813050072 4972280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14645 8241 781 435 0 8008 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 58580 KiB
Current children cumulated memory: 32964 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 27201
/proc/meminfo: memFree=29767196/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=32980 CPUtime=102.27 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 27773 0 0 0 10226 1 0 0 20 0 1 0 92235533 60116992 8245 33554432000 4194304 5972588 140730813052768 140730813050072 4978123 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8245 781 435 0 8040 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 32980 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 27202
/proc/meminfo: memFree=29766756/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33000 CPUtime=162.27 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 28598 0 0 0 16226 1 0 0 20 0 1 0 92235533 60116992 8250 33554432000 4194304 5972588 140730813052768 140730813050072 4971923 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8250 781 435 0 8040 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33000 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 27210
/proc/meminfo: memFree=29764852/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33020 CPUtime=222.28 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 29416 0 0 0 22226 2 0 0 20 0 1 0 92235533 60116992 8255 33554432000 4194304 5972588 140730813052768 140730813050072 4971615 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8255 781 435 0 8040 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33020 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27211
/proc/meminfo: memFree=29765572/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33020 CPUtime=282.28 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 30243 0 0 0 28226 2 0 0 20 0 1 0 92235533 60116992 8255 33554432000 4194304 5972588 140730813052768 140730813050072 4970771 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8255 781 435 0 8040 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33020 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27212
/proc/meminfo: memFree=29765892/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33020 CPUtime=342.28 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 31061 0 0 0 34226 2 0 0 20 0 1 0 92235533 60116992 8255 33554432000 4194304 5972588 140730813052768 140730813050072 4978080 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8255 781 435 0 8040 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33020 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27213
/proc/meminfo: memFree=29765876/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33020 CPUtime=402.28 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 31875 0 0 0 40226 2 0 0 20 0 1 0 92235533 60116992 8255 33554432000 4194304 5972588 140730813052768 140730813050072 4977674 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8255 781 435 0 8040 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33020 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27214
/proc/meminfo: memFree=29765988/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33020 CPUtime=462.29 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 32679 0 0 0 46227 2 0 0 20 0 1 0 92235533 60116992 8255 33554432000 4194304 5972588 140730813052768 140730813050072 4978595 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8255 781 435 0 8040 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33020 KiB
################
# More data... #
################
/proc/27199/statm: 14677 8261 781 435 0 8040 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33044 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27254
/proc/meminfo: memFree=29762924/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33044 CPUtime=1782.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 49476 0 0 0 178228 3 0 0 20 0 1 0 92235533 60116992 8261 33554432000 4194304 5972588 140730813052768 140730813050072 4978757 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8261 781 435 0 8040 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33044 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27255
/proc/meminfo: memFree=29763060/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33044 CPUtime=1842.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 50123 0 0 0 184228 3 0 0 20 0 1 0 92235533 60116992 8261 33554432000 4194304 5972588 140730813052768 140730813050072 4975428 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8261 781 435 0 8040 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33044 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27256
/proc/meminfo: memFree=29762796/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33044 CPUtime=1902.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 50934 0 0 0 190228 3 0 0 20 0 1 0 92235533 60116992 8261 33554432000 4194304 5972588 140730813052768 140730813050072 4971573 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8261 781 435 0 8040 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33044 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27257
/proc/meminfo: memFree=29763048/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33044 CPUtime=1962.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 51605 0 0 0 196228 3 0 0 20 0 1 0 92235533 60116992 8261 33554432000 4194304 5972588 140730813052768 140730813050072 4978737 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8261 781 435 0 8040 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33044 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27265
/proc/meminfo: memFree=29761168/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33044 CPUtime=2022.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 52276 0 0 0 202228 3 0 0 20 0 1 0 92235533 60116992 8261 33554432000 4194304 5972588 140730813052768 140730813050072 4971009 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8261 781 435 0 8040 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33044 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27327
/proc/meminfo: memFree=29541580/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33060 CPUtime=2082.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 53157 0 0 0 208228 3 0 0 20 0 1 0 92235533 60116992 8265 33554432000 4194304 5972588 140730813052768 140730813050072 4978730 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8265 781 435 0 8040 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33060 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27328
/proc/meminfo: memFree=25136664/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33060 CPUtime=2142.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 53830 0 0 0 214228 3 0 0 20 0 1 0 92235533 60116992 8265 33554432000 4194304 5972588 140730813052768 140730813050072 4977719 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8265 781 435 0 8040 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33060 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27329
/proc/meminfo: memFree=20731476/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33060 CPUtime=2202.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 54495 0 0 0 220228 3 0 0 20 0 1 0 92235533 60116992 8265 33554432000 4194304 5972588 140730813052768 140730813050072 4975660 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8265 781 435 0 8040 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33060 KiB
[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 27330
/proc/meminfo: memFree=16325312/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33060 CPUtime=2262.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 55147 0 0 0 226228 3 0 0 20 0 1 0 92235533 60116992 8265 33554432000 4194304 5972588 140730813052768 140730813050072 5099616 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8265 781 435 0 8040 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33060 KiB
[startup+2322.3 s]
/proc/loadavg: 2.32 2.13 2.08 3/186 27520
/proc/meminfo: memFree=29792936/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33060 CPUtime=2322.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 55969 0 0 0 232228 3 0 0 20 0 1 0 92235533 60116992 8265 33554432000 4194304 5972588 140730813052768 140730813050072 5328641 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8265 781 435 0 8040 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33060 KiB
[startup+2382.3 s]
/proc/loadavg: 2.12 2.10 2.08 3/187 27522
/proc/meminfo: memFree=29793248/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33060 CPUtime=2382.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 56631 0 0 0 238228 3 0 0 20 0 1 0 92235533 60116992 8265 33554432000 4194304 5972588 140730813052768 140730813050072 4975647 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8265 781 435 0 8040 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33060 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/187 27523
/proc/meminfo: memFree=29792480/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33060 CPUtime=2442.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 57325 0 0 0 244228 3 0 0 20 0 1 0 92235533 60116992 8265 33554432000 4194304 5972588 140730813052768 140730813050072 4978839 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8265 781 435 0 8040 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33060 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/187 27525
/proc/meminfo: memFree=29792452/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33060 CPUtime=2502.31 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 57990 0 0 0 250228 3 0 0 20 0 1 0 92235533 60116992 8265 33554432000 4194304 5972588 140730813052768 140730813050072 4975119 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8265 781 435 0 8040 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33060 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.07 2.06 3/187 27525
/proc/meminfo: memFree=29792700/32770624 swapFree=67108860/67108860
[pid=27199] ppid=27196 vsize=58708 memory=33060 CPUtime=2520.02 cores=0,2,4,6
/proc/27199/stat : 27199 (cosoco) R 27196 27199 24168 0 -1 4202496 58792 0 0 0 251999 3 0 0 20 0 1 0 92235533 60116992 8265 33554432000 4194304 5972588 140730813052768 140730813050072 4975114 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 31260672 140730813060282 140730813060382 140730813060382 140730813063118 0
/proc/27199/statm: 14677 8265 781 435 0 8040 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 33060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27199 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.99 s, system=0.037 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): 2520.03
CPU user time (s): 2519.99
CPU system time (s): 0.037
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 58708
Max. memory (cumulated for all children) (KiB): 33060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.037
maximum resident set size= 33136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58843
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= 19
involuntary context switches= 711
# summary of solver processes directly reported to runsolver:
# pid: 27199
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.99
# total CPU system time (s): 0.037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91036 second user time and 17.3993 second system time
The end
Begin job on node103 at 2017-08-13 04:16:55 IDJOB=4266125 IDBENCH=138969 IDSOLVER=2655 FILE ID=node103/4266125-1502591473 RUNJOBID= node103-1502567255-24252 PBS_JOBID= 20628288 Free space on /tmp= 61792 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-15.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266125-1502591473/watcher-4266125-1502591473 -o /tmp/evaluation-result-4266125-1502591473/solver-4266125-1502591473 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502567255-24252 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266125-1502591473.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fdd30079817c8a7e676a6353b2e6ebba RANDOM SEED=1263545489 node103.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.56 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.56 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.56 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.56 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: 29797212 kB MemAvailable: 31964512 kB Buffers: 130532 kB Cached: 2332388 kB SwapCached: 0 kB Active: 534620 kB Inactive: 2016920 kB Active(anon): 91392 kB Inactive(anon): 25212 kB Active(file): 443228 kB Inactive(file): 1991708 kB Unevictable: 6344 kB Mlocked: 6344 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2260 kB Writeback: 0 kB AnonPages: 94712 kB Mapped: 44688 kB Shmem: 25228 kB Slab: 121932 kB SReclaimable: 96400 kB SUnreclaim: 25532 kB KernelStack: 3344 kB PageTables: 4852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 387496 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 61788 MiB End job on node103 at 2017-08-13 04:58:55