0.00/0.02 c SAT : Variables: 6561 -- Clauses: 262521
0.00/0.02 c root propagations : 148
0.00/0.02 c restarts enabled, print stats at every restarts
0.00/0.02 c
0.00/0.02 c
0.00/0.02 c
0.00/0.02 c This is cosoco 1.12 --
0.00/0.02 c
0.00/0.02 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266158-1502581172.xml
0.00/0.02 c ========================================[ Problem Statistics ]===========================================
0.00/0.02 c |
0.00/0.02 c | Parse time : 0.02 s
0.00/0.02 c |
0.00/0.02 c | Variables: 81
0.00/0.02 c | Domain Sizes: 81..81
0.00/0.02 c |
0.00/0.02 c | Constraints: 56
0.00/0.02 c | Arity: 1..81 -- Unary: 35
0.00/0.02 c |
0.00/0.02 c | Types:
0.00/0.02 c | All Different: 1
0.00/0.02 c | Sum: 20
0.00/0.02 c | Unary: 35
0.00/0.02 c |
0.00/0.02 c =========================================================================================================
0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.03 c 10 73 1100 5772 36 9 39 62 47
0.00/0.03 c 20 141 1754 9090 36 19 44 59 47
0.00/0.03 c 30 192 2065 11067 36 25 39 40 36
0.00/0.03 c 40 279 2561 14032 37 30 38 39 35
0.00/0.03 c 50 330 2887 16205 37 36 38 39 35
0.00/0.04 c 60 417 3339 18570 37 42 38 41 35
0.00/0.04 c 70 470 3680 20671 37 50 39 42 36
0.00/0.04 c 80 560 4198 22935 38 54 38 42 37
0.00/0.04 c 90 621 4639 25923 38 64 39 51 39
0.00/0.04 c 100 675 4992 28063 38 71 42 43 38
0.00/0.04 c 101 726 5362 29750 38 72 51 51 25
0.00/0.04 c 110 779 5708 31875 38 78 42 43 38
0.00/0.05 c 120 854 6380 35565 38 88 57 66 57
0.00/0.05 c 130 908 6741 37792 38 95 42 43 38
0.00/0.05 c 140 990 7905 44000 38 101 51 67 56
0.00/0.06 c 150 1044 8263 46167 38 108 42 43 38
0.00/0.06 c 160 1138 9366 52039 38 114 65 69 61
0.00/0.06 c 170 1192 9719 54179 38 121 42 43 38
0.00/0.06 c 180 1271 10464 58130 38 130 51 67 51
0.00/0.07 c 190 1325 10826 60387 38 137 42 43 38
0.00/0.07 c 200 1391 11343 63127 38 147 50 57 48
0.00/0.07 c 210 1445 11703 65384 38 154 42 43 38
0.00/0.07 c 211 1483 11888 65796 38 155 38 38 19
0.00/0.07 c 220 1560 12759 69702 38 160 61 64 57
0.00/0.08 c 230 1631 13364 74471 38 170 43 61 48
0.00/0.08 c 240 1700 13990 78690 38 180 43 59 45
0.00/0.08 c 250 1750 14347 81350 38 187 38 39 35
0.00/0.08 c 260 1800 14657 83676 38 194 38 39 35
0.00/0.08 c 270 1850 15050 85508 38 198 39 39 35
0.00/0.09 c 280 1900 15375 86989 38 202 39 39 35
0.00/0.09 c 290 1972 16149 92271 38 210 53 61 52
0.00/0.09 c 300 2033 16606 94896 38 216 43 49 42
0.00/0.09 c 310 2083 16958 97495 38 223 38 39 35
0.00/0.09 c 320 2155 17595 101542 38 231 46 62 47
0.00/0.10 c 330 2218 18080 105517 38 241 43 50 41
0.00/0.10 c 332 2261 18319 106445 38 243 42 42 28
0.00/0.10 c 340 2309 18626 108579 38 247 38 39 34
0.00/0.10 c 350 2375 19220 114460 38 256 51 57 48
0.00/0.10 c 360 2425 19568 116916 38 263 38 39 35
0.10/0.11 c 370 2508 20572 122014 38 266 61 69 60
0.10/0.11 c 380 2559 20884 124031 38 272 39 40 36
0.10/0.11 c 390 2625 21376 127685 38 280 45 54 45
0.10/0.11 c 400 2676 21688 129702 38 286 39 40 36
0.10/0.12 c 410 2748 22302 134932 38 291 50 54 47
0.10/0.12 c 420 2829 23164 141177 38 301 47 64 51
0.10/0.12 c 430 2883 23556 143615 38 308 42 43 38
0.10/0.12 c 440 2958 24288 148189 38 315 54 60 52
0.10/0.13 c 450 3019 24753 150817 38 321 43 49 42
0.10/0.13 c 460 3069 25146 152637 38 325 39 39 35
0.10/0.13 c 465 3116 25432 154064 38 328 42 43 35
0.10/0.13 c 470 3183 26031 157534 38 333 57 63 50
0.10/0.13 c 480 3234 26343 159551 38 339 39 40 36
0.10/0.14 c 490 3303 26903 162866 38 343 51 59 52
0.10/0.14 c 500 3379 27833 168370 38 350 57 65 56
0.10/0.14 c 510 3468 28341 170758 39 356 38 42 36
0.10/0.15 c 520 3543 29178 175895 39 363 55 64 54
0.10/0.15 c 530 3610 29741 179193 39 371 43 56 42
0.10/0.15 c 540 3690 30526 183441 39 376 60 70 59
0.10/0.15 c 550 3780 31052 186343 39 380 38 42 36
0.10/0.16 c 560 3854 31858 190778 39 382 59 64 57
0.10/0.16 c 570 3931 32622 195453 39 392 43 68 51
0.10/0.16 c 580 4006 33316 199419 39 399 43 64 51
0.10/0.17 c 590 4075 33865 202543 39 406 43 58 49
0.10/0.17 c 600 4164 34924 208300 39 409 58 65 56
0.10/0.17 c 610 4219 35315 211230 39 418 38 45 38
0.10/0.17 c 611 4258 35521 211800 39 419 39 39 19
0.10/0.17 c 620 4308 35833 213485 39 424 39 39 35
0.10/0.18 c 630 4360 36180 215393 39 433 39 42 36
0.10/0.18 c 640 4439 37062 220223 39 438 50 69 58
0.10/0.18 c 650 4518 37842 224992 39 448 47 70 54
0.10/0.19 c 660 4591 38613 230568 39 456 53 62 53
0.10/0.19 c 670 4674 39655 235836 39 464 46 69 56
0.10/0.19 c 680 4752 40417 239378 39 474 43 67 52
0.10/0.20 c 690 4836 41453 245497 39 479 67 70 63
0.10/0.20 c 700 4907 42177 249324 39 489 43 62 51
0.10/0.20 c 710 4971 42787 255520 39 499 43 55 48
0.10/0.21 c 720 5045 43553 260382 39 508 43 63 48
0.10/0.21 c 730 5122 44275 264059 39 517 43 60 52
0.21/0.21 c 740 5189 45025 268277 39 527 43 58 50
0.21/0.22 c 750 5239 45411 269935 39 531 39 39 35
0.21/0.22 c 760 5329 46689 277467 39 536 63 69 59
0.21/0.23 c 770 5398 47604 281929 39 546 43 60 50
0.21/0.23 c 771 5441 47867 282836 39 547 43 43 21
0.21/0.23 c 780 5515 48691 288043 39 553 61 64 56
0.21/0.23 c 790 5599 49633 293727 39 559 67 72 62
0.21/0.24 c 800 5692 50877 300642 39 563 63 71 59
0.21/0.24 c 810 5764 51541 304060 39 566 60 61 54
0.21/0.25 c 820 5837 52241 308521 39 576 43 64 50
0.21/0.25 c 830 5909 53041 312440 39 585 56 63 53
0.21/0.25 c 840 5977 53968 319858 39 595 56 58 52
0.21/0.26 c 850 6050 54857 325351 39 604 53 62 54
0.21/0.26 c 860 6123 55687 330834 39 609 57 63 54
0.21/0.26 c 870 6188 56264 334081 39 615 43 54 46
0.21/0.27 c 880 6253 56798 336778 39 621 43 54 46
0.21/0.27 c 890 6326 57724 342463 39 624 58 62 53
0.21/0.28 c 900 6398 59062 349292 39 627 59 60 54
0.21/0.28 c 910 6482 60203 354740 39 631 62 65 58
0.21/0.28 c 920 6556 60908 358617 39 641 43 65 53
0.21/0.30 c 930 6621 61483 361577 39 647 43 54 46
0.21/0.30 c 940 6699 62243 367628 39 654 57 60 53
0.21/0.30 c 947 6763 62859 371089 39 661 42 58 48
0.21/0.30 c 950 6824 63431 374278 39 664 55 59 43
0.21/0.30 c 960 6889 64005 377513 39 670 51 54 47
0.21/0.30 c 970 6954 64533 380196 39 676 51 54 47
0.21/0.30 c 980 7027 65405 385345 39 679 58 60 54
0.21/0.31 c 990 7105 66405 391030 39 687 55 65 54
0.21/0.31 c 1000 7170 67125 398739 39 697 55 56 50
0.31/0.32 c 1010 7252 68007 403875 39 703 57 70 58
0.31/0.32 c 1020 7332 68998 409511 39 709 55 64 56
0.31/0.32 c 1030 7411 69840 413941 39 715 56 62 54
0.31/0.33 c 1040 7476 70360 416843 39 721 49 54 46
0.31/0.33 c 1050 7544 71045 421017 39 727 55 58 51
0.31/0.33 c 1060 7608 71552 423783 39 732 49 53 46
0.31/0.33 c 1070 7673 72099 427351 39 738 49 54 46
0.31/0.34 c 1080 7737 72623 430068 39 742 49 53 45
0.31/0.34 c 1090 7801 73144 433247 39 747 49 53 46
0.31/0.34 c 1100 7870 73916 437724 39 757 56 58 52
0.31/0.34 c 1110 7935 74452 440618 39 760 49 53 45
0.31/0.35 c 1120 7999 74991 443697 39 764 49 53 45
0.31/0.35 c 1130 8065 75582 447183 39 770 55 56 50
0.31/0.35 c 1140 8125 76027 449344 39 778 49 50 45
0.31/0.35 c 1141 8183 76577 451782 39 779 58 58 29
0.31/0.36 c 1150 8243 77031 454009 39 785 50 50 45
0.31/0.36 c 1160 8316 77792 458201 39 794 56 64 53
0.31/0.36 c 1170 8386 78366 461527 39 798 57 59 52
0.31/0.36 c 1180 8466 79345 466464 39 802 57 62 54
0.31/0.37 c 1190 8543 80214 471285 39 812 55 64 55
0.31/0.37 c 1200 8614 80922 476039 39 822 47 62 50
0.31/0.37 c 1210 8684 81598 480721 39 830 46 59 46
0.31/0.38 c 1220 8753 82486 485821 39 836 55 58 51
0.31/0.38 c 1230 8839 83411 490677 39 839 55 71 62
0.31/0.39 c 1240 8911 84508 499706 39 849 55 60 52
0.31/0.39 c 1250 8998 85610 504956 39 855 56 67 56
0.31/0.40 c 1260 9082 86660 509873 39 865 50 69 51
0.31/0.40 c 1270 9138 87014 511865 39 873 38 46 39
0.31/0.40 c 1280 9224 88287 518729 39 876 67 69 62
0.31/0.41 c 1290 9305 89588 525511 39 881 60 61 55
0.31/0.41 c 1300 9378 90502 531991 39 888 55 59 51
0.41/0.42 c 1310 9463 91701 538128 39 894 64 70 60
0.41/0.42 c 1320 9515 92077 540583 39 901 40 41 37
0.41/0.42 c 1330 9572 92482 543258 39 908 39 46 37
0.41/0.43 c 1340 9645 93624 548740 39 916 55 61 52
0.41/0.43 c 1350 9697 93999 551195 39 923 40 41 37
0.41/0.43 c 1352 9745 94342 552793 39 924 47 47 31
0.41/0.43 c 1360 9818 95104 556781 39 927 61 64 56
0.41/0.43 c 1370 9870 95480 559236 39 934 40 41 37
0.41/0.44 c 1380 9932 95944 562301 39 940 47 51 43
0.41/0.44 c 1390 10000 96482 566797 39 948 45 54 46
0.41/0.44 c 1400 10061 97035 570159 39 953 41 50 38
0.41/0.44 c 1410 10115 97393 571918 39 958 43 43 39
0.41/0.45 c 1420 10185 98260 576857 39 966 58 59 52
0.41/0.45 c 1430 10247 98751 579629 39 970 51 51 46
0.41/0.45 c 1440 10317 99297 583059 39 978 50 56 49
0.41/0.45 c 1450 10374 99717 585830 39 985 39 46 37
0.41/0.46 c 1460 10449 100428 589531 39 990 43 64 54
0.41/0.46 c 1470 10508 101065 595792 39 1000 50 50 45
0.41/0.46 c 1480 10593 102037 600290 39 1004 61 72 59
0.41/0.46 c 1490 10650 102484 602939 39 1013 43 47 40
0.41/0.47 c 1500 10726 103458 606914 39 1018 64 64 58
0.41/0.47 c 1510 10778 103833 609369 39 1025 40 41 37
0.41/0.47 c 1520 10856 104534 613863 39 1035 51 69 55
0.41/0.47 c 1530 10908 104910 616318 39 1042 40 41 37
0.41/0.48 c 1540 10989 105711 621178 39 1051 66 69 60
0.41/0.48 c 1550 11041 106082 623523 39 1058 40 41 37
0.41/0.48 c 1560 11126 107204 628898 39 1063 66 69 62
0.41/0.49 c 1570 11180 107616 631089 39 1072 40 44 39
0.41/0.49 c 1580 11263 108655 636050 39 1075 66 69 62
0.41/0.49 c 1585 11309 108965 637666 39 1079 40 41 33
0.41/0.49 c 1590 11381 109696 641218 39 1084 66 66 55
0.41/0.50 c 1600 11442 110228 644295 39 1089 41 50 38
0.41/0.50 c 1610 11519 110836 649511 39 1091 51 54 48
0.41/0.50 c 1620 11575 111213 652175 39 1099 39 46 38
0.41/0.50 c 1630 11648 111790 655930 39 1108 51 59 50
0.41/0.51 c 1640 11728 112765 661260 39 1113 57 67 56
0.41/0.51 c 1650 11789 113206 663521 39 1123 50 52 46
0.51/0.51 c 1660 11869 114206 667702 39 1127 60 66 57
0.51/0.52 c 1670 11932 114667 670477 39 1132 50 52 46
0.51/0.52 c 1680 11989 115097 673155 39 1139 39 46 37
0.51/0.52 c 1690 12052 115585 675410 39 1147 51 52 46
0.51/0.53 c 1700 12136 116838 680647 39 1150 60 63 55
0.51/0.53 c 1710 12198 117289 682658 39 1155 52 52 47
0.51/0.53 c 1720 12255 117720 685336 39 1162 39 46 37
0.51/0.53 c 1730 12318 118176 687583 39 1171 51 52 46
0.51/0.53 c 1740 12389 118949 691644 39 1177 57 61 52
0.51/0.54 c 1750 12466 119725 696323 39 1183 47 65 52
0.51/0.54 c 1760 12525 120234 699154 39 1192 44 48 42
0.51/0.54 c 1770 12596 120815 702363 39 1201 51 61 49
0.51/0.54 c 1780 12652 121187 705028 39 1209 39 46 38
0.51/0.55 c 1790 12725 122009 712462 39 1219 61 64 55
0.51/0.55 c 1800 12790 122559 716584 39 1228 39 55 41
0.51/0.55 c 1810 12870 123475 721593 39 1232 64 64 58
0.51/0.56 c 1820 12922 123830 723923 39 1239 40 41 37
0.51/0.56 c 1830 13002 124621 727785 39 1245 47 68 51
0.51/0.56 c 1840 13054 124977 730115 39 1252 40 41 37
0.51/0.56 c 1841 13118 125580 732744 39 1253 64 64 32
0.51/0.57 c 1850 13186 126193 735962 39 1259 46 54 46
0.51/0.57 c 1860 13265 127195 740349 39 1260 59 67 57
0.51/0.57 c 1870 13317 127550 742679 39 1267 40 41 37
0.51/0.58 c 1880 13404 128596 748040 39 1275 55 66 54
0.51/0.58 c 1890 13485 129597 753356 39 1279 62 65 58
0.51/0.58 c 1900 13552 130229 757260 39 1284 46 54 47
0.51/0.59 c 1910 13629 131085 761414 39 1292 47 66 52
0.51/0.59 c 1920 13690 131588 764449 39 1297 41 50 38
0.51/0.59 c 1930 13766 132209 769647 39 1303 50 55 48
0.51/0.60 c 1940 13847 133198 774258 39 1309 65 68 60
0.51/0.60 c 1950 13932 134378 782093 39 1315 51 57 49
0.51/0.60 c 1960 13986 134741 784089 39 1324 38 44 38
0.60/0.61 c 1970 14061 135674 788697 39 1331 62 64 57
0.60/0.61 c 1980 14153 136816 793845 39 1336 65 68 61
0.60/0.61 c 1990 14216 137425 798082 39 1342 50 52 46
0.60/0.62 c 2000 14277 137866 800343 39 1352 50 52 46
0.60/0.62 c 2010 14369 138829 805701 39 1355 63 70 61
0.60/0.62 c 2020 14443 139682 810054 39 1362 51 57 49
0.60/0.63 c 2030 14508 140243 813346 39 1372 50 56 49
0.60/0.63 c 2040 14581 141246 818846 39 1374 55 62 53
0.60/0.63 c 2050 14667 142214 823230 39 1384 56 72 56
0.60/0.64 c 2060 14727 142662 825684 39 1393 43 50 41
0.60/0.64 c 2070 14803 143270 830312 39 1395 50 54 47
0.60/0.64 c 2080 14857 143647 832265 39 1404 40 44 39
0.60/0.64 c 2090 14924 144236 835216 39 1409 53 55 49
0.60/0.65 c 2100 15004 145193 840937 39 1414 63 66 58
0.60/0.65 c 2110 15075 145777 844299 39 1422 46 61 45
0.60/0.65 c 2120 15160 146767 848881 39 1428 65 68 60
0.60/0.65 c 2122 15206 147082 850184 39 1430 44 44 29
0.60/0.66 c 2130 15284 147896 853861 39 1438 53 69 55
0.60/0.66 c 2140 15359 148773 859338 39 1443 50 57 48
0.60/0.67 c 2150 15442 149795 864244 39 1446 65 68 61
0.60/0.67 c 2160 15548 150732 869222 39 1452 38 59 44
0.60/0.67 c 2170 15621 151604 874349 39 1457 59 64 55
0.60/0.68 c 2180 15702 152534 878570 39 1463 64 68 60
0.60/0.68 c 2190 15754 152890 880898 39 1470 40 41 37
0.60/0.68 c 2200 15844 153999 886774 39 1478 58 65 56
0.60/0.69 c 2210 15924 155068 892341 39 1481 63 65 58
0.60/0.69 c 2220 15980 155440 894991 39 1489 39 46 38
0.60/0.69 c 2230 16053 156019 898744 39 1498 51 59 50
0.69/0.70 c 2240 16137 157028 904000 39 1501 63 70 60
0.69/0.70 c 2250 16228 158016 908891 39 1506 60 74 61
0.69/0.70 c 2260 16280 158372 911219 39 1513 40 41 37
0.69/0.71 c 2270 16354 159267 915973 39 1514 62 63 57
0.69/0.71 c 2280 16416 159724 918651 39 1523 45 52 43
0.69/0.71 c 2290 16479 160185 921424 39 1528 50 52 46
0.69/0.71 c 2300 16561 161220 927834 39 1532 63 65 58
0.69/0.72 c 2310 16639 161919 931046 39 1538 53 57 50
0.69/0.72 c 2320 16710 162550 933769 39 1542 54 54 49
0.69/0.72 c 2330 16795 163559 938905 39 1548 63 70 59
0.69/0.73 c 2340 16856 164057 941914 39 1553 41 50 38
0.69/0.73 c 2350 16927 164660 944992 39 1559 51 59 52
0.69/0.73 c 2360 17011 165610 950298 39 1565 61 68 58
0.69/0.73 c 2370 17063 165966 952626 39 1572 40 41 37
0.69/0.74 c 2380 17136 166772 957200 39 1580 55 62 52
0.69/0.74 c 2390 17197 167269 960155 39 1585 41 50 38
0.69/0.74 c 2400 17268 167855 963675 39 1593 57 59 52
0.69/0.75 c 2410 17352 168864 969151 39 1600 64 68 59
0.69/0.75 c 2420 17427 169803 974790 39 1605 59 64 55
0.69/0.76 c 2430 17508 170735 979429 39 1606 68 68 61
0.69/0.76 c 2431 17558 171120 981045 39 1607 50 50 25
0.69/0.76 c 2440 17634 171955 984982 39 1615 58 66 55
0.69/0.76 c 2450 17686 172310 987310 39 1622 40 41 37
0.69/0.76 c 2460 17756 173049 991583 39 1631 55 60 52
0.69/0.77 c 2470 17834 174033 996531 39 1633 65 66 59
0.69/0.77 c 2480 17928 174889 999949 39 1637 57 59 53
0.69/0.77 c 2490 17985 175270 1002632 39 1647 38 48 38
0.69/0.78 c 2500 18077 176404 1007725 39 1652 65 68 61
0.69/0.78 c 2510 18140 177000 1011944 39 1658 50 52 46
0.69/0.78 c 2520 18203 177489 1014197 39 1666 51 52 46
0.69/0.79 c 2530 18286 178266 1018371 39 1673 60 70 60
0.69/0.79 c 2540 18338 178621 1020699 39 1680 40 41 37
0.69/0.79 c 2550 18411 179636 1025883 39 1687 59 60 53
0.79/0.80 c 2560 18496 180630 1030453 39 1693 65 68 60
0.79/0.80 c 2570 18588 181502 1034456 39 1695 51 59 51
0.79/0.80 c 2580 18665 182343 1038245 39 1705 51 62 52
0.79/0.81 c 2590 18726 182842 1041269 39 1710 41 50 38
0.79/0.81 c 2600 18805 183618 1045421 39 1720 62 70 61
0.79/0.81 c 2610 18866 184116 1048430 39 1725 41 50 38
0.79/0.81 c 2620 18945 184883 1052546 39 1735 62 70 61
0.79/0.82 c 2630 19016 185588 1056034 39 1738 50 55 49
0.79/0.82 c 2640 19103 186667 1060830 39 1745 59 70 59
0.79/0.83 c 2650 19178 187755 1065668 39 1750 38 60 50
0.79/0.83 c 2660 19249 188509 1070417 39 1754 52 59 51
0.79/0.83 c 2670 19331 189529 1075741 39 1760 68 68 61
0.79/0.84 c 2680 19409 190357 1080315 39 1763 52 55 49
0.79/0.84 c 2690 19486 191149 1084327 39 1766 61 68 60
0.79/0.84 c 2700 19547 191652 1087468 39 1771 41 50 38
0.79/0.85 c 2710 19618 192255 1090546 39 1777 51 59 52
0.79/0.85 c 2720 19704 193242 1095823 39 1779 66 70 62
0.79/0.85 c 2730 19766 193972 1100212 39 1783 50 51 46
0.79/0.86 c 2740 19837 194557 1103732 39 1791 57 59 52
0.79/0.86 c 2750 19922 195619 1109668 39 1794 63 68 59
0.79/0.86 c 2760 19993 196316 1113123 39 1797 50 55 49
0.79/0.87 c 2770 20075 197341 1118137 39 1807 65 70 62
0.79/0.87 c 2771 20115 197565 1118717 39 1808 40 40 20
0.79/0.87 c 2780 20208 198765 1124561 39 1811 66 68 60
0.79/0.88 c 2790 20286 199600 1129105 39 1814 52 55 49
0.79/0.88 c 2800 20375 200637 1134550 39 1818 65 72 63
0.79/0.88 c 2810 20427 200991 1136793 39 1825 40 41 37
0.79/0.89 c 2820 20502 201818 1141607 39 1831 57 62 54
0.79/0.89 c 2830 20576 202502 1144865 39 1838 50 63 53
0.79/0.89 c 2840 20664 203499 1149356 39 1846 55 64 52
0.89/0.90 c 2850 20746 204262 1152676 39 1854 53 59 51
0.89/0.90 c 2860 20805 204676 1154807 39 1863 48 49 43
0.89/0.90 c 2870 20895 205742 1159938 39 1868 64 70 60
0.89/0.91 c 2880 20956 206245 1162966 39 1873 41 50 38
0.89/0.91 c 2890 21031 206961 1168466 39 1883 61 66 55
0.89/0.91 c 2900 21106 208011 1173163 39 1888 38 60 50
0.89/0.92 c 2910 21191 209132 1178879 39 1893 58 65 57
0.89/0.92 c 2920 21243 209488 1181207 39 1900 40 41 37
0.89/0.92 c 2930 21321 210378 1186056 39 1904 61 62 55
0.89/0.93 c 2940 21399 211362 1190981 39 1906 65 66 59
0.89/0.93 c 2950 21459 211819 1194388 39 1913 39 50 39
0.89/0.93 c 2960 21535 212792 1199610 39 1920 62 66 57
0.89/0.93 c 2970 21587 213148 1201938 39 1927 40 41 37
0.89/0.94 c 2980 21665 214065 1206778 39 1928 58 62 54
0.89/0.94 c 2990 21717 214421 1209106 39 1935 40 41 37
0.89/0.94 c 3000 21789 215145 1212871 39 1943 57 60 53
0.89/0.95 c 3010 21874 216197 1218146 39 1947 65 68 61
0.89/0.95 c 3020 21926 216553 1220474 39 1954 40 41 37
0.89/0.95 c 3030 22002 217390 1224871 39 1960 57 62 54
0.89/0.96 c 3040 22083 218400 1229726 39 1965 65 68 60
0.89/0.96 c 3050 22162 219560 1236866 39 1975 50 65 56
0.89/0.96 c 3060 22214 219920 1239302 39 1982 40 41 37
0.89/0.97 c 3070 22298 220904 1244167 39 1990 57 65 55
0.89/0.97 c 3080 22390 222021 1250151 39 1994 66 71 61
0.89/0.97 c 3090 22442 222377 1252479 39 2001 40 41 37
0.89/0.98 c 3100 22535 223436 1257991 39 2003 58 65 57
0.89/0.98 c 3110 22587 223792 1260319 39 2010 40 41 37
0.89/0.98 c 3120 22667 224669 1264833 39 2017 62 65 57
0.89/0.99 c 3130 22728 225167 1267803 39 2022 41 50 38
0.89/0.99 c 3140 22806 226002 1272907 39 2028 62 68 59
0.89/0.99 c 3142 22849 226281 1274398 39 2030 41 41 27
0.89/1.00 c 3150 22922 227075 1278408 39 2034 61 64 54
0.89/1.00 c 3160 22977 227438 1280261 39 2044 39 45 38
0.89/1.00 c 3170 23063 228469 1285073 39 2052 60 65 57
1.00/1.01 c 3180 23152 229657 1291192 39 2055 62 69 60
1.00/1.01 c 3190 23204 230013 1293520 39 2062 40 41 37
1.00/1.01 c 3200 23282 230876 1297959 39 2066 61 64 56
1.00/1.01 c 3210 23339 231290 1300106 39 2071 45 45 40
1.00/1.02 c 3220 23414 232256 1305337 39 2075 58 62 54
1.00/1.02 c 3230 23491 232936 1308923 39 2084 50 67 51
1.00/1.02 c 3240 23572 233856 1313992 39 2087 58 59 53
1.00/1.03 c 3250 23624 234212 1316320 39 2094 40 41 37
1.00/1.03 c 3260 23704 235410 1322975 39 2101 62 64 56
1.00/1.03 c 3270 23769 235922 1326359 39 2110 43 55 42
1.00/1.04 c solution 1
1.00/1.04
1.00/1.04 v <instantiation type='solution'>
1.00/1.04 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list>
1.00/1.04 v <values>32 23 48 2 19 37 79 72 57 81 17 9 41 1 3 74 67 76 58 36 38 40 80 51 6 33 27 4 65 18 12 14 53 62 71 70 43 52 75 77 78 10 16 11 7 46 54 63 5 56 66 25 20 34 29 13 35 73 59 61 42 26 31 68 60 28 69 15 24 44 39 22 8 49 55 50 47 64 21 30 45 </values>
1.00/1.04 v </instantiation>
1.00/1.04
1.00/1.04 c restarts : 342
1.00/1.04 c conflicts : 3270 (3153 /sec)
1.00/1.04 c decisions : 23850 (22998 /sec)
1.00/1.04 c propagations : 1329536 (1282045 /sec)
1.00/1.04 c root propagations : 148
1.00/1.04 c filter calls : 236608 (228156 /sec)
1.00/1.04 c useless filter calls : 166127 (70 %)
1.00/1.04 c
1.00/1.04 c clauses : 264712
1.00/1.04 c SAT propagations : 5034
1.00/1.04 c SAT conflicts : 0 (0 learnts)
1.00/1.04 c Memory used : 37.19 MB
1.00/1.04 c CPU time : 1.03699 s
1.00/1.04
1.00/1.04 s SATISFIABLE
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 (15404 MiB free)
memory of node 1: 16384 MiB (15475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266158-1502581172/watcher-4266158-1502581172 -o /tmp/evaluation-result-4266158-1502581172/solver-4266158-1502581172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23606 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266158-1502581172.xml
running on 4 cores: 0,2,4,6
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=26246, runsolver pid=26243
[startup+0.100104 s]*
/proc/loadavg: 2.01 2.09 2.10 3/187 26247
/proc/meminfo: memFree=31610608/32770624 swapFree=67108860/67108860
[pid=26246] ppid=26243 vsize=38080 memory=14180 CPUtime=0.1 cores=0,2,4,6
/proc/26246/stat : 26246 (cosoco) R 26243 26246 23522 0 -1 4202496 3202 0 0 0 10 0 0 0 20 0 1 0 91205043 38993920 3545 33554432000 4194304 5972588 140732658866464 140732658863112 4978320 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8671232 140732658869434 140732658869534 140732658869534 140732658872270 0
/proc/26246/statm: 9520 3545 799 435 0 2883 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38080 KiB
Current children cumulated memory: 14180 KiB
[startup+0.209711 s]*
/proc/loadavg: 2.01 2.09 2.10 3/187 26247
/proc/meminfo: memFree=31610608/32770624 swapFree=67108860/67108860
[pid=26246] ppid=26243 vsize=38080 memory=14180 CPUtime=0.21 cores=0,2,4,6
/proc/26246/stat : 26246 (cosoco) R 26243 26246 23522 0 -1 4202496 3212 0 0 0 21 0 0 0 20 0 1 0 91205043 38993920 3545 33554432000 4194304 5972588 140732658866464 140732658863112 4979114 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8671232 140732658869434 140732658869534 140732658869534 140732658872270 0
/proc/26246/statm: 9520 3545 799 435 0 2883 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38080 KiB
Current children cumulated memory: 14180 KiB
[startup+0.309032 s]*
/proc/loadavg: 2.01 2.09 2.10 3/187 26247
/proc/meminfo: memFree=31610256/32770624 swapFree=67108860/67108860
[pid=26246] ppid=26243 vsize=38080 memory=14180 CPUtime=0.31 cores=0,2,4,6
/proc/26246/stat : 26246 (cosoco) R 26243 26246 23522 0 -1 4202496 3219 0 0 0 31 0 0 0 20 0 1 0 91205043 38993920 3545 33554432000 4194304 5972588 140732658866464 140732658863768 4975726 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8671232 140732658869434 140732658869534 140732658869534 140732658872270 0
/proc/26246/statm: 9520 3545 799 435 0 2883 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38080 KiB
Current children cumulated memory: 14180 KiB
[startup+0.70023 s]
/proc/loadavg: 2.01 2.09 2.10 3/187 26247
/proc/meminfo: memFree=31610124/32770624 swapFree=67108860/67108860
[pid=26246] ppid=26243 vsize=38080 memory=14180 CPUtime=0.69 cores=0,2,4,6
/proc/26246/stat : 26246 (cosoco) R 26243 26246 23522 0 -1 4202496 3246 0 0 0 69 0 0 0 20 0 1 0 91205043 38993920 3545 33554432000 4194304 5972588 140732658866464 140732658863768 5040154 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8671232 140732658869434 140732658869534 140732658869534 140732658872270 0
/proc/26246/statm: 9520 3545 799 435 0 2883 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38080 KiB
Current children cumulated memory: 14180 KiB
[startup+1.04222 s]
# the end of solver process 26246 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.03704 s, system=0.004003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80024 s]
/proc/loadavg: 2.01 2.09 2.10 3/187 26247
/proc/meminfo: memFree=31610124/32770624 swapFree=67108860/67108860
[pid=26246] ppid=26243 vsize=38080 memory=14180 CPUtime=0.79 cores=0,2,4,6
/proc/26246/stat : 26246 (cosoco) R 26243 26246 23522 0 -1 4202496 3253 0 0 0 79 0 0 0 20 0 1 0 91205043 38993920 3545 33554432000 4194304 5972588 140732658866464 140732658863768 5099648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8671232 140732658869434 140732658869534 140732658869534 140732658872270 0
/proc/26246/statm: 9520 3545 799 435 0 2883 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 38080 KiB
Current children cumulated memory: 14180 KiB
[startup+1.0002 s]*
/proc/loadavg: 2.01 2.09 2.10 3/187 26247
/proc/meminfo: memFree=31610124/32770624 swapFree=67108860/67108860
[pid=26246] ppid=26243 vsize=38080 memory=14440 CPUtime=1 cores=0,2,4,6
/proc/26246/stat : 26246 (cosoco) R 26243 26246 23522 0 -1 4202496 3264 0 0 0 100 0 0 0 20 0 1 0 91205043 38993920 3610 33554432000 4194304 5972588 140732658866464 140732658863768 4978106 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8671232 140732658869434 140732658869534 140732658869534 140732658872270 0
/proc/26246/statm: 9520 3610 799 435 0 2883 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 38080 KiB
Current children cumulated memory: 14440 KiB
Child status: 0
Real time (s): 1.04226
CPU time (s): 1.04105
CPU user time (s): 1.03704
CPU system time (s): 0.004003
CPU usage (%): 99.8831
Max. virtual memory (cumulated for all children) (KiB): 38080
Max. memory (cumulated for all children) (KiB): 14440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.03704
system time used= 0.004003
maximum resident set size= 14532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3285
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= 7
# summary of solver processes directly reported to runsolver:
# pid: 26246
# total CPU time (s): 1.04105
# total CPU user time (s): 1.03704
# total CPU system time (s): 0.004003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037049 second user time and 0.062872 second system time
The end
Begin job on node112 at 2017-08-13 01:25:14
IDJOB=4266158
IDBENCH=133209
IDSOLVER=2655
FILE ID=node112/4266158-1502581172
RUNJOBID= node112-1502567254-23606
PBS_JOBID= 20628283
Free space on /tmp= 61788 MiB
SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f50-12.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266158-1502581172/watcher-4266158-1502581172 -o /tmp/evaluation-result-4266158-1502581172/solver-4266158-1502581172 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23606 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266158-1502581172.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 2e473dae547e5e185f8a7aab72fd0dc2
RANDOM SEED=689044864
node112.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.24
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.24
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.24
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.24
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: 31621532 kB
MemAvailable: 31736376 kB
Buffers: 82796 kB
Cached: 331520 kB
SwapCached: 0 kB
Active: 615044 kB
Inactive: 120852 kB
Active(anon): 271000 kB
Inactive(anon): 78212 kB
Active(file): 344044 kB
Inactive(file): 42640 kB
Unevictable: 6280 kB
Mlocked: 6280 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2632 kB
Writeback: 0 kB
AnonPages: 327292 kB
Mapped: 44408 kB
Shmem: 25224 kB
Slab: 113392 kB
SReclaimable: 87988 kB
SUnreclaim: 25404 kB
KernelStack: 3360 kB
PageTables: 5676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 622280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 264192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61784 MiB
End job on node112 at 2017-08-13 01:25:15