9.98/10.04 c SAT : Variables: 112896 -- Clauses: 127400928
9.98/10.05 c root propagations : 3456
9.98/10.05 c restarts enabled, print stats at every restarts
9.98/10.05 c
9.98/10.05 c
9.98/10.05 c
9.98/10.05 c This is cosoco 1.0 --
9.98/10.05 c
9.98/10.05 c ========================================[ Problem Statistics ]===========================================
9.98/10.05 c |
9.98/10.05 c | Parse time : 8.72 s
9.98/10.05 c |
9.98/10.05 c | Variables: 96
9.98/10.05 c | Domain Sizes: 48..2304
9.98/10.05 c |
9.98/10.05 c | Constraints: 100
9.98/10.05 c | Arity: 1..48 -- Unary: 1 -- Binary: 94
9.98/10.05 c |
9.98/10.05 c | Types:
9.98/10.05 c | (X - Y < k): 46
9.98/10.05 c | All Different: 1
9.98/10.05 c | Intension: 49
9.98/10.05 c | Sum: 4
9.98/10.05 c |
9.98/10.05 c =========================================================================================================
9.98/10.05 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
10.08/10.19 c 10 71 2921 221258 49 10 51 62 48
10.18/10.24 c 20 85 3947 432860 49 19 1 5 1
10.18/10.29 c 30 110 4993 603611 49 28 1 16 4
10.28/10.33 c 40 146 6179 762295 49 33 11 27 16
10.28/10.33 c 50 156 6219 762325 50 42 1 1 0
10.28/10.33 c 60 166 6259 762355 50 51 1 1 0
10.28/10.34 c 70 176 6299 762385 50 60 1 1 0
10.28/10.34 c 80 186 6339 762415 50 69 1 1 0
10.28/10.34 c 90 196 6379 762445 50 78 1 1 0
10.28/10.35 c 100 206 6419 762475 50 87 1 1 0
10.28/10.35 c 101 207 6423 762478 50 87 1 1 0
10.28/10.36 c 110 234 6964 846987 50 95 1 19 13
10.38/10.44 c 120 276 9252 1277135 50 102 1 23 10
10.38/10.45 c 130 286 9292 1277165 51 111 1 1 0
10.38/10.45 c 140 296 9332 1277195 51 120 1 1 0
10.38/10.45 c 150 306 9372 1277225 51 129 1 1 0
10.38/10.46 c 160 316 9412 1277255 51 138 1 1 0
10.38/10.46 c 170 326 9452 1277285 51 147 1 1 0
10.38/10.46 c 180 336 9492 1277315 51 156 1 1 0
10.38/10.47 c 190 346 9532 1277345 51 165 1 1 0
10.38/10.47 c 200 356 9572 1277375 51 174 1 1 0
10.38/10.47 c 210 366 9612 1277405 51 183 1 1 0
10.38/10.47 c 211 367 9616 1277408 51 183 1 1 0
10.38/10.48 c 220 376 9652 1277435 51 191 1 1 0
10.38/10.48 c 230 386 9692 1277465 51 200 1 1 0
10.38/10.48 c 240 396 9732 1277495 51 209 1 1 0
10.38/10.49 c 250 406 9772 1277525 51 218 1 1 0
10.38/10.49 c 260 416 9812 1277555 51 227 1 1 0
10.48/10.51 c 270 450 10303 1362493 51 236 1 25 16
10.48/10.54 c 280 471 11395 1553728 51 245 1 12 5
10.48/10.58 c 290 507 12697 1677429 51 250 2 27 13
10.48/10.58 c 300 517 12737 1677459 52 259 1 1 0
10.48/10.58 c 310 527 12777 1677489 52 268 1 1 0
10.58/10.60 c 320 555 13450 1755471 52 277 1 19 9
10.58/10.65 c 330 572 14471 1969945 52 286 1 8 5
10.58/10.67 c 332 587 15138 2051153 52 288 12 14 8
10.68/10.70 c 340 606 16017 2212920 52 296 6 12 8
10.68/10.79 c 350 672 18972 2721563 52 299 16 27 20
10.78/10.83 c 360 708 19753 2817172 52 309 25 27 23
10.78/10.85 c 370 744 20447 2901929 52 319 23 27 22
10.88/10.98 c 380 834 24024 3508978 52 322 11 58 16
10.98/11.08 c 390 885 25433 3966350 52 332 10 42 14
10.98/11.09 c 400 906 25899 4001733 53 341 1 12 2
11.08/11.16 c 410 1032 28046 4336559 53 348 18 58 42
11.08/11.19 c 420 1061 28795 4432750 53 358 4 20 10
11.18/11.21 c 430 1109 29665 4528347 53 368 27 39 31
11.18/11.25 c 440 1159 30599 4729398 53 378 37 41 34
11.28/11.31 c 450 1372 33601 5091176 53 384 12 58 36
11.28/11.34 c 460 1440 34853 5230558 53 390 16 59 33
11.28/11.34 c 465 1445 34873 5230573 54 394 1 1 0
11.28/11.34 c 470 1450 34893 5230588 54 398 1 1 0
11.28/11.35 c 480 1460 34933 5230618 54 407 1 1 0
11.28/11.35 c 490 1470 34973 5230648 54 416 1 1 0
11.28/11.35 c 500 1480 35013 5230678 54 425 1 1 0
11.28/11.36 c 510 1490 35053 5230708 54 434 1 1 0
11.28/11.36 c 520 1500 35093 5230738 54 443 1 1 0
11.28/11.36 c 530 1510 35133 5230768 54 452 1 1 0
11.28/11.37 c 540 1520 35173 5230798 54 461 1 1 0
11.28/11.37 c 550 1530 35213 5230828 54 470 1 1 0
11.28/11.37 c 560 1540 35253 5230858 54 479 1 1 0
11.28/11.38 c 570 1550 35293 5230888 54 488 1 1 0
11.28/11.38 c 580 1560 35333 5230918 54 497 1 1 0
11.28/11.38 c 590 1570 35373 5230948 54 506 1 1 0
11.28/11.39 c 600 1580 35413 5230978 54 515 1 1 0
11.28/11.39 c 610 1590 35453 5231008 54 524 1 1 0
11.28/11.39 c 611 1591 35457 5231011 54 524 1 1 0
11.28/11.40 c 620 1600 35493 5231038 54 532 1 1 0
11.38/11.40 c 630 1610 35533 5231068 54 541 1 1 0
11.38/11.40 c 640 1620 35573 5231098 54 550 1 1 0
11.38/11.41 c 650 1630 35613 5231128 54 559 1 1 0
11.38/11.41 c 660 1640 35653 5231158 54 568 1 1 0
11.38/11.41 c 670 1650 35693 5231188 54 577 1 1 0
11.38/11.42 c 680 1660 35733 5231218 54 586 1 1 0
11.38/11.42 c 690 1670 35773 5231248 54 595 1 1 0
11.38/11.42 c 700 1680 35813 5231278 54 604 1 1 0
11.38/11.43 c 710 1690 35853 5231308 54 613 1 1 0
11.38/11.43 c 720 1700 35893 5231338 54 622 1 1 0
11.38/11.43 c 730 1710 35933 5231368 54 631 1 1 0
11.38/11.44 c 740 1720 35973 5231398 54 640 1 1 0
11.38/11.44 c 750 1730 36013 5231428 54 649 1 1 0
11.38/11.44 c 760 1740 36053 5231458 54 658 1 1 0
11.38/11.45 c 770 1750 36093 5231488 54 667 1 1 0
11.38/11.45 c 771 1751 36097 5231491 54 667 1 1 0
11.38/11.45 c 780 1760 36133 5231518 54 675 1 1 0
11.38/11.45 c 790 1770 36173 5231548 54 684 1 1 0
11.38/11.46 c 800 1780 36213 5231578 54 693 1 1 0
11.38/11.46 c 810 1790 36253 5231608 54 702 1 1 0
11.38/11.46 c 820 1800 36293 5231638 54 711 1 1 0
11.38/11.47 c 830 1810 36333 5231668 54 720 1 1 0
11.38/11.47 c 840 1820 36373 5231698 54 729 1 1 0
11.38/11.47 c 850 1830 36413 5231728 54 738 1 1 0
11.38/11.48 c 860 1840 36453 5231758 54 747 1 1 0
11.38/11.48 c 870 1850 36493 5231788 54 756 1 1 0
11.38/11.48 c 880 1860 36533 5231818 54 765 1 1 0
11.38/11.49 c 890 1870 36573 5231848 54 774 1 1 0
11.38/11.49 c 900 1880 36613 5231878 54 783 1 1 0
11.38/11.49 c 910 1890 36653 5231908 54 792 1 1 0
11.48/11.50 c 920 1900 36693 5231938 54 801 1 1 0
11.48/11.50 c 930 1910 36733 5231968 54 810 1 1 0
11.48/11.50 c 940 1920 36773 5231998 54 819 1 1 0
11.48/11.51 c 947 1927 36801 5232019 54 825 1 1 0
11.48/11.51 c 950 1930 36813 5232028 54 827 1 1 0
11.48/11.51 c 960 1940 36853 5232058 54 836 1 1 0
11.48/11.51 c 970 1950 36893 5232088 54 845 1 1 0
11.48/11.52 c 980 1960 36933 5232118 54 854 1 1 0
11.48/11.52 c 990 1970 36973 5232148 54 863 1 1 0
11.48/11.52 c 1000 1980 37013 5232178 54 872 1 1 0
11.48/11.53 c 1010 1990 37053 5232208 54 881 1 1 0
11.48/11.53 c 1020 2000 37093 5232238 54 890 1 1 0
11.48/11.53 c 1030 2010 37133 5232268 54 899 1 1 0
11.48/11.54 c 1040 2020 37173 5232298 54 908 1 1 0
11.48/11.54 c 1050 2030 37213 5232328 54 917 1 1 0
11.48/11.54 c 1060 2040 37253 5232358 54 926 1 1 0
11.48/11.55 c 1070 2050 37293 5232388 54 935 1 1 0
11.48/11.55 c 1080 2060 37333 5232418 54 944 1 1 0
11.48/11.55 c 1090 2070 37373 5232448 54 953 1 1 0
11.48/11.56 c 1100 2080 37413 5232478 54 962 1 1 0
11.48/11.56 c 1110 2090 37453 5232508 54 971 1 1 0
11.48/11.56 c 1120 2100 37493 5232538 54 980 1 1 0
11.48/11.57 c 1130 2110 37533 5232568 54 989 1 1 0
11.48/11.57 c 1140 2120 37573 5232598 54 998 1 1 0
11.48/11.57 c 1141 2121 37577 5232601 54 998 1 1 0
11.48/11.57 c 1150 2130 37613 5232628 54 1006 1 1 0
11.48/11.58 c 1160 2140 37653 5232658 54 1015 1 1 0
11.48/11.58 c 1170 2150 37693 5232688 54 1024 1 1 0
11.48/11.58 c 1180 2160 37733 5232718 54 1033 1 1 0
11.48/11.59 c 1190 2170 37773 5232748 54 1042 1 1 0
11.48/11.59 c 1200 2180 37813 5232778 54 1051 1 1 0
11.48/11.59 c 1210 2190 37853 5232808 54 1060 1 1 0
11.58/11.60 c 1220 2200 37893 5232838 54 1069 1 1 0
11.58/11.60 c 1230 2210 37933 5232868 54 1078 1 1 0
11.58/11.60 c 1240 2220 37973 5232898 54 1087 1 1 0
11.58/11.61 c 1250 2230 38013 5232928 54 1096 1 1 0
11.58/11.61 c 1260 2240 38053 5232958 54 1105 1 1 0
11.58/11.61 c 1270 2250 38093 5232988 54 1114 1 1 0
11.58/11.62 c 1280 2260 38133 5233018 54 1123 1 1 0
11.58/11.62 c 1290 2270 38173 5233048 54 1132 1 1 0
11.58/11.62 c 1300 2280 38213 5233078 54 1141 1 1 0
11.58/11.63 c 1310 2290 38253 5233108 54 1150 1 1 0
11.58/11.63 c 1320 2300 38293 5233138 54 1159 1 1 0
11.58/11.63 c 1330 2310 38333 5233168 54 1168 1 1 0
11.58/11.64 c 1340 2320 38373 5233198 54 1177 1 1 0
11.58/11.64 c 1350 2330 38413 5233228 54 1186 1 1 0
11.58/11.64 c 1352 2332 38421 5233234 54 1187 1 1 0
11.58/11.65 c 1360 2343 38710 5268595 54 1194 1 4 1
11.58/11.68 c 1370 2412 39827 5396616 54 1199 28 60 42
11.58/11.68 c 1380 2422 39867 5396646 55 1208 1 1 0
11.58/11.69 c 1390 2432 39907 5396676 55 1217 1 1 0
11.58/11.69 c 1400 2442 39947 5396706 55 1226 1 1 0
11.58/11.69 c 1410 2452 39987 5396736 55 1235 1 1 0
11.68/11.70 c 1420 2462 40027 5396766 55 1244 1 1 0
11.68/11.70 c 1430 2472 40067 5396796 55 1253 1 1 0
11.68/11.70 c 1440 2482 40107 5396826 55 1262 1 1 0
11.68/11.71 c 1450 2492 40147 5396856 55 1271 1 1 0
11.68/11.71 c 1460 2502 40187 5396886 55 1280 1 1 0
11.68/11.71 c 1470 2512 40227 5396916 55 1289 1 1 0
11.68/11.72 c 1480 2522 40267 5396946 55 1298 1 1 0
11.68/11.72 c 1490 2532 40307 5396976 55 1307 1 1 0
11.68/11.72 c 1500 2542 40347 5397006 55 1316 1 1 0
11.68/11.73 c 1510 2552 40387 5397036 55 1325 1 1 0
11.68/11.73 c 1520 2562 40427 5397066 55 1334 1 1 0
11.68/11.73 c 1530 2572 40467 5397096 55 1343 1 1 0
11.68/11.74 c 1540 2582 40507 5397126 55 1352 1 1 0
11.68/11.74 c 1550 2592 40547 5397156 55 1361 1 1 0
11.68/11.74 c 1560 2602 40587 5397186 55 1370 1 1 0
11.68/11.75 c 1570 2612 40627 5397216 55 1379 1 1 0
11.68/11.75 c 1580 2622 40667 5397246 55 1388 1 1 0
11.68/11.75 c 1585 2627 40687 5397261 55 1392 1 1 0
11.68/11.75 c 1590 2632 40707 5397276 55 1396 1 1 0
11.68/11.76 c 1600 2642 40747 5397306 55 1405 1 1 0
11.68/11.76 c 1610 2652 40787 5397336 55 1414 1 1 0
11.68/11.76 c 1620 2662 40827 5397366 55 1423 1 1 0
11.68/11.77 c 1630 2672 40867 5397396 55 1432 1 1 0
11.68/11.77 c 1640 2682 40907 5397426 55 1441 1 1 0
11.68/11.77 c 1650 2692 40947 5397456 55 1450 1 1 0
11.68/11.78 c 1660 2702 40987 5397486 55 1459 1 1 0
11.68/11.78 c 1670 2712 41027 5397516 55 1468 1 1 0
11.68/11.78 c 1680 2722 41067 5397546 55 1477 1 1 0
11.68/11.79 c 1690 2732 41107 5397576 55 1486 1 1 0
11.68/11.79 c 1700 2742 41147 5397606 55 1495 1 1 0
11.68/11.79 c 1710 2752 41187 5397636 55 1504 1 1 0
11.78/11.80 c 1720 2762 41227 5397666 55 1513 1 1 0
11.78/11.80 c 1730 2772 41267 5397696 55 1522 1 1 0
11.78/11.80 c 1740 2782 41307 5397726 55 1531 1 1 0
11.78/11.81 c 1750 2792 41347 5397756 55 1540 1 1 0
11.78/11.81 c 1760 2802 41387 5397786 55 1549 1 1 0
11.78/11.81 c 1770 2812 41427 5397816 55 1558 1 1 0
11.78/11.82 c 1780 2822 41467 5397846 55 1567 1 1 0
11.78/11.82 c 1790 2832 41507 5397876 55 1576 1 1 0
11.78/11.82 c 1800 2842 41547 5397906 55 1585 1 1 0
11.78/11.83 c 1810 2852 41587 5397936 55 1594 1 1 0
11.78/11.83 c 1820 2862 41627 5397966 55 1603 1 1 0
11.78/11.83 c 1830 2872 41667 5397996 55 1612 1 1 0
11.78/11.84 c 1840 2882 41707 5398026 55 1621 1 1 0
11.78/11.84 c 1841 2883 41711 5398029 55 1621 1 1 0
11.78/11.84 c 1850 2892 41747 5398056 55 1629 1 1 0
11.78/11.84 c 1860 2902 41787 5398086 55 1638 1 1 0
11.78/11.85 c 1870 2912 41827 5398116 55 1647 1 1 0
11.78/11.85 c 1880 2922 41867 5398146 55 1656 1 1 0
11.78/11.85 c 1890 2932 41907 5398176 55 1665 1 1 0
11.78/11.86 c 1900 2942 41947 5398206 55 1674 1 1 0
11.78/11.86 c 1910 2952 41987 5398236 55 1683 1 1 0
11.78/11.86 c 1920 2962 42027 5398266 55 1692 1 1 0
11.78/11.87 c 1930 2972 42067 5398296 55 1701 1 1 0
11.78/11.87 c 1940 2982 42107 5398326 55 1710 1 1 0
11.78/11.87 c 1950 2992 42147 5398356 55 1719 1 1 0
11.78/11.88 c 1960 3002 42187 5398386 55 1728 1 1 0
11.78/11.88 c 1970 3012 42227 5398416 55 1737 1 1 0
11.78/11.88 c 1980 3022 42267 5398446 55 1746 1 1 0
11.78/11.89 c 1990 3032 42307 5398476 55 1755 1 1 0
11.78/11.89 c 2000 3042 42347 5398506 55 1764 1 1 0
11.78/11.89 c 2010 3052 42387 5398536 55 1773 1 1 0
11.88/11.90 c 2020 3062 42427 5398566 55 1782 1 1 0
11.88/11.90 c 2030 3072 42467 5398596 55 1791 1 1 0
11.88/11.90 c 2040 3082 42507 5398626 55 1800 1 1 0
11.88/11.91 c 2050 3092 42547 5398656 55 1809 1 1 0
11.88/11.91 c 2060 3102 42587 5398686 55 1818 1 1 0
11.88/11.91 c 2070 3112 42627 5398716 55 1827 1 1 0
11.88/11.92 c 2080 3122 42667 5398746 55 1836 1 1 0
11.88/11.92 c 2090 3132 42707 5398776 55 1845 1 1 0
11.88/11.92 c 2100 3142 42747 5398806 55 1854 1 1 0
11.88/11.93 c 2110 3152 42787 5398836 55 1863 1 1 0
11.88/11.93 c 2120 3162 42827 5398866 55 1872 1 1 0
11.88/11.93 c 2122 3164 42835 5398872 55 1873 1 1 0
11.88/11.93 c 2130 3172 42867 5398896 55 1880 1 1 0
11.88/11.94 c 2140 3182 42907 5398926 55 1889 1 1 0
11.88/11.94 c 2150 3192 42947 5398956 55 1898 1 1 0
11.88/11.94 c 2160 3202 42987 5398986 55 1907 1 1 0
11.88/11.95 c 2170 3212 43027 5399016 55 1916 1 1 0
11.88/11.95 c 2180 3222 43067 5399046 55 1925 1 1 0
11.88/11.95 c 2190 3232 43107 5399076 55 1934 1 1 0
11.88/11.96 c 2200 3242 43147 5399106 55 1943 1 1 0
11.88/11.96 c 2210 3252 43187 5399136 55 1952 1 1 0
11.98/12.04 c 2220 3281 44614 5884110 55 1959 5 19 8
11.98/12.07 c 2230 3310 45237 6001248 55 1969 18 20 16
12.08/12.10 c 2240 3379 46451 6185092 55 1979 44 58 42
12.08/12.17 c 2250 3417 48555 6620266 55 1987 13 17 13
12.18/12.20 c 2260 3489 49637 6774190 55 1995 18 57 40
12.18/12.23 c 2270 3555 50727 6875609 55 2005 28 57 36
12.18/12.25 c 2280 3583 51450 6962696 55 2015 17 19 16
12.18/12.28 c 2290 3600 52173 7168584 55 2022 6 8 6
12.28/12.32 c 2300 3649 53277 7343176 55 2023 11 39 23
12.28/12.32 c 2310 3659 53317 7343206 56 2032 1 1 0
12.28/12.32 c 2320 3669 53357 7343236 56 2041 1 1 0
12.28/12.33 c 2330 3679 53397 7343266 56 2050 1 1 0
12.28/12.33 c 2340 3689 53437 7343296 56 2059 1 1 0
12.28/12.33 c 2350 3699 53477 7343326 56 2068 1 1 0
12.28/12.34 c 2360 3709 53517 7343356 56 2077 1 1 0
12.28/12.34 c 2370 3719 53557 7343386 56 2086 1 1 0
12.28/12.34 c 2380 3729 53597 7343416 56 2095 1 1 0
12.28/12.35 c 2390 3739 53637 7343446 56 2104 1 1 0
12.28/12.35 c 2400 3749 53677 7343476 56 2113 1 1 0
12.28/12.35 c 2410 3759 53717 7343506 56 2122 1 1 0
12.28/12.36 c 2420 3769 53757 7343536 56 2131 1 1 0
12.28/12.39 c 2430 3802 54830 7583264 56 2141 22 24 20
12.38/12.40 c 2431 3819 55073 7601396 56 2142 17 17 8
12.38/12.42 c 2440 3834 55715 7651030 56 2151 6 7 5
12.38/12.43 c 2450 3859 56217 7714079 56 2161 14 16 13
12.38/12.46 c 2460 3926 57218 7915609 56 2171 53 58 48
12.48/12.51 c 2470 3936 58105 8363048 56 2180 1 1 0
12.48/12.56 c 2480 3966 59136 8738482 56 2189 1 21 10
12.48/12.58 c 2490 3986 59775 8831994 57 2192 1 11 2
12.48/12.58 c 2500 3996 59815 8832024 57 2201 1 1 0
12.48/12.59 c 2510 4006 59855 8832054 57 2210 1 1 0
12.48/12.59 c 2520 4016 59895 8832084 57 2219 1 1 0
12.48/12.59 c 2530 4026 59935 8832114 57 2228 1 1 0
12.58/12.60 c 2540 4036 59975 8832144 57 2237 1 1 0
12.58/12.60 c 2550 4046 60015 8832174 57 2246 1 1 0
12.58/12.60 c 2560 4056 60055 8832204 57 2255 1 1 0
12.58/12.61 c 2570 4066 60095 8832234 57 2264 1 1 0
12.58/12.61 c 2580 4076 60135 8832264 57 2273 1 1 0
12.58/12.61 c 2590 4086 60175 8832294 57 2282 1 1 0
12.58/12.62 c 2600 4096 60215 8832324 57 2291 1 1 0
12.58/12.62 c 2610 4106 60255 8832354 57 2300 1 1 0
12.58/12.62 c 2620 4116 60295 8832384 57 2309 1 1 0
12.58/12.63 c 2630 4126 60335 8832414 57 2318 1 1 0
12.58/12.63 c 2640 4136 60375 8832444 57 2327 1 1 0
12.58/12.63 c 2650 4146 60415 8832474 57 2336 1 1 0
12.58/12.64 c 2660 4156 60455 8832504 57 2345 1 1 0
12.58/12.64 c 2670 4166 60495 8832534 57 2354 1 1 0
12.58/12.64 c 2680 4176 60535 8832564 57 2363 1 1 0
12.58/12.65 c 2690 4186 60575 8832594 57 2372 1 1 0
12.58/12.65 c 2700 4196 60615 8832624 57 2381 1 1 0
12.58/12.65 c 2710 4206 60655 8832654 57 2390 1 1 0
12.58/12.66 c 2720 4216 60695 8832684 57 2399 1 1 0
12.58/12.66 c 2730 4226 60735 8832714 57 2408 1 1 0
12.58/12.66 c 2740 4236 60775 8832744 57 2417 1 1 0
12.58/12.67 c 2750 4246 60815 8832774 57 2426 1 1 0
12.58/12.67 c 2760 4256 60855 8832804 57 2435 1 1 0
12.58/12.67 c 2770 4266 60895 8832834 57 2444 1 1 0
12.58/12.67 c 2771 4267 60899 8832837 57 2444 1 1 0
12.58/12.68 c 2780 4276 60935 8832864 57 2452 1 1 0
12.58/12.68 c 2790 4286 60975 8832894 57 2461 1 1 0
12.58/12.68 c 2800 4296 61015 8832924 57 2470 1 1 0
12.58/12.69 c 2810 4306 61055 8832954 57 2479 1 1 0
12.58/12.69 c 2820 4316 61095 8832984 57 2488 1 1 0
12.58/12.69 c 2830 4326 61135 8833014 57 2497 1 1 0
12.68/12.70 c 2840 4336 61175 8833044 57 2506 1 1 0
12.68/12.70 c 2850 4346 61215 8833074 57 2515 1 1 0
12.68/12.70 c 2860 4356 61255 8833104 57 2524 1 1 0
12.68/12.71 c 2870 4366 61295 8833134 57 2533 1 1 0
12.68/12.71 c 2880 4376 61335 8833164 57 2542 1 1 0
12.68/12.71 c 2890 4386 61375 8833194 57 2551 1 1 0
12.68/12.72 c 2900 4396 61415 8833224 57 2560 1 1 0
12.68/12.72 c 2910 4406 61455 8833254 57 2569 1 1 0
12.68/12.72 c 2920 4416 61495 8833284 57 2578 1 1 0
12.68/12.74 c 2930 4429 61782 8864212 57 2587 1 4 1
12.68/12.75 c 2940 4457 62236 8942677 57 2597 17 19 16
12.68/12.80 c 2950 4521 63704 9176358 57 2605 1 55 10
12.78/12.84 c solution 1
12.78/12.84
12.78/12.84 v <instantiation type='solution'>
12.78/12.84 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] </list>
12.78/12.84 v <values>1 9 10 11 12 14 15 16 17 18 19 20 21 22 23 24 25 41 42 43 44 46 47 48 2 3 4 5 6 7 8 13 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 45 1 81 100 121 144 196 225 256 289 324 361 400 441 484 529 576 625 1681 1764 1849 1936 2116 2209 2304 4 9 16 25 36 49 64 169 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 2025 </values>
12.78/12.84 v </instantiation>
12.78/12.84
12.78/12.84 c restarts : 309
12.78/12.84 c conflicts : 2958 (257 /sec)
12.78/12.84 c decisions : 4625 (402 /sec)
12.78/12.84 c propagations : 9329841 (810813 /sec)
12.78/12.84 c root propagations : 3456
12.78/12.84 c filter calls : 65031 (5652 /sec)
12.78/12.84 c useless filter calls : 46080 (70 %)
12.78/12.84 c
12.78/12.84 c clauses : 127401278
12.78/12.84 c SAT propagations : 622
12.78/12.84 c SAT conflicts : 0 (0 learnts)
12.78/12.84 c Memory used : 5793.25 MB
12.78/12.84 c CPU time : 11.5067 s
12.78/12.84
12.78/12.84 s SATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240408-1500626186/watcher-4240408-1500626186 -o /tmp/evaluation-result-4240408-1500626186/solver-4240408-1500626186 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240408-1500626186.xml
pid=5283
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.05 1.88 3/186 5286
/proc/meminfo: memFree=31022688/32770624 swapFree=6176/1006716
[pid=5286] ppid=5283 vsize=27660 CPUtime=0 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202496 1120 0 0 0 0 0 0 0 20 0 1 0 15895497 28323840 907 33554432000 4194304 5970956 140721000307968 140721000303240 5125549 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 33599488 140721000314044 140721000314179 140721000314179 140721000316878 0
/proc/5286/statm: 6915 907 703 434 0 279 0
[startup+0.100154 s]
/proc/loadavg: 2.09 2.05 1.88 3/186 5286
/proc/meminfo: memFree=31022688/32770624 swapFree=6176/1006716
[pid=5286] ppid=5283 vsize=34876 CPUtime=0.09 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202496 2038 0 0 0 9 0 0 0 20 0 1 0 15895497 35713024 1830 33554432000 4194304 5970956 140721000307968 140721000301560 5279679 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0 8070896 8075904 33599488 140721000314044 140721000314179 140721000314179 140721000316878 0
/proc/5286/statm: 8719 1830 827 434 0 2083 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34876
[startup+0.200362 s]
/proc/loadavg: 2.09 2.05 1.88 3/186 5286
/proc/meminfo: memFree=31022688/32770624 swapFree=6176/1006716
[pid=5286] ppid=5283 vsize=90636 CPUtime=0.19 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202496 11457 0 0 0 17 2 0 0 20 0 1 0 15895497 92811264 13276 33554432000 4194304 5970956 140721000307968 140721000304792 5279748 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0 8070896 8075904 33599488 140721000314044 140721000314179 140721000314179 140721000316878 0
/proc/5286/statm: 22659 13342 827 434 0 16023 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 90636
[startup+0.300392 s]
/proc/loadavg: 2.09 2.05 1.88 3/186 5286
/proc/meminfo: memFree=31022688/32770624 swapFree=6176/1006716
[pid=5286] ppid=5283 vsize=146584 CPUtime=0.29 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202496 20246 0 0 0 25 4 0 0 20 0 1 0 15895497 150102016 27184 33554432000 4194304 5970956 140721000307968 140721000304792 5251805 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0 8070896 8075904 33599488 140721000314044 140721000314179 140721000314179 140721000316878 0
/proc/5286/statm: 36646 27184 827 434 0 30010 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 146584
[startup+0.700318 s]
/proc/loadavg: 2.09 2.05 1.88 3/186 5286
/proc/meminfo: memFree=31022688/32770624 swapFree=6176/1006716
[pid=5286] ppid=5283 vsize=375096 CPUtime=0.69 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202496 50032 0 0 0 60 9 0 0 20 0 1 0 15895497 384098304 80979 33554432000 4194304 5970956 140721000307968 140721000304792 140418023328299 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0 8070896 8075904 33599488 140721000314044 140721000314179 140721000314179 140721000316878 0
/proc/5286/statm: 93774 80979 827 434 0 87138 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 375096
[startup+1.50032 s]
/proc/loadavg: 2.09 2.05 1.88 3/182 5334
/proc/meminfo: memFree=30500740/32770624 swapFree=6176/1006744
[pid=5286] ppid=5283 vsize=873776 CPUtime=1.49 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202496 105496 0 0 0 130 19 0 0 20 0 1 0 15895497 894746624 186065 33554432000 4194304 5970956 140721000307968 140721000304792 5251805 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0 8070896 8075904 33599488 140721000314044 140721000314179 140721000314179 140721000316878 0
/proc/5286/statm: 218444 186065 827 434 0 211808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 873776
[startup+3.10033 s]
/proc/loadavg: 2.09 2.05 1.88 3/187 5348
/proc/meminfo: memFree=29509628/32770624 swapFree=6176/1006748
[pid=5286] ppid=5283 vsize=2008556 CPUtime=3.09 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202496 214245 0 0 0 269 40 0 0 20 0 1 0 15895497 2056761344 391954 33554432000 4194304 5970956 140721000307968 140721000304792 140418023328299 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0 8070896 8075904 33599488 140721000314044 140721000314179 140721000314179 140721000316878 0
/proc/5286/statm: 502176 391954 827 434 0 495540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2008556
[startup+6.30033 s]
/proc/loadavg: 2.09 2.05 1.88 3/187 5348
/proc/meminfo: memFree=26331360/32770624 swapFree=6176/1006756
[pid=5286] ppid=5283 vsize=3579024 CPUtime=6.28 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202496 422634 0 0 0 546 82 0 0 20 0 1 0 15895497 3664920576 796334 33554432000 4194304 5970956 140721000307968 140721000304792 140418023328752 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0 8070896 8075904 33599488 140721000314044 140721000314179 140721000314179 140721000316878 0
/proc/5286/statm: 894756 796334 827 434 0 888120 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3579024
[startup+12.7003 s]
/proc/loadavg: 2.07 2.05 1.89 3/187 5348
/proc/meminfo: memFree=21072872/32770624 swapFree=6176/1006764
[pid=5286] ppid=5283 vsize=5932288 CPUtime=12.68 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202496 665677 0 0 0 1137 131 0 0 20 0 1 0 15895497 6074662912 1260757 33554432000 4194304 5970956 140721000307968 140721000305304 5039204 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 33599488 140721000314044 140721000314179 140721000314179 140721000316878 0
/proc/5286/statm: 1483072 1260757 846 434 0 1476436 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 5932288
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5286 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 2.07 2.05 1.89 3/187 5348
/proc/meminfo: memFree=21072872/32770624 swapFree=6176/1006764
[pid=5286] ppid=5283 vsize=5932288 CPUtime=12.78 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202496 665719 0 0 0 1147 131 0 0 20 0 1 0 15895497 6074662912 1260757 33554432000 4194304 5970956 140721000307968 140721000305304 140418023257654 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 33599488 140721000314044 140721000314179 140721000314179 140721000316878 0
/proc/5286/statm: 1483072 1260757 846 434 0 1476436 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 5932288
[startup+13.0003 s]
/proc/loadavg: 2.07 2.05 1.89 3/187 5348
/proc/meminfo: memFree=21072872/32770624 swapFree=6176/1006764
[pid=5286] ppid=5283 vsize=0 CPUtime=12.97 cores=0,2,4,6
/proc/5286/stat : 5286 (cosoco) R 5283 5286 2920 0 -1 4202500 683466 0 0 0 1150 147 0 0 20 0 1 0 15895497 0 0 33554432000 0 0 0 0 0 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/5286/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.97
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 13.084
CPU time (s): 13.0674
CPU user time (s): 11.5068
CPU system time (s): 1.56059
CPU usage (%): 99.8726
Max. virtual memory (cumulated for all children) (KiB): 5932288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5068
system time used= 1.56059
maximum resident set size= 5043096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 683466
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= 20
involuntary context switches= 671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045487 second user time and 0.071676 second system time
The end
Begin job on node125 at 2017-07-21 10:36:26
IDJOB=4240408
IDBENCH=122882
IDSOLVER=2621
FILE ID=node125/4240408-1500626186
RUNJOBID= node125-1500623778-2951
PBS_JOBID= 20623008
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-048.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240408-1500626186/watcher-4240408-1500626186 -o /tmp/evaluation-result-4240408-1500626186/solver-4240408-1500626186 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500623778-2951 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240408-1500626186.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 7adabca14a9e2cab4a49f4d8c4ab1203
RANDOM SEED=660460079
node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 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.75
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.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 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.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 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.56
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 : 2533.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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 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.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31022952 kB
MemAvailable: 32012984 kB
Buffers: 157500 kB
Cached: 1112704 kB
SwapCached: 0 kB
Active: 314604 kB
Inactive: 1015580 kB
Active(anon): 62652 kB
Inactive(anon): 8864 kB
Active(file): 251952 kB
Inactive(file): 1006716 kB
Unevictable: 6176 kB
Mlocked: 6176 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2392 kB
Writeback: 0 kB
AnonPages: 72136 kB
Mapped: 34324 kB
Shmem: 8848 kB
Slab: 118892 kB
SReclaimable: 94400 kB
SUnreclaim: 24492 kB
KernelStack: 3568 kB
PageTables: 5052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 336924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 128384 kB
DirectMap2M: 33417216 kB
Free space on /tmp at the end= 62024 MiB
End job on node125 at 2017-07-21 10:36:39