Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco-sat 1.1 | ? (TO) | 2400.02 | 2400.6 |
Name | ColouredQueens/ColouredQueens-m1-s1/ ColouredQueens-10.xml |
MD5SUM | dd9b438f7b2aa476e711f04952c9024a |
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 | 100 |
Number of constraints | 54 |
Number of domains | 1 |
Minimum domain size | 10 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":10,"count":100}] |
Minimum variable degree | 3 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":96}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":22}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":54}] |
Optimization problem | NO |
Type of objective |
0.00/0.02 c SAT : Variables: 1000 -- Clauses: 4600 0.00/0.02 c root propagations : 0 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c This is cosoco 1.0 -- 0.00/0.02 c 0.00/0.02 c ========================================[ Problem Statistics ]=========================================== 0.00/0.02 c | 0.00/0.02 c | Parse time : 0.01 s 0.00/0.02 c | 0.00/0.02 c | Variables: 100 0.00/0.02 c | Domain Sizes: 10..10 0.00/0.02 c | 0.00/0.02 c | Constraints: 54 0.00/0.02 c | Arity: 2..10 -- Binary: 4 -- Ternary: 4 0.00/0.02 c | 0.00/0.02 c | Types: 0.00/0.02 c | All Different: 54 0.00/0.02 c | 0.00/0.02 c ========================================================================================================= 0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.03 c 10 83 2212 2309 0 6 38 47 39 0.00/0.03 c 20 143 4289 4686 0 9 36 42 36 0.00/0.04 c 30 202 6386 7192 0 13 31 39 33 0.00/0.04 c 40 275 9300 10964 0 18 30 41 33 0.00/0.05 c 50 338 11581 13576 0 22 29 39 32 0.00/0.05 c 60 403 13459 15976 0 27 36 45 36 0.00/0.06 c 70 471 15486 18270 0 30 36 46 36 0.00/0.06 c 80 528 17080 20058 0 36 34 44 35 0.00/0.07 c 90 591 19320 22627 0 38 35 44 35 0.00/0.07 c 100 649 21259 24835 0 43 30 41 32 0.00/0.07 c 101 679 21861 25184 0 44 30 30 15 0.00/0.08 c 110 735 23739 27319 0 46 37 43 35 0.00/0.08 c 120 807 26196 30264 0 50 36 42 34 0.00/0.08 c 130 877 28297 32936 0 52 42 47 40 0.00/0.09 c 140 946 30574 35793 0 58 36 46 36 0.00/0.09 c 150 1007 32501 38702 0 59 34 41 33 0.08/0.10 c 160 1093 35085 42339 0 64 33 42 34 0.08/0.10 c 170 1153 37635 45125 0 71 33 40 32 0.08/0.11 c 180 1211 39805 47605 0 74 21 44 33 0.08/0.11 c 190 1274 41714 49779 0 76 42 47 40 0.08/0.11 c 200 1340 43591 52093 0 81 28 43 33 0.08/0.12 c 210 1398 45207 53658 0 84 37 39 34 0.08/0.12 c 211 1437 45992 54139 0 85 39 39 19 0.08/0.12 c 220 1501 47537 56092 0 92 31 46 35 0.08/0.12 c 230 1561 49705 58927 0 94 36 44 37 0.08/0.13 c 240 1622 51754 61363 0 101 34 43 34 0.08/0.13 c 250 1700 54390 63846 0 106 31 42 33 0.08/0.14 c 260 1754 56082 65426 0 114 18 43 33 0.08/0.14 c 270 1814 58622 68988 0 116 33 40 32 0.08/0.14 c 280 1866 60445 71052 0 120 29 38 30 0.08/0.15 c 290 1954 63923 74974 0 123 34 43 35 0.08/0.15 c 300 2034 66585 78452 0 127 35 43 34 0.08/0.16 c 310 2117 68963 81377 0 130 35 46 35 0.08/0.16 c 320 2192 71709 84133 0 135 32 42 35 0.08/0.17 c 330 2252 74178 86712 0 139 29 38 31 0.08/0.17 c 332 2292 75061 87363 0 141 37 39 25 0.08/0.17 c 340 2345 77028 89355 0 144 32 37 31 0.08/0.17 c 350 2418 79509 92022 0 147 36 43 35 0.08/0.18 c 360 2483 81743 94465 0 150 29 40 32 0.08/0.18 c 370 2570 84797 97790 0 157 36 45 37 0.08/0.18 c 380 2626 86615 99984 0 161 27 39 32 0.08/0.19 c 390 2712 88766 102270 0 166 35 49 38 0.08/0.19 c 400 2779 91190 105097 0 171 21 38 31 0.08/0.19 c 410 2830 92810 106930 0 172 31 37 31 0.08/0.20 c 420 2879 94313 108878 0 176 35 40 34 0.18/0.20 c 430 2932 96406 112221 0 179 32 38 31 0.18/0.20 c 440 2987 98417 114541 0 182 33 39 33 0.18/0.20 c 450 3054 100798 117190 0 184 33 41 34 0.18/0.21 c 460 3106 102493 119156 0 192 32 41 33 0.18/0.21 c 465 3153 103839 120497 0 194 33 37 29 0.18/0.21 c 470 3198 105504 122465 0 197 31 38 29 0.18/0.21 c 480 3258 107231 124869 0 202 33 38 32 0.18/0.22 c 490 3326 109389 127349 0 204 34 46 38 0.18/0.22 c 500 3393 111731 129939 0 210 32 40 33 0.18/0.22 c 510 3454 113840 132194 0 218 29 39 31 0.18/0.22 c 520 3520 115518 133870 0 226 29 46 37 0.18/0.23 c 530 3578 117240 135702 0 228 33 43 33 0.18/0.23 c 540 3658 119837 138710 0 230 32 43 34 0.18/0.23 c 550 3717 121993 141078 0 232 36 45 37 0.18/0.23 c 560 3775 123744 143431 0 237 39 44 38 0.18/0.24 c 570 3842 125750 145475 0 240 30 40 33 0.18/0.24 c 580 3897 127033 146689 0 245 40 44 37 0.18/0.24 c 590 3953 128653 148593 0 248 35 37 32 0.18/0.24 c 600 4017 131347 151809 0 254 36 41 35 0.18/0.25 c 610 4106 133884 154850 0 256 34 47 34 0.18/0.25 c 611 4138 134625 155371 0 257 32 32 16 0.18/0.25 c 620 4199 136253 157172 0 262 30 44 35 0.18/0.25 c 630 4258 138391 159415 0 269 31 43 35 0.18/0.26 c 640 4324 140910 162984 0 272 39 46 38 0.18/0.26 c 650 4393 144199 167452 0 276 32 41 34 0.18/0.26 c 660 4457 146189 169743 0 279 35 46 39 0.18/0.27 c 670 4516 148576 172437 0 285 31 40 31 0.18/0.27 c 680 4571 150542 174609 0 286 34 36 31 0.18/0.27 c 690 4632 153139 177884 0 288 29 37 29 0.18/0.27 c 700 4697 155582 180715 0 295 29 43 32 0.18/0.28 c 710 4772 158167 183414 0 300 35 46 36 0.18/0.28 c 720 4852 160372 186015 0 303 32 41 34 0.18/0.28 c 730 4908 162509 189038 0 307 31 44 35 0.18/0.29 c 740 4969 164307 191427 0 309 32 38 31 0.18/0.29 c 750 5028 166153 193501 0 315 31 40 33 0.18/0.29 c 760 5093 168408 195975 0 318 38 47 38 0.18/0.29 c 770 5160 170684 198731 0 323 32 40 33 0.18/0.29 c 771 5196 171387 199216 0 324 36 36 18 0.28/0.30 c 780 5256 173173 201298 0 330 36 48 36 0.28/0.30 c 790 5335 175633 204555 0 332 35 47 36 0.28/0.30 c 800 5397 177702 206976 0 334 34 41 35 0.28/0.30 c 810 5477 179375 208749 0 342 35 48 39 0.28/0.31 c 820 5547 181332 211013 0 347 41 49 40 0.28/0.31 c 830 5615 183172 213349 0 352 37 47 38 0.28/0.31 c 840 5676 184863 215463 0 356 38 43 36 0.28/0.31 c 850 5735 186619 217488 0 358 32 42 35 0.28/0.32 c 860 5803 189103 220762 0 363 35 45 37 0.28/0.32 c 870 5877 191551 223759 0 366 37 42 36 0.28/0.32 c 880 5929 193177 225892 0 374 35 40 34 0.28/0.33 c 890 5990 195086 228284 0 377 33 42 34 0.28/0.33 c 900 6055 197165 230854 0 384 37 46 37 0.28/0.33 c 910 6120 199406 233233 0 388 37 41 35 0.28/0.33 c 920 6178 201139 235228 0 394 32 39 33 0.28/0.34 c 930 6237 203133 237446 0 400 33 45 36 0.28/0.34 c 940 6314 205459 240542 0 405 35 48 36 0.28/0.34 c 947 6368 206987 242443 0 409 35 43 34 0.28/0.34 c 950 6410 207759 243008 0 412 37 40 29 0.28/0.34 c 960 6471 209781 245725 0 415 37 43 36 0.28/0.35 c 970 6537 211516 247709 0 423 38 50 40 0.28/0.35 c 980 6606 213450 249936 0 426 35 47 37 0.28/0.35 c 990 6701 216600 254055 0 433 34 51 39 0.28/0.36 c 1000 6759 219406 257062 0 437 30 38 31 0.28/0.36 c 1010 6833 221476 259804 0 442 39 48 40 0.28/0.36 c 1020 6899 224546 263185 0 444 34 40 33 0.28/0.37 c 1030 6962 226455 265194 0 449 37 41 35 0.28/0.37 c 1040 7023 228179 267156 0 458 34 42 34 0.28/0.37 c 1050 7104 230353 269727 0 462 36 46 36 0.28/0.37 c 1060 7161 231973 271798 0 465 29 35 29 0.28/0.37 c 1070 7228 233725 273643 0 472 38 49 39 0.28/0.38 c 1080 7287 235955 276233 0 473 33 42 35 0.28/0.38 c 1090 7351 237665 278160 0 477 32 45 35 0.28/0.38 c 1100 7414 239683 280919 0 482 31 44 35 0.28/0.38 c 1110 7482 241142 282761 0 485 36 45 36 0.28/0.39 c 1120 7545 243084 284896 0 491 32 38 32 0.28/0.39 c 1130 7618 245628 287848 0 493 33 41 33 0.28/0.39 c 1140 7688 247952 290369 0 499 35 42 34 0.28/0.39 c 1141 7727 248845 291095 0 500 39 39 19 0.28/0.39 c 1150 7779 250074 292279 0 504 36 44 37 0.38/0.40 c 1160 7837 251582 294006 0 511 29 45 34 0.38/0.40 c 1170 7898 253299 296263 0 516 30 42 34 0.38/0.40 c 1180 7956 254723 297776 0 524 40 46 39 0.38/0.40 c 1190 8009 256088 299131 0 526 36 41 35 0.38/0.41 c 1200 8063 257958 301836 0 528 33 41 35 0.38/0.41 c 1210 8124 259751 303745 0 535 32 40 32 0.38/0.41 c 1220 8193 262549 306851 0 540 33 42 35 0.38/0.41 c 1230 8252 264357 308647 0 550 32 42 34 0.38/0.42 c 1240 8331 267216 312036 0 552 34 45 36 0.38/0.42 c 1250 8391 269204 314690 0 554 33 43 35 0.38/0.42 c 1260 8462 270881 317008 0 558 36 52 42 0.38/0.42 c 1270 8532 272991 319637 0 563 36 47 37 0.38/0.43 c 1280 8589 274701 321447 0 566 34 41 34 0.38/0.43 c 1290 8648 276290 323247 0 571 34 43 35 0.38/0.43 c 1300 8707 278453 326107 0 578 28 42 33 0.38/0.43 c 1310 8781 280442 328250 0 582 39 44 37 0.38/0.44 c 1320 8840 282284 330341 0 590 35 46 37 0.38/0.44 c 1330 8907 284850 333499 0 594 34 43 35 0.38/0.44 c 1340 8964 286824 335676 0 602 32 40 31 0.38/0.44 c 1350 9017 288870 338189 0 605 33 37 32 0.38/0.45 c 1352 9054 289623 338641 0 607 34 36 23 0.38/0.45 c 1360 9103 291430 340864 0 609 32 38 30 0.38/0.45 c 1370 9184 293730 343426 0 613 38 45 37 0.38/0.45 c 1380 9244 296439 346982 0 620 33 41 34 0.38/0.46 c 1390 9301 297884 348264 0 630 37 47 38 0.38/0.46 c 1400 9360 300058 350633 0 634 34 45 34 0.38/0.46 c 1410 9425 302242 352782 0 637 32 43 32 0.38/0.46 c 1420 9487 304244 355166 0 640 35 42 35 0.38/0.47 c 1430 9564 306583 357756 0 643 36 42 35 0.38/0.47 c 1440 9625 308689 360278 0 646 36 43 36 0.38/0.47 c 1450 9691 310235 362153 0 651 34 51 40 0.38/0.47 c 1460 9763 312170 364174 0 657 31 43 36 0.38/0.48 c 1470 9816 313440 365639 0 666 36 43 35 0.38/0.48 c 1480 9873 315131 367838 0 670 35 40 35 0.38/0.48 c 1490 9943 318233 371405 0 673 30 41 33 0.38/0.49 c 1500 10025 320776 374153 0 678 30 44 35 0.38/0.49 c 1510 10086 322983 377052 0 680 32 38 32 0.38/0.49 c 1520 10154 325949 380548 0 684 32 41 32 0.38/0.49 c 1530 10223 327834 383070 0 686 41 48 41 0.48/0.50 c 1540 10287 330047 385770 0 687 35 43 35 0.48/0.50 c 1550 10352 332213 388577 0 690 34 41 35 0.48/0.50 c 1560 10422 334457 391883 0 693 44 46 40 0.48/0.51 c 1570 10507 337391 395208 0 697 31 45 34 0.48/0.51 c 1580 10582 340406 398577 0 699 33 44 35 0.48/0.51 c 1585 10641 342163 400145 0 701 37 42 32 0.48/0.52 c 1590 10691 343687 401640 0 703 35 42 31 0.48/0.52 c 1600 10745 345708 403766 0 712 34 41 33 0.48/0.52 c 1610 10815 347845 406558 0 715 35 44 36 0.48/0.52 c 1620 10865 349516 408591 0 724 33 39 33 0.48/0.53 c 1630 10943 352624 412351 0 727 30 41 31 0.48/0.53 c 1640 11014 354633 414610 0 730 39 45 38 0.48/0.53 c 1650 11074 356373 416557 0 734 33 44 36 0.48/0.53 c 1660 11130 358075 418295 0 737 34 40 34 0.48/0.54 c 1670 11182 359621 420131 0 742 24 43 31 0.48/0.54 c 1680 11251 361539 422594 0 748 37 45 38 0.48/0.54 c 1690 11318 363818 425276 0 751 37 42 36 0.48/0.54 c 1700 11381 365893 427646 0 756 36 44 37 0.48/0.55 c 1710 11456 367713 429776 0 765 35 49 39 0.48/0.55 c 1720 11519 370897 433485 0 768 34 38 33 0.48/0.55 c 1730 11584 373267 436301 0 769 30 39 33 0.48/0.56 c 1740 11641 375062 438138 0 776 32 42 33 0.48/0.56 c 1750 11706 377703 441148 0 780 32 38 32 0.48/0.56 c 1760 11774 380074 443968 0 783 33 41 32 0.48/0.56 c 1770 11832 381921 446460 0 793 37 44 36 0.48/0.57 c 1780 11895 383053 448026 0 797 43 48 42 0.48/0.57 c 1790 11956 385057 450448 0 802 30 43 34 0.48/0.57 c 1800 12013 386669 452441 0 803 32 35 31 0.48/0.57 c 1810 12075 388544 454602 0 806 35 47 37 0.48/0.58 c 1820 12130 390230 456575 0 812 33 43 33 0.48/0.58 c 1830 12195 392191 458552 0 816 33 43 35 0.48/0.58 c 1840 12262 394526 460990 0 821 32 40 33 0.48/0.58 c 1841 12295 395185 461371 0 822 33 33 16 0.48/0.58 c 1850 12356 397204 463578 0 828 35 40 33 0.48/0.59 c 1860 12413 398476 464970 0 833 36 45 38 0.48/0.59 c 1870 12486 401103 467705 0 835 34 43 35 0.48/0.59 c 1880 12551 403141 469966 0 840 32 46 35 0.48/0.59 c 1890 12611 404781 471931 0 843 39 48 39 0.48/0.60 c 1900 12668 405864 473051 0 848 32 46 37 0.58/0.60 c 1910 12731 407683 475056 0 852 33 41 32 0.58/0.60 c 1920 12804 410505 478426 0 856 34 45 35 0.58/0.60 c 1930 12869 412794 480956 0 862 27 41 31 0.58/0.61 c 1940 12926 415080 483587 0 869 30 40 31 0.58/0.61 c 1950 12984 416239 485003 0 871 36 36 32 0.58/0.61 c 1960 13057 418666 487938 0 875 29 45 33 0.58/0.61 c 1970 13117 420373 489594 0 877 30 36 29 0.58/0.62 c 1980 13175 422118 491637 0 881 36 41 35 0.58/0.62 c 1990 13230 423221 492809 0 886 38 41 35 0.58/0.62 c 2000 13301 425598 495829 0 889 32 46 36 0.58/0.62 c 2010 13359 427265 497214 0 892 29 35 28 0.58/0.62 c 2020 13425 429240 499159 0 899 38 46 39 0.58/0.63 c 2030 13478 431019 500983 0 903 33 38 32 0.58/0.63 c 2040 13537 432646 503218 0 907 35 45 37 0.58/0.63 c 2050 13598 434167 504774 0 914 37 45 36 0.58/0.63 c 2060 13663 436496 507284 0 917 29 45 32 0.58/0.64 c 2070 13729 438795 510309 0 922 28 41 34 0.58/0.64 c 2080 13788 440919 512664 0 931 33 43 34 0.58/0.64 c 2090 13854 442583 514419 0 940 36 48 38 0.58/0.65 c 2100 13950 445920 517998 0 943 33 45 35 0.58/0.65 c 2110 14015 448108 520350 0 946 39 44 37 0.58/0.65 c 2120 14084 450693 523792 0 951 36 42 35 0.58/0.65 c 2122 14126 451540 524488 0 952 39 41 26 0.58/0.65 c 2130 14183 453029 526057 0 960 36 43 35 0.58/0.66 c 2140 14243 454707 527880 0 964 37 42 36 0.58/0.66 c 2150 14319 457193 531010 0 969 35 43 36 0.58/0.66 c 2160 14375 458888 532563 0 971 34 42 33 0.58/0.66 c 2170 14438 460895 534651 0 973 33 40 33 0.58/0.67 c 2180 14506 463043 537395 0 980 31 43 35 0.58/0.67 c 2190 14566 464566 539283 0 982 39 45 38 0.58/0.67 c 2200 14639 466910 541922 0 987 31 46 36 0.58/0.68 c 2210 14694 468943 544224 0 990 35 38 33 0.58/0.68 c 2220 14749 471473 547642 0 991 34 37 32 0.58/0.68 c 2230 14811 472760 549166 0 994 41 46 39 0.58/0.68 c 2240 14868 474774 551499 0 995 34 42 33 0.58/0.69 c 2250 14944 477271 554467 0 997 35 46 35 0.58/0.69 c 2260 15011 479181 556381 0 999 39 44 36 0.58/0.69 c 2270 15073 481317 558725 0 1004 33 40 32 0.58/0.69 c 2280 15145 483479 561102 0 1010 35 47 38 0.68/0.70 c 2290 15206 485406 563272 0 1015 37 44 36 0.68/0.70 c 2300 15273 487066 565084 0 1022 33 49 37 0.68/0.70 c 2310 15349 489291 567296 0 1027 26 47 36 0.68/0.70 c 2320 15414 491620 570117 0 1033 35 46 37 0.68/0.71 c 2330 15502 494913 574184 0 1035 35 45 37 0.68/0.71 c 2340 15563 496716 576064 0 1038 34 40 34 0.68/0.71 c 2350 15617 498225 577647 0 1042 38 45 37 0.68/0.71 c 2360 15673 499788 580121 0 1043 37 41 35 0.68/0.72 c 2370 15736 501592 582204 0 1053 32 46 35 0.68/0.72 c 2380 15814 504694 585891 0 1055 35 45 33 0.68/0.72 c 2390 15875 507038 588568 0 1057 35 40 33 0.68/0.73 c 2400 15937 509438 591819 0 1060 34 40 33 0.68/0.73 c 2410 16000 511070 593580 0 1064 37 48 38 0.68/0.73 c 2420 16060 512913 595649 0 1068 39 47 38 0.68/0.73 c 2430 16120 515234 598604 0 1076 32 40 32 0.68/0.73 c 2431 16149 515873 599036 0 1077 29 29 14 0.68/0.74 c 2440 16207 517353 600621 0 1080 36 43 34 0.68/0.74 c 2450 16278 519643 603211 0 1085 37 47 36 0.68/0.74 c 2460 16334 521426 605031 0 1091 34 40 33 0.68/0.74 c 2470 16386 522751 606546 0 1094 32 34 30 0.68/0.75 c 2480 16452 524965 609063 0 1096 35 43 34 0.68/0.75 c 2490 16518 526531 611513 0 1098 40 48 41 0.68/0.75 c 2500 16586 528443 613771 0 1105 38 47 38 0.68/0.75 c 2510 16640 530007 615475 0 1109 32 42 35 0.68/0.76 c 2520 16715 532603 618743 0 1113 39 47 39 0.68/0.76 c 2530 16790 534524 620663 0 1116 35 49 38 0.68/0.76 c 2540 16859 536913 623740 0 1120 40 49 40 0.68/0.76 c 2550 16931 539470 626613 0 1124 29 42 34 0.68/0.77 c 2560 16986 541210 628912 0 1128 34 43 36 0.68/0.77 c 2570 17050 543498 631718 0 1135 37 45 37 0.68/0.77 c 2580 17124 545683 634659 0 1139 38 45 37 0.68/0.78 c 2590 17185 547940 637553 0 1142 36 44 35 0.68/0.78 c 2600 17259 550341 640170 0 1145 38 43 36 0.68/0.78 c 2610 17325 551840 641790 0 1152 30 44 33 0.68/0.78 c 2620 17383 553104 642968 0 1161 39 46 39 0.68/0.79 c 2630 17453 555138 645101 0 1168 32 43 34 0.68/0.79 c 2640 17513 556726 647552 0 1173 35 42 37 0.68/0.79 c 2650 17581 558457 649381 0 1181 37 46 38 0.68/0.79 c 2660 17655 560686 651795 0 1183 36 44 36 0.68/0.79 c 2670 17718 562381 653825 0 1188 39 45 38 0.78/0.80 c 2680 17791 564296 655959 0 1192 37 42 36 0.78/0.80 c 2690 17851 565962 657491 0 1195 33 41 34 0.78/0.80 c 2700 17922 567760 659348 0 1200 35 44 35 0.78/0.80 c 2710 17984 570364 662088 0 1205 33 41 33 0.78/0.81 c 2720 18060 573413 665575 0 1212 40 46 38 0.78/0.81 c 2730 18124 575421 668109 0 1213 37 43 36 0.78/0.81 c 2740 18196 578234 672073 0 1217 32 42 33 0.78/0.82 c 2750 18252 580078 673896 0 1225 29 41 32 0.78/0.82 c 2760 18332 583275 678251 0 1228 39 48 38 0.78/0.82 c 2770 18395 585222 680516 0 1232 34 43 35 0.78/0.82 c 2771 18434 585780 680836 0 1233 39 39 19 0.78/0.83 c 2780 18494 588077 683626 0 1235 34 42 33 0.78/0.83 c 2790 18558 589703 685831 0 1237 39 46 38 0.78/0.83 c 2800 18627 591422 687989 0 1240 32 44 37 0.78/0.83 c 2810 18695 593756 690816 0 1243 33 42 34 0.78/0.84 c 2820 18767 595672 692840 0 1249 37 47 37 0.78/0.84 c 2830 18841 597834 695589 0 1254 38 47 38 0.78/0.84 c 2840 18912 600216 698360 0 1257 36 45 37 0.78/0.84 c 2850 18968 601812 700247 0 1267 35 42 35 0.78/0.85 c 2860 19025 603642 702198 0 1273 30 40 32 0.78/0.85 c 2870 19104 606207 705257 0 1279 33 45 36 0.78/0.85 c 2880 19158 607698 706740 0 1281 35 40 34 0.78/0.86 c 2890 19230 610208 709322 0 1285 36 45 37 0.78/0.86 c 2900 19291 611984 711470 0 1288 36 42 36 0.78/0.86 c 2910 19361 614582 714423 0 1292 31 47 32 0.78/0.86 c 2920 19437 616948 717196 0 1299 34 44 33 0.78/0.87 c 2930 19496 618453 719052 0 1307 27 47 36 0.78/0.87 c 2940 19561 620774 721785 0 1314 30 38 31 0.78/0.87 c 2950 19623 622684 724783 0 1321 36 45 36 0.78/0.88 c 2960 19708 625815 728248 0 1323 34 46 38 0.78/0.88 c 2970 19780 628348 731699 0 1327 40 47 37 0.78/0.88 c 2980 19836 629947 733245 0 1333 25 42 34 0.78/0.88 c 2990 19901 632339 736088 0 1337 34 41 35 0.78/0.89 c 3000 19966 636170 740985 0 1343 33 41 33 0.78/0.89 c 3010 20035 638502 743480 0 1347 32 42 35 0.78/0.89 c 3020 20097 640084 745264 0 1356 34 50 38 0.88/0.90 c 3030 20160 641793 747376 0 1362 31 41 34 0.88/0.90 c 3040 20218 643404 749217 0 1369 33 47 38 0.88/0.90 c 3050 20306 646133 752494 0 1372 37 43 36 0.88/0.90 c 3060 20390 648303 755309 0 1381 36 53 41 0.88/0.91 c 3070 20446 650008 756952 0 1387 34 43 35 0.88/0.91 c 3080 20504 651526 758892 0 1392 36 42 36 0.88/0.91 c 3090 20575 654037 761782 0 1394 32 45 36 0.88/0.92 c 3100 20658 656700 764488 0 1397 33 41 34 0.88/0.92 c 3110 20718 658562 766977 0 1404 36 40 35 0.88/0.92 c 3120 20781 660530 769185 0 1406 32 40 32 0.88/0.92 c 3130 20841 662659 771787 0 1412 35 43 36 0.88/0.93 c 3140 20903 664184 773308 0 1422 32 53 41 0.88/0.93 c 3142 20944 664934 773812 0 1424 35 40 25 0.88/0.93 c 3150 21017 666544 775761 0 1426 48 55 45 0.88/0.93 c 3160 21081 668241 777499 0 1431 36 44 36 0.88/0.93 c 3170 21144 669794 779078 0 1435 33 43 36 0.88/0.93 c 3180 21205 671315 780951 0 1437 40 48 41 0.88/0.94 c 3190 21260 673078 782929 0 1444 32 40 32 0.88/0.94 c 3200 21318 674460 784564 0 1449 34 46 38 0.88/0.94 c 3210 21383 676762 786939 0 1454 33 38 32 0.88/0.94 c 3220 21451 679304 790165 0 1459 34 45 37 0.88/0.95 c 3230 21519 681675 792996 0 1460 34 43 34 0.88/0.95 c 3240 21575 683381 795074 0 1464 35 42 36 0.88/0.95 c 3250 21649 685547 798032 0 1469 38 49 38 0.88/0.95 c 3260 21703 687543 800331 0 1473 32 39 31 0.88/0.96 c 3270 21759 689289 802189 0 1474 33 40 33 0.88/0.96 c 3280 21832 690950 803904 0 1479 38 47 39 0.88/0.96 c 3290 21884 692286 805411 0 1485 35 39 33 0.88/0.96 c 3300 21958 694619 808457 0 1488 37 47 38 0.88/0.97 c 3310 22014 696504 810803 0 1490 31 38 31 0.88/0.97 c 3320 22076 698077 812533 0 1491 35 43 36 0.88/0.97 c 3330 22128 699604 814032 0 1497 34 42 34 0.88/0.97 c 3340 22193 701023 815486 0 1501 34 45 37 0.88/0.97 c 3350 22255 702988 818041 0 1508 35 44 37 0.88/0.98 c 3360 22338 705358 820919 0 1513 40 45 37 0.88/0.98 c 3370 22401 707346 823467 0 1515 32 44 37 0.88/0.98 c 3380 22487 709764 826600 0 1522 35 50 37 0.88/0.99 c 3390 22571 712935 831282 0 1524 38 47 38 0.88/0.99 c 3400 22626 714564 833003 0 1532 35 43 35 0.88/0.99 c 3410 22685 716723 835432 0 1534 34 48 39 0.88/0.99 c 3420 22752 719320 838439 0 1536 34 44 35 0.97/1.00 c 3430 22820 721332 840403 0 1539 27 39 29 0.97/1.00 c 3440 22877 722542 841876 0 1548 36 46 38 0.97/1.00 c 3450 22954 725166 845659 0 1552 35 46 37 0.97/1.01 c 3460 23017 727596 848959 0 1559 32 42 34 0.97/1.01 c 3470 23075 729271 850984 0 1566 33 41 34 0.97/1.01 c 3480 23140 731609 853661 0 1571 30 43 36 0.97/1.01 c 3490 23200 733278 855595 0 1576 31 43 35 0.97/1.01 c 3500 23257 734678 857130 0 1579 29 43 36 0.97/1.02 c 3510 23321 737183 860275 0 1583 31 41 32 0.97/1.02 c 3520 23396 739760 863084 0 1587 33 45 34 0.97/1.03 c 3530 23466 742715 866551 0 1588 37 39 34 0.97/1.03 c 3540 23528 744385 868346 0 1592 36 42 35 0.97/1.03 c 3550 23594 746676 870914 0 1595 36 44 36 0.97/1.03 c 3551 23627 747353 871342 0 1596 33 33 16 0.97/1.03 c 3560 23685 749094 872949 0 1604 36 43 35 0.97/1.04 c 3570 23756 751885 876231 0 1608 33 43 33 0.97/1.04 c 3580 23826 754418 878869 0 1615 37 44 36 0.97/1.04 c 3590 23907 756958 881653 0 1620 37 50 40 0.97/1.05 c 3600 23983 759242 884390 0 1625 36 47 37 0.97/1.05 c 3610 24053 761039 886310 0 1630 33 51 41 0.97/1.05 c 3620 24112 763173 888658 0 1634 33 39 33 0.97/1.05 c 3630 24189 765370 890927 0 1635 32 46 37 0.97/1.06 c 3640 24259 767984 894313 0 1637 32 46 36 0.97/1.06 c 3650 24321 769940 896241 0 1646 32 44 34 0.97/1.06 c 3660 24379 771738 897819 0 1650 31 39 31 0.97/1.07 c 3670 24471 775069 902786 0 1653 35 45 38 0.97/1.07 c 3680 24537 777296 905789 0 1657 32 40 32 0.97/1.07 c 3690 24597 779725 908691 0 1660 35 40 34 0.97/1.07 c 3700 24662 781373 910430 0 1663 34 44 35 0.97/1.08 c 3710 24728 783292 912543 0 1665 36 41 35 0.97/1.08 c 3720 24784 784982 914950 0 1671 36 43 36 0.97/1.08 c 3730 24864 788415 919366 0 1673 36 43 36 0.97/1.09 c 3740 24940 791056 922547 0 1674 31 44 34 0.97/1.09 c 3750 25004 793067 924646 0 1681 33 43 33 0.97/1.09 c 3760 25081 795142 927388 0 1684 40 45 39 0.97/1.10 c 3770 25144 797918 930624 0 1688 35 44 35 0.97/1.10 c 3780 25202 799419 932105 0 1690 36 48 36 0.97/1.10 c 3790 25259 801421 934444 0 1695 33 39 32 0.97/1.10 c 3800 25327 804159 937704 0 1697 34 42 35 1.08/1.10 c 3810 25381 805525 939314 0 1701 36 42 35 1.08/1.11 c 3820 25441 806935 940943 0 1703 33 51 40 1.08/1.11 c 3830 25503 808949 943446 0 1707 35 44 35 1.08/1.11 c 3840 25576 810909 946575 0 1712 38 49 39 1.08/1.12 c 3850 25646 813073 949275 0 1717 40 43 38 1.08/1.12 c 3860 25708 814469 951077 0 1720 41 48 40 1.08/1.12 c 3870 25778 816998 954180 0 1722 35 47 37 1.08/1.12 c 3880 25859 819998 957353 0 1726 35 41 35 1.08/1.13 c 3890 25927 822028 959767 0 1732 31 41 33 1.08/1.13 c 3900 25978 824274 962287 0 1737 33 41 32 1.08/1.13 c 3910 26064 827684 966385 0 1742 31 42 32 1.08/1.14 c 3920 26138 829697 968805 0 1744 38 47 39 1.08/1.14 c 3930 26193 831453 970948 0 1750 31 41 35 1.08/1.14 c 3940 26250 833102 972640 0 1752 34 42 35 1.08/1.14 c 3950 26315 835050 974686 0 1756 34 44 34 1.08/1.14 c 3960 26381 836423 976392 0 1762 41 49 42 1.08/1.15 c 3970 26443 838571 978952 0 1767 28 40 33 1.08/1.15 c 3980 26502 840071 980487 0 1775 28 43 34 1.08/1.15 c 3990 26587 842770 983592 0 1779 35 47 37 1.08/1.16 c 4000 26647 844701 985612 0 1781 34 40 33 1.08/1.16 c 4001 26686 845378 986000 0 1782 39 39 19 1.08/1.16 c 4010 26752 848235 989282 0 1785 33 38 31 1.08/1.16 c 4020 26817 850153 991431 0 1789 28 46 35 1.08/1.16 c 4030 26877 851671 993118 0 1793 33 45 36 1.08/1.17 c 4040 26932 853266 995046 0 1796 34 40 34 1.08/1.17 c 4050 26995 854580 996766 0 1799 40 48 41 1.08/1.17 c 4060 27059 856208 998568 0 1801 36 46 37 1.08/1.17 c 4070 27114 858099 1000447 0 1809 33 40 33 1.08/1.17 c 4080 27178 860220 1002821 0 1813 33 42 32 1.08/1.18 c 4090 27233 862315 1005193 0 1818 29 39 31 1.08/1.18 c 4100 27293 864052 1007433 0 1821 37 45 37 1.08/1.18 c 4110 27368 866429 1010238 0 1823 36 45 36 1.08/1.19 c 4120 27429 868122 1012013 0 1827 35 41 33 1.08/1.19 c 4130 27502 870287 1014005 0 1829 31 41 32 1.08/1.19 c 4140 27584 873393 1017429 0 1834 37 43 36 1.08/1.19 c 4150 27651 875642 1020189 0 1839 36 44 37 1.08/1.20 c 4160 27708 877537 1022313 0 1844 35 41 35 1.08/1.20 c 4170 27761 879426 1024302 0 1854 33 42 34 1.08/1.20 c 4180 27838 881853 1027333 0 1859 40 44 38 1.18/1.20 c 4190 27904 883491 1028994 0 1863 34 49 39 1.18/1.21 c 4200 27976 885978 1031997 0 1869 40 43 37 1.18/1.21 c 4210 28040 888040 1034595 0 1876 34 44 34 1.18/1.21 c 4220 28109 890122 1036603 0 1879 35 42 34 1.18/1.22 c 4230 28172 891928 1038978 0 1882 40 44 37 1.18/1.22 c 4240 28229 893650 1040822 0 1888 32 41 32 1.18/1.22 c 4250 28291 894987 1042407 0 1892 25 46 36 1.18/1.22 c 4260 28349 897022 1044920 0 1893 34 40 33 1.18/1.22 c 4270 28401 898413 1046499 0 1897 34 39 33 1.18/1.23 c 4280 28470 900282 1048850 0 1901 35 52 39 1.18/1.23 c 4290 28538 902254 1050679 0 1908 33 45 34 1.18/1.23 c 4300 28599 904442 1053148 0 1913 34 44 36 1.18/1.23 c 4310 28678 906187 1054982 0 1919 24 45 35 1.18/1.24 c 4320 28735 907648 1056751 0 1923 37 46 38 1.18/1.24 c 4330 28805 909474 1058857 0 1928 42 52 42 1.18/1.24 c 4340 28859 910986 1060500 0 1936 34 44 35 1.18/1.24 c 4350 28938 913641 1063371 0 1943 30 43 34 1.18/1.25 c 4360 28996 915351 1065370 0 1949 34 42 35 1.18/1.25 c 4370 29064 916971 1067040 0 1957 35 49 38 1.18/1.25 c 4380 29124 918997 1069730 0 1959 30 44 34 1.18/1.25 c 4390 29187 920631 1071752 0 1964 38 46 37 1.18/1.25 c 4400 29247 922292 1074155 0 1966 37 44 38 1.18/1.26 c 4410 29324 924579 1076526 0 1969 30 44 32 1.18/1.26 c 4420 29402 926317 1078440 0 1972 40 53 45 1.18/1.26 c 4430 29487 929541 1081832 0 1976 31 41 32 1.18/1.27 c 4440 29546 931712 1084518 0 1982 32 39 32 1.18/1.27 c 4450 29611 933473 1086397 0 1984 33 46 33 1.18/1.27 c 4460 29675 935120 1088081 0 1990 34 42 34 1.18/1.27 c 4470 29739 936963 1090225 0 1995 34 45 36 1.18/1.28 c 4480 29811 938722 1092304 0 1999 36 48 39 1.18/1.28 c 4490 29871 940803 1094680 0 2003 35 41 35 1.18/1.28 c 4493 29918 942009 1095808 0 2006 36 41 29 1.18/1.28 c 4500 29973 943231 1096987 0 2013 39 49 39 1.18/1.28 c 4510 30049 945821 1100060 0 2017 37 42 35 1.18/1.29 c 4520 30125 948798 1103218 0 2022 33 44 34 1.18/1.29 c 4530 30183 950886 1105376 0 2025 30 42 33 1.18/1.29 c 4540 30249 953559 1108483 0 2030 36 44 36 1.27/1.30 c 4550 30313 956051 1112037 0 2034 31 40 32 1.27/1.30 c 4560 30368 957896 1114252 0 2041 34 39 32 1.27/1.30 c 4570 30431 959977 1116569 0 2049 33 46 36 1.27/1.30 c 4580 30494 961969 1118965 0 2053 33 38 32 1.27/1.31 c 4590 30573 965276 1122771 0 2057 32 48 34 1.27/1.31 c 4600 30634 967489 1125294 0 2059 35 41 33 1.27/1.31 c 4610 30703 969708 1128345 0 2060 39 47 39 1.27/1.32 c 4620 30767 971768 1130602 0 2070 31 42 33 1.27/1.32 c 4630 30833 973284 1132398 0 2076 36 49 40 1.27/1.32 c 4640 30899 975047 1134622 0 2081 39 48 39 1.27/1.32 c 4650 30963 976767 1136208 0 2085 36 39 33 1.27/1.33 c 4660 31031 978947 1139098 0 2086 40 44 38 1.27/1.33 c 4670 31094 981205 1141732 0 2087 35 46 34 1.27/1.33 c 4680 31166 983894 1144937 0 2091 35 41 35 1.27/1.33 c 4690 31228 985569 1146997 0 2095 36 44 37 1.27/1.34 c 4700 31291 987436 1148998 0 2099 38 45 37 1.27/1.34 c 4710 31364 988653 1150486 0 2104 42 52 42 1.27/1.34 c 4720 31429 991067 1153676 0 2107 32 37 31 1.27/1.34 c 4730 31499 993196 1156139 0 2110 39 48 38 1.27/1.35 c 4740 31574 995720 1158918 0 2115 31 42 32 1.27/1.35 c 4750 31631 997000 1160339 0 2119 37 44 37 1.27/1.35 c 4760 31699 998899 1162506 0 2121 34 41 35 1.27/1.35 c 4770 31764 1000868 1165035 0 2126 36 39 34 1.27/1.36 c 4780 31820 1002907 1167312 0 2132 30 40 31 1.27/1.36 c 4790 31902 1006826 1172649 0 2138 33 43 34 1.27/1.36 c 4800 31958 1008550 1174492 0 2146 32 41 34 1.27/1.37 c 4810 32013 1010446 1176580 0 2152 32 42 32 1.27/1.37 c 4820 32084 1012980 1179752 0 2154 33 44 33 1.27/1.37 c 4830 32148 1014854 1181970 0 2156 33 43 35 1.27/1.37 c 4840 32205 1016387 1183421 0 2157 33 40 32 1.27/1.38 c 4850 32264 1017581 1184737 0 2161 25 45 35 1.27/1.38 c 4860 32321 1019068 1186359 0 2165 36 45 37 1.27/1.38 c 4870 32380 1020971 1188268 0 2173 34 46 34 1.27/1.38 c 4880 32445 1023415 1191550 0 2179 33 46 36 1.27/1.39 c 4890 32504 1025587 1194081 0 2185 34 41 33 1.27/1.39 c 4900 32572 1027653 1196184 0 2188 38 42 35 1.27/1.39 c 4910 32649 1030209 1198989 0 2190 34 42 34 1.27/1.39 c 4920 32717 1032230 1201427 0 2194 30 40 32 1.37/1.40 c 4930 32782 1034571 1204409 0 2199 35 44 37 1.37/1.40 c 4940 32856 1037235 1207440 0 2204 31 44 36 1.37/1.40 c 4950 32915 1039095 1209727 0 2206 39 46 39 1.37/1.41 c 4960 32979 1040827 1211931 0 2211 37 48 38 1.37/1.41 c 4970 33037 1042378 1213788 0 2216 37 45 36 1.37/1.41 c 4980 33112 1044887 1216508 0 2220 31 46 35 1.37/1.41 c 4990 33173 1047018 1218847 0 2225 32 44 35 1.37/1.43 c 5035 33371 1056835 1232561 0 2231 33 44 38 1.47/1.55 c 5631 35517 1143199 1363141 0 2243 30 52 39 1.57/1.66 c 6286 37380 1230808 1496684 0 2246 29 50 37 1.77/1.82 c 7006 39729 1342003 1679866 0 2250 29 53 40 1.87/1.98 c 7798 42307 1457346 1857552 0 2261 30 50 40 2.07/2.16 c 8669 45126 1583383 2045455 0 2266 27 51 39 2.18/2.30 c 9627 47811 1687307 2217301 0 2279 31 51 40 2.37/2.48 c 10680 50637 1817017 2435895 0 2292 31 51 40 2.67/2.74 c 11838 54121 1999856 2696424 0 2307 27 49 38 2.87/2.99 c 13111 58648 2179345 2953977 0 2314 28 53 39 3.17/3.28 c 14511 63033 2390694 3271588 0 2330 30 50 39 3.47/3.58 c 16051 67840 2610073 3610533 0 2334 27 49 36 3.77/3.86 c 17745 72367 2806004 3945239 0 2354 32 58 45 4.07/4.19 c 19608 77821 3048338 4320287 0 2372 25 52 39 4.57/4.65 c 21657 85036 3377654 4776144 0 2376 29 53 39 4.97/5.06 c 23910 91342 3670818 5233437 0 2382 24 53 39 5.48/5.57 c 26388 99919 4034293 5789889 0 2393 27 52 38 6.07/6.16 c 29113 108960 4463390 6436569 0 2406 29 51 38 6.68/6.78 c 32110 118567 4897307 7169209 0 2415 30 56 40 7.37/7.45 c 35406 128439 5381495 7885724 0 2422 27 54 39 8.07/8.13 c 39031 138566 5855797 8618654 0 2437 28 52 40 8.67/8.71 c 43018 148894 6286206 9279220 0 2448 26 52 39 9.27/9.38 c 47403 160023 6768932 10053225 0 2459 28 52 39 10.27/10.33 c 52226 177735 7461432 11051921 0 2476 29 65 40 11.17/11.20 c 57531 192338 8078908 12038121 0 2481 27 56 41 12.18/12.26 c 63366 208903 8838807 13235274 0 2494 30 55 41 13.77/13.81 c 69784 232840 9942556 14821989 0 2499 28 54 39 15.17/15.22 c 76843 254717 10960623 16320990 0 2512 28 51 38 16.58/16.68 c 84607 278792 12033358 17879245 0 2524 25 51 36 18.27/18.32 c 93147 302502 13194080 19677833 0 2543 29 56 42 19.88/19.94 c 102541 330247 14347552 21458602 0 2559 27 58 40 21.77/21.86 c 112874 362475 15744086 23580753 0 2570 27 56 39 23.87/23.96 c 124240 396559 17291897 25903645 0 2578 25 51 37 26.67/26.74 c 136742 443677 19292948 28819494 0 2598 25 57 38 29.68/29.74 c 150494 488143 21434710 31998189 0 2610 24 55 37 32.77/32.85 c 165621 540645 23650900 35228674 0 2623 26 57 39 36.37/36.41 c 182260 593626 26224659 39226708 0 2641 26 55 38 39.87/39.93 c 200562 652133 28721217 43256781 0 2654 26 56 42 43.67/43.73 c 220694 709332 31440118 47539534 0 2670 27 57 39 47.37/47.48 c 242839 772961 34082297 51781913 0 2692 27 56 41 52.66/52.73 c 267198 858463 37870520 57014940 0 2700 25 58 40 57.86/57.97 c 293992 938662 41616500 62808473 0 2719 26 51 37 62.16/62.23 c 323465 1014277 44659392 67648966 0 2732 24 56 41 68.86/68.92 c 355885 1122426 49475290 74619693 0 2744 26 55 38 75.56/75.68 c 391547 1240771 54343399 81606437 0 2758 28 61 40 82.86/82.98 c 430775 1361758 59620511 89384417 0 2768 27 60 42 91.75/91.88 c 473925 1501927 66011477 98522264 0 2778 26 57 39 100.55/100.64 c 521390 1638107 72225775 107908569 0 2787 26 60 40 110.65/110.75 c 573601 1796933 79430102 119109874 0 2808 25 58 41 121.75/121.83 c 631033 1981463 87353711 131487904 0 2824 25 62 40 133.34/133.47 c 694208 2169358 95706904 144185844 0 2837 27 60 43 147.64/147.75 c 763700 2413839 106052242 158388401 0 2852 24 60 39 161.34/161.43 c 840141 2638771 115961709 172850315 0 2864 25 59 39 176.64/176.78 c 924226 2879643 126993267 190416240 0 2881 22 60 39 194.23/194.39 c 1016719 3163152 139460794 210988706 0 2895 25 60 42 213.53/213.64 c 1118461 3482602 153396114 232137845 0 2909 23 54 37 233.52/233.69 c 1230377 3806300 167541727 254383318 0 2923 26 61 42 257.32/257.48 c 1353484 4171965 184137933 280384266 0 2934 24 59 41 283.61/283.74 c 1488901 4579086 202541020 309429914 0 2942 24 59 40 312.50/312.69 c 1637859 5075121 223626532 340356634 0 2952 24 61 40 346.40/346.57 c 1801712 5618642 248201973 374903662 0 2969 24 58 38 384.39/384.58 c 1981950 6206625 275124031 416387836 0 2995 25 59 40 423.78/423.95 c 2180211 6863576 303286759 457327567 0 3018 25 62 41 465.87/466.03 c 2398298 7562560 333665339 502795532 0 3039 26 61 41 512.36/512.59 c 2638193 8366916 367064218 551687745 0 3050 26 58 40 560.74/560.97 c 2902077 9164083 401860603 603960810 0 3065 24 57 38 616.23/616.45 c 3192349 10161522 441449151 670493241 0 3082 25 60 44 667.53/667.76 c 3511648 10995598 477081629 731132190 0 3104 25 61 43 733.70/733.98 c 3862876 12164740 525223962 799249992 0 3133 24 61 39 801.29/801.51 c 4249226 13269518 574028838 871249940 0 3149 24 60 40 886.57/886.85 c 4674211 14705943 636438143 961476422 0 3167 23 62 39 985.24/985.54 c 5141694 16363145 706959147 1066528703 0 3183 22 62 39 1092.62/1092.90 c 5655925 18019768 783985971 1176914338 0 3192 23 62 39 1196.19/1196.57 c 6221579 19712865 858701177 1293400941 0 3208 22 58 39 1317.06/1317.42 c 6843798 21769791 945208589 1426865495 0 3224 23 64 42 1454.24/1454.68 c 7528238 23938425 1043257491 1574621631 0 3238 23 62 39 1595.90/1596.31 c 8281122 26366622 1145208608 1728555551 0 3265 24 64 42 1746.47/1746.92 c 9109294 28696618 1252332513 1898105983 0 3290 23 63 40 1934.12/1934.67 c 10020283 31635979 1387891444 2111578602 0 3314 22 59 38 2115.99/2116.54 c 11022370 34646939 1515895372 2315544464 0 3330 24 62 41 2331.53/2332.11 c 12124665 38123079 1669805443 2546277222 0 3347 23 61 39
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4239919-1500623785/watcher-4239919-1500623785 -o /tmp/evaluation-result-4239919-1500623785/solver-4239919-1500623785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17719 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239919-1500623785.xml pid=17731 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.00 0.01 0.05 2/236 17734 /proc/meminfo: memFree=31768816/32770624 swapFree=6792/301820 [pid=17734] ppid=17731 vsize=12316 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) D 17731 17734 17688 0 -1 1077936128 183 0 0 0 0 0 0 0 20 0 1 0 15792895 12611584 55 33554432000 4194304 5970956 140736727167008 140736727164104 139652649666247 0 0 4096 0 18446744072101531172 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 3079 55 41 434 0 45 0 [startup+0.100096 s] /proc/loadavg: 0.00 0.01 0.05 2/236 17734 /proc/meminfo: memFree=31768816/32770624 swapFree=6792/301820 [pid=17734] ppid=17731 vsize=31900 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 1172 0 0 0 8 0 0 0 20 0 1 0 15792895 32665600 964 33554432000 4194304 5970956 140736727167008 140736727164344 4977807 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 7975 964 749 434 0 1339 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 31900 [startup+0.2003 s] /proc/loadavg: 0.00 0.01 0.05 2/236 17734 /proc/meminfo: memFree=31768816/32770624 swapFree=6792/301820 [pid=17734] ppid=17731 vsize=31900 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 1181 0 0 0 18 0 0 0 20 0 1 0 15792895 32665600 964 33554432000 4194304 5970956 140736727167008 140736727164344 139652634000480 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 7975 964 749 434 0 1339 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 31900 [startup+0.300278 s] /proc/loadavg: 0.00 0.01 0.05 2/236 17734 /proc/meminfo: memFree=31768816/32770624 swapFree=6792/301820 [pid=17734] ppid=17731 vsize=31900 CPUtime=0.28 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 1189 0 0 0 28 0 0 0 20 0 1 0 15792895 32665600 964 33554432000 4194304 5970956 140736727167008 140736727164344 4976819 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 7975 964 749 434 0 1339 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 31900 [startup+0.700247 s] /proc/loadavg: 0.00 0.01 0.05 2/236 17734 /proc/meminfo: memFree=31768816/32770624 swapFree=6792/301820 [pid=17734] ppid=17731 vsize=31900 CPUtime=0.68 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 1225 0 0 0 68 0 0 0 20 0 1 0 15792895 32665600 1030 33554432000 4194304 5970956 140736727167008 140736727164344 4974608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 7975 1030 773 434 0 1339 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 31900 [startup+1.50028 s] /proc/loadavg: 0.00 0.01 0.05 4/261 17784 /proc/meminfo: memFree=31740024/32770624 swapFree=6792/298580 [pid=17734] ppid=17731 vsize=32028 CPUtime=1.47 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 1286 0 0 0 147 0 0 0 20 0 1 0 15792895 32796672 1109 33554432000 4194304 5970956 140736727167008 140736727164344 4974343 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1109 774 434 0 1371 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 32028 [startup+3.10024 s] /proc/loadavg: 0.00 0.01 0.05 2/238 17824 /proc/meminfo: memFree=31764332/32770624 swapFree=6792/298260 [pid=17734] ppid=17731 vsize=32028 CPUtime=3.07 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 1563 0 0 0 307 0 0 0 20 0 1 0 15792895 32796672 1129 33554432000 4194304 5970956 140736727167008 140736727164344 4974124 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1129 774 434 0 1371 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 32028 [startup+6.30028 s] /proc/loadavg: 0.16 0.05 0.06 3/243 18014 /proc/meminfo: memFree=31734224/32770624 swapFree=6792/298584 [pid=17734] ppid=17731 vsize=32028 CPUtime=6.27 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 1858 0 0 0 627 0 0 0 20 0 1 0 15792895 32796672 1134 33554432000 4194304 5970956 140736727167008 140736727164344 4977351 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1134 774 434 0 1371 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 32028 [startup+12.7003 s] /proc/loadavg: 0.31 0.08 0.07 3/243 18014 /proc/meminfo: memFree=31642560/32770624 swapFree=6792/298584 [pid=17734] ppid=17731 vsize=32028 CPUtime=12.67 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 2146 0 0 0 1267 0 0 0 20 0 1 0 15792895 32796672 1144 33554432000 4194304 5970956 140736727167008 140736727164344 4977123 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1144 774 434 0 1371 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 32028 [startup+25.5003 s] /proc/loadavg: 0.68 0.17 0.10 3/243 18087 /proc/meminfo: memFree=31640352/32770624 swapFree=6792/298908 [pid=17734] ppid=17731 vsize=32028 CPUtime=25.47 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 2731 0 0 0 2547 0 0 0 20 0 1 0 15792895 32796672 1149 33554432000 4194304 5970956 140736727167008 140736727164344 4975021 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1149 774 434 0 1371 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 32028 [startup+51.1003 s] /proc/loadavg: 1.19 0.34 0.15 3/243 18160 /proc/meminfo: memFree=31689356/32770624 swapFree=6792/298908 [pid=17734] ppid=17731 vsize=32028 CPUtime=51.06 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 3030 0 0 0 5106 0 0 0 20 0 1 0 15792895 32796672 1152 33554432000 4194304 5970956 140736727167008 140736727164344 4975594 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1152 774 434 0 1371 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 32028 [startup+102.3 s] /proc/loadavg: 1.65 0.59 0.25 3/243 18162 /proc/meminfo: memFree=31688392/32770624 swapFree=6792/298140 [pid=17734] ppid=17731 vsize=32028 CPUtime=102.26 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 3334 0 0 0 10226 0 0 0 20 0 1 0 15792895 32796672 1156 33554432000 4194304 5970956 140736727167008 140736727164344 4977063 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1156 774 434 0 1371 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32028 [startup+162.3 s] /proc/loadavg: 1.87 0.85 0.36 3/243 18163 /proc/meminfo: memFree=31687736/32770624 swapFree=6792/298140 [pid=17734] ppid=17731 vsize=32028 CPUtime=162.24 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 3640 0 0 0 16224 0 0 0 20 0 1 0 15792895 32796672 1159 33554432000 4194304 5970956 140736727167008 140736727164344 4976656 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1159 774 434 0 1371 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32028 [startup+222.308 s] /proc/loadavg: 2.03 1.08 0.47 3/245 18173 /proc/meminfo: memFree=31687660/32770624 swapFree=6792/298364 [pid=17734] ppid=17731 vsize=32028 CPUtime=222.23 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 3948 0 0 0 22223 0 0 0 20 0 1 0 15792895 32796672 1163 33554432000 4194304 5970956 140736727167008 140736727164344 4977138 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1163 774 434 0 1371 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 32028 [startup+282.3 s] /proc/loadavg: 2.55 1.37 0.61 3/245 18331 /proc/meminfo: memFree=26621140/32770624 swapFree=6792/301072 [pid=17734] ppid=17731 vsize=32028 CPUtime=282.21 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 4258 0 0 0 28221 0 0 0 20 0 1 0 15792895 32796672 1166 33554432000 4194304 5970956 140736727167008 140736727164344 5327859 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1166 774 434 0 1371 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 32028 [startup+342.3 s] /proc/loadavg: 2.20 1.49 0.69 3/245 18332 /proc/meminfo: memFree=26611948/32770624 swapFree=6792/300832 [pid=17734] ppid=17731 vsize=32028 CPUtime=342.2 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 4569 0 0 0 34220 0 0 0 20 0 1 0 15792895 32796672 1168 33554432000 4194304 5970956 140736727167008 140736727164344 5327111 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1168 774 434 0 1371 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 32028 [startup+402.3 s] /proc/loadavg: 2.07 1.58 0.77 3/245 18333 /proc/meminfo: memFree=26610980/32770624 swapFree=6792/300832 [pid=17734] ppid=17731 vsize=32028 CPUtime=402.18 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 4881 0 0 0 40218 0 0 0 20 0 1 0 15792895 32796672 1168 33554432000 4194304 5970956 140736727167008 140736727164344 5306541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1168 774 434 0 1371 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 32028 [startup+462.3 s] /proc/loadavg: 2.03 1.66 0.85 3/245 18334 /proc/meminfo: memFree=26608436/32770624 swapFree=6792/300832 [pid=17734] ppid=17731 vsize=32028 CPUtime=462.17 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 5194 0 0 0 46217 0 0 0 20 0 1 0 15792895 32796672 1169 33554432000 4194304 5970956 140736727167008 140736727164344 4974736 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1169 774 434 0 1371 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 32028 [startup+522.3 s] /proc/loadavg: 2.04 1.73 0.93 3/245 18335 /proc/meminfo: memFree=26608576/32770624 swapFree=6792/300960 [pid=17734] ppid=17731 vsize=32028 CPUtime=522.15 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 5510 0 0 0 52215 0 0 0 20 0 1 0 15792895 32796672 1171 33554432000 4194304 5970956 140736727167008 140736727164344 4975625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1171 774 434 0 1371 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 32028 [startup+582.3 s] /proc/loadavg: 2.05 1.80 1.00 3/243 18336 /proc/meminfo: memFree=26608336/32770624 swapFree=6792/300960 [pid=17734] ppid=17731 vsize=32028 CPUtime=582.14 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 5824 0 0 0 58214 0 0 0 20 0 1 0 15792895 32796672 1172 33554432000 4194304 5970956 140736727167008 140736727164344 4975560 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1172 774 434 0 1371 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 32028 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.03 2.03 1.65 3/244 18367 /proc/meminfo: memFree=26602828/32770624 swapFree=6792/301728 [pid=17734] ppid=17731 vsize=32028 CPUtime=1481.93 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 10579 0 0 0 148192 1 0 0 20 0 1 0 15792895 32796672 1183 33554432000 4194304 5970956 140736727167008 140736727164344 4974321 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1183 774 434 0 1371 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 32028 [startup+1542.31 s] /proc/loadavg: 2.01 2.02 1.67 3/244 18368 /proc/meminfo: memFree=26602264/32770624 swapFree=6792/301728 [pid=17734] ppid=17731 vsize=32028 CPUtime=1541.92 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 10877 0 0 0 154191 1 0 0 20 0 1 0 15792895 32796672 1183 33554432000 4194304 5970956 140736727167008 140736727164344 4978111 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1183 774 434 0 1371 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 32028 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.69 3/244 18369 /proc/meminfo: memFree=26602488/32770624 swapFree=6792/301728 [pid=17734] ppid=17731 vsize=32028 CPUtime=1601.9 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 11203 0 0 0 160189 1 0 0 20 0 1 0 15792895 32796672 1184 33554432000 4194304 5970956 140736727167008 140736727164344 4977604 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1184 774 434 0 1371 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 32028 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.71 3/244 18370 /proc/meminfo: memFree=26602368/32770624 swapFree=6792/301728 [pid=17734] ppid=17731 vsize=32028 CPUtime=1661.89 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 11509 0 0 0 166188 1 0 0 20 0 1 0 15792895 32796672 1184 33554432000 4194304 5970956 140736727167008 140736727164344 4974949 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1184 774 434 0 1371 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 32028 [startup+1722.3 s] /proc/loadavg: 2.04 2.03 1.73 3/243 18372 /proc/meminfo: memFree=26601680/32770624 swapFree=6792/301860 [pid=17734] ppid=17731 vsize=32028 CPUtime=1721.87 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 11818 0 0 0 172186 1 0 0 20 0 1 0 15792895 32796672 1185 33554432000 4194304 5970956 140736727167008 140736727164344 4975836 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1185 774 434 0 1371 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 32028 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 1.75 3/243 18373 /proc/meminfo: memFree=26600916/32770624 swapFree=6792/301860 [pid=17734] ppid=17731 vsize=32028 CPUtime=1781.86 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 12145 0 0 0 178185 1 0 0 20 0 1 0 15792895 32796672 1185 33554432000 4194304 5970956 140736727167008 140736727164344 4974425 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1185 774 434 0 1371 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 32028 [startup+1842.3 s] /proc/loadavg: 2.01 2.02 1.77 3/243 18374 /proc/meminfo: memFree=26600812/32770624 swapFree=6792/301860 [pid=17734] ppid=17731 vsize=32028 CPUtime=1841.85 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 12457 0 0 0 184184 1 0 0 20 0 1 0 15792895 32796672 1185 33554432000 4194304 5970956 140736727167008 140736727164344 4975456 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1185 774 434 0 1371 0 Current children cumulated CPU time (s) 1841.85 Current children cumulated vsize (KiB) 32028 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.78 3/243 18376 /proc/meminfo: memFree=26601456/32770624 swapFree=6792/301860 [pid=17734] ppid=17731 vsize=32028 CPUtime=1901.83 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 12777 0 0 0 190182 1 0 0 20 0 1 0 15792895 32796672 1185 33554432000 4194304 5970956 140736727167008 140736727164344 5322949 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1185 774 434 0 1371 0 Current children cumulated CPU time (s) 1901.83 Current children cumulated vsize (KiB) 32028 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.79 3/243 18377 /proc/meminfo: memFree=26601140/32770624 swapFree=6792/301860 [pid=17734] ppid=17731 vsize=32028 CPUtime=1961.82 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 13104 0 0 0 196181 1 0 0 20 0 1 0 15792895 32796672 1185 33554432000 4194304 5970956 140736727167008 140736727164344 4974646 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1185 774 434 0 1371 0 Current children cumulated CPU time (s) 1961.82 Current children cumulated vsize (KiB) 32028 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.80 3/244 18386 /proc/meminfo: memFree=26601376/32770624 swapFree=6792/302120 [pid=17734] ppid=17731 vsize=32028 CPUtime=2021.8 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 13419 0 0 0 202179 1 0 0 20 0 1 0 15792895 32796672 1186 33554432000 4194304 5970956 140736727167008 140736727164344 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1186 774 434 0 1371 0 Current children cumulated CPU time (s) 2021.8 Current children cumulated vsize (KiB) 32028 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.82 3/244 18387 /proc/meminfo: memFree=26601136/32770624 swapFree=6792/302120 [pid=17734] ppid=17731 vsize=32028 CPUtime=2081.79 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 13735 0 0 0 208178 1 0 0 20 0 1 0 15792895 32796672 1186 33554432000 4194304 5970956 140736727167008 140736727164344 4976713 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1186 774 434 0 1371 0 Current children cumulated CPU time (s) 2081.79 Current children cumulated vsize (KiB) 32028 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.83 3/244 18388 /proc/meminfo: memFree=26600944/32770624 swapFree=6792/302120 [pid=17734] ppid=17731 vsize=32028 CPUtime=2141.77 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 14065 0 0 0 214176 1 0 0 20 0 1 0 15792895 32796672 1186 33554432000 4194304 5970956 140736727167008 140736727164344 4978118 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1186 774 434 0 1371 0 Current children cumulated CPU time (s) 2141.77 Current children cumulated vsize (KiB) 32028 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 1.84 3/244 18389 /proc/meminfo: memFree=26601292/32770624 swapFree=6792/302120 [pid=17734] ppid=17731 vsize=32028 CPUtime=2201.77 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 14362 0 0 0 220176 1 0 0 20 0 1 0 15792895 32796672 1188 33554432000 4194304 5970956 140736727167008 140736727164344 4975597 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1188 774 434 0 1371 0 Current children cumulated CPU time (s) 2201.77 Current children cumulated vsize (KiB) 32028 [startup+2262.3 s] /proc/loadavg: 2.04 2.03 1.86 3/244 18390 /proc/meminfo: memFree=26600928/32770624 swapFree=6792/302120 [pid=17734] ppid=17731 vsize=32028 CPUtime=2261.74 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 14666 0 0 0 226173 1 0 0 20 0 1 0 15792895 32796672 1188 33554432000 4194304 5970956 140736727167008 140736727164344 4976696 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1188 774 434 0 1371 0 Current children cumulated CPU time (s) 2261.74 Current children cumulated vsize (KiB) 32028 [startup+2322.3 s] /proc/loadavg: 2.01 2.02 1.87 3/244 18391 /proc/meminfo: memFree=26602036/32770624 swapFree=6792/302304 [pid=17734] ppid=17731 vsize=32028 CPUtime=2321.73 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 14954 0 0 0 232172 1 0 0 20 0 1 0 15792895 32796672 1188 33554432000 4194304 5970956 140736727167008 140736727164344 4976725 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1188 774 434 0 1371 0 Current children cumulated CPU time (s) 2321.73 Current children cumulated vsize (KiB) 32028 [startup+2382.3 s] /proc/loadavg: 2.01 2.02 1.87 3/243 18392 /proc/meminfo: memFree=26601660/32770624 swapFree=6792/302304 [pid=17734] ppid=17731 vsize=32028 CPUtime=2381.72 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 15314 0 0 0 238171 1 0 0 20 0 1 0 15792895 32796672 1188 33554432000 4194304 5970956 140736727167008 140736727164344 4975791 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1188 774 434 0 1371 0 Current children cumulated CPU time (s) 2381.72 Current children cumulated vsize (KiB) 32028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.00 2.01 1.87 3/243 18392 /proc/meminfo: memFree=26601628/32770624 swapFree=6792/302304 [pid=17734] ppid=17731 vsize=32028 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14 /proc/17734/stat : 17734 (cosoco) R 17731 17734 17688 0 -1 4202496 15613 0 0 0 240000 1 0 0 20 0 1 0 15792895 32796672 1188 33554432000 4194304 5970956 140736727167008 140736727164344 4974141 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 15265792 140736727172284 140736727172419 140736727172419 140736727175118 0 /proc/17734/statm: 8007 1188 774 434 0 1371 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 32028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 17734 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.6 CPU time (s): 2400.02 CPU user time (s): 2400.01 CPU system time (s): 0.014996 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 32028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.01 system time used= 0.014996 maximum resident set size= 4796 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15641 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= 13 involuntary context switches= 120658 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.32619 second user time and 11.0078 second system time The end
Begin job on node112 at 2017-07-21 09:56:25 IDJOB=4239919 IDBENCH=115861 IDSOLVER=2621 FILE ID=node112/4239919-1500623785 RUNJOBID= node112-1500623784-17719 PBS_JOBID= 20623019 Free space on /tmp= 62024 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-10.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239919-1500623785/watcher-4239919-1500623785 -o /tmp/evaluation-result-4239919-1500623785/solver-4239919-1500623785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17719 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239919-1500623785.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= dd9b438f7b2aa476e711f04952c9024a RANDOM SEED=759137286 node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31769120 kB MemAvailable: 31993380 kB Buffers: 129704 kB Cached: 376248 kB SwapCached: 0 kB Active: 254088 kB Inactive: 310596 kB Active(anon): 61796 kB Inactive(anon): 8776 kB Active(file): 192292 kB Inactive(file): 301820 kB Unevictable: 6792 kB Mlocked: 6800 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2448 kB Writeback: 0 kB AnonPages: 65784 kB Mapped: 31936 kB Shmem: 8848 kB Slab: 123524 kB SReclaimable: 91964 kB SUnreclaim: 31560 kB KernelStack: 4112 kB PageTables: 4880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 309956 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62020 MiB End job on node112 at 2017-07-21 10:36:26