| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.03 | 2519.8999 |
| Name | MagicHexagon/MagicHexagon-m1-s1/ MagicHexagon-10-m021.xml |
| MD5SUM | bb8f18d9394a9daa2d276ef3f55d21f6 |
| 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 | 361 |
| Number of constraints | 64 |
| Number of domains | 1 |
| Minimum domain size | 271 |
| Maximum domain size | 271 |
| Distribution of domain sizes | [{"size":271,"count":271}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 9 |
| Distribution of variable degrees | [{"degree":0,"count":90},{"degree":4,"count":265},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 271 |
| Distribution of constraint arities | [{"arity":2,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":6},{"arity":16,"count":6},{"arity":17,"count":6},{"arity":18,"count":6},{"arity":19,"count":3},{"arity":271,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 6 |
| Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":57}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c intension x[0][0]<x[0][9] using generic constraint 0.00/0.00 c intension x[0][0]<x[9][18] using generic constraint 0.00/0.00 c intension x[0][0]<x[18][9] using generic constraint 0.00/0.00 c intension x[0][0]<x[18][0] using generic constraint 0.00/0.00 c intension x[0][0]<x[9][0] using generic constraint 0.00/0.01 c intension x[0][9]<x[9][0] using generic constraint 0.89/0.91 c SAT : Variables: 97831 -- Clauses: 13207546 0.89/0.91 c root propagations : 9 0.89/0.91 c restarts enabled, print stats at every restarts 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c This is cosoco 1.12 -- 0.89/0.91 c 0.89/0.91 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266139-1502581669.xml 0.89/0.91 c ========================================[ Problem Statistics ]=========================================== 0.89/0.91 c | 0.89/0.91 c | Parse time : 0.78 s 0.89/0.91 c | 0.89/0.91 c | Variables: 361 0.89/0.91 c | Domain Sizes: 271..271 0.89/0.91 c | 0.89/0.91 c | Constraints: 64 0.89/0.91 c | Arity: 2..271 -- Binary: 6 0.89/0.91 c | 0.89/0.91 c | Types: 0.89/0.91 c | (X - Y < k): 6 0.89/0.91 c | All Different: 1 0.89/0.91 c | Sum: 57 0.89/0.91 c | 0.89/0.91 c ========================================================================================================= 0.89/0.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.89/0.91 c remove useless variable x[0][10] 0.89/0.91 c remove useless variable x[0][11] 0.89/0.91 c remove useless variable x[0][12] 0.89/0.91 c remove useless variable x[0][13] 0.89/0.91 c remove useless variable x[0][14] 0.89/0.91 c remove useless variable x[0][15] 0.89/0.91 c remove useless variable x[0][16] 0.89/0.91 c remove useless variable x[0][17] 0.89/0.91 c remove useless variable x[0][18] 0.89/0.91 c remove useless variable x[1][11] 0.89/0.91 c remove useless variable x[1][12] 0.89/0.91 c remove useless variable x[1][13] 0.89/0.91 c remove useless variable x[1][14] 0.89/0.91 c remove useless variable x[1][15] 0.89/0.91 c remove useless variable x[1][16] 0.89/0.91 c remove useless variable x[1][17] 0.89/0.91 c remove useless variable x[1][18] 0.89/0.91 c remove useless variable x[2][12] 0.89/0.91 c remove useless variable x[2][13] 0.89/0.91 c remove useless variable x[2][14] 0.89/0.91 c remove useless variable x[2][15] 0.89/0.91 c remove useless variable x[2][16] 0.89/0.91 c remove useless variable x[2][17] 0.89/0.91 c remove useless variable x[2][18] 0.89/0.91 c remove useless variable x[3][13] 0.89/0.91 c remove useless variable x[3][14] 0.89/0.91 c remove useless variable x[3][15] 0.89/0.91 c remove useless variable x[3][16] 0.89/0.91 c remove useless variable x[3][17] 0.89/0.91 c remove useless variable x[3][18] 0.89/0.91 c remove useless variable x[4][14] 0.89/0.91 c remove useless variable x[4][15] 0.89/0.91 c remove useless variable x[4][16] 0.89/0.91 c remove useless variable x[4][17] 0.89/0.91 c remove useless variable x[4][18] 0.89/0.91 c remove useless variable x[5][15] 0.89/0.91 c remove useless variable x[5][16] 0.89/0.91 c remove useless variable x[5][17] 0.89/0.91 c remove useless variable x[5][18] 0.89/0.91 c remove useless variable x[6][16] 0.89/0.91 c remove useless variable x[6][17] 0.89/0.91 c remove useless variable x[6][18] 0.89/0.91 c remove useless variable x[7][17] 0.89/0.91 c remove useless variable x[7][18] 0.89/0.91 c remove useless variable x[8][18] 0.89/0.91 c remove useless variable x[10][18] 0.89/0.91 c remove useless variable x[11][17] 0.89/0.91 c remove useless variable x[11][18] 0.89/0.91 c remove useless variable x[12][16] 0.89/0.91 c remove useless variable x[12][17] 0.89/0.91 c remove useless variable x[12][18] 0.89/0.91 c remove useless variable x[13][15] 0.89/0.91 c remove useless variable x[13][16] 0.89/0.91 c remove useless variable x[13][17] 0.89/0.91 c remove useless variable x[13][18] 0.89/0.91 c remove useless variable x[14][14] 0.89/0.91 c remove useless variable x[14][15] 0.89/0.91 c remove useless variable x[14][16] 0.89/0.91 c remove useless variable x[14][17] 0.89/0.91 c remove useless variable x[14][18] 0.89/0.91 c remove useless variable x[15][13] 0.89/0.91 c remove useless variable x[15][14] 0.89/0.91 c remove useless variable x[15][15] 0.89/0.91 c remove useless variable x[15][16] 0.89/0.91 c remove useless variable x[15][17] 0.89/0.91 c remove useless variable x[15][18] 0.89/0.91 c remove useless variable x[16][12] 0.89/0.91 c remove useless variable x[16][13] 0.89/0.91 c remove useless variable x[16][14] 0.89/0.91 c remove useless variable x[16][15] 0.89/0.91 c remove useless variable x[16][16] 0.89/0.91 c remove useless variable x[16][17] 0.89/0.91 c remove useless variable x[16][18] 0.89/0.91 c remove useless variable x[17][11] 0.89/0.91 c remove useless variable x[17][12] 0.89/0.91 c remove useless variable x[17][13] 0.89/0.91 c remove useless variable x[17][14] 0.89/0.91 c remove useless variable x[17][15] 0.89/0.91 c remove useless variable x[17][16] 0.89/0.91 c remove useless variable x[17][17] 0.89/0.91 c remove useless variable x[17][18] 0.89/0.91 c remove useless variable x[18][10] 0.89/0.91 c remove useless variable x[18][11] 0.89/0.91 c remove useless variable x[18][12] 0.89/0.91 c remove useless variable x[18][13] 0.89/0.91 c remove useless variable x[18][14] 0.89/0.91 c remove useless variable x[18][15] 0.89/0.91 c remove useless variable x[18][16] 0.89/0.91 c remove useless variable x[18][17] 0.89/0.91 c remove useless variable x[18][18] 0.89/0.94 c 10 29 1377 9663 6 6 19 20 17 0.89/0.96 c 20 57 2496 18945 6 12 18 19 16 0.89/0.98 c 30 86 3723 28403 6 18 19 20 17 1.00/1.01 c 40 115 4958 37629 6 24 19 20 17 1.00/1.03 c 50 144 6138 46949 6 30 19 20 17 1.00/1.05 c 60 173 7365 55798 6 36 19 20 17 1.00/1.08 c 70 202 8600 64415 6 42 19 20 17 1.00/1.10 c 80 231 9737 75165 6 47 19 19 17 1.10/1.11 c 90 252 10471 92516 6 57 11 12 10 1.10/1.13 c 100 275 11297 103339 6 62 12 13 11 1.10/1.15 c 101 289 12022 110392 6 63 14 14 7 1.10/1.16 c 110 313 12995 119727 6 72 15 16 13 1.10/1.18 c 120 339 14052 129515 6 78 16 17 15 1.19/1.21 c 130 366 15115 140003 6 84 17 18 15 1.19/1.23 c 140 393 16220 148601 6 90 17 18 15 1.19/1.24 c 150 414 16979 156857 6 96 11 12 10 1.19/1.26 c 160 436 17726 165659 6 102 12 13 11 1.19/1.27 c 170 459 18607 174468 6 108 13 14 12 1.19/1.29 c 180 483 19474 183821 6 114 14 15 13 1.29/1.31 c 190 508 20477 193179 6 120 15 16 14 1.29/1.33 c 200 534 21464 203079 6 126 16 17 15 1.29/1.35 c 210 556 22268 220676 6 136 12 13 11 1.29/1.36 c 211 570 22993 226446 6 137 14 14 7 1.29/1.38 c 220 594 23963 234117 6 146 15 16 13 1.39/1.40 c 230 620 25015 242269 6 152 16 17 15 1.39/1.41 c 240 637 25474 249762 6 158 7 8 6 1.39/1.42 c 250 654 25921 257169 6 164 7 8 6 1.39/1.43 c 260 672 26497 264588 6 170 8 9 7 1.39/1.44 c 270 691 27064 272556 6 176 9 10 8 1.39/1.45 c 280 711 27762 280534 6 182 10 11 9 1.39/1.47 c 290 732 28449 289059 6 188 11 12 10 1.39/1.48 c 300 754 29269 297592 6 194 12 13 11 1.49/1.50 c 310 777 30076 306670 6 200 13 14 12 1.49/1.52 c 320 801 31018 315754 6 206 14 15 13 1.49/1.54 c 330 826 31946 325514 6 212 15 16 14 1.49/1.55 c 332 841 32736 331085 6 214 14 14 9 1.49/1.57 c 340 863 33588 338885 6 222 14 15 12 1.49/1.59 c 350 888 34571 346648 6 228 15 16 14 1.59/1.60 c 360 905 35074 353873 6 234 7 8 6 1.59/1.61 c 370 922 35523 361250 6 240 7 8 6 1.59/1.62 c 380 940 36080 368640 6 246 8 9 7 1.59/1.63 c 390 959 36706 376339 6 252 9 10 8 1.59/1.64 c 400 979 37338 384556 6 258 10 11 9 1.59/1.66 c 410 1000 38078 392783 6 264 11 12 10 1.59/1.67 c 420 1022 38887 401316 6 270 12 13 11 1.59/1.69 c 430 1045 39702 410364 6 276 13 14 12 1.69/1.71 c 440 1069 40625 419419 6 282 14 15 13 1.69/1.73 c 450 1094 41618 428938 6 288 15 16 14 1.69/1.74 c 460 1118 42494 436830 6 294 14 15 13 1.69/1.76 c 465 1136 43304 444189 6 299 14 14 11 1.69/1.78 c 470 1155 44181 450200 6 304 15 15 12 1.69/1.80 c 480 1179 45051 458078 6 314 14 15 13 1.79/1.81 c 490 1204 46034 465870 6 320 15 16 14 1.79/1.83 c 500 1223 46659 473656 6 326 9 10 8 1.79/1.84 c 510 1240 47108 481033 6 332 7 8 6 1.79/1.85 c 520 1258 47665 488423 6 338 8 9 7 1.79/1.86 c 530 1277 48291 496122 6 344 9 10 8 1.79/1.87 c 540 1293 48679 503217 6 350 6 7 5 1.79/1.88 c 550 1310 49175 510326 6 356 7 8 6 1.79/1.89 c 560 1326 49629 517153 6 362 6 7 5 1.79/1.90 c 570 1343 50076 524560 6 368 7 8 6 1.89/1.90 c 580 1359 50519 531387 6 374 6 7 5 1.89/1.91 c 590 1376 50968 538764 6 380 7 8 6 1.89/1.92 c 600 1394 51457 544541 6 382 7 8 6 1.89/1.93 c 610 1410 51844 551636 6 388 6 7 5 1.89/1.94 c 611 1416 52084 555308 6 389 6 6 3 1.89/1.94 c 620 1431 52457 562399 6 398 6 7 5 1.89/1.95 c 630 1447 52845 569494 6 404 6 7 5 1.89/1.96 c 640 1465 53273 575539 6 406 7 8 6 1.89/1.97 c 650 1481 53672 582634 6 412 6 7 5 1.89/1.98 c 660 1499 54155 590250 6 414 7 8 6 1.89/1.99 c 670 1515 54553 597345 6 420 6 7 5 1.89/1.99 c 680 1531 54941 604440 6 426 6 7 5 1.89/2.00 c 690 1547 55328 611535 6 432 6 7 5 2.00/2.01 c 700 1563 55727 618630 6 438 6 7 5 2.00/2.02 c 710 1581 56150 624088 6 445 7 8 6 2.00/2.03 c 720 1597 56538 631183 6 451 6 7 5 2.00/2.04 c 730 1615 56971 637228 6 453 7 8 6 2.00/2.04 c 740 1631 57358 644353 6 459 6 7 5 2.00/2.05 c 750 1647 57756 651448 6 465 6 7 5 2.00/2.06 c 760 1665 58194 657493 6 467 7 8 6 2.00/2.07 c 770 1681 58582 664588 6 473 6 7 5 2.00/2.07 c 771 1687 58820 668260 6 474 6 6 3 2.00/2.08 c 780 1703 59225 673942 6 475 7 8 6 2.00/2.09 c 790 1719 59612 681067 6 481 6 7 5 2.00/2.10 c 800 1737 60046 686512 6 488 7 8 6 2.10/2.11 c 810 1755 60474 692563 6 490 7 8 6 2.10/2.11 c 820 1771 60862 699658 6 496 6 7 5 2.10/2.12 c 830 1789 61290 705703 6 498 7 8 6 2.10/2.13 c 840 1805 61689 712798 6 504 6 7 5 2.10/2.14 c 850 1823 62116 718243 6 511 7 8 6 2.10/2.15 c 860 1841 62548 724288 6 513 7 8 6 2.10/2.16 c 870 1859 62986 730333 6 515 7 8 6 2.10/2.17 c 880 1877 63419 736378 6 517 7 8 6 2.10/2.18 c 890 1896 63870 742997 6 524 7 8 6 2.10/2.18 c 900 1914 64310 748442 6 531 7 8 6 2.10/2.19 c 910 1930 64698 755537 6 537 6 7 5 2.19/2.20 c 920 1946 65085 762632 6 543 6 7 5 2.19/2.21 c 930 1962 65484 769727 6 549 6 7 5 2.19/2.21 c 940 1978 65871 776852 6 555 6 7 5 2.19/2.22 c 947 1991 66231 783532 6 562 6 7 5 2.19/2.23 c 950 2000 66509 787256 6 565 7 7 5 2.19/2.23 c 960 2016 66897 794351 6 571 6 7 5 2.19/2.24 c 970 2032 67285 801446 6 577 6 7 5 2.19/2.25 c 980 2050 67763 808762 6 586 7 8 6 2.19/2.26 c 990 2066 68150 815857 6 592 6 7 5 2.19/2.27 c 1000 2082 68549 822952 6 598 6 7 5 2.19/2.27 c 1010 2098 68936 830077 6 604 6 7 5 2.19/2.28 c 1020 2116 69369 836122 6 606 7 8 6 2.19/2.29 c 1030 2134 69797 842173 6 608 7 8 6 2.29/2.30 c 1040 2151 70217 849264 6 614 6 7 6 2.29/2.31 c 1050 2169 70657 854709 6 621 7 8 6 2.29/2.32 c 1060 2187 71093 860755 6 624 7 8 6 2.29/2.32 c 1070 2203 71491 867850 6 630 6 7 5 2.29/2.33 c 1080 2222 71952 874460 6 638 7 8 6 2.29/2.34 c 1090 2240 72379 879905 6 645 7 8 6 2.29/2.35 c 1100 2258 72821 885950 6 647 7 8 6 2.29/2.36 c 1110 2277 73272 892560 6 655 7 8 6 2.29/2.37 c 1120 2293 73671 899655 6 661 6 7 5 2.29/2.38 c 1130 2311 74098 905100 6 668 7 8 6 2.29/2.39 c 1140 2329 74530 911145 6 670 7 8 6 2.29/2.39 c 1141 2337 74815 914813 6 671 8 8 4 2.39/2.40 c 1150 2354 75235 920226 6 677 7 8 6 2.39/2.41 c 1160 2373 75698 926833 6 686 7 8 6 2.39/2.42 c 1170 2391 76126 932884 6 688 7 8 6 2.39/2.43 c 1180 2409 76558 938929 6 690 7 8 6 2.39/2.44 c 1190 2429 77089 946210 6 693 8 9 7 2.39/2.45 c 1200 2445 77476 953305 6 699 6 7 5 2.39/2.45 c 1210 2463 77914 958750 6 706 7 8 6 2.39/2.46 c 1220 2479 78301 965845 6 712 6 7 5 2.39/2.47 c 1230 2497 78730 971290 6 719 7 8 6 2.39/2.48 c 1240 2515 79168 977335 6 721 7 8 6 2.39/2.49 c 1250 2534 79623 983945 6 729 7 8 6 2.49/2.50 c 1260 2552 80052 989390 6 736 7 8 6 2.49/2.51 c 1270 2570 80484 995435 6 738 7 8 6 2.49/2.52 c 1280 2589 80939 1002045 6 746 7 8 6 2.49/2.52 c 1290 2607 81373 1007490 6 753 7 8 6 2.49/2.53 c 1300 2625 81800 1012935 6 760 7 8 6 2.49/2.54 c 1310 2644 82261 1019545 6 768 7 8 6 2.49/2.55 c 1320 2662 82689 1025590 6 770 7 8 6 2.49/2.56 c 1330 2680 83131 1031638 6 775 7 8 6 2.49/2.57 c 1340 2698 83560 1037083 6 782 7 8 6 2.49/2.58 c 1350 2717 84015 1043693 6 790 7 8 6 2.49/2.58 c 1352 2725 84288 1047394 6 792 7 7 4 2.49/2.59 c 1360 2741 84658 1052397 6 798 7 8 6 2.59/2.60 c 1370 2760 85122 1059004 6 802 7 9 7 2.59/2.61 c 1380 2779 85573 1065620 6 810 7 8 6 2.59/2.62 c 1390 2797 86006 1071665 6 812 7 8 6 2.59/2.63 c 1400 2817 86523 1078946 6 815 8 9 7 2.59/2.64 c 1410 2833 86911 1086041 6 821 6 7 5 2.59/2.65 c 1420 2852 87430 1093670 6 828 7 8 6 2.59/2.66 c 1430 2870 87858 1099721 6 830 7 8 6 2.59/2.67 c 1440 2890 88377 1107002 6 833 8 9 7 2.59/2.68 c 1450 2906 88775 1114097 6 839 6 7 5 2.59/2.69 c 1460 2924 89213 1119542 6 846 7 8 6 2.69/2.70 c 1470 2942 89641 1125587 6 848 7 8 6 2.69/2.71 c 1480 2962 90171 1132882 6 852 8 9 7 2.69/2.71 c 1490 2978 90559 1139977 6 858 6 7 5 2.69/2.72 c 1500 2996 90984 1145435 6 865 7 8 6 2.69/2.73 c 1510 3014 91413 1150880 6 872 7 8 6 2.69/2.74 c 1520 3033 91874 1157490 6 880 7 8 6 2.69/2.75 c 1530 3051 92301 1162935 6 887 7 8 6 2.69/2.76 c 1540 3071 92833 1170216 6 890 8 9 7 2.69/2.77 c 1550 3087 93221 1177311 6 896 6 7 5 2.69/2.78 c 1560 3105 93653 1183356 6 898 7 8 6 2.69/2.79 c 1570 3124 94108 1189969 6 905 7 8 6 2.69/2.79 c 1580 3142 94537 1195414 6 912 7 8 6 2.79/2.80 c 1585 3155 94925 1200743 6 916 8 8 6 2.79/2.81 c 1590 3168 95272 1205652 6 919 7 8 6 2.79/2.82 c 1600 3186 95706 1211097 6 926 7 8 6 2.79/2.83 c 1610 3205 96157 1217713 6 934 7 8 6 2.79/2.84 c 1620 3223 96597 1223158 6 941 7 8 6 2.79/2.85 c 1630 3242 97061 1229765 6 945 7 9 7 2.79/2.86 c 1640 3261 97563 1237027 6 947 8 9 7 2.79/2.86 c 1650 3277 97951 1244122 6 953 6 7 5 2.79/2.88 c 1660 3297 98468 1251403 6 956 8 9 7 2.79/2.88 c 1670 3313 98867 1258498 6 962 6 7 5 2.79/2.89 c 1680 3332 99357 1265480 6 969 8 9 7 2.89/2.90 c 1690 3350 99788 1271525 6 971 7 8 6 2.89/2.91 c 1700 3369 100254 1278138 6 976 7 9 7 2.89/2.92 c 1710 3388 100705 1284754 6 984 7 8 6 2.89/2.93 c 1720 3407 101207 1291752 6 988 8 8 7 2.89/2.94 c 1730 3425 101639 1297797 6 990 7 8 6 2.89/2.95 c 1740 3444 102093 1303498 6 996 8 9 7 2.89/2.96 c 1750 3464 102612 1310779 6 999 8 9 7 2.89/2.97 c 1760 3482 103043 1316824 6 1001 7 8 6 2.89/2.98 c 1770 3501 103501 1323431 6 1005 7 9 7 2.89/2.99 c 1780 3520 103956 1330041 6 1013 7 8 6 2.89/3.00 c 1790 3539 104414 1336648 6 1017 7 9 7 2.99/3.01 c 1800 3559 104933 1343929 6 1020 8 9 7 2.99/3.02 c 1810 3577 105375 1349974 6 1022 7 8 6 2.99/3.03 c 1820 3595 105802 1355419 6 1029 7 8 6 2.99/3.04 c 1830 3614 106306 1362426 6 1033 7 8 7 2.99/3.05 c 1840 3633 106761 1369036 6 1041 7 8 6 2.99/3.05 c 1841 3641 107048 1372704 6 1042 8 8 4 2.99/3.06 c 1850 3659 107541 1379948 6 1044 8 9 7 2.99/3.07 c 1860 3677 107979 1385993 6 1046 7 8 6 2.99/3.08 c 1870 3696 108433 1391700 6 1051 8 9 7 2.99/3.09 c 1880 3714 108876 1397747 6 1055 7 8 6 2.99/3.10 c 1890 3732 109303 1403192 6 1062 7 8 6 3.09/3.11 c 1900 3750 109732 1408646 6 1069 7 8 7 3.09/3.12 c 1910 3768 110174 1414691 6 1071 7 8 6 3.09/3.13 c 1920 3786 110602 1420736 6 1073 7 8 6 3.09/3.14 c 1930 3806 111133 1428017 6 1076 8 9 7 3.09/3.15 c 1940 3824 111560 1433462 6 1083 7 8 6 3.09/3.16 c 1950 3843 112023 1440069 6 1087 7 9 7 3.09/3.17 c 1960 3862 112527 1447076 6 1091 7 8 7 3.09/3.17 c 1970 3878 112915 1454171 6 1097 6 7 5 3.09/3.18 c 1980 3896 113342 1459616 6 1104 7 8 6 3.09/3.19 c 1990 3912 113741 1466711 6 1110 6 7 5 3.19/3.20 c 2000 3932 114258 1473992 6 1113 8 9 7 3.19/3.21 c 2010 3951 114712 1479699 6 1118 8 9 7 3.19/3.22 c 2020 3969 115150 1485144 6 1125 7 8 6 3.19/3.23 c 2030 3988 115601 1491754 6 1133 7 8 6 3.19/3.24 c 2040 4007 116005 1496704 6 1139 8 9 7 3.19/3.24 c 2050 4025 116435 1502149 6 1146 7 8 6 3.19/3.25 c 2060 4044 116894 1508756 6 1155 7 8 6 3.19/3.26 c 2070 4063 117348 1515363 6 1159 7 9 7 3.19/3.27 c 2080 4079 117747 1522458 6 1165 6 7 5 3.19/3.28 c 2090 4098 118197 1529063 6 1168 7 9 7 3.19/3.29 c 2100 4117 118662 1535673 6 1176 7 8 6 3.29/3.30 c 2110 4137 119193 1542968 6 1180 8 9 7 3.29/3.31 c 2120 4156 119644 1549578 6 1188 7 8 6 3.29/3.32 c 2122 4165 119938 1553263 6 1190 8 8 5 3.29/3.32 c 2130 4180 120325 1558639 6 1198 7 8 6 3.29/3.33 c 2140 4198 120763 1564061 6 1205 7 8 7 3.29/3.34 c 2150 4214 121150 1571186 6 1211 6 7 5 3.29/3.35 c 2160 4234 121617 1577707 6 1218 8 9 7 3.29/3.36 c 2170 4250 122005 1584802 6 1224 6 7 5 3.29/3.37 c 2180 4270 122522 1592083 6 1227 8 9 7 3.29/3.38 c 2190 4288 122964 1598128 6 1229 7 8 6 3.29/3.39 c 2200 4307 123415 1604738 6 1237 7 8 6 3.39/3.40 c 2210 4326 123885 1611353 6 1244 7 8 6 3.39/3.41 c 2220 4344 124317 1617398 6 1246 7 8 6 3.39/3.42 c 2230 4364 124831 1624666 6 1253 8 9 7 3.39/3.43 c 2240 4382 125261 1630111 6 1260 7 8 6 3.39/3.44 c 2250 4401 125716 1635832 6 1264 8 9 7 3.39/3.45 c 2260 4422 126260 1644272 6 1266 7 9 7 3.39/3.46 c 2270 4440 126698 1650317 6 1268 7 8 6 3.39/3.47 c 2280 4459 127156 1656924 6 1272 7 9 7 3.39/3.48 c 2290 4479 127683 1665114 6 1278 7 9 7 3.39/3.49 c 2300 4499 128200 1672395 6 1281 8 9 7 3.48/3.50 c 2310 4519 128730 1680588 6 1287 7 9 7 3.48/3.51 c 2320 4538 129185 1687198 6 1295 7 8 6 3.48/3.52 c 2330 4557 129640 1693808 6 1303 7 8 6 3.48/3.53 c 2340 4575 130070 1699253 6 1310 7 8 6 3.48/3.54 c 2350 4595 130594 1706534 6 1313 8 9 7 3.48/3.55 c 2360 4613 131022 1712585 6 1315 7 8 6 3.48/3.56 c 2370 4632 131489 1719192 6 1319 7 9 7 3.48/3.57 c 2380 4651 131981 1726165 6 1326 8 9 7 3.48/3.58 c 2390 4670 132385 1731115 6 1332 8 9 7 3.48/3.59 c 2400 4688 132823 1737160 6 1334 7 8 6 3.58/3.60 c 2410 4706 133257 1742605 6 1341 7 8 6 3.58/3.60 c 2420 4724 133684 1748050 6 1348 7 8 6 3.58/3.61 c 2430 4743 134145 1754660 6 1356 7 8 6 3.58/3.62 c 2431 4751 134427 1758328 6 1357 8 8 4 3.58/3.63 c 2440 4769 134933 1765572 6 1359 8 9 7 3.58/3.64 c 2450 4787 135367 1771017 6 1366 7 8 6 3.58/3.65 c 2460 4805 135842 1778033 6 1373 7 8 7 3.58/3.66 c 2470 4825 136318 1784816 6 1375 8 9 7 3.58/3.67 c 2480 4843 136747 1790261 6 1382 7 8 6 3.58/3.68 c 2490 4862 137244 1797268 6 1386 7 8 7 3.58/3.69 c 2500 4881 137752 1804897 6 1393 7 8 6 3.68/3.70 c 2510 4901 138276 1812178 6 1396 8 9 7 3.68/3.71 c 2520 4919 138664 1817224 6 1402 7 8 6 3.68/3.72 c 2530 4938 139161 1824231 6 1406 7 8 7 3.68/3.73 c 2540 4957 139616 1830841 6 1414 7 8 6 3.68/3.74 c 2550 4975 140005 1835887 6 1420 7 8 6 3.68/3.75 c 2560 4994 140459 1842494 6 1424 7 9 7 3.68/3.76 c 2570 5013 140922 1849107 6 1429 7 9 7 3.68/3.76 c 2580 5032 141373 1854814 6 1434 8 9 7 3.68/3.77 c 2590 5050 141802 1860259 6 1441 7 8 6 3.68/3.78 c 2600 5069 142296 1867241 6 1448 8 9 7 3.68/3.79 c 2610 5088 142791 1874248 6 1452 7 8 7 3.78/3.80 c 2620 5107 143295 1881510 6 1454 8 9 7 3.78/3.81 c 2630 5126 143750 1888120 6 1462 7 8 6 3.78/3.82 c 2640 5146 144273 1896436 6 1466 8 9 7 3.78/3.84 c 2650 5166 144797 1903717 6 1469 8 9 7 3.78/3.85 c 2660 5185 145247 1910322 6 1472 7 9 7 3.78/3.86 c 2670 5204 145746 1917329 6 1476 7 8 7 3.78/3.87 c 2680 5223 146201 1923939 6 1484 7 8 6 3.78/3.88 c 2690 5242 146663 1930554 6 1491 7 8 6 3.78/3.89 c 2700 5261 147158 1937561 6 1495 7 8 7 3.88/3.90 c 2710 5281 147690 1945885 6 1496 8 9 7 3.88/3.91 c 2720 5300 148144 1952498 6 1500 7 9 7 3.88/3.92 c 2730 5318 148578 1957943 6 1507 7 8 6 3.88/3.93 c 2740 5337 149073 1964950 6 1511 7 8 7 3.88/3.94 c 2750 5357 149592 1972231 6 1514 8 9 7 3.88/3.95 c 2760 5376 150043 1977938 6 1519 8 9 7 3.88/3.96 c 2770 5394 150526 1984748 6 1526 7 8 6 3.88/3.96 c 2771 5402 150808 1988415 6 1527 8 8 4 3.88/3.97 c 2780 5420 151263 1994971 6 1529 7 9 7 3.88/3.98 c 2790 5439 151718 2001581 6 1537 7 8 6 3.88/3.99 c 2800 5459 152237 2008862 6 1540 8 9 7 3.88/4.00 c 2810 5478 152729 2015844 6 1547 8 9 7 3.99/4.01 c 2820 5497 153169 2021293 6 1555 8 9 7 3.99/4.02 c 2830 5517 153692 2029609 6 1559 8 9 7 3.99/4.03 c 2840 5535 154138 2035833 6 1560 7 8 7 3.99/4.04 c 2850 5554 154594 2042448 6 1567 7 8 6 3.99/4.05 c 2860 5573 155091 2049455 6 1571 7 8 7 3.99/4.06 c 2870 5592 155492 2054405 6 1577 8 9 7 3.99/4.07 c 2880 5612 156023 2061686 6 1580 8 9 7 3.99/4.08 c 2890 5631 156477 2068293 6 1584 7 9 7 3.99/4.09 c 2900 5650 156940 2074900 6 1588 7 9 7 3.99/4.10 c 2910 5670 157459 2083216 6 1592 8 9 7 4.09/4.11 c 2920 5689 157920 2089826 6 1600 7 8 6 4.09/4.12 c 2930 5708 158415 2096833 6 1604 7 8 7 4.09/4.13 c 2940 5726 158852 2102322 6 1611 7 8 6 4.09/4.14 c 2950 5747 159400 2110756 6 1613 7 9 7 4.09/4.15 c 2960 5766 159854 2116477 6 1617 8 9 7 4.09/4.16 c 2970 5785 160353 2123484 6 1621 7 8 7 4.09/4.17 c 2980 5805 160872 2130765 6 1624 8 9 7 4.09/4.19 c 2990 5824 161331 2137372 6 1628 7 9 7 4.09/4.19 c 3000 5842 161759 2143417 6 1630 7 8 6 4.18/4.20 c 3010 5860 162245 2150433 6 1637 7 8 7 4.18/4.21 c 3020 5879 162690 2156154 6 1641 8 9 7 4.18/4.22 c 3030 5898 163151 2162764 6 1649 7 8 6 4.18/4.23 c 3040 5918 163668 2170045 6 1652 8 9 7 4.18/4.24 c 3050 5936 164147 2178985 6 1662 6 8 6 4.18/4.25 c 3060 5955 164596 2184692 6 1667 8 9 7 4.18/4.26 c 3070 5973 165072 2191502 6 1674 7 8 6 4.18/4.27 c 3080 5991 165549 2198518 6 1681 7 8 7 4.18/4.28 c 3090 6011 166055 2205492 6 1688 8 9 7 4.18/4.29 c 3100 6031 166574 2212786 6 1692 8 9 7 4.28/4.30 c 3110 6050 167077 2219786 6 1697 8 8 7 4.28/4.31 c 3120 6069 167535 2226393 6 1701 7 9 7 4.28/4.32 c 3130 6089 168065 2234583 6 1707 7 9 7 4.28/4.33 c 3140 6107 168499 2240028 6 1714 7 8 6 4.28/4.34 c 3142 6115 168771 2243726 6 1716 7 7 4 4.28/4.35 c 3150 6131 169239 2250663 6 1721 7 8 7 4.28/4.36 c 3160 6150 169688 2256370 6 1726 8 9 7 4.28/4.36 c 3170 6168 170128 2261815 6 1733 7 8 6 4.28/4.37 c 3180 6188 170659 2269096 6 1736 8 9 7 4.28/4.38 c 3190 6207 171058 2274046 6 1742 8 9 7 4.28/4.39 c 3200 6226 171459 2278996 6 1748 8 9 7 4.38/4.40 c 3210 6245 171913 2285595 6 1751 7 9 7 4.38/4.41 c 3220 6264 172378 2292205 6 1759 7 8 6 4.38/4.42 c 3230 6284 172850 2297914 6 1766 8 9 7 4.38/4.43 c 3240 6303 173249 2302864 6 1772 8 9 7 4.38/4.44 c 3250 6323 173760 2309838 6 1779 8 9 7 4.38/4.45 c 3260 6343 174277 2318028 6 1785 7 9 7 4.38/4.46 c 3270 6362 174744 2324635 6 1789 7 9 7 4.38/4.47 c 3280 6381 175251 2331633 6 1793 8 8 7 4.38/4.48 c 3290 6401 175768 2339949 6 1797 8 9 7 4.38/4.49 c 3300 6420 176229 2346559 6 1805 7 8 6 4.48/4.50 c 3310 6439 176680 2353175 6 1813 7 8 6 4.48/4.51 c 3320 6458 177141 2358882 6 1818 8 9 7 4.48/4.52 c 3330 6477 177590 2364589 6 1823 8 9 7 4.48/4.53 c 3340 6497 178114 2371870 6 1826 8 9 7 4.48/4.54 c 3350 6516 178609 2378868 6 1830 8 8 7 4.48/4.55 c 3360 6535 179106 2385875 6 1834 7 8 7 4.48/4.56 c 3370 6555 179587 2392393 6 1842 8 9 7 4.48/4.57 c 3380 6574 179988 2397340 6 1846 8 9 7 4.48/4.58 c 3390 6594 180502 2404608 6 1853 8 9 7 4.48/4.59 c 3400 6614 181021 2412939 6 1855 8 9 7 4.58/4.60 c 3410 6634 181540 2421255 6 1859 8 9 7 4.58/4.61 c 3420 6653 181991 2426962 6 1864 8 9 7 4.58/4.62 c 3430 6672 182445 2432676 6 1869 8 9 7 4.58/4.63 c 3440 6691 182896 2438383 6 1874 8 9 7 4.58/4.64 c 3450 6710 183357 2444993 6 1882 7 8 6 4.58/4.65 c 3460 6729 183811 2451600 6 1886 7 9 7 4.58/4.66 c 3470 6748 184269 2458207 6 1890 7 9 7 4.58/4.67 c 3480 6769 184818 2465495 6 1898 8 9 7 4.58/4.68 c 3490 6788 185285 2472102 6 1902 7 9 7 4.68/4.70 c 3500 6808 185819 2480770 6 1904 6 9 7 4.68/4.71 c 3510 6827 186318 2487770 6 1909 8 8 7 4.68/4.71 c 3520 6846 186719 2492720 6 1915 8 9 7 4.68/4.72 c 3530 6865 187228 2499727 6 1919 7 8 7 4.68/4.73 c 3540 6884 187682 2506340 6 1923 7 9 7 4.68/4.74 c 3550 6902 188171 2515280 6 1933 6 8 6 4.68/4.75 c 3551 6910 188504 2520503 6 1934 8 8 4 4.68/4.76 c 3560 6929 188974 2526751 6 1942 8 9 7 4.68/4.77 c 3570 6947 189454 2533752 6 1946 7 8 7 4.68/4.78 c 3580 6966 189915 2539459 6 1951 8 9 7 4.68/4.79 c 3590 6985 190360 2545173 6 1955 8 9 7 4.78/4.80 c 3600 7005 190884 2552468 6 1959 8 9 7 4.78/4.81 c 3610 7024 191347 2558169 6 1965 8 9 7 4.78/4.82 c 3620 7044 191864 2565450 6 1968 8 9 7 4.78/4.83 c 3630 7064 192383 2573766 6 1972 8 9 7 4.78/4.84 c 3640 7084 192914 2581047 6 1975 8 9 7 4.78/4.85 c 3650 7102 193341 2586492 6 1982 7 8 6 4.78/4.86 c 3660 7121 193850 2593499 6 1986 7 8 7 4.78/4.87 c 3670 7140 194249 2598449 6 1992 8 9 7 4.78/4.88 c 3680 7158 194731 2605259 6 1999 7 8 6 4.78/4.89 c 3690 7177 195180 2610960 6 2005 8 9 7 4.88/4.90 c 3700 7195 195659 2619895 6 2013 6 8 6 4.88/4.91 c 3710 7214 196110 2626505 6 2021 7 8 6 4.88/4.92 c 3720 7232 196586 2633315 6 2028 7 8 6 4.88/4.93 c 3730 7252 197113 2641502 6 2035 7 9 7 4.88/4.94 c 3740 7271 197608 2648509 6 2039 7 8 7 4.88/4.95 c 3750 7289 198087 2657449 6 2049 6 8 6 4.88/4.96 c 3760 7309 198604 2665765 6 2053 8 9 7 4.88/4.97 c 3770 7329 199134 2673958 6 2059 7 9 7 4.88/4.98 c 3780 7348 199593 2680571 6 2064 7 9 7 4.88/4.99 c 3790 7366 200068 2689511 6 2074 6 8 6 4.88/5.00 c 3800 7385 200475 2694461 6 2080 8 9 7 4.99/5.01 c 3810 7403 200950 2703401 6 2090 6 8 6 4.99/5.02 c 3820 7424 201510 2711835 6 2092 7 9 7 4.99/5.03 c 3830 7444 202041 2719116 6 2095 8 9 7 4.99/5.04 c 3840 7463 202536 2726123 6 2099 7 8 7 4.99/5.05 c 3850 7482 202997 2731830 6 2104 8 9 7 4.99/5.07 c 3860 7502 203514 2739111 6 2107 8 9 7 4.99/5.07 c 3870 7521 204025 2746109 6 2111 8 8 7 4.99/5.09 c 3880 7541 204542 2754425 6 2115 8 9 7 4.99/5.10 c 3890 7560 204949 2759375 6 2121 8 9 7 5.09/5.10 c 3900 7578 205423 2766185 6 2128 7 8 6 5.09/5.11 c 3910 7597 205881 2772792 6 2132 7 9 7 5.09/5.12 c 3920 7615 206370 2781732 6 2142 6 8 6 5.09/5.14 c 3930 7635 206904 2789517 6 2144 7 9 8 5.09/5.15 c 3940 7654 207368 2796124 6 2148 7 9 7 5.09/5.16 c 3950 7674 207830 2802645 6 2155 8 9 7 5.09/5.17 c 3960 7694 208336 2809619 6 2162 8 9 7 5.09/5.18 c 3970 7713 208852 2816616 6 2168 8 8 7 5.09/5.19 c 3980 7732 209306 2823229 6 2172 7 9 7 5.18/5.20 c 3990 7750 209788 2830230 6 2176 7 8 7 5.18/5.20 c 4000 7769 210198 2835180 6 2182 8 9 7 5.18/5.21 c 4001 7777 210478 2838854 6 2183 8 8 4 5.18/5.22 c 4010 7794 210945 2845653 6 2189 7 8 6 5.18/5.23 c 4020 7815 211483 2852941 6 2197 8 9 7 5.18/5.24 c 4030 7835 212016 2861257 6 2201 8 9 7 5.18/5.25 c 4040 7854 212511 2868264 6 2205 7 8 7 5.18/5.26 c 4050 7873 212974 2876346 6 2210 6 9 6 5.18/5.27 c 4060 7893 213503 2884662 6 2214 8 9 7 5.18/5.28 c 4070 7913 213974 2891183 6 2221 8 9 7 5.18/5.29 c 4080 7932 214373 2896129 6 2226 8 9 7 5.28/5.30 c 4090 7951 214837 2902736 6 2230 7 9 7 5.28/5.31 c 4100 7969 215312 2911712 6 2240 6 8 6 5.28/5.32 c 4110 7988 215771 2917413 6 2246 8 9 7 5.28/5.33 c 4120 8007 216220 2923120 6 2251 8 9 7 5.28/5.34 c 4130 8027 216763 2931444 6 2252 8 9 7 5.28/5.35 c 4140 8046 217267 2938451 6 2256 7 8 7 5.28/5.36 c 4150 8065 217718 2944158 6 2261 8 9 7 5.28/5.37 c 4160 8084 218224 2951158 6 2266 8 8 7 5.28/5.38 c 4170 8103 218625 2956108 6 2272 8 9 7 5.28/5.39 c 4180 8124 219163 2963396 6 2280 8 9 7 5.38/5.40 c 4190 8144 219695 2970677 6 2283 8 9 7 5.38/5.41 c 4200 8164 220172 2977198 6 2290 8 9 7 5.38/5.42 c 4210 8182 220653 2984008 6 2297 7 8 6 5.38/5.43 c 4220 8202 221170 2991302 6 2301 8 9 7 5.38/5.44 c 4230 8222 221647 2997569 6 2308 8 9 7 5.38/5.45 c 4240 8241 222152 3004578 6 2314 8 9 7 5.38/5.47 c 4250 8261 222669 3012902 6 2317 8 9 7 5.38/5.48 c 4260 8281 223136 3018611 6 2324 8 9 7 5.38/5.49 c 4270 8300 223640 3025618 6 2328 7 8 7 5.38/5.50 c 4280 8320 224157 3032592 6 2335 8 9 7 5.48/5.50 c 4290 8339 224606 3038299 6 2340 8 9 7 5.48/5.52 c 4300 8359 225137 3045593 6 2344 8 9 7 5.48/5.53 c 4310 8377 225611 3052403 6 2351 7 8 6 5.48/5.53 c 4320 8396 226064 3058639 6 2354 7 9 7 5.48/5.55 c 4330 8416 226539 3064647 6 2356 8 9 8 5.48/5.55 c 4340 8436 227001 3070356 6 2363 8 9 7 5.48/5.56 c 4350 8454 227480 3079296 6 2373 6 8 6 5.48/5.57 c 4360 8473 227934 3085903 6 2377 7 9 7 5.48/5.58 c 4370 8493 228405 3092421 6 2385 8 9 7 5.48/5.60 c 4380 8513 228882 3098688 6 2392 8 9 7 5.58/5.60 c 4390 8531 229358 3105498 6 2399 7 8 6 5.58/5.61 c 4400 8551 229876 3112472 6 2406 8 9 7 5.58/5.62 c 4410 8570 230275 3117422 6 2412 8 9 7 5.58/5.63 c 4420 8588 230757 3124232 6 2419 7 8 6 5.58/5.64 c 4430 8608 231283 3132556 6 2420 8 9 7 5.58/5.65 c 4440 8627 231693 3137503 6 2424 8 9 7 5.58/5.66 c 4450 8647 232212 3145819 6 2428 8 9 7 5.58/5.67 c 4460 8667 232730 3152793 6 2435 8 9 7 5.58/5.68 c 4470 8686 233179 3158500 6 2440 8 9 7 5.58/5.69 c 4480 8704 233665 3167440 6 2450 6 8 6 5.68/5.70 c 4490 8723 234064 3172390 6 2456 8 9 7 5.68/5.71 c 4493 8733 234373 3176092 6 2459 8 8 6 5.68/5.72 c 4500 8749 234859 3184360 6 2460 9 9 7 5.68/5.73 c 4510 8768 235312 3190596 6 2463 7 9 7 5.68/5.74 c 4520 8788 235818 3197570 6 2470 8 9 7 5.68/5.75 c 4530 8809 236367 3204858 6 2478 8 9 7 5.68/5.76 c 4540 8827 236839 3211668 6 2485 7 8 6 5.68/5.77 c 4550 8847 237373 3219992 6 2486 8 9 7 5.68/5.78 c 4560 8867 237877 3226966 6 2493 8 9 7 5.68/5.79 c 4570 8887 238350 3232684 6 2501 8 9 7 5.79/5.80 c 4580 8905 238824 3239494 6 2508 7 8 6 5.79/5.81 c 4590 8924 239287 3246101 6 2512 7 9 7 5.79/5.82 c 4600 8945 239825 3253389 6 2520 8 9 7 5.79/5.83 c 4610 8964 240332 3260396 6 2524 7 8 7 5.79/5.84 c 4620 8983 240827 3267403 6 2528 7 8 7 5.79/5.85 c 4630 9001 241311 3274384 6 2533 6 9 6 5.79/5.86 c 4640 9020 241808 3281391 6 2537 7 8 7 5.79/5.87 c 4650 9040 242294 3287658 6 2544 8 9 7 5.79/5.88 c 4660 9059 242693 3292608 6 2550 8 9 7 5.79/5.89 c 4670 9078 243094 3297558 6 2556 8 9 7 5.89/5.90 c 4680 9097 243591 3304565 6 2560 7 8 7 5.89/5.91 c 4690 9115 244070 3313505 6 2570 6 8 6 5.89/5.92 c 4700 9135 244587 3321821 6 2574 8 9 7 5.89/5.93 c 4710 9153 245071 3328631 6 2581 7 8 6 5.89/5.94 c 4720 9172 245525 3334338 6 2586 8 9 7 5.89/5.95 c 4730 9190 246001 3341148 6 2593 7 8 6 5.89/5.96 c 4740 9210 246507 3348120 6 2599 8 9 7 5.89/5.97 c 4750 9230 247033 3355414 6 2603 8 9 7 5.89/5.98 c 4760 9250 247550 3363730 6 2607 8 9 7 5.89/5.99 c 4770 9270 248027 3369997 6 2614 8 9 7 5.89/6.00 c 4780 9288 248459 3375289 6 2621 7 8 6 6.00/6.01 c 4790 9306 248934 3384265 6 2631 6 8 6 6.00/6.02 c 4800 9326 249407 3389983 6 2639 8 9 7 6.00/6.03 c 4810 9344 249881 3396793 6 2646 7 8 6 6.00/6.04 c 4820 9364 250387 3403767 6 2653 8 9 7 6.00/6.05 c 4830 9385 250925 3411047 6 2660 8 9 7 6.00/6.06 c 4840 9405 251433 3418052 6 2666 8 9 7 6.00/6.07 c 4850 9425 251911 3424572 6 2673 8 9 7 6.00/6.08 c 4860 9445 252415 3431546 6 2680 8 9 7 6.00/6.09 c 4870 9466 252963 3438834 6 2688 8 9 7 6.00/6.10 c 4880 9485 253362 3443781 6 2692 8 9 7 6.10/6.11 c 4890 9503 253846 3450797 6 2699 7 8 7 6.10/6.12 c 4900 9523 254350 3457771 6 2706 8 9 7 6.10/6.13 c 4910 9544 254888 3465059 6 2714 8 9 7 6.10/6.14 c 4920 9564 255373 3471326 6 2721 8 9 7 6.10/6.15 c 4930 9585 255909 3478614 6 2729 8 9 7 6.10/6.16 c 4940 9605 256417 3485619 6 2735 8 9 7 6.10/6.17 c 4950 9623 256893 3492429 6 2742 7 8 6 6.10/6.18 c 4960 9642 257344 3498136 6 2747 8 9 7 6.10/6.19 c 4970 9662 257822 3504656 6 2754 8 9 7 6.19/6.20 c 4980 9681 258271 3510363 6 2759 8 9 7 6.19/6.21 c 4990 9700 258729 3516070 6 2764 8 9 7 6.19/6.24 c 5035 9763 259871 3531089 6 2781 7 9 8 6.49/6.52 c 5631 10521 272252 3705768 6 2844 6 10 8 6.79/6.84 c 6286 11355 286095 3898817 6 2900 6 10 8 7.10/7.19 c 7006 12266 301084 4108031 6 2962 6 10 8 7.59/7.69 c 7798 13365 321245 4405399 6 2999 6 10 8 8.10/8.13 c 8669 14489 340239 4677368 6 3079 6 10 8 8.69/8.71 c 9627 15800 364481 5019131 6 3125 6 10 8 9.29/9.36 c 10680 17254 390870 5399506 6 3172 6 10 8 9.89/9.97 c 11838 18763 416663 5769465 6 3246 6 10 8 10.79/10.80 c 13111 20574 450893 6251649 6 3300 6 10 9 11.69/11.71 c 14511 22570 488363 6776429 6 3358 6 10 9 12.49/12.59 c 16051 24631 524884 7303958 6 3446 6 10 8 13.49/13.57 c 17745 26916 565627 7890845 6 3518 6 10 8 14.79/14.80 c 19608 29585 615929 8603726 6 3541 7 10 9 16.00/16.01 c 21657 32353 665812 9316085 6 3617 6 10 8 17.29/17.34 c 23910 35422 721783 10108414 6 3702 6 10 8 18.79/18.87 c 26388 38865 783301 10995982 6 3763 6 10 8 20.49/20.57 c 29113 42675 853349 11991497 6 3826 6 10 8 22.39/22.44 c 32110 46862 930171 13076710 6 3908 6 10 8 24.49/24.56 c 35406 51541 1016736 14295983 6 3964 6 10 9 26.79/26.87 c 39031 56668 1110023 15630549 6 4050 6 10 9 29.49/29.58 c 43018 62309 1234676 17231900 6 4164 7 24 21 32.29/32.34 c 47403 68481 1348743 18831736 6 4270 7 11 9 35.39/35.43 c 52226 75326 1473173 20606768 6 4369 6 10 9 38.79/38.82 c 57531 82838 1613550 22563120 6 4474 6 10 9 42.49/42.59 c 63366 91114 1768962 24735500 6 4594 6 22 9 46.49/46.57 c 69784 100083 1936536 27096564 6 4749 7 22 11 50.79/50.84 c 76843 109839 2115620 29658063 6 4942 7 23 12 55.39/55.48 c 84607 120492 2312070 32453599 6 5125 7 23 13 60.49/60.52 c 93147 132145 2525766 35515069 6 5334 7 23 13 65.89/66.00 c 102541 144874 2756594 38849306 6 5536 7 23 14 72.00/72.02 c 112874 158851 3015829 42533311 6 5737 7 24 15 78.49/78.57 c 124240 174156 3301022 46559042 6 5940 7 24 15 85.79/85.82 c 136742 191006 3616053 51052002 6 6173 7 24 16 93.69/93.70 c 150494 209436 3961330 55930362 6 6424 7 24 17 102.59/102.64 c 165621 229857 4352716 61519992 6 6695 7 24 17 112.49/112.57 c 182260 252248 4804847 68039723 6 6900 8 24 22 123.28/123.30 c 200562 276869 5279100 74808376 6 7150 7 24 18 135.10/135.18 c 220694 303966 5806508 82283553 6 7428 7 24 18 148.69/148.70 c 242839 334167 6403987 90844812 6 7716 7 24 19 163.69/163.77 c 267198 367489 7072121 100433927 6 8012 7 24 19 179.69/179.76 c 293992 404818 7722085 110699686 6 8203 11 16 14 198.39/198.48 c 323465 445876 8520599 121932294 6 8381 8 13 11 219.69/219.77 c 355885 491652 9423390 134525199 6 8569 8 13 11 242.80/242.87 c 391547 541991 10409608 148220383 6 8729 8 13 11 268.50/268.56 c 430775 597376 11501785 163278987 6 8928 8 13 11 297.01/297.07 c 473925 658399 12720758 179836909 6 9209 8 24 12 327.80/327.89 c 521390 725075 14049977 198003163 6 9480 9 24 14 360.40/360.46 c 573601 798483 15414506 218070671 6 9750 10 24 15 397.40/397.41 c 631033 881492 16993980 241243401 6 10000 11 24 17 438.21/438.25 c 694208 970067 18800282 266037839 6 10235 9 24 16 482.02/482.03 c 763700 1068412 20672346 293741982 6 10513 10 24 17 531.61/531.64 c 840141 1175869 22876642 324073788 6 10797 9 24 17 585.02/585.02 c 924226 1295838 25179072 357765981 6 11086 10 24 18 646.32/646.38 c 1016719 1426744 27929922 395303568 6 11355 9 24 18 714.92/714.91 c 1118461 1571861 31022772 437164255 6 11642 9 24 18 786.62/786.67 c 1230377 1731302 34173354 481163961 6 11924 9 24 18 870.53/870.59 c 1353484 1908506 37963115 531813226 6 12226 9 24 19 963.04/963.06 c 1488901 2103414 42130717 587526413 6 12526 9 24 19 1057.74/1057.77 c 1637859 2317905 46259746 648589455 6 12995 10 32 21 1151.24/1151.26 c 1801712 2549222 50523184 710045806 6 13949 6 67 34 1250.45/1250.47 c 1981950 2803294 54968376 775511800 6 15051 13 82 38 1362.75/1362.74 c 2180211 3083764 59990145 847742094 6 16019 13 61 40 1476.56/1476.56 c 2398298 3383024 64952257 925914749 6 17096 13 70 44 1607.87/1607.87 c 2638193 3718446 70874910 1013050248 6 18215 13 70 44 1745.87/1745.87 c 2902077 4078812 76884512 1111340797 6 19436 12 70 46 1898.39/1898.31 c 3192349 4479980 83998594 1222485322 6 20664 12 69 48 2056.90/2056.81 c 3511648 4920759 91594318 1347061918 6 21964 9 76 57 2227.91/2227.80 c 3862876 5391741 99310870 1491552956 6 23106 9 72 56 2417.52/2417.45 c 4249226 5922077 108762302 1634756404 6 24408 8 76 60 2520.02/2519.90 2520.02/2519.90 c *** INTERRUPTED *** 2520.02/2519.90 c restarts : 587 2520.02/2519.90 c conflicts : 4427181 (1757 /sec) 2520.02/2519.90 c decisions : 6173743 (2450 /sec) 2520.02/2519.90 c propagations : 1701702815 (675315 /sec) 2520.02/2519.90 c root propagations : 9 2520.02/2519.90 c filter calls : 113448187 (45021 /sec) 2520.02/2519.90 c useless filter calls : 94675322 (83 %) 2520.02/2519.90 c 2520.02/2519.90 c clauses : 13232225 2520.02/2519.90 c SAT propagations : 7936 2520.02/2519.90 c SAT conflicts : 0 (0 learnts) 2520.02/2519.90 c Memory used : 524.32 MB 2520.02/2519.90 c CPU time : 2519.87 s 2520.02/2519.90 2520.02/2519.90 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 (15307 MiB free)
memory of node 1: 16384 MiB (15539 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266139-1502581669/watcher-4266139-1502581669 -o /tmp/evaluation-result-4266139-1502581669/solver-4266139-1502581669 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24277 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266139-1502581669.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26379, runsolver pid=26376
[startup+0.110471 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 26380
/proc/meminfo: memFree=31530888/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=93868 memory=65352 CPUtime=0.11 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 11954 0 0 0 9 2 0 0 20 0 1 0 91255292 96120832 16338 33554432000 4194304 5972588 140736729813152 140736729810008 139718631078885 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 23467 16338 790 435 0 16830 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 93868 KiB
Current children cumulated memory: 65352 KiB
[startup+0.210093 s]*
/proc/loadavg: 2.00 2.01 2.05 4/188 26380
/proc/meminfo: memFree=31477496/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=142576 memory=117468 CPUtime=0.21 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 18831 0 0 0 18 3 0 0 20 0 1 0 91255292 145997824 29367 33554432000 4194304 5972588 140736729813152 140736729810008 139718631078885 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 35644 29367 790 435 0 29007 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 142576 KiB
Current children cumulated memory: 117468 KiB
[startup+0.309605 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 26380
/proc/meminfo: memFree=31422788/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=205096 memory=171676 CPUtime=0.31 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 26217 0 0 0 27 4 0 0 20 0 1 0 91255292 210018304 42919 33554432000 4194304 5972588 140736729813152 140736729810008 139718631078885 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 51274 42919 790 435 0 44637 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 205096 KiB
Current children cumulated memory: 171676 KiB
[startup+0.700321 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26380
/proc/meminfo: memFree=31313120/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=458284 memory=378612 CPUtime=0.69 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 52454 0 0 0 59 10 0 0 20 0 1 0 91255292 469282816 94653 33554432000 4194304 5972588 140736729813152 140736729810008 139718631078885 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 114571 94653 790 435 0 107934 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 458284 KiB
Current children cumulated memory: 378612 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26380
/proc/meminfo: memFree=31094904/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536120 memory=494524 CPUtime=1.49 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 66581 0 0 0 136 13 0 0 20 0 1 0 91255292 548986880 123631 33554432000 4194304 5972588 140736729813152 140736729809944 5040180 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134030 123631 806 435 0 127393 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 536120 KiB
Current children cumulated memory: 494524 KiB
[startup+3.10917 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26380
/proc/meminfo: memFree=31095312/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536120 memory=494604 CPUtime=3.09 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 68109 0 0 0 296 13 0 0 20 0 1 0 91255292 548986880 123651 33554432000 4194304 5972588 140736729813152 140736729809944 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134030 123651 806 435 0 127393 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 536120 KiB
Current children cumulated memory: 494604 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26380
/proc/meminfo: memFree=31095060/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536120 memory=494604 CPUtime=6.29 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 70613 0 0 0 615 14 0 0 20 0 1 0 91255292 548986880 123651 33554432000 4194304 5972588 140736729813152 140736729810456 4977653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134030 123651 806 435 0 127393 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 536120 KiB
Current children cumulated memory: 494604 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26380
/proc/meminfo: memFree=31094548/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536120 memory=494604 CPUtime=12.69 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 73466 0 0 0 1255 14 0 0 20 0 1 0 91255292 548986880 123651 33554432000 4194304 5972588 140736729813152 140736729810456 5040180 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134030 123651 806 435 0 127393 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 536120 KiB
Current children cumulated memory: 494604 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26380
/proc/meminfo: memFree=31094904/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536120 memory=494604 CPUtime=25.49 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 75273 0 0 0 2535 14 0 0 20 0 1 0 91255292 548986880 123651 33554432000 4194304 5972588 140736729813152 140736729810456 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134030 123651 806 435 0 127393 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 536120 KiB
Current children cumulated memory: 494604 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26380
/proc/meminfo: memFree=31094892/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536120 memory=494604 CPUtime=51.1 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 78432 0 0 0 5096 14 0 0 20 0 1 0 91255292 548986880 123651 33554432000 4194304 5972588 140736729813152 140736729810456 4970976 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134030 123651 806 435 0 127393 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 536120 KiB
Current children cumulated memory: 494604 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26382
/proc/meminfo: memFree=31094928/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536120 memory=494636 CPUtime=102.29 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 81657 0 0 0 10215 14 0 0 20 0 1 0 91255292 548986880 123659 33554432000 4194304 5972588 140736729813152 140736729810456 5040169 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134030 123659 806 435 0 127393 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 536120 KiB
Current children cumulated memory: 494636 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26383
/proc/meminfo: memFree=31094680/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536120 memory=494684 CPUtime=162.29 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 83753 0 0 0 16214 15 0 0 20 0 1 0 91255292 548986880 123671 33554432000 4194304 5972588 140736729813152 140736729810456 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134030 123671 806 435 0 127393 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 536120 KiB
Current children cumulated memory: 494684 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26384
/proc/meminfo: memFree=31094888/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536252 memory=494772 CPUtime=222.29 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 85375 0 0 0 22214 15 0 0 20 0 1 0 91255292 549122048 123693 33554432000 4194304 5972588 140736729813152 140736729810456 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134063 123693 806 435 0 127426 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 536252 KiB
Current children cumulated memory: 494772 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26385
/proc/meminfo: memFree=31094688/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536252 memory=494776 CPUtime=282.3 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 86654 0 0 0 28215 15 0 0 20 0 1 0 91255292 549122048 123694 33554432000 4194304 5972588 140736729813152 140736729810456 4975114 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134063 123694 806 435 0 127426 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 536252 KiB
Current children cumulated memory: 494776 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26386
/proc/meminfo: memFree=31094828/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536252 memory=494784 CPUtime=342.3 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 88165 0 0 0 34215 15 0 0 20 0 1 0 91255292 549122048 123696 33554432000 4194304 5972588 140736729813152 140736729810456 5322967 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134063 123696 806 435 0 127426 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 536252 KiB
Current children cumulated memory: 494784 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26395
/proc/meminfo: memFree=31092452/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536252 memory=495612 CPUtime=402.3 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 89301 0 0 0 40215 15 0 0 20 0 1 0 91255292 549122048 123903 33554432000 4194304 5972588 140736729813152 140736729810456 5040180 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134063 123903 806 435 0 127426 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 536252 KiB
Current children cumulated memory: 495612 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26396
/proc/meminfo: memFree=31093204/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536252 memory=495616 CPUtime=462.31 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 90334 0 0 0 46216 15 0 0 20 0 1 0 91255292 549122048 123904 33554432000 4194304 5972588 140736729813152 140736729810456 4979392 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134063 123904 806 435 0 127426 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 536252 KiB
Current children cumulated memory: 495616 KiB
################
# More data... #
################
/proc/26379/statm: 134191 124551 806 435 0 127554 0
Current children cumulated CPU time: 1782.37 s
Current children cumulated vsize: 536764 KiB
Current children cumulated memory: 498204 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26461
/proc/meminfo: memFree=31089892/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536764 memory=498212 CPUtime=1842.39 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 114567 0 0 0 184223 16 0 0 20 0 1 0 91255292 549646336 124553 33554432000 4194304 5972588 140736729813152 140736729810456 5040154 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134191 124553 806 435 0 127554 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 536764 KiB
Current children cumulated memory: 498212 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26462
/proc/meminfo: memFree=31090140/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536764 memory=498256 CPUtime=1902.39 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 115841 0 0 0 190223 16 0 0 20 0 1 0 91255292 549646336 124564 33554432000 4194304 5972588 140736729813152 140736729810456 5099653 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134191 124564 806 435 0 127554 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 536764 KiB
Current children cumulated memory: 498256 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26463
/proc/meminfo: memFree=31090132/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536764 memory=498256 CPUtime=1962.39 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 116764 0 0 0 196223 16 0 0 20 0 1 0 91255292 549646336 124564 33554432000 4194304 5972588 140736729813152 140736729810456 4975114 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134191 124564 806 435 0 127554 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 536764 KiB
Current children cumulated memory: 498256 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26464
/proc/meminfo: memFree=31090168/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536764 memory=498256 CPUtime=2022.39 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 117759 0 0 0 202223 16 0 0 20 0 1 0 91255292 549646336 124564 33554432000 4194304 5972588 140736729813152 140736729810456 4977723 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134191 124564 806 435 0 127554 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 536764 KiB
Current children cumulated memory: 498256 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26465
/proc/meminfo: memFree=31090084/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536764 memory=498280 CPUtime=2082.4 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 119016 0 0 0 208224 16 0 0 20 0 1 0 91255292 549646336 124570 33554432000 4194304 5972588 140736729813152 140736729810456 4979365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134191 124570 806 435 0 127554 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 536764 KiB
Current children cumulated memory: 498280 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26466
/proc/meminfo: memFree=31089896/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536900 memory=498288 CPUtime=2142.4 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 120050 0 0 0 214224 16 0 0 20 0 1 0 91255292 549785600 124572 33554432000 4194304 5972588 140736729813152 140736729809976 4977701 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134225 124572 806 435 0 127588 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 536900 KiB
Current children cumulated memory: 498288 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26475
/proc/meminfo: memFree=31088812/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536900 memory=498288 CPUtime=2202.41 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 120895 0 0 0 220225 16 0 0 20 0 1 0 91255292 549785600 124572 33554432000 4194304 5972588 140736729813152 140736729809976 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134225 124572 806 435 0 127588 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 536900 KiB
Current children cumulated memory: 498288 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26476
/proc/meminfo: memFree=31089432/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536900 memory=498336 CPUtime=2262.41 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 122231 0 0 0 226225 16 0 0 20 0 1 0 91255292 549785600 124584 33554432000 4194304 5972588 140736729813152 140736729810456 4979356 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134225 124584 806 435 0 127588 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 536900 KiB
Current children cumulated memory: 498336 KiB
[startup+2322.3 s]
/proc/loadavg: 2.56 2.17 2.09 3/188 26477
/proc/meminfo: memFree=31089552/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536900 memory=498336 CPUtime=2322.41 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 123272 0 0 0 232225 16 0 0 20 0 1 0 91255292 549785600 124584 33554432000 4194304 5972588 140736729813152 140736729810456 5323331 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134225 124584 806 435 0 127588 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 536900 KiB
Current children cumulated memory: 498336 KiB
[startup+2382.3 s]
/proc/loadavg: 2.21 2.14 2.09 3/188 26478
/proc/meminfo: memFree=31089596/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536900 memory=498336 CPUtime=2382.42 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 123982 0 0 0 238226 16 0 0 20 0 1 0 91255292 549785600 124584 33554432000 4194304 5972588 140736729813152 140736729810456 4975213 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134225 124584 806 435 0 127588 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 536900 KiB
Current children cumulated memory: 498336 KiB
[startup+2442.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/188 26479
/proc/meminfo: memFree=31089704/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536900 memory=498360 CPUtime=2442.42 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 125253 0 0 0 244226 16 0 0 20 0 1 0 91255292 549785600 124590 33554432000 4194304 5972588 140736729813152 140736729810456 4975104 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134225 124590 806 435 0 127588 0
Current children cumulated CPU time: 2442.42 s
Current children cumulated vsize: 536900 KiB
Current children cumulated memory: 498360 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/187 26480
/proc/meminfo: memFree=31089776/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536900 memory=498384 CPUtime=2502.42 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 126323 0 0 0 250226 16 0 0 20 0 1 0 91255292 549785600 124596 33554432000 4194304 5972588 140736729813152 140736729810456 5099648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134225 124596 806 435 0 127588 0
Current children cumulated CPU time: 2502.42 s
Current children cumulated vsize: 536900 KiB
Current children cumulated memory: 498384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 26541
/proc/meminfo: memFree=31192608/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536900 memory=498384 CPUtime=2520.02 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 126420 0 0 0 251986 16 0 0 20 0 1 0 91255292 549785600 124596 33554432000 4194304 5972588 140736729813152 140736729810456 5323030 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134225 124596 806 435 0 127588 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 536900 KiB
Current children cumulated memory: 498384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 26379 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.87 s, system=0.167009 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.02 2.09 2.08 3/187 26541
/proc/meminfo: memFree=31192608/32770624 swapFree=67108860/67108860
[pid=26379] ppid=26376 vsize=536900 memory=498384 CPUtime=2520.02 cores=1,3,5,7
/proc/26379/stat : 26379 (cosoco) R 26376 26379 24193 0 -1 4202496 126420 0 0 0 251986 16 0 0 20 0 1 0 91255292 549785600 124596 33554432000 4194304 5972588 140736729813152 140736729810456 5323030 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 8642560 140736729818298 140736729818398 140736729818398 140736729821134 0
/proc/26379/statm: 134225 124596 806 435 0 127588 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 536900 KiB
Current children cumulated memory: 498384 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.03
CPU user time (s): 2519.87
CPU system time (s): 0.167009
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 536900
Max. memory (cumulated for all children) (KiB): 498384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.87
system time used= 0.167009
maximum resident set size= 498460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126466
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= 34
involuntary context switches= 696
# summary of solver processes directly reported to runsolver:
# pid: 26379
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.87
# total CPU system time (s): 0.167009
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.31786 second user time and 15.3201 second system time
The end
Begin job on node102 at 2017-08-13 01:33:31 IDJOB=4266139 IDBENCH=133588 IDSOLVER=2655 FILE ID=node102/4266139-1502581669 RUNJOBID= node102-1502567256-24277 PBS_JOBID= 20628289 Free space on /tmp= 61908 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-10-m021.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266139-1502581669/watcher-4266139-1502581669 -o /tmp/evaluation-result-4266139-1502581669/solver-4266139-1502581669 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502567256-24277 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266139-1502581669.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bb8f18d9394a9daa2d276ef3f55d21f6 RANDOM SEED=1151424896 node102.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.35 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.35 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.35 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.35 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: 31587672 kB MemAvailable: 31886896 kB Buffers: 82660 kB Cached: 525228 kB SwapCached: 0 kB Active: 685300 kB Inactive: 102600 kB Active(anon): 130716 kB Inactive(anon): 77216 kB Active(file): 554584 kB Inactive(file): 25384 kB Unevictable: 6460 kB Mlocked: 6460 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2480 kB Writeback: 0 kB AnonPages: 186340 kB Mapped: 44548 kB Shmem: 25228 kB Slab: 96324 kB SReclaimable: 70184 kB SUnreclaim: 26140 kB KernelStack: 3280 kB PageTables: 5700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 513644 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61908 MiB End job on node102 at 2017-08-13 02:15:31