| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.01 | 2520.01 |
| 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.10 c intension x[0][0]<x[0][10] using generic constraint 0.00/0.10 c intension x[0][0]<x[10][20] using generic constraint 0.00/0.10 c intension x[0][0]<x[20][10] using generic constraint 0.00/0.10 c intension x[0][0]<x[20][0] using generic constraint 0.00/0.10 c intension x[0][0]<x[10][0] using generic constraint 0.00/0.10 c intension x[0][10]<x[10][0] using generic constraint 1.60/1.76 c SAT : Variables: 145971 -- Clauses: 24085656 1.60/1.76 c root propagations : 9 1.60/1.76 c restarts enabled, print stats at every restarts 1.60/1.76 c 1.60/1.76 c 1.60/1.76 c 1.60/1.76 c This is cosoco 1.12 -- 1.60/1.76 c 1.60/1.76 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266140-1502581847.xml 1.60/1.76 c ========================================[ Problem Statistics ]=========================================== 1.60/1.76 c | 1.60/1.76 c | Parse time : 1.43 s 1.60/1.76 c | 1.60/1.76 c | Variables: 441 1.60/1.76 c | Domain Sizes: 331..331 1.60/1.76 c | 1.60/1.76 c | Constraints: 70 1.60/1.76 c | Arity: 2..331 -- Binary: 6 1.60/1.76 c | 1.60/1.76 c | Types: 1.60/1.76 c | (X - Y < k): 6 1.60/1.76 c | All Different: 1 1.60/1.76 c | Sum: 63 1.60/1.76 c | 1.60/1.76 c ========================================================================================================= 1.60/1.76 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.60/1.76 c remove useless variable x[0][11] 1.60/1.76 c remove useless variable x[0][12] 1.60/1.76 c remove useless variable x[0][13] 1.60/1.76 c remove useless variable x[0][14] 1.60/1.76 c remove useless variable x[0][15] 1.60/1.76 c remove useless variable x[0][16] 1.60/1.76 c remove useless variable x[0][17] 1.60/1.76 c remove useless variable x[0][18] 1.60/1.76 c remove useless variable x[0][19] 1.60/1.76 c remove useless variable x[0][20] 1.60/1.76 c remove useless variable x[1][12] 1.60/1.76 c remove useless variable x[1][13] 1.60/1.76 c remove useless variable x[1][14] 1.60/1.76 c remove useless variable x[1][15] 1.60/1.76 c remove useless variable x[1][16] 1.60/1.76 c remove useless variable x[1][17] 1.60/1.76 c remove useless variable x[1][18] 1.60/1.76 c remove useless variable x[1][19] 1.60/1.76 c remove useless variable x[1][20] 1.60/1.76 c remove useless variable x[2][13] 1.60/1.76 c remove useless variable x[2][14] 1.60/1.76 c remove useless variable x[2][15] 1.60/1.76 c remove useless variable x[2][16] 1.60/1.76 c remove useless variable x[2][17] 1.60/1.76 c remove useless variable x[2][18] 1.60/1.76 c remove useless variable x[2][19] 1.60/1.76 c remove useless variable x[2][20] 1.60/1.76 c remove useless variable x[3][14] 1.60/1.76 c remove useless variable x[3][15] 1.60/1.76 c remove useless variable x[3][16] 1.60/1.76 c remove useless variable x[3][17] 1.60/1.76 c remove useless variable x[3][18] 1.60/1.76 c remove useless variable x[3][19] 1.60/1.76 c remove useless variable x[3][20] 1.60/1.76 c remove useless variable x[4][15] 1.60/1.76 c remove useless variable x[4][16] 1.60/1.76 c remove useless variable x[4][17] 1.60/1.76 c remove useless variable x[4][18] 1.60/1.76 c remove useless variable x[4][19] 1.60/1.76 c remove useless variable x[4][20] 1.60/1.76 c remove useless variable x[5][16] 1.60/1.76 c remove useless variable x[5][17] 1.60/1.76 c remove useless variable x[5][18] 1.60/1.76 c remove useless variable x[5][19] 1.60/1.76 c remove useless variable x[5][20] 1.60/1.76 c remove useless variable x[6][17] 1.60/1.76 c remove useless variable x[6][18] 1.60/1.76 c remove useless variable x[6][19] 1.60/1.76 c remove useless variable x[6][20] 1.60/1.76 c remove useless variable x[7][18] 1.60/1.76 c remove useless variable x[7][19] 1.60/1.76 c remove useless variable x[7][20] 1.60/1.76 c remove useless variable x[8][19] 1.60/1.76 c remove useless variable x[8][20] 1.60/1.76 c remove useless variable x[9][20] 1.60/1.76 c remove useless variable x[11][20] 1.60/1.76 c remove useless variable x[12][19] 1.60/1.76 c remove useless variable x[12][20] 1.60/1.76 c remove useless variable x[13][18] 1.60/1.76 c remove useless variable x[13][19] 1.60/1.76 c remove useless variable x[13][20] 1.60/1.76 c remove useless variable x[14][17] 1.60/1.76 c remove useless variable x[14][18] 1.60/1.76 c remove useless variable x[14][19] 1.60/1.76 c remove useless variable x[14][20] 1.60/1.76 c remove useless variable x[15][16] 1.60/1.76 c remove useless variable x[15][17] 1.60/1.76 c remove useless variable x[15][18] 1.60/1.76 c remove useless variable x[15][19] 1.60/1.76 c remove useless variable x[15][20] 1.60/1.76 c remove useless variable x[16][15] 1.60/1.76 c remove useless variable x[16][16] 1.60/1.76 c remove useless variable x[16][17] 1.60/1.76 c remove useless variable x[16][18] 1.60/1.76 c remove useless variable x[16][19] 1.60/1.76 c remove useless variable x[16][20] 1.60/1.76 c remove useless variable x[17][14] 1.60/1.76 c remove useless variable x[17][15] 1.60/1.76 c remove useless variable x[17][16] 1.60/1.76 c remove useless variable x[17][17] 1.60/1.76 c remove useless variable x[17][18] 1.60/1.76 c remove useless variable x[17][19] 1.60/1.76 c remove useless variable x[17][20] 1.60/1.76 c remove useless variable x[18][13] 1.60/1.76 c remove useless variable x[18][14] 1.60/1.76 c remove useless variable x[18][15] 1.60/1.76 c remove useless variable x[18][16] 1.60/1.76 c remove useless variable x[18][17] 1.60/1.76 c remove useless variable x[18][18] 1.60/1.76 c remove useless variable x[18][19] 1.60/1.76 c remove useless variable x[18][20] 1.60/1.76 c remove useless variable x[19][12] 1.60/1.76 c remove useless variable x[19][13] 1.60/1.76 c remove useless variable x[19][14] 1.60/1.76 c remove useless variable x[19][15] 1.60/1.76 c remove useless variable x[19][16] 1.60/1.76 c remove useless variable x[19][17] 1.60/1.76 c remove useless variable x[19][18] 1.60/1.76 c remove useless variable x[19][19] 1.60/1.76 c remove useless variable x[19][20] 1.60/1.76 c remove useless variable x[20][11] 1.60/1.76 c remove useless variable x[20][12] 1.60/1.76 c remove useless variable x[20][13] 1.60/1.76 c remove useless variable x[20][14] 1.60/1.76 c remove useless variable x[20][15] 1.60/1.76 c remove useless variable x[20][16] 1.60/1.76 c remove useless variable x[20][17] 1.60/1.76 c remove useless variable x[20][18] 1.60/1.76 c remove useless variable x[20][19] 1.60/1.76 c remove useless variable x[20][20] 1.60/1.77 c 10 13 425 9479 6 10 3 4 3 1.60/1.78 c 20 24 641 17259 6 20 2 2 1 1.60/1.79 c 30 39 919 30753 6 23 4 5 4 1.69/1.80 c 40 52 1292 46702 6 33 3 4 2 1.69/1.81 c 50 66 1600 54157 6 40 4 4 3 1.69/1.82 c 60 79 1978 63687 6 50 3 4 3 1.69/1.83 c 70 92 2362 73217 6 60 3 4 3 1.69/1.83 c 80 105 2740 82747 6 70 3 4 3 1.69/1.84 c 90 119 3105 89982 6 77 4 4 3 1.69/1.85 c 100 133 3470 97217 6 84 4 4 3 1.69/1.86 c 101 137 3725 103720 6 85 4 4 2 1.69/1.87 c 110 151 4104 111274 6 88 4 5 4 1.69/1.88 c 120 164 4482 120804 6 98 3 4 3 1.69/1.89 c 130 178 4853 128026 6 106 4 4 3 1.79/1.90 c 140 192 5218 135261 6 113 4 4 3 1.79/1.91 c 150 206 5569 142093 6 123 4 5 4 1.79/1.92 c 160 221 5963 149728 6 128 4 5 4 1.79/1.93 c 170 237 6379 158028 6 131 4 5 4 1.79/1.94 c 180 252 6760 164871 6 136 4 5 4 1.79/1.95 c 190 267 7148 172477 6 140 4 5 4 1.79/1.96 c 200 282 7492 178085 6 145 4 5 4 1.79/1.97 c 210 297 7880 185691 6 149 4 5 4 1.79/1.98 c 211 301 8077 189510 6 150 4 4 2 1.79/1.99 c 220 314 8430 196315 6 154 4 5 4 1.79/2.00 c 230 328 8786 203143 6 159 4 5 4 1.90/2.01 c 240 343 9161 209986 6 164 4 5 4 1.90/2.02 c 250 358 9495 215592 6 168 4 5 4 1.90/2.03 c 260 373 9871 222420 6 178 5 6 4 1.90/2.04 c 270 387 10222 229288 6 188 4 5 4 1.90/2.05 c 280 400 10600 238818 6 198 3 4 3 1.90/2.06 c 290 415 10938 244426 6 203 4 5 4 1.90/2.06 c 300 429 11303 251661 6 210 4 4 3 1.90/2.08 c 310 446 11786 261599 6 220 5 6 4 1.90/2.09 c 320 461 12161 268470 6 225 4 5 4 1.90/2.10 c 330 475 12517 275326 6 230 4 5 4 2.00/2.11 c 332 482 12829 281869 6 232 6 6 4 2.00/2.11 c 340 495 13185 288624 6 240 5 6 4 2.00/2.13 c 350 511 13637 298188 6 250 5 6 4 2.00/2.14 c 360 526 14025 305794 6 254 4 5 4 2.00/2.15 c 370 541 14395 312622 6 264 5 6 4 2.00/2.16 c 380 558 14872 322548 6 273 5 6 4 2.00/2.17 c 390 575 15349 332486 6 283 5 6 4 2.00/2.18 c 400 589 15705 339314 6 288 4 5 4 2.00/2.20 c 410 605 16122 347684 6 296 4 6 4 2.09/2.21 c 420 621 16539 356049 6 303 4 6 4 2.09/2.22 c 430 638 17016 365975 6 312 5 6 4 2.09/2.23 c 440 653 17391 372855 6 317 5 5 4 2.09/2.25 c 450 670 17887 383973 6 327 4 6 4 2.09/2.26 c 460 686 18287 391188 6 331 5 6 5 2.09/2.27 c 465 697 18659 399258 6 333 4 6 4 2.09/2.28 c 470 706 18911 403244 6 338 5 5 4 2.09/2.29 c 480 721 19296 410091 6 345 5 5 4 2.19/2.30 c 490 736 19671 416972 6 350 4 5 4 2.19/2.31 c 500 752 20077 424213 6 356 5 6 5 2.19/2.32 c 510 768 20488 432549 6 365 4 5 3 2.19/2.33 c 520 783 20813 437986 6 366 5 6 5 2.19/2.34 c 530 799 21213 445189 6 369 5 6 5 2.19/2.35 c 540 814 21583 452091 6 379 5 6 4 2.19/2.36 c 550 828 21934 459044 6 389 4 5 4 2.19/2.37 c 560 843 22252 463174 6 399 5 6 5 2.19/2.38 c 570 859 22602 468670 6 402 5 6 5 2.19/2.39 c 580 876 23023 476931 6 412 5 6 4 2.29/2.40 c 590 893 23459 486190 6 415 4 6 5 2.29/2.42 c 600 909 23911 495744 6 424 5 6 4 2.29/2.43 c 610 926 24347 504950 6 426 4 6 5 2.29/2.44 c 611 930 24544 508778 6 427 4 4 2 2.29/2.45 c 620 945 24939 515976 6 434 5 6 4 2.29/2.46 c 630 959 25295 522880 6 439 4 5 4 2.29/2.47 c 640 975 25639 528401 6 443 5 6 5 2.29/2.48 c 650 989 25990 535391 6 453 4 5 4 2.29/2.49 c 660 1004 26369 542251 6 459 5 5 4 2.40/2.50 c 670 1020 26762 549091 6 465 5 6 5 2.40/2.51 c 680 1035 27144 555925 6 471 5 6 5 2.40/2.52 c 690 1051 27596 565476 6 480 5 6 4 2.40/2.53 c 700 1067 27996 572703 6 485 5 6 5 2.40/2.54 c 710 1082 28366 579514 6 495 5 6 4 2.40/2.55 c 720 1098 28779 587772 6 498 4 6 4 2.40/2.56 c 730 1114 29140 594429 6 504 4 6 4 2.40/2.58 c 740 1131 29617 604384 6 514 5 6 4 2.40/2.59 c 750 1148 30094 614324 6 522 5 6 4 2.50/2.60 c 760 1164 30457 620964 6 527 4 6 4 2.50/2.62 c 770 1181 30883 628859 6 530 5 6 5 2.50/2.62 c 771 1187 31180 635383 6 531 6 6 3 2.50/2.63 c 780 1200 31533 642222 6 535 4 5 4 2.50/2.64 c 790 1215 31912 649075 6 541 5 6 5 2.50/2.66 c 800 1232 32338 656942 6 543 5 6 5 2.50/2.67 c 810 1247 32714 663753 6 553 5 6 4 2.50/2.67 c 820 1262 33088 670625 6 563 5 6 4 2.50/2.68 c 830 1276 33439 677521 6 573 4 5 4 2.50/2.69 c 840 1292 33783 683082 6 577 5 6 5 2.60/2.71 c 850 1308 34235 692650 6 587 5 6 4 2.60/2.72 c 860 1324 34628 699514 6 593 5 6 5 2.60/2.73 c 870 1341 35054 707764 6 596 5 6 5 2.60/2.74 c 880 1358 35475 715007 6 605 5 6 4 2.60/2.75 c 890 1373 35851 721865 6 611 5 6 5 2.60/2.76 c 900 1389 36199 727408 6 617 5 6 5 2.60/2.77 c 910 1405 36540 732209 6 623 6 6 5 2.60/2.78 c 920 1422 37023 742164 6 633 5 6 4 2.60/2.79 c 930 1437 37398 749070 6 638 4 5 4 2.70/2.80 c 940 1453 37791 755902 6 644 5 6 5 2.70/2.81 c 947 1466 38170 762640 6 650 6 6 5 2.70/2.82 c 950 1474 38425 766554 6 653 6 6 4 2.70/2.83 c 960 1490 38825 773732 6 655 5 6 5 2.70/2.84 c 970 1506 39182 780507 6 656 6 6 5 2.70/2.85 c 980 1521 39521 788332 6 660 4 5 4 2.70/2.87 c 990 1537 39882 795020 6 668 4 6 4 2.70/2.87 c 1000 1551 40229 802085 6 678 4 5 4 2.70/2.88 c 1010 1566 40604 808963 6 683 5 5 4 2.70/2.89 c 1020 1581 40983 815812 6 689 5 6 5 2.80/2.91 c 1030 1597 41440 825420 6 693 5 5 4 2.80/2.92 c 1040 1613 41840 832624 6 697 5 6 5 2.80/2.93 c 1050 1630 42274 842071 6 706 4 6 4 2.80/2.94 c 1060 1646 42618 847298 6 711 5 6 5 2.80/2.96 c 1070 1663 43045 855237 6 721 5 6 4 2.80/2.97 c 1080 1679 43441 862081 6 727 5 6 5 2.80/2.98 c 1090 1695 43854 870245 6 728 6 6 5 2.80/2.99 c 1100 1710 44292 879770 6 730 5 5 4 2.80/3.00 c 1110 1726 44692 886952 6 732 5 6 5 2.91/3.01 c 1120 1741 45068 893894 6 742 5 6 4 2.91/3.02 c 1130 1756 45447 900734 6 748 5 6 5 2.91/3.03 c 1140 1773 45869 908237 6 752 6 6 5 2.91/3.04 c 1141 1779 46106 912080 6 753 6 6 3 2.91/3.05 c 1150 1793 46467 918867 6 762 5 6 4 2.91/3.06 c 1160 1809 46834 925545 6 768 4 6 4 2.91/3.07 c 1170 1825 47230 932401 6 774 5 6 5 2.91/3.08 c 1180 1841 47578 937626 6 780 5 6 5 2.91/3.09 c 1190 1857 47926 942849 6 787 5 6 4 2.91/3.10 c 1200 1873 48274 948416 6 793 5 6 5 3.01/3.11 c 1210 1889 48670 955271 6 799 5 6 5 3.01/3.12 c 1220 1906 49147 965219 6 808 5 6 4 3.01/3.13 c 1230 1922 49495 970787 6 816 5 6 4 3.01/3.15 c 1240 1937 49930 980353 6 821 4 5 4 3.01/3.16 c 1250 1953 50323 987183 6 827 6 6 5 3.01/3.17 c 1260 1970 50749 995045 6 829 5 6 5 3.01/3.18 c 1270 1987 51129 1002283 6 832 4 6 5 3.01/3.19 c 1280 2002 51447 1006484 6 842 5 6 4 3.10/3.20 c 1290 2018 51905 1016032 6 850 5 6 4 3.10/3.21 c 1300 2032 52261 1022979 6 855 4 5 4 3.10/3.22 c 1310 2049 52680 1030178 6 861 6 7 5 3.10/3.23 c 1320 2062 53058 1039708 6 871 3 4 3 3.10/3.24 c 1330 2078 53468 1046941 6 878 5 6 4 3.10/3.26 c 1340 2095 53891 1054899 6 884 5 7 5 3.10/3.27 c 1350 2111 54293 1061720 6 890 6 6 5 3.10/3.27 c 1352 2116 54551 1068247 6 892 4 4 2 3.10/3.28 c 1360 2130 54887 1073423 6 900 5 6 4 3.10/3.29 c 1370 2145 55262 1080302 6 905 5 5 4 3.20/3.31 c 1380 2162 55683 1087500 6 907 6 7 5 3.20/3.32 c 1390 2178 56074 1094317 6 917 5 7 5 3.20/3.33 c 1400 2195 56503 1102198 6 919 5 7 5 3.20/3.34 c 1410 2211 56899 1109055 6 925 5 6 5 3.20/3.35 c 1420 2227 57292 1115897 6 931 5 6 5 3.20/3.36 c 1430 2245 57788 1125792 6 941 6 7 5 3.20/3.37 c 1440 2262 58207 1133015 6 946 6 7 5 3.20/3.39 c 1450 2277 58645 1142953 6 955 4 5 3 3.20/3.39 c 1460 2292 59025 1149855 6 965 5 6 4 3.30/3.41 c 1470 2310 59525 1160564 6 975 5 7 4 3.30/3.42 c 1480 2326 59925 1167774 6 979 5 6 5 3.30/3.43 c 1490 2343 60398 1177306 6 987 6 7 5 3.30/3.44 c 1500 2359 60794 1184141 6 993 5 6 5 3.30/3.46 c 1510 2374 61186 1191770 6 999 4 5 4 3.30/3.47 c 1520 2391 61609 1200030 6 1003 5 7 5 3.30/3.48 c 1530 2407 61957 1205254 6 1010 5 6 4 3.30/3.49 c 1540 2424 62443 1215148 6 1012 6 7 5 3.40/3.50 c 1550 2440 62836 1222042 6 1018 5 6 5 3.40/3.51 c 1560 2455 63211 1228894 6 1023 4 5 4 3.40/3.52 c 1570 2471 63609 1236063 6 1025 5 7 5 3.40/3.53 c 1580 2487 64006 1242911 6 1035 6 7 5 3.40/3.54 c 1585 2496 64276 1247863 6 1036 5 5 4 3.40/3.55 c 1590 2505 64548 1254732 6 1041 4 5 3 3.40/3.56 c 1600 2523 65044 1264659 6 1050 6 7 5 3.40/3.57 c 1610 2537 65391 1271618 6 1060 4 5 3 3.40/3.58 c 1620 2553 65748 1278393 6 1061 6 6 5 3.40/3.59 c 1630 2568 66094 1285461 6 1067 5 5 4 3.50/3.60 c 1640 2584 66435 1290258 6 1073 6 6 5 3.50/3.61 c 1650 2598 66782 1297323 6 1083 4 5 4 3.50/3.62 c 1660 2615 67209 1305666 6 1091 5 7 5 3.50/3.64 c 1670 2631 67609 1313510 6 1092 6 7 5 3.50/3.65 c 1680 2648 68025 1321040 6 1098 6 7 5 3.50/3.66 c 1690 2666 68531 1332122 6 1108 5 7 4 3.50/3.68 c 1700 2683 69012 1343351 6 1113 5 7 5 3.50/3.69 c 1710 2699 69464 1352894 6 1121 5 6 4 3.60/3.70 c 1720 2715 69921 1362502 6 1125 5 5 4 3.60/3.71 c 1730 2731 70314 1369322 6 1131 6 6 5 3.60/3.73 c 1740 2747 70718 1376552 6 1138 5 6 4 3.60/3.74 c 1750 2764 71140 1384034 6 1141 6 6 5 3.60/3.75 c 1760 2778 71529 1399501 6 1150 3 5 3 3.60/3.76 c 1770 2789 71765 1424715 6 1160 2 2 1 3.60/3.77 c 1780 2805 72124 1433269 6 1169 4 5 3 3.60/3.77 c 1790 2816 72360 1458483 6 1179 2 2 1 3.60/3.78 c 1800 2831 72711 1465553 6 1185 5 5 4 3.60/3.79 c 1810 2842 72947 1490767 6 1195 2 2 1 3.70/3.80 c 1820 2858 73313 1498204 6 1200 5 6 5 3.70/3.80 c 1830 2869 73505 1523418 6 1210 2 2 1 3.70/3.81 c 1840 2885 73873 1531893 6 1213 4 6 4 3.70/3.82 c 1841 2887 73976 1534688 6 1214 2 2 1 3.70/3.82 c 1850 2900 74291 1541778 6 1223 4 5 4 3.70/3.83 c 1860 2911 74527 1566992 6 1233 2 2 1 3.70/3.84 c 1870 2927 74993 1576919 6 1242 5 6 4 3.70/3.85 c 1880 2938 75240 1601350 6 1252 2 2 1 3.70/3.86 c 1890 2954 75617 1608779 6 1260 5 6 4 3.70/3.86 c 1900 2965 75864 1633210 6 1270 2 2 1 3.70/3.87 c 1910 2981 76140 1638801 6 1275 5 6 5 3.70/3.88 c 1920 2992 76387 1662452 6 1285 2 2 1 3.70/3.89 c 1930 3008 76752 1669496 6 1291 5 6 5 3.70/3.89 c 1940 3019 76998 1693927 6 1301 2 2 1 3.80/3.90 c 1950 3035 77282 1700650 6 1308 4 6 4 3.80/3.91 c 1960 3046 77529 1724301 6 1318 2 2 1 3.80/3.92 c 1970 3061 77877 1731403 6 1323 4 5 4 3.80/3.92 c 1980 3072 78124 1754274 6 1333 2 2 1 3.80/3.93 c 1990 3088 78497 1761673 6 1336 5 6 5 3.80/3.94 c 2000 3099 78744 1785324 6 1346 2 2 1 3.80/3.95 c 2010 3115 79107 1792381 6 1352 5 6 5 3.80/3.95 c 2020 3126 79354 1816734 6 1362 2 2 1 3.80/3.96 c 2030 3142 79634 1822002 6 1368 5 6 5 3.80/3.97 c 2040 3153 79881 1844093 6 1378 2 2 1 3.80/3.98 c 2050 3169 80250 1851159 6 1384 5 6 5 3.80/3.98 c 2060 3180 80497 1874732 6 1394 2 2 1 3.80/3.99 c 2070 3196 80777 1880343 6 1401 5 6 4 3.80/4.00 c 2080 3207 81024 1903214 6 1411 2 2 1 3.91/4.00 c 2090 3223 81384 1910256 6 1417 5 6 5 3.91/4.01 c 2100 3234 81631 1933049 6 1427 2 2 1 3.91/4.02 c 2110 3251 81934 1940277 6 1429 4 6 5 3.91/4.03 c 2120 3262 82181 1962290 6 1439 2 2 1 3.91/4.03 c 2122 3267 82319 1966248 6 1441 4 4 2 3.91/4.04 c 2130 3276 82534 1983385 6 1449 2 2 1 3.91/4.05 c 2140 3291 82970 1993399 6 1454 4 5 4 3.91/4.05 c 2150 3302 83217 2015490 6 1464 2 2 1 3.91/4.06 c 2160 3317 83569 2022557 6 1470 5 5 4 3.91/4.07 c 2170 3328 83816 2045428 6 1480 2 2 1 3.91/4.08 c 2180 3344 84180 2052860 6 1485 5 6 5 3.91/4.08 c 2190 3355 84427 2074171 6 1495 2 2 1 3.91/4.09 c 2200 3371 84792 2081208 6 1501 5 6 5 3.91/4.10 c 2210 3382 85039 2102519 6 1511 2 2 1 4.01/4.11 c 2220 3398 85319 2107782 6 1519 5 6 4 4.01/4.11 c 2230 3409 85566 2129873 6 1529 2 2 1 4.01/4.12 c 2240 3426 85951 2137278 6 1531 6 7 5 4.01/4.13 c 2250 3437 86198 2161709 6 1541 2 2 1 4.01/4.14 c 2260 3454 86594 2169797 6 1543 5 7 5 4.01/4.15 c 2270 3465 86841 2190328 6 1553 2 2 1 4.01/4.15 c 2280 3480 87178 2197437 6 1563 5 6 4 4.01/4.16 c 2290 3491 87425 2218748 6 1573 2 2 1 4.01/4.17 c 2300 3508 87912 2229013 6 1575 6 7 5 4.01/4.18 c 2310 3519 88159 2248764 6 1585 2 2 1 4.01/4.19 c 2320 3535 88513 2255819 6 1595 6 7 5 4.01/4.19 c 2330 3546 88760 2279470 6 1605 2 2 1 4.10/4.21 c 2340 3564 89270 2290923 6 1615 5 7 4 4.10/4.21 c 2350 3575 89517 2309894 6 1625 2 2 1 4.10/4.22 c 2360 3592 89896 2317583 6 1628 6 6 5 4.10/4.23 c 2370 3603 90143 2335774 6 1638 2 2 1 4.10/4.24 c 2380 3620 90528 2343487 6 1640 6 7 5 4.10/4.25 c 2390 3631 90775 2366358 6 1650 2 2 1 4.10/4.26 c 2400 3647 91261 2377995 6 1651 6 7 5 4.10/4.27 c 2410 3658 91508 2398604 6 1661 2 2 1 4.10/4.28 c 2420 3672 91837 2407192 6 1666 3 5 3 4.10/4.28 c 2430 3683 92084 2427021 6 1676 2 2 1 4.10/4.28 c 2431 3687 92211 2430905 6 1677 4 4 2 4.10/4.29 c 2440 3697 92442 2449464 6 1686 2 2 1 4.20/4.30 c 2450 3711 92757 2456193 6 1696 4 5 4 4.20/4.30 c 2460 3722 93004 2475242 6 1706 2 2 1 4.20/4.31 c 2470 3738 93458 2484607 6 1716 5 6 4 4.20/4.32 c 2480 3749 93705 2502876 6 1726 2 2 1 4.20/4.33 c 2490 3766 94184 2512831 6 1736 5 6 4 4.20/4.34 c 2500 3777 94431 2533362 6 1746 2 2 1 4.20/4.35 c 2510 3794 94924 2543684 6 1755 5 6 4 4.20/4.36 c 2520 3805 95171 2565775 6 1765 2 2 1 4.20/4.37 c 2530 3822 95572 2573836 6 1767 5 6 5 4.20/4.37 c 2540 3833 95819 2595147 6 1777 2 2 1 4.20/4.38 c 2550 3848 96162 2602227 6 1783 5 6 5 4.20/4.39 c 2560 3859 96409 2622758 6 1793 2 2 1 4.30/4.40 c 2570 3876 96792 2630143 6 1795 6 7 5 4.30/4.40 c 2580 3887 97039 2647554 6 1805 2 2 1 4.30/4.42 c 2590 3904 97437 2655638 6 1807 5 7 5 4.30/4.42 c 2600 3915 97684 2673127 6 1817 2 2 1 4.30/4.43 c 2610 3930 98021 2680224 6 1827 5 6 4 4.30/4.44 c 2620 3941 98268 2699975 6 1837 2 2 1 4.30/4.45 c 2630 3958 98649 2707052 6 1847 6 7 5 4.30/4.45 c 2640 3969 98896 2726023 6 1857 2 2 1 4.30/4.46 c 2650 3987 99210 2731899 6 1866 6 7 5 4.30/4.47 c 2660 3998 99457 2748530 6 1876 2 2 1 4.30/4.48 c 2670 4015 99763 2755219 6 1883 5 7 5 4.30/4.48 c 2680 4026 100010 2773410 6 1893 2 2 1 4.30/4.49 c 2690 4042 100364 2780469 6 1899 5 6 5 4.40/4.50 c 2700 4053 100611 2800220 6 1909 2 2 1 4.40/4.51 c 2710 4070 101005 2807625 6 1915 6 7 5 4.40/4.51 c 2720 4081 101252 2823476 6 1925 2 2 1 4.40/4.52 c 2730 4098 101547 2829354 6 1930 6 7 5 4.40/4.53 c 2740 4109 101794 2846063 6 1940 2 2 1 4.40/4.54 c 2750 4126 102174 2853096 6 1947 6 7 6 4.40/4.54 c 2760 4137 102421 2872067 6 1957 2 2 1 4.40/4.56 c 2770 4154 102811 2881512 6 1961 4 7 5 4.40/4.56 c 2771 4156 102914 2883767 6 1962 2 2 1 4.40/4.57 c 2780 4170 103252 2890836 6 1967 5 6 5 4.40/4.57 c 2790 4181 103499 2908169 6 1977 2 2 1 4.40/4.58 c 2800 4197 103867 2915194 6 1983 6 6 5 4.40/4.59 c 2810 4208 104114 2931123 6 1993 2 2 1 4.50/4.60 c 2820 4225 104503 2938821 6 2003 6 7 5 4.50/4.60 c 2830 4236 104780 2959739 6 2013 2 2 1 4.50/4.61 c 2840 4254 105190 2967505 6 2023 6 7 5 4.50/4.62 c 2850 4265 105477 2990239 6 2033 2 2 1 4.50/4.63 c 2860 4282 105776 2996480 6 2041 6 7 5 4.50/4.64 c 2870 4295 106211 3006669 6 2051 2 4 2 4.50/4.64 c 2880 4306 106458 3024860 6 2061 2 2 1 4.50/4.66 c 2890 4324 106906 3035251 6 2063 5 7 6 4.50/4.66 c 2900 4335 107153 3052662 6 2073 2 2 1 4.50/4.67 c 2910 4350 107556 3059990 6 2074 5 6 5 4.50/4.68 c 2920 4361 107803 3079819 6 2084 2 2 1 4.50/4.69 c 2930 4375 108125 3086675 6 2094 4 5 4 4.50/4.69 c 2940 4386 108372 3105724 6 2104 2 2 1 4.60/4.70 c 2950 4402 108840 3114641 6 2113 5 6 4 4.60/4.71 c 2960 4413 109087 3132910 6 2123 2 2 1 4.60/4.72 c 2970 4430 109569 3142690 6 2131 5 6 5 4.60/4.73 c 2980 4441 109816 3159321 6 2141 2 2 1 4.60/4.74 c 2990 4458 110315 3169583 6 2144 5 6 5 4.60/4.75 c 3000 4469 110562 3185434 6 2154 2 2 1 4.60/4.76 c 3010 4485 110927 3192458 6 2160 5 6 5 4.60/4.76 c 3020 4496 111174 3209947 6 2170 2 2 1 4.60/4.77 c 3030 4512 111456 3215221 6 2176 5 6 5 4.60/4.78 c 3040 4523 111703 3231774 6 2186 2 2 1 4.60/4.79 c 3050 4539 112069 3238805 6 2192 5 6 5 4.60/4.79 c 3060 4550 112316 3255514 6 2202 2 2 1 4.70/4.80 c 3070 4567 112704 3262895 6 2208 6 7 5 4.70/4.81 c 3080 4580 113122 3269816 6 2218 3 4 3 4.70/4.82 c 3090 4591 113369 3285745 6 2228 2 2 1 4.70/4.83 c 3100 4608 113764 3293908 6 2234 5 7 5 4.70/4.83 c 3110 4619 114051 3316643 6 2244 2 2 1 4.70/4.84 c 3120 4635 114409 3323656 6 2254 5 7 5 4.70/4.85 c 3130 4649 114747 3330543 6 2261 4 4 3 4.70/4.86 c 3140 4663 115085 3337443 6 2267 4 4 3 4.70/4.86 c 3142 4666 115204 3341008 6 2269 2 2 1 4.70/4.87 c 3150 4682 115599 3348359 6 2277 6 7 5 4.70/4.88 c 3160 4693 115846 3364132 6 2287 2 2 1 4.70/4.89 c 3170 4710 116145 3369667 6 2294 6 7 5 4.80/4.90 c 3180 4725 116578 3380835 6 2298 3 5 3 4.80/4.91 c 3190 4743 116996 3389913 6 2300 5 7 6 4.80/4.92 c 3200 4755 117332 3414518 6 2310 2 3 1 4.80/4.93 c 3210 4770 117729 3421328 6 2320 5 6 4 4.80/4.94 c 3220 4783 118147 3428249 6 2330 3 4 3 4.80/4.94 c 3230 4796 118565 3435279 6 2340 3 4 3 4.80/4.96 c 3240 4811 118989 3446042 6 2343 3 5 4 4.80/4.97 c 3250 4828 119475 3456279 6 2345 6 7 5 4.80/4.98 c 3260 4841 119892 3463165 6 2355 3 4 3 4.80/4.98 c 3270 4853 120228 3487772 6 2365 2 3 1 4.80/4.99 c 3280 4869 120543 3491667 6 2375 6 7 5 4.80/5.00 c 3290 4883 120900 3498564 6 2382 4 4 3 4.91/5.01 c 3300 4897 121238 3505451 6 2389 4 4 3 4.91/5.02 c 3310 4910 121656 3512481 6 2399 3 4 3 4.91/5.03 c 3320 4925 122036 3519751 6 2403 4 5 4 4.91/5.04 c 3330 4939 122374 3526625 6 2411 4 4 3 4.91/5.05 c 3340 4954 122807 3537793 6 2415 3 5 3 4.91/5.06 c 3350 4971 123106 3543673 6 2423 6 7 5 4.91/5.06 c 3360 4984 123524 3550703 6 2433 3 4 3 4.91/5.07 c 3370 4997 123941 3557589 6 2443 3 4 3 4.91/5.08 c 3380 5011 124298 3564486 6 2450 4 4 3 4.91/5.09 c 3390 5025 124655 3571383 6 2457 4 4 3 4.91/5.10 c 3400 5039 124994 3578235 6 2462 4 5 4 5.01/5.11 c 3410 5054 125436 3589807 6 2467 3 5 3 5.01/5.12 c 3420 5071 125926 3601690 6 2468 7 7 6 5.01/5.13 c 3430 5084 126344 3608720 6 2478 3 4 3 5.01/5.14 c 3440 5098 126682 3615594 6 2486 4 4 3 5.01/5.15 c 3450 5112 127039 3622491 6 2493 4 4 3 5.01/5.16 c 3460 5127 127419 3629761 6 2497 4 5 4 5.01/5.16 c 3470 5138 127655 3654975 6 2507 2 2 1 5.01/5.17 c 3480 5153 128006 3662238 6 2513 4 6 4 5.01/5.18 c 3490 5168 128386 3669508 6 2517 4 5 4 5.01/5.19 c 3500 5179 128633 3693939 6 2527 2 2 1 5.10/5.20 c 3510 5195 129095 3703910 6 2533 5 6 5 5.10/5.21 c 3520 5210 129475 3711180 6 2537 4 5 4 5.10/5.22 c 3530 5224 129814 3718032 6 2542 4 5 4 5.10/5.23 c 3540 5235 130061 3741683 6 2552 2 2 1 5.10/5.24 c 3550 5252 130550 3751576 6 2560 6 7 5 5.10/5.24 c 3551 5256 130731 3755545 6 2561 4 4 2 5.10/5.25 c 3560 5270 131030 3760887 6 2564 4 5 4 5.10/5.26 c 3570 5284 131369 3767739 6 2569 4 5 4 5.10/5.26 c 3580 5295 131616 3790610 6 2579 2 2 1 5.10/5.27 c 3590 5313 132021 3798027 6 2588 6 7 5 5.10/5.29 c 3600 5328 132463 3809599 6 2593 3 5 3 5.10/5.30 c 3610 5345 132762 3815138 6 2601 6 7 5 5.20/5.30 c 3620 5360 133120 3822005 6 2606 4 5 4 5.20/5.31 c 3630 5375 133428 3827406 6 2610 4 5 4 5.20/5.32 c 3640 5390 133740 3832809 6 2615 4 5 4 5.20/5.33 c 3650 5401 133987 3854900 6 2625 2 2 1 5.20/5.34 c 3660 5418 134282 3860807 6 2630 6 7 6 5.20/5.34 c 3670 5431 134700 3867837 6 2640 3 4 3 5.20/5.35 c 3680 5446 135042 3874737 6 2645 4 5 4 5.20/5.36 c 3690 5460 135360 3881634 6 2655 4 5 4 5.20/5.37 c 3700 5471 135607 3902945 6 2665 2 2 1 5.20/5.37 c 3710 5488 135977 3909992 6 2672 6 7 6 5.20/5.38 c 3720 5503 136285 3915393 6 2676 4 5 4 5.20/5.39 c 3730 5517 136608 3922278 6 2681 4 5 4 5.30/5.40 c 3740 5532 136956 3929478 6 2682 5 6 5 5.30/5.41 c 3750 5543 137203 3950009 6 2692 2 2 1 5.30/5.42 c 3760 5561 137573 3957782 6 2695 6 7 6 5.30/5.43 c 3770 5575 137896 3964667 6 2700 4 5 4 5.30/5.43 c 3780 5590 138233 3971524 6 2710 5 6 4 5.30/5.44 c 3790 5604 138590 3978421 6 2717 4 4 3 5.30/5.45 c 3800 5615 138837 3998172 6 2727 2 2 1 5.30/5.46 c 3810 5633 139390 4008109 6 2734 4 6 5 5.30/5.47 c 3820 5648 139727 4014995 6 2744 5 6 4 5.30/5.48 c 3830 5665 140170 4024836 6 2754 5 6 4 5.30/5.49 c 3840 5681 140588 4034303 6 2764 5 6 4 5.40/5.50 c 3850 5692 140835 4053274 6 2774 2 2 1 5.40/5.51 c 3860 5709 141319 4062682 6 2780 6 6 5 5.40/5.53 c 3870 5725 141894 4079071 6 2789 3 6 3 5.40/5.54 c 3880 5742 142283 4086769 6 2798 6 7 5 5.40/5.55 c 3890 5755 142701 4093908 6 2808 3 4 3 5.40/5.55 c 3900 5770 143038 4100765 6 2818 5 6 4 5.40/5.57 c 3910 5787 143481 4110594 6 2827 5 6 4 5.40/5.58 c 3920 5802 143861 4117864 6 2831 4 5 4 5.40/5.58 c 3930 5816 144218 4124774 6 2838 4 4 3 5.40/5.59 c 3940 5827 144465 4142965 6 2848 2 2 1 5.50/5.60 c 3950 5845 144972 4153579 6 2857 6 7 5 5.50/5.61 c 3960 5859 145311 4160431 6 2862 4 5 4 5.50/5.62 c 3970 5874 145691 4167714 6 2866 4 5 4 5.50/5.64 c 3980 5890 146189 4181057 6 2874 3 6 3 5.50/5.65 c 3990 5908 146604 4189803 6 2878 6 7 6 5.50/5.66 c 4000 5923 146912 4195204 6 2882 4 5 4 5.50/5.66 c 4001 5929 147176 4201756 6 2883 6 6 3 5.50/5.67 c 4010 5942 147485 4208595 6 2892 4 5 4 5.50/5.68 c 4020 5959 147928 4218436 6 2902 5 6 4 5.50/5.69 c 4030 5973 148267 4225285 6 2907 4 5 4 5.60/5.70 c 4040 5986 148685 4232424 6 2917 3 4 3 5.60/5.71 c 4050 6002 149103 4241891 6 2927 5 6 4 5.60/5.72 c 4060 6018 149601 4255234 6 2935 3 6 3 5.60/5.73 c 4070 6035 149988 4262272 6 2942 6 7 6 5.60/5.74 c 4080 6048 150406 4269411 6 2952 3 4 3 5.60/5.75 c 4090 6063 150733 4274822 6 2956 4 5 4 5.60/5.76 c 4100 6079 151231 4288165 6 2964 3 6 3 5.60/5.77 c 4110 6096 151530 4294432 6 2971 6 7 5 5.60/5.78 c 4120 6110 151869 4301311 6 2976 4 5 4 5.60/5.79 c 4130 6123 152287 4308450 6 2986 3 4 3 5.70/5.80 c 4140 6137 152644 4315360 6 2993 4 4 3 5.70/5.80 c 4150 6152 152997 4322211 6 3003 5 6 4 5.70/5.81 c 4160 6167 153377 4329494 6 3007 4 5 4 5.70/5.83 c 4170 6184 153820 4339323 6 3016 5 6 4 5.70/5.84 c 4180 6201 154279 4349158 6 3026 5 6 4 5.70/5.85 c 4190 6217 154768 4362138 6 3033 3 6 3 5.70/5.86 c 4200 6234 155147 4370120 6 3036 6 7 6 5.70/5.87 c 4210 6250 155556 4378171 6 3044 4 6 4 5.70/5.88 c 4220 6261 155803 4395582 6 3054 2 2 1 5.70/5.89 c 4230 6278 156157 4403115 6 3059 5 7 5 5.80/5.90 c 4240 6292 156514 4410025 6 3066 4 4 3 5.80/5.91 c 4250 6305 156932 4417164 6 3076 3 4 3 5.80/5.92 c 4260 6319 157271 4424013 6 3081 4 5 4 5.80/5.93 c 4270 6333 157628 4430923 6 3088 4 4 3 5.80/5.93 c 4280 6344 157875 4447554 6 3098 2 2 1 5.80/5.94 c 4290 6360 158293 4454558 6 3104 5 6 5 5.80/5.95 c 4300 6375 158651 4461463 6 3109 5 5 4 5.80/5.96 c 4310 6390 159031 4468746 6 3113 4 5 4 5.80/5.97 c 4320 6406 159414 4475986 6 3117 5 6 5 5.80/5.98 c 4330 6421 159741 4481397 6 3121 4 5 4 5.80/5.99 c 4340 6436 160050 4486985 6 3122 5 6 5 5.80/5.99 c 4350 6447 160297 4502836 6 3132 2 2 1 5.91/6.01 c 4360 6463 160714 4512658 6 3141 3 6 3 5.91/6.02 c 4370 6478 161094 4519941 6 3145 4 5 4 5.91/6.02 c 4380 6492 161433 4526790 6 3150 4 5 4 5.91/6.03 c 4390 6507 161786 4533717 6 3160 5 6 4 5.91/6.04 c 4400 6522 162113 4539128 6 3164 4 5 4 5.91/6.05 c 4410 6536 162452 4546007 6 3169 4 5 4 5.91/6.06 c 4420 6553 162861 4554952 6 3172 4 6 5 5.91/6.07 c 4430 6567 163200 4561831 6 3177 4 5 4 5.91/6.08 c 4440 6582 163553 4568682 6 3187 5 6 4 5.91/6.08 c 4450 6593 163840 4591416 6 3197 2 2 1 5.91/6.09 c 4460 6607 164152 4598314 6 3207 4 5 4 5.91/6.10 c 4470 6621 164470 4605274 6 3217 4 5 4 6.01/6.11 c 4480 6635 164809 4612123 6 3222 4 5 4 6.01/6.12 c 4490 6650 165162 4618974 6 3232 5 6 4 6.01/6.12 c 4493 6655 165368 4623055 6 3235 3 3 2 6.01/6.13 c 4500 6667 165741 4629216 6 3241 5 5 4 6.01/6.14 c 4510 6684 166200 4639051 6 3251 5 6 4 6.01/6.15 c 4520 6701 166659 4648886 6 3261 5 6 4 6.01/6.16 c 4530 6717 167077 4658352 6 3271 5 6 4 6.01/6.17 c 4540 6732 167404 4663763 6 3275 4 5 4 6.01/6.18 c 4550 6745 167785 4670582 6 3285 3 4 3 6.01/6.19 c 4560 6761 168194 4678633 6 3293 4 6 4 6.10/6.20 c 4570 6776 168604 4688121 6 3303 4 5 3 6.10/6.21 c 4580 6791 168962 4695026 6 3308 5 5 4 6.10/6.22 c 4590 6807 169371 4703077 6 3316 4 6 4 6.10/6.24 c 4600 6822 169835 4715382 6 3323 3 5 3 6.10/6.25 c 4610 6838 170211 4722274 6 3328 5 6 5 6.10/6.26 c 4620 6854 170594 4729514 6 3332 5 6 5 6.10/6.27 c 4630 6871 171037 4739364 6 3341 5 6 4 6.10/6.28 c 4640 6884 171455 4746394 6 3351 3 4 3 6.10/6.28 c 4650 6898 171794 4753273 6 3356 4 5 4 6.10/6.29 c 4660 6912 172151 4760170 6 3363 4 4 3 6.20/6.30 c 4670 6927 172509 4767075 6 3368 5 5 4 6.20/6.31 c 4680 6942 172818 4772663 6 3369 5 6 5 6.20/6.32 c 4690 6957 173198 4779933 6 3373 4 5 4 6.20/6.33 c 4700 6974 173591 4787830 6 3375 5 6 5 6.20/6.34 c 4710 6988 173930 4794682 6 3380 4 5 4 6.20/6.35 c 4720 7003 174271 4801584 6 3390 5 6 4 6.20/6.36 c 4730 7019 174654 4808824 6 3394 5 6 5 6.20/6.37 c 4740 7036 175047 4817104 6 3397 5 6 5 6.20/6.38 c 4750 7051 175356 4822692 6 3398 5 6 5 6.20/6.39 c 4760 7066 175664 4828093 6 3402 4 5 4 6.30/6.40 c 4770 7081 176017 4835020 6 3412 5 6 4 6.30/6.40 c 4780 7096 176370 4841871 6 3422 5 6 4 6.30/6.41 c 4790 7111 176713 4848759 6 3428 5 6 5 6.30/6.43 c 4800 7128 177122 4857704 6 3431 4 6 5 6.30/6.44 c 4810 7145 177581 4867539 6 3441 5 6 4 6.30/6.45 c 4820 7160 177934 4874466 6 3451 5 6 4 6.30/6.45 c 4830 7174 178252 4881426 6 3461 4 5 4 6.30/6.46 c 4840 7188 178575 4888311 6 3466 4 5 4 6.30/6.47 c 4850 7204 178993 4897777 6 3476 5 6 4 6.30/6.48 c 4860 7219 179330 4904634 6 3486 5 6 4 6.30/6.49 c 4870 7235 179635 4909605 6 3491 6 6 5 6.40/6.50 c 4880 7252 180078 4919446 6 3501 5 6 4 6.40/6.51 c 4890 7269 180487 4928391 6 3504 4 6 5 6.40/6.52 c 4900 7286 180930 4938241 6 3513 5 6 4 6.40/6.54 c 4910 7302 181373 4949975 6 3521 3 6 3 6.40/6.54 c 4920 7318 181731 4956460 6 3527 5 6 5 6.40/6.55 c 4930 7331 182149 4963708 6 3537 3 4 3 6.40/6.56 c 4940 7348 182542 4971605 6 3539 5 6 5 6.40/6.57 c 4950 7362 182899 4978528 6 3546 4 4 3 6.40/6.58 c 4960 7376 183217 4985488 6 3556 4 5 4 6.40/6.59 c 4970 7391 183597 4992784 6 3560 4 5 4 6.50/6.60 c 4980 7406 183938 4999686 6 3570 5 6 4 6.50/6.61 c 4990 7422 184356 5009152 6 3580 5 6 4 6.50/6.63 c 5035 7477 185269 5023984 6 3594 4 6 4 6.80/6.97 c 5631 8197 196130 5223441 6 3645 3 7 5 7.20/7.31 c 6286 8977 207681 5428858 6 3676 3 7 5 7.50/7.67 c 7006 9841 221108 5642664 6 3719 3 7 5 7.90/8.08 c 7798 10792 235867 5880996 6 3769 3 8 5 8.40/8.52 c 8669 11839 251579 6130277 6 3802 3 8 6 8.80/8.99 c 9627 12984 268701 6401045 6 3845 3 8 5 9.40/9.56 c 10680 14241 287468 6729521 6 3880 3 7 5 10.01/10.19 c 11838 15633 307981 7092173 6 3911 3 7 5 10.60/10.79 c 13111 17119 330452 7703210 6 4092 2 8 5 11.40/11.54 c 14511 18794 355205 8140568 6 4139 3 7 5 12.20/12.37 c 16051 20639 383160 8627049 6 4176 3 7 5 13.30/13.40 c 17745 22673 418728 9196813 6 4239 3 8 5 14.30/14.40 c 19608 24915 452236 9776832 6 4306 3 7 5 15.30/15.47 c 21657 27380 488564 10395317 6 4372 3 7 5 16.50/16.67 c 23910 30094 529120 11094994 6 4424 3 7 5 18.01/18.11 c 26388 33112 574766 11913664 6 4459 3 8 6 19.40/19.50 c 29113 36389 621903 12720001 6 4531 3 8 6 21.10/21.25 c 32110 40044 677413 13722416 6 4585 3 8 6 22.91/23.02 c 35406 44021 736928 14739675 6 4632 3 8 6 24.80/24.91 c 39031 48400 799961 15860161 6 4697 3 8 6 27.30/27.47 c 43018 53253 885972 17278680 6 4759 3 8 6 29.50/29.62 c 47403 58812 966184 18662250 6 4867 3 10 7 31.91/32.05 c 52226 64892 1054887 20216125 6 4971 3 10 7 34.70/34.82 c 57531 71292 1151591 22040226 6 5176 2 8 6 37.91/38.10 c 63366 78408 1257144 23982484 6 5240 3 8 6 42.50/42.67 c 69784 86458 1408575 26533228 6 5323 3 8 6 46.30/46.47 c 76843 95026 1538479 28693952 6 5398 3 8 6 49.80/49.90 c 84607 105056 1673753 30634732 6 5504 3 11 7 53.40/53.58 c 93147 116077 1818454 32727595 6 5606 3 11 8 59.80/60.00 c 102541 127469 2046107 36147515 6 5735 4 9 7 64.70/64.86 c 112874 140691 2227202 38911742 6 5841 3 11 7 70.01/70.16 c 124240 155249 2421295 41967037 6 5948 3 11 7 77.30/77.44 c 136742 170955 2658999 46342039 6 6053 3 10 6 85.20/85.37 c 150494 188302 2916263 50974075 6 6173 3 11 7 93.50/93.69 c 165621 206708 3196391 55989148 6 6435 2 8 6 102.40/102.56 c 182260 228074 3498859 61148012 6 6560 3 11 7 114.91/115.03 c 200562 251410 3875436 68416537 6 6653 3 9 7 128.80/129.00 c 220694 277232 4294832 76578395 6 6752 3 9 7 139.70/139.88 c 242839 306320 4693057 82503391 6 6871 3 11 8 151.10/151.20 c 267198 338230 5117726 88544507 6 6992 3 11 8 162.70/162.80 c 293992 373961 5563619 94699671 6 7110 3 11 9 180.70/180.80 c 323465 409002 5999174 108437276 6 7296 4 9 7 199.70/199.81 c 355885 451240 6628878 119242080 6 7412 3 11 7 225.91/226.05 c 391547 497858 7408973 134620321 6 7525 3 9 7 243.80/243.92 c 430775 550349 8086225 144679297 6 7645 3 11 9 278.41/278.51 c 473925 604922 9284468 163088962 6 7755 4 10 7 304.21/304.30 c 521390 669373 10190369 178417094 6 7881 3 11 9 338.31/338.44 c 573601 736379 11288028 198436682 6 7943 3 9 7 364.92/365.02 c 631033 812298 12256870 213920857 6 8063 3 11 9 414.51/414.63 c 694208 891785 13978274 240353175 6 8251 4 10 7 465.62/465.72 c 763700 983765 15644189 272450448 6 8288 3 10 7 503.93/504.02 c 840141 1084260 16977724 294831355 6 8405 3 11 9 589.93/590.10 c 924226 1198977 19919304 340517160 6 8560 4 10 8 645.62/645.71 c 1016719 1322202 21734924 373407566 6 8688 3 11 8 728.33/728.48 c 1118461 1461352 24505267 427790566 6 8892 3 10 8 785.23/785.30 c 1230377 1610023 26482155 460611614 6 9023 3 12 9 842.13/842.21 c 1353484 1772383 28484376 494940248 6 9149 3 12 9 936.64/936.71 c 1488901 1949169 31570715 552735808 6 9298 3 10 7 1044.44/1044.52 c 1637859 2132484 34000627 638642881 6 9493 4 10 8 1158.96/1159.05 c 1801712 2346794 37733570 708481210 6 9664 3 10 7 1256.25/1256.37 c 1981950 2584877 40957901 766088931 6 9731 3 12 9 1423.76/1423.80 c 2180211 2860919 46544402 875376793 6 9984 3 10 8 1530.55/1530.66 c 2398298 3149428 50260645 939804890 6 10066 3 12 10 1659.76/1659.83 c 2638193 3466750 54597977 1017102916 6 10142 3 12 9 1785.97/1786.01 c 2902077 3811764 58947600 1094547354 6 10213 3 12 10 1923.46/1923.54 c 3192349 4190915 63710290 1178100205 6 10280 3 12 10 2118.57/2118.68 c 3511648 4620017 70022812 1296273957 6 10351 3 12 9 2288.28/2288.35 c 3862876 5080017 75857481 1397960225 6 10425 3 12 10 2519.99/2520.00 2519.99/2520.00 c *** INTERRUPTED *** 2519.99/2520.00 c restarts : 586 2519.99/2520.00 c conflicts : 4133629 (1641 /sec) 2519.99/2520.00 c decisions : 5426626 (2154 /sec) 2519.99/2520.00 c propagations : 1592807700 (632155 /sec) 2519.99/2520.00 c root propagations : 9 2519.99/2520.00 c filter calls : 80788628 (32063 /sec) 2519.99/2520.00 c useless filter calls : 65901467 (81 %) 2519.99/2520.00 c 2519.99/2520.00 c clauses : 24096412 2519.99/2520.00 c SAT propagations : 47348 2519.99/2520.00 c SAT conflicts : 433 (0 learnts) 2519.99/2520.00 c Memory used : 1207.37 MB 2519.99/2520.00 c CPU time : 2519.65 s 2519.99/2520.00 2519.99/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 (15369 MiB free)
memory of node 1: 16384 MiB (13388 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266140-1502581847/watcher-4266140-1502581847 -o /tmp/evaluation-result-4266140-1502581847/solver-4266140-1502581847 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4737 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266140-1502581847.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=6791, runsolver pid=6788
[startup+0.100199 s]*
/proc/loadavg: 2.00 2.01 2.05 3/185 6792
/proc/meminfo: memFree=29446540/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=34680 memory=9132 CPUtime=0.01 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 1932 0 0 0 1 0 0 0 20 0 1 0 105691071 35512320 2217 18446744073709551615 4194304 5972588 140734351958800 140734351955448 140291085331429 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 8670 2283 790 435 0 2033 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 34680 KiB
Current children cumulated memory: 9132 KiB
[startup+0.209851 s]*
/proc/loadavg: 2.00 2.01 2.05 3/185 6792
/proc/meminfo: memFree=29384524/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=101404 memory=72692 CPUtime=0.12 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 13745 0 0 0 11 1 0 0 20 0 1 0 105691071 103837696 18173 18446744073709551615 4194304 5972588 140734351958800 140734351955448 140291085331429 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 25351 18173 790 435 0 18714 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 101404 KiB
Current children cumulated memory: 72692 KiB
[startup+0.309804 s]*
/proc/loadavg: 2.00 2.01 2.05 3/185 6792
/proc/meminfo: memFree=29325788/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=155452 memory=129120 CPUtime=0.21 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 22792 0 0 0 19 2 0 0 20 0 1 0 105691071 159182848 32280 18446744073709551615 4194304 5972588 140734351958800 140734351955448 140291085331429 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 38863 32280 790 435 0 32226 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 155452 KiB
Current children cumulated memory: 129120 KiB
[startup+0.700432 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6792
/proc/meminfo: memFree=29209476/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=461872 memory=354792 CPUtime=0.59 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 54665 0 0 0 52 7 0 0 20 0 1 0 105691071 472956928 88698 18446744073709551615 4194304 5972588 140734351958800 140734351955448 140291085331429 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 115468 88698 790 435 0 108831 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 461872 KiB
Current children cumulated memory: 354792 KiB
[startup+1.50045 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6792
/proc/meminfo: memFree=28918284/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=892132 memory=825960 CPUtime=1.39 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 116757 0 0 0 119 20 0 0 20 0 1 0 105691071 913543168 206490 18446744073709551615 4194304 5972588 140734351958800 140734351955592 140291085331429 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 223033 206490 790 435 0 216396 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 892132 KiB
Current children cumulated memory: 825960 KiB
[startup+3.10942 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6792
/proc/meminfo: memFree=28472756/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236176 memory=977088 CPUtime=3.01 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 137881 0 0 0 277 24 0 0 20 0 1 0 105691071 1265844224 244272 18446744073709551615 4194304 5972588 140734351958800 140734351955592 5040180 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309044 244272 805 435 0 302407 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 1236176 KiB
Current children cumulated memory: 977088 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6792
/proc/meminfo: memFree=28470604/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236176 memory=979144 CPUtime=6.2 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 142220 0 0 0 596 24 0 0 20 0 1 0 105691071 1265844224 244786 18446744073709551615 4194304 5972588 140734351958800 140734351956104 4975100 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309044 244786 805 435 0 302407 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 1236176 KiB
Current children cumulated memory: 979144 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6792
/proc/meminfo: memFree=28470728/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236176 memory=979156 CPUtime=12.6 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 148231 0 0 0 1235 25 0 0 20 0 1 0 105691071 1265844224 244789 18446744073709551615 4194304 5972588 140734351958800 140734351956104 4975216 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309044 244789 805 435 0 302407 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1236176 KiB
Current children cumulated memory: 979156 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6792
/proc/meminfo: memFree=28470824/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236176 memory=979180 CPUtime=25.4 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 152771 0 0 0 2515 25 0 0 20 0 1 0 105691071 1265844224 244795 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5040162 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309044 244795 805 435 0 302407 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1236176 KiB
Current children cumulated memory: 979180 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6793
/proc/meminfo: memFree=28470672/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979252 CPUtime=51.01 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 159987 0 0 0 5076 25 0 0 20 0 1 0 105691071 1266016256 244813 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5040147 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244813 805 435 0 302449 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979252 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 6795
/proc/meminfo: memFree=28470352/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979256 CPUtime=102.2 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 165818 0 0 0 10194 26 0 0 20 0 1 0 105691071 1266016256 244814 18446744073709551615 4194304 5972588 140734351958800 140734351956104 4975242 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244814 805 435 0 302449 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979256 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 6797
/proc/meminfo: memFree=28469992/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979260 CPUtime=162.2 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 169612 0 0 0 16194 26 0 0 20 0 1 0 105691071 1266016256 244815 18446744073709551615 4194304 5972588 140734351958800 140734351956104 4971017 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244815 805 435 0 302449 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979260 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 6813
/proc/meminfo: memFree=28465936/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979260 CPUtime=222.2 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 173661 0 0 0 22194 26 0 0 20 0 1 0 105691071 1266016256 244815 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5099648 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244815 805 435 0 302449 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979260 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 6815
/proc/meminfo: memFree=28465848/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979264 CPUtime=282.21 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 178247 0 0 0 28194 27 0 0 20 0 1 0 105691071 1266016256 244816 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5040138 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244816 805 435 0 302449 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979264 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6818
/proc/meminfo: memFree=28466680/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979264 CPUtime=342.21 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 180873 0 0 0 34194 27 0 0 20 0 1 0 105691071 1266016256 244816 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5040180 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244816 805 435 0 302449 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979264 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 6820
/proc/meminfo: memFree=28467348/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979264 CPUtime=402.21 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 184222 0 0 0 40194 27 0 0 20 0 1 0 105691071 1266016256 244816 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5040169 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244816 805 435 0 302449 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979264 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 6822
/proc/meminfo: memFree=28467504/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979264 CPUtime=462.22 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 187519 0 0 0 46194 28 0 0 20 0 1 0 105691071 1266016256 244816 18446744073709551615 4194304 5972588 140734351958800 140734351956104 4975213 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244816 805 435 0 302449 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979264 KiB
################
# More data... #
################
/proc/6791/statm: 309086 244823 805 435 0 302449 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979292 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 6930
/proc/meminfo: memFree=28466056/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979292 CPUtime=1782.26 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 251634 0 0 0 178192 34 0 0 20 0 1 0 105691071 1266016256 244823 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5099648 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244823 805 435 0 302449 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979292 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6933
/proc/meminfo: memFree=28466468/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979292 CPUtime=1842.26 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 252668 0 0 0 184192 34 0 0 20 0 1 0 105691071 1266016256 244823 18446744073709551615 4194304 5972588 140734351958800 140734351956104 4975379 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244823 805 435 0 302449 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979292 KiB
[startup+1902.3 s]
/proc/loadavg: 2.45 2.12 2.08 3/186 7242
/proc/meminfo: memFree=30774268/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979292 CPUtime=1902.26 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 253927 0 0 0 190192 34 0 0 20 0 1 0 105691071 1266016256 244823 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5099648 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244823 805 435 0 302449 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979292 KiB
[startup+1962.3 s]
/proc/loadavg: 2.27 2.14 2.09 3/185 7244
/proc/meminfo: memFree=30774312/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979292 CPUtime=1962.26 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 255428 0 0 0 196192 34 0 0 20 0 1 0 105691071 1266016256 244823 18446744073709551615 4194304 5972588 140734351958800 140734351956104 4975164 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244823 805 435 0 302449 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979292 KiB
[startup+2022.3 s]
/proc/loadavg: 2.10 2.12 2.08 3/189 7261
/proc/meminfo: memFree=30769060/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979292 CPUtime=2022.26 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 256887 0 0 0 202192 34 0 0 20 0 1 0 105691071 1266016256 244823 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5251148 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244823 805 435 0 302449 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979292 KiB
[startup+2082.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/189 7263
/proc/meminfo: memFree=30768872/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979292 CPUtime=2082.26 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 257488 0 0 0 208192 34 0 0 20 0 1 0 105691071 1266016256 244823 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5040154 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244823 805 435 0 302449 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979292 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/186 7266
/proc/meminfo: memFree=30772848/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=979292 CPUtime=2142.28 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 258589 0 0 0 214193 35 0 0 20 0 1 0 105691071 1266016256 244823 18446744073709551615 4194304 5972588 140734351958800 140734351956104 4975415 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 244823 805 435 0 302449 0
Current children cumulated CPU time: 2142.28 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 979292 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/186 7268
/proc/meminfo: memFree=30770232/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=982496 CPUtime=2202.28 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 259830 0 0 0 220193 35 0 0 20 0 1 0 105691071 1266016256 245624 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5040180 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 245624 805 435 0 302449 0
Current children cumulated CPU time: 2202.28 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 982496 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/186 7270
/proc/meminfo: memFree=30770232/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=982496 CPUtime=2262.28 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 260547 0 0 0 226193 35 0 0 20 0 1 0 105691071 1266016256 245624 18446744073709551615 4194304 5972588 140734351958800 140734351956104 4975391 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 245624 805 435 0 302449 0
Current children cumulated CPU time: 2262.28 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 982496 KiB
[startup+2322.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/185 7272
/proc/meminfo: memFree=30770248/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=982496 CPUtime=2322.28 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 261398 0 0 0 232193 35 0 0 20 0 1 0 105691071 1266016256 245624 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5099648 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 245624 805 435 0 302449 0
Current children cumulated CPU time: 2322.28 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 982496 KiB
[startup+2382.3 s]
/proc/loadavg: 2.48 2.19 2.11 3/186 7275
/proc/meminfo: memFree=30770348/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=982496 CPUtime=2382.28 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 261769 0 0 0 238193 35 0 0 20 0 1 0 105691071 1266016256 245624 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5099648 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 245624 805 435 0 302449 0
Current children cumulated CPU time: 2382.28 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 982496 KiB
[startup+2442.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/185 7277
/proc/meminfo: memFree=30770240/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=982496 CPUtime=2442.28 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 262518 0 0 0 244193 35 0 0 20 0 1 0 105691071 1266016256 245624 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5099648 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 245624 805 435 0 302449 0
Current children cumulated CPU time: 2442.28 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 982496 KiB
[startup+2502.3 s]
/proc/loadavg: 2.06 2.13 2.10 3/185 7279
/proc/meminfo: memFree=30770116/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=982496 CPUtime=2502.28 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 263277 0 0 0 250193 35 0 0 20 0 1 0 105691071 1266016256 245624 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5099648 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 245624 805 435 0 302449 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 982496 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.05 2.12 2.09 3/185 7280
/proc/meminfo: memFree=30770116/32770624 swapFree=67108764/67108860
[pid=6791] ppid=6788 vsize=1236344 memory=982496 CPUtime=2519.99 cores=0,2,4,6
/proc/6791/stat : 6791 (cosoco) R 6788 6791 4674 0 -1 4202496 263657 0 0 0 251964 35 0 0 20 0 1 0 105691071 1266016256 245624 18446744073709551615 4194304 5972588 140734351958800 140734351956104 5099648 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 14376960 140734351962564 140734351962664 140734351962664 140734351966158 0
/proc/6791/statm: 309086 245624 805 435 0 302449 0
Current children cumulated CPU time: 2519.99 s
Current children cumulated vsize: 1236344 KiB
Current children cumulated memory: 982496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 6791 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.65 s, system=0.358013 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.01
CPU user time (s): 2519.65
CPU system time (s): 0.358013
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 1236344
Max. memory (cumulated for all children) (KiB): 982496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.358013
maximum resident set size= 982576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263710
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= 32
involuntary context switches= 634
# summary of solver processes directly reported to runsolver:
# pid: 6791
# total CPU time (s): 2520.01
# total CPU user time (s): 2519.65
# total CPU system time (s): 0.358013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.98811 second user time and 16.759 second system time
The end
Begin job on node134 at 2017-08-13 01:36:52 IDJOB=4266140 IDBENCH=133642 IDSOLVER=2655 FILE ID=node134/4266140-1502581847 RUNJOBID= node134-1502565207-4737 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-11-0066.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266140-1502581847/watcher-4266140-1502581847 -o /tmp/evaluation-result-4266140-1502581847/solver-4266140-1502581847 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4737 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266140-1502581847.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b8750a079fea2eda3490f2b84dad210 RANDOM SEED=1044034877 node134.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.43 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.43 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.43 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.43 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: 29448204 kB MemAvailable: 29680932 kB Buffers: 192664 kB Cached: 352476 kB SwapCached: 4 kB Active: 2691680 kB Inactive: 214668 kB Active(anon): 2307668 kB Inactive(anon): 94712 kB Active(file): 384012 kB Inactive(file): 119956 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 2164 kB Writeback: 28 kB AnonPages: 2358700 kB Mapped: 56096 kB Shmem: 41564 kB Slab: 115248 kB SReclaimable: 89192 kB SUnreclaim: 26056 kB KernelStack: 3232 kB PageTables: 9512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2764820 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 352256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-13 02:18:52