| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.02 | 2400.31 |
| Name | PseudoBoolean/PseudoBoolean-dec-sptate/ Pb-Tate-K108.xml |
| MD5SUM | 2a47884be513939e719b7a1148b6038b |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7344 |
| Number of constraints | 7562 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":7344}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 10 |
| Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":185},{"degree":5,"count":1300},{"degree":6,"count":2879},{"degree":7,"count":1808},{"degree":8,"count":745},{"degree":9,"count":214},{"degree":10,"count":212}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 108 |
| Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":1391},{"arity":3,"count":2889},{"arity":4,"count":1926},{"arity":5,"count":642},{"arity":6,"count":214},{"arity":7,"count":214},{"arity":68,"count":216},{"arity":108,"count":68}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":7562}] |
| Optimization problem | NO |
| Type of objective |
0.49/0.52 c SAT : Variables: 14688 -- Clauses: 14688 0.59/0.64 c root propagations : 362 0.59/0.64 c restarts enabled, print stats at every restarts 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c This is cosoco 1.0 -- 0.59/0.64 c 0.59/0.64 c ========================================[ Problem Statistics ]=========================================== 0.59/0.64 c | 0.59/0.64 c | Parse time : 0.44 s 0.59/0.64 c | 0.59/0.64 c | Variables: 7344 0.59/0.64 c | Domain Sizes: 2..2 0.59/0.64 c | 0.59/0.64 c | Constraints: 7562 0.59/0.64 c | Arity: 1..108 -- Unary: 2 -- Binary: 1391 -- Ternary: 2889 0.59/0.64 c | 0.59/0.64 c | Types: 0.59/0.64 c | Sum: 7562 0.59/0.64 c | 0.59/0.64 c ========================================================================================================= 0.59/0.64 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.88/2.97 c 10 2197 834473 241572 362 5 1622 1881 1639 3.19/3.30 c 20 4715 929368 272859 362 8 683 1167 839 3.69/3.71 c 30 6268 1053279 307032 362 13 1388 1422 1281 3.79/3.88 c 40 7719 1088752 317757 362 17 678 1045 885 4.29/4.35 c 50 13696 1178396 340603 362 21 695 5420 4053 4.79/4.88 c 60 20702 1279063 365375 362 27 886 6884 2023 5.29/5.34 c 70 26366 1366009 388381 362 34 901 5401 3032 5.60/5.61 c 80 28921 1418603 401765 362 43 943 2486 1919 5.78/5.82 c 90 30381 1463875 414424 362 48 943 1245 1044 5.98/6.07 c 100 32858 1509582 428245 362 53 2051 2404 2087 6.18/6.21 c 101 34280 1527710 432249 362 54 1422 1422 711 6.49/6.60 c 110 40290 1592709 445997 362 62 1005 5911 3245 6.88/6.91 c 120 43073 1652587 462548 362 69 1069 2641 2115 7.08/7.15 c 130 45242 1698503 476152 362 71 1714 1986 1679 7.39/7.47 c 140 48291 1769439 497142 362 76 846 2773 2282 7.79/7.80 c 150 51244 1834872 515146 362 81 1447 2614 1663 8.08/8.17 c 160 54379 1915169 537819 362 86 1275 2764 1530 8.38/8.46 c 170 57297 1965300 550377 362 93 151 2836 2028 8.68/8.78 c 180 60533 2027354 566688 362 101 1430 3003 2418 8.99/9.05 c 190 63456 2070510 577525 362 106 151 2817 2052 9.29/9.34 c 200 66584 2125066 591203 362 109 2928 3003 2692 9.59/9.66 c 210 69690 2188029 607708 362 113 1474 2791 2379 9.79/9.81 c 211 71077 2208719 612741 362 114 1387 1387 693 10.00/10.10 c 220 73827 2267272 627564 362 122 1373 2693 2128 10.29/10.35 c 230 75666 2320441 642619 362 126 1431 1578 1400 10.49/10.59 c 240 77604 2375384 658073 362 128 1545 1649 1434 10.79/10.89 c 250 80860 2431584 672378 362 132 2778 2935 2570 11.19/11.23 c 260 83402 2519946 698357 362 139 2127 2305 2020 11.49/11.51 c 270 85072 2589626 720287 362 141 1484 1615 1371 11.69/11.79 c 280 87547 2649922 737718 362 149 902 2066 1609 11.99/12.00 c 290 89174 2691781 750102 362 153 928 1329 1086 12.10/12.18 c 300 90583 2723513 759664 362 156 965 1284 1027 12.39/12.47 c 310 92960 2789256 778652 362 158 1919 2007 1801 12.69/12.77 c 320 95229 2857797 797383 362 162 1000 2141 1603 12.89/12.98 c 330 96619 2902814 810838 362 166 641 1201 990 13.09/13.16 c 332 98012 2939756 820977 362 168 1320 1381 900 13.39/13.43 c 340 100723 2990990 834399 362 172 643 2633 1895 13.68/13.71 c 350 103528 3041851 847830 362 178 644 2328 1892 13.98/14.01 c 360 106330 3100787 863725 362 184 1400 2330 1963 14.29/14.35 c 370 109199 3180468 885823 362 188 1409 2606 1968 14.58/14.63 c 380 112099 3231647 900884 362 191 1384 2736 2265 14.88/14.93 c 390 113629 3310080 924585 362 198 845 1271 1049 15.18/15.24 c 400 115485 3387761 949327 362 205 857 1207 995 15.49/15.55 c 410 117667 3464418 972483 362 209 139 1758 1315 15.78/15.87 c 420 121042 3523072 988046 362 216 1130 3022 2306 16.09/16.18 c 430 124453 3578259 1002073 362 220 1131 2998 2387 16.49/16.50 c 440 126105 3664189 1027227 362 222 1168 1380 1203 16.69/16.79 c 450 128904 3711978 1039545 362 227 934 2486 1307 17.09/17.11 c 460 131306 3784626 1059774 362 234 1096 1981 1420 17.19/17.29 c 465 132698 3817722 1068922 362 238 1090 1173 945 17.39/17.47 c 470 134246 3851157 1078132 362 239 1169 1236 997 17.89/17.92 c 480 136000 3992096 1122218 362 242 996 1296 1077 18.19/18.22 c 490 138393 4060307 1140438 362 246 554 2155 1698 18.39/18.46 c 500 140325 4112218 1155273 362 249 555 1504 1218 18.79/18.86 c 510 143966 4203607 1180172 362 253 1209 2952 1735 19.19/19.20 c 520 146247 4282144 1203827 362 256 1008 1405 1150 19.39/19.43 c 530 147744 4335516 1218944 362 261 578 1223 976 19.59/19.69 c 540 149694 4389557 1236076 362 265 1118 1346 1126 19.99/20.07 c 550 152757 4477837 1261542 362 269 963 2257 1446 20.29/20.36 c 560 155251 4534947 1277742 362 274 571 2114 1338 20.58/20.68 c 570 157748 4607469 1298025 362 279 1252 2227 1799 20.89/20.99 c 580 160068 4675055 1316608 362 282 1292 1663 1358 21.18/21.22 c 590 162368 4715612 1327005 362 288 1331 2233 1879 21.48/21.53 c 600 164359 4798013 1352391 362 293 264 1612 1309 21.78/21.82 c 610 166677 4866419 1373547 362 300 270 1723 1320 21.99/22.03 c 611 168782 4895228 1380077 362 301 2105 2105 1052 22.29/22.37 c 620 172326 4967295 1399066 362 303 2162 3236 2785 22.69/22.72 c 630 174777 5050045 1424075 362 305 1413 1788 1370 22.99/23.01 c 640 176772 5122741 1445693 362 311 719 1550 1267 23.29/23.33 c 650 180188 5182554 1461819 362 317 952 3231 2183 23.49/23.55 c 660 181986 5223566 1474999 362 319 957 1398 1120 23.69/23.75 c 670 183785 5259992 1486815 362 322 958 1434 1090 24.09/24.11 c 680 185912 5365658 1519416 362 326 566 1583 1300 24.38/24.49 c 690 190008 5443613 1544082 362 330 567 3355 2326 24.78/24.84 c 700 193423 5515339 1563685 362 334 772 2805 2013 25.08/25.15 c 710 196483 5578426 1581149 362 341 773 2842 2042 25.39/25.42 c 720 198643 5635968 1598650 362 345 814 1706 1415 25.68/25.75 c 730 200741 5722013 1622799 362 350 899 1671 1398 25.88/25.99 c 740 203300 5759523 1632172 362 355 1928 2347 2051 26.18/26.29 c 750 206117 5820389 1648742 362 359 1762 2423 2060 26.49/26.58 c 760 208535 5880761 1666060 362 363 1843 2118 1860 26.88/26.93 c 770 211359 5963214 1689442 362 367 1923 2197 1900 26.98/27.09 c 771 212801 5984677 1694246 362 368 1442 1442 721 27.28/27.36 c 780 214887 6043230 1710790 362 372 1480 1670 1450 27.59/27.61 c 790 216877 6094096 1724593 362 376 1486 1725 1518 27.78/27.90 c 800 219151 6154618 1742411 362 382 846 2061 1556 28.18/28.29 c 810 223760 6217180 1758273 362 386 849 3805 1461 28.38/28.48 c 820 225303 6247354 1767484 362 388 878 1203 916 28.79/28.82 c 830 228380 6319365 1788426 362 392 2114 2334 2031 29.09/29.11 c 840 231027 6373845 1802910 362 397 1524 2261 1935 29.39/29.42 c 850 233336 6445229 1821955 362 403 1599 1990 1639 29.59/29.66 c 860 235351 6488375 1834264 362 404 1035 1226 1033 29.99/30.02 c 870 239283 6554736 1850456 362 412 884 3667 2509 30.29/30.34 c 880 241535 6627745 1870845 362 418 947 2091 1716 30.59/30.64 c 890 243795 6696632 1888837 362 424 1653 1985 1707 30.89/30.92 c 900 246458 6746508 1901773 362 432 1654 2314 1908 31.09/31.19 c 910 248980 6797353 1915551 362 438 1655 2315 1923 31.49/31.52 c 920 251931 6859020 1932197 362 440 1724 2475 1746 31.69/31.75 c 930 253903 6900411 1943696 362 441 1108 1352 1169 31.99/32.08 c 940 256818 6972140 1964211 362 446 1023 2146 1755 32.28/32.35 c 947 259226 7027545 1979571 362 452 1024 2108 1585 32.48/32.54 c 950 261126 7056736 1986543 362 455 1025 1898 1102 32.78/32.85 c 960 264071 7119830 2004056 362 462 1026 2648 2036 33.18/33.29 c 970 269809 7198366 2023548 362 467 1487 5337 2673 33.48/33.59 c 980 272710 7249621 2037475 362 473 1488 2835 2238 33.88/33.92 c 990 276574 7307130 2053404 362 480 1109 3672 2657 34.28/34.31 c 1000 281286 7379278 2073536 362 487 1042 3728 2976 34.58/34.62 c 1010 283849 7444519 2092133 362 492 1503 2295 1871 34.88/34.95 c 1020 286079 7525647 2116447 362 499 346 2034 1453 35.19/35.24 c 1030 288512 7587790 2134094 362 504 347 2149 1556 35.48/35.54 c 1040 291704 7639008 2147230 362 509 348 2959 1982 35.78/35.87 c 1050 294350 7717212 2169810 362 512 349 2332 1676 36.08/36.15 c 1060 296959 7769465 2184145 362 518 350 2323 1686 36.58/36.64 c 1070 300284 7905700 2227689 362 524 526 2439 1928 36.98/37.00 c 1080 303469 7985201 2250863 362 530 1786 2499 2118 37.39/37.41 c 1090 308399 8060330 2269452 362 538 1478 4667 2641 37.68/37.77 c 1100 312445 8119547 2284374 362 543 1900 3910 3227 37.98/38.09 c 1110 315179 8180054 2303565 362 544 1609 1949 1659 38.38/38.42 c 1120 317608 8254444 2326106 362 548 1637 1937 1661 38.68/38.74 c 1130 319968 8331713 2348552 362 553 390 2115 1522 39.08/39.12 c 1140 323260 8415811 2372401 362 559 1616 2616 2258 39.18/39.23 c 1141 324254 8429841 2375597 362 560 994 994 497 39.48/39.55 c 1150 327335 8494674 2393578 362 566 994 2737 2169 39.88/39.90 c 1160 329679 8572741 2416122 362 569 999 1353 1136 40.18/40.21 c 1170 332731 8634733 2432780 362 576 435 2636 1812 40.48/40.54 c 1180 335682 8705315 2452181 362 583 436 2699 2070 40.79/40.85 c 1190 338712 8759809 2467018 362 588 437 2748 2106 41.18/41.22 c 1200 342073 8845300 2491319 362 593 2370 2755 2420 41.48/41.54 c 1210 344442 8917757 2511855 362 600 1162 2158 1663 41.79/41.88 c 1220 348220 8977145 2526600 362 606 1734 3597 2612 42.08/42.16 c 1230 350824 9025324 2539043 362 612 1735 2257 1854 42.38/42.45 c 1240 353524 9079682 2553175 362 616 1162 2451 2016 42.68/42.79 c 1250 357113 9143388 2570824 362 620 1599 2846 2449 43.08/43.12 c 1260 360366 9209433 2588272 362 626 1600 2976 2452 43.38/43.42 c 1270 362908 9264711 2602984 362 630 492 1993 1492 43.68/43.77 c 1280 365893 9338915 2624045 362 633 806 2241 1769 44.09/44.11 c 1290 369845 9398114 2639017 362 639 800 3642 2751 44.38/44.49 c 1300 373297 9478857 2660896 362 643 1803 2852 2395 44.68/44.75 c 1310 375897 9520456 2671691 362 651 1721 2357 1954 44.98/45.10 c 1320 379935 9583183 2688279 362 655 1768 3605 2845 45.38/45.44 c 1330 383443 9643784 2703901 362 662 871 3419 2348 45.78/45.83 c 1340 387017 9731639 2728743 362 667 1892 3382 2642 46.19/46.24 c 1350 391586 9807801 2748542 362 674 690 3879 2272 46.28/46.35 c 1352 392594 9819939 2751149 362 676 670 1007 559 46.58/46.62 c 1360 395747 9864997 2761759 362 684 671 3145 1801 46.88/46.95 c 1370 398040 9940093 2782864 362 690 672 1890 1483 47.29/47.31 c 1380 401383 10019511 2805025 362 698 673 2735 2240 47.58/47.65 c 1390 404891 10089651 2823849 362 704 674 2983 2249 47.88/47.97 c 1400 408439 10155355 2842175 362 711 675 3144 2363 48.28/48.31 c 1410 412306 10216827 2858464 362 719 1070 3258 2591 48.58/48.68 c 1420 415983 10303135 2882601 362 723 1071 3331 2420 48.98/49.03 c 1430 419685 10371143 2900321 362 730 1072 3472 2461 49.28/49.30 c 1440 422104 10422949 2913740 362 736 1078 2092 1347 49.59/49.68 c 1450 425487 10508643 2938031 362 740 1852 2640 2181 49.88/50.00 c 1460 428015 10584328 2959261 362 745 1867 2314 1911 50.18/50.29 c 1470 430919 10641481 2977895 362 748 1808 2426 2023 50.59/50.65 c 1480 433342 10737182 3004786 362 755 753 2064 1672 50.88/50.93 c 1490 435901 10793576 3019876 362 763 754 2267 1742 51.28/51.34 c 1500 439345 10898734 3049849 362 769 1052 2764 2020 51.58/51.61 c 1510 442001 10947547 3064678 362 774 1058 2196 1689 51.88/51.94 c 1520 445100 11022436 3086292 362 782 1166 2848 2172 52.18/52.26 c 1530 448120 11082002 3103345 362 785 1167 2295 1848 52.48/52.58 c 1540 451754 11146231 3120773 362 793 1176 3264 2444 52.79/52.82 c 1550 453756 11187222 3132730 362 798 906 1251 1011 53.08/53.10 c 1560 456504 11243149 3147264 362 803 980 2275 1743 53.38/53.49 c 1570 459658 11322771 3170492 362 807 960 1642 1190 53.68/53.72 c 1580 461563 11368418 3184237 362 811 938 1444 1110 53.89/53.91 c 1585 463343 11399260 3191937 362 815 930 1683 1183 54.08/54.10 c 1590 465096 11431579 3199960 362 820 931 1745 1183 54.28/54.34 c 1600 467067 11480562 3213506 362 825 932 1815 1438 54.58/54.65 c 1610 470806 11535509 3227378 362 831 1366 3345 2469 54.99/55.03 c 1620 474196 11622523 3251062 362 834 1615 2895 2343 55.28/55.34 c 1630 477778 11674379 3263760 362 841 1157 3390 2656 55.68/55.70 c 1640 482360 11739615 3282173 362 846 1159 4460 2979 55.88/55.99 c 1650 484345 11804039 3299744 362 851 1214 1786 1467 56.27/56.32 c 1660 488366 11860879 3313520 362 853 2886 3514 3082 56.57/56.64 c 1670 492517 11926606 3331542 362 858 1335 3566 2630 56.87/56.92 c 1680 495139 11989737 3349758 362 863 1602 2315 1746 57.18/57.23 c 1690 497806 12063528 3369990 362 867 1064 2024 1591 57.47/57.50 c 1700 500333 12125217 3387320 362 875 1049 2220 1642 57.67/57.78 c 1710 503394 12184374 3403413 362 880 1065 2575 2013 57.97/58.07 c 1720 507077 12238782 3416847 362 889 1066 3575 2323 58.28/58.37 c 1730 510379 12303590 3433970 362 893 1067 2991 2161 58.57/58.63 c 1740 512522 12365994 3451375 362 899 1068 2001 1403 58.77/58.87 c 1750 514848 12414065 3463566 362 909 1069 2290 1625 59.07/59.15 c 1760 517481 12475083 3479714 362 915 1070 2401 1785 59.38/59.46 c 1770 519690 12553733 3500833 362 921 1162 1781 1395 59.67/59.73 c 1780 522744 12606724 3514849 362 926 1163 2904 2243 59.97/60.08 c 1790 525390 12701533 3541176 362 930 1164 1891 1595 60.37/60.41 c 1800 527628 12792253 3566677 362 935 1165 2044 1564 60.77/60.81 c 1810 530751 12900198 3598053 362 939 1166 1955 1512 61.07/61.12 c 1820 533008 12985509 3621745 362 944 1405 1922 1565 61.37/61.43 c 1830 535070 13070541 3644974 362 953 1416 1967 1566 61.67/61.75 c 1840 538336 13139995 3663850 362 957 1692 2341 1985 61.77/61.86 c 1841 539610 13153623 3666560 362 958 1274 1274 637 62.07/62.17 c 1850 542544 13227237 3685943 362 964 1707 2466 1902 62.47/62.53 c 1860 545060 13327637 3713996 362 967 1616 2017 1664 62.77/62.87 c 1870 547774 13421584 3740855 362 970 1761 2066 1768 63.07/63.15 c 1880 549989 13490649 3759640 362 976 1118 2029 1558 63.37/63.49 c 1890 553312 13575129 3782628 362 980 1389 2636 2166 63.67/63.80 c 1900 556400 13645809 3801953 362 988 1507 2624 2059 64.07/64.13 c 1910 559197 13725570 3825580 362 990 1562 1955 1656 64.47/64.54 c 1920 561579 13853478 3861970 362 992 1798 2044 1725 64.77/64.81 c 1930 564134 13910124 3877284 362 995 1403 2073 1674 65.07/65.11 c 1940 566948 13982280 3897691 362 999 1549 2334 1881 65.37/65.44 c 1950 569731 14067464 3921056 362 1005 1553 2510 2024 65.77/65.81 c 1960 572555 14168068 3949339 362 1011 1515 2318 1822 66.08/66.14 c 1970 575607 14253070 3973377 362 1016 1516 2456 2005 66.37/66.46 c 1980 580087 14307891 3986232 362 1024 1634 4198 3103 66.67/66.77 c 1990 584336 14361534 3999035 362 1032 1635 4209 2982 66.97/67.04 c 2000 587017 14415255 4013437 362 1037 1366 2303 1806 67.27/67.34 c 2010 590914 14473766 4028867 362 1043 1308 3686 2634 67.57/67.63 c 2020 593304 14539329 4047125 362 1045 1677 2071 1663 67.87/67.94 c 2030 596214 14612976 4069087 362 1050 1622 2714 2300 68.18/68.25 c 2040 599211 14684817 4089761 362 1058 1340 2746 2128 68.47/68.56 c 2050 602262 14755547 4108751 362 1063 1341 2497 1941 68.77/68.83 c 2060 605314 14808002 4122806 362 1067 1342 2636 2012 69.17/69.20 c 2070 608567 14902986 4149809 362 1071 1596 2760 2232 69.47/69.50 c 2080 612557 14955131 4161442 362 1081 1647 3938 2567 69.77/69.82 c 2090 615112 15034057 4183119 362 1084 1527 2177 1845 70.07/70.12 c 2100 618404 15096420 4198523 362 1091 1649 2951 2307 70.38/70.41 c 2110 621570 15157991 4214324 362 1097 1650 3001 2370 70.67/70.75 c 2120 624363 15242316 4239267 362 1103 1697 2409 1872 70.87/70.94 c 2122 626419 15275174 4246894 362 1105 1887 2040 1309 71.17/71.25 c 2130 629859 15340141 4264025 362 1110 1833 3212 2478 71.67/71.73 c 2140 633114 15480760 4303060 362 1115 1236 2576 2027 71.97/72.00 c 2150 636309 15529506 4315072 362 1124 1495 2998 2238 72.27/72.34 c 2160 639246 15614321 4338030 362 1130 1511 2543 2055 72.58/72.61 c 2170 642511 15662667 4350767 362 1137 1512 3094 2346 72.87/72.92 c 2180 646260 15725125 4367183 362 1142 2249 3210 2689 73.17/73.20 c 2190 649216 15784025 4382625 362 1147 2157 2683 2281 73.47/73.50 c 2200 652254 15853199 4401110 362 1155 1172 2718 2025 73.78/73.88 c 2210 655631 15949250 4426975 362 1160 1173 2605 2098 74.17/74.21 c 2220 658741 16030217 4450268 362 1165 1076 2539 2024 74.37/74.46 c 2230 661290 16078258 4462426 362 1172 1172 2449 1828 74.67/74.78 c 2240 663908 16158450 4483486 362 1180 1173 2483 1857 75.07/75.11 c 2250 666958 16235724 4503689 362 1187 1174 2648 1939 75.37/75.40 c 2260 669921 16302144 4521109 362 1193 1175 2771 2012 75.67/75.74 c 2270 673070 16389578 4544997 362 1197 1251 2869 2294 75.97/76.05 c 2280 676265 16460450 4563964 362 1202 1436 2928 2270 76.26/76.34 c 2290 679342 16516880 4577987 362 1210 1528 2910 2300 76.56/76.69 c 2300 683013 16593894 4598979 362 1214 1241 2918 2384 76.97/77.02 c 2310 686822 16666245 4618723 362 1220 1253 3313 2322 77.26/77.33 c 2320 690150 16735465 4637328 362 1226 1500 3117 2352 77.56/77.65 c 2330 693315 16805442 4655263 362 1234 1401 2933 2174 77.96/78.00 c 2340 696901 16890960 4679215 362 1240 1587 3012 2182 78.36/78.41 c 2350 700135 17005983 4711094 362 1243 1918 2777 2386 78.66/78.79 c 2360 704625 17101386 4737217 362 1249 1765 3945 2876 79.06/79.10 c 2370 708783 17155133 4749704 362 1259 1403 4147 2543 79.36/79.43 c 2380 713286 17212938 4763280 362 1268 1404 4426 2624 79.66/79.76 c 2390 717789 17269197 4776447 362 1277 1405 4428 2675 79.96/80.09 c 2400 721512 17335493 4794506 362 1284 1264 3222 2289 80.37/80.42 c 2410 725393 17404681 4813312 362 1291 1265 3196 2414 80.66/80.71 c 2420 728545 17461960 4828024 362 1297 1266 2684 2069 81.06/81.16 c 2430 731683 17592359 4866389 362 1302 1727 2602 2180 81.16/81.27 c 2431 732960 17604003 4868492 362 1303 1277 1277 638 81.56/81.62 c 2440 736509 17694022 4893559 362 1309 1728 3076 2477 81.86/81.96 c 2450 739824 17774739 4915884 362 1315 1061 2956 2240 82.17/82.24 c 2460 743064 17826476 4929821 362 1324 1154 3071 2450 82.47/82.54 c 2470 746401 17890680 4948451 362 1330 1155 2995 2383 82.87/82.91 c 2480 749670 17985918 4974652 362 1336 1156 2911 2293 83.07/83.17 c 2490 752790 18030553 4985822 362 1340 1427 2851 2363 83.37/83.45 c 2500 755665 18089937 5001234 362 1345 1428 2630 2125 83.67/83.73 c 2510 758796 18143150 5015391 362 1352 2255 2944 2446 83.97/84.04 c 2520 762280 18209573 5034258 362 1354 2367 3049 2653 84.27/84.36 c 2530 766063 18279079 5054595 362 1357 2679 3138 2762 84.57/84.70 c 2540 769964 18349461 5075038 362 1359 2814 2956 2630 84.87/84.99 c 2550 773481 18404901 5091429 362 1362 2418 2861 2440 85.27/85.32 c 2560 776626 18477180 5111783 362 1366 1938 2443 2038 85.57/85.63 c 2570 779956 18545986 5129670 362 1373 1893 3223 2579 85.87/85.93 c 2580 783191 18610565 5146614 362 1378 1894 2950 2400 86.26/86.30 c 2590 788440 18680987 5166242 362 1383 3050 4459 3738 86.56/86.67 c 2600 793212 18760143 5187201 362 1389 2196 4437 3641 86.87/86.99 c 2610 797708 18814433 5199690 362 1395 2532 4456 3633 87.26/87.33 c 2620 801995 18885129 5219267 362 1399 2595 4113 3493 87.56/87.67 c 2630 806092 18960125 5240726 362 1406 2555 3793 3061 87.97/88.01 c 2640 810041 19037930 5263941 362 1410 2511 3633 2949 88.26/88.34 c 2650 813726 19109069 5283616 362 1416 1349 3209 2500 88.66/88.75 c 2660 817141 19222800 5317886 362 1420 2271 3044 2562 89.07/89.13 c 2670 820610 19318987 5345191 362 1424 1404 2888 2364 89.36/89.47 c 2680 825551 19384246 5362048 362 1428 1405 3933 3220 89.66/89.76 c 2690 828528 19436502 5375667 362 1435 1655 2573 1940 89.96/90.07 c 2700 831837 19504606 5393624 362 1439 1789 2987 2480 90.36/90.42 c 2710 835315 19593324 5419763 362 1443 1790 3202 2691 90.66/90.77 c 2720 838736 19681483 5444205 362 1446 1443 3151 2536 90.96/91.04 c 2730 841976 19731506 5457141 362 1450 1878 2999 2556 91.26/91.36 c 2740 845004 19802336 5477082 362 1454 1552 2616 2066 91.56/91.64 c 2750 847745 19860244 5492326 362 1463 1616 2585 1907 91.86/91.96 c 2760 850983 19925326 5510585 362 1469 1613 2491 2001 92.26/92.36 c 2770 854898 20029727 5539810 362 1474 1616 3441 2878 92.36/92.49 c 2771 856416 20044842 5542610 362 1475 1518 1518 759 92.76/92.84 c 2780 860118 20111948 5563165 362 1476 1642 2309 1786 93.06/93.18 c 2790 863636 20187724 5582129 362 1484 1630 3295 2464 93.46/93.54 c 2800 867398 20268929 5603046 362 1489 2451 2966 2516 93.86/93.90 c 2810 871107 20349510 5624940 362 1492 1689 3009 2513 94.16/94.20 c 2820 874353 20410020 5640370 362 1498 1690 2933 2405 94.45/94.51 c 2830 877633 20473207 5656473 362 1504 1691 3122 2569 94.75/94.85 c 2840 881556 20547334 5675769 362 1510 1692 3157 2578 95.05/95.19 c 2850 884874 20625734 5696844 362 1515 1718 3006 2352 95.45/95.56 c 2860 888667 20714936 5721094 362 1520 2062 3138 2711 95.76/95.85 c 2870 892107 20769343 5734241 362 1527 2063 3327 2830 96.05/96.18 c 2880 895953 20838946 5752340 362 1532 2064 3472 2892 96.35/96.49 c 2890 899518 20898686 5768508 362 1535 2364 2965 2574 96.76/96.86 c 2900 903073 20986908 5792720 362 1538 2365 2856 2515 97.15/97.24 c 2910 906766 21084942 5819136 362 1542 2770 3201 2697 97.45/97.57 c 2920 910281 21154383 5837228 362 1545 2266 2849 2397 97.75/97.88 c 2930 913706 21215317 5852312 362 1549 2520 3263 2796 98.15/98.27 c 2940 917703 21307290 5877180 362 1552 2616 3154 2730 98.45/98.57 c 2950 921076 21367199 5893918 362 1555 2410 2879 2443 98.85/98.90 c 2960 924903 21439294 5913681 362 1556 3094 3351 2966 99.15/99.28 c 2970 929044 21527022 5938277 362 1560 2673 3167 2714 99.55/99.63 c 2980 932942 21602541 5958718 362 1562 2834 3275 2806 99.95/100.00 c 2990 936487 21697341 5984795 362 1567 2731 3169 2742 100.26/100.37 c 3000 939826 21790401 6010175 362 1571 2274 3054 2645 100.66/100.71 c 3010 943533 21871603 6032458 362 1578 2472 3333 2677 100.96/101.06 c 3020 947151 21955156 6055384 362 1585 2365 3318 2783 101.36/101.41 c 3030 951025 22031112 6075912 362 1591 2366 3279 2663 101.66/101.77 c 3040 954352 22114410 6099197 362 1594 1945 2840 2069 102.06/102.14 c 3050 958402 22195348 6121935 362 1596 1931 2922 2262 102.27/102.40 c 3060 960905 22251259 6137314 362 1598 2314 2398 2125 102.66/102.72 c 3070 964182 22321191 6156331 362 1601 1889 3115 2473 103.16/103.21 c 3080 967405 22465000 6196564 362 1606 2060 2551 2143 103.46/103.52 c 3090 970463 22532807 6215856 362 1609 2021 2410 2083 103.86/103.90 c 3100 973872 22635458 6246603 362 1613 2360 2689 2352 104.16/104.23 c 3110 977073 22714255 6267028 362 1616 2199 2780 2401 104.56/104.62 c 3120 981083 22804083 6292400 362 1618 2240 2840 2402 104.96/105.05 c 3130 984357 22929232 6328789 362 1622 2096 2467 2093 105.26/105.39 c 3140 987282 23011803 6351787 362 1628 1975 2661 2239 105.46/105.60 c 3142 989497 23045947 6359821 362 1630 2111 2214 1441 105.76/105.88 c 3150 992651 23105058 6376416 362 1636 2112 2657 2183 106.16/106.24 c 3160 997407 23174579 6393792 362 1641 2674 3802 3238 106.45/106.55 c 3170 1001143 23235392 6410328 362 1647 2329 3171 2620 106.85/106.95 c 3180 1004456 23336120 6437290 362 1650 2004 2605 2215 107.25/107.31 c 3190 1007628 23423530 6462632 362 1658 1846 2884 2129 107.55/107.61 c 3200 1010585 23486510 6479641 362 1665 1633 2685 2031 107.95/108.01 c 3210 1013579 23597457 6511163 362 1669 1459 2528 1940 108.25/108.33 c 3220 1017263 23664542 6528836 362 1675 1380 3455 2521 108.55/108.65 c 3230 1020738 23734031 6546980 362 1683 1381 3387 2402 108.86/108.98 c 3240 1024043 23811154 6567505 362 1691 1382 3045 2245 109.25/109.32 c 3250 1027122 23889125 6589761 362 1695 1383 2227 1790 109.55/109.66 c 3260 1029286 23978752 6614605 362 1700 1419 1913 1595 109.85/110.00 c 3270 1032732 24056899 6635009 362 1705 1491 2944 2187 110.35/110.44 c 3280 1035879 24177119 6667456 362 1709 1496 2551 1909 110.65/110.76 c 3290 1039134 24245382 6685373 362 1715 1202 2617 1977 110.95/111.09 c 3300 1042064 24323201 6706185 362 1719 1562 2189 1756 111.65/111.72 c 3310 1045247 24529581 6765262 362 1720 1566 2281 1840 111.95/112.04 c 3320 1048665 24590056 6782166 362 1724 1315 2114 1565 112.16/112.30 c 3330 1051600 24639293 6794919 362 1730 1152 2569 1996 112.45/112.58 c 3340 1054710 24698347 6810285 362 1737 1153 2994 2061 112.85/112.90 c 3350 1057601 24773398 6829975 362 1744 1154 2498 1799 113.05/113.18 c 3360 1060317 24834712 6846281 362 1750 1155 2377 1774 113.36/113.46 c 3370 1063182 24893093 6861289 362 1758 1156 2596 1909 113.65/113.77 c 3380 1066232 24963267 6879906 362 1766 1157 2758 1976 113.95/114.05 c 3390 1069651 25018571 6894205 362 1773 1170 2848 2201 114.25/114.32 c 3400 1072697 25070688 6907978 362 1779 1171 2526 2033 114.55/114.64 c 3410 1075852 25144011 6928172 362 1787 1172 2939 2267 114.85/114.96 c 3420 1079105 25219890 6948450 362 1793 1173 3109 2339 115.15/115.29 c 3430 1082178 25299206 6970543 362 1798 1174 2586 2014 115.46/115.58 c 3440 1085392 25360488 6986968 362 1806 1175 2976 2133 115.75/115.89 c 3450 1088553 25433090 7005988 362 1814 1192 2924 2268 116.15/116.21 c 3460 1091755 25509732 7026897 362 1821 1193 3070 2272 116.45/116.50 c 3470 1095123 25567960 7042369 362 1827 1205 3011 2167 116.75/116.89 c 3480 1098267 25671862 7070152 362 1833 1206 2581 1907 117.15/117.20 c 3490 1101710 25739096 7087816 362 1840 1207 2886 2060 117.45/117.59 c 3500 1104989 25849352 7118885 362 1846 1208 2802 2003 117.85/117.93 c 3510 1108427 25929167 7141249 362 1852 1237 2891 2187 118.15/118.22 c 3520 1111375 25986848 7157540 362 1855 1186 1827 1436 118.45/118.55 c 3530 1114672 26069448 7180568 362 1858 1105 2995 2320 118.76/118.84 c 3540 1118275 26123700 7195167 362 1863 1416 3036 2395 119.15/119.22 c 3550 1122018 26225558 7224911 362 1868 1417 2710 2206 119.25/119.34 c 3551 1123437 26242146 7228493 362 1869 1419 1419 709 119.55/119.66 c 3560 1126230 26313791 7249011 362 1871 1305 1833 1499 119.86/120.00 c 3570 1130430 26384254 7266916 362 1878 2155 3980 3036 120.25/120.34 c 3580 1134524 26458850 7286254 362 1884 2013 3919 2997 120.55/120.66 c 3590 1138646 26521012 7301329 362 1891 2014 3909 2939 120.85/120.99 c 3600 1142819 26584429 7317169 362 1899 2015 3915 2912 121.25/121.35 c 3610 1147370 26658929 7337368 362 1906 2016 3976 3035 121.55/121.66 c 3620 1150860 26717895 7354216 362 1910 1909 2205 1933 121.95/122.00 c 3630 1154874 26779918 7371405 362 1911 2126 2586 2132 122.25/122.34 c 3640 1158599 26844851 7390335 362 1912 2073 2619 2074 122.55/122.68 c 3650 1162299 26913056 7409572 362 1914 1391 2305 1864 122.95/123.07 c 3660 1165374 27019643 7439725 362 1918 2007 2636 2248 123.35/123.41 c 3670 1168563 27097167 7462316 362 1924 2048 2594 2200 123.55/123.67 c 3680 1171410 27146291 7475171 362 1928 2040 2646 2254 123.85/123.96 c 3690 1174326 27202241 7491157 362 1929 1432 1855 1501 124.15/124.23 c 3700 1177370 27255601 7504970 362 1936 892 2747 1825 124.45/124.53 c 3710 1180871 27310419 7518494 362 1944 879 3371 2071 124.75/124.83 c 3720 1183874 27381333 7538023 362 1952 893 2897 2075 125.05/125.12 c 3730 1187117 27445157 7554552 362 1959 894 2993 2094 125.25/125.40 c 3740 1190235 27494514 7567558 362 1964 895 2302 1741 125.65/125.71 c 3750 1193433 27567973 7587246 362 1972 897 2989 1974 125.94/126.06 c 3760 1196071 27650847 7610717 362 1975 898 1931 1554 126.24/126.36 c 3770 1199887 27706354 7623936 362 1982 953 3715 2451 126.55/126.69 c 3780 1203174 27780327 7642996 362 1989 948 2945 2250 126.94/127.00 c 3790 1207308 27838601 7656607 362 1996 949 3830 2716 127.24/127.30 c 3800 1210177 27900050 7673794 362 1999 950 2348 1850 127.44/127.58 c 3810 1213652 27950194 7685479 362 2008 979 3295 2205 127.74/127.88 c 3820 1217261 28010401 7700289 362 2014 952 3327 2406 128.14/128.20 c 3830 1220790 28076461 7717057 362 2020 953 3141 2228 128.44/128.52 c 3840 1224362 28144683 7734962 362 2025 954 2965 2211 128.75/128.87 c 3850 1228017 28219246 7754613 362 2028 1862 2755 2293 129.14/129.26 c 3860 1231027 28320680 7783154 362 2030 1647 2049 1719 129.44/129.56 c 3870 1234193 28385143 7800258 362 2032 1593 2624 2181 129.85/129.92 c 3880 1237414 28474814 7824951 362 2037 1672 2411 1952 130.24/130.38 c 3890 1240462 28604969 7862870 362 2040 1684 2083 1743 130.74/130.87 c 3900 1244149 28739361 7900432 362 2042 1654 2645 1785 131.04/131.17 c 3910 1247383 28796978 7915257 362 2049 1145 2866 2119 131.34/131.48 c 3920 1250819 28864524 7933059 362 2053 1237 2923 2341 131.74/131.86 c 3930 1254707 28950072 7956467 362 2057 974 2495 1776 132.14/132.26 c 3940 1259112 29034624 7979649 362 2061 1172 2644 1996 132.54/132.66 c 3950 1262822 29130857 8006691 362 2063 2160 2620 2164 132.94/133.03 c 3960 1266526 29225329 8031269 362 2068 2335 3188 2525 133.24/133.39 c 3970 1270074 29302831 8051815 362 2070 1658 2359 2002 133.64/133.73 c 3980 1273063 29390258 8076032 362 2073 2098 2340 2039 133.94/134.09 c 3990 1277027 29475206 8099392 362 2078 1815 3619 2850 134.34/134.43 c 4000 1281199 29544443 8119553 362 2082 1568 3561 2970 134.54/134.61 c 4001 1282938 29572510 8125968 362 2083 1739 1739 869 134.84/134.96 c 4010 1286180 29653991 8148091 362 2087 1734 2373 1916 135.14/135.27 c 4020 1289337 29720557 8166045 362 2093 1018 2587 1895 135.54/135.61 c 4030 1292371 29798335 8187129 362 2099 1655 2448 1892 135.84/135.98 c 4040 1296047 29883636 8211450 362 2102 1744 2783 2294 136.24/136.36 c 4050 1299758 29976026 8237907 362 2105 2189 2748 2379 136.54/136.68 c 4060 1303989 30037438 8253836 362 2112 2050 3953 3079 136.94/137.02 c 4070 1308409 30105692 8272409 362 2118 1398 4008 2831 137.24/137.35 c 4080 1312863 30167892 8288821 362 2120 3355 3813 3410 137.64/137.73 c 4090 1317518 30253034 8312715 362 2124 3612 3870 3410 138.05/138.10 c 4100 1321797 30343356 8337152 362 2131 1493 3956 3162 138.35/138.47 c 4110 1325119 30430308 8360623 362 2136 1774 2614 2151 138.75/138.88 c 4120 1328800 30533571 8388874 362 2142 1699 3030 2280 139.15/139.26 c 4130 1331682 30636014 8418957 362 2146 1678 2399 1898 139.45/139.57 c 4140 1334629 30707072 8438156 362 2150 1880 2629 2260 139.85/139.92 c 4150 1338128 30790290 8460362 362 2153 2594 3034 2536 140.15/140.23 c 4160 1341641 30853816 8476750 362 2160 2310 3112 2574 140.45/140.54 c 4170 1345107 30919580 8495509 362 2165 2423 3134 2672 140.76/140.84 c 4180 1348751 30974507 8509208 362 2170 2424 3234 2678 141.05/141.13 c 4190 1352021 31033344 8524117 362 2176 2425 2888 2494 141.35/141.41 c 4200 1355232 31090049 8538847 362 2180 2426 2886 2495 141.65/141.74 c 4210 1358780 31164827 8558778 362 2184 2679 3180 2729 141.96/142.02 c 4220 1362022 31215176 8572446 362 2188 1898 2533 2090 142.25/142.38 c 4230 1365587 31302645 8596113 362 2193 1646 3105 2543 142.65/142.73 c 4240 1369295 31381164 8617362 362 2196 1647 2972 2410 142.95/143.01 c 4250 1372603 31438767 8632637 362 2202 1648 3009 2519 143.25/143.31 c 4260 1376272 31497380 8648177 362 2208 1649 3138 2619 143.55/143.63 c 4270 1380274 31554719 8663918 362 2212 1989 2623 2208 144.05/144.13 c 4280 1385101 31691328 8703081 362 2215 2529 3928 2831 144.35/144.43 c 4290 1388531 31750814 8719773 362 2217 2633 3143 2618 144.75/144.82 c 4300 1393124 31845676 8746645 362 2221 3221 3866 3349 145.05/145.15 c 4310 1397591 31908360 8761964 362 2225 2494 4043 3364 145.35/145.50 c 4320 1402073 31977460 8780431 362 2230 2495 3884 3255 145.75/145.83 c 4330 1406229 32044916 8798189 362 2234 2521 3876 3284 146.15/146.21 c 4340 1409666 32141152 8824676 362 2235 2501 2943 2540 146.54/146.69 c 4350 1413434 32287452 8865352 362 2238 2461 2970 2439 147.14/147.27 c 4360 1417101 32470022 8916878 362 2240 2341 2893 2330 147.54/147.64 c 4370 1420759 32559754 8943579 362 2244 1767 2838 2307 147.84/147.94 c 4380 1424192 32618331 8959370 362 2247 1835 2695 2295 148.14/148.23 c 4390 1427169 32681841 8977479 362 2249 1928 2847 2408 148.45/148.54 c 4400 1431067 32742337 8994420 362 2254 1531 3664 2905 148.74/148.88 c 4410 1434909 32815298 9015125 362 2258 1532 3533 2874 149.14/149.28 c 4420 1438750 32898808 9039537 362 2260 1664 2208 1803 149.55/149.61 c 4430 1441575 32982200 9063593 362 2263 1665 2367 1891 150.04/150.13 c 4440 1445270 33123977 9103993 362 2264 1774 2186 1788 150.34/150.44 c 4450 1448701 33188574 9121711 362 2271 1790 3130 2504 150.65/150.80 c 4460 1452321 33269451 9144465 362 2274 1544 2691 2154 151.04/151.19 c 4470 1455900 33364334 9170341 362 2277 1545 2829 2267 151.34/151.49 c 4480 1458904 33434015 9189637 362 2281 1269 2728 2208 151.64/151.79 c 4490 1462864 33489321 9203025 362 2288 1270 3699 2929 151.94/152.05 c 4493 1466188 33529037 9211474 362 2291 1271 3322 1850 152.24/152.35 c 4500 1470095 33586138 9225188 362 2296 1272 3587 2668 152.54/152.67 c 4510 1474093 33647490 9241228 362 2299 1273 3707 2947 152.85/153.00 c 4520 1478181 33716825 9258853 362 2303 1274 3764 3075 153.14/153.29 c 4530 1481735 33767343 9271135 362 2308 1275 3071 2402 153.54/153.63 c 4540 1486044 33836725 9288497 362 2314 1276 3741 2393 153.84/153.96 c 4550 1489328 33911838 9307998 362 2320 1277 2879 2168 154.24/154.31 c 4560 1493676 33986993 9328046 362 2326 1278 3845 2429 154.54/154.67 c 4570 1497999 34068713 9351567 362 2333 1402 3865 2813 154.84/154.98 c 4580 1501456 34128790 9366811 362 2337 1427 2988 2351 155.15/155.29 c 4590 1505135 34191595 9382915 362 2340 1427 3035 2444 155.54/155.66 c 4600 1509478 34277479 9406209 362 2345 1668 3700 2982 155.94/156.00 c 4610 1513622 34348231 9424475 362 2350 1845 3730 2942 156.25/156.33 c 4620 1517492 34415728 9441625 362 2355 1846 3630 2899 156.54/156.67 c 4630 1521561 34488122 9460400 362 2361 1847 3772 2861 156.94/157.00 c 4640 1525893 34550587 9476651 362 2367 1848 3776 2981 157.25/157.32 c 4650 1529995 34610325 9491903 362 2374 1849 3867 2803 157.54/157.62 c 4660 1533974 34666084 9505679 362 2383 1850 3823 2806 157.94/158.02 c 4670 1538817 34744527 9527612 362 2385 1851 2764 2287 158.35/158.46 c 4680 1541902 34863613 9561271 362 2387 1429 2135 1796 158.64/158.76 c 4690 1545635 34919164 9574974 362 2393 1268 3421 2371 158.94/159.09 c 4700 1549608 34984705 9592414 362 2398 1885 3239 2636 159.34/159.42 c 4710 1553554 35054667 9611217 362 2401 1886 3644 3063 159.64/159.73 c 4720 1557490 35115296 9626215 362 2408 1609 3346 2504 159.94/160.04 c 4730 1560276 35180430 9643114 362 2414 1378 2379 1855 160.24/160.40 c 4740 1562522 35268569 9667991 362 2417 1323 1605 1348 160.65/160.75 c 4750 1565689 35347009 9689406 362 2419 1526 2337 1862 161.04/161.12 c 4760 1569626 35435710 9714515 362 2423 2611 3153 2725 161.34/161.46 c 4770 1573346 35510458 9733692 362 2429 2108 3168 2512 161.64/161.74 c 4780 1576666 35565661 9747141 362 2437 1632 3255 2465 162.04/162.17 c 4790 1580594 35659315 9772891 362 2440 1195 2347 1694 162.34/162.48 c 4800 1583946 35728801 9791796 362 2445 1295 3136 2231 162.74/162.83 c 4810 1587485 35814645 9817628 362 2452 1359 2928 2210 163.04/163.13 c 4820 1591106 35873386 9832528 362 2459 1281 3422 2261 163.34/163.46 c 4830 1594899 35937536 9850324 362 2466 1282 3027 2287 163.64/163.79 c 4840 1598399 36012213 9871782 362 2473 1277 3155 2268 164.04/164.13 c 4850 1601793 36089213 9893854 362 2479 1205 2964 2335 164.44/164.55 c 4860 1605464 36201412 9926233 362 2483 1206 2931 2345 164.74/164.89 c 4870 1609606 36271684 9945528 362 2491 1207 3871 2527 165.04/165.16 c 4880 1612880 36318026 9957829 362 2498 1208 2973 2198 165.33/165.47 c 4890 1616197 36381387 9975435 362 2503 1327 2908 2215 165.63/165.76 c 4900 1619701 36436677 9990283 362 2509 1386 3139 2342 165.93/166.04 c 4910 1622940 36490821 10005473 362 2515 2002 2914 2444 166.23/166.34 c 4920 1626422 36548961 10020691 362 2523 1314 3289 2373 166.53/166.64 c 4930 1630011 36610472 10037064 362 2528 1315 3208 2382 166.83/166.94 c 4940 1633436 36668256 10051978 362 2535 1316 3177 2466 167.14/167.27 c 4950 1637681 36731915 10067817 362 2542 1317 4038 2959 167.43/167.58 c 4960 1640774 36804893 10088208 362 2546 1318 2905 2368 167.83/167.94 c 4970 1646120 36868227 10103236 362 2553 1409 4745 3275 168.14/168.28 c 4980 1650898 36928718 10117361 362 2562 1410 4642 2950 168.54/168.60 c 4990 1654038 37002797 10137862 362 2564 1497 2810 2388 169.24/169.39 c 5035 1660351 37257298 10211345 362 2569 1498 3126 2775 173.84/173.93 c 5631 1701654 39138240 10922516 362 2577 1342 3862 3149 178.33/178.42 c 6286 1719483 41036933 11597112 362 2584 1244 2991 2268 181.93/182.02 c 7006 1760693 42437439 12133079 362 2592 1553 3996 3689 186.23/186.35 c 7798 1815450 43980914 12772900 362 2602 1031 4021 3419 192.72/192.80 c 8669 1856242 46526296 13680295 362 2610 1123 3167 2528 203.32/203.46 c 9627 1931510 50645089 15109032 362 2618 250 3192 1853 217.01/217.12 c 10680 2052550 55435952 16785208 362 2627 878 3560 2314 224.81/224.91 c 11838 2118319 58395396 17882126 362 2636 1192 3722 2513 241.61/241.77 c 13111 2200046 63979719 19738164 362 2641 329 1872 1395 249.81/249.92 c 14511 2270350 66817823 20764868 362 2647 471 2512 2055 262.70/262.84 c 16051 2383969 71338464 22364503 362 2656 538 2287 1875 269.10/269.22 c 17745 2442096 73985349 23393599 362 2664 854 3166 2514 284.30/284.44 c 19608 2540376 80124771 25451348 362 2676 992 2304 1965 304.71/304.83 c 21657 2626222 89270340 28437733 362 2683 1378 1926 1695 329.90/330.05 c 23910 2772709 98606815 31372377 362 2692 1040 1850 1653 341.79/341.95 c 26388 2939903 102281524 32824010 362 2707 703 4094 2896 371.29/371.47 c 29113 3110796 115127799 37223355 362 2716 1041 2432 2077 401.99/402.13 c 32110 3245015 127074282 41215534 362 2721 1304 1918 1505 432.88/433.06 c 35406 3459494 138693758 44918593 362 2730 503 2445 2037 455.48/455.60 c 39031 3650025 146785742 47490619 362 2738 553 3453 2274 493.98/494.18 c 43018 3899678 161117654 52374962 362 2745 619 2290 1905 527.88/528.04 c 47403 4112288 176353874 57784675 362 2754 669 2398 2178 557.68/557.84 c 52226 4336450 188028484 61656278 362 2766 470 2684 2253 605.47/605.61 c 57531 4609556 204871477 67651941 362 2776 636 1758 1536 671.36/671.53 c 63366 5015173 228972816 75913616 362 2788 883 2609 1638 716.95/717.15 c 69784 5624114 244516969 81542778 362 2800 241 4326 3000 761.55/761.75 c 76843 6052601 261163344 87742253 362 2811 330 3355 2544 840.25/840.48 c 84607 6473975 291799745 97763767 362 2823 455 2595 1989 940.34/940.54 c 93147 7102501 329562417 110294937 362 2839 563 2419 2143 1044.52/1044.79 c 102541 7629990 371538578 123899189 362 2850 664 2340 2004 1124.72/1124.98 c 112874 8521766 398137925 133091731 362 2861 325 3819 2819 1220.61/1220.81 c 124240 9369262 431274050 144642448 362 2870 580 2795 2421 1291.50/1291.73 c 136742 10092318 457127587 153996332 362 2881 848 3036 2679 1448.08/1448.35 c 150494 11307305 508581821 172526159 362 2889 388 2218 1847 1528.07/1528.30 c 165621 11982873 542389337 184959984 362 2898 444 3253 2854 1675.07/1675.35 c 182260 12888344 602149790 205204325 362 2910 822 2512 2134 1825.76/1826.02 c 200562 14148386 656422814 223839983 362 2923 442 3152 2491 1986.44/1986.76 c 220694 15423546 719705980 246589629 362 2938 595 2986 2330 2143.12/2143.44 c 242839 17013915 778705440 266475766 362 2950 711 3514 2705 2323.81/2324.10 c 267198 18367951 848171608 290668587 362 2958 1255 2712 2373
One s line expected
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-4242571-1500658963/watcher-4242571-1500658963 -o /tmp/evaluation-result-4242571-1500658963/solver-4242571-1500658963 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2490 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242571-1500658963.xml pid=4946 running on 8 cores: 1,3,5,7,9,11,13,15 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: 1.92 2.00 2.04 4/242 4949 /proc/meminfo: memFree=31945184/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=27248 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 1024 0 0 0 0 0 0 0 20 0 1 0 1164756 27901952 834 33554432000 4194304 5970956 140729233549184 140729233545832 139847692139493 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 6812 834 698 434 0 176 0 [startup+0.100154 s] /proc/loadavg: 1.92 2.00 2.04 4/242 4949 /proc/meminfo: memFree=31945184/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=32452 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 2309 0 0 0 9 0 0 0 20 0 1 0 1164756 33230848 2083 33554432000 4194304 5970956 140729233549184 140729233545784 139847692184880 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 8113 2083 704 434 0 1477 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 32452 [startup+0.200333 s] /proc/loadavg: 1.92 2.00 2.04 4/242 4949 /proc/meminfo: memFree=31945184/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=63188 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 10033 0 0 0 18 1 0 0 20 0 1 0 1164756 64704512 9874 33554432000 4194304 5970956 140729233549184 140729233543048 139847692139493 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 15833 9874 735 434 0 9197 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 63188 [startup+0.30034 s] /proc/loadavg: 1.92 2.00 2.04 4/242 4949 /proc/meminfo: memFree=31945184/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=140764 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 29410 0 0 0 25 3 0 0 20 0 1 0 1164756 144142336 29212 33554432000 4194304 5970956 140729233549184 140729233543048 139847692187552 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 35191 29212 735 434 0 28555 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 140764 [startup+0.700304 s] /proc/loadavg: 1.92 2.00 2.04 4/242 4949 /proc/meminfo: memFree=31945184/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=262708 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 58812 0 0 0 62 7 0 0 20 0 1 0 1164756 269012992 58640 33554432000 4194304 5970956 140729233549184 140729233546312 139847692139493 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 65677 58640 782 434 0 59041 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 262708 [startup+1.50027 s] /proc/loadavg: 1.92 2.00 2.04 3/243 4950 /proc/meminfo: memFree=31683248/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=307892 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 70115 0 0 0 140 9 0 0 20 0 1 0 1164756 315281408 69936 33554432000 4194304 5970956 140729233549184 140729233546024 5093256 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 76973 69936 782 434 0 70337 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 307892 [startup+3.10028 s] /proc/loadavg: 1.92 2.00 2.04 3/243 4950 /proc/meminfo: memFree=31660912/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=314776 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 94654 0 0 0 299 10 0 0 20 0 1 0 1164756 322330624 71672 33554432000 4194304 5970956 140729233549184 140729233546104 5093168 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 78694 71672 785 434 0 72058 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 314776 [startup+6.30027 s] /proc/loadavg: 1.93 2.00 2.04 3/243 4950 /proc/meminfo: memFree=31547064/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=434400 CPUtime=6.28 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 178339 0 0 0 611 17 0 0 20 0 1 0 1164756 444825600 99790 33554432000 4194304 5970956 140729233549184 140729233546520 5337509 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 108600 99790 785 434 0 101964 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 434400 [startup+12.7003 s] /proc/loadavg: 1.93 2.00 2.04 3/243 4950 /proc/meminfo: memFree=31538092/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=440568 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 228410 0 0 0 1248 21 0 0 20 0 1 0 1164756 451141632 101720 33554432000 4194304 5970956 140729233549184 140729233546520 5093168 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 110142 101720 785 434 0 103506 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 440568 [startup+25.5004 s] /proc/loadavg: 1.95 2.00 2.04 3/243 4950 /proc/meminfo: memFree=31538236/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=440568 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 272361 0 0 0 2524 24 0 0 20 0 1 0 1164756 451141632 101722 33554432000 4194304 5970956 140729233549184 140729233546520 5337492 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 110142 101722 785 434 0 103506 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 440568 [startup+51.1004 s] /proc/loadavg: 1.97 2.00 2.04 3/243 4950 /proc/meminfo: memFree=31523504/32770624 swapFree=6268/217844 [pid=4949] ppid=4946 vsize=454480 CPUtime=51.08 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 338106 0 0 0 5080 28 0 0 20 0 1 0 1164756 465387520 105253 33554432000 4194304 5970956 140729233549184 140729233546520 5337501 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 113620 105253 785 434 0 106984 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 454480 [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.04 3/243 4951 /proc/meminfo: memFree=31512856/32770624 swapFree=6268/218456 [pid=4949] ppid=4946 vsize=469984 CPUtime=102.27 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 391791 0 0 0 10195 32 0 0 20 0 1 0 1164756 481263616 108073 33554432000 4194304 5970956 140729233549184 140729233546520 5047061 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 117496 108073 785 434 0 110860 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 469984 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/243 4952 /proc/meminfo: memFree=31502396/32770624 swapFree=6268/218456 [pid=4949] ppid=4946 vsize=483520 CPUtime=162.24 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 427006 0 0 0 16189 35 0 0 20 0 1 0 1164756 495124480 110560 33554432000 4194304 5970956 140729233549184 140729233546520 5272836 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 120880 110560 785 434 0 114244 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 483520 [startup+222.308 s] /proc/loadavg: 2.04 2.01 2.05 3/243 4953 /proc/meminfo: memFree=31498316/32770624 swapFree=6268/218456 [pid=4949] ppid=4946 vsize=485704 CPUtime=222.22 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 450099 0 0 0 22186 36 0 0 20 0 1 0 1164756 497360896 111587 33554432000 4194304 5970956 140729233549184 140729233546520 5046384 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121426 111587 785 434 0 114790 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 485704 [startup+282.3 s] /proc/loadavg: 2.02 2.01 2.05 3/243 4954 /proc/meminfo: memFree=31493828/32770624 swapFree=6268/218456 [pid=4949] ppid=4946 vsize=485704 CPUtime=282.2 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 461663 0 0 0 28183 37 0 0 20 0 1 0 1164756 497360896 112736 33554432000 4194304 5970956 140729233549184 140729233546520 5327847 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121426 112736 785 434 0 114790 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 485704 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.05 3/242 4955 /proc/meminfo: memFree=31490072/32770624 swapFree=6268/218456 [pid=4949] ppid=4946 vsize=486076 CPUtime=342.2 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 466433 0 0 0 34182 38 0 0 20 0 1 0 1164756 497741824 114058 33554432000 4194304 5970956 140729233549184 140729233546520 4908288 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121519 114058 785 434 0 114883 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 486076 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 4957 /proc/meminfo: memFree=31490724/32770624 swapFree=6268/218696 [pid=4949] ppid=4946 vsize=486076 CPUtime=402.19 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 467536 0 0 0 40181 38 0 0 20 0 1 0 1164756 497741824 114058 33554432000 4194304 5970956 140729233549184 140729233546520 5337497 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121519 114058 785 434 0 114883 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 486076 [startup+462.3 s] /proc/loadavg: 2.05 2.03 2.05 3/243 4965 /proc/meminfo: memFree=31488904/32770624 swapFree=6268/218784 [pid=4949] ppid=4946 vsize=486076 CPUtime=462.18 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 468518 0 0 0 46180 38 0 0 20 0 1 0 1164756 497741824 114058 33554432000 4194304 5970956 140729233549184 140729233546520 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121519 114058 785 434 0 114883 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 486076 [startup+522.3 s] /proc/loadavg: 2.02 2.02 2.05 3/243 4966 /proc/meminfo: memFree=31488732/32770624 swapFree=6268/218784 [pid=4949] ppid=4946 vsize=486076 CPUtime=522.18 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 469459 0 0 0 52180 38 0 0 20 0 1 0 1164756 497741824 114058 33554432000 4194304 5970956 140729233549184 140729233546520 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121519 114058 785 434 0 114883 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 486076 [startup+582.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 4967 /proc/meminfo: memFree=31489056/32770624 swapFree=6268/218784 [pid=4949] ppid=4946 vsize=486076 CPUtime=582.17 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 470640 0 0 0 58179 38 0 0 20 0 1 0 1164756 497741824 114058 33554432000 4194304 5970956 140729233549184 140729233546520 5045760 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121519 114058 785 434 0 114883 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 486076 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5014 /proc/meminfo: memFree=31487156/32770624 swapFree=6268/219332 [pid=4949] ppid=4946 vsize=486484 CPUtime=1542.08 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 487519 0 0 0 154169 39 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5337472 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 1542.08 Current children cumulated vsize (KiB) 486484 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5015 /proc/meminfo: memFree=31487744/32770624 swapFree=6268/219492 [pid=4949] ppid=4946 vsize=486484 CPUtime=1602.06 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 488188 0 0 0 160167 39 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5136577 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 1602.06 Current children cumulated vsize (KiB) 486484 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5023 /proc/meminfo: memFree=31486748/32770624 swapFree=6268/219492 [pid=4949] ppid=4946 vsize=486484 CPUtime=1662.06 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 488846 0 0 0 166167 39 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5337501 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 1662.06 Current children cumulated vsize (KiB) 486484 [startup+1722.3 s] /proc/loadavg: 2.05 2.03 2.05 3/243 5024 /proc/meminfo: memFree=31487720/32770624 swapFree=6268/219492 [pid=4949] ppid=4946 vsize=486484 CPUtime=1722.05 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 490092 0 0 0 172166 39 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5136577 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 1722.05 Current children cumulated vsize (KiB) 486484 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.05 3/243 5025 /proc/meminfo: memFree=31487600/32770624 swapFree=6268/219492 [pid=4949] ppid=4946 vsize=486484 CPUtime=1782.06 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 490860 0 0 0 178166 40 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5045760 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 1782.06 Current children cumulated vsize (KiB) 486484 [startup+1842.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 5026 /proc/meminfo: memFree=31487164/32770624 swapFree=6268/219492 [pid=4949] ppid=4946 vsize=486484 CPUtime=1842.05 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 492103 0 0 0 184165 40 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5045964 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 1842.05 Current children cumulated vsize (KiB) 486484 [startup+1902.3 s] /proc/loadavg: 2.08 2.03 2.05 3/243 5027 /proc/meminfo: memFree=31487828/32770624 swapFree=6268/219712 [pid=4949] ppid=4946 vsize=486484 CPUtime=1902.05 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 492845 0 0 0 190165 40 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5136570 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 1902.05 Current children cumulated vsize (KiB) 486484 [startup+1962.3 s] /proc/loadavg: 2.08 2.04 2.05 3/243 5028 /proc/meminfo: memFree=31485556/32770624 swapFree=6268/219712 [pid=4949] ppid=4946 vsize=486484 CPUtime=1962.04 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 493508 0 0 0 196164 40 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5136634 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 1962.04 Current children cumulated vsize (KiB) 486484 [startup+2022.3 s] /proc/loadavg: 2.03 2.04 2.05 3/243 5029 /proc/meminfo: memFree=31486804/32770624 swapFree=6268/219712 [pid=4949] ppid=4946 vsize=486484 CPUtime=2022.03 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 494629 0 0 0 202163 40 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 2022.03 Current children cumulated vsize (KiB) 486484 [startup+2082.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 5030 /proc/meminfo: memFree=31485988/32770624 swapFree=6268/219712 [pid=4949] ppid=4946 vsize=486484 CPUtime=2082.03 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 495206 0 0 0 208163 40 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5337501 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 2082.03 Current children cumulated vsize (KiB) 486484 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 5031 /proc/meminfo: memFree=31486224/32770624 swapFree=6268/219712 [pid=4949] ppid=4946 vsize=486484 CPUtime=2142.02 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 495808 0 0 0 214162 40 0 0 20 0 1 0 1164756 498159616 114167 33554432000 4194304 5970956 140729233549184 140729233546520 5320396 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114167 785 434 0 114985 0 Current children cumulated CPU time (s) 2142.02 Current children cumulated vsize (KiB) 486484 [startup+2202.31 s] /proc/loadavg: 2.06 2.03 2.05 3/243 5032 /proc/meminfo: memFree=31485516/32770624 swapFree=6268/219908 [pid=4949] ppid=4946 vsize=486484 CPUtime=2202.02 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 496904 0 0 0 220162 40 0 0 20 0 1 0 1164756 498159616 114679 33554432000 4194304 5970956 140729233549184 140729233546520 5337501 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114679 785 434 0 114985 0 Current children cumulated CPU time (s) 2202.02 Current children cumulated vsize (KiB) 486484 [startup+2262.3 s] /proc/loadavg: 2.02 2.03 2.05 3/244 5107 /proc/meminfo: memFree=31501928/32770624 swapFree=6268/219988 [pid=4949] ppid=4946 vsize=486484 CPUtime=2262.01 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 497446 0 0 0 226161 40 0 0 20 0 1 0 1164756 498159616 114679 33554432000 4194304 5970956 140729233549184 140729233546520 5136629 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114679 785 434 0 114985 0 Current children cumulated CPU time (s) 2262.01 Current children cumulated vsize (KiB) 486484 [startup+2322.3 s] /proc/loadavg: 2.01 2.02 2.05 3/244 5108 /proc/meminfo: memFree=31502032/32770624 swapFree=6268/220020 [pid=4949] ppid=4946 vsize=486484 CPUtime=2322.01 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 498056 0 0 0 232161 40 0 0 20 0 1 0 1164756 498159616 114679 33554432000 4194304 5970956 140729233549184 140729233546520 5337509 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114679 785 434 0 114985 0 Current children cumulated CPU time (s) 2322.01 Current children cumulated vsize (KiB) 486484 [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/244 5109 /proc/meminfo: memFree=31498928/32770624 swapFree=6268/220080 [pid=4949] ppid=4946 vsize=486484 CPUtime=2382 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 499200 0 0 0 238160 40 0 0 20 0 1 0 1164756 498159616 114679 33554432000 4194304 5970956 140729233549184 140729233546520 5045760 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114679 785 434 0 114985 0 Current children cumulated CPU time (s) 2382 Current children cumulated vsize (KiB) 486484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.00 2.02 2.05 3/244 5109 /proc/meminfo: memFree=31499432/32770624 swapFree=6268/220076 [pid=4949] ppid=4946 vsize=486484 CPUtime=2400 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 499216 0 0 0 239960 40 0 0 20 0 1 0 1164756 498159616 114679 33554432000 4194304 5970956 140729233549184 140729233546520 5136560 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114679 785 434 0 114985 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 486484 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4949 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.00 2.02 2.05 3/244 5109 /proc/meminfo: memFree=31499432/32770624 swapFree=6268/220076 [pid=4949] ppid=4946 vsize=486484 CPUtime=2400 cores=1,3,5,7,9,11,13,15 /proc/4949/stat : 4949 (cosoco) R 4946 4949 2456 0 -1 4202496 499216 0 0 0 239960 40 0 0 20 0 1 0 1164756 498159616 114679 33554432000 4194304 5970956 140729233549184 140729233546520 5136560 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 12038144 140729233552572 140729233552707 140729233552707 140729233555406 0 /proc/4949/statm: 121621 114679 785 434 0 114985 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 486484 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.02 CPU user time (s): 2399.61 CPU system time (s): 0.406959 CPU usage (%): 99.9878 Max. virtual memory (cumulated for all children) (KiB): 486484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.61 system time used= 0.406959 maximum resident set size= 458760 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 499243 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= 105 involuntary context switches= 120629 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.47245 second user time and 11.52 second system time The end
Begin job on node123 at 2017-07-21 19:42:43 IDJOB=4242571 IDBENCH=135029 IDSOLVER=2621 FILE ID=node123/4242571-1500658963 RUNJOBID= node123-1500648174-2490 PBS_JOBID= 20623297 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K108.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242571-1500658963/watcher-4242571-1500658963 -o /tmp/evaluation-result-4242571-1500658963/solver-4242571-1500658963 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2490 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242571-1500658963.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 2a47884be513939e719b7a1148b6038b RANDOM SEED=269775908 node123.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 : 8 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.12 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.12 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 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 : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 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 : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31945556 kB MemAvailable: 31940864 kB Buffers: 35336 kB Cached: 271916 kB SwapCached: 0 kB Active: 221992 kB Inactive: 226452 kB Active(anon): 144468 kB Inactive(anon): 8608 kB Active(file): 77524 kB Inactive(file): 217844 kB Unevictable: 6268 kB Mlocked: 6268 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2944 kB Writeback: 28 kB AnonPages: 137092 kB Mapped: 30696 kB Shmem: 8840 kB Slab: 63248 kB SReclaimable: 31552 kB SUnreclaim: 31696 kB KernelStack: 4256 kB PageTables: 5604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 415348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62008 MiB End job on node123 at 2017-07-21 20:22:44