Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-sat 1.12 | ? (TO) | 2519.9099 | 2520.01 |
Name | Blackhole/Blackhole-m1-s10/ Blackhole-10-3-04.xml |
MD5SUM | 986ee2669b222e63b3403a1d528be806 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.090393998 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 67 |
Number of domains | 1 |
Minimum domain size | 40 |
Maximum domain size | 40 |
Distribution of domain sizes | [{"size":40,"count":80}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":67},{"degree":3,"count":13}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 80 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":65},{"arity":80,"count":1}] |
Number of extensional constraints | 39 |
Number of intensional constraints | 27 |
Distribution of constraint types | [{"type":"extension","count":39},{"type":"intension","count":27},{"type":"channel","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Create channel(X,Y) constraint using 40 element constraint 0.00/0.00 c intension y[30]<y[29] using generic constraint 0.00/0.00 c intension y[29]<y[17] using generic constraint 0.00/0.00 c intension y[11]<y[3] using generic constraint 0.00/0.00 c intension y[3]<y[19] using generic constraint 0.00/0.00 c intension y[38]<y[12] using generic constraint 0.00/0.00 c intension y[12]<y[20] using generic constraint 0.00/0.00 c intension y[9]<y[6] using generic constraint 0.00/0.00 c intension y[6]<y[14] using generic constraint 0.00/0.00 c intension y[21]<y[15] using generic constraint 0.00/0.00 c intension y[15]<y[24] using generic constraint 0.00/0.00 c intension y[25]<y[8] using generic constraint 0.00/0.00 c intension y[8]<y[27] using generic constraint 0.00/0.00 c intension y[7]<y[22] using generic constraint 0.00/0.00 c intension y[22]<y[2] using generic constraint 0.00/0.00 c intension y[32]<y[5] using generic constraint 0.00/0.00 c intension y[5]<y[28] using generic constraint 0.00/0.00 c intension y[16]<y[13] using generic constraint 0.00/0.00 c intension y[13]<y[33] using generic constraint 0.00/0.00 c intension y[18]<y[35] using generic constraint 0.00/0.01 c intension y[35]<y[4] using generic constraint 0.00/0.01 c intension y[10]<y[36] using generic constraint 0.00/0.01 c intension y[36]<y[39] using generic constraint 0.00/0.01 c intension y[26]<y[1] using generic constraint 0.00/0.01 c intension y[1]<y[23] using generic constraint 0.00/0.01 c intension y[34]<y[31] using generic constraint 0.00/0.01 c intension y[31]<y[37] using generic constraint 0.00/0.01 c SAT : Variables: 3200 -- Clauses: 62480 0.00/0.01 c root propagations : 234 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c This is cosoco 1.12 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265996-1502583802.xml 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.01 s 0.00/0.01 c | 0.00/0.01 c | Variables: 80 0.00/0.01 c | Domain Sizes: 40..40 0.00/0.01 c | 0.00/0.01 c | Constraints: 106 0.00/0.01 c | Arity: 1..41 -- Unary: 1 -- Binary: 65 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | (X - Y < k): 26 0.00/0.01 c | Element Constant: 40 0.00/0.01 c | Extension: 39 (nb tuples: 320..320) -- (shared: 38) 0.00/0.01 c | Intension: 1 0.00/0.01 c | 0.00/0.01 c ========================================================================================================= 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 c 10 62 5768 2533 80 7 42 44 39 0.00/0.02 c 20 107 9305 5678 80 15 30 33 29 0.00/0.02 c 30 155 14265 8682 80 17 33 36 31 0.00/0.02 c 40 202 17989 11165 80 25 27 30 26 0.00/0.02 c 50 242 21639 14777 80 27 30 30 27 0.00/0.02 c 60 287 25717 17879 80 31 32 34 29 0.00/0.02 c 70 338 30445 20044 80 41 42 42 38 0.00/0.02 c 80 394 35411 24022 80 51 34 35 31 0.00/0.02 c 90 438 39146 26846 80 55 32 32 29 0.00/0.02 c 100 480 42857 29792 80 56 33 33 30 0.00/0.02 c 101 513 45459 31614 80 57 33 33 16 0.00/0.02 c 110 558 49166 34053 80 66 32 35 29 0.00/0.03 c 120 604 53538 37485 80 69 34 34 30 0.00/0.03 c 130 653 58564 40613 80 79 30 32 28 0.00/0.03 c 140 696 62485 43941 80 81 33 33 30 0.00/0.03 c 150 739 66463 47098 80 83 33 33 30 0.00/0.03 c 160 784 70369 50130 80 85 31 33 28 0.00/0.03 c 170 828 74398 53143 80 89 33 33 30 0.00/0.03 c 180 885 79062 55863 80 98 39 39 35 0.00/0.03 c 190 932 83378 59241 80 104 31 33 28 0.00/0.03 c 200 982 87707 63145 80 114 32 32 29 0.00/0.03 c 210 1025 91211 65713 80 116 31 32 28 0.00/0.03 c 211 1057 93877 67509 80 117 32 32 16 0.00/0.04 c 220 1095 96980 69716 80 122 29 29 26 0.00/0.04 c 230 1141 100722 71861 80 132 33 37 33 0.00/0.04 c 240 1187 104597 75235 80 137 34 34 30 0.00/0.04 c 250 1238 108962 77739 80 145 32 39 31 0.00/0.04 c 260 1282 112304 80139 80 150 34 34 30 0.00/0.04 c 270 1347 116573 82203 80 160 44 44 40 0.00/0.04 c 280 1392 120123 84772 80 163 33 34 30 0.00/0.04 c 290 1442 124436 87749 80 164 31 34 30 0.00/0.04 c 300 1486 128267 91033 80 166 32 32 29 0.00/0.04 c 310 1529 131517 93908 80 170 30 30 27 0.00/0.04 c 320 1577 135655 96828 80 174 30 32 28 0.00/0.04 c 330 1624 139584 99549 80 178 35 35 31 0.00/0.04 c 332 1658 142357 101517 80 180 32 32 21 0.00/0.05 c 340 1702 145885 103917 80 182 35 36 31 0.00/0.05 c 350 1749 149613 106499 80 187 34 35 31 0.00/0.05 c 360 1803 153854 108740 80 197 45 45 40 0.00/0.05 c 370 1854 158231 112881 80 207 32 32 29 0.00/0.05 c 380 1895 162426 116128 80 217 32 32 29 0.00/0.05 c 390 1939 166468 119336 80 221 33 33 30 0.00/0.05 c 400 1985 170814 122943 80 225 30 32 27 0.00/0.05 c 410 2041 175517 125597 80 235 29 44 37 0.00/0.05 c 420 2083 179749 129148 80 239 27 29 24 0.00/0.05 c 430 2135 184096 131429 80 249 43 43 39 0.00/0.05 c 440 2182 188078 134710 80 259 29 29 26 0.00/0.05 c 450 2221 191725 138330 80 263 27 27 24 0.00/0.06 c 460 2267 196770 141621 80 268 32 33 29 0.00/0.06 c 465 2304 200036 143922 80 271 31 31 25 0.00/0.06 c 470 2347 203796 146301 80 276 37 39 32 0.00/0.06 c 480 2395 207500 148907 80 280 34 34 30 0.00/0.06 c 490 2457 211796 151003 80 281 41 44 39 0.00/0.06 c 500 2500 215360 153613 80 285 30 32 28 0.00/0.06 c 510 2548 220096 156590 80 295 39 39 35 0.00/0.06 c 520 2596 223665 158871 80 299 36 36 32 0.00/0.06 c 530 2647 227636 161021 80 303 36 40 35 0.00/0.06 c 540 2690 231858 164520 80 307 30 31 27 0.00/0.06 c 550 2739 238805 171129 80 317 31 31 28 0.00/0.07 c 560 2796 243794 174847 80 320 32 35 30 0.00/0.07 c 570 2840 247740 178166 80 324 33 33 30 0.00/0.07 c 580 2898 252372 180604 80 334 33 43 36 0.00/0.07 c 590 2943 256088 183257 80 338 33 33 30 0.00/0.07 c 600 3003 260309 185155 80 348 42 42 38 0.00/0.07 c 610 3049 264129 188025 80 352 34 34 30 0.00/0.07 c 611 3078 266619 189850 80 353 29 29 14 0.00/0.07 c 620 3121 271411 192904 80 362 35 35 31 0.00/0.07 c 630 3175 276819 197890 80 367 33 33 30 0.00/0.07 c 640 3245 283627 203707 80 377 34 34 30 0.00/0.07 c 650 3298 288163 207045 80 386 32 32 29 0.00/0.07 c 660 3352 292671 209917 80 395 30 31 27 0.00/0.08 c 670 3401 296922 213410 80 405 31 31 28 0.00/0.08 c 680 3452 301170 215620 80 415 32 33 29 0.00/0.08 c 690 3503 305577 218882 80 425 33 33 30 0.00/0.08 c 700 3546 309971 222468 80 429 31 31 28 0.00/0.08 c 710 3591 313963 225913 80 432 30 31 28 0.00/0.08 c 720 3645 319666 229240 80 435 34 34 30 0.00/0.08 c 730 3691 323048 231421 80 439 35 35 31 0.00/0.08 c 740 3745 327939 234069 80 444 33 35 30 0.00/0.08 c 750 3796 333257 237555 80 454 33 36 30 0.00/0.08 c 760 3839 337364 240913 80 458 32 32 29 0.00/0.08 c 770 3895 342190 243570 80 462 33 37 31 0.00/0.09 c 771 3928 344855 245414 80 463 33 33 16 0.00/0.09 c 780 3980 349113 247537 80 467 34 36 31 0.00/0.09 c 790 4028 353177 250357 80 472 34 34 30 0.00/0.09 c 800 4072 357271 253829 80 477 29 30 26 0.00/0.09 c 810 4120 361444 257008 80 487 30 30 27 0.00/0.09 c 820 4168 365798 260415 80 493 30 32 27 0.00/0.09 c 830 4222 370873 263353 80 498 34 36 31 0.00/0.09 c 840 4264 374462 265979 80 502 31 31 28 0.00/0.09 c 850 4319 379326 268517 80 507 33 36 31 0.00/0.09 c 860 4362 383758 271770 80 517 34 34 30 0.00/0.09 c 870 4402 388418 275057 80 527 31 31 28 0.00/0.10 c 880 4453 392925 278349 80 537 33 33 30 0.00/0.10 c 890 4495 396588 281218 80 541 28 29 25 0.00/0.10 c 900 4537 400471 284472 80 546 29 29 26 0.00/0.10 c 910 4580 404403 287956 80 549 28 28 25 0.00/0.10 c 920 4634 409613 290060 80 559 35 36 31 0.00/0.10 c 930 4680 413873 293354 80 563 34 34 30 0.00/0.10 c 940 4737 418309 295424 80 573 36 37 33 0.00/0.10 c 947 4776 422233 298447 80 580 33 33 28 0.00/0.10 c 950 4811 425389 300611 80 583 31 32 23 0.00/0.10 c 960 4851 429559 303569 80 593 31 31 28 0.00/0.10 c 970 4893 433936 307225 80 600 31 32 28 0.00/0.10 c 980 4934 437558 310169 80 604 30 30 27 0.10/0.11 c 990 4992 442383 312907 80 614 29 40 30 0.10/0.11 c 1000 5059 447173 315455 80 623 32 45 38 0.10/0.11 c 1010 5103 450723 318068 80 627 33 33 30 0.10/0.11 c 1020 5162 455347 320640 80 634 29 40 31 0.10/0.11 c 1030 5208 459262 323445 80 638 34 34 30 0.10/0.11 c 1040 5266 464121 326219 80 648 28 39 29 0.10/0.11 c 1050 5324 468129 328450 80 652 32 45 39 0.10/0.11 c 1060 5367 472233 331792 80 656 30 31 27 0.10/0.11 c 1070 5416 476566 336116 80 666 31 31 28 0.10/0.11 c 1080 5458 480231 338804 80 670 31 31 28 0.10/0.11 c 1090 5518 484991 341551 80 679 28 36 29 0.10/0.11 c 1100 5565 488678 344098 80 683 35 35 31 0.10/0.12 c 1110 5626 493150 346520 80 693 30 41 33 0.10/0.12 c 1120 5671 496550 348816 80 697 34 34 30 0.10/0.12 c 1130 5731 501169 351298 80 706 29 35 29 0.10/0.12 c 1140 5772 505803 355119 80 716 32 32 29 0.10/0.12 c 1141 5802 508392 356952 80 717 30 30 15 0.10/0.12 c 1150 5839 512644 360340 80 726 29 29 26 0.10/0.12 c 1160 5884 516601 363805 80 729 30 30 27 0.10/0.12 c 1170 5939 520914 365855 80 739 37 37 33 0.10/0.12 c 1180 5984 524881 369423 80 743 33 33 30 0.10/0.12 c 1190 6037 529265 371597 80 748 33 35 30 0.10/0.12 c 1200 6085 533332 373781 80 758 35 36 31 0.10/0.12 c 1210 6128 537475 377098 80 762 28 30 25 0.10/0.13 c 1220 6180 542315 379596 80 769 33 37 32 0.10/0.13 c 1230 6228 546599 382422 80 772 33 34 30 0.10/0.13 c 1240 6275 551104 385724 80 777 32 32 29 0.10/0.13 c 1250 6314 555248 388941 80 787 30 30 27 0.10/0.13 c 1260 6361 559459 392909 80 791 32 32 29 0.10/0.13 c 1270 6419 564005 395011 80 800 37 37 33 0.10/0.13 c 1280 6464 567682 397652 80 804 34 34 30 0.10/0.13 c 1290 6523 572272 399704 80 810 37 37 33 0.10/0.13 c 1300 6571 576755 402976 80 814 35 35 31 0.10/0.13 c 1310 6632 581576 405083 80 817 37 37 33 0.10/0.13 c 1320 6678 585162 407813 80 821 34 34 30 0.10/0.13 c 1330 6729 589170 409938 80 831 29 32 28 0.10/0.14 c 1340 6778 593643 412900 80 834 30 36 30 0.10/0.14 c 1350 6822 597989 416627 80 839 31 31 28 0.10/0.14 c 1352 6853 600701 418514 80 840 30 30 20 0.10/0.14 c 1360 6892 604642 421310 80 844 30 30 26 0.10/0.14 c 1370 6952 609317 423362 80 845 37 37 33 0.10/0.14 c 1380 6999 612964 425773 80 847 31 34 30 0.10/0.14 c 1390 7047 617159 428668 80 851 35 35 31 0.10/0.14 c 1400 7097 621591 432516 80 861 32 32 29 0.10/0.14 c 1410 7138 625147 434909 80 871 32 32 29 0.10/0.14 c 1420 7183 629102 437516 80 876 30 34 30 0.10/0.14 c 1430 7230 633105 439955 80 880 31 34 30 0.10/0.14 c 1440 7280 637101 442069 80 890 28 31 27 0.10/0.15 c 1450 7319 641174 445020 80 900 30 30 27 0.10/0.15 c 1460 7363 645216 448159 80 905 31 31 28 0.10/0.15 c 1470 7413 649026 450428 80 915 32 32 29 0.10/0.15 c 1480 7464 653524 453551 80 925 33 33 30 0.10/0.15 c 1490 7516 658135 456704 80 935 34 34 30 0.10/0.15 c 1500 7560 661714 459191 80 939 31 31 28 0.10/0.15 c 1510 7614 666767 461256 80 949 34 36 31 0.10/0.15 c 1520 7658 670565 463949 80 953 32 33 29 0.10/0.15 c 1530 7696 675074 468166 80 963 29 29 26 0.10/0.15 c 1540 7747 679522 471369 80 967 33 33 30 0.10/0.15 c 1550 7789 683846 474300 80 977 33 33 30 0.10/0.16 c 1560 7831 688215 478066 80 987 33 33 30 0.10/0.16 c 1570 7873 692571 481130 80 997 33 33 30 0.10/0.16 c 1580 7922 696912 484850 80 1000 34 34 30 0.10/0.16 c 1585 7958 700313 487153 80 1005 32 32 26 0.10/0.16 c 1590 7991 703293 489404 80 1007 28 28 23 0.10/0.16 c 1600 8049 707826 491462 80 1011 37 37 33 0.10/0.16 c 1610 8096 711629 493905 80 1015 33 36 32 0.10/0.16 c 1620 8148 715653 495996 80 1025 30 32 28 0.10/0.16 c 1630 8188 719893 499527 80 1035 31 31 28 0.10/0.16 c 1640 8231 724204 502580 80 1040 30 30 27 0.10/0.16 c 1650 8275 728240 505782 80 1045 31 31 28 0.10/0.16 c 1660 8316 731970 509023 80 1049 29 29 26 0.10/0.17 c 1670 8371 737511 512326 80 1058 36 36 32 0.10/0.17 c 1680 8410 741605 515176 80 1068 30 30 27 0.10/0.17 c 1690 8456 745616 518409 80 1071 33 33 30 0.10/0.17 c 1700 8517 750405 520488 80 1073 37 37 33 0.10/0.17 c 1710 8567 754753 523618 80 1078 35 35 31 0.10/0.17 c 1720 8626 759750 526771 80 1085 35 35 31 0.10/0.17 c 1730 8676 764150 529430 80 1091 36 36 32 0.10/0.17 c 1740 8731 768688 531465 80 1101 34 36 31 0.10/0.17 c 1750 8779 772489 534125 80 1105 34 35 31 0.10/0.17 c 1760 8835 777951 537551 80 1114 33 36 32 0.10/0.17 c 1770 8889 782486 540596 80 1118 36 36 32 0.10/0.18 c 1780 8932 786555 543449 80 1128 34 34 30 0.10/0.18 c 1790 8980 790519 546102 80 1132 33 34 30 0.10/0.18 c 1800 9043 796362 549699 80 1134 34 36 32 0.10/0.18 c 1810 9088 800154 552451 80 1136 30 33 29 0.10/0.18 c 1820 9139 804857 555327 80 1146 33 34 30 0.10/0.18 c 1830 9180 809364 559141 80 1156 32 32 29 0.10/0.18 c 1840 9229 813708 562650 80 1166 31 31 28 0.10/0.18 c 1841 9263 816665 564584 80 1168 33 33 16 0.10/0.18 c 1850 9306 820787 567721 80 1171 33 33 29 0.10/0.18 c 1860 9356 825202 571616 80 1178 30 32 27 0.10/0.18 c 1870 9407 829270 574085 80 1184 36 37 33 0.10/0.19 c 1880 9456 833536 576257 80 1189 36 36 32 0.10/0.19 c 1890 9506 837242 578583 80 1194 37 37 33 0.10/0.19 c 1900 9548 841631 581901 80 1204 33 33 30 0.10/0.19 c 1910 9587 846409 586072 80 1214 30 30 27 0.10/0.19 c 1920 9627 850637 589381 80 1224 31 31 28 0.10/0.19 c 1930 9676 855058 593180 80 1234 31 32 29 0.10/0.19 c 1940 9717 859341 596535 80 1244 32 32 29 0.10/0.19 c 1950 9762 863184 599136 80 1249 31 33 29 0.10/0.19 c 1960 9817 868619 602770 80 1259 32 37 32 0.10/0.19 c 1970 9861 873034 605929 80 1268 32 32 29 0.10/0.19 c 1980 9907 876570 608309 80 1272 33 34 30 0.10/0.20 c 1990 9952 880541 611213 80 1276 33 33 30 0.10/0.20 c 2000 10000 884666 613598 80 1280 34 36 31 0.10/0.20 c 2010 10038 888822 617044 80 1290 29 29 26 0.10/0.20 c 2020 10079 893066 619997 80 1300 32 32 29 0.10/0.20 c 2030 10135 897664 623228 80 1307 32 32 29 0.10/0.20 c 2040 10185 902163 626911 80 1317 32 32 29 0.10/0.20 c 2050 10236 906702 630022 80 1327 33 33 30 0.10/0.20 c 2060 10279 910172 632924 80 1331 29 30 26 0.10/0.20 c 2070 10333 914656 635436 80 1340 32 37 30 0.10/0.20 c 2080 10383 918768 638360 80 1345 34 35 31 0.10/0.20 c 2090 10447 925850 642673 80 1361 37 37 33 0.10/0.21 c 2100 10491 929911 645827 80 1366 31 31 28 0.10/0.21 c 2110 10543 934061 648536 80 1376 31 33 29 0.10/0.21 c 2120 10588 937965 650935 80 1380 33 33 30 0.10/0.21 c 2122 10623 940987 652822 80 1381 34 34 22 0.10/0.21 c 2130 10669 944881 655364 80 1386 34 34 30 0.10/0.21 c 2140 10720 948867 657388 80 1396 29 31 28 0.10/0.21 c 2150 10766 952538 659881 80 1400 33 33 30 0.10/0.21 c 2160 10812 956627 662440 80 1410 27 33 26 0.10/0.21 c 2170 10864 961043 665239 80 1415 34 38 32 0.10/0.21 c 2180 10913 965276 667612 80 1422 30 35 30 0.10/0.21 c 2190 10961 969587 670487 80 1426 35 35 31 0.21/0.21 c 2200 11031 975534 674038 80 1433 35 35 31 0.21/0.22 c 2210 11077 979324 676531 80 1439 33 35 31 0.21/0.22 c 2220 11125 983535 679073 80 1444 31 33 29 0.21/0.22 c 2230 11191 988376 681786 80 1451 34 39 34 0.21/0.22 c 2240 11248 993001 684531 80 1456 34 35 31 0.21/0.22 c 2250 11294 996863 686991 80 1460 34 34 30 0.21/0.22 c 2260 11344 1000543 688933 80 1470 31 32 28 0.21/0.22 c 2270 11390 1004767 691794 80 1475 31 33 29 0.21/0.22 c 2280 11449 1009300 694188 80 1481 29 40 29 0.21/0.22 c 2290 11502 1013840 697630 80 1490 34 36 32 0.21/0.22 c 2300 11545 1017846 701416 80 1494 30 30 27 0.21/0.22 c 2310 11597 1023172 704873 80 1504 30 37 31 0.21/0.22 c 2320 11644 1027052 707549 80 1508 35 35 31 0.21/0.23 c 2330 11698 1031562 709876 80 1518 35 36 32 0.21/0.23 c 2340 11746 1035661 712791 80 1524 35 35 31 0.21/0.23 c 2350 11819 1040877 715074 80 1527 37 42 37 0.21/0.23 c 2360 11860 1045337 719081 80 1537 32 32 29 0.21/0.23 c 2370 11908 1049387 722091 80 1541 32 32 29 0.21/0.23 c 2380 11954 1053305 724899 80 1546 33 33 30 0.21/0.23 c 2390 11994 1057539 728331 80 1556 31 31 28 0.21/0.23 c 2400 12035 1061762 731557 80 1566 32 32 29 0.21/0.23 c 2410 12081 1065694 734192 80 1569 31 34 30 0.21/0.23 c 2420 12127 1069664 736973 80 1574 33 33 30 0.21/0.23 c 2430 12166 1073518 740894 80 1578 27 27 24 0.21/0.23 c 2431 12202 1076521 742699 80 1579 36 36 18 0.21/0.24 c 2440 12250 1081553 746087 80 1583 32 34 30 0.21/0.24 c 2450 12297 1085360 748451 80 1587 32 36 32 0.21/0.24 c 2460 12344 1088992 750929 80 1591 33 35 31 0.21/0.24 c 2470 12391 1092451 753394 80 1595 33 36 32 0.21/0.24 c 2480 12437 1096155 756099 80 1599 34 34 30 0.21/0.24 c 2490 12475 1101784 759435 80 1609 29 29 26 0.21/0.24 c 2500 12530 1106185 761974 80 1613 34 36 31 0.21/0.24 c 2510 12567 1110054 763881 80 1623 28 28 25 0.21/0.24 c 2520 12617 1114312 766743 80 1626 35 35 31 0.21/0.24 c 2530 12669 1119534 770211 80 1631 29 35 29 0.21/0.24 c 2540 12711 1123912 773636 80 1641 33 33 30 0.21/0.25 c 2550 12754 1128414 776802 80 1652 33 33 30 0.21/0.25 c 2560 12798 1133052 780813 80 1663 34 34 30 0.21/0.25 c 2570 12836 1137074 783604 80 1673 29 29 26 0.21/0.25 c 2580 12876 1141198 786920 80 1683 31 31 28 0.21/0.25 c 2590 12923 1145215 789799 80 1688 31 34 30 0.21/0.25 c 2600 12977 1149605 792804 80 1689 34 38 34 0.21/0.25 c 2610 13025 1153940 795843 80 1694 35 35 31 0.21/0.25 c 2620 13062 1157929 797762 80 1704 28 28 25 0.21/0.25 c 2630 13106 1161253 800736 80 1708 32 32 29 0.21/0.25 c 2640 13159 1165683 803342 80 1714 29 36 30 0.21/0.25 c 2650 13207 1169969 807087 80 1724 30 31 28 0.21/0.26 c 2660 13257 1175570 810246 80 1734 32 32 29 0.21/0.26 c 2670 13302 1179657 813124 80 1739 31 32 28 0.21/0.26 c 2680 13348 1184250 816175 80 1744 33 33 30 0.21/0.26 c 2690 13397 1188361 819043 80 1750 34 35 31 0.21/0.26 c 2700 13457 1193933 822251 80 1756 33 40 32 0.21/0.26 c 2710 13505 1198026 824772 80 1757 26 30 26 0.21/0.26 c 2720 13551 1201701 827374 80 1762 33 34 30 0.21/0.26 c 2730 13605 1206043 829493 80 1772 35 36 32 0.21/0.26 c 2740 13644 1210247 833191 80 1782 30 30 27 0.21/0.26 c 2750 13690 1214767 836077 80 1787 32 32 29 0.21/0.26 c 2760 13736 1218770 838565 80 1793 32 34 30 0.21/0.26 c 2770 13787 1223067 841093 80 1796 29 33 29 0.21/0.27 c 2771 13819 1225821 843083 80 1797 32 32 16 0.21/0.27 c 2780 13863 1230291 846062 80 1802 32 32 28 0.21/0.27 c 2790 13902 1234389 849542 80 1812 30 30 27 0.21/0.27 c 2800 13951 1239269 852653 80 1815 32 32 29 0.21/0.27 c 2810 13999 1243548 855912 80 1820 34 34 30 0.21/0.27 c 2820 14054 1247629 857915 80 1830 37 37 33 0.21/0.27 c 2830 14099 1251087 860428 80 1834 31 34 30 0.21/0.27 c 2840 14147 1255774 864134 80 1838 32 32 29 0.21/0.27 c 2850 14196 1260688 867247 80 1841 32 32 29 0.21/0.27 c 2860 14235 1264655 870489 80 1851 30 30 27 0.21/0.27 c 2870 14283 1269161 873300 80 1855 32 32 29 0.21/0.27 c 2880 14334 1273708 876159 80 1863 29 33 28 0.21/0.28 c 2890 14373 1277771 879385 80 1873 30 30 27 0.21/0.28 c 2900 14419 1281936 881997 80 1877 32 32 29 0.21/0.28 c 2910 14469 1286080 884497 80 1883 30 34 27 0.21/0.28 c 2920 14523 1289980 886532 80 1886 34 34 30 0.21/0.28 c 2930 14568 1293995 889667 80 1890 32 32 29 0.21/0.28 c 2940 14619 1299190 892645 80 1898 29 33 27 0.21/0.28 c 2950 14665 1303472 895791 80 1903 33 33 30 0.21/0.28 c 2960 14712 1308025 898760 80 1908 32 32 29 0.21/0.28 c 2970 14757 1311225 901204 80 1911 30 30 27 0.21/0.28 c 2980 14806 1314999 903150 80 1921 30 31 27 0.21/0.28 c 2990 14856 1319152 905764 80 1924 35 35 31 0.21/0.29 c 3000 14901 1322943 908560 80 1929 32 32 29 0.21/0.29 c 3010 14949 1327643 911396 80 1933 32 32 29 0.21/0.29 c 3020 14993 1331500 914540 80 1937 32 32 29 0.21/0.29 c 3030 15064 1336661 916688 80 1941 38 38 34 0.21/0.29 c 3040 15107 1341189 920222 80 1951 34 34 30 0.21/0.29 c 3050 15153 1345953 923223 80 1954 32 32 29 0.21/0.29 c 3060 15199 1349516 925917 80 1958 32 33 29 0.21/0.29 c 3070 15251 1355285 929299 80 1966 28 33 27 0.21/0.29 c 3080 15293 1358440 932405 80 1970 30 30 27 0.21/0.29 c 3090 15347 1364242 935823 80 1977 28 33 27 0.21/0.29 c 3100 15394 1368268 938931 80 1983 33 33 30 0.21/0.30 c 3110 15433 1372393 941895 80 1993 30 30 27 0.21/0.30 c 3120 15478 1376666 944506 80 1998 32 32 29 0.21/0.30 c 3130 15522 1379842 946838 80 2002 30 30 27 0.21/0.30 c 3140 15563 1385735 950045 80 2012 29 32 26 0.21/0.30 c 3142 15599 1388448 951831 80 2014 33 34 22 0.21/0.30 c 3150 15640 1391513 954024 80 2017 30 30 26 0.21/0.30 c 3160 15687 1396118 957779 80 2021 31 31 28 0.21/0.30 c 3170 15733 1399858 960227 80 2024 32 32 29 0.21/0.30 c 3180 15796 1404436 962397 80 2029 41 44 38 0.21/0.30 c 3190 15845 1408474 965340 80 2033 32 33 29 0.21/0.30 c 3200 15913 1413541 967878 80 2041 29 39 31 0.21/0.30 c 3210 15959 1417380 970852 80 2045 31 32 29 0.21/0.30 c 3220 16003 1420663 973329 80 2049 30 30 27 0.21/0.31 c 3230 16066 1425332 975498 80 2051 41 44 38 0.21/0.31 c 3240 16112 1429167 978251 80 2056 33 33 30 0.21/0.31 c 3250 16168 1433979 981542 80 2064 33 33 30 0.21/0.31 c 3260 16217 1438132 984084 80 2068 32 35 30 0.21/0.31 c 3270 16262 1441617 986260 80 2072 33 33 30 0.21/0.31 c 3280 16320 1446449 989164 80 2082 32 41 34 0.21/0.31 c 3290 16366 1450320 991795 80 2087 33 33 30 0.21/0.31 c 3300 16423 1454866 994590 80 2092 34 34 30 0.21/0.31 c 3310 16472 1458949 997052 80 2095 33 35 31 0.31/0.31 c 3320 16535 1463571 999219 80 2097 41 44 38 0.31/0.31 c 3330 16584 1468226 1002223 80 2102 31 33 29 0.31/0.32 c 3340 16629 1472035 1004972 80 2106 31 32 29 0.31/0.32 c 3350 16673 1475182 1007167 80 2110 30 30 27 0.31/0.32 c 3360 16725 1479241 1009326 80 2120 30 33 29 0.31/0.32 c 3370 16771 1483168 1012260 80 2124 30 33 29 0.31/0.32 c 3380 16815 1486302 1014375 80 2128 30 30 27 0.31/0.32 c 3390 16875 1491227 1017109 80 2130 38 41 36 0.31/0.32 c 3400 16917 1494395 1020337 80 2135 30 30 27 0.31/0.32 c 3410 16970 1498452 1022408 80 2145 31 33 29 0.31/0.32 c 3420 17014 1501824 1025499 80 2150 32 32 29 0.31/0.32 c 3430 17073 1506937 1027636 80 2160 28 49 29 0.31/0.32 c 3440 17122 1513477 1032220 80 2169 30 31 27 0.31/0.32 c 3450 17166 1516928 1034803 80 2173 32 32 29 0.31/0.33 c 3460 17222 1522367 1037631 80 2177 38 42 35 0.31/0.33 c 3470 17266 1525870 1040556 80 2181 32 32 29 0.31/0.33 c 3480 17320 1530351 1043212 80 2186 36 40 33 0.31/0.33 c 3490 17372 1534319 1045319 80 2189 31 34 30 0.31/0.33 c 3500 17419 1538440 1048194 80 2194 32 34 29 0.31/0.33 c 3510 17476 1543427 1051205 80 2199 37 40 34 0.31/0.33 c 3520 17516 1546769 1053796 80 2200 27 27 24 0.31/0.33 c 3530 17568 1553164 1058581 80 2210 32 32 29 0.31/0.33 c 3540 17614 1557865 1061685 80 2216 32 32 29 0.31/0.33 c 3550 17658 1561084 1064048 80 2218 30 30 27 0.31/0.33 c 3551 17689 1564096 1066251 80 2219 31 31 15 0.31/0.33 c 3560 17732 1567536 1068811 80 2223 32 32 28 0.31/0.34 c 3570 17790 1572059 1071205 80 2225 35 43 36 0.31/0.34 c 3580 17840 1576309 1073878 80 2229 33 35 30 0.31/0.34 c 3590 17900 1581777 1076971 80 2231 35 40 34 0.31/0.34 c 3600 17953 1585991 1079370 80 2235 35 35 31 0.31/0.34 c 3610 18011 1591012 1082239 80 2239 38 38 34 0.31/0.34 c 3620 18055 1594471 1084810 80 2244 32 32 29 0.31/0.34 c 3630 18111 1599437 1087501 80 2248 37 38 34 0.31/0.34 c 3640 18153 1602419 1089611 80 2252 30 30 27 0.31/0.34 c 3650 18211 1607425 1092122 80 2259 35 38 33 0.31/0.34 c 3660 18266 1611295 1094218 80 2262 35 35 31 0.31/0.34 c 3670 18310 1614487 1096345 80 2267 30 30 27 0.31/0.34 c 3680 18366 1619612 1099383 80 2273 36 37 32 0.31/0.34 c 3690 18418 1625909 1106224 80 2276 32 32 29 0.31/0.35 c 3700 18469 1633248 1111699 80 2284 29 31 26 0.31/0.35 c 3710 18511 1637670 1114665 80 2293 32 32 29 0.31/0.35 c 3720 18551 1642170 1118590 80 2303 31 31 28 0.31/0.35 c 3730 18605 1646563 1121142 80 2306 35 35 31 0.31/0.35 c 3740 18662 1651392 1123812 80 2312 34 42 34 0.31/0.35 c 3750 18717 1655399 1125806 80 2318 34 34 30 0.31/0.35 c 3760 18761 1659175 1128606 80 2322 32 32 29 0.31/0.35 c 3770 18811 1662920 1130519 80 2332 31 32 28 0.31/0.35 c 3780 18857 1667309 1133208 80 2337 33 33 30 0.31/0.35 c 3790 18901 1670550 1135444 80 2341 30 30 27 0.31/0.35 c 3800 18951 1674805 1137940 80 2344 29 33 29 0.31/0.35 c 3810 18994 1678304 1140739 80 2348 31 31 28 0.31/0.36 c 3820 19044 1682140 1142714 80 2358 31 32 28 0.31/0.36 c 3830 19093 1686491 1146031 80 2362 30 34 29 0.31/0.36 c 3840 19138 1689806 1148337 80 2364 32 32 29 0.31/0.36 c 3850 19179 1694463 1151974 80 2374 28 29 26 0.31/0.36 c 3860 19218 1698296 1154514 80 2384 27 30 24 0.31/0.36 c 3870 19263 1702596 1157509 80 2389 30 32 28 0.31/0.36 c 3880 19313 1706449 1159548 80 2396 30 34 29 0.31/0.36 c 3890 19357 1710005 1162167 80 2400 32 32 29 0.31/0.36 c 3900 19400 1713161 1164470 80 2402 30 30 27 0.31/0.36 c 3910 19439 1717335 1167320 80 2412 30 30 27 0.31/0.36 c 3920 19485 1722096 1169906 80 2415 33 34 30 0.31/0.36 c 3930 19527 1725476 1172987 80 2419 30 30 27 0.31/0.37 c 3940 19583 1729901 1175035 80 2427 30 34 29 0.31/0.37 c 3950 19637 1734424 1177919 80 2432 37 37 33 0.31/0.37 c 3960 19683 1738325 1180593 80 2437 33 33 30 0.31/0.37 c 3970 19726 1741696 1183191 80 2442 31 31 28 0.31/0.37 c 3980 19783 1746150 1185281 80 2450 30 34 29 0.31/0.37 c 3990 19830 1750118 1188931 80 2456 33 33 30 0.31/0.37 c 4000 19887 1754535 1190920 80 2464 30 34 29 0.31/0.37 c 4001 19921 1757494 1192966 80 2466 33 33 16 0.31/0.37 c 4010 19961 1760411 1195066 80 2467 30 30 27 0.31/0.37 c 4020 20003 1763800 1198215 80 2472 30 30 27 0.31/0.37 c 4030 20060 1768218 1200239 80 2480 30 34 29 0.31/0.37 c 4040 20106 1772027 1203635 80 2485 33 33 30 0.31/0.38 c 4050 20148 1775057 1205791 80 2489 30 30 27 0.31/0.38 c 4060 20200 1779543 1208295 80 2493 29 33 29 0.31/0.38 c 4070 20250 1783385 1210342 80 2500 30 34 29 0.31/0.38 c 4080 20292 1786717 1213333 80 2504 30 30 27 0.31/0.38 c 4090 20336 1789918 1215543 80 2508 30 30 27 0.31/0.38 c 4100 20391 1794695 1218195 80 2512 29 33 29 0.31/0.38 c 4110 20432 1797794 1220014 80 2522 30 32 27 0.31/0.38 c 4120 20471 1802157 1223768 80 2532 30 30 27 0.31/0.38 c 4130 20525 1806738 1226622 80 2536 32 35 31 0.31/0.38 c 4140 20582 1811202 1228706 80 2544 30 34 29 0.31/0.38 c 4150 20628 1815005 1231976 80 2549 33 33 30 0.31/0.38 c 4160 20671 1818238 1234246 80 2552 30 30 27 0.31/0.38 c 4170 20713 1821672 1237009 80 2556 30 31 28 0.31/0.39 c 4180 20757 1824994 1239290 80 2559 30 30 27 0.31/0.39 c 4190 20813 1828925 1241471 80 2569 25 36 31 0.31/0.39 c 4200 20856 1832281 1244470 80 2573 31 31 28 0.31/0.39 c 4210 20916 1836240 1246417 80 2583 36 36 32 0.31/0.39 c 4220 20959 1839592 1249299 80 2588 31 31 28 0.31/0.39 c 4230 21018 1843513 1251225 80 2598 36 36 32 0.31/0.39 c 4240 21064 1847339 1254559 80 2603 33 33 30 0.31/0.39 c 4250 21107 1850494 1256764 80 2606 30 30 27 0.31/0.39 c 4260 21157 1854223 1258669 80 2616 31 32 28 0.31/0.39 c 4270 21202 1858628 1262315 80 2622 31 31 28 0.31/0.39 c 4280 21244 1861790 1264630 80 2623 30 30 27 0.31/0.39 c 4290 21291 1865550 1267107 80 2628 33 33 30 0.31/0.39 c 4300 21337 1869384 1270357 80 2633 33 33 30 0.31/0.40 c 4310 21379 1872443 1272603 80 2637 30 30 27 0.31/0.40 c 4320 21425 1876413 1274868 80 2647 26 35 25 0.31/0.40 c 4330 21475 1880722 1277546 80 2652 32 35 31 0.31/0.40 c 4340 21529 1884802 1279586 80 2662 36 36 32 0.31/0.40 c 4350 21575 1889288 1282912 80 2667 33 33 30 0.31/0.40 c 4360 21618 1892439 1285154 80 2670 30 30 27 0.31/0.40 c 4370 21667 1896352 1287228 80 2680 27 35 28 0.31/0.40 c 4380 21711 1900102 1290785 80 2685 31 31 28 0.31/0.40 c 4390 21753 1903265 1293091 80 2689 30 30 27 0.31/0.40 c 4400 21803 1907877 1296396 80 2699 29 32 27 0.31/0.40 c 4410 21847 1911291 1298883 80 2703 32 32 29 0.31/0.40 c 4420 21903 1915678 1300894 80 2711 30 34 29 0.31/0.41 c 4430 21949 1919524 1304203 80 2716 33 33 30 0.31/0.41 c 4440 21998 1923370 1306727 80 2720 33 33 30 0.31/0.41 c 4450 22044 1927291 1309523 80 2725 33 33 30 0.31/0.41 c 4460 22083 1931689 1313380 80 2735 30 30 27 0.31/0.41 c 4470 22137 1936070 1315943 80 2738 35 35 31 0.31/0.41 c 4480 22178 1939339 1318080 80 2748 20 32 28 0.31/0.41 c 4490 22229 1943711 1320488 80 2752 35 35 31 0.31/0.41 c 4493 22248 1945581 1322377 80 2755 17 17 12 0.31/0.41 c 4500 22287 1949488 1325431 80 2762 33 33 28 0.31/0.41 c 4510 22339 1953833 1327986 80 2764 35 35 31 0.31/0.41 c 4520 22387 1957625 1330515 80 2769 35 35 31 0.41/0.41 c 4530 22413 1960968 1334351 80 2779 17 17 15 0.41/0.41 c 4540 22463 1965219 1336800 80 2782 35 35 31 0.41/0.42 c 4550 22511 1970264 1340069 80 2792 30 30 27 0.41/0.42 c 4560 22560 1974709 1342714 80 2795 35 35 31 0.41/0.42 c 4570 22614 1980245 1345826 80 2798 31 35 29 0.41/0.42 c 4580 22660 1984185 1348486 80 2803 33 33 30 0.41/0.42 c 4590 22708 1988154 1351108 80 2808 34 34 30 0.41/0.42 c 4600 22760 1992677 1353959 80 2814 33 36 32 0.41/0.42 c 4610 22785 1995911 1357931 80 2824 16 16 14 0.41/0.42 c 4620 22836 2000206 1360716 80 2832 34 35 31 0.41/0.42 c 4630 22874 2003512 1363748 80 2842 16 24 18 0.41/0.42 c 4640 22917 2007699 1366124 80 2852 34 34 30 0.41/0.42 c 4650 22965 2011496 1368648 80 2857 35 35 31 0.41/0.43 c 4660 23011 2015477 1371351 80 2862 33 33 30 0.41/0.43 c 4670 23051 2019732 1374850 80 2872 31 31 28 0.41/0.43 c 4680 23101 2024253 1377458 80 2875 35 35 31 0.41/0.43 c 4690 23149 2028329 1380041 80 2880 32 33 29 0.41/0.43 c 4700 23199 2032795 1382661 80 2886 36 36 32 0.41/0.43 c 4710 23252 2036747 1384804 80 2895 32 34 30 0.41/0.43 c 4720 23300 2040942 1387482 80 2900 34 35 31 0.41/0.43 c 4730 23350 2045391 1390156 80 2906 36 36 32 0.41/0.43 c 4740 23406 2049417 1392243 80 2911 34 34 30 0.41/0.43 c 4750 23452 2053317 1394743 80 2916 32 33 29 0.41/0.43 c 4760 23502 2057744 1397434 80 2922 36 36 32 0.41/0.43 c 4770 23554 2061645 1399513 80 2932 33 34 30 0.41/0.44 c 4780 23603 2065673 1402237 80 2938 33 36 32 0.41/0.44 c 4790 23642 2068689 1404226 80 2948 21 30 24 0.41/0.44 c 4800 23691 2072762 1406889 80 2955 32 33 29 0.41/0.44 c 4810 23738 2076569 1409572 80 2961 32 33 29 0.41/0.44 c 4820 23784 2080664 1412359 80 2970 21 32 22 0.41/0.44 c 4830 23831 2084504 1414962 80 2975 33 34 30 0.41/0.44 c 4840 23881 2088760 1417450 80 2981 36 36 32 0.41/0.44 c 4850 23926 2092723 1419935 80 2991 21 36 28 0.41/0.44 c 4860 23977 2097103 1422645 80 2995 35 37 32 0.41/0.44 c 4870 24030 2102030 1425440 80 3003 35 37 32 0.41/0.44 c 4880 24074 2106640 1428346 80 3011 31 33 29 0.41/0.44 c 4890 24137 2110245 1430297 80 3015 30 30 27 0.41/0.44 c 4900 24173 2113968 1434159 80 3025 16 27 17 0.41/0.45 c 4910 24228 2120877 1438816 80 3034 32 34 29 0.41/0.45 c 4920 24275 2124689 1441438 80 3039 33 34 30 0.41/0.45 c 4930 24326 2129066 1443988 80 3044 36 36 32 0.41/0.45 c 4940 24376 2133804 1446718 80 3051 34 35 31 0.41/0.45 c 4950 24422 2138067 1449355 80 3056 32 33 29 0.41/0.45 c 4960 24475 2142486 1451874 80 3058 36 36 32 0.41/0.45 c 4970 24517 2147108 1454760 80 3068 33 33 30 0.41/0.45 c 4980 24565 2151544 1457769 80 3073 32 35 30 0.41/0.45 c 4990 24618 2156422 1460690 80 3081 34 36 31 0.41/0.45 c 5035 24717 2163354 1465605 80 3104 32 33 32 0.41/0.46 c 5631 25702 2257438 1497817 80 3148 16 33 28 0.41/0.47 c 6286 26740 2323608 1541857 80 3189 34 37 35 0.41/0.48 c 7006 28343 2409106 1559482 80 3233 34 37 36 0.41/0.49 c 7798 29521 2536571 1653975 80 3288 31 35 32 0.41/0.51 c 8669 30691 2636059 1756415 80 3338 30 34 32 0.51/0.52 c 9627 31987 2738001 1837728 80 3409 32 34 32 0.51/0.54 c 10680 33347 2917045 1931363 80 3471 29 33 29 0.51/0.56 c 11838 35019 3110452 2116201 80 3555 27 32 29 0.51/0.59 c 13111 38999 3405494 2224686 80 3563 31 44 40 0.60/0.61 c 14511 41039 3616525 2432812 80 3642 30 33 31 0.60/0.63 c 16051 43461 3759987 2511049 80 3679 33 34 33 0.60/0.66 c 17745 46101 4049547 2780443 80 3765 30 33 32 0.60/0.68 c 19608 49051 4294662 2940646 80 3803 32 34 33 0.69/0.72 c 21657 53746 4695544 3200074 80 3915 27 41 35 0.69/0.78 c 23910 58198 5350696 3648647 80 3931 31 36 32 0.79/0.82 c 26388 62066 5745449 3941064 80 3985 25 32 27 0.79/0.87 c 29113 66322 6194370 4357823 80 4072 25 38 27 0.89/0.93 c 32110 70452 6707299 4822996 80 4119 30 31 30 0.89/0.99 c 35406 77684 7312451 5322470 80 4143 27 32 31 1.00/1.05 c 39031 83700 7941119 5826874 80 4200 29 35 31 1.00/1.10 c 43018 90310 8417431 6132591 80 4262 30 39 38 1.10/1.19 c 47403 96276 9157423 6886646 80 4308 29 34 30 1.19/1.25 c 52226 102089 9853643 7341582 80 4349 30 36 33 1.29/1.37 c 57531 112327 10906755 8110054 80 4408 27 36 30 1.39/1.45 c 63366 125037 11868489 8442996 80 4448 28 37 34 1.49/1.59 c 69784 137009 13285706 9605634 80 4538 28 34 32 1.69/1.70 c 76843 148070 14325507 10524968 80 4595 29 34 32 1.79/1.80 c 84607 163745 15421914 10940690 80 4633 24 36 28 1.89/1.92 c 93147 175980 16551895 12030986 80 4648 30 35 31 2.00/2.03 c 102541 189889 17858610 12599435 80 4681 24 38 33 2.10/2.18 c 112874 206881 19356452 13633466 80 4711 26 33 28 2.29/2.36 c 124240 224609 20938986 14787712 80 4761 27 32 30 2.39/2.48 c 136742 244408 22300804 15343465 80 4837 35 37 36 2.69/2.77 c 150494 269048 24779402 17237801 80 4967 27 33 30 2.89/3.00 c 165621 287907 26673994 18671463 80 5015 29 32 31 3.10/3.18 c 182260 308200 28868557 19626847 80 5116 27 40 35 3.49/3.52 c 200562 329961 31317496 22167784 80 5148 28 32 29 3.69/3.78 c 220694 357873 34036362 23846580 80 5225 33 35 34 4.00/4.06 c 242839 408755 37982354 24869032 80 5260 33 44 40 4.29/4.33 c 267198 453988 41081379 26085103 80 5306 30 40 36 5.59/5.68 c 293992 502641 51013536 37342285 80 5429 25 38 29 6.59/6.67 c 323465 560515 59531439 43553370 80 5494 25 37 29 7.49/7.58 c 355885 616209 67400487 49311175 80 5533 26 37 30 8.19/8.27 c 391547 661074 73093758 54906872 80 5617 29 34 30 8.69/8.79 c 430775 738097 79577444 57373597 80 5716 32 44 39 10.39/10.43 c 473925 812372 92452192 70283213 80 5767 28 35 30 10.79/10.84 c 521390 923185 98481094 71293528 80 5817 35 47 42 11.79/11.84 c 573601 1000889 109405207 78670869 80 5901 27 37 32 12.79/12.86 c 631033 1077848 117674164 86718998 80 5998 29 36 31 13.59/13.67 c 694208 1201429 127554664 90889324 80 6110 31 42 39 14.29/14.37 c 763700 1359599 136824407 93024251 80 6169 36 48 40 15.19/15.24 c 840141 1446873 145936298 97057357 80 6256 27 33 29 17.48/17.57 c 924226 1584689 163447848 111223899 80 6301 27 33 29 19.68/19.73 c 1016719 1707581 178889996 125485644 80 6392 24 36 28 20.68/20.72 c 1118461 1859658 191987339 129548174 80 6468 30 40 34 22.28/22.33 c 1230377 2004622 205192383 140039402 80 6535 28 37 30 24.88/24.91 c 1353484 2168949 224854102 157468047 80 6642 27 32 29 26.38/26.48 c 1488901 2385702 243566158 166715482 80 6684 29 42 34 27.78/27.84 c 1637859 2583762 260241957 173417646 80 6776 27 45 40 30.28/30.32 c 1801712 2827027 281488274 191107195 80 6859 29 38 32 33.99/34.05 c 1981950 3112795 309549090 215101496 80 7010 28 38 31 36.99/37.01 c 2180211 3390069 332657380 233575565 80 7054 27 38 31 39.18/39.24 c 2398298 3625270 362182380 249488066 80 7111 32 39 36 41.58/41.65 c 2638193 4049477 393549756 263404893 80 7194 34 42 38 48.18/48.26 c 2902077 4408849 447632519 310144870 80 7293 27 34 29 51.78/51.84 c 3192349 4865042 493633695 327669784 80 7357 32 41 36 57.58/57.65 c 3511648 5432251 556713125 375081866 80 7431 32 44 38 62.09/62.14 c 3862876 5854743 592458223 404281153 80 7521 30 35 33 66.99/67.09 c 4249226 6419903 649632064 431287511 80 7581 35 40 36 71.58/71.65 c 4674211 7440584 707697448 448986422 80 7649 29 51 43 81.18/81.28 c 5141694 8172972 785334222 499294100 80 7732 27 35 31 87.38/87.46 c 5655925 8836330 834542550 542158454 80 7801 28 32 31 99.18/99.22 c 6221579 9595416 967203957 625519503 80 7959 28 43 34 112.88/112.93 c 6843798 10635250 1084629530 716020275 80 8000 25 41 31 126.48/126.54 c 7528238 11574384 1181238192 798178715 80 8088 27 37 29 134.09/134.16 c 8281122 13201512 1281429523 821952031 80 8201 31 47 37 149.48/149.54 c 9109294 14313793 1392723621 914924509 80 8289 27 37 29 160.88/160.98 c 10020283 15777140 1529572209 975118243 80 8426 28 42 37 193.38/193.43 c 11022370 17387265 1765132213 1222664937 80 8511 26 38 31 210.18/210.27 c 12124665 19659071 1945125348 1324200117 80 8623 25 40 35 227.09/227.19 c 13337189 22412012 2159759360 1392651750 80 8784 25 43 36 242.48/242.58 c 14670965 24759570 2361220506 1456053218 80 8986 25 42 36 263.58/263.62 c 16138118 27668303 2581233929 1563954140 80 9100 25 43 34 295.58/295.68 c 17751986 29837545 2853965273 1830697561 80 9161 27 32 30 320.48/320.59 c 19527240 33037237 3127263908 1976807000 80 9247 25 41 36 355.38/355.50 c 21480019 35680266 3420846236 2260725294 80 9318 25 31 30 398.48/398.51 c 23628075 38962559 3802614026 2528860899 80 9402 27 39 31 426.67/426.79 c 25990936 43636307 4173227912 2648622453 80 9531 28 41 37 471.57/471.60 c 28590083 47157843 4567641670 3008115436 80 9610 27 32 31 506.27/506.39 c 31449144 51974234 4941092825 3194322078 80 9716 25 40 34 588.27/588.34 c 34594111 56826839 5610781729 3807335276 80 9783 28 32 30 631.47/631.57 c 38053574 63239370 6145569749 4067747293 80 9881 28 41 36 720.46/720.52 c 41858983 69106829 6868463933 4688528358 80 9912 30 32 31 761.07/761.16 c 46044932 74733727 7442825451 4844932541 80 10059 33 50 40 865.86/865.99 c 50649475 82603521 8265980069 5397085903 80 10109 30 32 31 938.06/938.12 c 55714472 92270375 9165970173 5760184104 80 10198 28 47 37 1012.85/1012.91 c 61285968 102027987 9901102269 6141116528 80 10323 27 37 30 1112.45/1112.55 c 67414613 113963918 10905747508 6644741588 80 10441 26 39 33 1228.64/1228.77 c 74156122 124459648 11825504559 7330008241 80 10489 28 39 32 1338.74/1338.82 c 81571781 137307868 12965126187 8010867904 80 10530 27 35 33 1434.33/1434.46 c 89729005 155458593 14065728837 8354115898 80 10644 27 37 32 1561.04/1561.18 c 98701951 175093133 15450639863 8863720208 80 10717 29 33 32 1735.22/1735.37 c 108572191 189794268 17158705272 9619136169 80 10809 27 37 31 1878.12/1878.27 c 119429455 206443545 18426202847 10396026979 80 10893 29 35 33 1993.51/1993.64 c 131372445 229441839 19773040141 10851910939 80 10979 27 33 32 2234.80/2234.97 c 144509734 250911730 22353011589 12446024858 80 11126 25 38 32 2513.09/2513.26 c 158960751 273196063 25501823967 15002477745 80 11254 30 37 35 2519.90/2520.00 2519.90/2520.00 c *** INTERRUPTED *** 2519.90/2520.00 c restarts : 625 2519.90/2520.00 c conflicts : 159657536 (63359 /sec) 2519.90/2520.00 c decisions : 274199771 (108814 /sec) 2519.90/2520.00 c propagations : 15044728794 (5970395 /sec) 2519.90/2520.00 c root propagations : 234 2519.90/2520.00 c filter calls : 25570941141 (10147648 /sec) 2519.90/2520.00 c useless filter calls : 16475449300 (64 %) 2519.90/2520.00 c 2519.90/2520.00 c clauses : 73734 2519.90/2520.00 c SAT propagations : 3994 2519.90/2520.00 c SAT conflicts : 0 (0 learnts) 2519.90/2520.00 c Memory used : 33.59 MB 2519.90/2520.00 c CPU time : 2519.89 s 2519.90/2520.00 2519.90/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 (11335 MiB free) memory of node 1: 16384 MiB (13395 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265996-1502583802/watcher-4265996-1502583802 -o /tmp/evaluation-result-4265996-1502583802/solver-4265996-1502583802 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24899 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265996-1502583802.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 solver pid=28091, runsolver pid=28088 Current StackSize limit: 8192 KiB [startup+0.10015 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 28092 /proc/meminfo: memFree=25319216/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=33976 memory=9004 CPUtime=0.1 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 1906 0 0 0 10 0 0 0 20 0 1 0 91467921 34791424 2251 33554432000 4194304 5972588 140729063205328 140729063201976 5307184 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8494 2251 843 435 0 1857 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 33976 KiB Current children cumulated memory: 9004 KiB [startup+0.209735 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 28092 /proc/meminfo: memFree=25319216/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=33976 memory=9004 CPUtime=0.21 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 1918 0 0 0 21 0 0 0 20 0 1 0 91467921 34791424 2251 33554432000 4194304 5972588 140729063205328 140729063201976 4995572 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8494 2251 843 435 0 1857 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 33976 KiB Current children cumulated memory: 9004 KiB [startup+0.309032 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 28092 /proc/meminfo: memFree=25319048/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=33976 memory=9004 CPUtime=0.31 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 1925 0 0 0 31 0 0 0 20 0 1 0 91467921 34791424 2251 33554432000 4194304 5972588 140729063205328 140729063202632 140532752612448 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8494 2251 843 435 0 1857 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 33976 KiB Current children cumulated memory: 9004 KiB [startup+0.700273 s] /proc/loadavg: 2.00 2.01 2.05 3/187 28092 /proc/meminfo: memFree=25319048/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34112 memory=9004 CPUtime=0.69 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 1943 0 0 0 69 0 0 0 20 0 1 0 91467921 34930688 2251 33554432000 4194304 5972588 140729063205328 140729063202632 5328729 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8528 2251 843 435 0 1891 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 34112 KiB Current children cumulated memory: 9004 KiB [startup+1.50027 s] /proc/loadavg: 2.00 2.01 2.05 3/187 28092 /proc/meminfo: memFree=25319048/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34112 memory=9004 CPUtime=1.49 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 1951 0 0 0 149 0 0 0 20 0 1 0 91467921 34930688 2251 33554432000 4194304 5972588 140729063205328 140729063202632 4908963 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8528 2251 843 435 0 1891 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 34112 KiB Current children cumulated memory: 9004 KiB [startup+3.10897 s] /proc/loadavg: 2.00 2.01 2.05 3/187 28092 /proc/meminfo: memFree=25317272/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34112 memory=9212 CPUtime=3.1 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 2414 0 0 0 310 0 0 0 20 0 1 0 91467921 34930688 2303 33554432000 4194304 5972588 140729063205328 140729063202632 4995590 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8528 2303 843 435 0 1891 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 34112 KiB Current children cumulated memory: 9212 KiB [startup+6.30025 s] /proc/loadavg: 2.00 2.01 2.05 3/187 28092 /proc/meminfo: memFree=25317340/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34112 memory=9228 CPUtime=6.29 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 3011 0 0 0 629 0 0 0 20 0 1 0 91467921 34930688 2307 33554432000 4194304 5972588 140729063205328 140729063202632 4995517 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8528 2307 843 435 0 1891 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 34112 KiB Current children cumulated memory: 9228 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/187 28092 /proc/meminfo: memFree=25317108/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34112 memory=9256 CPUtime=12.69 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 3591 0 0 0 1269 0 0 0 20 0 1 0 91467921 34930688 2314 33554432000 4194304 5972588 140729063205328 140729063202632 5099632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8528 2314 843 435 0 1891 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 34112 KiB Current children cumulated memory: 9256 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/187 28092 /proc/meminfo: memFree=25317184/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34252 memory=9300 CPUtime=25.48 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 4641 0 0 0 2548 0 0 0 20 0 1 0 91467921 35074048 2325 33554432000 4194304 5972588 140729063205328 140729063202152 4908963 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8563 2325 843 435 0 1926 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 34252 KiB Current children cumulated memory: 9300 KiB [startup+51.109 s] /proc/loadavg: 2.00 2.01 2.05 3/187 28092 /proc/meminfo: memFree=25317276/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34252 memory=9312 CPUtime=51.09 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 5290 0 0 0 5109 0 0 0 20 0 1 0 91467921 35074048 2328 33554432000 4194304 5972588 140729063205328 140729063202632 5312304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8563 2328 843 435 0 1926 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 34252 KiB Current children cumulated memory: 9312 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 28101 /proc/meminfo: memFree=25316796/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34252 memory=9344 CPUtime=102.28 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 6032 0 0 0 10228 0 0 0 20 0 1 0 91467921 35074048 2336 33554432000 4194304 5972588 140729063205328 140729063202632 5323717 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8563 2336 843 435 0 1926 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 34252 KiB Current children cumulated memory: 9344 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 28102 /proc/meminfo: memFree=25317848/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34252 memory=9372 CPUtime=162.28 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 6624 0 0 0 16228 0 0 0 20 0 1 0 91467921 35074048 2343 33554432000 4194304 5972588 140729063205328 140729063202632 5328677 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8563 2343 843 435 0 1926 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 34252 KiB Current children cumulated memory: 9372 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 28103 /proc/meminfo: memFree=25317000/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34252 memory=9396 CPUtime=222.28 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 7204 0 0 0 22227 1 0 0 20 0 1 0 91467921 35074048 2349 33554432000 4194304 5972588 140729063205328 140729063202632 5099648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8563 2349 843 435 0 1926 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 34252 KiB Current children cumulated memory: 9396 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 28104 /proc/meminfo: memFree=25318012/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34252 memory=9396 CPUtime=282.28 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 7762 0 0 0 28227 1 0 0 20 0 1 0 91467921 35074048 2349 33554432000 4194304 5972588 140729063205328 140729063202632 5099616 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8563 2349 843 435 0 1926 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 34252 KiB Current children cumulated memory: 9396 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 28105 /proc/meminfo: memFree=25317856/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34252 memory=9400 CPUtime=342.28 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 8253 0 0 0 34227 1 0 0 20 0 1 0 91467921 35074048 2350 33554432000 4194304 5972588 140729063205328 140729063202632 4995521 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8563 2350 843 435 0 1926 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 34252 KiB Current children cumulated memory: 9400 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 28106 /proc/meminfo: memFree=25317684/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34252 memory=9416 CPUtime=402.28 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 8809 0 0 0 40227 1 0 0 20 0 1 0 91467921 35074048 2354 33554432000 4194304 5972588 140729063205328 140729063202632 4995525 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8563 2354 843 435 0 1926 0 Current children cumulated CPU time: 402.28 s Current children cumulated vsize: 34252 KiB Current children cumulated memory: 9416 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 28107 /proc/meminfo: memFree=25317532/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34252 memory=9416 CPUtime=462.27 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 9302 0 0 0 46226 1 0 0 20 0 1 0 91467921 35074048 2354 33554432000 4194304 5972588 140729063205328 140729063202632 5338542 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8563 2354 843 435 0 1926 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 34252 KiB Current children cumulated memory: 9416 KiB ################ # More data... # ################ /proc/28091/statm: 8599 2369 843 435 0 1962 0 Current children cumulated CPU time: 1722.22 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9476 KiB [startup+1782.3 s] /proc/loadavg: 2.05 2.10 2.08 3/187 28147 /proc/meminfo: memFree=25314444/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9480 CPUtime=1782.22 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 18509 0 0 0 178221 1 0 0 20 0 1 0 91467921 35221504 2370 33554432000 4194304 5972588 140729063205328 140729063202632 4995572 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2370 843 435 0 1962 0 Current children cumulated CPU time: 1782.22 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9480 KiB [startup+1842.3 s] /proc/loadavg: 2.02 2.08 2.07 3/187 28148 /proc/meminfo: memFree=25314516/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9480 CPUtime=1842.22 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 18780 0 0 0 184221 1 0 0 20 0 1 0 91467921 35221504 2370 33554432000 4194304 5972588 140729063205328 140729063202632 4995482 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2370 843 435 0 1962 0 Current children cumulated CPU time: 1842.22 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9480 KiB [startup+1902.3 s] /proc/loadavg: 2.01 2.07 2.07 3/188 28157 /proc/meminfo: memFree=25313752/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9480 CPUtime=1902.21 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 19250 0 0 0 190220 1 0 0 20 0 1 0 91467921 35221504 2370 33554432000 4194304 5972588 140729063205328 140729063202632 4995482 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2370 843 435 0 1962 0 Current children cumulated CPU time: 1902.21 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9480 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.06 2.06 3/188 28158 /proc/meminfo: memFree=25313880/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9480 CPUtime=1962.21 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 19473 0 0 0 196220 1 0 0 20 0 1 0 91467921 35221504 2370 33554432000 4194304 5972588 140729063205328 140729063202632 4909013 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2370 843 435 0 1962 0 Current children cumulated CPU time: 1962.21 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9480 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.04 2.06 3/188 28159 /proc/meminfo: memFree=25313996/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9480 CPUtime=2022.21 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 19913 0 0 0 202220 1 0 0 20 0 1 0 91467921 35221504 2370 33554432000 4194304 5972588 140729063205328 140729063202632 5243803 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2370 843 435 0 1962 0 Current children cumulated CPU time: 2022.21 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9480 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.04 2.05 3/188 28160 /proc/meminfo: memFree=25314036/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9480 CPUtime=2082.21 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 20311 0 0 0 208220 1 0 0 20 0 1 0 91467921 35221504 2370 33554432000 4194304 5972588 140729063205328 140729063202632 5321113 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2370 843 435 0 1962 0 Current children cumulated CPU time: 2082.21 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9480 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.03 2.05 3/188 28161 /proc/meminfo: memFree=25314216/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9480 CPUtime=2142.2 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 20642 0 0 0 214219 1 0 0 20 0 1 0 91467921 35221504 2370 33554432000 4194304 5972588 140729063205328 140729063202632 5099616 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2370 843 435 0 1962 0 Current children cumulated CPU time: 2142.2 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9480 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 28162 /proc/meminfo: memFree=25314092/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9480 CPUtime=2202.2 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 20908 0 0 0 220219 1 0 0 20 0 1 0 91467921 35221504 2370 33554432000 4194304 5972588 140729063205328 140729063202632 4995482 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2370 843 435 0 1962 0 Current children cumulated CPU time: 2202.2 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9480 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 28163 /proc/meminfo: memFree=25314160/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9484 CPUtime=2262.2 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 21398 0 0 0 226219 1 0 0 20 0 1 0 91467921 35221504 2371 33554432000 4194304 5972588 140729063205328 140729063202632 5320883 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2371 843 435 0 1962 0 Current children cumulated CPU time: 2262.2 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9484 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 28164 /proc/meminfo: memFree=25313904/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9484 CPUtime=2322.2 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 21686 0 0 0 232219 1 0 0 20 0 1 0 91467921 35221504 2371 33554432000 4194304 5972588 140729063205328 140729063202632 5320824 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2371 843 435 0 1962 0 Current children cumulated CPU time: 2322.2 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9484 KiB [startup+2382.3 s] /proc/loadavg: 1.96 2.00 2.04 3/187 28353 /proc/meminfo: memFree=27119208/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9484 CPUtime=2382.2 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 22052 0 0 0 238218 2 0 0 20 0 1 0 91467921 35221504 2371 33554432000 4194304 5972588 140729063205328 140729063202632 5243776 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2371 843 435 0 1962 0 Current children cumulated CPU time: 2382.2 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9484 KiB [startup+2442.3 s] /proc/loadavg: 1.99 2.00 2.04 3/187 28354 /proc/meminfo: memFree=27119204/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9484 CPUtime=2442.2 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 22319 0 0 0 244218 2 0 0 20 0 1 0 91467921 35221504 2371 33554432000 4194304 5972588 140729063205328 140729063202632 5099616 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2371 843 435 0 1962 0 Current children cumulated CPU time: 2442.2 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9484 KiB [startup+2502.3 s] /proc/loadavg: 1.99 2.00 2.04 3/188 28363 /proc/meminfo: memFree=27118656/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9484 CPUtime=2502.2 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 22585 0 0 0 250218 2 0 0 20 0 1 0 91467921 35221504 2371 33554432000 4194304 5972588 140729063205328 140729063202632 5094232 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2371 843 435 0 1962 0 Current children cumulated CPU time: 2502.2 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9484 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.00 2.04 3/188 28363 /proc/meminfo: memFree=27118780/32770624 swapFree=67108860/67108860 [pid=28091] ppid=28088 vsize=34396 memory=9512 CPUtime=2519.9 cores=1,3,5,7 /proc/28091/stat : 28091 (cosoco) R 28088 28091 24815 0 -1 4202496 23147 0 0 0 251988 2 0 0 20 0 1 0 91467921 35221504 2378 33554432000 4194304 5972588 140729063205328 140729063202632 5342864 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 16875520 140729063212218 140729063212318 140729063212318 140729063215054 0 /proc/28091/statm: 8599 2378 843 435 0 1962 0 Current children cumulated CPU time: 2519.9 s Current children cumulated vsize: 34396 KiB Current children cumulated memory: 9512 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 28091 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.89 s, system=0.022999 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.91 CPU user time (s): 2519.89 CPU system time (s): 0.022999 CPU usage (%): 99.9961 Max. virtual memory (cumulated for all children) (KiB): 34396 Max. memory (cumulated for all children) (KiB): 9512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.89 system time used= 0.022999 maximum resident set size= 9580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23191 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= 10 involuntary context switches= 683 # summary of solver processes directly reported to runsolver: # pid: 28091 # total CPU time (s): 2519.91 # total CPU user time (s): 2519.89 # total CPU system time (s): 0.022999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.29618 second user time and 15.4291 second system time The end
Begin job on node113 at 2017-08-13 02:09:04 IDJOB=4265996 IDBENCH=134538 IDSOLVER=2655 FILE ID=node113/4265996-1502583802 RUNJOBID= node113-1502567255-24899 PBS_JOBID= 20628282 Free space on /tmp= 61808 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s10/Blackhole-10-3-04.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265996-1502583802/watcher-4265996-1502583802 -o /tmp/evaluation-result-4265996-1502583802/solver-4265996-1502583802 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24899 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265996-1502583802.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 986ee2669b222e63b3403a1d528be806 RANDOM SEED=2084626375 node113.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.89 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.89 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.89 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.89 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: 25324796 kB MemAvailable: 30185800 kB Buffers: 129696 kB Cached: 5023464 kB SwapCached: 0 kB Active: 2271008 kB Inactive: 4742908 kB Active(anon): 1863528 kB Inactive(anon): 24988 kB Active(file): 407480 kB Inactive(file): 4717920 kB Unevictable: 6572 kB Mlocked: 6572 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2332 kB Writeback: 0 kB AnonPages: 1869332 kB Mapped: 44704 kB Shmem: 25224 kB Slab: 128376 kB SReclaimable: 102880 kB SUnreclaim: 25496 kB KernelStack: 3200 kB PageTables: 8188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2474912 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 196608 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61804 MiB End job on node113 at 2017-08-13 02:51:05