| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.11 | 2400.31 |
| Name | MagicHexagon/MagicHexagon-m1-s1/ MagicHexagon-11-0066.xml |
| MD5SUM | 0b8750a079fea2eda3490f2b84dad210 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 441 |
| Number of constraints | 70 |
| Number of domains | 1 |
| Minimum domain size | 331 |
| Maximum domain size | 331 |
| Distribution of domain sizes | [{"size":331,"count":331}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 9 |
| Distribution of variable degrees | [{"degree":0,"count":110},{"degree":4,"count":325},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 331 |
| Distribution of constraint arities | [{"arity":2,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":6},{"arity":16,"count":6},{"arity":17,"count":6},{"arity":18,"count":6},{"arity":19,"count":6},{"arity":20,"count":6},{"arity":21,"count":3},{"arity":331,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 6 |
| Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":63}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c intension x[0][0]<x[0][10] using generic constraint 0.00/0.01 c intension x[0][0]<x[10][20] using generic constraint 0.00/0.01 c intension x[0][0]<x[20][10] using generic constraint 0.00/0.01 c intension x[0][0]<x[20][0] using generic constraint 0.00/0.01 c intension x[0][0]<x[10][0] using generic constraint 0.00/0.01 c intension x[0][10]<x[10][0] using generic constraint 1.69/1.75 c SAT : Variables: 145971 -- Clauses: 24085656 1.69/1.76 c root propagations : 9 1.69/1.76 c restarts enabled, print stats at every restarts 1.69/1.76 c 1.69/1.76 c 1.69/1.76 c 1.69/1.76 c This is cosoco 1.0 -- 1.69/1.76 c 1.69/1.76 c ========================================[ Problem Statistics ]=========================================== 1.69/1.76 c | 1.69/1.76 c | Parse time : 1.51 s 1.69/1.76 c | 1.69/1.76 c | Variables: 441 1.69/1.76 c | Domain Sizes: 331..331 1.69/1.76 c | 1.69/1.76 c | Constraints: 70 1.69/1.76 c | Arity: 2..331 -- Binary: 6 1.69/1.76 c | 1.69/1.76 c | Types: 1.69/1.76 c | (X - Y < k): 6 1.69/1.76 c | All Different: 1 1.69/1.76 c | Sum: 63 1.69/1.76 c | 1.69/1.76 c ========================================================================================================= 1.69/1.76 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.69/1.76 c remove useless variable x[0][11] 1.69/1.76 c remove useless variable x[0][12] 1.69/1.76 c remove useless variable x[0][13] 1.69/1.76 c remove useless variable x[0][14] 1.69/1.76 c remove useless variable x[0][15] 1.69/1.76 c remove useless variable x[0][16] 1.69/1.76 c remove useless variable x[0][17] 1.69/1.76 c remove useless variable x[0][18] 1.69/1.76 c remove useless variable x[0][19] 1.69/1.76 c remove useless variable x[0][20] 1.69/1.76 c remove useless variable x[1][12] 1.69/1.76 c remove useless variable x[1][13] 1.69/1.76 c remove useless variable x[1][14] 1.69/1.76 c remove useless variable x[1][15] 1.69/1.76 c remove useless variable x[1][16] 1.69/1.76 c remove useless variable x[1][17] 1.69/1.76 c remove useless variable x[1][18] 1.69/1.76 c remove useless variable x[1][19] 1.69/1.76 c remove useless variable x[1][20] 1.69/1.76 c remove useless variable x[2][13] 1.69/1.76 c remove useless variable x[2][14] 1.69/1.76 c remove useless variable x[2][15] 1.69/1.76 c remove useless variable x[2][16] 1.69/1.76 c remove useless variable x[2][17] 1.69/1.76 c remove useless variable x[2][18] 1.69/1.76 c remove useless variable x[2][19] 1.69/1.76 c remove useless variable x[2][20] 1.69/1.76 c remove useless variable x[3][14] 1.69/1.76 c remove useless variable x[3][15] 1.69/1.76 c remove useless variable x[3][16] 1.69/1.76 c remove useless variable x[3][17] 1.69/1.76 c remove useless variable x[3][18] 1.69/1.76 c remove useless variable x[3][19] 1.69/1.76 c remove useless variable x[3][20] 1.69/1.76 c remove useless variable x[4][15] 1.69/1.76 c remove useless variable x[4][16] 1.69/1.76 c remove useless variable x[4][17] 1.69/1.76 c remove useless variable x[4][18] 1.69/1.76 c remove useless variable x[4][19] 1.69/1.76 c remove useless variable x[4][20] 1.69/1.76 c remove useless variable x[5][16] 1.69/1.76 c remove useless variable x[5][17] 1.69/1.76 c remove useless variable x[5][18] 1.69/1.76 c remove useless variable x[5][19] 1.69/1.76 c remove useless variable x[5][20] 1.69/1.76 c remove useless variable x[6][17] 1.69/1.76 c remove useless variable x[6][18] 1.69/1.76 c remove useless variable x[6][19] 1.69/1.76 c remove useless variable x[6][20] 1.69/1.76 c remove useless variable x[7][18] 1.69/1.76 c remove useless variable x[7][19] 1.69/1.76 c remove useless variable x[7][20] 1.69/1.76 c remove useless variable x[8][19] 1.69/1.76 c remove useless variable x[8][20] 1.69/1.76 c remove useless variable x[9][20] 1.69/1.76 c remove useless variable x[11][20] 1.69/1.76 c remove useless variable x[12][19] 1.69/1.76 c remove useless variable x[12][20] 1.69/1.76 c remove useless variable x[13][18] 1.69/1.76 c remove useless variable x[13][19] 1.69/1.76 c remove useless variable x[13][20] 1.69/1.76 c remove useless variable x[14][17] 1.69/1.76 c remove useless variable x[14][18] 1.69/1.76 c remove useless variable x[14][19] 1.69/1.76 c remove useless variable x[14][20] 1.69/1.76 c remove useless variable x[15][16] 1.69/1.76 c remove useless variable x[15][17] 1.69/1.76 c remove useless variable x[15][18] 1.69/1.76 c remove useless variable x[15][19] 1.69/1.76 c remove useless variable x[15][20] 1.69/1.76 c remove useless variable x[16][15] 1.69/1.76 c remove useless variable x[16][16] 1.69/1.76 c remove useless variable x[16][17] 1.69/1.76 c remove useless variable x[16][18] 1.69/1.76 c remove useless variable x[16][19] 1.69/1.76 c remove useless variable x[16][20] 1.69/1.76 c remove useless variable x[17][14] 1.69/1.76 c remove useless variable x[17][15] 1.69/1.76 c remove useless variable x[17][16] 1.69/1.76 c remove useless variable x[17][17] 1.69/1.76 c remove useless variable x[17][18] 1.69/1.76 c remove useless variable x[17][19] 1.69/1.76 c remove useless variable x[17][20] 1.69/1.76 c remove useless variable x[18][13] 1.69/1.76 c remove useless variable x[18][14] 1.69/1.76 c remove useless variable x[18][15] 1.69/1.76 c remove useless variable x[18][16] 1.69/1.76 c remove useless variable x[18][17] 1.69/1.76 c remove useless variable x[18][18] 1.69/1.76 c remove useless variable x[18][19] 1.69/1.76 c remove useless variable x[18][20] 1.69/1.76 c remove useless variable x[19][12] 1.69/1.76 c remove useless variable x[19][13] 1.69/1.76 c remove useless variable x[19][14] 1.69/1.76 c remove useless variable x[19][15] 1.69/1.76 c remove useless variable x[19][16] 1.69/1.76 c remove useless variable x[19][17] 1.69/1.76 c remove useless variable x[19][18] 1.69/1.76 c remove useless variable x[19][19] 1.69/1.76 c remove useless variable x[19][20] 1.69/1.76 c remove useless variable x[20][11] 1.69/1.76 c remove useless variable x[20][12] 1.69/1.76 c remove useless variable x[20][13] 1.69/1.76 c remove useless variable x[20][14] 1.69/1.76 c remove useless variable x[20][15] 1.69/1.76 c remove useless variable x[20][16] 1.69/1.76 c remove useless variable x[20][17] 1.69/1.76 c remove useless variable x[20][18] 1.69/1.76 c remove useless variable x[20][19] 1.69/1.76 c remove useless variable x[20][20] 1.69/1.77 c 10 13 425 9479 6 10 3 4 3 1.69/1.78 c 20 24 641 17259 6 20 2 2 1 1.69/1.79 c 30 39 919 30753 6 23 4 5 4 1.79/1.80 c 40 52 1292 46702 6 33 3 4 2 1.79/1.81 c 50 66 1600 54157 6 40 4 4 3 1.79/1.82 c 60 79 1978 63687 6 50 3 4 3 1.79/1.82 c 70 92 2362 73217 6 60 3 4 3 1.79/1.83 c 80 105 2740 82747 6 70 3 4 3 1.79/1.84 c 90 119 3105 89982 6 77 4 4 3 1.79/1.85 c 100 133 3470 97217 6 84 4 4 3 1.79/1.86 c 101 137 3725 103720 6 85 4 4 2 1.79/1.87 c 110 151 4104 111274 6 88 4 5 4 1.79/1.88 c 120 164 4482 120804 6 98 3 4 3 1.79/1.89 c 130 178 4853 128026 6 106 4 4 3 1.89/1.90 c 140 192 5218 135261 6 113 4 4 3 1.89/1.91 c 150 206 5569 142093 6 123 4 5 4 1.89/1.92 c 160 221 5963 149728 6 128 4 5 4 1.89/1.93 c 170 237 6379 158028 6 131 4 5 4 1.89/1.94 c 180 252 6760 164871 6 136 4 5 4 1.89/1.95 c 190 267 7148 172477 6 140 4 5 4 1.89/1.96 c 200 282 7492 178085 6 145 4 5 4 1.89/1.97 c 210 297 7880 185691 6 149 4 5 4 1.89/1.98 c 211 301 8077 189510 6 150 4 4 2 1.89/1.99 c 220 314 8430 196315 6 154 4 5 4 1.99/2.00 c 230 328 8786 203143 6 159 4 5 4 1.99/2.01 c 240 343 9161 209986 6 164 4 5 4 1.99/2.02 c 250 358 9495 215592 6 168 4 5 4 1.99/2.03 c 260 373 9871 222420 6 178 5 6 4 1.99/2.04 c 270 387 10222 229288 6 188 4 5 4 1.99/2.05 c 280 400 10600 238818 6 198 3 4 3 1.99/2.06 c 290 415 10938 244426 6 203 4 5 4 1.99/2.07 c 300 429 11303 251661 6 210 4 4 3 1.99/2.08 c 310 446 11786 261599 6 220 5 6 4 1.99/2.09 c 320 461 12161 268470 6 225 4 5 4 2.09/2.10 c 330 475 12517 275326 6 230 4 5 4 2.09/2.11 c 332 482 12829 281869 6 232 6 6 4 2.09/2.12 c 340 495 13185 288624 6 240 5 6 4 2.09/2.13 c 350 511 13637 298188 6 250 5 6 4 2.09/2.14 c 360 526 14025 305794 6 254 4 5 4 2.09/2.15 c 370 541 14395 312622 6 264 5 6 4 2.09/2.16 c 380 558 14872 322548 6 273 5 6 4 2.09/2.18 c 390 575 15349 332486 6 283 5 6 4 2.09/2.18 c 400 589 15705 339314 6 288 4 5 4 2.09/2.20 c 410 605 16122 347684 6 296 4 6 4 2.20/2.21 c 420 621 16539 356049 6 303 4 6 4 2.20/2.22 c 430 638 17016 365975 6 312 5 6 4 2.20/2.23 c 440 653 17391 372855 6 317 5 5 4 2.20/2.25 c 450 670 17887 383973 6 327 4 6 4 2.20/2.26 c 460 686 18287 391188 6 331 5 6 5 2.20/2.27 c 465 697 18659 399258 6 333 4 6 4 2.20/2.28 c 470 706 18911 403244 6 338 5 5 4 2.20/2.29 c 480 721 19296 410091 6 345 5 5 4 2.20/2.30 c 490 736 19671 416972 6 350 4 5 4 2.30/2.31 c 500 752 20077 424213 6 356 5 6 5 2.30/2.32 c 510 768 20488 432549 6 365 4 5 3 2.30/2.33 c 520 783 20813 437986 6 366 5 6 5 2.30/2.34 c 530 799 21213 445189 6 369 5 6 5 2.30/2.35 c 540 814 21583 452091 6 379 5 6 4 2.30/2.36 c 550 828 21934 459044 6 389 4 5 4 2.30/2.37 c 560 843 22252 463174 6 399 5 6 5 2.30/2.38 c 570 859 22602 468670 6 402 5 6 5 2.30/2.39 c 580 876 23023 476931 6 412 5 6 4 2.39/2.41 c 590 893 23459 486190 6 415 4 6 5 2.39/2.42 c 600 909 23911 495744 6 424 5 6 4 2.39/2.43 c 610 926 24347 504950 6 426 4 6 5 2.39/2.44 c 611 930 24544 508778 6 427 4 4 2 2.39/2.45 c 620 945 24939 515976 6 434 5 6 4 2.39/2.46 c 630 959 25295 522880 6 439 4 5 4 2.39/2.47 c 640 975 25639 528401 6 443 5 6 5 2.39/2.48 c 650 989 25990 535391 6 453 4 5 4 2.39/2.49 c 660 1004 26369 542251 6 459 5 5 4 2.49/2.50 c 670 1020 26762 549091 6 465 5 6 5 2.49/2.51 c 680 1035 27144 555925 6 471 5 6 5 2.49/2.52 c 690 1051 27596 565476 6 480 5 6 4 2.49/2.53 c 700 1067 27996 572703 6 485 5 6 5 2.49/2.54 c 710 1082 28366 579514 6 495 5 6 4 2.49/2.55 c 720 1098 28779 587772 6 498 4 6 4 2.49/2.57 c 730 1114 29140 594429 6 504 4 6 4 2.49/2.58 c 740 1131 29617 604384 6 514 5 6 4 2.49/2.59 c 750 1148 30094 614324 6 522 5 6 4 2.59/2.60 c 760 1164 30457 620964 6 527 4 6 4 2.59/2.62 c 770 1181 30883 628859 6 530 5 6 5 2.59/2.63 c 771 1187 31180 635383 6 531 6 6 3 2.59/2.64 c 780 1200 31533 642222 6 535 4 5 4 2.59/2.65 c 790 1215 31912 649075 6 541 5 6 5 2.59/2.66 c 800 1232 32338 656942 6 543 5 6 5 2.59/2.67 c 810 1247 32714 663753 6 553 5 6 4 2.59/2.68 c 820 1262 33088 670625 6 563 5 6 4 2.59/2.69 c 830 1276 33439 677521 6 573 4 5 4 2.69/2.70 c 840 1292 33783 683082 6 577 5 6 5 2.69/2.71 c 850 1308 34235 692650 6 587 5 6 4 2.69/2.72 c 860 1324 34628 699514 6 593 5 6 5 2.69/2.73 c 870 1341 35054 707764 6 596 5 6 5 2.69/2.74 c 880 1358 35475 715007 6 605 5 6 4 2.69/2.75 c 890 1373 35851 721865 6 611 5 6 5 2.69/2.76 c 900 1389 36199 727408 6 617 5 6 5 2.69/2.77 c 910 1405 36540 732209 6 623 6 6 5 2.69/2.79 c 920 1422 37023 742164 6 633 5 6 4 2.79/2.80 c 930 1437 37398 749070 6 638 4 5 4 2.79/2.81 c 940 1453 37791 755902 6 644 5 6 5 2.79/2.82 c 947 1466 38170 762640 6 650 6 6 5 2.79/2.82 c 950 1474 38425 766554 6 653 6 6 4 2.79/2.83 c 960 1490 38825 773732 6 655 5 6 5 2.79/2.85 c 970 1506 39182 780507 6 656 6 6 5 2.79/2.86 c 980 1521 39521 788332 6 660 4 5 4 2.79/2.87 c 990 1537 39882 795020 6 668 4 6 4 2.79/2.88 c 1000 1551 40229 802085 6 678 4 5 4 2.79/2.89 c 1010 1566 40604 808963 6 683 5 5 4 2.89/2.90 c 1020 1581 40983 815812 6 689 5 6 5 2.89/2.91 c 1030 1597 41440 825420 6 693 5 5 4 2.89/2.92 c 1040 1613 41840 832624 6 697 5 6 5 2.89/2.93 c 1050 1630 42274 842071 6 706 4 6 4 2.89/2.95 c 1060 1646 42618 847298 6 711 5 6 5 2.89/2.96 c 1070 1663 43045 855237 6 721 5 6 4 2.89/2.97 c 1080 1679 43441 862081 6 727 5 6 5 2.89/2.98 c 1090 1695 43854 870245 6 728 6 6 5 2.89/2.99 c 1100 1710 44292 879770 6 730 5 5 4 2.99/3.00 c 1110 1726 44692 886952 6 732 5 6 5 2.99/3.01 c 1120 1741 45068 893894 6 742 5 6 4 2.99/3.02 c 1130 1756 45447 900734 6 748 5 6 5 2.99/3.04 c 1140 1773 45869 908237 6 752 6 6 5 2.99/3.04 c 1141 1779 46106 912080 6 753 6 6 3 2.99/3.05 c 1150 1793 46467 918867 6 762 5 6 4 2.99/3.06 c 1160 1809 46834 925545 6 768 4 6 4 2.99/3.07 c 1170 1825 47230 932401 6 774 5 6 5 2.99/3.08 c 1180 1841 47578 937626 6 780 5 6 5 2.99/3.09 c 1190 1857 47926 942849 6 787 5 6 4 3.09/3.10 c 1200 1873 48274 948416 6 793 5 6 5 3.09/3.11 c 1210 1889 48670 955271 6 799 5 6 5 3.09/3.13 c 1220 1906 49147 965219 6 808 5 6 4 3.09/3.14 c 1230 1922 49495 970787 6 816 5 6 4 3.09/3.15 c 1240 1937 49930 980353 6 821 4 5 4 3.09/3.16 c 1250 1953 50323 987183 6 827 6 6 5 3.09/3.17 c 1260 1970 50749 995045 6 829 5 6 5 3.09/3.19 c 1270 1987 51129 1002283 6 832 4 6 5 3.09/3.19 c 1280 2002 51447 1006484 6 842 5 6 4 3.19/3.21 c 1290 2018 51905 1016032 6 850 5 6 4 3.19/3.21 c 1300 2032 52261 1022979 6 855 4 5 4 3.19/3.23 c 1310 2049 52680 1030178 6 861 6 7 5 3.19/3.24 c 1320 2062 53058 1039708 6 871 3 4 3 3.19/3.25 c 1330 2078 53468 1046941 6 878 5 6 4 3.19/3.26 c 1340 2095 53891 1054899 6 884 5 7 5 3.19/3.27 c 1350 2111 54293 1061720 6 890 6 6 5 3.19/3.28 c 1352 2116 54551 1068247 6 892 4 4 2 3.19/3.29 c 1360 2130 54887 1073423 6 900 5 6 4 3.19/3.30 c 1370 2145 55262 1080302 6 905 5 5 4 3.30/3.31 c 1380 2162 55683 1087500 6 907 6 7 5 3.30/3.32 c 1390 2178 56074 1094317 6 917 5 7 5 3.30/3.33 c 1400 2195 56503 1102198 6 919 5 7 5 3.30/3.34 c 1410 2211 56899 1109055 6 925 5 6 5 3.30/3.35 c 1420 2227 57292 1115897 6 931 5 6 5 3.30/3.37 c 1430 2245 57788 1125792 6 941 6 7 5 3.30/3.38 c 1440 2262 58207 1133015 6 946 6 7 5 3.30/3.39 c 1450 2277 58645 1142953 6 955 4 5 3 3.30/3.40 c 1460 2292 59025 1149855 6 965 5 6 4 3.40/3.41 c 1470 2310 59525 1160564 6 975 5 7 4 3.40/3.43 c 1480 2326 59925 1167774 6 979 5 6 5 3.40/3.44 c 1490 2343 60398 1177306 6 987 6 7 5 3.40/3.45 c 1500 2359 60794 1184141 6 993 5 6 5 3.40/3.46 c 1510 2374 61186 1191770 6 999 4 5 4 3.40/3.47 c 1520 2391 61609 1200030 6 1003 5 7 5 3.40/3.48 c 1530 2407 61957 1205254 6 1010 5 6 4 3.49/3.50 c 1540 2424 62443 1215148 6 1012 6 7 5 3.49/3.51 c 1550 2440 62836 1222042 6 1018 5 6 5 3.49/3.52 c 1560 2455 63211 1228894 6 1023 4 5 4 3.49/3.53 c 1570 2471 63609 1236063 6 1025 5 7 5 3.49/3.54 c 1580 2487 64006 1242911 6 1035 6 7 5 3.49/3.55 c 1585 2496 64276 1247863 6 1036 5 5 4 3.49/3.55 c 1590 2505 64548 1254732 6 1041 4 5 3 3.49/3.57 c 1600 2523 65044 1264659 6 1050 6 7 5 3.49/3.58 c 1610 2537 65391 1271618 6 1060 4 5 3 3.49/3.59 c 1620 2553 65748 1278393 6 1061 6 6 5 3.59/3.60 c 1630 2568 66094 1285461 6 1067 5 5 4 3.59/3.61 c 1640 2584 66435 1290258 6 1073 6 6 5 3.59/3.62 c 1650 2598 66782 1297323 6 1083 4 5 4 3.59/3.63 c 1660 2615 67209 1305666 6 1091 5 7 5 3.59/3.64 c 1670 2631 67609 1313510 6 1092 6 7 5 3.59/3.65 c 1680 2648 68025 1321040 6 1098 6 7 5 3.59/3.67 c 1690 2666 68531 1332122 6 1108 5 7 4 3.59/3.68 c 1700 2683 69012 1343351 6 1113 5 7 5 3.69/3.70 c 1710 2699 69464 1352894 6 1121 5 6 4 3.69/3.71 c 1720 2715 69921 1362502 6 1125 5 5 4 3.69/3.72 c 1730 2731 70314 1369322 6 1131 6 6 5 3.69/3.73 c 1740 2747 70718 1376552 6 1138 5 6 4 3.69/3.74 c 1750 2764 71140 1384034 6 1141 6 6 5 3.69/3.76 c 1760 2778 71529 1399501 6 1150 3 5 3 3.69/3.76 c 1770 2789 71765 1424715 6 1160 2 2 1 3.69/3.77 c 1780 2805 72124 1433269 6 1169 4 5 3 3.69/3.78 c 1790 2816 72360 1458483 6 1179 2 2 1 3.69/3.79 c 1800 2831 72711 1465553 6 1185 5 5 4 3.69/3.79 c 1810 2842 72947 1490767 6 1195 2 2 1 3.79/3.80 c 1820 2858 73313 1498204 6 1200 5 6 5 3.79/3.81 c 1830 2869 73505 1523418 6 1210 2 2 1 3.79/3.82 c 1840 2885 73873 1531893 6 1213 4 6 4 3.79/3.82 c 1841 2887 73976 1534688 6 1214 2 2 1 3.79/3.83 c 1850 2900 74291 1541778 6 1223 4 5 4 3.79/3.83 c 1860 2911 74527 1566992 6 1233 2 2 1 3.79/3.85 c 1870 2927 74993 1576919 6 1242 5 6 4 3.79/3.85 c 1880 2938 75240 1601350 6 1252 2 2 1 3.79/3.86 c 1890 2954 75617 1608779 6 1260 5 6 4 3.79/3.87 c 1900 2965 75864 1633210 6 1270 2 2 1 3.79/3.88 c 1910 2981 76140 1638801 6 1275 5 6 5 3.79/3.88 c 1920 2992 76387 1662452 6 1285 2 2 1 3.79/3.89 c 1930 3008 76752 1669496 6 1291 5 6 5 3.89/3.90 c 1940 3019 76998 1693927 6 1301 2 2 1 3.89/3.91 c 1950 3035 77282 1700650 6 1308 4 6 4 3.89/3.91 c 1960 3046 77529 1724301 6 1318 2 2 1 3.89/3.92 c 1970 3061 77877 1731403 6 1323 4 5 4 3.89/3.93 c 1980 3072 78124 1754274 6 1333 2 2 1 3.89/3.94 c 1990 3088 78497 1761673 6 1336 5 6 5 3.89/3.94 c 2000 3099 78744 1785324 6 1346 2 2 1 3.89/3.95 c 2010 3115 79107 1792381 6 1352 5 6 5 3.89/3.96 c 2020 3126 79354 1816734 6 1362 2 2 1 3.89/3.97 c 2030 3142 79634 1822002 6 1368 5 6 5 3.89/3.97 c 2040 3153 79881 1844093 6 1378 2 2 1 3.89/3.98 c 2050 3169 80250 1851159 6 1384 5 6 5 3.89/3.99 c 2060 3180 80497 1874732 6 1394 2 2 1 3.99/4.00 c 2070 3196 80777 1880343 6 1401 5 6 4 3.99/4.00 c 2080 3207 81024 1903214 6 1411 2 2 1 3.99/4.01 c 2090 3223 81384 1910256 6 1417 5 6 5 3.99/4.02 c 2100 3234 81631 1933049 6 1427 2 2 1 3.99/4.03 c 2110 3251 81934 1940277 6 1429 4 6 5 3.99/4.03 c 2120 3262 82181 1962290 6 1439 2 2 1 3.99/4.04 c 2122 3267 82319 1966248 6 1441 4 4 2 3.99/4.04 c 2130 3276 82534 1983385 6 1449 2 2 1 3.99/4.05 c 2140 3291 82970 1993399 6 1454 4 5 4 3.99/4.06 c 2150 3302 83217 2015490 6 1464 2 2 1 3.99/4.07 c 2160 3317 83569 2022557 6 1470 5 5 4 3.99/4.07 c 2170 3328 83816 2045428 6 1480 2 2 1 3.99/4.08 c 2180 3344 84180 2052860 6 1485 5 6 5 3.99/4.09 c 2190 3355 84427 2074171 6 1495 2 2 1 4.09/4.10 c 2200 3371 84792 2081208 6 1501 5 6 5 4.09/4.10 c 2210 3382 85039 2102519 6 1511 2 2 1 4.09/4.11 c 2220 3398 85319 2107782 6 1519 5 6 4 4.09/4.12 c 2230 3409 85566 2129873 6 1529 2 2 1 4.09/4.13 c 2240 3426 85951 2137278 6 1531 6 7 5 4.09/4.14 c 2250 3437 86198 2161709 6 1541 2 2 1 4.09/4.15 c 2260 3454 86594 2169797 6 1543 5 7 5 4.09/4.15 c 2270 3465 86841 2190328 6 1553 2 2 1 4.09/4.16 c 2280 3480 87178 2197437 6 1563 5 6 4 4.09/4.17 c 2290 3491 87425 2218748 6 1573 2 2 1 4.09/4.18 c 2300 3508 87912 2229013 6 1575 6 7 5 4.09/4.19 c 2310 3519 88159 2248764 6 1585 2 2 1 4.09/4.19 c 2320 3535 88513 2255819 6 1595 6 7 5 4.19/4.20 c 2330 3546 88760 2279470 6 1605 2 2 1 4.19/4.21 c 2340 3564 89270 2290923 6 1615 5 7 4 4.19/4.22 c 2350 3575 89517 2309894 6 1625 2 2 1 4.19/4.23 c 2360 3592 89896 2317583 6 1628 6 6 5 4.19/4.24 c 2370 3603 90143 2335774 6 1638 2 2 1 4.19/4.25 c 2380 3620 90528 2343487 6 1640 6 7 5 4.19/4.25 c 2390 3631 90775 2366358 6 1650 2 2 1 4.19/4.27 c 2400 3647 91261 2377995 6 1651 6 7 5 4.19/4.27 c 2410 3658 91508 2398604 6 1661 2 2 1 4.19/4.28 c 2420 3672 91837 2407192 6 1666 3 5 3 4.19/4.29 c 2430 3683 92084 2427021 6 1676 2 2 1 4.19/4.29 c 2431 3687 92211 2430905 6 1677 4 4 2 4.29/4.30 c 2440 3697 92442 2449464 6 1686 2 2 1 4.29/4.30 c 2450 3711 92757 2456193 6 1696 4 5 4 4.29/4.31 c 2460 3722 93004 2475242 6 1706 2 2 1 4.29/4.32 c 2470 3738 93458 2484607 6 1716 5 6 4 4.29/4.33 c 2480 3749 93705 2502876 6 1726 2 2 1 4.29/4.34 c 2490 3766 94184 2512831 6 1736 5 6 4 4.29/4.34 c 2500 3777 94431 2533362 6 1746 2 2 1 4.29/4.36 c 2510 3794 94924 2543684 6 1755 5 6 4 4.29/4.36 c 2520 3805 95171 2565775 6 1765 2 2 1 4.29/4.37 c 2530 3822 95572 2573836 6 1767 5 6 5 4.29/4.38 c 2540 3833 95819 2595147 6 1777 2 2 1 4.29/4.39 c 2550 3848 96162 2602227 6 1783 5 6 5 4.29/4.39 c 2560 3859 96409 2622758 6 1793 2 2 1 4.39/4.41 c 2570 3876 96792 2630143 6 1795 6 7 5 4.39/4.41 c 2580 3887 97039 2647554 6 1805 2 2 1 4.39/4.42 c 2590 3904 97437 2655638 6 1807 5 7 5 4.39/4.43 c 2600 3915 97684 2673127 6 1817 2 2 1 4.39/4.44 c 2610 3930 98021 2680224 6 1827 5 6 4 4.39/4.44 c 2620 3941 98268 2699975 6 1837 2 2 1 4.39/4.45 c 2630 3958 98649 2707052 6 1847 6 7 5 4.39/4.46 c 2640 3969 98896 2726023 6 1857 2 2 1 4.39/4.47 c 2650 3987 99210 2731899 6 1866 6 7 5 4.39/4.47 c 2660 3998 99457 2748530 6 1876 2 2 1 4.39/4.48 c 2670 4015 99763 2755219 6 1883 5 7 5 4.39/4.49 c 2680 4026 100010 2773410 6 1893 2 2 1 4.39/4.50 c 2690 4042 100364 2780469 6 1899 5 6 5 4.39/4.50 c 2700 4053 100611 2800220 6 1909 2 2 1 4.49/4.51 c 2710 4070 101005 2807625 6 1915 6 7 5 4.49/4.52 c 2720 4081 101252 2823476 6 1925 2 2 1 4.49/4.53 c 2730 4098 101547 2829354 6 1930 6 7 5 4.49/4.53 c 2740 4109 101794 2846063 6 1940 2 2 1 4.49/4.54 c 2750 4126 102174 2853096 6 1947 6 7 6 4.49/4.55 c 2760 4137 102421 2872067 6 1957 2 2 1 4.49/4.56 c 2770 4154 102811 2881512 6 1961 4 7 5 4.49/4.56 c 2771 4156 102914 2883767 6 1962 2 2 1 4.49/4.57 c 2780 4170 103252 2890836 6 1967 5 6 5 4.49/4.58 c 2790 4181 103499 2908169 6 1977 2 2 1 4.49/4.59 c 2800 4197 103867 2915194 6 1983 6 6 5 4.49/4.59 c 2810 4208 104114 2931123 6 1993 2 2 1 4.59/4.60 c 2820 4225 104503 2938821 6 2003 6 7 5 4.59/4.61 c 2830 4236 104780 2959739 6 2013 2 2 1 4.59/4.62 c 2840 4254 105190 2967505 6 2023 6 7 5 4.59/4.63 c 2850 4265 105477 2990239 6 2033 2 2 1 4.59/4.63 c 2860 4282 105776 2996480 6 2041 6 7 5 4.59/4.64 c 2870 4295 106211 3006669 6 2051 2 4 2 4.59/4.65 c 2880 4306 106458 3024860 6 2061 2 2 1 4.59/4.66 c 2890 4324 106906 3035251 6 2063 5 7 6 4.59/4.67 c 2900 4335 107153 3052662 6 2073 2 2 1 4.59/4.68 c 2910 4350 107556 3059990 6 2074 5 6 5 4.59/4.69 c 2920 4361 107803 3079819 6 2084 2 2 1 4.59/4.69 c 2930 4375 108125 3086675 6 2094 4 5 4 4.69/4.70 c 2940 4386 108372 3105724 6 2104 2 2 1 4.69/4.71 c 2950 4402 108840 3114641 6 2113 5 6 4 4.69/4.72 c 2960 4413 109087 3132910 6 2123 2 2 1 4.69/4.73 c 2970 4430 109569 3142690 6 2131 5 6 5 4.69/4.73 c 2980 4441 109816 3159321 6 2141 2 2 1 4.69/4.75 c 2990 4458 110315 3169583 6 2144 5 6 5 4.69/4.75 c 3000 4469 110562 3185434 6 2154 2 2 1 4.69/4.76 c 3010 4485 110927 3192458 6 2160 5 6 5 4.69/4.77 c 3020 4496 111174 3209947 6 2170 2 2 1 4.69/4.78 c 3030 4512 111456 3215221 6 2176 5 6 5 4.69/4.78 c 3040 4523 111703 3231774 6 2186 2 2 1 4.69/4.79 c 3050 4539 112069 3238805 6 2192 5 6 5 4.79/4.80 c 3060 4550 112316 3255514 6 2202 2 2 1 4.79/4.81 c 3070 4567 112704 3262895 6 2208 6 7 5 4.79/4.82 c 3080 4580 113122 3269816 6 2218 3 4 3 4.79/4.82 c 3090 4591 113369 3285745 6 2228 2 2 1 4.79/4.83 c 3100 4608 113764 3293908 6 2234 5 7 5 4.79/4.84 c 3110 4619 114051 3316643 6 2244 2 2 1 4.79/4.85 c 3120 4635 114409 3323656 6 2254 5 7 5 4.79/4.86 c 3130 4649 114747 3330543 6 2261 4 4 3 4.79/4.86 c 3140 4663 115085 3337443 6 2267 4 4 3 4.79/4.87 c 3142 4666 115204 3341008 6 2269 2 2 1 4.79/4.88 c 3150 4682 115599 3348359 6 2277 6 7 5 4.79/4.88 c 3160 4693 115846 3364132 6 2287 2 2 1 4.79/4.89 c 3170 4710 116145 3369667 6 2294 6 7 5 4.89/4.90 c 3180 4725 116578 3380835 6 2298 3 5 3 4.89/4.92 c 3190 4743 116996 3389913 6 2300 5 7 6 4.89/4.93 c 3200 4755 117332 3414518 6 2310 2 3 1 4.89/4.93 c 3210 4770 117729 3421328 6 2320 5 6 4 4.89/4.94 c 3220 4783 118147 3428249 6 2330 3 4 3 4.89/4.95 c 3230 4796 118565 3435279 6 2340 3 4 3 4.89/4.96 c 3240 4811 118989 3446042 6 2343 3 5 4 4.89/4.98 c 3250 4828 119475 3456279 6 2345 6 7 5 4.89/4.98 c 3260 4841 119892 3463165 6 2355 3 4 3 4.89/4.99 c 3270 4853 120228 3487772 6 2365 2 3 1 4.99/5.00 c 3280 4869 120543 3491667 6 2375 6 7 5 4.99/5.01 c 3290 4883 120900 3498564 6 2382 4 4 3 4.99/5.02 c 3300 4897 121238 3505451 6 2389 4 4 3 4.99/5.02 c 3310 4910 121656 3512481 6 2399 3 4 3 4.99/5.03 c 3320 4925 122036 3519751 6 2403 4 5 4 4.99/5.04 c 3330 4939 122374 3526625 6 2411 4 4 3 4.99/5.05 c 3340 4954 122807 3537793 6 2415 3 5 3 4.99/5.06 c 3350 4971 123106 3543673 6 2423 6 7 5 4.99/5.07 c 3360 4984 123524 3550703 6 2433 3 4 3 4.99/5.08 c 3370 4997 123941 3557589 6 2443 3 4 3 4.99/5.09 c 3380 5011 124298 3564486 6 2450 4 4 3 4.99/5.09 c 3390 5025 124655 3571383 6 2457 4 4 3 5.09/5.10 c 3400 5039 124994 3578235 6 2462 4 5 4 5.09/5.12 c 3410 5054 125436 3589807 6 2467 3 5 3 5.09/5.13 c 3420 5071 125926 3601690 6 2468 7 7 6 5.09/5.14 c 3430 5084 126344 3608720 6 2478 3 4 3 5.09/5.15 c 3440 5098 126682 3615594 6 2486 4 4 3 5.09/5.15 c 3450 5112 127039 3622491 6 2493 4 4 3 5.09/5.16 c 3460 5127 127419 3629761 6 2497 4 5 4 5.09/5.17 c 3470 5138 127655 3654975 6 2507 2 2 1 5.09/5.18 c 3480 5153 128006 3662238 6 2513 4 6 4 5.09/5.19 c 3490 5168 128386 3669508 6 2517 4 5 4 5.09/5.20 c 3500 5179 128633 3693939 6 2527 2 2 1 5.19/5.21 c 3510 5195 129095 3703910 6 2533 5 6 5 5.19/5.22 c 3520 5210 129475 3711180 6 2537 4 5 4 5.19/5.23 c 3530 5224 129814 3718032 6 2542 4 5 4 5.19/5.23 c 3540 5235 130061 3741683 6 2552 2 2 1 5.19/5.24 c 3550 5252 130550 3751576 6 2560 6 7 5 5.19/5.25 c 3551 5256 130731 3755545 6 2561 4 4 2 5.19/5.26 c 3560 5270 131030 3760887 6 2564 4 5 4 5.19/5.26 c 3570 5284 131369 3767739 6 2569 4 5 4 5.19/5.27 c 3580 5295 131616 3790610 6 2579 2 2 1 5.19/5.28 c 3590 5313 132021 3798027 6 2588 6 7 5 5.19/5.29 c 3600 5328 132463 3809599 6 2593 3 5 3 5.29/5.30 c 3610 5345 132762 3815138 6 2601 6 7 5 5.29/5.31 c 3620 5360 133120 3822005 6 2606 4 5 4 5.29/5.32 c 3630 5375 133428 3827406 6 2610 4 5 4 5.29/5.33 c 3640 5390 133740 3832809 6 2615 4 5 4 5.29/5.33 c 3650 5401 133987 3854900 6 2625 2 2 1 5.29/5.34 c 3660 5418 134282 3860807 6 2630 6 7 6 5.29/5.35 c 3670 5431 134700 3867837 6 2640 3 4 3 5.29/5.36 c 3680 5446 135042 3874737 6 2645 4 5 4 5.29/5.37 c 3690 5460 135360 3881634 6 2655 4 5 4 5.29/5.37 c 3700 5471 135607 3902945 6 2665 2 2 1 5.29/5.38 c 3710 5488 135977 3909992 6 2672 6 7 6 5.29/5.39 c 3720 5503 136285 3915393 6 2676 4 5 4 5.39/5.40 c 3730 5517 136608 3922278 6 2681 4 5 4 5.39/5.41 c 3740 5532 136956 3929478 6 2682 5 6 5 5.39/5.41 c 3750 5543 137203 3950009 6 2692 2 2 1 5.39/5.43 c 3760 5561 137573 3957782 6 2695 6 7 6 5.39/5.43 c 3770 5575 137896 3964667 6 2700 4 5 4 5.39/5.44 c 3780 5590 138233 3971524 6 2710 5 6 4 5.39/5.45 c 3790 5604 138590 3978421 6 2717 4 4 3 5.39/5.45 c 3800 5615 138837 3998172 6 2727 2 2 1 5.39/5.47 c 3810 5633 139390 4008109 6 2734 4 6 5 5.39/5.48 c 3820 5648 139727 4014995 6 2744 5 6 4 5.39/5.49 c 3830 5665 140170 4024836 6 2754 5 6 4 5.39/5.50 c 3840 5681 140588 4034303 6 2764 5 6 4 5.49/5.51 c 3850 5692 140835 4053274 6 2774 2 2 1 5.49/5.52 c 3860 5709 141319 4062682 6 2780 6 6 5 5.49/5.53 c 3870 5725 141894 4079071 6 2789 3 6 3 5.49/5.54 c 3880 5742 142283 4086769 6 2798 6 7 5 5.49/5.55 c 3890 5755 142701 4093908 6 2808 3 4 3 5.49/5.56 c 3900 5770 143038 4100765 6 2818 5 6 4 5.49/5.57 c 3910 5787 143481 4110594 6 2827 5 6 4 5.49/5.58 c 3920 5802 143861 4117864 6 2831 4 5 4 5.49/5.59 c 3930 5816 144218 4124774 6 2838 4 4 3 5.49/5.60 c 3940 5827 144465 4142965 6 2848 2 2 1 5.59/5.61 c 3950 5845 144972 4153579 6 2857 6 7 5 5.59/5.62 c 3960 5859 145311 4160431 6 2862 4 5 4 5.59/5.63 c 3970 5874 145691 4167714 6 2866 4 5 4 5.59/5.64 c 3980 5890 146189 4181057 6 2874 3 6 3 5.59/5.65 c 3990 5908 146604 4189803 6 2878 6 7 6 5.59/5.66 c 4000 5923 146912 4195204 6 2882 4 5 4 5.59/5.67 c 4001 5929 147176 4201756 6 2883 6 6 3 5.59/5.68 c 4010 5942 147485 4208595 6 2892 4 5 4 5.59/5.69 c 4020 5959 147928 4218436 6 2902 5 6 4 5.69/5.70 c 4030 5973 148267 4225285 6 2907 4 5 4 5.69/5.71 c 4040 5986 148685 4232424 6 2917 3 4 3 5.69/5.72 c 4050 6002 149103 4241891 6 2927 5 6 4 5.69/5.73 c 4060 6018 149601 4255234 6 2935 3 6 3 5.69/5.74 c 4070 6035 149988 4262272 6 2942 6 7 6 5.69/5.75 c 4080 6048 150406 4269411 6 2952 3 4 3 5.69/5.76 c 4090 6063 150733 4274822 6 2956 4 5 4 5.69/5.77 c 4100 6079 151231 4288165 6 2964 3 6 3 5.69/5.78 c 4110 6096 151530 4294432 6 2971 6 7 5 5.69/5.79 c 4120 6110 151869 4301311 6 2976 4 5 4 5.69/5.79 c 4130 6123 152287 4308450 6 2986 3 4 3 5.79/5.80 c 4140 6137 152644 4315360 6 2993 4 4 3 5.79/5.81 c 4150 6152 152997 4322211 6 3003 5 6 4 5.79/5.82 c 4160 6167 153377 4329494 6 3007 4 5 4 5.79/5.83 c 4170 6184 153820 4339323 6 3016 5 6 4 5.79/5.85 c 4180 6201 154279 4349158 6 3026 5 6 4 5.79/5.86 c 4190 6217 154768 4362138 6 3033 3 6 3 5.79/5.87 c 4200 6234 155147 4370120 6 3036 6 7 6 5.79/5.88 c 4210 6250 155556 4378171 6 3044 4 6 4 5.79/5.89 c 4220 6261 155803 4395582 6 3054 2 2 1 5.89/5.90 c 4230 6278 156157 4403115 6 3059 5 7 5 5.89/5.91 c 4240 6292 156514 4410025 6 3066 4 4 3 5.89/5.91 c 4250 6305 156932 4417164 6 3076 3 4 3 5.89/5.92 c 4260 6319 157271 4424013 6 3081 4 5 4 5.89/5.93 c 4270 6333 157628 4430923 6 3088 4 4 3 5.89/5.94 c 4280 6344 157875 4447554 6 3098 2 2 1 5.89/5.95 c 4290 6360 158293 4454558 6 3104 5 6 5 5.89/5.96 c 4300 6375 158651 4461463 6 3109 5 5 4 5.89/5.97 c 4310 6390 159031 4468746 6 3113 4 5 4 5.89/5.98 c 4320 6406 159414 4475986 6 3117 5 6 5 5.89/5.99 c 4330 6421 159741 4481397 6 3121 4 5 4 5.89/5.99 c 4340 6436 160050 4486985 6 3122 5 6 5 5.99/6.00 c 4350 6447 160297 4502836 6 3132 2 2 1 5.99/6.01 c 4360 6463 160714 4512658 6 3141 3 6 3 5.99/6.02 c 4370 6478 161094 4519941 6 3145 4 5 4 5.99/6.03 c 4380 6492 161433 4526790 6 3150 4 5 4 5.99/6.04 c 4390 6507 161786 4533717 6 3160 5 6 4 5.99/6.05 c 4400 6522 162113 4539128 6 3164 4 5 4 5.99/6.06 c 4410 6536 162452 4546007 6 3169 4 5 4 5.99/6.07 c 4420 6553 162861 4554952 6 3172 4 6 5 5.99/6.08 c 4430 6567 163200 4561831 6 3177 4 5 4 5.99/6.08 c 4440 6582 163553 4568682 6 3187 5 6 4 5.99/6.09 c 4450 6593 163840 4591416 6 3197 2 2 1 6.09/6.10 c 4460 6607 164152 4598314 6 3207 4 5 4 6.09/6.11 c 4470 6621 164470 4605274 6 3217 4 5 4 6.09/6.11 c 4480 6635 164809 4612123 6 3222 4 5 4 6.09/6.12 c 4490 6650 165162 4618974 6 3232 5 6 4 6.09/6.13 c 4493 6655 165368 4623055 6 3235 3 3 2 6.09/6.14 c 4500 6667 165741 4629216 6 3241 5 5 4 6.09/6.15 c 4510 6684 166200 4639051 6 3251 5 6 4 6.09/6.16 c 4520 6701 166659 4648886 6 3261 5 6 4 6.09/6.17 c 4530 6717 167077 4658352 6 3271 5 6 4 6.09/6.18 c 4540 6732 167404 4663763 6 3275 4 5 4 6.09/6.19 c 4550 6745 167785 4670582 6 3285 3 4 3 6.19/6.20 c 4560 6761 168194 4678633 6 3293 4 6 4 6.19/6.21 c 4570 6776 168604 4688121 6 3303 4 5 3 6.19/6.22 c 4580 6791 168962 4695026 6 3308 5 5 4 6.19/6.23 c 4590 6807 169371 4703077 6 3316 4 6 4 6.19/6.24 c 4600 6822 169835 4715382 6 3323 3 5 3 6.19/6.25 c 4610 6838 170211 4722274 6 3328 5 6 5 6.19/6.26 c 4620 6854 170594 4729514 6 3332 5 6 5 6.19/6.28 c 4630 6871 171037 4739364 6 3341 5 6 4 6.19/6.28 c 4640 6884 171455 4746394 6 3351 3 4 3 6.19/6.29 c 4650 6898 171794 4753273 6 3356 4 5 4 6.28/6.30 c 4660 6912 172151 4760170 6 3363 4 4 3 6.28/6.31 c 4670 6927 172509 4767075 6 3368 5 5 4 6.28/6.32 c 4680 6942 172818 4772663 6 3369 5 6 5 6.28/6.33 c 4690 6957 173198 4779933 6 3373 4 5 4 6.28/6.34 c 4700 6974 173591 4787830 6 3375 5 6 5 6.28/6.35 c 4710 6988 173930 4794682 6 3380 4 5 4 6.28/6.36 c 4720 7003 174271 4801584 6 3390 5 6 4 6.28/6.37 c 4730 7019 174654 4808824 6 3394 5 6 5 6.28/6.38 c 4740 7036 175047 4817104 6 3397 5 6 5 6.28/6.39 c 4750 7051 175356 4822692 6 3398 5 6 5 6.28/6.40 c 4760 7066 175664 4828093 6 3402 4 5 4 6.38/6.40 c 4770 7081 176017 4835020 6 3412 5 6 4 6.38/6.41 c 4780 7096 176370 4841871 6 3422 5 6 4 6.38/6.42 c 4790 7111 176713 4848759 6 3428 5 6 5 6.38/6.43 c 4800 7128 177122 4857704 6 3431 4 6 5 6.38/6.44 c 4810 7145 177581 4867539 6 3441 5 6 4 6.38/6.45 c 4820 7160 177934 4874466 6 3451 5 6 4 6.38/6.46 c 4830 7174 178252 4881426 6 3461 4 5 4 6.38/6.47 c 4840 7188 178575 4888311 6 3466 4 5 4 6.38/6.48 c 4850 7204 178993 4897777 6 3476 5 6 4 6.38/6.49 c 4860 7219 179330 4904634 6 3486 5 6 4 6.38/6.49 c 4870 7235 179635 4909605 6 3491 6 6 5 6.48/6.51 c 4880 7252 180078 4919446 6 3501 5 6 4 6.48/6.52 c 4890 7269 180487 4928391 6 3504 4 6 5 6.48/6.53 c 4900 7286 180930 4938241 6 3513 5 6 4 6.48/6.54 c 4910 7302 181373 4949975 6 3521 3 6 3 6.48/6.55 c 4920 7318 181731 4956460 6 3527 5 6 5 6.48/6.56 c 4930 7331 182149 4963708 6 3537 3 4 3 6.48/6.57 c 4940 7348 182542 4971605 6 3539 5 6 5 6.48/6.58 c 4950 7362 182899 4978528 6 3546 4 4 3 6.48/6.59 c 4960 7376 183217 4985488 6 3556 4 5 4 6.48/6.60 c 4970 7391 183597 4992784 6 3560 4 5 4 6.59/6.61 c 4980 7406 183938 4999686 6 3570 5 6 4 6.59/6.62 c 4990 7422 184356 5009152 6 3580 5 6 4 6.59/6.64 c 5035 7477 185269 5023984 6 3594 4 6 4 6.88/6.97 c 5631 8197 196130 5223441 6 3645 3 7 5 7.28/7.31 c 6286 8977 207681 5428858 6 3676 3 7 5 7.59/7.67 c 7006 9841 221108 5642664 6 3719 3 7 5 7.99/8.07 c 7798 10792 235867 5880996 6 3769 3 8 5 8.49/8.51 c 8669 11839 251579 6130277 6 3802 3 8 6 8.90/8.98 c 9627 12984 268701 6401045 6 3845 3 8 5 9.49/9.54 c 10680 14241 287468 6729521 6 3880 3 7 5 10.09/10.17 c 11838 15633 307981 7092173 6 3911 3 7 5 10.69/10.77 c 13111 17119 330452 7703210 6 4092 2 8 5 11.49/11.51 c 14511 18794 355205 8140568 6 4139 3 7 5 12.29/12.33 c 16051 20639 383160 8627049 6 4176 3 7 5 13.30/13.36 c 17745 22673 418728 9196813 6 4239 3 8 5 14.30/14.35 c 19608 24915 452236 9776832 6 4306 3 7 5 15.40/15.40 c 21657 27380 488564 10395317 6 4372 3 7 5 16.50/16.60 c 23910 30094 529120 11094994 6 4424 3 7 5 17.99/18.02 c 26388 33112 574766 11913664 6 4459 3 8 6 19.39/19.41 c 29113 36389 621903 12720001 6 4531 3 8 6 21.09/21.14 c 32110 40044 677413 13722416 6 4585 3 8 6 22.89/22.90 c 35406 44021 736928 14739675 6 4632 3 8 6 24.69/24.78 c 39031 48400 799961 15860161 6 4697 3 8 6 27.29/27.31 c 43018 53253 885972 17278680 6 4759 3 8 6 29.39/29.45 c 47403 58812 966184 18662250 6 4867 3 10 7 31.79/31.86 c 52226 64892 1054887 20216125 6 4971 3 10 7 34.59/34.61 c 57531 71292 1151591 22040226 6 5176 2 8 6 37.79/37.86 c 63366 78408 1257144 23982484 6 5240 3 8 6 42.29/42.39 c 69784 86458 1408575 26533228 6 5323 3 8 6 46.08/46.16 c 76843 95026 1538479 28693952 6 5398 3 8 6 49.49/49.56 c 84607 105056 1673753 30634732 6 5504 3 11 7 53.18/53.22 c 93147 116077 1818454 32727595 6 5606 3 11 8 59.49/59.58 c 102541 127469 2046107 36147515 6 5735 4 9 7 64.38/64.40 c 112874 140691 2227202 38911742 6 5841 3 11 7 69.58/69.65 c 124240 155249 2421295 41967037 6 5948 3 11 7 76.77/76.87 c 136742 170955 2658999 46342039 6 6053 3 10 6 84.68/84.72 c 150494 188302 2916263 50974075 6 6173 3 11 7 92.87/92.96 c 165621 206708 3196391 55989148 6 6435 2 8 6 101.68/101.75 c 182260 228074 3498859 61148012 6 6560 3 11 7 113.98/114.09 c 200562 251410 3875436 68416537 6 6653 3 9 7 127.87/127.91 c 220694 277232 4294832 76578395 6 6752 3 9 7 138.58/138.69 c 242839 306320 4693057 82503391 6 6871 3 11 8 149.87/149.92 c 267198 338230 5117726 88544507 6 6992 3 11 8 161.37/161.42 c 293992 373961 5563619 94699671 6 7110 3 11 9 179.06/179.15 c 323465 409002 5999174 108437276 6 7296 4 9 7 197.86/197.95 c 355885 451240 6628878 119242080 6 7412 3 11 7 223.86/223.91 c 391547 497858 7408973 134620321 6 7525 3 9 7 241.56/241.62 c 430775 550349 8086225 144679297 6 7645 3 11 9 275.75/275.85 c 473925 604922 9284468 163088962 6 7755 4 10 7 301.25/301.39 c 521390 669373 10190369 178417094 6 7881 3 11 9 335.05/335.15 c 573601 736379 11288028 198436682 6 7943 3 9 7 361.34/361.49 c 631033 812298 12256870 213920857 6 8063 3 11 9 410.44/410.58 c 694208 891785 13978274 240353175 6 8251 4 10 7 460.94/461.06 c 763700 983765 15644189 272450448 6 8288 3 10 7 498.83/498.97 c 840141 1084260 16977724 294831355 6 8405 3 11 9 584.03/584.11 c 924226 1198977 19919304 340517160 6 8560 4 10 8 638.93/639.10 c 1016719 1322202 21734924 373407566 6 8688 3 11 8 720.82/720.90 c 1118461 1461352 24505267 427790566 6 8892 3 10 8 777.01/777.14 c 1230377 1610023 26482155 460611614 6 9023 3 12 9 833.31/833.44 c 1353484 1772383 28484376 494940248 6 9149 3 12 9 926.70/926.80 c 1488901 1949169 31570715 552735808 6 9298 3 10 7 1032.69/1032.81 c 1637859 2132484 34000627 638642881 6 9493 4 10 8 1145.79/1145.96 c 1801712 2346794 37733570 708481210 6 9664 3 10 7 1242.08/1242.23 c 1981950 2584877 40957901 766088931 6 9731 3 12 9 1407.46/1407.65 c 2180211 2860919 46544402 875376793 6 9984 3 10 8 1513.86/1514.06 c 2398298 3149428 50260645 939804890 6 10066 3 12 10 1642.94/1643.11 c 2638193 3466750 54597977 1017102916 6 10142 3 12 9 1769.04/1769.25 c 2902077 3811764 58947600 1094547354 6 10213 3 12 10 1906.52/1906.70 c 3192349 4190915 63710290 1178100205 6 10280 3 12 10 2101.31/2101.52 c 3511648 4620017 70022812 1296273957 6 10351 3 12 9 2270.90/2271.10 c 3862876 5080017 75857481 1397960225 6 10425 3 12 10
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242216-1500655420/watcher-4242216-1500655420 -o /tmp/evaluation-result-4242216-1500655420/solver-4242216-1500655420 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500648178-9866 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242216-1500655420.xml pid=10781 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.02 3/243 10784 /proc/meminfo: memFree=32038828/32770624 swapFree=5924/190456 [pid=10784] ppid=10781 vsize=28444 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 1356 0 0 0 1 0 0 0 20 0 1 0 811497 29126656 1162 33554432000 4194304 5970956 140729172675280 140729172670360 139638263020517 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 7111 1162 723 434 0 475 0 [startup+0.10013 s] /proc/loadavg: 2.00 2.01 2.02 3/243 10784 /proc/meminfo: memFree=32038828/32770624 swapFree=5924/190456 [pid=10784] ppid=10781 vsize=67412 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 7836 0 0 0 9 0 0 0 20 0 1 0 811497 69029888 9168 33554432000 4194304 5970956 140729172675280 140729172672104 5279679 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 16853 9168 786 434 0 10217 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 67412 [startup+0.200414 s] /proc/loadavg: 2.00 2.01 2.02 3/243 10784 /proc/meminfo: memFree=32038828/32770624 swapFree=5924/190456 [pid=10784] ppid=10781 vsize=129852 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 16944 0 0 0 17 2 0 0 20 0 1 0 811497 132968448 22391 33554432000 4194304 5970956 140729172675280 140729172672104 139638263020517 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 32463 22391 786 434 0 25827 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 129852 [startup+0.300347 s] /proc/loadavg: 2.00 2.01 2.02 3/243 10784 /proc/meminfo: memFree=32038828/32770624 swapFree=5924/190456 [pid=10784] ppid=10781 vsize=200252 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 25548 0 0 0 26 3 0 0 20 0 1 0 811497 205058048 37089 33554432000 4194304 5970956 140729172675280 140729172672104 139638263020517 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 50063 37089 786 434 0 43427 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 200252 [startup+0.700341 s] /proc/loadavg: 2.00 2.01 2.02 3/243 10784 /proc/meminfo: memFree=32038828/32770624 swapFree=5924/190456 [pid=10784] ppid=10781 vsize=473864 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 57434 0 0 0 59 10 0 0 20 0 1 0 811497 485236736 94028 33554432000 4194304 5970956 140729172675280 140729172672104 139638263020517 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 118466 94028 786 434 0 111830 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 473864 [startup+1.50033 s] /proc/loadavg: 2.00 2.01 2.02 3/244 10785 /proc/meminfo: memFree=31438080/32770624 swapFree=5924/190452 [pid=10784] ppid=10781 vsize=895164 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 116974 0 0 0 128 21 0 0 20 0 1 0 811497 916647936 207746 33554432000 4194304 5970956 140729172675280 140729172672104 139638263020517 0 0 4096 8404994 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 223791 207746 786 434 0 217155 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 895164 [startup+3.10029 s] /proc/loadavg: 2.00 2.01 2.02 3/244 10785 /proc/meminfo: memFree=31060284/32770624 swapFree=5924/190460 [pid=10784] ppid=10781 vsize=1236292 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 137379 0 0 0 284 25 0 0 20 0 1 0 811497 1265963008 244769 33554432000 4194304 5970956 140729172675280 140729172672616 5327850 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309073 244769 801 434 0 302437 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1236292 [startup+6.30028 s] /proc/loadavg: 2.00 2.01 2.02 3/244 10785 /proc/meminfo: memFree=31059908/32770624 swapFree=5924/190460 [pid=10784] ppid=10781 vsize=1236292 CPUtime=6.28 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 142390 0 0 0 603 25 0 0 20 0 1 0 811497 1265963008 244771 33554432000 4194304 5970956 140729172675280 140729172672616 5038191 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309073 244771 801 434 0 302437 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1236292 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.02 3/244 10785 /proc/meminfo: memFree=31059536/32770624 swapFree=5924/190460 [pid=10784] ppid=10781 vsize=1236292 CPUtime=12.69 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 146915 0 0 0 1243 26 0 0 20 0 1 0 811497 1265963008 244774 33554432000 4194304 5970956 140729172675280 140729172672616 4974228 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309073 244774 801 434 0 302437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1236292 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.02 3/244 10851 /proc/meminfo: memFree=30988996/32770624 swapFree=5924/190460 [pid=10784] ppid=10781 vsize=1236292 CPUtime=25.49 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 152789 0 0 0 2523 26 0 0 20 0 1 0 811497 1265963008 244779 33554432000 4194304 5970956 140729172675280 140729172672616 4969752 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309073 244779 801 434 0 302437 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1236292 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.02 3/244 10851 /proc/meminfo: memFree=30981500/32770624 swapFree=5924/190496 [pid=10784] ppid=10781 vsize=1236428 CPUtime=51.08 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 158680 0 0 0 5082 26 0 0 20 0 1 0 811497 1266102272 244797 33554432000 4194304 5970956 140729172675280 140729172672616 5243147 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 244797 801 434 0 302471 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1236428 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.02 3/243 10852 /proc/meminfo: memFree=30978564/32770624 swapFree=5924/190520 [pid=10784] ppid=10781 vsize=1236428 CPUtime=102.29 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 164277 0 0 0 10202 27 0 0 20 0 1 0 811497 1266102272 244798 33554432000 4194304 5970956 140729172675280 140729172672616 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 244798 801 434 0 302471 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1236428 [startup+162.3 s] /proc/loadavg: 2.14 2.05 2.04 3/243 10853 /proc/meminfo: memFree=30975580/32770624 swapFree=5924/190640 [pid=10784] ppid=10781 vsize=1236428 CPUtime=162.27 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 167702 0 0 0 16200 27 0 0 20 0 1 0 811497 1266102272 244799 33554432000 4194304 5970956 140729172675280 140729172672616 5322288 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 244799 801 434 0 302471 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 1236428 [startup+222.308 s] /proc/loadavg: 2.11 2.05 2.04 3/243 10854 /proc/meminfo: memFree=30975320/32770624 swapFree=5924/190660 [pid=10784] ppid=10781 vsize=1236428 CPUtime=222.27 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 171087 0 0 0 22200 27 0 0 20 0 1 0 811497 1266102272 244799 33554432000 4194304 5970956 140729172675280 140729172672616 5039171 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 244799 801 434 0 302471 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 1236428 [startup+282.3 s] /proc/loadavg: 2.22 2.09 2.05 3/243 10855 /proc/meminfo: memFree=30975080/32770624 swapFree=5924/190704 [pid=10784] ppid=10781 vsize=1236428 CPUtime=282.25 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 175474 0 0 0 28198 27 0 0 20 0 1 0 811497 1266102272 244800 33554432000 4194304 5970956 140729172675280 140729172672616 5039193 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 244800 801 434 0 302471 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 1236428 [startup+342.3 s] /proc/loadavg: 2.12 2.09 2.05 3/243 10856 /proc/meminfo: memFree=30971636/32770624 swapFree=5924/190744 [pid=10784] ppid=10781 vsize=1236428 CPUtime=342.24 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 177805 0 0 0 34197 27 0 0 20 0 1 0 811497 1266102272 244800 33554432000 4194304 5970956 140729172675280 140729172672616 4974138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 244800 801 434 0 302471 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1236428 [startup+402.3 s] /proc/loadavg: 2.16 2.10 2.06 3/243 10864 /proc/meminfo: memFree=30970836/32770624 swapFree=5924/190800 [pid=10784] ppid=10781 vsize=1236428 CPUtime=402.24 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 179211 0 0 0 40197 27 0 0 20 0 1 0 811497 1266102272 244802 33554432000 4194304 5970956 140729172675280 140729172672616 5039171 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 244802 801 434 0 302471 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 1236428 [startup+462.3 s] /proc/loadavg: 2.10 2.10 2.06 3/243 10865 /proc/meminfo: memFree=30970396/32770624 swapFree=5924/190856 [pid=10784] ppid=10781 vsize=1236428 CPUtime=462.23 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 180289 0 0 0 46196 27 0 0 20 0 1 0 811497 1266102272 244802 33554432000 4194304 5970956 140729172675280 140729172672616 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 244802 801 434 0 302471 0 Current children cumulated CPU time (s) 462.23 Current children cumulated vsize (KiB) 1236428 [startup+522.3 s] /proc/loadavg: 2.08 2.10 2.06 3/243 10866 /proc/meminfo: memFree=30968816/32770624 swapFree=5924/190880 [pid=10784] ppid=10781 vsize=1236428 CPUtime=522.23 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 182034 0 0 0 52196 27 0 0 20 0 1 0 811497 1266102272 244802 33554432000 4194304 5970956 140729172675280 140729172672616 4974808 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 244802 801 434 0 302471 0 Current children cumulated CPU time (s) 522.23 Current children cumulated vsize (KiB) 1236428 [startup+582.3 s] /proc/loadavg: 2.03 2.08 2.05 3/243 10867 /proc/meminfo: memFree=30967160/32770624 swapFree=5924/190924 [pid=10784] ppid=10781 vsize=1236428 CPUtime=582.22 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 183623 0 0 0 58195 27 0 0 20 0 1 0 811497 1266102272 244802 33554432000 4194304 5970956 140729172675280 140729172672616 4974240 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 244802 801 434 0 302471 0 Current children cumulated CPU time (s) 582.22 Current children cumulated vsize (KiB) 1236428 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10916 /proc/meminfo: memFree=30952616/32770624 swapFree=5924/191556 [pid=10784] ppid=10781 vsize=1236428 CPUtime=1542.16 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 200771 0 0 0 154188 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 4974364 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 1542.16 Current children cumulated vsize (KiB) 1236428 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10924 /proc/meminfo: memFree=30952120/32770624 swapFree=5924/191600 [pid=10784] ppid=10781 vsize=1236428 CPUtime=1602.15 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 201454 0 0 0 160187 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 4978392 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 1602.15 Current children cumulated vsize (KiB) 1236428 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10925 /proc/meminfo: memFree=30952272/32770624 swapFree=5924/191640 [pid=10784] ppid=10781 vsize=1236428 CPUtime=1662.14 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 202120 0 0 0 166186 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 4977765 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 1662.14 Current children cumulated vsize (KiB) 1236428 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10926 /proc/meminfo: memFree=30950896/32770624 swapFree=5924/191680 [pid=10784] ppid=10781 vsize=1236428 CPUtime=1722.14 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 203156 0 0 0 172186 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 4977781 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 1722.14 Current children cumulated vsize (KiB) 1236428 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10927 /proc/meminfo: memFree=30951248/32770624 swapFree=5924/191712 [pid=10784] ppid=10781 vsize=1236428 CPUtime=1782.13 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 204408 0 0 0 178185 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 1782.13 Current children cumulated vsize (KiB) 1236428 [startup+1842.3 s] /proc/loadavg: 2.03 2.03 2.05 3/243 10928 /proc/meminfo: memFree=30951884/32770624 swapFree=5924/191732 [pid=10784] ppid=10781 vsize=1236428 CPUtime=1842.13 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 205399 0 0 0 184185 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 4970481 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 1842.13 Current children cumulated vsize (KiB) 1236428 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 10929 /proc/meminfo: memFree=30951364/32770624 swapFree=5924/191796 [pid=10784] ppid=10781 vsize=1236428 CPUtime=1902.12 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 206052 0 0 0 190184 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 4970963 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 1902.12 Current children cumulated vsize (KiB) 1236428 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10930 /proc/meminfo: memFree=30951104/32770624 swapFree=5924/191828 [pid=10784] ppid=10781 vsize=1236428 CPUtime=1962.12 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 206816 0 0 0 196184 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 1962.12 Current children cumulated vsize (KiB) 1236428 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10931 /proc/meminfo: memFree=30951212/32770624 swapFree=5924/191860 [pid=10784] ppid=10781 vsize=1236428 CPUtime=2022.12 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 207943 0 0 0 202184 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 4969799 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 2022.12 Current children cumulated vsize (KiB) 1236428 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10932 /proc/meminfo: memFree=30951536/32770624 swapFree=5924/191900 [pid=10784] ppid=10781 vsize=1236428 CPUtime=2082.12 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 208967 0 0 0 208184 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 2082.12 Current children cumulated vsize (KiB) 1236428 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 10933 /proc/meminfo: memFree=30951380/32770624 swapFree=5924/191912 [pid=10784] ppid=10781 vsize=1236428 CPUtime=2142.11 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 210166 0 0 0 214183 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 4977781 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 2142.11 Current children cumulated vsize (KiB) 1236428 [startup+2202.31 s] /proc/loadavg: 2.08 2.03 2.05 3/244 10942 /proc/meminfo: memFree=30950696/32770624 swapFree=5924/191972 [pid=10784] ppid=10781 vsize=1236428 CPUtime=2202.11 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 210811 0 0 0 220183 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 2202.11 Current children cumulated vsize (KiB) 1236428 [startup+2262.3 s] /proc/loadavg: 2.03 2.03 2.05 3/244 10943 /proc/meminfo: memFree=30951140/32770624 swapFree=5924/192016 [pid=10784] ppid=10781 vsize=1236428 CPUtime=2262.1 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 211458 0 0 0 226182 28 0 0 20 0 1 0 811497 1266102272 245507 33554432000 4194304 5970956 140729172675280 140729172672616 5039178 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245507 801 434 0 302471 0 Current children cumulated CPU time (s) 2262.1 Current children cumulated vsize (KiB) 1236428 [startup+2322.3 s] /proc/loadavg: 2.05 2.04 2.05 3/244 10944 /proc/meminfo: memFree=30951024/32770624 swapFree=5924/192052 [pid=10784] ppid=10781 vsize=1236428 CPUtime=2322.09 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 212450 0 0 0 232181 28 0 0 20 0 1 0 811497 1266102272 245508 33554432000 4194304 5970956 140729172675280 140729172672616 4970597 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245508 801 434 0 302471 0 Current children cumulated CPU time (s) 2322.09 Current children cumulated vsize (KiB) 1236428 [startup+2382.3 s] /proc/loadavg: 2.02 2.03 2.05 3/244 10945 /proc/meminfo: memFree=30951148/32770624 swapFree=5924/192088 [pid=10784] ppid=10781 vsize=1236428 CPUtime=2382.09 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 213471 0 0 0 238181 28 0 0 20 0 1 0 811497 1266102272 245509 33554432000 4194304 5970956 140729172675280 140729172672616 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245509 801 434 0 302471 0 Current children cumulated CPU time (s) 2382.09 Current children cumulated vsize (KiB) 1236428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.01 2.03 2.05 3/244 10945 /proc/meminfo: memFree=30951396/32770624 swapFree=5924/192088 [pid=10784] ppid=10781 vsize=1236428 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 213704 0 0 0 239981 28 0 0 20 0 1 0 811497 1266102272 245509 33554432000 4194304 5970956 140729172675280 140729172672616 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245509 801 434 0 302471 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 1236428 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10784 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.01 2.03 2.05 3/244 10945 /proc/meminfo: memFree=30951396/32770624 swapFree=5924/192088 [pid=10784] ppid=10781 vsize=1236428 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14 /proc/10784/stat : 10784 (cosoco) R 10781 10784 9834 0 -1 4202496 213704 0 0 0 239981 28 0 0 20 0 1 0 811497 1266102272 245509 33554432000 4194304 5970956 140729172675280 140729172672616 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 39931904 140729172677820 140729172677955 140729172677955 140729172680654 0 /proc/10784/statm: 309107 245509 801 434 0 302471 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 1236428 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.11 CPU user time (s): 2399.82 CPU system time (s): 0.293977 CPU usage (%): 99.9917 Max. virtual memory (cumulated for all children) (KiB): 1236428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.82 system time used= 0.293977 maximum resident set size= 982084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 213727 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= 29 involuntary context switches= 120638 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.13868 second user time and 12.6418 second system time The end
Begin job on node105 at 2017-07-21 18:43:40 IDJOB=4242216 IDBENCH=133642 IDSOLVER=2621 FILE ID=node105/4242216-1500655420 RUNJOBID= node105-1500648178-9866 PBS_JOBID= 20623309 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-11-0066.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242216-1500655420/watcher-4242216-1500655420 -o /tmp/evaluation-result-4242216-1500655420/solver-4242216-1500655420 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500648178-9866 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242216-1500655420.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 0b8750a079fea2eda3490f2b84dad210 RANDOM SEED=1712346790 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32039616 kB MemAvailable: 32027888 kB Buffers: 31956 kB Cached: 266600 kB SwapCached: 0 kB Active: 157372 kB Inactive: 199136 kB Active(anon): 60772 kB Inactive(anon): 8680 kB Active(file): 96600 kB Inactive(file): 190456 kB Unevictable: 5924 kB Mlocked: 5956 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2444 kB Writeback: 0 kB AnonPages: 63412 kB Mapped: 30812 kB Shmem: 8852 kB Slab: 66008 kB SReclaimable: 34100 kB SUnreclaim: 31908 kB KernelStack: 4240 kB PageTables: 5612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 332984 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 62004 MiB End job on node105 at 2017-07-21 19:23:40