| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520 | 2520.01 |
| Name | Blackhole/Blackhole-m1-s07/ Blackhole-07-3-10.xml |
| MD5SUM | 41a77f0ff8ed1fddf85157fc97a1c00e |
| 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.035018999 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 56 |
| Number of constraints | 47 |
| Number of domains | 1 |
| Minimum domain size | 28 |
| Maximum domain size | 28 |
| Distribution of domain sizes | [{"size":28,"count":56}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":47},{"degree":3,"count":9}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 56 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":45},{"arity":56,"count":1}] |
| Number of extensional constraints | 27 |
| Number of intensional constraints | 19 |
| Distribution of constraint types | [{"type":"extension","count":27},{"type":"intension","count":19},{"type":"channel","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.07 c Create channel(X,Y) constraint using 28 element constraint 0.00/0.08 c intension y[1]<y[8] using generic constraint 0.00/0.08 c intension y[8]<y[21] using generic constraint 0.00/0.08 c intension y[22]<y[12] using generic constraint 0.00/0.08 c intension y[12]<y[24] using generic constraint 0.00/0.08 c intension y[17]<y[11] using generic constraint 0.00/0.08 c intension y[11]<y[5] using generic constraint 0.00/0.08 c intension y[16]<y[13] using generic constraint 0.00/0.08 c intension y[13]<y[19] using generic constraint 0.00/0.08 c intension y[10]<y[18] using generic constraint 0.00/0.08 c intension y[18]<y[26] using generic constraint 0.00/0.08 c intension y[2]<y[7] using generic constraint 0.00/0.08 c intension y[7]<y[9] using generic constraint 0.00/0.08 c intension y[15]<y[3] using generic constraint 0.00/0.08 c intension y[3]<y[25] using generic constraint 0.00/0.08 c intension y[6]<y[4] using generic constraint 0.00/0.08 c intension y[4]<y[14] using generic constraint 0.00/0.08 c intension y[27]<y[23] using generic constraint 0.00/0.08 c intension y[23]<y[20] using generic constraint 0.00/0.08 c SAT : Variables: 1568 -- Clauses: 21224 0.00/0.08 c root propagations : 162 0.00/0.08 c restarts enabled, print stats at every restarts 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c This is cosoco 1.12 -- 0.00/0.08 c 0.00/0.08 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265994-1502583709.xml 0.00/0.08 c ========================================[ Problem Statistics ]=========================================== 0.00/0.08 c | 0.00/0.08 c | Parse time : 0.01 s 0.00/0.08 c | 0.00/0.08 c | Variables: 56 0.00/0.08 c | Domain Sizes: 28..28 0.00/0.08 c | 0.00/0.08 c | Constraints: 74 0.00/0.08 c | Arity: 1..29 -- Unary: 1 -- Binary: 45 0.00/0.08 c | 0.00/0.08 c | Types: 0.00/0.08 c | (X - Y < k): 18 0.00/0.08 c | Element Constant: 28 0.00/0.08 c | Extension: 27 (nb tuples: 224..224) -- (shared: 26) 0.00/0.08 c | Intension: 1 0.00/0.08 c | 0.00/0.08 c ========================================================================================================= 0.00/0.08 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.08 c 10 49 3581 1601 56 6 22 29 22 0.00/0.08 c 20 77 6445 3781 56 16 19 19 17 0.00/0.08 c 30 107 8345 5324 56 20 19 19 17 0.00/0.08 c 40 146 10653 6429 56 23 24 26 22 0.00/0.08 c 50 179 12908 8478 56 28 20 20 18 0.00/0.08 c 60 213 15193 10453 56 33 21 21 19 0.00/0.09 c 70 247 17526 12501 56 39 21 21 19 0.00/0.09 c 80 296 20248 13695 56 49 14 24 20 0.00/0.09 c 90 328 22681 15505 56 59 23 23 20 0.00/0.09 c 100 362 25141 17503 56 67 23 24 21 0.00/0.09 c 101 386 26573 18418 56 68 24 24 12 0.00/0.09 c 110 420 28443 19725 56 71 24 24 21 0.00/0.09 c 120 459 30656 21059 56 75 24 25 22 0.00/0.09 c 130 494 32608 22505 56 80 22 22 20 0.00/0.09 c 140 530 34852 24067 56 86 21 21 19 0.00/0.09 c 150 565 37028 25595 56 91 22 22 20 0.00/0.09 c 160 606 39730 27317 56 101 22 23 20 0.00/0.09 c 170 645 42348 28926 56 106 21 24 21 0.00/0.09 c 180 689 44606 29918 56 116 21 24 21 0.00/0.09 c 190 730 46795 31343 56 121 24 26 22 0.00/0.09 c 200 775 49903 33744 56 128 18 25 20 0.00/0.09 c 210 813 52009 35032 56 134 23 25 22 0.00/0.09 c 211 839 53399 35793 56 135 26 26 13 0.00/0.09 c 220 878 55599 37047 56 141 25 26 22 0.00/0.09 c 230 920 58117 38532 56 151 24 24 21 0.00/0.09 c 240 965 60882 40206 56 161 25 25 22 0.00/0.09 c 250 999 63027 42145 56 165 22 22 20 0.00/0.09 c 260 1039 65480 43345 56 167 24 28 24 0.00/0.09 c 270 1075 67842 45199 56 172 23 23 20 0.00/0.09 c 280 1119 70229 46479 56 175 21 24 21 0.00/0.09 c 290 1154 72744 48310 56 180 22 22 20 0.00/0.10 c 300 1200 75163 49421 56 184 26 26 23 0.00/0.10 c 310 1235 77164 50842 56 188 23 23 20 0.00/0.10 c 320 1277 79918 52770 56 198 18 26 20 0.00/0.10 c 330 1307 82350 54967 56 208 21 21 19 0.00/0.10 c 332 1329 83679 55871 56 209 21 21 14 0.00/0.10 c 340 1369 86368 57338 56 217 21 24 19 0.00/0.10 c 350 1408 89628 59900 56 222 18 22 17 0.00/0.10 c 360 1445 91581 60831 56 232 26 28 23 0.00/0.10 c 370 1490 94664 62771 56 242 24 25 22 0.00/0.10 c 380 1532 97175 64224 56 247 18 24 19 0.00/0.10 c 390 1575 99364 65229 56 257 23 24 21 0.00/0.10 c 400 1615 102772 67514 56 261 20 24 20 0.00/0.10 c 410 1650 105102 69122 56 266 22 22 20 0.00/0.10 c 420 1686 107725 70886 56 271 21 22 19 0.00/0.10 c 430 1721 110124 72476 56 276 22 22 20 0.00/0.10 c 440 1758 112953 74212 56 281 22 22 20 0.00/0.10 c 450 1794 115433 75815 56 286 23 23 20 0.00/0.10 c 460 1825 117863 77639 56 296 22 22 20 0.00/0.10 c 465 1852 119811 79078 56 300 17 23 16 0.00/0.10 c 470 1874 121832 80870 56 305 18 18 15 0.00/0.10 c 480 1911 124477 82773 56 310 24 24 21 0.00/0.10 c 490 1942 126880 84551 56 320 22 22 20 0.00/0.10 c 500 1980 129584 86533 56 325 24 25 22 0.03/0.11 c 510 2025 132579 88698 56 329 22 26 21 0.03/0.11 c 520 2079 135284 90221 56 333 24 26 22 0.03/0.11 c 530 2113 137542 91533 56 343 20 23 18 0.03/0.11 c 540 2146 139388 92751 56 347 22 22 20 0.03/0.11 c 550 2188 142021 94809 56 357 23 24 21 0.03/0.11 c 560 2225 145140 97308 56 361 16 23 18 0.03/0.11 c 570 2262 147499 99273 56 370 21 25 19 0.03/0.11 c 580 2302 149650 100700 56 376 18 22 19 0.03/0.11 c 590 2347 152074 101977 56 384 19 25 20 0.03/0.11 c 600 2378 154091 103499 56 388 20 20 18 0.03/0.11 c 610 2417 156308 104937 56 398 20 23 20 0.03/0.11 c 611 2439 157680 105921 56 400 21 21 10 0.03/0.11 c 620 2482 159735 107002 56 402 20 26 22 0.03/0.11 c 630 2515 162118 108555 56 406 21 21 19 0.03/0.11 c 640 2548 164190 110511 56 411 20 20 18 0.03/0.11 c 650 2589 167590 113030 56 415 18 23 18 0.03/0.11 c 660 2626 169839 114467 56 420 23 23 20 0.03/0.11 c 670 2660 171903 115853 56 423 21 22 19 0.03/0.11 c 680 2691 173946 117347 56 427 20 20 18 0.03/0.11 c 690 2742 176864 118887 56 434 24 26 22 0.03/0.11 c 700 2781 179389 120574 56 438 23 23 20 0.03/0.11 c 710 2814 181652 122900 56 441 18 18 16 0.03/0.11 c 720 2877 184939 124305 56 445 24 31 26 0.03/0.12 c 730 2925 188600 127168 56 453 23 26 21 0.03/0.12 c 740 2955 190663 128445 56 463 19 21 17 0.03/0.12 c 750 2988 192997 130608 56 467 17 17 15 0.03/0.12 c 760 3028 195757 132469 56 476 21 24 20 0.03/0.12 c 770 3070 198797 134409 56 484 21 23 19 0.03/0.12 c 771 3090 199999 135178 56 485 20 20 10 0.03/0.12 c 780 3131 202878 138000 56 488 17 22 17 0.03/0.12 c 790 3168 206288 140989 56 493 19 24 18 0.03/0.12 c 800 3213 210138 143975 56 500 21 21 19 0.03/0.12 c 810 3275 213352 146508 56 504 18 27 21 0.03/0.12 c 820 3314 216111 148344 56 510 19 23 19 0.03/0.12 c 830 3341 218670 150816 56 520 18 18 16 0.03/0.12 c 840 3389 221823 153232 56 526 19 26 20 0.03/0.12 c 850 3431 225216 155297 56 536 21 23 19 0.03/0.12 c 860 3460 226954 156267 56 546 20 20 18 0.03/0.12 c 870 3506 230228 158709 56 552 22 23 20 0.03/0.12 c 880 3548 232729 160408 56 555 25 25 22 0.03/0.12 c 890 3587 235507 162306 56 561 19 23 19 0.03/0.12 c 900 3614 238019 164451 56 571 18 18 16 0.03/0.12 c 910 3660 240760 166184 56 578 22 27 21 0.03/0.12 c 920 3687 243835 169203 56 588 18 18 16 0.03/0.12 c 930 3722 246099 170784 56 598 22 26 20 0.03/0.13 c 940 3767 249356 172980 56 603 22 22 20 0.03/0.13 c 947 3799 251268 174188 56 607 22 25 20 0.03/0.13 c 950 3826 253054 175279 56 609 22 22 16 0.03/0.13 c 960 3862 255847 177777 56 617 19 24 18 0.03/0.13 c 970 3896 258385 179018 56 627 25 25 22 0.03/0.13 c 980 3936 261414 181294 56 637 22 22 20 0.03/0.13 c 990 3975 263673 182853 56 641 20 26 22 0.03/0.13 c 1000 4014 266758 185504 56 651 21 21 19 0.03/0.13 c 1010 4063 269434 187152 56 658 16 27 19 0.03/0.13 c 1020 4090 272515 190023 56 668 18 18 16 0.03/0.13 c 1030 4139 275103 191272 56 674 22 25 21 0.03/0.13 c 1040 4184 277879 193216 56 677 15 24 19 0.03/0.13 c 1050 4241 281311 195733 56 681 15 23 18 0.03/0.13 c 1060 4266 284504 199314 56 691 16 16 14 0.03/0.13 c 1070 4323 287491 200914 56 695 21 27 21 0.03/0.13 c 1080 4367 291230 203622 56 700 21 21 19 0.03/0.13 c 1090 4415 294148 205728 56 708 20 26 20 0.03/0.13 c 1100 4461 297629 207893 56 718 21 24 19 0.03/0.13 c 1110 4486 300771 211164 56 728 16 16 14 0.03/0.13 c 1120 4540 304123 213421 56 733 23 28 22 0.03/0.13 c 1130 4579 306537 215027 56 737 25 25 22 0.03/0.14 c 1140 4624 310114 217527 56 744 19 23 18 0.03/0.14 c 1141 4646 311397 218384 56 745 22 22 11 0.03/0.14 c 1150 4689 313882 219852 56 748 20 24 20 0.03/0.14 c 1160 4724 318545 224060 56 758 17 18 16 0.03/0.14 c 1170 4768 321216 225713 56 760 16 24 19 0.03/0.14 c 1180 4824 324933 228309 56 765 19 23 18 0.03/0.14 c 1190 4874 328702 231184 56 772 18 26 18 0.03/0.14 c 1200 4934 332054 233717 56 778 21 26 22 0.03/0.14 c 1210 4966 335589 237154 56 783 19 19 17 0.03/0.14 c 1220 5013 338006 238547 56 789 23 27 22 0.03/0.14 c 1230 5057 340486 240065 56 793 20 24 20 0.03/0.14 c 1240 5093 345310 244344 56 803 18 18 16 0.03/0.14 c 1250 5140 347951 245899 56 809 16 25 20 0.03/0.14 c 1260 5182 352357 249680 56 812 18 26 17 0.03/0.14 c 1270 5229 354770 250859 56 822 22 26 22 0.03/0.14 c 1280 5275 357747 252884 56 826 18 24 18 0.03/0.14 c 1290 5328 360450 254585 56 832 22 25 21 0.03/0.14 c 1300 5375 363227 256390 56 834 19 24 19 0.03/0.14 c 1310 5422 367154 259007 56 843 20 24 19 0.03/0.15 c 1320 5469 370383 261719 56 849 17 24 18 0.03/0.15 c 1330 5500 373968 265162 56 854 18 18 16 0.03/0.15 c 1340 5543 377970 267635 56 864 20 23 19 0.03/0.15 c 1350 5616 382124 270408 56 867 17 26 20 0.03/0.15 c 1352 5635 383570 271539 56 868 18 18 12 0.03/0.15 c 1360 5675 386979 273739 56 876 20 23 19 0.03/0.15 c 1370 5732 391083 276287 56 883 20 26 19 0.03/0.15 c 1380 5763 394631 279681 56 888 18 18 16 0.03/0.15 c 1390 5809 398738 282376 56 898 20 23 19 0.03/0.15 c 1400 5867 402902 284930 56 905 21 26 20 0.03/0.15 c 1410 5898 406431 288310 56 910 18 18 16 0.03/0.15 c 1420 5941 410433 290762 56 920 20 23 19 0.03/0.15 c 1430 5998 414323 293508 56 925 19 26 19 0.03/0.15 c 1440 6045 417100 295315 56 927 19 24 19 0.03/0.15 c 1450 6103 420712 297744 56 930 20 25 20 0.03/0.15 c 1460 6138 424209 301217 56 935 19 22 17 0.03/0.15 c 1470 6191 427338 303342 56 938 20 24 20 0.03/0.15 c 1480 6245 430142 304740 56 941 25 28 24 0.03/0.16 c 1490 6284 432382 306143 56 946 26 26 23 0.03/0.16 c 1500 6339 435170 307769 56 956 22 25 21 0.03/0.16 c 1510 6386 437949 309579 56 958 19 24 19 0.03/0.16 c 1520 6434 441773 312125 56 967 20 24 19 0.03/0.16 c 1530 6484 445332 314454 56 974 20 26 19 0.03/0.16 c 1540 6531 448112 316292 56 976 19 24 19 0.03/0.16 c 1550 6590 451800 318659 56 979 20 25 20 0.03/0.16 c 1560 6627 455387 322452 56 988 19 20 18 0.03/0.16 c 1570 6674 458167 324267 56 990 19 24 19 0.03/0.16 c 1580 6735 461848 326666 56 992 20 25 20 0.03/0.16 c 1585 6759 464061 328776 56 995 18 18 15 0.03/0.16 c 1590 6795 465811 329753 56 1000 27 28 22 0.03/0.16 c 1600 6831 471029 334202 56 1010 18 18 16 0.03/0.16 c 1610 6878 473817 336071 56 1012 19 24 19 0.03/0.16 c 1620 6935 476709 337900 56 1014 20 24 20 0.03/0.16 c 1630 6972 480263 341540 56 1021 18 21 16 0.03/0.16 c 1640 7019 483042 343336 56 1023 19 24 19 0.03/0.16 c 1650 7066 487032 345820 56 1033 21 24 19 0.03/0.16 c 1660 7115 490510 348162 56 1040 19 26 19 0.03/0.17 c 1670 7161 493238 349979 56 1042 18 24 19 0.03/0.17 c 1680 7220 496939 352363 56 1045 20 25 20 0.03/0.17 c 1690 7257 500589 356231 56 1055 19 19 17 0.03/0.17 c 1700 7304 503370 358033 56 1057 19 24 19 0.03/0.17 c 1710 7365 507066 360463 56 1059 20 25 20 0.03/0.17 c 1720 7402 510583 364272 56 1069 19 19 17 0.03/0.17 c 1730 7449 513367 366078 56 1071 19 24 19 0.03/0.17 c 1740 7505 516191 367744 56 1073 20 24 20 0.03/0.17 c 1750 7543 518993 370359 56 1076 18 21 17 0.03/0.17 c 1760 7583 522802 372828 56 1086 18 21 17 0.03/0.17 c 1770 7633 526340 375210 56 1093 20 26 19 0.03/0.17 c 1780 7680 529123 377018 56 1095 19 24 19 0.03/0.17 c 1790 7726 533088 379501 56 1105 21 24 19 0.03/0.17 c 1800 7776 536624 381827 56 1112 20 26 19 0.03/0.17 c 1810 7823 539412 383689 56 1114 19 24 19 0.03/0.17 c 1820 7881 543236 386169 56 1119 20 25 20 0.03/0.17 c 1830 7930 546685 388493 56 1126 19 26 19 0.03/0.17 c 1840 7977 549561 390502 56 1129 19 24 19 0.03/0.17 c 1841 7997 551012 391425 56 1130 20 20 10 0.03/0.18 c 1850 8027 553599 393359 56 1138 18 21 16 0.03/0.18 c 1860 8073 556517 395553 56 1142 18 24 18 0.03/0.18 c 1870 8120 560483 398144 56 1151 20 24 19 0.03/0.18 c 1880 8169 563932 400458 56 1158 19 26 19 0.03/0.18 c 1890 8215 566844 402622 56 1162 18 24 18 0.03/0.18 c 1900 8258 570867 405121 56 1172 20 23 19 0.03/0.18 c 1910 8307 574316 407417 56 1179 19 26 19 0.03/0.18 c 1920 8353 577140 409436 56 1182 18 24 19 0.03/0.18 c 1930 8412 580848 411826 56 1185 20 25 20 0.03/0.18 c 1940 8449 583130 413584 56 1189 21 21 19 0.03/0.18 c 1950 8490 586976 416131 56 1199 19 22 18 0.03/0.18 c 1960 8540 590481 418421 56 1206 20 26 19 0.03/0.18 c 1970 8587 593285 420324 56 1208 19 24 19 0.03/0.18 c 1980 8648 597008 422727 56 1211 20 25 20 0.03/0.18 c 1990 8686 599317 424360 56 1214 21 21 19 0.03/0.18 c 2000 8726 603160 426870 56 1224 18 21 17 0.03/0.18 c 2010 8775 606583 429172 56 1231 19 26 19 0.03/0.18 c 2020 8821 609311 430946 56 1233 18 24 19 0.03/0.18 c 2030 8879 612901 433304 56 1237 20 25 20 0.03/0.18 c 2040 8915 614996 434721 56 1240 22 22 20 0.03/0.19 c 2050 8954 618274 436745 56 1250 24 27 22 0.03/0.19 c 2060 8986 620363 438097 56 1260 20 23 18 0.03/0.19 c 2070 9017 622652 439708 56 1270 22 22 20 0.03/0.19 c 2080 9047 625363 441865 56 1280 21 21 19 0.03/0.19 c 2090 9087 629135 445688 56 1290 21 22 19 0.03/0.19 c 2100 9126 631230 446763 56 1300 21 21 19 0.03/0.19 c 2110 9162 633501 448282 56 1306 20 23 18 0.03/0.19 c 2120 9193 635730 449514 56 1316 22 22 20 0.03/0.19 c 2122 9215 637214 450567 56 1318 21 21 14 0.03/0.19 c 2130 9244 639246 451869 56 1325 18 22 16 0.03/0.19 c 2140 9273 641896 454024 56 1335 20 20 18 0.03/0.19 c 2150 9306 644113 455577 56 1345 19 22 17 0.03/0.19 c 2160 9343 646279 456896 56 1348 22 24 21 0.03/0.19 c 2170 9374 648336 458201 56 1358 19 22 17 0.03/0.19 c 2180 9404 650779 460014 56 1368 21 21 19 0.03/0.19 c 2190 9459 654025 462250 56 1373 19 23 19 0.03/0.19 c 2200 9490 656621 464133 56 1384 21 21 19 0.03/0.19 c 2210 9521 658871 465552 56 1393 18 22 16 0.03/0.19 c 2220 9564 662097 468431 56 1397 19 22 18 0.03/0.19 c 2230 9604 665778 472332 56 1407 21 22 19 0.03/0.19 c 2240 9644 668242 474330 56 1415 21 21 19 0.03/0.19 c 2250 9679 670463 475639 56 1421 19 22 17 0.03/0.20 c 2260 9712 673050 477585 56 1432 23 23 20 0.03/0.20 c 2270 9751 675616 479240 56 1441 19 23 18 0.03/0.20 c 2280 9781 678067 481103 56 1451 21 21 19 0.03/0.20 c 2290 9815 680799 482897 56 1461 18 22 17 0.03/0.20 c 2300 9845 683252 484630 56 1471 21 21 19 0.03/0.20 c 2310 9875 685702 485946 56 1481 21 21 19 0.03/0.20 c 2320 9909 687888 487471 56 1488 21 23 20 0.03/0.20 c 2330 9966 690688 489038 56 1497 23 28 24 0.03/0.20 c 2340 10024 693493 490822 56 1506 23 26 22 0.03/0.20 c 2350 10060 695985 492468 56 1511 19 23 18 0.03/0.20 c 2360 10101 698184 493885 56 1516 24 25 22 0.03/0.20 c 2370 10138 701745 496591 56 1523 21 24 20 0.03/0.20 c 2380 10192 704548 498371 56 1530 22 25 21 0.03/0.20 c 2390 10230 706773 499840 56 1539 20 24 19 0.03/0.20 c 2400 10264 709256 501113 56 1548 20 22 18 0.03/0.20 c 2410 10330 712981 502848 56 1558 26 30 26 0.03/0.20 c 2420 10366 715179 504017 56 1559 21 25 19 0.03/0.20 c 2430 10401 717469 505432 56 1564 19 22 17 0.03/0.20 c 2431 10422 718821 506322 56 1565 21 21 10 0.03/0.20 c 2440 10459 721239 507890 56 1573 19 23 18 0.03/0.20 c 2450 10495 723177 509249 56 1578 23 23 20 0.03/0.20 c 2460 10546 725971 511129 56 1584 22 25 21 0.03/0.20 c 2470 10578 728075 512666 56 1595 19 22 17 0.03/0.20 c 2480 10608 730527 514521 56 1605 21 21 19 0.03/0.21 c 2490 10654 733600 516680 56 1609 19 23 18 0.03/0.21 c 2500 10684 736059 518429 56 1619 21 21 19 0.03/0.21 c 2510 10720 739241 520154 56 1628 20 22 18 0.03/0.21 c 2520 10751 741245 521429 56 1638 19 22 17 0.03/0.21 c 2530 10786 743365 522825 56 1645 21 23 20 0.03/0.21 c 2540 10822 746789 525209 56 1653 21 24 20 0.03/0.21 c 2550 10872 749532 527165 56 1659 21 24 20 0.03/0.21 c 2560 10903 751550 528538 56 1669 19 22 17 0.03/0.21 c 2570 10940 753538 529874 56 1675 23 23 20 0.03/0.21 c 2580 10972 755387 530895 56 1685 21 23 19 0.03/0.21 c 2590 11008 758532 532572 56 1694 20 22 18 0.03/0.21 c 2600 11042 761292 534348 56 1704 18 22 17 0.03/0.21 c 2610 11079 763285 535688 56 1710 23 23 20 0.03/0.21 c 2620 11129 765835 536785 56 1720 32 32 29 0.03/0.21 c 2630 11166 767993 538215 56 1730 21 23 19 0.03/0.21 c 2640 11197 769995 539608 56 1740 19 22 17 0.03/0.21 c 2650 11234 771961 540930 56 1746 23 23 20 0.03/0.21 c 2660 11269 774271 542115 56 1756 23 26 21 0.03/0.21 c 2670 11302 776457 543678 56 1767 23 23 20 0.03/0.21 c 2680 11337 778647 545105 56 1777 18 22 17 0.03/0.21 c 2690 11374 780690 546432 56 1783 23 23 20 0.14/0.21 c 2700 11413 785113 550162 56 1794 20 20 18 0.14/0.21 c 2710 11449 788281 551816 56 1803 20 22 18 0.14/0.22 c 2720 11479 790761 553132 56 1813 21 21 19 0.14/0.22 c 2730 11514 793347 554948 56 1820 22 23 20 0.14/0.22 c 2740 11550 795619 556397 56 1825 19 22 17 0.14/0.22 c 2750 11580 798067 558235 56 1835 21 21 19 0.14/0.22 c 2760 11616 801217 559905 56 1844 20 22 18 0.14/0.22 c 2770 11649 803706 561164 56 1852 20 22 18 0.14/0.22 c 2771 11670 805067 562040 56 1853 21 21 10 0.14/0.22 c 2780 11702 807213 563551 56 1855 19 19 17 0.14/0.22 c 2790 11755 809701 564806 56 1860 21 28 24 0.14/0.22 c 2800 11791 811799 566228 56 1870 20 22 18 0.14/0.22 c 2810 11827 814093 567644 56 1876 19 22 17 0.14/0.22 c 2820 11857 816549 569369 56 1886 21 21 19 0.14/0.22 c 2830 11907 819487 571006 56 1890 19 22 18 0.14/0.22 c 2840 11953 822038 572107 56 1900 27 28 25 0.14/0.22 c 2850 11994 825091 574481 56 1906 21 23 19 0.14/0.22 c 2860 12034 827200 575502 56 1916 23 25 22 0.14/0.22 c 2870 12064 829998 577614 56 1926 21 21 19 0.14/0.22 c 2880 12096 832206 579142 56 1931 19 19 17 0.14/0.22 c 2890 12135 835027 580996 56 1935 20 23 20 0.14/0.22 c 2900 12174 838239 583346 56 1945 21 23 20 0.14/0.22 c 2910 12202 839888 584246 56 1955 19 19 17 0.14/0.22 c 2920 12236 842315 585856 56 1960 19 20 18 0.14/0.22 c 2930 12266 844070 586843 56 1970 19 21 17 0.14/0.22 c 2940 12309 846357 587917 56 1980 25 25 22 0.14/0.23 c 2950 12350 849656 590321 56 1990 23 23 20 0.14/0.23 c 2960 12388 854810 594461 56 2000 20 20 18 0.14/0.23 c 2970 12429 857072 595820 56 2002 21 24 20 0.14/0.23 c 2980 12481 859715 597161 56 2004 23 26 22 0.14/0.23 c 2990 12514 862506 599342 56 2012 19 22 18 0.14/0.23 c 3000 12550 865955 601427 56 2020 20 20 18 0.14/0.23 c 3010 12597 868999 603222 56 2021 23 23 20 0.14/0.23 c 3020 12632 871745 604903 56 2027 19 22 17 0.14/0.23 c 3030 12666 874092 606450 56 2033 21 23 20 0.14/0.23 c 3040 12702 877490 609188 56 2040 20 21 18 0.14/0.23 c 3050 12737 880115 610897 56 2044 18 22 17 0.14/0.23 c 3060 12783 882641 611947 56 2045 28 28 25 0.14/0.23 c 3070 12814 885159 613514 56 2054 18 22 17 0.14/0.23 c 3080 12843 887648 615484 56 2064 18 20 18 0.14/0.23 c 3090 12877 889982 617087 56 2070 20 20 18 0.14/0.23 c 3100 12926 893118 618649 56 2075 23 30 22 0.14/0.23 c 3110 12954 894765 619545 56 2085 19 19 17 0.14/0.23 c 3120 12992 898706 621921 56 2087 20 20 18 0.14/0.23 c 3130 13027 900916 623309 56 2092 22 22 20 0.14/0.23 c 3140 13062 903788 625411 56 2100 20 23 20 0.14/0.23 c 3142 13083 905200 626390 56 2101 20 20 13 0.14/0.23 c 3150 13119 908071 628412 56 2106 19 23 19 0.14/0.23 c 3160 13152 910435 630021 56 2111 20 20 18 0.14/0.24 c 3170 13186 913062 632147 56 2116 21 21 19 0.14/0.24 c 3180 13221 915284 633555 56 2121 22 22 20 0.14/0.24 c 3190 13256 918155 635699 56 2129 20 23 20 0.14/0.24 c 3200 13289 920493 637253 56 2134 20 20 18 0.14/0.24 c 3210 13322 922929 639346 56 2139 20 20 18 0.14/0.24 c 3220 13355 925257 640970 56 2144 20 20 18 0.14/0.24 c 3230 13389 927806 643052 56 2149 21 21 19 0.14/0.24 c 3240 13424 930011 644480 56 2154 22 22 20 0.14/0.24 c 3250 13459 932872 646565 56 2162 20 23 20 0.14/0.24 c 3260 13493 935256 648156 56 2166 20 20 18 0.14/0.24 c 3270 13529 937491 649570 56 2168 22 22 20 0.14/0.24 c 3280 13559 939241 650551 56 2178 19 21 17 0.14/0.24 c 3290 13621 941832 651659 56 2181 28 28 25 0.14/0.24 c 3300 13663 944364 652816 56 2186 21 26 21 0.14/0.24 c 3310 13712 946873 653958 56 2191 21 28 24 0.14/0.24 c 3320 13739 948462 654804 56 2201 18 18 16 0.14/0.24 c 3330 13777 952851 657284 56 2211 20 20 18 0.14/0.24 c 3340 13812 955879 659522 56 2220 21 25 19 0.14/0.24 c 3350 13845 958669 661692 56 2228 19 22 18 0.14/0.24 c 3360 13881 961920 663703 56 2236 20 20 18 0.14/0.24 c 3370 13918 964700 665779 56 2243 21 24 20 0.14/0.24 c 3380 13951 967484 667874 56 2251 19 22 18 0.14/0.24 c 3390 13988 970657 669845 56 2255 20 20 18 0.14/0.25 c 3400 14022 973285 671907 56 2260 21 21 19 0.14/0.25 c 3410 14057 975554 673345 56 2265 22 22 20 0.14/0.25 c 3420 14091 978362 675418 56 2273 20 23 19 0.14/0.25 c 3430 14124 980820 677027 56 2278 20 20 18 0.14/0.25 c 3440 14157 983260 679121 56 2283 20 20 18 0.14/0.25 c 3450 14190 985702 680750 56 2288 20 20 18 0.14/0.25 c 3460 14224 988314 682822 56 2293 21 21 19 0.14/0.25 c 3470 14259 990556 684205 56 2298 22 22 20 0.14/0.25 c 3480 14294 993436 686311 56 2306 20 23 20 0.14/0.25 c 3490 14327 995859 687936 56 2307 20 20 18 0.14/0.25 c 3500 14360 998277 689983 56 2312 20 20 18 0.14/0.25 c 3510 14393 1000618 691621 56 2317 20 20 18 0.14/0.25 c 3520 14433 1002979 693316 56 2321 23 24 21 0.14/0.25 c 3530 14466 1005758 695442 56 2329 19 22 18 0.14/0.25 c 3540 14499 1008108 697075 56 2334 20 20 18 0.14/0.25 c 3550 14540 1010409 698539 56 2337 24 24 21 0.14/0.25 c 3551 14559 1011765 699468 56 2338 19 19 9 0.14/0.25 c 3560 14602 1014143 700898 56 2342 24 26 23 0.14/0.25 c 3570 14638 1016911 702949 56 2349 21 24 20 0.14/0.25 c 3580 14672 1019479 704542 56 2358 21 22 19 0.14/0.25 c 3590 14705 1021807 706145 56 2363 20 20 18 0.14/0.25 c 3600 14738 1024233 708203 56 2368 20 20 18 0.14/0.25 c 3610 14773 1026609 709834 56 2371 20 20 18 0.14/0.25 c 3620 14812 1028786 711191 56 2374 24 24 21 0.14/0.26 c 3630 14845 1031295 712786 56 2380 18 20 18 0.14/0.26 c 3640 14883 1033471 714127 56 2390 19 25 19 0.14/0.26 c 3650 14918 1035699 715531 56 2395 22 22 20 0.14/0.26 c 3660 14953 1038565 717605 56 2403 20 23 20 0.14/0.26 c 3670 14986 1040898 719271 56 2408 20 20 18 0.14/0.26 c 3680 15025 1043888 721668 56 2414 20 24 18 0.14/0.26 c 3690 15058 1046667 723782 56 2422 19 22 18 0.14/0.26 c 3700 15091 1048981 725443 56 2427 20 20 18 0.14/0.26 c 3710 15137 1052953 728352 56 2437 23 24 21 0.14/0.26 c 3720 15171 1055762 730425 56 2445 20 23 19 0.14/0.26 c 3730 15204 1058060 732107 56 2446 20 20 18 0.14/0.26 c 3740 15243 1060288 733620 56 2449 24 24 21 0.14/0.26 c 3750 15277 1063136 735730 56 2457 19 22 19 0.14/0.26 c 3760 15310 1065441 737352 56 2462 20 20 18 0.14/0.26 c 3770 15349 1067649 738750 56 2465 24 24 21 0.14/0.26 c 3780 15384 1070074 740222 56 2471 20 21 19 0.14/0.26 c 3790 15425 1072466 741199 56 2477 28 30 26 0.14/0.26 c 3800 15461 1074738 742667 56 2480 22 22 20 0.14/0.26 c 3810 15501 1077601 744726 56 2486 19 23 19 0.14/0.26 c 3820 15534 1079870 746322 56 2491 20 20 18 0.14/0.26 c 3830 15581 1083602 748880 56 2497 24 24 21 0.14/0.26 c 3840 15615 1086418 750954 56 2505 20 23 19 0.14/0.26 c 3850 15648 1088684 752566 56 2510 20 20 18 0.14/0.27 c 3860 15687 1090875 753933 56 2513 24 24 21 0.14/0.27 c 3870 15720 1093615 755870 56 2518 20 20 18 0.14/0.27 c 3880 15755 1096069 757511 56 2523 20 20 18 0.14/0.27 c 3890 15790 1098365 758986 56 2528 22 22 20 0.14/0.27 c 3900 15824 1101191 761092 56 2536 20 23 19 0.14/0.27 c 3910 15857 1103485 762624 56 2541 20 20 18 0.14/0.27 c 3920 15905 1107276 765144 56 2543 24 24 21 0.14/0.27 c 3930 15938 1110039 767205 56 2551 19 22 18 0.14/0.27 c 3940 15971 1112321 768780 56 2556 20 20 18 0.14/0.27 c 3950 16019 1116052 771224 56 2557 24 24 21 0.14/0.27 c 3960 16052 1118621 773136 56 2562 20 20 18 0.14/0.27 c 3970 16085 1120867 774656 56 2567 20 20 18 0.14/0.27 c 3980 16130 1124485 777070 56 2571 24 24 21 0.14/0.27 c 3990 16163 1127253 779133 56 2579 19 22 18 0.14/0.27 c 4000 16197 1129594 780729 56 2583 20 20 18 0.14/0.27 c 4001 16219 1130932 781528 56 2584 22 22 11 0.14/0.27 c 4010 16259 1133270 782635 56 2588 22 26 21 0.14/0.27 c 4020 16292 1135716 784560 56 2593 20 20 18 0.14/0.27 c 4030 16325 1138033 786115 56 2598 20 20 18 0.14/0.27 c 4040 16364 1140247 787603 56 2601 24 24 21 0.14/0.27 c 4050 16397 1143017 789687 56 2609 19 22 18 0.14/0.27 c 4060 16430 1145313 791237 56 2614 20 20 18 0.14/0.27 c 4070 16478 1149112 793742 56 2616 24 24 21 0.14/0.28 c 4080 16512 1151942 795826 56 2624 19 22 19 0.14/0.28 c 4090 16545 1154219 797371 56 2629 20 20 18 0.14/0.28 c 4100 16590 1157859 799800 56 2635 24 24 21 0.14/0.28 c 4110 16624 1160651 801845 56 2643 19 22 19 0.14/0.28 c 4120 16659 1163078 803457 56 2647 20 20 18 0.14/0.28 c 4130 16705 1166760 805874 56 2652 24 24 21 0.14/0.28 c 4140 16738 1169263 807778 56 2658 20 20 18 0.14/0.28 c 4150 16781 1171817 809148 56 2663 20 25 21 0.14/0.28 c 4160 16817 1174096 810514 56 2669 22 22 20 0.14/0.28 c 4170 16864 1176760 811908 56 2672 23 24 21 0.14/0.28 c 4180 16914 1179294 813188 56 2682 18 31 22 0.14/0.28 c 4190 16948 1182083 815258 56 2690 20 23 19 0.14/0.28 c 4200 16981 1184391 816788 56 2695 20 20 18 0.14/0.28 c 4210 17025 1188033 819298 56 2697 24 24 21 0.14/0.28 c 4220 17058 1190799 821330 56 2705 19 22 18 0.14/0.28 c 4230 17091 1193095 822905 56 2710 20 20 18 0.14/0.28 c 4240 17136 1196760 825378 56 2715 24 24 21 0.14/0.28 c 4250 17169 1199496 827399 56 2723 19 22 18 0.14/0.28 c 4260 17202 1201770 828969 56 2724 20 20 18 0.14/0.28 c 4270 17247 1205413 831395 56 2728 24 24 21 0.14/0.28 c 4280 17275 1207538 832648 56 2738 19 19 17 0.14/0.28 c 4290 17304 1209324 833595 56 2748 18 20 16 0.14/0.28 c 4300 17350 1212095 835087 56 2751 23 24 21 0.14/0.29 c 4310 17395 1214739 836630 56 2757 18 26 20 0.14/0.29 c 4320 17431 1216992 837988 56 2763 22 22 20 0.14/0.29 c 4330 17477 1219791 839475 56 2766 23 24 21 0.14/0.29 c 4340 17544 1223361 841781 56 2770 19 26 22 0.14/0.29 c 4350 17582 1226874 844464 56 2780 21 24 20 0.14/0.29 c 4360 17626 1229410 845945 56 2785 20 23 20 0.14/0.29 c 4370 17654 1231719 847178 56 2795 19 19 17 0.14/0.29 c 4380 17700 1234397 848664 56 2802 22 23 20 0.14/0.29 c 4390 17733 1237170 850566 56 2807 19 21 18 0.14/0.29 c 4400 17766 1239551 852180 56 2812 20 20 18 0.14/0.29 c 4410 17804 1241697 853574 56 2814 24 24 21 0.14/0.29 c 4420 17832 1243823 854827 56 2824 19 19 17 0.14/0.29 c 4430 17865 1246207 856380 56 2829 20 20 18 0.14/0.29 c 4440 17910 1248774 857728 56 2834 22 23 20 0.14/0.29 c 4450 17938 1251089 858946 56 2844 19 19 17 0.14/0.29 c 4460 17985 1253644 860166 56 2849 23 23 20 0.14/0.29 c 4470 18018 1256419 862067 56 2854 19 21 18 0.14/0.29 c 4480 18051 1258761 863628 56 2859 20 20 18 0.14/0.29 c 4490 18089 1261034 864940 56 2864 25 25 22 0.14/0.29 c 4493 18115 1262730 866158 56 2867 24 24 18 0.14/0.29 c 4500 18145 1264891 867569 56 2874 22 23 19 0.14/0.29 c 4510 18178 1267414 869376 56 2882 23 23 20 0.14/0.29 c 4520 18210 1269681 870638 56 2892 23 23 20 0.14/0.29 c 4530 18240 1272034 872339 56 2902 21 21 19 0.14/0.30 c 4540 18272 1274343 873448 56 2912 23 23 20 0.14/0.30 c 4550 18304 1276772 874933 56 2922 23 23 20 0.14/0.30 c 4560 18347 1279220 876502 56 2926 25 25 22 0.14/0.30 c 4570 18380 1281693 878135 56 2936 24 24 21 0.14/0.30 c 4580 18420 1284074 879488 56 2941 25 25 22 0.14/0.30 c 4590 18450 1286443 880861 56 2951 21 21 19 0.14/0.30 c 4600 18490 1288892 882181 56 2956 24 25 22 0.14/0.30 c 4610 18526 1291483 883912 56 2962 21 23 20 0.14/0.30 c 4620 18558 1293885 885686 56 2972 23 23 20 0.14/0.30 conflict 21lvl : 22 bt22-953:0(839)X152826 0.14/0.30 c 4630 18597 1296064 887037 56 2978 25 25 22 0.14/0.30 c 4640 18631 1298397 888195 56 2980 23 25 21 0.14/0.30 c 4650 18672 1301008 889664 56 2986 24 25 22 0.14/0.30 c 4660 18708 1303605 891460 56 2991 23 23 20 0.14/0.30 c 4670 18740 1305981 892800 56 3001 23 23 20 0.14/0.30 c 4680 18778 1308086 894060 56 3006 24 25 22 0.14/0.30 c 4690 18815 1310116 895425 56 3011 24 24 21 0.14/0.30 c 4700 18849 1312392 896709 56 3016 23 25 21 0.14/0.30 c 4710 18888 1314621 898009 56 3021 24 25 22 0.14/0.30 c 4720 18925 1316641 899354 56 3026 24 24 21 0.14/0.30 c 4730 18962 1319251 901413 56 3032 21 23 19 0.14/0.30 c 4740 19009 1321953 902764 56 3042 26 30 26 0.14/0.30 c 4750 19053 1324995 904165 56 3053 24 25 21 0.14/0.30 c 4760 19091 1327510 906082 56 3063 20 21 19 0.14/0.30 c 4770 19127 1330063 907579 56 3069 20 22 18 0.14/0.31 c 4780 19175 1332657 908742 56 3079 30 30 27 0.14/0.31 c 4790 19213 1334769 909984 56 3084 25 25 22 0.14/0.31 c 4800 19250 1336748 911300 56 3085 24 24 21 0.14/0.31 c 4810 19285 1339488 913376 56 3091 21 21 19 0.14/0.31 c 4820 19343 1342487 914557 56 3094 21 26 22 0.14/0.31 c 4830 19377 1344810 915785 56 3098 23 25 21 0.14/0.31 c 4840 19415 1346886 916973 56 3103 25 25 22 0.14/0.31 c 4850 19446 1349390 918832 56 3113 22 22 20 0.14/0.31 c 4860 19479 1351761 920903 56 3118 20 20 18 0.14/0.31 c 4870 19512 1354107 922362 56 3122 22 24 20 0.14/0.31 c 4880 19550 1356182 923573 56 3127 25 25 22 0.14/0.31 c 4890 19581 1358699 925377 56 3137 22 22 20 0.14/0.31 c 4900 19614 1361082 927420 56 3142 20 20 18 0.14/0.31 c 4910 19646 1363493 929055 56 3152 23 23 20 0.14/0.31 c 4920 19684 1365544 930206 56 3153 25 25 22 0.14/0.31 c 4930 19719 1367780 931732 56 3160 22 24 21 0.14/0.31 c 4940 19754 1370448 933750 56 3166 21 21 19 0.14/0.31 c 4950 19801 1373068 934922 56 3173 26 27 24 0.14/0.31 c 4960 19833 1375411 936101 56 3183 23 23 20 0.14/0.31 c 4970 19871 1377526 937322 56 3188 25 25 22 0.24/0.31 c 4980 19908 1379558 938721 56 3193 24 24 21 0.24/0.31 c 4990 19943 1382122 940716 56 3199 21 21 19 0.24/0.31 c 5035 20047 1388553 942640 56 3210 24 32 28 0.24/0.32 c 5631 20992 1432339 966468 56 3244 22 25 24 0.24/0.32 c 6286 22039 1482138 995291 56 3284 23 25 24 0.24/0.33 c 7006 23162 1576181 1056455 56 3301 23 28 26 0.24/0.34 c 7798 24907 1666391 1084887 56 3332 20 30 26 0.24/0.35 c 8669 26297 1727175 1127883 56 3351 21 24 23 0.24/0.35 c 9627 28327 1820067 1161430 56 3384 22 26 25 0.24/0.36 c 10680 30585 1922516 1197285 56 3410 22 26 25 0.24/0.38 c 11838 32782 2080751 1305758 56 3438 19 29 23 0.24/0.39 c 13111 35460 2222327 1364709 56 3458 20 25 24 0.24/0.41 c 14511 37454 2345082 1461616 56 3484 21 24 22 0.34/0.42 c 16051 39974 2549061 1537078 56 3501 23 28 27 0.34/0.44 c 17745 42481 2690959 1637328 56 3517 20 24 22 0.34/0.45 c 19608 45843 2911085 1751810 56 3571 21 25 23 0.34/0.47 c 21657 48451 3105565 1901155 56 3609 22 24 23 0.34/0.49 c 23910 51154 3310023 2005721 56 3634 20 24 21 0.44/0.52 c 26388 54663 3566309 2165802 56 3670 21 25 22 0.44/0.56 c 29113 60557 3968482 2470265 56 3716 18 30 24 0.44/0.58 c 32110 67557 4275512 2562715 56 3758 21 24 23 0.53/0.61 c 35406 71648 4602966 2814384 56 3795 21 24 22 0.53/0.64 c 39031 76533 4939860 3076948 56 3824 20 23 22 0.53/0.69 c 43018 83218 5429153 3471616 56 3888 19 26 22 0.62/0.73 c 47403 92621 5829474 3608954 56 3923 20 26 22 0.72/0.80 c 52226 99967 6563884 4131440 56 3965 20 25 22 0.72/0.84 c 57531 107507 7016833 4413761 56 4018 20 25 22 0.72/0.89 c 63366 119073 7552001 4653678 56 4047 21 24 22 0.82/0.95 c 69784 127564 8068056 5019248 56 4096 20 28 22 0.93/1.01 c 76843 138264 8750520 5528493 56 4123 21 25 23 0.93/1.07 c 84607 150315 9503675 5782849 56 4165 21 33 28 1.03/1.14 c 93147 166403 10341386 6256614 56 4208 23 26 24 1.12/1.23 c 102541 182507 11213248 6842293 56 4222 22 26 24 1.22/1.30 c 112874 201115 12013377 7202165 56 4247 21 26 24 1.22/1.35 c 124240 215550 12852654 7351996 56 4283 16 31 29 1.32/1.45 c 136742 244446 14118784 7750618 56 4326 21 25 24 1.42/1.58 c 150494 263104 15352475 8774538 56 4386 19 23 22 1.62/1.70 c 165621 282496 16608017 9559229 56 4447 20 24 22 1.72/1.86 c 182260 320383 18422146 10340524 56 4487 20 25 23 1.93/2.01 c 200562 351763 20010897 11304305 56 4513 22 26 24 2.12/2.23 c 220694 375462 22379332 12795230 56 4560 20 25 22 2.32/2.48 c 242839 414364 24895929 14560057 56 4608 21 25 23 2.52/2.69 c 267198 461997 27903621 15330301 56 4647 16 32 27 2.82/2.93 c 293992 512703 30621308 16570840 56 4676 18 28 23 3.22/3.39 c 323465 576077 35169266 19161103 56 4712 22 26 24 3.52/3.64 c 355885 614184 38428821 20438207 56 4773 20 25 22 3.92/4.01 c 391547 692128 42722110 22436305 56 4801 22 26 25 4.42/4.50 c 430775 754586 47313945 26538510 56 4850 20 24 22 4.82/4.91 c 473925 829520 52389235 28824002 56 4882 18 32 27 5.22/5.37 c 521390 915298 57759874 31095520 56 4908 20 28 24 5.52/5.65 c 573601 990863 62269614 32161991 56 4959 19 31 27 6.12/6.29 c 631033 1112252 69015909 36970881 56 4990 20 29 24 6.62/6.73 c 694208 1217587 73531559 39854392 56 5040 21 27 25 7.71/7.80 c 763700 1361172 84156018 44699290 56 5057 21 27 25 8.31/8.40 c 840141 1501779 90947177 48308638 56 5084 22 27 25 9.61/9.75 c 924226 1702615 104674241 56341233 56 5099 16 31 24 10.21/10.39 c 1016719 1834806 111663192 60422596 56 5156 20 28 25 11.02/11.15 c 1118461 2006126 119543955 65453391 56 5202 22 25 24 12.02/12.19 c 1230377 2209728 130340970 72216276 56 5241 22 25 24 13.31/13.42 c 1353484 2440856 143249608 79940785 56 5283 21 28 24 14.51/14.67 c 1488901 2689183 156285144 87862294 56 5335 21 27 24 16.92/17.06 c 1637859 2985884 180040635 105004335 56 5387 22 27 24 18.61/18.78 c 1801712 3273302 198245828 114578897 56 5430 22 28 24 21.21/21.31 c 1981950 3605643 222337501 132577117 56 5480 23 28 24 22.41/22.57 c 2180211 3912811 235491533 140070927 56 5518 19 26 24 24.81/24.95 c 2398298 4261279 257420547 153442269 56 5535 22 25 24 27.02/27.15 c 2638193 4780013 285639073 163151170 56 5574 25 28 27 30.11/30.25 c 2902077 5149621 318870404 189782610 56 5641 21 27 24 32.71/32.85 c 3192349 5616056 346418025 206572887 56 5699 19 27 24 36.81/36.93 c 3511648 6158757 387662541 233644034 56 5759 17 30 23 41.11/41.25 c 3862876 6774319 433381568 262689436 56 5789 21 26 24 44.92/45.04 c 4249226 7349500 475340705 291662212 56 5852 20 29 24 49.92/50.02 c 4674211 8034126 524086557 330273670 56 5916 18 27 23 55.81/55.95 c 5141694 8998140 586425693 366707784 56 5933 18 30 24 62.21/62.35 c 5655925 9902151 650032932 405955610 56 5995 18 29 23 69.51/69.66 c 6221579 10873081 729051615 460361500 56 6060 19 27 24 75.31/75.41 c 6843798 11829651 782293059 500154109 56 6129 20 27 24 84.71/84.84 c 7528238 13162617 876430742 565589783 56 6167 21 27 25 89.71/89.89 c 8281122 14465537 932640902 592703112 56 6226 22 27 25 97.41/97.52 c 9109294 16037321 1031740003 632840036 56 6266 16 33 28 107.11/107.27 c 10020283 17136064 1129419831 712700956 56 6313 18 25 22 112.81/112.93 c 11022370 18740780 1190714009 741529361 56 6387 20 25 24 128.41/128.50 c 12124665 21174163 1362710072 827435589 56 6440 16 31 24 137.31/137.48 c 13337189 23349672 1461551533 874544827 56 6512 20 28 24 147.31/147.47 c 14670965 25442655 1580235220 917444660 56 6560 19 29 24 159.61/159.74 c 16138118 28598511 1726491901 972033518 56 6620 19 27 25 174.21/174.37 c 17751986 31050465 1860834096 1061628627 56 6674 21 27 24 186.81/186.97 c 19527240 33613602 2029194482 1124964481 56 6724 20 32 27 205.71/205.88 c 21480019 37672892 2266377403 1209167551 56 6802 17 30 24 240.92/241.10 c 23628075 42242369 2598593972 1364269844 56 6839 21 27 24 275.02/275.19 c 25990936 46515462 2940333794 1521526077 56 6904 20 27 24 296.62/296.75 c 28590083 50861216 3246237941 1624072754 56 6926 20 32 27 351.03/351.13 c 31449144 57324950 3763654924 1871209552 56 6960 21 28 25 375.72/375.84 c 34594111 62356054 4019803389 1984709818 56 7001 21 27 25 426.82/426.90 c 38053574 69099128 4498085886 2221006852 56 7044 20 28 24 472.32/472.42 c 41858983 75115387 5008811326 2421912594 56 7087 19 28 24 504.42/504.52 c 46044932 81795551 5342970958 2570428639 56 7122 23 26 24 558.82/559.00 c 50649475 89595181 5840509917 2837019457 56 7149 24 26 24 616.63/616.75 c 55714472 97375501 6485268073 3097717650 56 7201 19 29 24 644.83/644.93 c 61285968 105051893 6947617896 3179928663 56 7262 22 31 27 753.64/753.75 c 67414613 118654566 7970444432 3646809970 56 7313 20 27 25 824.24/824.39 c 74156122 129419009 8620780165 4002020164 56 7388 21 29 24 881.95/882.02 c 81571781 141318819 9220576021 4269714324 56 7437 24 26 24 933.74/933.87 c 89729005 154211804 9972378706 4472349085 56 7498 16 33 28 1095.15/1095.26 c 98701951 173344490 11464610581 5165587865 56 7565 22 27 25 1208.85/1208.91 c 108572191 189895938 12605945895 5674766805 56 7626 19 29 25 1376.25/1376.39 c 119429455 211256725 14217463041 6387907833 56 7658 19 29 25 1504.45/1504.55 c 131372445 231074799 15496955003 6984285057 56 7710 21 28 25 1592.75/1592.84 c 144509734 247750196 16667347788 7327168581 56 7799 18 30 24 1698.75/1698.84 c 158960751 270779493 17839067132 7974888264 56 7863 20 29 24 1894.16/1894.20 c 174856869 299908755 19922831249 9102484267 56 7897 19 26 25 2060.07/2060.12 c 192342598 334122297 21769900300 10050013567 56 7960 20 27 25 2060.16/2060.21 conflict 40lvl : 21 bt20-1347:0(763)X268772 2319.47/2319.54 c 211576899 373200821 24501276179 11586760715 56 8023 21 26 25 2499.58/2499.69 c 232734630 414605590 26465163821 12467839981 56 8118 19 27 25 2519.98/2520.00 2519.98/2520.00 c *** INTERRUPTED *** 2519.98/2520.00 c restarts : 629 2519.98/2520.00 c conflicts : 235274392 (93364 /sec) 2519.98/2520.00 c decisions : 418535139 (166087 /sec) 2519.98/2520.00 c propagations : 12592397710 (4997023 /sec) 2519.98/2520.00 c root propagations : 162 2519.98/2520.00 c filter calls : 26658240817 (10578751 /sec) 2519.98/2520.00 c useless filter calls : 17736869477 (66 %) 2519.98/2520.00 c 2519.98/2520.00 c clauses : 29342 2519.98/2520.00 c SAT propagations : 8137 2519.98/2520.00 c SAT conflicts : 0 (2 learnts) 2519.98/2520.00 c Memory used : 32.03 MB 2519.98/2520.00 c CPU time : 2519.98 s 2519.98/2520.00 2519.98/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 (14413 MiB free)
memory of node 1: 16384 MiB (15641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265994-1502583709/watcher-4265994-1502583709 -o /tmp/evaluation-result-4265994-1502583709/solver-4265994-1502583709 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4738 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265994-1502583709.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=7241, runsolver pid=7238
[startup+0.100152 s]*
/proc/loadavg: 2.08 2.03 2.05 3/186 7242
/proc/meminfo: memFree=30775400/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32368 memory=5036 CPUtime=0.03 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 1423 0 0 0 3 0 0 0 20 0 1 0 105877280 33144832 1259 18446744073709551615 4194304 5972588 140732385057296 140732385053944 4995525 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8092 1259 843 435 0 1455 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 32368 KiB
Current children cumulated memory: 5036 KiB
[startup+0.209691 s]*
/proc/loadavg: 2.08 2.03 2.05 3/186 7242
/proc/meminfo: memFree=30775028/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32368 memory=5036 CPUtime=0.14 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 1470 0 0 0 14 0 0 0 20 0 1 0 105877280 33144832 1259 18446744073709551615 4194304 5972588 140732385057296 140732385053944 140042408828000 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8092 1259 843 435 0 1455 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 32368 KiB
Current children cumulated memory: 5036 KiB
[startup+0.309182 s]*
/proc/loadavg: 2.08 2.03 2.05 3/186 7242
/proc/meminfo: memFree=30774648/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32512 memory=5296 CPUtime=0.24 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 1547 0 0 0 24 0 0 0 20 0 1 0 105877280 33292288 1324 18446744073709551615 4194304 5972588 140732385057296 140732385053944 140042408828000 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8128 1324 843 435 0 1491 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 5296 KiB
[startup+0.700268 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 7242
/proc/meminfo: memFree=30774276/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32512 memory=5560 CPUtime=0.62 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 1565 0 0 0 62 0 0 0 20 0 1 0 105877280 33292288 1390 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5099616 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8128 1390 848 435 0 1491 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 5560 KiB
[startup+1.50026 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 7242
/proc/meminfo: memFree=30773936/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32512 memory=5560 CPUtime=1.42 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 1575 0 0 0 142 0 0 0 20 0 1 0 105877280 33292288 1390 18446744073709551615 4194304 5972588 140732385057296 140732385054600 4995482 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8128 1390 848 435 0 1491 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 5560 KiB
[startup+3.10914 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 7242
/proc/meminfo: memFree=30773812/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32512 memory=5676 CPUtime=3.02 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 2000 0 0 0 302 0 0 0 20 0 1 0 105877280 33292288 1419 18446744073709551615 4194304 5972588 140732385057296 140732385054600 4995525 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8128 1419 848 435 0 1491 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 32512 KiB
Current children cumulated memory: 5676 KiB
[startup+6.30026 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 7242
/proc/meminfo: memFree=30773724/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=5712 CPUtime=6.22 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 2447 0 0 0 622 0 0 0 20 0 1 0 105877280 33431552 1428 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5312315 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1428 848 435 0 1525 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 5712 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 7242
/proc/meminfo: memFree=30773696/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=5756 CPUtime=12.61 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 2898 0 0 0 1261 0 0 0 20 0 1 0 105877280 33431552 1439 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5273349 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1439 848 435 0 1525 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 5756 KiB
[startup+25.5003 s]
/proc/loadavg: 2.20 2.06 2.06 3/186 7242
/proc/meminfo: memFree=30774188/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=5844 CPUtime=25.41 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 3762 0 0 0 2541 0 0 0 20 0 1 0 105877280 33431552 1461 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5321071 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1461 848 435 0 1525 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 5844 KiB
[startup+51.1089 s]
/proc/loadavg: 2.62 2.17 2.09 3/186 7242
/proc/meminfo: memFree=30774244/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=5888 CPUtime=51.02 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 4261 0 0 0 5102 0 0 0 20 0 1 0 105877280 33431552 1472 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5319872 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1472 848 435 0 1525 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 5888 KiB
[startup+102.3 s]
/proc/loadavg: 2.27 2.14 2.09 3/185 7244
/proc/meminfo: memFree=30774332/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=5904 CPUtime=102.21 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 4758 0 0 0 10221 0 0 0 20 0 1 0 105877280 33431552 1476 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5320857 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1476 848 435 0 1525 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 5904 KiB
[startup+162.3 s]
/proc/loadavg: 2.10 2.12 2.08 3/189 7261
/proc/meminfo: memFree=30769060/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=5956 CPUtime=162.21 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 5237 0 0 0 16221 0 0 0 20 0 1 0 105877280 33431552 1489 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5251102 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1489 848 435 0 1525 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 5956 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/189 7263
/proc/meminfo: memFree=30768872/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=5996 CPUtime=222.21 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 5741 0 0 0 22221 0 0 0 20 0 1 0 105877280 33431552 1499 18446744073709551615 4194304 5972588 140732385057296 140732385054600 4995408 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1499 848 435 0 1525 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 5996 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/186 7266
/proc/meminfo: memFree=30772972/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=6016 CPUtime=282.22 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 6218 0 0 0 28222 0 0 0 20 0 1 0 105877280 33431552 1504 18446744073709551615 4194304 5972588 140732385057296 140732385054600 4908928 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1504 848 435 0 1525 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 6016 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/186 7268
/proc/meminfo: memFree=30770232/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=6024 CPUtime=342.22 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 6698 0 0 0 34222 0 0 0 20 0 1 0 105877280 33431552 1506 18446744073709551615 4194304 5972588 140732385057296 140732385054600 4908840 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1506 848 435 0 1525 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 6024 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/186 7270
/proc/meminfo: memFree=30770232/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=6028 CPUtime=402.22 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 7144 0 0 0 40222 0 0 0 20 0 1 0 105877280 33431552 1507 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5251122 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1507 848 435 0 1525 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 6028 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/185 7272
/proc/meminfo: memFree=30770248/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32648 memory=6028 CPUtime=462.22 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 7151 0 0 0 46222 0 0 0 20 0 1 0 105877280 33431552 1507 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5251432 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8162 1507 848 435 0 1525 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 32648 KiB
Current children cumulated memory: 6028 KiB
################
# More data... #
################
/proc/7241/statm: 8199 1536 848 435 0 1562 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6144 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 7412
/proc/meminfo: memFree=31421520/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6144 CPUtime=1782.26 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 15057 0 0 0 178225 1 0 0 20 0 1 0 105877280 33583104 1536 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5094104 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1536 848 435 0 1562 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6144 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 7414
/proc/meminfo: memFree=31421792/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6144 CPUtime=1842.26 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 15510 0 0 0 184225 1 0 0 20 0 1 0 105877280 33583104 1536 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5338173 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1536 848 435 0 1562 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6144 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 7416
/proc/meminfo: memFree=31421640/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6148 CPUtime=1902.26 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 15998 0 0 0 190225 1 0 0 20 0 1 0 105877280 33583104 1537 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5099616 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1537 848 435 0 1562 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6148 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7432
/proc/meminfo: memFree=31416512/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6148 CPUtime=1962.26 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 16250 0 0 0 196225 1 0 0 20 0 1 0 105877280 33583104 1537 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5099648 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1537 848 435 0 1562 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6148 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7435
/proc/meminfo: memFree=31416724/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6148 CPUtime=2022.26 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 16624 0 0 0 202225 1 0 0 20 0 1 0 105877280 33583104 1537 18446744073709551615 4194304 5972588 140732385057296 140732385054600 4995482 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1537 848 435 0 1562 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6148 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7438
/proc/meminfo: memFree=31421024/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6152 CPUtime=2082.27 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 17125 0 0 0 208226 1 0 0 20 0 1 0 105877280 33583104 1538 18446744073709551615 4194304 5972588 140732385057296 140732385054696 5099630 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1538 848 435 0 1562 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6152 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7440
/proc/meminfo: memFree=31420904/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6152 CPUtime=2142.27 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 17288 0 0 0 214226 1 0 0 20 0 1 0 105877280 33583104 1538 18446744073709551615 4194304 5972588 140732385057296 140732385054696 5321113 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1538 848 435 0 1562 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6152 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7442
/proc/meminfo: memFree=31420780/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6152 CPUtime=2202.27 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 17437 0 0 0 220226 1 0 0 20 0 1 0 105877280 33583104 1538 18446744073709551615 4194304 5972588 140732385057296 140732385054696 5099616 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1538 848 435 0 1562 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6152 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 7444
/proc/meminfo: memFree=31421028/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6152 CPUtime=2262.27 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 17782 0 0 0 226226 1 0 0 20 0 1 0 105877280 33583104 1538 18446744073709551615 4194304 5972588 140732385057296 140732385054696 5094176 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1538 848 435 0 1562 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6152 KiB
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 7446
/proc/meminfo: memFree=31421284/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6172 CPUtime=2322.27 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 18284 0 0 0 232226 1 0 0 20 0 1 0 105877280 33583104 1543 18446744073709551615 4194304 5972588 140732385057296 140732385054600 4995572 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1543 848 435 0 1562 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6172 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 7448
/proc/meminfo: memFree=31421052/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6176 CPUtime=2382.27 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 18694 0 0 0 238226 1 0 0 20 0 1 0 105877280 33583104 1544 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5334136 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1544 848 435 0 1562 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6176 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 7450
/proc/meminfo: memFree=31420936/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6176 CPUtime=2442.27 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 18875 0 0 0 244226 1 0 0 20 0 1 0 105877280 33583104 1544 18446744073709551615 4194304 5972588 140732385057296 140732385054600 4995517 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1544 848 435 0 1562 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6176 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7452
/proc/meminfo: memFree=31421052/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6188 CPUtime=2502.28 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 19473 0 0 0 250227 1 0 0 20 0 1 0 105877280 33583104 1547 18446744073709551615 4194304 5972588 140732385057296 140732385054600 4995517 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1547 848 435 0 1562 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6188 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/184 7453
/proc/meminfo: memFree=31421060/32770624 swapFree=67108764/67108860
[pid=7241] ppid=7238 vsize=32796 memory=6188 CPUtime=2519.98 cores=1,3,5,7
/proc/7241/stat : 7241 (cosoco) R 7238 7241 4674 0 -1 4202496 19611 0 0 0 251997 1 0 0 20 0 1 0 105877280 33583104 1547 18446744073709551615 4194304 5972588 140732385057296 140732385054600 5273442 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 30904320 140732385063364 140732385063464 140732385063464 140732385066958 0
/proc/7241/statm: 8199 1547 848 435 0 1562 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 6188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 7241 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.98 s, system=0.015 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520
CPU user time (s): 2519.98
CPU system time (s): 0.015
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 32796
Max. memory (cumulated for all children) (KiB): 6188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.015
maximum resident set size= 6256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19661
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= 6
involuntary context switches= 1578
# summary of solver processes directly reported to runsolver:
# pid: 7241
# total CPU time (s): 2520
# total CPU user time (s): 2519.98
# total CPU system time (s): 0.015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63427 second user time and 14.9351 second system time
The end
Begin job on node134 at 2017-08-13 02:07:54 IDJOB=4265994 IDBENCH=134509 IDSOLVER=2655 FILE ID=node134/4265994-1502583709 RUNJOBID= node134-1502565207-4738 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s07/Blackhole-07-3-10.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265994-1502583709/watcher-4265994-1502583709 -o /tmp/evaluation-result-4265994-1502583709/solver-4265994-1502583709 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502565207-4738 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265994-1502583709.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 41a77f0ff8ed1fddf85157fc97a1c00e RANDOM SEED=795297578 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30776200 kB MemAvailable: 31009792 kB Buffers: 193128 kB Cached: 353248 kB SwapCached: 4 kB Active: 1365684 kB Inactive: 215284 kB Active(anon): 981432 kB Inactive(anon): 94712 kB Active(file): 384252 kB Inactive(file): 120572 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 2480 kB Writeback: 0 kB AnonPages: 1033972 kB Mapped: 56328 kB Shmem: 41564 kB Slab: 115228 kB SReclaimable: 89208 kB SUnreclaim: 26020 kB KernelStack: 3280 kB PageTables: 6936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1550468 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 743424 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-13 02:49:54