| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.73 | 2520.01 |
| Name | Blackhole/Blackhole-m1-s13/ Blackhole-13-3-01.xml |
| MD5SUM | 8a560dffd54b0877593a0147eb9ff923 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.116712 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 104 |
| Number of constraints | 87 |
| Number of domains | 1 |
| Minimum domain size | 52 |
| Maximum domain size | 52 |
| Distribution of domain sizes | [{"size":52,"count":104}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":87},{"degree":3,"count":17}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 104 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":85},{"arity":104,"count":1}] |
| Number of extensional constraints | 51 |
| Number of intensional constraints | 35 |
| Distribution of constraint types | [{"type":"extension","count":51},{"type":"intension","count":35},{"type":"channel","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.06 c Create channel(X,Y) constraint using 52 element constraint 0.00/0.07 c intension y[16]<y[40] using generic constraint 0.00/0.07 c intension y[40]<y[31] using generic constraint 0.00/0.07 c intension y[10]<y[43] using generic constraint 0.00/0.07 c intension y[43]<y[19] using generic constraint 0.00/0.07 c intension y[17]<y[18] using generic constraint 0.00/0.07 c intension y[18]<y[14] using generic constraint 0.00/0.07 c intension y[44]<y[6] using generic constraint 0.00/0.07 c intension y[6]<y[45] using generic constraint 0.00/0.07 c intension y[21]<y[7] using generic constraint 0.00/0.07 c intension y[7]<y[3] using generic constraint 0.00/0.07 c intension y[50]<y[12] using generic constraint 0.00/0.07 c intension y[12]<y[42] using generic constraint 0.00/0.07 c intension y[30]<y[27] using generic constraint 0.00/0.07 c intension y[27]<y[41] using generic constraint 0.00/0.07 c intension y[4]<y[9] using generic constraint 0.00/0.07 c intension y[9]<y[8] using generic constraint 0.00/0.07 c intension y[15]<y[51] using generic constraint 0.00/0.07 c intension y[51]<y[48] using generic constraint 0.00/0.07 c intension y[36]<y[34] using generic constraint 0.00/0.07 c intension y[34]<y[29] using generic constraint 0.00/0.07 c intension y[47]<y[35] using generic constraint 0.00/0.07 c intension y[35]<y[33] using generic constraint 0.00/0.07 c intension y[13]<y[24] using generic constraint 0.00/0.07 c intension y[24]<y[38] using generic constraint 0.00/0.07 c intension y[28]<y[23] using generic constraint 0.00/0.07 c intension y[23]<y[11] using generic constraint 0.00/0.07 c intension y[5]<y[1] using generic constraint 0.00/0.07 c intension y[1]<y[2] using generic constraint 0.00/0.07 c intension y[46]<y[20] using generic constraint 0.00/0.07 c intension y[20]<y[37] using generic constraint 0.00/0.07 c intension y[22]<y[25] using generic constraint 0.00/0.07 c intension y[25]<y[26] using generic constraint 0.00/0.07 c intension y[39]<y[49] using generic constraint 0.00/0.07 c intension y[49]<y[32] using generic constraint 0.00/0.09 c SAT : Variables: 5408 -- Clauses: 138008 0.00/0.09 c root propagations : 308 0.00/0.09 c restarts enabled, print stats at every restarts 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c This is cosoco 1.12 -- 0.00/0.09 c 0.00/0.09 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265997-1502583708.xml 0.00/0.09 c ========================================[ Problem Statistics ]=========================================== 0.00/0.09 c | 0.00/0.09 c | Parse time : 0.02 s 0.00/0.09 c | 0.00/0.09 c | Variables: 104 0.00/0.09 c | Domain Sizes: 52..52 0.00/0.09 c | 0.00/0.09 c | Constraints: 138 0.00/0.09 c | Arity: 1..53 -- Unary: 1 -- Binary: 85 0.00/0.09 c | 0.00/0.09 c | Types: 0.00/0.09 c | (X - Y < k): 34 0.00/0.09 c | Element Constant: 52 0.00/0.09 c | Extension: 51 (nb tuples: 416..416) -- (shared: 50) 0.00/0.09 c | Intension: 1 0.00/0.09 c | 0.00/0.09 c ========================================================================================================= 0.00/0.09 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.09 c 10 94 10493 5391 104 3 49 60 49 0.00/0.09 c 20 155 16514 9001 104 13 43 52 46 0.00/0.09 c 30 216 22398 12719 104 23 32 42 36 0.00/0.09 c 40 266 28025 18254 104 30 38 40 35 0.00/0.10 c 50 319 34300 22762 104 40 38 44 37 0.00/0.10 c 60 371 39636 27494 104 44 39 39 35 0.00/0.10 c 70 445 46425 31008 104 54 43 55 48 0.00/0.10 c 80 499 52242 35821 104 57 42 44 38 0.00/0.10 c 90 548 57341 39869 104 65 30 33 29 0.00/0.10 c 100 595 62834 46361 104 71 31 32 28 0.03/0.11 c 101 636 67308 49600 104 72 41 41 20 0.03/0.11 c 110 682 75238 55840 104 81 36 38 32 0.03/0.11 c 120 736 81036 60702 104 91 43 45 39 0.03/0.11 c 130 796 87263 65396 104 100 41 45 38 0.03/0.11 c 140 850 93114 70159 104 110 43 45 39 0.03/0.11 c 150 903 98991 74668 104 116 42 43 38 0.03/0.12 c 160 955 104731 79561 104 118 42 42 38 0.03/0.12 c 170 1008 110683 84540 104 120 43 43 39 0.03/0.12 c 180 1064 116703 89461 104 124 40 43 37 0.03/0.12 c 190 1131 123348 92823 104 131 52 53 47 0.03/0.12 c 200 1188 129099 96753 104 134 46 46 41 0.03/0.12 c 210 1251 135386 100310 104 144 54 54 49 0.03/0.13 c 211 1297 140296 103687 104 145 46 46 23 0.03/0.13 c 220 1351 146258 108211 104 154 38 38 34 0.03/0.13 c 230 1416 153714 113796 104 164 47 47 42 0.03/0.13 c 240 1471 159830 118765 104 170 37 38 33 0.03/0.13 c 250 1530 165781 122648 104 180 41 41 37 0.03/0.13 c 260 1587 172162 128646 104 190 39 39 35 0.03/0.14 c 270 1638 177395 132589 104 193 38 40 35 0.03/0.14 c 280 1691 182854 136667 104 197 41 41 37 0.03/0.14 c 290 1764 189512 140046 104 207 55 55 50 0.03/0.14 c 300 1820 195175 144321 104 211 43 43 39 0.03/0.14 c 310 1878 203049 149092 104 221 49 49 44 0.03/0.14 c 320 1933 209042 153591 104 225 42 42 38 0.03/0.15 c 330 2000 215865 157345 104 235 49 49 44 0.03/0.15 c 332 2049 220759 160581 104 237 48 48 32 0.03/0.15 c 340 2108 226993 164064 104 245 46 52 43 0.03/0.15 c 350 2165 233511 168449 104 250 44 44 40 0.03/0.15 c 360 2223 239390 172757 104 254 45 45 40 0.03/0.15 c 370 2274 245589 177518 104 264 28 42 34 0.03/0.15 c 380 2330 251492 181597 104 268 44 44 40 0.03/0.16 c 390 2388 257469 185724 104 278 49 49 44 0.03/0.16 c 400 2450 264593 190828 104 285 46 47 42 0.03/0.16 c 410 2511 271396 195836 104 290 44 48 40 0.03/0.16 c 420 2568 277758 200773 104 295 43 44 39 0.03/0.16 c 430 2625 284619 205964 104 300 44 44 40 0.03/0.16 c 440 2681 290096 209750 104 304 43 44 39 0.03/0.17 c 450 2751 296597 213370 104 314 52 52 47 0.03/0.17 c 460 2805 302298 217811 104 318 43 43 39 0.03/0.17 c 465 2864 307797 221406 104 323 45 55 42 0.03/0.17 c 470 2909 313973 227136 104 328 41 41 34 0.03/0.17 c 480 2966 319539 231016 104 332 46 46 41 0.03/0.17 c 490 3045 326762 234748 104 342 36 58 50 0.03/0.18 c 500 3111 335198 240594 104 352 48 48 43 0.03/0.18 c 510 3169 341447 245066 104 356 45 46 41 0.03/0.18 c 520 3234 349478 250792 104 366 47 47 42 0.03/0.18 c 530 3288 356487 256140 104 375 44 44 40 0.03/0.18 c 540 3347 362308 260294 104 380 46 46 41 0.03/0.18 c 550 3405 368203 264301 104 384 46 46 41 0.03/0.19 c 560 3462 374306 268941 104 394 32 48 41 0.03/0.19 c 570 3521 380199 272876 104 398 47 47 42 0.03/0.19 c 580 3576 386813 277898 104 408 31 46 39 0.03/0.19 c 590 3659 396048 284037 104 418 47 48 43 0.03/0.19 c 600 3725 403429 288562 104 428 48 48 43 0.03/0.20 c 610 3790 409727 292464 104 438 47 47 42 0.03/0.20 c 611 3836 414479 295739 104 439 46 46 23 0.03/0.20 c 620 3904 423886 302831 104 442 36 43 36 0.03/0.20 c 630 3971 432588 309389 104 451 46 46 41 0.03/0.20 c 640 4030 438830 313313 104 455 47 47 42 0.03/0.20 c 650 4081 444437 317131 104 465 41 42 37 0.03/0.21 c 660 4141 450922 321222 104 470 47 47 42 0.03/0.21 c 670 4204 459239 327211 104 480 45 45 40 0.03/0.21 c 680 4262 465752 331697 104 485 45 45 40 0.03/0.21 c 690 4326 472799 336617 104 495 46 46 41 0.03/0.21 c 700 4385 478927 340819 104 499 46 46 41 0.14/0.21 c 710 4445 484746 344351 104 509 37 51 42 0.14/0.22 c 720 4506 491403 348630 104 514 47 47 42 0.14/0.22 c 730 4563 497388 353071 104 517 42 43 39 0.14/0.22 c 740 4629 503610 356467 104 527 55 57 50 0.14/0.22 c 750 4691 511752 362552 104 533 44 45 40 0.14/0.22 c 760 4746 517631 366694 104 537 43 43 39 0.14/0.22 c 770 4806 523058 369912 104 538 42 42 38 0.14/0.23 c 771 4851 527767 373073 104 539 45 45 22 0.14/0.23 c 780 4916 535998 378234 104 547 44 50 41 0.14/0.23 c 790 4975 543110 383108 104 552 46 46 41 0.14/0.23 c 800 5075 553698 390273 104 561 37 43 37 0.14/0.23 c 810 5133 560201 394814 104 565 42 43 38 0.14/0.23 c 820 5180 566126 398818 104 575 38 38 34 0.14/0.24 c 830 5245 572988 404219 104 585 47 47 42 0.14/0.24 c 840 5308 581255 410752 104 595 45 45 40 0.14/0.24 c 850 5373 588575 415415 104 605 47 47 42 0.14/0.24 c 860 5436 596082 419665 104 613 47 48 43 0.14/0.24 c 870 5500 602852 424218 104 618 48 50 44 0.14/0.24 c 880 5559 608291 428034 104 621 41 44 37 0.14/0.25 c 890 5616 615153 433043 104 626 44 44 40 0.14/0.25 c 900 5673 621812 437509 104 630 45 45 40 0.14/0.25 c 910 5733 629363 443033 104 633 45 45 40 0.14/0.25 c 920 5792 636876 447953 104 639 45 45 40 0.14/0.25 c 930 5849 643571 452601 104 642 44 44 40 0.14/0.26 c 940 5900 650169 457634 104 652 42 42 38 0.14/0.26 c 947 5954 656245 462135 104 657 41 44 37 0.14/0.26 c 950 6007 661376 465511 104 660 48 49 36 0.14/0.26 c 960 6063 667896 470367 104 664 41 43 37 0.14/0.26 c 970 6111 674329 474154 104 674 39 39 35 0.14/0.26 c 980 6169 680953 478282 104 678 46 46 41 0.14/0.27 c 990 6227 687269 482198 104 679 45 45 40 0.14/0.27 c 1000 6287 693564 486361 104 683 48 48 43 0.14/0.27 c 1010 6343 699261 489922 104 689 41 42 37 0.14/0.27 c 1020 6411 705747 494024 104 698 52 58 50 0.14/0.27 c 1030 6482 713106 499248 104 707 46 50 43 0.14/0.27 c 1040 6552 720982 503455 104 717 47 51 43 0.14/0.28 c 1050 6613 728121 508761 104 723 46 47 41 0.14/0.28 c 1060 6673 734259 514158 104 732 43 43 39 0.14/0.28 c 1070 6739 744463 522705 104 742 42 46 39 0.14/0.28 c 1080 6794 751008 527830 104 745 40 42 37 0.14/0.28 c 1090 6855 759108 535126 104 750 40 42 37 0.14/0.29 c 1100 6905 766110 539429 104 760 41 41 37 0.14/0.29 c 1110 6960 772268 544291 104 764 43 43 39 0.14/0.29 c 1120 7010 780379 549655 104 774 41 41 37 0.14/0.29 c 1130 7073 787678 554565 104 784 45 45 40 0.14/0.29 c 1140 7127 793680 559014 104 788 43 43 39 0.14/0.29 c 1141 7168 797912 562171 104 789 41 41 20 0.14/0.29 c 1150 7229 805782 566712 104 798 45 45 40 0.14/0.30 c 1160 7284 812458 572257 104 803 39 41 36 0.14/0.30 c 1170 7336 818327 577012 104 807 41 41 37 0.14/0.30 c 1180 7403 826675 583055 104 808 47 50 45 0.14/0.30 c 1190 7475 836058 590434 104 817 43 50 40 0.14/0.30 c 1200 7555 844206 596160 104 823 42 49 41 0.14/0.31 c 1210 7589 848677 600287 104 833 25 25 22 0.14/0.31 c 1220 7648 855680 605389 104 839 44 46 40 0.14/0.31 c 1230 7705 862598 610752 104 843 44 45 40 0.14/0.31 c 1240 7753 868480 614605 104 853 39 39 35 0.14/0.31 c 1250 7812 874667 618547 104 862 47 50 43 0.24/0.31 c 1260 7874 881514 623783 104 871 43 45 40 0.24/0.32 c 1270 7929 887727 628373 104 881 42 46 39 0.24/0.32 c 1280 7989 895305 635242 104 888 43 46 40 0.24/0.32 c 1290 8043 902044 640943 104 892 41 41 37 0.24/0.32 c 1300 8094 910477 648288 104 902 42 42 38 0.24/0.32 c 1310 8149 917038 653054 104 906 43 43 39 0.24/0.33 c 1320 8210 923497 657346 104 910 42 46 40 0.24/0.33 c 1330 8266 929472 661568 104 912 46 46 41 0.24/0.33 c 1340 8316 937032 668735 104 916 38 38 34 0.24/0.33 c 1350 8375 942818 672789 104 926 38 39 34 0.24/0.33 c 1352 8415 947391 676417 104 928 39 39 26 0.24/0.33 c 1360 8462 952518 680759 104 936 40 40 35 0.24/0.33 c 1370 8512 958097 685315 104 946 39 41 35 0.24/0.34 c 1380 8570 965215 691396 104 956 39 42 36 0.24/0.34 c 1390 8622 971234 696283 104 960 41 41 37 0.24/0.34 c 1400 8682 977815 701293 104 964 45 46 41 0.24/0.34 c 1410 8752 985766 707501 104 969 42 47 40 0.24/0.34 c 1420 8809 993559 713851 104 975 42 44 39 0.24/0.35 c 1430 8868 1000733 719402 104 981 44 45 40 0.24/0.35 c 1440 8931 1008490 723767 104 991 44 46 40 0.24/0.35 c 1450 8985 1014838 728301 104 993 43 44 39 0.24/0.35 c 1460 9042 1021666 732975 104 997 45 45 40 0.24/0.35 c 1470 9099 1028101 738007 104 1001 41 41 37 0.24/0.35 c 1480 9161 1036305 743861 104 1011 42 45 39 0.24/0.36 c 1490 9224 1043628 749924 104 1021 43 46 40 0.24/0.36 c 1500 9280 1049865 754524 104 1025 44 44 40 0.24/0.36 c 1510 9334 1056820 760155 104 1035 45 45 40 0.24/0.36 c 1520 9391 1063352 765275 104 1038 42 43 39 0.24/0.36 c 1530 9451 1069517 769426 104 1040 46 46 41 0.24/0.36 c 1540 9508 1075721 773653 104 1042 45 46 41 0.24/0.37 c 1550 9568 1082530 778568 104 1052 45 47 41 0.24/0.37 c 1560 9626 1089550 783914 104 1058 43 45 40 0.24/0.37 c 1570 9679 1096392 789594 104 1068 35 41 34 0.24/0.37 c 1580 9734 1102537 794237 104 1077 39 42 36 0.24/0.37 c 1585 9780 1108101 799190 104 1082 37 42 32 0.24/0.38 c 1590 9825 1113109 802732 104 1087 41 41 34 0.24/0.38 c 1600 9886 1119232 806474 104 1097 41 42 37 0.24/0.38 c 1610 9942 1125781 811996 104 1102 41 41 37 0.24/0.38 c 1620 9995 1131925 815819 104 1112 40 44 36 0.24/0.38 c 1630 10046 1137467 820132 104 1114 40 40 36 0.24/0.38 c 1640 10141 1143463 823781 104 1119 48 49 44 0.24/0.39 c 1650 10205 1150413 828282 104 1125 42 45 40 0.24/0.39 c 1660 10254 1156055 832585 104 1127 39 39 35 0.24/0.39 c 1670 10307 1162637 837469 104 1131 42 42 38 0.24/0.39 c 1680 10364 1168566 841588 104 1135 44 45 40 0.24/0.39 c 1690 10442 1177528 847463 104 1138 40 40 36 0.24/0.39 c 1700 10499 1183522 851651 104 1143 46 47 42 0.24/0.40 c 1710 10555 1190073 856072 104 1150 40 42 37 0.24/0.40 c 1720 10610 1196616 860967 104 1154 44 44 40 0.24/0.40 c 1730 10668 1203072 865752 104 1158 46 46 41 0.24/0.40 c 1740 10740 1210156 870537 104 1165 41 48 41 0.24/0.40 c 1750 10795 1216905 875664 104 1170 42 43 38 0.24/0.40 c 1760 10848 1223333 880720 104 1174 40 41 36 0.24/0.41 c 1770 10901 1229958 884668 104 1184 42 44 38 0.24/0.41 c 1780 10956 1235805 888983 104 1189 44 44 40 0.24/0.41 c 1790 11011 1241773 893680 104 1194 42 43 38 0.24/0.41 c 1800 11072 1249412 898907 104 1197 45 47 41 0.24/0.41 c 1810 11126 1255166 902877 104 1202 44 44 40 0.34/0.41 c 1820 11183 1262323 908468 104 1207 44 44 40 0.34/0.41 c 1830 11238 1268276 912787 104 1213 44 44 40 0.34/0.42 c 1840 11286 1274449 917497 104 1223 39 39 35 0.34/0.42 c 1841 11332 1279561 920971 104 1224 46 46 23 0.34/0.42 c 1850 11388 1285526 925182 104 1229 46 46 41 0.34/0.42 c 1860 11442 1292232 930448 104 1233 41 42 37 0.34/0.42 c 1870 11496 1300099 936185 104 1238 40 41 36 0.34/0.42 c 1880 11563 1307464 941613 104 1245 39 47 39 0.34/0.43 c 1890 11614 1313943 947755 104 1251 39 40 35 0.34/0.43 c 1900 11670 1322720 955426 104 1261 38 38 34 0.34/0.43 c 1910 11724 1328694 960363 104 1265 43 43 39 0.34/0.43 c 1920 11764 1334063 965852 104 1275 31 31 28 0.34/0.43 c 1930 11818 1340893 972212 104 1279 40 40 36 0.34/0.44 c 1940 11878 1348000 976759 104 1285 43 46 40 0.34/0.44 c 1950 11954 1355145 980279 104 1294 47 48 43 0.34/0.44 c 1960 12013 1361945 984874 104 1300 46 47 42 0.34/0.44 c 1970 12056 1367774 990625 104 1310 34 34 30 0.34/0.44 c 1980 12114 1374677 995502 104 1314 46 46 41 0.34/0.44 c 1990 12174 1381756 999923 104 1323 42 43 38 0.34/0.45 c 2000 12230 1387845 1004552 104 1328 43 43 39 0.34/0.45 c 2010 12287 1395860 1013454 104 1330 35 39 32 0.34/0.45 c 2020 12327 1401384 1019323 104 1340 31 31 28 0.34/0.45 c 2030 12383 1409080 1025106 104 1345 43 43 39 0.34/0.45 c 2040 12439 1415497 1029686 104 1350 43 43 39 0.34/0.46 c 2050 12498 1422701 1034958 104 1355 43 44 39 0.34/0.46 c 2060 12557 1429908 1040058 104 1360 44 45 40 0.34/0.46 c 2070 12614 1436553 1044344 104 1361 45 45 40 0.34/0.46 c 2080 12671 1443273 1048923 104 1363 45 45 40 0.34/0.46 c 2090 12734 1449944 1053607 104 1372 39 48 38 0.34/0.46 c 2100 12776 1455595 1058361 104 1381 30 33 27 0.34/0.47 c 2110 12844 1462726 1064115 104 1389 34 40 34 0.34/0.47 c 2120 12889 1469629 1071956 104 1394 32 32 29 0.34/0.47 c 2122 12927 1473587 1075443 104 1395 37 37 24 0.34/0.47 c 2130 12965 1478520 1079697 104 1403 31 31 27 0.34/0.47 c 2140 13019 1485408 1085530 104 1405 44 44 40 0.34/0.47 c 2150 13079 1492990 1092450 104 1415 42 42 38 0.34/0.48 c 2160 13134 1500499 1098622 104 1420 42 42 38 0.34/0.48 c 2170 13195 1508248 1105300 104 1430 43 43 39 0.34/0.48 c 2180 13253 1516572 1112879 104 1435 41 45 38 0.34/0.48 c 2190 13313 1526758 1122832 104 1445 42 42 38 0.34/0.48 c 2200 13370 1533641 1128550 104 1447 39 43 36 0.34/0.49 c 2210 13431 1540870 1134313 104 1453 40 44 37 0.34/0.49 c 2220 13485 1548345 1141644 104 1463 38 41 35 0.34/0.49 c 2230 13540 1554936 1148049 104 1471 35 38 33 0.34/0.49 c 2240 13601 1564550 1159275 104 1482 41 41 37 0.34/0.49 c 2250 13661 1572046 1165761 104 1487 44 48 40 0.34/0.50 c 2260 13721 1578240 1170802 104 1497 31 46 37 0.34/0.50 c 2270 13769 1583847 1174352 104 1507 35 39 32 0.34/0.50 c 2280 13816 1590407 1180515 104 1509 37 37 33 0.34/0.50 c 2290 13873 1596982 1186369 104 1514 34 40 33 0.34/0.50 c 2300 13930 1602962 1191422 104 1519 41 44 37 0.34/0.50 c 2310 13984 1611153 1197491 104 1529 41 45 37 0.34/0.51 c 2320 14044 1618059 1202787 104 1535 39 45 39 0.34/0.51 c 2330 14104 1624671 1207603 104 1541 40 45 39 0.34/0.51 c 2340 14160 1630956 1212009 104 1545 44 44 40 0.34/0.51 c 2350 14226 1637820 1217057 104 1552 46 50 43 0.44/0.51 c 2360 14285 1644526 1222528 104 1562 40 44 37 0.44/0.51 c 2370 14337 1650258 1227078 104 1568 36 43 37 0.44/0.52 c 2380 14388 1657514 1233859 104 1570 39 39 35 0.44/0.52 c 2390 14437 1663083 1238879 104 1575 39 39 35 0.44/0.52 c 2400 14497 1672406 1248796 104 1584 41 41 37 0.44/0.52 c 2410 14548 1677556 1252953 104 1589 36 39 33 0.44/0.52 c 2420 14603 1683441 1256961 104 1592 43 43 39 0.44/0.53 c 2430 14667 1690803 1261996 104 1597 45 55 43 0.44/0.53 c 2431 14715 1695781 1265285 104 1598 48 48 24 0.44/0.53 c 2440 14775 1703367 1271662 104 1601 40 45 37 0.44/0.53 c 2450 14837 1713295 1280552 104 1609 43 43 39 0.44/0.53 c 2460 14899 1720243 1286491 104 1613 37 44 35 0.44/0.54 c 2470 14969 1727892 1293144 104 1617 37 46 37 0.44/0.54 c 2480 15028 1735424 1300527 104 1620 41 45 38 0.44/0.54 c 2490 15086 1741865 1304818 104 1630 45 49 41 0.44/0.54 c 2500 15146 1749024 1311348 104 1635 41 42 37 0.44/0.54 c 2510 15206 1755335 1315050 104 1643 37 40 34 0.44/0.54 c 2520 15270 1762858 1321226 104 1652 38 45 38 0.44/0.55 c 2530 15330 1768814 1325198 104 1655 36 48 41 0.44/0.55 c 2540 15396 1775982 1330671 104 1663 40 46 39 0.44/0.55 c 2550 15478 1784197 1338126 104 1672 37 46 37 0.44/0.55 c 2560 15530 1790708 1343819 104 1677 37 40 33 0.44/0.55 c 2570 15592 1799792 1352391 104 1685 43 43 39 0.44/0.56 c 2580 15649 1807230 1358669 104 1689 37 43 36 0.44/0.56 c 2590 15706 1813386 1362954 104 1691 45 45 40 0.44/0.56 c 2600 15763 1819533 1367501 104 1697 45 46 41 0.44/0.56 c 2610 15832 1825794 1371719 104 1699 50 57 46 0.44/0.56 c 2620 15893 1831998 1375330 104 1709 40 52 44 0.44/0.56 c 2630 15946 1838488 1380865 104 1719 42 44 38 0.44/0.57 c 2640 15999 1844601 1385205 104 1729 40 44 36 0.44/0.57 c 2650 16055 1851768 1391612 104 1731 42 46 38 0.44/0.57 c 2660 16110 1858125 1396873 104 1734 41 44 38 0.44/0.57 c 2670 16177 1864434 1400813 104 1743 36 55 44 0.44/0.57 c 2680 16234 1871373 1406915 104 1746 43 47 39 0.44/0.57 c 2690 16288 1877590 1411598 104 1751 41 44 38 0.44/0.58 c 2700 16358 1884142 1415271 104 1758 55 55 50 0.44/0.58 c 2710 16417 1891479 1421287 104 1761 42 46 39 0.44/0.58 c 2720 16481 1903126 1432789 104 1771 44 45 40 0.44/0.58 c 2730 16551 1910349 1437234 104 1781 41 44 38 0.44/0.58 c 2740 16616 1918078 1444071 104 1787 38 44 37 0.44/0.59 c 2750 16677 1924932 1448862 104 1790 36 42 35 0.44/0.59 c 2760 16742 1933164 1454064 104 1799 43 47 39 0.44/0.59 c 2770 16807 1940504 1459247 104 1803 40 46 38 0.44/0.59 c 2771 16849 1944821 1462370 104 1804 42 42 21 0.44/0.59 c 2780 16903 1951051 1467088 104 1806 37 43 34 0.44/0.59 c 2790 16955 1957126 1470984 104 1816 39 43 35 0.44/0.60 c 2800 17014 1964186 1476486 104 1819 35 41 33 0.44/0.60 c 2810 17066 1969793 1480358 104 1827 39 43 37 0.44/0.60 c 2820 17129 1976856 1484869 104 1829 40 46 38 0.44/0.60 c 2830 17190 1983417 1488903 104 1835 35 43 36 0.44/0.60 c 2840 17239 1989581 1494056 104 1840 39 39 35 0.44/0.60 c 2850 17304 1997922 1500534 104 1847 37 45 37 0.53/0.61 c 2860 17360 2005070 1506452 104 1853 41 43 38 0.53/0.61 c 2870 17416 2011239 1511352 104 1859 37 40 34 0.53/0.61 c 2880 17466 2017728 1516889 104 1861 38 38 34 0.53/0.61 c 2890 17521 2025166 1522959 104 1867 40 41 36 0.53/0.61 c 2900 17594 2032236 1527054 104 1871 41 46 40 0.53/0.61 c 2910 17650 2038710 1531403 104 1881 39 47 39 0.53/0.62 c 2920 17723 2046663 1537367 104 1887 38 44 37 0.53/0.62 c 2930 17790 2054518 1543490 104 1897 41 44 38 0.53/0.62 c 2940 17848 2061483 1549287 104 1902 41 42 37 0.53/0.62 c 2950 17920 2068868 1553463 104 1906 41 46 40 0.53/0.62 c 2960 17989 2075812 1558454 104 1910 38 42 36 0.53/0.62 c 2970 18057 2084007 1564722 104 1918 39 43 37 0.53/0.63 c 2980 18106 2090407 1569974 104 1919 38 38 34 0.53/0.63 c 2990 18156 2096844 1575265 104 1922 39 39 35 0.53/0.63 c 3000 18227 2104216 1579523 104 1925 39 47 39 0.53/0.63 c 3010 18289 2111539 1585491 104 1933 41 43 38 0.53/0.63 c 3020 18338 2118852 1591756 104 1935 37 38 34 0.53/0.63 c 3030 18388 2125205 1597015 104 1937 40 40 36 0.53/0.64 c 3040 18450 2132146 1601821 104 1944 39 45 37 0.53/0.64 c 3050 18507 2138829 1607202 104 1950 41 43 38 0.53/0.64 c 3060 18572 2145690 1610867 104 1960 42 43 38 0.53/0.64 c 3070 18634 2152615 1615477 104 1967 39 45 37 0.53/0.64 c 3080 18687 2159768 1621370 104 1973 38 40 35 0.53/0.65 c 3090 18738 2165601 1625748 104 1983 40 42 36 0.53/0.65 c 3100 18794 2172486 1631676 104 1986 39 41 36 0.53/0.65 c 3110 18856 2178529 1635933 104 1988 43 43 39 0.53/0.65 c 3120 18908 2185683 1641895 104 1992 39 40 35 0.53/0.65 c 3130 18958 2191986 1647203 104 1994 40 40 36 0.53/0.65 c 3140 19019 2198570 1652219 104 2002 38 47 36 0.53/0.65 c 3142 19064 2203284 1655890 104 2004 41 42 27 0.53/0.66 c 3150 19121 2208644 1659740 104 2008 38 43 36 0.53/0.66 c 3160 19194 2217296 1666245 104 2017 39 43 37 0.53/0.66 c 3170 19248 2224205 1671838 104 2022 40 40 36 0.53/0.66 c 3180 19317 2231192 1676018 104 2025 40 45 39 0.53/0.66 c 3190 19375 2238299 1682096 104 2032 39 43 36 0.53/0.67 c 3200 19433 2245118 1687259 104 2036 40 42 37 0.53/0.67 c 3210 19498 2251641 1691998 104 2041 41 45 39 0.53/0.67 c 3220 19561 2257823 1696404 104 2045 43 43 39 0.53/0.67 c 3230 19625 2264254 1700871 104 2051 42 46 40 0.53/0.67 c 3240 19680 2270362 1704784 104 2057 38 46 37 0.53/0.67 c 3250 19746 2277561 1710226 104 2061 35 43 36 0.53/0.68 c 3260 19809 2284085 1714683 104 2068 42 46 39 0.53/0.68 c 3270 19872 2292012 1720342 104 2078 40 44 38 0.53/0.68 c 3280 19930 2298609 1725630 104 2082 41 43 38 0.53/0.68 c 3290 20006 2306533 1730022 104 2087 43 43 39 0.53/0.68 c 3300 20069 2312903 1734266 104 2093 41 45 39 0.53/0.68 c 3310 20124 2320069 1740014 104 2095 39 39 35 0.53/0.69 c 3320 20192 2326961 1744189 104 2098 42 44 38 0.53/0.69 c 3330 20255 2333243 1748636 104 2104 41 45 39 0.53/0.69 c 3340 20320 2340156 1752408 104 2112 41 44 38 0.53/0.69 c 3350 20373 2346230 1757684 104 2118 40 42 37 0.53/0.69 c 3360 20439 2353315 1763797 104 2123 41 44 37 0.53/0.69 c 3370 20512 2360685 1770459 104 2129 38 44 37 0.62/0.70 c 3380 20579 2367663 1774678 104 2134 42 44 38 0.62/0.70 c 3390 20636 2374315 1778923 104 2138 41 45 38 0.62/0.70 c 3400 20709 2381892 1783155 104 2144 49 53 46 0.62/0.70 c 3410 20760 2388368 1788577 104 2151 39 41 35 0.62/0.70 c 3420 20833 2395825 1795077 104 2154 38 43 37 0.62/0.70 c 3430 20906 2403098 1799209 104 2158 41 46 40 0.62/0.71 c 3440 20957 2410548 1805539 104 2162 39 39 35 0.62/0.71 c 3450 21027 2417290 1809479 104 2166 42 44 39 0.62/0.71 c 3460 21102 2424344 1813440 104 2176 50 52 45 0.62/0.71 c 3470 21153 2430577 1818383 104 2186 39 41 35 0.62/0.71 c 3480 21230 2438198 1825116 104 2191 38 43 37 0.62/0.71 c 3490 21286 2444055 1829455 104 2196 39 42 37 0.62/0.72 c 3500 21337 2449944 1832870 104 2206 32 33 29 0.62/0.72 c 3510 21389 2456462 1837968 104 2210 40 40 36 0.62/0.72 c 3520 21456 2463193 1842101 104 2215 42 44 38 0.62/0.72 c 3530 21510 2470133 1846251 104 2223 41 45 38 0.62/0.72 c 3540 21561 2476485 1851307 104 2233 39 41 35 0.62/0.72 c 3550 21627 2483740 1856107 104 2241 39 46 38 0.62/0.73 c 3551 21667 2488075 1859520 104 2242 40 40 20 0.62/0.73 c 3560 21717 2494643 1864897 104 2245 40 40 36 0.62/0.73 c 3570 21767 2500856 1869998 104 2255 39 41 35 0.62/0.73 c 3580 21842 2507840 1874993 104 2259 39 43 38 0.62/0.73 c 3590 21897 2513807 1879343 104 2261 41 42 37 0.62/0.73 c 3600 21945 2519685 1884419 104 2271 37 39 33 0.62/0.74 c 3610 21995 2525630 1888976 104 2281 39 41 35 0.62/0.74 c 3620 22048 2532220 1894356 104 2291 39 41 35 0.62/0.74 c 3630 22131 2540494 1899954 104 2297 36 46 38 0.62/0.74 c 3640 22196 2548486 1906426 104 2303 39 43 37 0.62/0.74 c 3650 22253 2554788 1910536 104 2309 40 48 39 0.62/0.75 c 3660 22325 2562852 1918668 104 2313 36 40 34 0.62/0.75 c 3670 22380 2568607 1922363 104 2320 42 45 39 0.62/0.75 c 3680 22434 2574919 1926359 104 2330 41 45 37 0.62/0.75 c 3690 22488 2580970 1930824 104 2339 40 43 37 0.62/0.75 c 3700 22539 2587261 1936375 104 2349 37 39 34 0.62/0.75 c 3710 22608 2594544 1943503 104 2355 36 40 34 0.62/0.76 c 3720 22666 2601346 1947713 104 2361 42 44 39 0.62/0.76 c 3730 22769 2609851 1951866 104 2364 54 57 50 0.62/0.76 c 3740 22839 2617500 1956760 104 2371 42 46 39 0.62/0.76 c 3750 22887 2623422 1961690 104 2381 37 39 33 0.62/0.76 c 3760 22962 2631026 1968868 104 2383 35 40 34 0.62/0.76 c 3770 23011 2637277 1974507 104 2389 38 38 34 0.62/0.77 c 3780 23064 2642759 1978182 104 2396 40 43 37 0.62/0.77 c 3790 23135 2649584 1982419 104 2401 41 44 39 0.62/0.77 c 3800 23184 2655962 1987702 104 2407 38 38 34 0.62/0.77 c 3810 23240 2662574 1991910 104 2413 40 42 37 0.62/0.77 c 3820 23304 2669289 1996192 104 2421 47 55 46 0.62/0.77 c 3830 23354 2675587 2001513 104 2430 38 40 34 0.62/0.78 c 3840 23424 2682719 2008015 104 2433 36 40 35 0.62/0.78 c 3850 23479 2689340 2012115 104 2438 40 42 37 0.62/0.78 c 3860 23530 2695807 2017744 104 2448 37 39 34 0.62/0.78 c 3870 23599 2703346 2025286 104 2452 35 40 34 0.62/0.78 c 3880 23656 2710224 2029356 104 2457 42 44 39 0.62/0.78 c 3890 23707 2716679 2034977 104 2467 37 39 34 0.62/0.79 c 3900 23777 2723886 2041631 104 2472 36 40 35 0.62/0.79 c 3910 23832 2730474 2045683 104 2477 40 42 37 0.62/0.79 c 3920 23883 2736931 2051259 104 2487 37 39 34 0.62/0.79 c 3930 23946 2744405 2058415 104 2493 35 40 34 0.62/0.79 c 3940 23995 2750617 2063891 104 2504 37 39 33 0.62/0.80 c 3950 24067 2758299 2070691 104 2509 35 41 34 0.72/0.80 c 3960 24117 2763937 2074501 104 2519 39 41 35 0.72/0.80 c 3970 24165 2769932 2079677 104 2529 37 39 33 0.72/0.80 c 3980 24235 2777082 2086379 104 2532 36 40 35 0.72/0.80 c 3990 24290 2783680 2090383 104 2537 40 42 37 0.72/0.80 c 4000 24341 2790132 2095955 104 2547 37 39 34 0.72/0.81 c 4001 24377 2794347 2099147 104 2548 36 36 18 0.72/0.81 c 4010 24441 2800527 2102859 104 2553 42 44 39 0.72/0.81 c 4020 24492 2806880 2108435 104 2563 37 39 34 0.72/0.81 c 4030 24566 2814439 2116069 104 2568 35 40 35 0.72/0.81 c 4040 24631 2820660 2119857 104 2574 40 42 37 0.72/0.81 c 4050 24682 2826995 2125328 104 2584 37 39 34 0.72/0.82 c 4060 24750 2833985 2130953 104 2589 34 40 35 0.72/0.82 c 4070 24801 2840331 2136521 104 2599 37 39 34 0.72/0.82 c 4080 24869 2847824 2144112 104 2605 36 40 34 0.72/0.82 c 4090 24936 2853967 2147695 104 2606 43 43 39 0.72/0.82 c 4100 24987 2860303 2153211 104 2616 37 39 34 0.72/0.82 c 4110 25068 2868190 2160208 104 2619 35 40 35 0.72/0.83 c 4120 25119 2874535 2165821 104 2629 37 39 34 0.72/0.83 c 4130 25188 2881726 2172891 104 2634 36 40 35 0.72/0.83 c 4140 25243 2888382 2177536 104 2635 42 42 38 0.72/0.83 c 4150 25294 2894712 2183003 104 2645 37 39 34 0.72/0.83 c 4160 25366 2902155 2189904 104 2649 36 40 35 0.72/0.84 c 4170 25431 2908093 2193387 104 2650 41 41 37 0.72/0.84 c 4180 25482 2914423 2198853 104 2660 37 39 34 0.72/0.84 c 4190 25543 2921499 2204529 104 2667 36 41 34 0.72/0.84 c 4200 25592 2926958 2208327 104 2677 38 40 34 0.72/0.84 c 4210 25643 2933304 2213879 104 2687 37 39 34 0.72/0.84 c 4220 25713 2940455 2220573 104 2690 36 40 35 0.72/0.85 c 4230 25773 2946767 2224357 104 2695 43 46 40 0.72/0.85 c 4240 25823 2952941 2229671 104 2704 38 40 34 0.72/0.85 c 4250 25892 2960470 2237103 104 2708 35 40 34 0.72/0.85 c 4260 25956 2967380 2241088 104 2713 43 46 40 0.72/0.85 c 4270 26006 2973548 2246351 104 2722 38 40 34 0.72/0.85 c 4280 26074 2980201 2251534 104 2726 36 40 35 0.72/0.86 c 4290 26138 2987075 2255552 104 2731 43 46 40 0.72/0.86 c 4300 26188 2993245 2260865 104 2740 38 40 34 0.72/0.86 c 4310 26255 3000523 2267851 104 2743 36 40 34 0.72/0.86 c 4320 26308 3006961 2272447 104 2744 40 40 36 0.72/0.86 c 4330 26359 3013401 2277967 104 2754 37 39 34 0.72/0.86 c 4340 26430 3021046 2285493 104 2759 35 40 34 0.72/0.87 c 4350 26494 3027930 2289463 104 2764 43 46 40 0.72/0.87 c 4360 26544 3034096 2294726 104 2773 38 40 34 0.72/0.87 c 4370 26613 3040985 2300083 104 2778 34 40 35 0.72/0.87 c 4380 26664 3047432 2305651 104 2788 37 39 34 0.72/0.87 c 4390 26733 3054678 2312716 104 2793 36 40 35 0.72/0.88 c 4400 26798 3061613 2316689 104 2798 43 46 40 0.72/0.88 c 4410 26848 3067781 2321953 104 2807 38 40 34 0.72/0.88 c 4420 26920 3075339 2328900 104 2811 36 40 35 0.72/0.88 c 4430 26990 3082464 2333022 104 2816 43 46 41 0.72/0.88 c 4440 27040 3088619 2338138 104 2825 38 40 34 0.72/0.88 c 4450 27106 3095451 2343717 104 2828 36 40 35 0.72/0.89 c 4460 27164 3102508 2347588 104 2835 43 46 40 0.72/0.89 c 4470 27214 3108670 2352803 104 2844 38 40 34 0.72/0.89 c 4480 27277 3115663 2359276 104 2849 36 40 34 0.72/0.89 c 4490 27326 3121766 2364455 104 2860 37 39 33 0.72/0.89 c 4493 27375 3126585 2368339 104 2863 40 40 30 0.72/0.89 c 4500 27423 3132549 2373542 104 2870 37 39 32 0.82/0.90 c 4510 27490 3139794 2380339 104 2873 36 40 34 0.82/0.90 c 4520 27559 3146430 2384482 104 2875 44 47 41 0.82/0.90 c 4530 27617 3153645 2391302 104 2881 37 41 36 0.82/0.90 c 4540 27672 3160872 2397852 104 2885 40 41 36 0.82/0.90 c 4550 27733 3167946 2403757 104 2892 36 41 34 0.82/0.91 c 4560 27799 3176621 2410459 104 2903 43 46 40 0.82/0.91 c 4570 27853 3182845 2414778 104 2913 41 45 37 0.82/0.91 c 4580 27922 3190940 2421733 104 2920 37 48 37 0.82/0.91 c 4590 27991 3198589 2427894 104 2927 38 47 38 0.82/0.91 c 4600 28042 3204948 2433467 104 2937 37 39 34 0.82/0.91 c 4610 28112 3212091 2440073 104 2940 36 40 35 0.82/0.92 c 4620 28180 3218674 2443993 104 2943 43 47 41 0.82/0.92 c 4630 28248 3224917 2447430 104 2953 49 50 44 0.82/0.92 c 4640 28299 3231361 2452995 104 2963 37 39 34 0.82/0.92 c 4650 28368 3238894 2460529 104 2967 35 40 34 0.82/0.92 c 4660 28434 3245104 2464157 104 2973 43 47 42 0.82/0.92 c 4670 28482 3252525 2470538 104 2983 39 39 35 0.82/0.93 c 4680 28534 3259509 2476824 104 2993 38 41 35 0.82/0.93 c 4690 28600 3266055 2482058 104 2996 36 40 35 0.82/0.93 c 4700 28653 3272304 2486383 104 3006 40 44 36 0.82/0.93 c 4710 28720 3280915 2493622 104 3014 39 45 38 0.82/0.93 c 4720 28775 3286981 2497645 104 3024 40 41 37 0.82/0.94 c 4730 28829 3294589 2504535 104 3034 39 41 35 0.82/0.94 c 4740 28896 3301880 2511679 104 3037 36 40 34 0.82/0.94 c 4750 28965 3308499 2515618 104 3041 44 47 41 0.82/0.94 c 4760 29028 3315385 2519866 104 3045 47 49 43 0.82/0.94 c 4770 29104 3322265 2523416 104 3046 53 53 48 0.82/0.94 c 4780 29158 3329493 2530010 104 3054 38 41 35 0.82/0.95 c 4790 29229 3337152 2537651 104 3059 35 40 34 0.82/0.95 c 4800 29299 3343123 2541150 104 3060 45 45 40 0.82/0.95 c 4810 29347 3348420 2544315 104 3070 39 39 35 0.82/0.95 c 4820 29400 3355040 2550039 104 3080 37 39 34 0.82/0.95 c 4830 29468 3361897 2555472 104 3084 34 40 35 0.82/0.95 c 4840 29519 3368335 2560996 104 3094 37 39 34 0.82/0.96 c 4850 29588 3375581 2568164 104 3099 36 40 35 0.82/0.96 c 4860 29652 3381496 2571732 104 3105 41 45 40 0.82/0.96 c 4870 29702 3388294 2577679 104 3110 39 39 35 0.82/0.96 c 4880 29770 3394803 2581942 104 3115 42 45 40 0.82/0.96 c 4890 29850 3403267 2588109 104 3118 39 48 39 0.82/0.96 c 4900 29907 3410000 2593040 104 3128 45 48 42 0.82/0.97 c 4910 29970 3417768 2599609 104 3134 40 44 37 0.82/0.97 c 4920 30022 3425417 2605811 104 3139 41 41 37 0.82/0.97 c 4930 30087 3431744 2609673 104 3142 41 45 39 0.82/0.97 c 4940 30152 3438440 2614979 104 3151 40 49 38 0.82/0.97 c 4950 30215 3444851 2619560 104 3158 47 51 44 0.82/0.98 c 4960 30273 3451721 2625476 104 3162 43 44 39 0.82/0.98 c 4970 30345 3459293 2632581 104 3166 36 40 35 0.82/0.98 c 4980 30410 3465298 2636198 104 3173 41 45 40 0.82/0.98 c 4990 30464 3471505 2640533 104 3176 42 42 38 0.82/0.98 c 5035 30582 3485941 2648701 104 3199 50 51 48 0.82/0.99 c 5631 31842 3579436 2668857 104 3257 46 55 54 0.82/1.00 c 6286 33289 3699697 2725496 104 3264 41 47 45 0.93/1.03 c 7006 34467 3904796 2912561 104 3316 41 44 43 0.93/1.06 c 7798 35745 4182887 3217503 104 3373 37 46 41 0.93/1.08 c 8669 36979 4380934 3323742 104 3441 43 58 47 0.93/1.10 c 9627 38997 4534474 3360243 104 3461 38 46 44 1.03/1.12 c 10680 40538 4764232 3589085 104 3487 40 47 41 1.03/1.14 c 11838 43118 4980561 3664798 104 3545 38 42 40 1.03/1.19 c 13111 46194 5400236 3889919 104 3592 40 55 46 1.12/1.23 c 14511 48504 5781604 4223658 104 3646 41 45 44 1.12/1.28 c 16051 51450 6153704 4510951 104 3783 41 45 43 1.22/1.30 c 17745 55234 6407108 4545105 104 3844 38 50 49 1.22/1.35 c 19608 58815 6985333 4963932 104 3911 42 48 46 1.32/1.42 c 21657 62243 7590804 5586866 104 3937 42 45 44 1.32/1.46 c 23910 67634 8086463 5766457 104 3993 39 47 43 1.32/1.49 c 26388 72068 8532894 5944066 104 4029 45 51 49 1.42/1.55 c 29113 78684 9127418 6160816 104 4048 38 45 42 1.52/1.61 c 32110 83780 9869565 6341908 104 4109 42 46 44 1.62/1.71 c 35406 88989 10730979 7164504 104 4152 41 44 43 1.72/1.84 c 39031 95269 11785270 7973643 104 4167 43 47 45 1.82/1.93 c 43018 104034 12721636 8459299 104 4229 39 48 43 1.82/2.00 c 47403 114413 13612933 8628054 104 4295 37 59 57 2.03/2.17 c 52226 123747 15165508 9920628 104 4356 41 49 44 2.22/2.30 c 57531 130470 16266786 11059689 104 4461 42 46 43 2.42/2.50 c 63366 139458 18280532 12168492 104 4563 36 52 47 2.62/2.71 c 69784 152258 20265388 13666196 104 4622 36 44 42 2.72/2.87 c 76843 164449 21818073 14531297 104 4656 41 47 43 2.82/2.96 c 84607 174967 22760727 15006947 104 4731 39 48 47 3.32/3.45 c 93147 202098 27223955 17572604 104 4871 38 47 43 3.72/3.83 c 102541 228906 30557823 19909116 104 4923 42 45 43 4.03/4.13 c 112874 242325 33173238 22420174 104 4987 41 43 42 4.22/4.34 c 124240 256024 35713026 23528741 104 5027 44 51 47 4.62/4.71 c 136742 279286 38870578 25700271 104 5197 40 46 41 5.03/5.15 c 150494 297280 43100178 29592787 104 5252 43 43 42 5.32/5.45 c 165621 319016 45838682 32136345 104 5301 42 52 44 5.52/5.63 c 182260 346979 48160714 32694064 104 5374 38 65 60 5.93/6.10 c 200562 368561 51453904 36641113 104 5472 38 42 40 6.22/6.36 c 220694 404301 54538416 37916331 104 5563 35 61 50 6.52/6.69 c 242839 438976 58752683 39674933 104 5652 46 56 52 7.62/7.78 c 267198 480882 69052843 48355978 104 5740 40 43 42 8.42/8.59 c 293992 519782 75596440 54458778 104 5907 40 46 42 9.52/9.61 c 323465 565329 83990683 62283935 104 5986 41 49 44 10.22/10.30 c 355885 605333 89151760 66902681 104 6056 40 46 41 10.62/10.71 c 391547 660701 94343114 68857840 104 6089 40 53 45 11.03/11.17 c 430775 729117 100322958 70481072 104 6196 43 59 54 11.93/12.10 c 473925 789999 109258693 78707528 104 6290 41 45 43 12.62/12.71 c 521390 879996 116448060 80884102 104 6356 37 49 44 13.93/14.07 c 573601 975612 128922304 89798671 104 6449 40 44 42 15.72/15.80 c 631033 1072472 141326248 97723409 104 6497 41 43 42 16.42/16.59 c 694208 1161849 150477097 102957981 104 6613 30 55 53 17.62/17.72 c 763700 1313361 165311346 107314553 104 6712 32 58 51 19.03/19.12 c 840141 1426803 177330866 118886516 104 6785 41 46 44 20.62/20.71 c 924226 1567910 193885383 125524414 104 6918 41 48 45 22.82/22.91 c 1016719 1697697 208105984 141258953 104 6979 44 47 44 24.82/25.00 c 1118461 1837065 228562455 156546068 104 7127 38 49 47 26.92/27.09 c 1230377 1988280 242374143 172194928 104 7155 44 45 44 29.02/29.13 c 1353484 2171887 265108183 181262127 104 7255 43 53 45 31.41/31.59 c 1488901 2384724 289127811 197478198 104 7321 38 50 45 33.61/33.73 c 1637859 2620835 314420536 207975668 104 7386 42 48 46 36.51/36.61 c 1801712 2895628 343471639 225371159 104 7498 38 50 45 39.21/39.30 c 1981950 3211768 378798597 238803365 104 7533 41 54 52 41.51/41.60 c 2180211 3520934 402168397 253323591 104 7587 43 47 45 46.71/46.87 c 2398298 3841008 452457359 304468928 104 7641 40 44 43 52.51/52.63 c 2638193 4338911 517121779 331583650 104 7934 31 55 46 55.61/55.73 c 2902077 4701564 545920046 348006305 104 7982 40 44 43 64.11/64.24 c 3192349 5151917 623236859 411876992 104 8132 36 43 42 75.30/75.40 c 3511648 5661948 721063301 495686608 104 8193 39 44 42 84.10/84.28 c 3862876 6400330 813747406 548138808 104 8322 30 52 46 89.80/89.96 c 4249226 6953832 865441607 582401454 104 8412 40 45 42 95.60/95.77 c 4674211 7616959 934853464 605918642 104 8562 40 54 47 105.20/105.30 c 5141694 8452762 1041766215 669847617 104 8598 41 54 46 117.10/117.21 c 5655925 9249085 1151626784 746939095 104 8697 34 46 40 129.60/129.72 c 6221579 10265899 1258047869 809472275 104 8758 38 49 43 143.80/143.90 c 6843798 11224141 1378857835 893799709 104 9004 38 46 42 156.60/156.71 c 7528238 12326705 1524740335 965968760 104 9050 39 51 49 166.90/167.05 c 8281122 13355831 1657433609 1006897234 104 9144 31 59 50 184.19/184.38 c 9109294 14575334 1803961373 1096329130 104 9197 39 47 43 201.09/201.21 c 10020283 16051872 1955544015 1191496991 104 9265 38 46 42 217.38/217.58 c 11022370 17459057 2101202355 1295432292 104 9429 40 46 44 252.38/252.58 c 12124665 19242474 2412900447 1514768886 104 9562 40 53 48 268.17/268.30 c 13337189 20765320 2534031381 1603836635 104 9649 39 45 44 287.57/287.79 c 14670965 23525674 2777159344 1668069618 104 9777 40 56 50 305.77/305.91 c 16138118 25395968 2932261291 1763964486 104 9873 42 46 45 334.76/335.00 c 17751986 27509015 3179346471 1982814178 104 9979 40 47 44 360.96/361.18 c 19527240 29676275 3387063686 2146516610 104 10082 42 45 44 389.35/389.57 c 21480019 33307131 3722430557 2258613341 104 10216 42 53 48 418.05/418.26 c 23628075 35932261 3956157215 2414814655 104 10297 45 45 44 444.85/445.04 c 25990936 39995899 4286314401 2518415418 104 10385 41 52 48 485.73/485.95 c 28590083 43307474 4625546288 2765273648 104 10459 45 47 46 534.93/535.12 c 31449144 46808374 5031783209 3087955260 104 10506 41 46 44 570.22/570.45 c 34594111 50777580 5469714907 3202372592 104 10662 44 50 48 613.81/614.05 c 38053574 55068457 5829606661 3452433731 104 10753 42 45 43 679.80/680.10 c 41858983 61384242 6631888538 3768615089 104 10830 42 58 49 733.99/734.24 c 46044932 66718245 7084151666 4050630009 104 10947 41 45 44 814.28/814.51 c 50649475 74031799 7925132499 4523099289 104 11052 40 50 46 860.38/860.69 c 55714472 81325582 8486730339 4722484056 104 11142 33 47 46 930.58/930.87 c 61285968 88614608 9104817377 5102447848 104 11254 41 46 45 1022.37/1022.67 c 67414613 96266976 10207806956 5520427559 104 11420 36 53 48 1114.97/1115.27 c 74156122 104921371 11025403606 6074543899 104 11572 43 46 44 1194.97/1195.25 c 81571781 116321283 11940941093 6560132085 104 11697 42 61 51 1334.36/1334.68 c 89729005 126932590 13164059532 7281055455 104 11852 31 43 40 1421.76/1422.09 c 98701951 142668989 14358273182 7668749446 104 11929 43 54 50 1545.25/1545.56 c 108572191 155756533 15488762919 8268404164 104 12003 42 46 44 1800.54/1800.85 c 119429455 177457137 18395128519 9959512610 104 12121 38 53 45 2074.03/2074.33 c 131372445 193939069 21193246605 11490004504 104 12242 32 45 42 2248.92/2249.26 c 144509734 211857051 22865314813 12412021144 104 12331 42 47 46 2464.61/2464.90 c 158960751 241638929 25647520931 13355658843 104 12472 35 60 54 2519.72/2520.00 2519.72/2520.00 c *** INTERRUPTED *** 2519.72/2520.00 c restarts : 625 2519.72/2520.00 c conflicts : 161082833 (63929 /sec) 2519.72/2520.00 c decisions : 246165810 (97696 /sec) 2519.72/2520.00 c propagations : 13684296706 (5430890 /sec) 2519.72/2520.00 c root propagations : 308 2519.72/2520.00 c filter calls : 26198620160 (10397452 /sec) 2519.72/2520.00 c useless filter calls : 18573687085 (70 %) 2519.72/2520.00 c 2519.72/2520.00 c clauses : 150480 2519.72/2520.00 c SAT propagations : 4997 2519.72/2520.00 c SAT conflicts : 0 (0 learnts) 2519.72/2520.00 c Memory used : 35.67 MB 2519.72/2520.00 c CPU time : 2519.72 s 2519.72/2520.00 2519.72/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 (15272 MiB free)
memory of node 1: 16384 MiB (15598 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265997-1502583708/watcher-4265997-1502583708 -o /tmp/evaluation-result-4265997-1502583708/solver-4265997-1502583708 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12624 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265997-1502583708.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17713, runsolver pid=17710
[startup+0.100135 s]*
/proc/loadavg: 2.13 2.11 2.08 3/182 17714
/proc/meminfo: memFree=31603544/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=35992 memory=12000 CPUtime=0.03 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 2144 0 0 0 3 0 0 0 20 0 1 0 60566290 36855808 3000 18446744073709551615 4194304 5972588 140724104827440 140724104824088 139961629678688 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 8998 3000 839 435 0 2361 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 35992 KiB
Current children cumulated memory: 12000 KiB
[startup+0.209474 s]*
/proc/loadavg: 2.13 2.11 2.08 3/182 17714
/proc/meminfo: memFree=31603544/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=35992 memory=12000 CPUtime=0.14 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 2161 0 0 0 14 0 0 0 20 0 1 0 60566290 36855808 3000 18446744073709551615 4194304 5972588 140724104827440 140724104824088 139961629678688 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 8998 3000 839 435 0 2361 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 35992 KiB
Current children cumulated memory: 12000 KiB
[startup+0.308883 s]*
/proc/loadavg: 2.13 2.11 2.08 3/182 17714
/proc/meminfo: memFree=31603544/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36120 memory=12108 CPUtime=0.24 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 2169 0 0 0 24 0 0 0 20 0 1 0 60566290 36986880 3027 18446744073709551615 4194304 5972588 140724104827440 140724104824088 5099648 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9030 3027 843 435 0 2393 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 36120 KiB
Current children cumulated memory: 12108 KiB
[startup+0.700271 s]
/proc/loadavg: 2.13 2.11 2.08 3/182 17714
/proc/meminfo: memFree=31603252/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36120 memory=12108 CPUtime=0.62 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 2187 0 0 0 62 0 0 0 20 0 1 0 60566290 36986880 3027 18446744073709551615 4194304 5972588 140724104827440 140724104824088 4995525 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9030 3027 843 435 0 2393 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 36120 KiB
Current children cumulated memory: 12108 KiB
[startup+1.50027 s]
/proc/loadavg: 2.13 2.11 2.08 3/182 17714
/proc/meminfo: memFree=31603180/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36252 memory=12108 CPUtime=1.42 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 2208 0 0 0 142 0 0 0 20 0 1 0 60566290 37122048 3027 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4995525 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9063 3027 843 435 0 2426 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 36252 KiB
Current children cumulated memory: 12108 KiB
[startup+3.10873 s]
/proc/loadavg: 2.13 2.11 2.08 3/182 17714
/proc/meminfo: memFree=31603364/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36252 memory=12300 CPUtime=3.03 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 2772 0 0 0 303 0 0 0 20 0 1 0 60566290 37122048 3075 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4995517 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9063 3075 843 435 0 2426 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 36252 KiB
Current children cumulated memory: 12300 KiB
[startup+6.30027 s]
/proc/loadavg: 2.12 2.11 2.08 3/182 17714
/proc/meminfo: memFree=31603380/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36252 memory=12324 CPUtime=6.22 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 3396 0 0 0 622 0 0 0 20 0 1 0 60566290 37122048 3081 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5240320 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9063 3081 843 435 0 2426 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 36252 KiB
Current children cumulated memory: 12324 KiB
[startup+12.7003 s]
/proc/loadavg: 2.11 2.11 2.08 3/182 17714
/proc/meminfo: memFree=31603380/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36388 memory=12392 CPUtime=12.62 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 4037 0 0 0 1262 0 0 0 20 0 1 0 60566290 37261312 3098 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5321384 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9097 3098 843 435 0 2460 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12392 KiB
[startup+25.5003 s]
/proc/loadavg: 2.08 2.10 2.08 3/182 17714
/proc/meminfo: memFree=31603504/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36388 memory=12424 CPUtime=25.42 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 5169 0 0 0 2542 0 0 0 20 0 1 0 60566290 37261312 3106 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4913533 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9097 3106 843 435 0 2460 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12424 KiB
[startup+51.1087 s]
/proc/loadavg: 2.06 2.10 2.08 3/182 17714
/proc/meminfo: memFree=31603628/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36388 memory=12444 CPUtime=51.02 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 5883 0 0 0 5102 0 0 0 20 0 1 0 60566290 37261312 3111 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5338169 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9097 3111 843 435 0 2460 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12444 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/181 17716
/proc/meminfo: memFree=31603116/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36388 memory=12452 CPUtime=102.2 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 6295 0 0 0 10220 0 0 0 20 0 1 0 60566290 37261312 3113 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5328515 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9097 3113 843 435 0 2460 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12452 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/184 17732
/proc/meminfo: memFree=31599816/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36388 memory=12468 CPUtime=162.2 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 6689 0 0 0 16219 1 0 0 20 0 1 0 60566290 37261312 3117 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9097 3117 843 435 0 2460 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12468 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/184 17734
/proc/meminfo: memFree=31600216/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36388 memory=12484 CPUtime=222.18 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 7071 0 0 0 22217 1 0 0 20 0 1 0 60566290 37261312 3121 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5251084 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9097 3121 843 435 0 2460 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12484 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 17737
/proc/meminfo: memFree=31602732/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36388 memory=12500 CPUtime=282.17 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 7460 0 0 0 28216 1 0 0 20 0 1 0 60566290 37261312 3125 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4995539 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9097 3125 843 435 0 2460 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12500 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 17739
/proc/meminfo: memFree=31602484/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36388 memory=12524 CPUtime=342.16 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 7842 0 0 0 34215 1 0 0 20 0 1 0 60566290 37261312 3131 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4995530 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9097 3131 843 435 0 2460 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12524 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 17744
/proc/meminfo: memFree=31602840/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36388 memory=12524 CPUtime=402.15 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 8222 0 0 0 40214 1 0 0 20 0 1 0 60566290 37261312 3131 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4913632 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9097 3131 843 435 0 2460 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12524 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/183 17746
/proc/meminfo: memFree=31602732/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36388 memory=12528 CPUtime=462.14 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 8598 0 0 0 46213 1 0 0 20 0 1 0 60566290 37261312 3132 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5273261 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9097 3132 843 435 0 2460 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 36388 KiB
Current children cumulated memory: 12528 KiB
################
# More data... #
################
/proc/17713/statm: 9130 3169 843 435 0 2493 0
Current children cumulated CPU time: 1722.04 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12676 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 17964
/proc/meminfo: memFree=31593960/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12676 CPUtime=1782.04 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 15637 0 0 0 178203 1 0 0 20 0 1 0 60566290 37396480 3169 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5320791 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3169 843 435 0 2493 0
Current children cumulated CPU time: 1782.04 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12676 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 17966
/proc/meminfo: memFree=31595500/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12692 CPUtime=1842.04 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 15988 0 0 0 184203 1 0 0 20 0 1 0 60566290 37396480 3173 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4995668 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3173 843 435 0 2493 0
Current children cumulated CPU time: 1842.04 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12692 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 17969
/proc/meminfo: memFree=31593872/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12692 CPUtime=1902.04 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 16244 0 0 0 190203 1 0 0 20 0 1 0 60566290 37396480 3173 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5099616 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3173 843 435 0 2493 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12692 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 17985
/proc/meminfo: memFree=31590432/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12692 CPUtime=1962.03 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 16505 0 0 0 196202 1 0 0 20 0 1 0 60566290 37396480 3173 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4995502 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3173 843 435 0 2493 0
Current children cumulated CPU time: 1962.03 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12692 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 17987
/proc/meminfo: memFree=31589912/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12692 CPUtime=2022.03 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 16759 0 0 0 202202 1 0 0 20 0 1 0 60566290 37396480 3173 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4995549 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3173 843 435 0 2493 0
Current children cumulated CPU time: 2022.03 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12692 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 17989
/proc/meminfo: memFree=31593400/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12716 CPUtime=2082.03 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 17153 0 0 0 208202 1 0 0 20 0 1 0 60566290 37396480 3179 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5338181 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3179 843 435 0 2493 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12716 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 17991
/proc/meminfo: memFree=31592780/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12716 CPUtime=2142.03 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 17395 0 0 0 214202 1 0 0 20 0 1 0 60566290 37396480 3179 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4913632 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3179 843 435 0 2493 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12716 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 17993
/proc/meminfo: memFree=31593404/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12716 CPUtime=2202.02 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 17678 0 0 0 220201 1 0 0 20 0 1 0 60566290 37396480 3179 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5312315 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3179 843 435 0 2493 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12716 KiB
[startup+2262.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 17995
/proc/meminfo: memFree=31593224/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12740 CPUtime=2262.02 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 18081 0 0 0 226201 1 0 0 20 0 1 0 60566290 37396480 3185 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5094219 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3185 843 435 0 2493 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12740 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 17997
/proc/meminfo: memFree=31593844/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12740 CPUtime=2322.02 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 18358 0 0 0 232201 1 0 0 20 0 1 0 60566290 37396480 3185 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5328722 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3185 843 435 0 2493 0
Current children cumulated CPU time: 2322.02 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12740 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 17999
/proc/meminfo: memFree=31592976/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12740 CPUtime=2382.02 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 18627 0 0 0 238201 1 0 0 20 0 1 0 60566290 37396480 3185 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5323648 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3185 843 435 0 2493 0
Current children cumulated CPU time: 2382.02 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12740 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18001
/proc/meminfo: memFree=31592040/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12740 CPUtime=2442.01 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 18891 0 0 0 244200 1 0 0 20 0 1 0 60566290 37396480 3185 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5251061 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3185 843 435 0 2493 0
Current children cumulated CPU time: 2442.01 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12740 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18003
/proc/meminfo: memFree=31591668/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12764 CPUtime=2502.01 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 19275 0 0 0 250200 1 0 0 20 0 1 0 60566290 37396480 3191 18446744073709551615 4194304 5972588 140724104827440 140724104824744 4995521 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3191 843 435 0 2493 0
Current children cumulated CPU time: 2502.01 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12764 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 18003
/proc/meminfo: memFree=31591668/32770624 swapFree=67105588/67108860
[pid=17713] ppid=17710 vsize=36520 memory=12764 CPUtime=2519.72 cores=1,3,5,7
/proc/17713/stat : 17713 (cosoco) R 17710 17713 12560 0 -1 4202496 19532 0 0 0 251971 1 0 0 20 0 1 0 60566290 37396480 3191 18446744073709551615 4194304 5972588 140724104827440 140724104824744 5099616 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 39010304 140724104835524 140724104835624 140724104835624 140724104839118 0
/proc/17713/statm: 9130 3191 843 435 0 2493 0
Current children cumulated CPU time: 2519.72 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 12764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 17713 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.72 s, system=0.013998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.73
CPU user time (s): 2519.72
CPU system time (s): 0.013998
CPU usage (%): 99.9889
Max. virtual memory (cumulated for all children) (KiB): 36520
Max. memory (cumulated for all children) (KiB): 12764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.72
system time used= 0.013998
maximum resident set size= 12832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19583
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= 7
involuntary context switches= 1071
# summary of solver processes directly reported to runsolver:
# pid: 17713
# total CPU time (s): 2519.73
# total CPU user time (s): 2519.72
# total CPU system time (s): 0.013998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.6835 second user time and 15.2426 second system time
The end
Begin job on node126 at 2017-08-13 02:07:47 IDJOB=4265997 IDBENCH=134493 IDSOLVER=2655 FILE ID=node126/4265997-1502583708 RUNJOBID= node126-1502565162-12624 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s13/Blackhole-13-3-01.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265997-1502583708/watcher-4265997-1502583708 -o /tmp/evaluation-result-4265997-1502583708/solver-4265997-1502583708 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12624 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265997-1502583708.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8a560dffd54b0877593a0147eb9ff923 RANDOM SEED=106103226 node126.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.81 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.81 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.81 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.81 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: 31611872 kB MemAvailable: 31953688 kB Buffers: 234596 kB Cached: 386832 kB SwapCached: 524 kB Active: 559868 kB Inactive: 139084 kB Active(anon): 24720 kB Inactive(anon): 86236 kB Active(file): 535148 kB Inactive(file): 52848 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 2408 kB Writeback: 4 kB AnonPages: 77108 kB Mapped: 46552 kB Shmem: 33440 kB Slab: 165212 kB SReclaimable: 139308 kB SUnreclaim: 25904 kB KernelStack: 3200 kB PageTables: 4840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 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 node126 at 2017-08-13 02:49:47