| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.1 | 2400.6 |
| Name | PseudoBoolean/PseudoBoolean-dec-sptate/ Pb-Tate-K097.xml |
| MD5SUM | c736c64a10dc2dd55507b217b8552514 |
| 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 | 6596 |
| Number of constraints | 6792 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":6596}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 10 |
| Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":174},{"degree":5,"count":1168},{"degree":6,"count":2582},{"degree":7,"count":1621},{"degree":8,"count":668},{"degree":9,"count":192},{"degree":10,"count":190}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 97 |
| Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":1248},{"arity":3,"count":2592},{"arity":4,"count":1728},{"arity":5,"count":576},{"arity":6,"count":192},{"arity":7,"count":192},{"arity":68,"count":194},{"arity":97,"count":68}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":6792}] |
| Optimization problem | NO |
| Type of objective |
0.39/0.46 c SAT : Variables: 13192 -- Clauses: 13192 0.49/0.56 c root propagations : 362 0.49/0.56 c restarts enabled, print stats at every restarts 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c This is cosoco 1.0 -- 0.49/0.56 c 0.49/0.56 c ========================================[ Problem Statistics ]=========================================== 0.49/0.56 c | 0.49/0.56 c | Parse time : 0.41 s 0.49/0.56 c | 0.49/0.56 c | Variables: 6596 0.49/0.56 c | Domain Sizes: 2..2 0.49/0.56 c | 0.49/0.56 c | Constraints: 6792 0.49/0.56 c | Arity: 1..97 -- Unary: 2 -- Binary: 1248 -- Ternary: 2592 0.49/0.56 c | 0.49/0.56 c | Types: 0.49/0.56 c | Sum: 6792 0.49/0.56 c | 0.49/0.56 c ========================================================================================================= 0.49/0.56 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.89/0.94 c 10 3468 101200 29096 362 3 1163 3111 2565 1.10/1.15 c 20 4638 164445 47653 362 8 359 786 546 1.49/1.52 c 30 5608 307244 89517 362 15 266 863 661 1.89/1.93 c 40 11847 403247 114592 362 22 281 6186 3495 2.89/2.94 c 50 14554 782708 226812 362 31 549 1278 947 4.40/4.49 c 60 18131 1383338 403397 362 41 633 1485 940 4.59/4.66 c 70 19809 1423222 414291 362 47 765 1639 1332 4.89/4.93 c 80 21781 1497715 436934 362 53 663 1766 1326 5.08/5.19 c 90 23598 1574873 460421 362 60 769 1515 1181 5.39/5.40 c 100 25726 1623803 474521 362 65 703 2066 1578 5.50/5.54 c 101 27080 1650938 481004 362 66 1354 1354 677 5.79/5.83 c 110 28954 1737060 503774 362 74 1379 1703 1363 6.09/6.13 c 120 30952 1825646 527083 362 80 972 1786 1452 6.39/6.43 c 130 33528 1907432 550075 362 84 472 2152 1775 6.70/6.74 c 140 35678 1991796 572469 362 89 473 1877 1407 6.89/6.96 c 150 38131 2040843 586962 362 92 1456 2180 1869 7.09/7.17 c 160 40169 2092779 602954 362 93 1559 1767 1519 7.29/7.36 c 170 42153 2134185 614354 362 99 1250 1856 1524 7.69/7.73 c 180 45457 2239730 644759 362 105 1042 2366 1911 7.98/8.00 c 190 48156 2302963 661955 362 110 1043 2292 1891 8.18/8.22 c 200 50735 2343644 671515 362 116 1655 2462 2024 8.48/8.51 c 210 52620 2421514 694975 362 118 1147 1316 1108 8.58/8.60 c 211 53635 2434525 697861 362 119 1015 1015 507 8.79/8.82 c 220 55398 2489644 715058 362 123 782 1280 1051 9.08/9.17 c 230 58251 2587495 745276 362 129 543 1446 1136 9.39/9.45 c 240 59949 2667055 768286 362 132 986 1215 1002 9.69/9.71 c 250 62928 2729360 785903 362 136 1884 2814 2284 9.89/9.96 c 260 64722 2795542 808044 362 139 627 1356 1106 10.18/10.22 c 270 68337 2842225 819795 362 145 981 3531 2456 10.38/10.46 c 280 70975 2891739 834013 362 148 1093 2295 1922 10.58/10.68 c 290 72548 2951519 852003 362 153 443 1254 1008 10.88/10.91 c 300 74618 3004327 868310 362 155 1084 1525 1129 11.09/11.17 c 310 76970 3067799 887801 362 159 651 1741 1160 11.28/11.38 c 320 78885 3113142 901122 362 161 1437 1714 1481 11.58/11.67 c 330 82626 3175306 917984 362 167 639 3676 2169 11.69/11.79 c 332 83750 3195022 922868 362 169 638 1123 587 11.99/12.06 c 340 87773 3243432 934632 362 173 639 3966 2852 12.29/12.31 c 350 89516 3305262 953610 362 178 722 1260 925 12.49/12.55 c 360 91613 3365125 971713 362 181 1066 1545 1309 12.78/12.86 c 370 93504 3464602 1003629 362 189 1067 1645 1364 13.08/13.17 c 380 95421 3563511 1033578 362 195 894 1725 1420 13.38/13.46 c 390 98423 3629408 1051149 362 200 1060 2343 1466 13.68/13.71 c 400 100317 3697511 1070477 362 207 1351 1770 1477 13.88/14.00 c 410 103708 3759562 1092673 362 209 2227 2589 2203 14.29/14.33 c 420 106052 3864658 1124643 362 215 1178 2012 1639 14.48/14.56 c 430 108512 3916888 1139102 362 219 1885 2023 1799 14.78/14.86 c 440 111775 3987395 1159517 362 225 859 2834 2093 15.18/15.25 c 450 114437 4105489 1193927 362 231 1309 2064 1704 15.49/15.56 c 460 116831 4184217 1217462 362 233 1345 1681 1447 15.68/15.76 c 465 118575 4228817 1230033 362 236 1389 1535 1229 15.88/15.98 c 470 120521 4275165 1243743 362 240 684 1648 1130 16.18/16.22 c 480 123616 4325232 1258302 362 246 756 2963 2196 16.38/16.41 c 490 125333 4361690 1270652 362 248 831 1304 978 16.59/16.66 c 500 128072 4418063 1286427 362 251 1324 2554 2058 16.88/16.92 c 510 130874 4474554 1301864 362 257 1366 2477 2014 17.08/17.19 c 520 133825 4529190 1316698 362 264 1367 2857 2066 17.38/17.43 c 530 136297 4574503 1329367 362 267 1441 1975 1594 17.70/17.72 c 540 138949 4645951 1349914 362 272 1698 2391 1898 17.89/17.99 c 550 141882 4703659 1365213 362 276 1699 2605 2145 18.19/18.26 c 560 145111 4757982 1379727 362 279 1700 2750 2267 18.49/18.58 c 570 147895 4843685 1405217 362 283 1413 2072 1755 18.80/18.86 c 580 151292 4896811 1418753 362 288 1400 3097 2307 19.09/19.10 c 590 154100 4941930 1430282 362 295 1415 2507 1939 19.29/19.36 c 600 157214 4990593 1443317 362 301 1416 2948 2252 19.69/19.72 c 610 160357 5079297 1468485 362 305 1070 2104 1668 19.79/19.82 c 611 161467 5092614 1471606 362 306 1110 1110 555 19.99/20.02 c 620 163489 5129402 1482759 362 309 1111 1785 1335 20.18/20.21 c 630 165031 5166858 1494734 362 310 495 713 574 20.38/20.49 c 640 167470 5240090 1514448 362 318 318 2246 1685 20.78/20.89 c 650 170543 5352029 1544876 362 321 323 2280 1727 21.08/21.10 c 660 172159 5399290 1559032 362 325 385 1040 684 21.38/21.41 c 670 174757 5476508 1582130 362 330 307 2035 1482 21.58/21.67 c 680 176903 5539737 1604104 362 333 331 1913 1358 21.88/21.99 c 690 179728 5624473 1629117 362 339 344 2226 1676 22.28/22.30 c 700 182399 5701643 1651860 362 342 1431 1879 1622 22.58/22.63 c 710 184800 5792885 1678974 362 347 1422 1878 1556 22.89/22.90 c 720 188107 5846096 1693107 362 353 1485 3258 2393 23.10/23.16 c 730 191477 5889534 1704274 362 361 1872 3228 2387 23.49/23.53 c 740 194354 5989520 1733784 362 362 1599 2047 1639 23.89/23.91 c 750 197009 6097239 1764032 362 365 1622 2191 1651 24.20/24.25 c 760 199513 6191405 1791869 362 368 1681 1916 1627 24.59/24.61 c 770 202835 6276113 1816384 362 371 1492 2128 1727 24.69/24.77 c 771 204737 6301984 1822483 362 372 1902 1902 951 24.99/25.05 c 780 207622 6363216 1839789 362 375 1890 2202 1852 25.29/25.40 c 790 210145 6457115 1867894 362 380 1273 1773 1478 25.59/25.69 c 800 212797 6525966 1888025 362 382 1598 1821 1565 25.99/26.00 c 810 216465 6591114 1905673 362 387 1077 2658 2144 26.29/26.31 c 820 219602 6665230 1926908 362 389 1996 2635 2218 26.49/26.58 c 830 222852 6719738 1942120 362 394 1120 2961 2265 26.78/26.83 c 840 224347 6779871 1960899 362 398 399 855 590 27.08/27.14 c 850 226893 6862859 1983291 362 402 2043 2196 1931 27.38/27.45 c 860 230078 6932407 2004010 362 404 2131 2431 2110 27.68/27.71 c 870 233036 6987207 2019127 362 409 1982 2687 2238 27.88/27.97 c 880 235940 7040002 2033813 362 415 1805 2661 2229 28.18/28.23 c 890 238888 7097416 2050270 362 419 1888 2713 2285 28.48/28.56 c 900 241313 7193566 2078400 362 425 494 2177 1763 28.88/28.94 c 910 244619 7285435 2106424 362 427 495 1940 1536 29.18/29.26 c 920 247295 7375378 2132928 362 433 496 2165 1664 29.38/29.50 c 930 248890 7435621 2151346 362 437 519 1280 894 29.69/29.72 c 940 251452 7480949 2163411 362 446 1130 2450 1953 29.88/29.97 c 947 253940 7535216 2178309 362 452 529 2391 1597 30.08/30.15 c 950 255899 7567323 2186284 362 455 530 1957 1065 30.38/30.49 c 960 259388 7646140 2210621 362 459 531 2485 1877 30.69/30.75 c 970 261833 7706104 2228955 362 464 593 2201 1618 30.99/31.09 c 980 265118 7786030 2252589 362 470 594 2068 1635 31.29/31.38 c 990 268101 7855247 2273126 362 474 595 2397 1765 31.69/31.70 c 1000 271563 7930803 2295688 362 478 596 2527 1827 31.89/31.94 c 1010 274513 7971519 2305706 362 488 1140 2941 1986 32.18/32.22 c 1020 277665 8031060 2323943 362 491 1141 2392 1906 32.38/32.45 c 1030 280136 8075891 2336249 362 496 1063 2209 1701 32.68/32.73 c 1040 282770 8145719 2355627 362 502 1065 2204 1749 32.88/32.98 c 1050 285632 8190504 2366923 362 511 1066 2793 1913 33.18/33.24 c 1060 288189 8253668 2385426 362 516 1096 2311 1789 33.48/33.50 c 1070 290855 8308242 2402370 362 519 1097 1831 1475 33.78/33.83 c 1080 293000 8398566 2431994 362 521 684 1245 854 34.09/34.13 c 1090 296167 8458074 2448204 362 526 714 2064 1339 34.28/34.38 c 1100 298432 8513454 2463319 362 531 713 2040 1646 34.58/34.65 c 1110 301047 8576194 2480665 362 534 714 2188 1660 34.88/34.91 c 1120 303570 8635086 2497377 362 539 715 2245 1654 35.08/35.18 c 1130 306078 8700706 2517250 362 544 715 2167 1727 35.48/35.53 c 1140 308345 8788087 2544347 362 546 720 997 795 35.58/35.60 c 1141 309099 8799366 2547121 362 547 754 754 377 35.78/35.88 c 1150 311266 8866915 2568085 362 548 736 1066 854 36.18/36.24 c 1160 313672 8976924 2600534 362 551 786 1972 1514 36.48/36.51 c 1170 315870 9043856 2622158 362 553 787 1554 1250 36.78/36.80 c 1180 318324 9117429 2643501 362 557 788 1780 1343 36.98/37.04 c 1190 320904 9166248 2656414 362 563 642 2135 1564 37.28/37.35 c 1200 323350 9228118 2674796 362 564 779 1030 854 37.49/37.59 c 1210 325972 9273728 2686827 362 567 481 1983 1563 37.78/37.87 c 1220 328689 9343715 2708595 362 570 598 2212 1816 38.18/38.25 c 1230 332910 9436303 2737276 362 574 599 3187 1956 38.48/38.55 c 1240 335230 9511697 2758544 362 580 644 1810 1315 38.78/38.85 c 1250 337388 9594364 2783484 362 584 645 1909 1450 39.19/39.20 c 1260 340138 9695822 2813109 362 589 657 2194 1594 39.39/39.49 c 1270 342845 9769276 2835039 362 596 647 2395 1739 39.69/39.72 c 1280 345091 9820212 2849472 362 604 648 1981 1357 39.98/40.02 c 1290 348997 9870707 2861177 362 611 770 3841 2478 40.28/40.31 c 1300 352792 9922897 2874350 362 619 771 3752 2334 40.48/40.59 c 1310 354981 9985027 2893829 362 620 699 1191 883 40.79/40.82 c 1320 356638 10041597 2911521 362 623 577 1042 741 40.98/41.06 c 1330 358389 10101645 2932017 362 626 568 914 712 41.28/41.31 c 1340 361157 10151454 2945199 362 631 764 2467 1877 41.48/41.55 c 1350 363102 10203612 2960079 362 636 708 1390 976 41.58/41.64 c 1352 363921 10215204 2962905 362 638 528 818 448 41.79/41.86 c 1360 365557 10267883 2978328 362 644 533 1389 849 41.98/42.09 c 1370 367731 10312929 2991434 362 649 648 1312 976 42.28/42.32 c 1380 369371 10366266 3007910 362 651 489 978 758 42.58/42.61 c 1390 371869 10439252 3029269 362 656 562 1817 1320 42.78/42.90 c 1400 374723 10498219 3046594 362 661 624 1667 1337 43.08/43.14 c 1410 376968 10551155 3062017 362 665 625 1540 1183 43.38/43.41 c 1420 378942 10624007 3083114 362 671 1117 1731 1371 43.58/43.68 c 1430 380998 10694899 3103991 362 676 1138 1491 1238 43.88/43.97 c 1440 383358 10771537 3126194 362 679 1353 1863 1548 44.18/44.25 c 1450 386083 10838412 3146773 362 683 1194 2012 1550 44.48/44.50 c 1460 388500 10895190 3163786 362 686 1357 1711 1456 44.68/44.74 c 1470 390308 10954382 3182120 362 689 595 1303 972 44.88/44.97 c 1480 392274 11009397 3198409 362 691 1111 1591 1328 45.19/45.25 c 1490 394640 11078156 3220238 362 694 1290 1520 1242 45.48/45.50 c 1500 396769 11139831 3239443 362 699 963 1628 1313 45.68/45.78 c 1510 399453 11207927 3260671 362 703 1241 1803 1450 45.98/46.02 c 1520 401306 11264896 3277801 362 708 571 1348 1012 46.19/46.29 c 1530 403806 11327745 3295800 362 712 1912 2042 1812 46.48/46.55 c 1540 406754 11377876 3309347 362 716 1771 2134 1820 46.78/46.81 c 1550 409549 11432481 3324714 362 720 1698 2196 1874 47.08/47.12 c 1560 413390 11497058 3343965 362 725 1413 3117 2483 47.29/47.37 c 1570 416285 11544837 3356677 362 729 1467 2306 1946 47.58/47.63 c 1580 418638 11608070 3375115 362 733 924 2035 1552 47.68/47.79 c 1585 420368 11632811 3381121 362 738 1009 1726 1119 47.88/47.99 c 1590 422281 11675694 3393257 362 740 1234 1800 1326 48.18/48.26 c 1600 425531 11730551 3409333 362 746 1235 3003 2207 48.49/48.56 c 1610 428930 11797672 3431125 362 748 1424 2899 2452 48.78/48.86 c 1620 431692 11869024 3452161 362 751 1875 2115 1834 49.08/49.16 c 1630 434442 11946750 3475315 362 752 1695 1985 1707 49.38/49.48 c 1640 436679 12024137 3498654 362 756 1103 1605 1269 49.78/49.84 c 1650 440469 12117927 3526735 362 759 1598 2875 2286 50.08/50.15 c 1660 443985 12183614 3545741 362 762 1749 2664 1794 50.38/50.41 c 1670 446614 12238159 3561321 362 766 1256 1990 1610 50.69/50.72 c 1680 449786 12308654 3581111 362 769 1843 2109 1827 50.98/51.02 c 1690 452042 12383504 3603505 362 770 1408 1841 1517 51.28/51.33 c 1700 454754 12466052 3626445 362 774 950 1954 1618 51.58/51.65 c 1710 456836 12560219 3653437 362 778 1168 1907 1539 51.79/51.86 c 1720 459045 12596841 3663986 362 780 1169 1684 1360 51.98/52.09 c 1730 461649 12641129 3675709 362 786 960 2230 1649 52.38/52.42 c 1740 464521 12725822 3700902 362 791 968 2139 1631 52.58/52.64 c 1750 466699 12768873 3713266 362 793 934 1559 1252 52.98/53.02 c 1760 469420 12879915 3744508 362 797 1646 2271 1883 53.17/53.28 c 1770 472370 12932961 3759788 362 802 1427 2376 1905 53.47/53.57 c 1780 475375 12999141 3779375 362 808 1249 2355 1775 53.77/53.82 c 1790 477562 13055118 3794491 362 812 1250 1794 1448 53.98/54.02 c 1800 479715 13093947 3805627 362 816 1266 1623 1375 54.28/54.32 c 1810 482195 13164338 3826322 362 818 1169 1509 1230 54.58/54.60 c 1820 484427 13234990 3849164 362 820 984 1471 1188 54.78/54.83 c 1830 486308 13287039 3864702 362 824 998 1441 1171 55.09/55.13 c 1840 489194 13354369 3885729 362 829 846 2133 1342 55.18/55.20 c 1841 489939 13363050 3887585 362 830 745 745 372 55.38/55.42 c 1850 492210 13404263 3900625 362 832 1084 1471 1223 55.58/55.69 c 1860 494374 13468227 3921211 362 835 759 1403 1114 55.98/56.02 c 1870 497184 13552523 3944463 362 842 762 2217 1554 56.19/56.28 c 1880 499635 13617167 3962811 362 847 812 2162 1704 56.48/56.54 c 1890 501982 13678096 3979440 362 852 813 2142 1650 56.78/56.85 c 1900 504469 13757679 4001228 362 857 814 2149 1623 57.08/57.12 c 1910 507245 13816500 4017958 362 863 815 2320 1721 57.29/57.36 c 1920 509637 13867204 4032647 362 869 816 2005 1600 57.58/57.65 c 1930 513071 13932188 4052134 362 876 817 3289 2243 57.88/57.95 c 1940 515750 14002223 4071939 362 880 864 2223 1730 58.18/58.23 c 1950 518356 14070503 4090353 362 887 968 2233 1731 58.39/58.48 c 1960 520829 14126741 4105956 362 891 969 2061 1653 58.68/58.78 c 1970 524065 14195104 4126691 362 897 970 2838 2122 58.98/59.04 c 1980 526656 14255566 4143742 362 904 971 2283 1741 59.28/59.32 c 1990 529476 14317245 4160985 362 909 1717 2186 1863 59.58/59.62 c 2000 532150 14390799 4181248 362 911 973 2087 1697 59.88/59.99 c 2010 534637 14507132 4216451 362 914 974 1878 1587 60.28/60.38 c 2020 537768 14616013 4248744 362 917 1080 2504 1846 60.68/60.72 c 2030 540680 14712156 4276903 362 922 1737 2491 1889 60.98/61.00 c 2040 542815 14786592 4297873 362 929 1068 1927 1506 61.18/61.29 c 2050 544937 14864626 4320393 362 935 1075 1884 1535 61.48/61.57 c 2060 548320 14923170 4336541 362 943 1152 2883 1896 61.78/61.85 c 2070 550815 14986568 4354543 362 946 1153 1727 1470 62.08/62.13 c 2080 553244 15050785 4372958 362 951 1088 1980 1514 62.38/62.47 c 2090 556256 15137142 4398156 362 954 1574 2012 1677 62.68/62.79 c 2100 558848 15227718 4424427 362 961 1455 2137 1745 62.98/63.08 c 2110 561513 15289179 4441997 362 965 842 1773 1413 63.28/63.34 c 2120 564006 15345451 4457971 362 969 891 2021 1478 63.38/63.43 c 2122 564997 15358797 4461028 362 971 890 990 626 63.58/63.69 c 2130 567327 15419919 4478163 362 976 900 1968 1432 63.88/63.99 c 2140 569955 15496504 4500735 362 979 1168 2140 1668 64.28/64.33 c 2150 572753 15580452 4525832 362 982 896 1948 1515 64.58/64.65 c 2160 575026 15664579 4548899 362 988 905 1944 1523 64.88/64.95 c 2170 577590 15737582 4569885 362 992 973 1859 1476 65.18/65.30 c 2180 580583 15828960 4597004 362 996 994 2137 1715 65.68/65.73 c 2190 583571 15952426 4633098 362 1000 975 1991 1521 65.88/65.98 c 2200 586431 16004718 4646686 362 1007 976 2645 2028 66.28/66.33 c 2210 589798 16093750 4672886 362 1012 977 2530 1901 66.58/66.62 c 2220 592400 16164347 4694179 362 1015 1160 1996 1669 66.88/66.92 c 2230 594852 16234740 4717476 362 1017 968 1369 1145 67.18/67.22 c 2240 598028 16305739 4738398 362 1019 1189 2621 2233 67.47/67.54 c 2250 600935 16385254 4760707 362 1023 1234 2022 1698 67.77/67.81 c 2260 603740 16447046 4778095 362 1028 1255 2455 1926 67.97/68.08 c 2270 606735 16503402 4793657 362 1033 1256 2530 1969 68.37/68.46 c 2280 610370 16596810 4819685 362 1035 1859 2337 1909 68.87/68.93 c 2290 613253 16753935 4865619 362 1038 1589 2095 1732 69.28/69.35 c 2300 616875 16869190 4899860 362 1040 1726 2502 1920 69.77/69.80 c 2310 619654 17017185 4944570 362 1042 1743 2101 1747 70.07/70.13 c 2320 622663 17102842 4968854 362 1046 1750 2666 2077 70.27/70.38 c 2330 625524 17153973 4982463 362 1052 1751 2489 2021 70.57/70.69 c 2340 628309 17231913 5005221 362 1056 1752 2128 1846 70.87/70.98 c 2350 631471 17293479 5021730 362 1062 1239 2286 1733 71.17/71.26 c 2360 634075 17361317 5041181 362 1065 1730 2301 1833 71.37/71.50 c 2370 636941 17407117 5053982 362 1068 2258 2654 2237 71.67/71.75 c 2380 639664 17459982 5068226 362 1072 1464 2242 1903 72.07/72.13 c 2390 643175 17553945 5094848 362 1076 1465 2228 1831 72.27/72.39 c 2400 646058 17609497 5109522 362 1080 1467 2406 1998 72.58/72.66 c 2410 649126 17671707 5127195 362 1086 1575 2734 2097 72.87/72.91 c 2420 651926 17720363 5140960 362 1093 1466 2559 2036 73.07/73.15 c 2430 654644 17765740 5153104 362 1099 1467 2459 2086 73.17/73.28 c 2431 656112 17783542 5157104 362 1100 1468 1468 734 73.47/73.51 c 2440 658320 17834478 5171412 362 1105 1474 2126 1708 73.78/73.81 c 2450 661000 17916424 5194581 362 1108 1548 2368 2000 74.18/74.22 c 2460 664376 18044908 5233044 362 1112 1557 2737 2125 74.48/74.52 c 2470 667049 18113564 5253270 362 1119 1510 2193 1715 74.79/74.82 c 2480 670029 18187522 5275441 362 1124 1538 2225 1823 74.98/75.09 c 2490 672919 18246861 5293404 362 1127 1854 2316 1942 75.48/75.52 c 2500 675479 18392038 5337420 362 1130 1668 2063 1778 75.89/75.97 c 2510 678742 18537695 5383378 362 1134 1503 2525 2060 76.38/76.40 c 2520 681519 18671689 5421878 362 1140 1517 2103 1773 76.68/76.71 c 2530 684409 18749054 5444930 362 1145 1692 2315 1921 76.99/77.03 c 2540 687449 18823086 5466012 362 1146 1717 2134 1785 77.38/77.41 c 2550 690512 18935641 5499145 362 1149 1761 2364 1965 77.68/77.74 c 2560 692919 19026281 5525158 362 1153 1468 2175 1659 78.09/78.15 c 2570 696217 19141997 5559920 362 1156 1943 2244 1890 78.38/78.48 c 2580 698485 19232047 5588830 362 1158 1362 1568 1341 78.68/78.75 c 2590 701456 19287710 5604447 362 1161 1245 2200 1771 78.98/79.02 c 2600 703837 19343893 5621400 362 1164 1385 1752 1484 79.28/79.31 c 2610 706343 19414410 5643729 362 1165 1396 1798 1501 79.48/79.59 c 2620 708736 19480781 5663752 362 1169 987 1985 1542 79.78/79.90 c 2630 711262 19558272 5685679 362 1173 1021 2067 1645 80.48/80.56 c 2640 713876 19801912 5756154 362 1178 1092 2010 1582 80.78/80.88 c 2650 716210 19886779 5781633 362 1181 1253 1844 1564 81.08/81.12 c 2660 718691 19940959 5795910 362 1188 1091 2318 1777 81.28/81.40 c 2670 721540 20000383 5812361 362 1192 1229 2440 1901 81.68/81.71 c 2680 724274 20080143 5834912 362 1198 1150 2492 1909 81.98/82.04 c 2690 727257 20162608 5858353 362 1203 1151 2349 1716 82.28/82.38 c 2700 730263 20251573 5883185 362 1205 1585 2218 1834 82.58/82.65 c 2710 732802 20311634 5900389 362 1211 823 2018 1476 82.87/82.97 c 2720 735590 20395216 5925046 362 1216 824 2378 1774 83.17/83.26 c 2730 738600 20441311 5939080 362 1217 926 1235 1022 83.47/83.51 c 2740 740950 20487273 5952874 362 1218 336 898 594 83.68/83.77 c 2750 743634 20544563 5968878 362 1223 215 2335 1745 84.07/84.17 c 2760 747524 20624821 5992035 362 1226 226 2303 839 84.37/84.43 c 2770 750419 20676154 6006082 362 1230 173 2490 1749 84.37/84.46 c 2771 750593 20680061 6007083 362 1231 174 174 87 84.68/84.75 c 2780 753481 20734456 6020956 362 1236 171 2375 1104 85.07/85.13 c 2790 756429 20846499 6052419 362 1239 150 2251 1796 85.47/85.53 c 2800 760001 20957729 6088840 362 1241 1809 2526 2136 85.88/85.92 c 2810 763629 21060618 6121760 362 1244 1833 2448 2096 86.17/86.21 c 2820 766564 21130604 6143093 362 1249 1863 2329 2017 86.57/86.61 c 2830 769545 21247226 6176261 362 1251 2056 2285 1973 86.88/86.98 c 2840 772748 21356697 6208058 362 1256 1777 2499 2029 87.27/87.37 c 2850 776070 21462156 6239987 362 1261 1430 2334 1870 87.77/87.80 c 2860 779026 21604598 6284147 362 1266 1961 2483 2063 87.98/88.09 c 2870 781749 21677277 6304777 362 1272 1844 2410 2022 88.57/88.63 c 2880 784894 21869926 6362174 362 1275 1907 2386 2018 88.97/89.00 c 2890 788354 21966775 6389892 362 1278 1962 2431 2090 89.37/89.49 c 2900 792600 22114069 6435012 362 1280 2425 2524 2245 89.77/89.83 c 2910 795554 22208444 6464385 362 1282 2164 2501 2093 90.18/90.24 c 2920 798822 22327169 6497805 362 1284 1529 2254 1935 90.57/90.62 c 2930 801590 22437570 6530047 362 1285 2001 2209 1950 90.87/90.93 c 2940 804482 22523806 6556852 362 1289 1430 2481 2057 91.47/91.51 c 2950 808625 22705852 6609447 362 1294 1471 2493 2105 91.97/92.07 c 2960 811871 22893451 6666010 362 1299 1472 2493 2002 92.27/92.34 c 2970 814824 22955835 6683807 362 1304 1651 2654 2201 92.67/92.74 c 2980 818730 23052282 6710582 362 1310 1652 2580 2201 93.17/93.20 c 2990 821527 23211549 6757770 362 1314 1803 2351 2015 93.47/93.56 c 3000 825050 23302324 6785768 362 1316 2428 2504 2251 93.77/93.87 c 3010 827819 23384388 6810396 362 1319 1581 2320 1967 94.07/94.18 c 3020 830387 23463286 6833044 362 1323 2126 2302 2010 94.38/94.44 c 3030 833006 23522323 6850370 362 1330 942 2424 1933 94.68/94.73 c 3040 835860 23590460 6872467 362 1332 1522 2349 1969 94.87/94.98 c 3050 838532 23644231 6888693 362 1336 1523 2340 1931 95.17/95.29 c 3060 841424 23718644 6911525 362 1340 2141 2322 2043 95.57/95.61 c 3070 844424 23803894 6939454 362 1343 2321 2428 2149 95.87/95.99 c 3080 847562 23913178 6971039 362 1345 1835 2532 2052 96.37/96.43 c 3090 850334 24054829 7011580 362 1348 1510 2266 1936 96.78/96.90 c 3100 854069 24197243 7057497 362 1351 2019 2326 2015 97.07/97.19 c 3110 856808 24260923 7076306 362 1356 1339 1973 1701 97.37/97.41 c 3120 858834 24310226 7091712 362 1360 1228 1829 1559 97.77/97.83 c 3130 862407 24428419 7127281 362 1365 1754 2315 1817 97.98/98.08 c 3140 865277 24474538 7138881 362 1369 1369 2535 2150 98.17/98.26 c 3142 867251 24501962 7145262 362 1371 1365 1973 1112 98.47/98.53 c 3150 869566 24570466 7164534 362 1376 1284 2112 1724 98.77/98.87 c 3160 872162 24673134 7202389 362 1381 1083 2163 1795 99.17/99.25 c 3170 875541 24775209 7232424 362 1385 1707 2376 2014 99.57/99.62 c 3180 878849 24870818 7259795 362 1387 1908 2375 1966 99.87/99.98 c 3190 881914 24967803 7287234 362 1389 1947 2208 1925 100.27/100.34 c 3200 884882 25059843 7314729 362 1391 1437 2027 1632 100.57/100.67 c 3210 887807 25138942 7337379 362 1394 1524 2069 1715 100.87/100.99 c 3220 890740 25220250 7360119 362 1397 1697 2357 1995 101.28/101.35 c 3230 893599 25322771 7390284 362 1399 1696 2102 1792 101.77/101.84 c 3240 897778 25449821 7427435 362 1402 1632 2120 1714 102.28/102.38 c 3250 900932 25624810 7479607 362 1403 1578 2088 1703 102.67/102.70 c 3260 903546 25714092 7507362 362 1407 1636 2080 1815 102.97/103.09 c 3270 906611 25818688 7538386 362 1411 1141 2132 1673 103.27/103.35 c 3280 909322 25873350 7554791 362 1412 1813 2162 1856 103.57/103.61 c 3290 912660 25923046 7568945 362 1414 2393 2739 2390 103.77/103.87 c 3300 915640 25969187 7582165 362 1416 2249 2422 2136 104.17/104.20 c 3310 919044 26052262 7606983 362 1417 1837 2362 1975 104.48/104.56 c 3320 924013 26125512 7630578 362 1420 1526 3683 2889 104.87/104.90 c 3330 927246 26205415 7654192 362 1423 1742 2018 1710 105.17/105.25 c 3340 930100 26295864 7679393 362 1425 1657 2029 1668 105.47/105.57 c 3350 932632 26381048 7703906 362 1430 1692 1945 1628 105.87/105.99 c 3360 936159 26497848 7738007 362 1434 1786 2256 1875 106.27/106.32 c 3370 939011 26588035 7765387 362 1438 1793 2145 1772 106.57/106.64 c 3380 941842 26669105 7790094 362 1440 1784 2065 1783 106.78/106.88 c 3390 944132 26726748 7806565 362 1444 1634 2114 1800 107.07/107.19 c 3400 947100 26800424 7827233 362 1447 1643 2326 1905 107.47/107.51 c 3410 949628 26889580 7853130 362 1448 1660 2095 1743 107.77/107.88 c 3420 953275 26978749 7880618 362 1449 1680 2142 1700 108.07/108.15 c 3430 955811 27039193 7898080 362 1451 1739 1998 1689 108.37/108.46 c 3440 958833 27111936 7920238 362 1453 1696 2054 1721 108.67/108.79 c 3450 961470 27207767 7951755 362 1456 1733 1990 1737 109.07/109.10 c 3460 964543 27280503 7978228 362 1457 1811 2076 1808 109.27/109.36 c 3470 967280 27333380 7992861 362 1464 1583 2164 1753 109.57/109.60 c 3480 969473 27386847 8008608 362 1467 1589 1925 1618 109.87/109.91 c 3490 972970 27451718 8027208 362 1469 1810 2174 1840 110.17/110.24 c 3500 976334 27528036 8049575 362 1473 1689 2172 1809 110.47/110.53 c 3510 979043 27597624 8070411 362 1474 1972 2156 1854 110.77/110.81 c 3520 981538 27666156 8090933 362 1476 1599 2132 1795 110.97/111.09 c 3530 984402 27727660 8108409 362 1480 1635 2229 1846 111.37/111.40 c 3540 987103 27802131 8130829 362 1485 1726 2064 1733 111.57/111.68 c 3550 990143 27859943 8147551 362 1487 1728 2037 1755 111.77/111.84 c 3551 991827 27882671 8152888 362 1488 1684 1684 842 112.07/112.12 c 3560 994618 27946412 8170949 362 1492 1686 2136 1773 112.37/112.40 c 3570 996999 28011300 8189377 362 1499 1316 1945 1635 112.57/112.69 c 3580 1000006 28074008 8208349 362 1502 1552 2039 1754 112.87/112.96 c 3590 1002411 28136773 8225700 362 1506 1524 1939 1667 113.17/113.21 c 3600 1005163 28180484 8238144 362 1508 1561 1923 1614 113.37/113.49 c 3610 1008058 28243612 8256748 362 1511 1456 2101 1769 113.67/113.74 c 3620 1010753 28295388 8272156 362 1515 1379 2238 1881 113.87/113.98 c 3630 1013268 28347630 8287439 362 1520 1383 2154 1854 114.17/114.25 c 3640 1016016 28404398 8304285 362 1523 1390 2109 1783 114.47/114.53 c 3650 1019026 28463494 8321108 362 1528 1260 2166 1740 114.67/114.78 c 3660 1021904 28513633 8335552 362 1533 1270 2180 1758 114.97/115.05 c 3670 1024738 28573414 8352901 362 1539 1283 2337 1863 115.27/115.31 c 3680 1027726 28622091 8367816 362 1542 1284 2186 1765 115.47/115.57 c 3690 1030702 28674275 8383319 362 1545 1285 2196 1773 115.76/115.85 c 3700 1033416 28738450 8402930 362 1549 1286 2174 1715 116.06/116.17 c 3710 1036338 28824607 8435730 362 1552 1204 2083 1748 116.36/116.44 c 3720 1038970 28886113 8454155 362 1558 1222 2168 1755 116.67/116.78 c 3730 1041744 28983951 8490293 362 1561 1223 2055 1727 117.06/117.11 c 3740 1044865 29069401 8522649 362 1563 1236 2112 1812 117.36/117.40 c 3750 1047915 29133674 8544073 362 1565 1916 2177 1847 117.56/117.69 c 3760 1050756 29195888 8562362 362 1567 1793 2278 1875 117.86/117.96 c 3770 1053755 29254344 8579848 362 1572 1065 2292 1747 118.16/118.27 c 3780 1056962 29326431 8601047 362 1574 1859 2429 1892 118.46/118.55 c 3790 1059908 29383595 8618434 362 1576 1559 2264 1793 118.77/118.82 c 3800 1062596 29443547 8635980 362 1581 1238 2184 1694 119.06/119.10 c 3810 1065592 29503280 8653266 362 1583 1850 2207 1803 119.36/119.41 c 3820 1068716 29576230 8675968 362 1585 1742 2200 1757 119.66/119.71 c 3830 1071702 29645889 8696652 362 1589 1701 2167 1794 119.97/120.02 c 3840 1074655 29724451 8720107 362 1591 1930 2124 1835 120.26/120.35 c 3850 1077566 29810556 8747693 362 1593 1996 2148 1869 120.56/120.61 c 3860 1080264 29862114 8762339 362 1596 1370 1870 1450 120.76/120.85 c 3870 1082875 29907488 8774978 362 1600 1267 2059 1712 121.07/121.12 c 3880 1085741 29960718 8790103 362 1603 1271 1999 1621 121.26/121.37 c 3890 1088567 30005388 8802307 362 1607 1274 2326 1759 121.56/121.64 c 3900 1091764 30053438 8815366 362 1611 1248 2156 1668 121.86/121.91 c 3910 1094734 30113405 8833927 362 1616 1664 2264 1883 122.07/122.20 c 3920 1097585 30182188 8854782 362 1620 1449 2283 1859 122.36/122.48 c 3930 1100496 30234731 8869835 362 1623 1156 1930 1488 122.66/122.76 c 3940 1103317 30291613 8886196 362 1625 1024 1717 1345 122.97/123.02 c 3950 1105514 30356012 8905695 362 1628 1025 1416 1148 123.37/123.42 c 3960 1109323 30444817 8932353 362 1630 1023 1877 1241 123.67/123.73 c 3970 1112351 30515505 8954830 362 1634 1185 2072 1735 123.97/124.04 c 3980 1115583 30589208 8978242 362 1637 1186 2205 1818 124.28/124.32 c 3990 1118677 30637144 8992297 362 1640 1191 1777 1307 124.57/124.65 c 4000 1121878 30720296 9018739 362 1643 1194 2244 1610 124.67/124.71 c 4001 1122404 30729664 9020979 362 1644 526 526 263 124.97/125.09 c 4010 1125989 30812789 9043871 362 1649 489 2644 1297 125.48/125.57 c 4020 1130421 30954528 9086775 362 1652 491 2856 2263 125.77/125.89 c 4030 1133683 31035061 9110145 362 1658 492 2720 2062 126.07/126.18 c 4040 1136782 31098871 9127310 362 1664 496 2800 1982 126.37/126.46 c 4050 1140264 31152410 9140848 362 1673 501 3427 2122 126.77/126.81 c 4060 1142968 31240823 9166538 362 1676 510 1815 1295 126.97/127.10 c 4070 1145689 31307626 9187090 362 1681 511 1850 1350 127.37/127.49 c 4080 1148137 31431417 9223832 362 1685 1258 1688 1432 127.67/127.78 c 4090 1150744 31502260 9246800 362 1686 1359 1902 1590 128.06/128.18 c 4100 1154789 31585379 9269661 362 1691 734 2636 1592 128.26/128.39 c 4110 1156787 31620579 9280555 362 1692 457 726 551 128.56/128.70 c 4120 1159931 31671327 9296566 362 1694 259 1001 661 128.96/129.08 c 4130 1163742 31761941 9324545 362 1698 246 1902 1349 129.36/129.43 c 4140 1166653 31861360 9356703 362 1703 247 2026 1380 129.56/129.68 c 4150 1169409 31906244 9369562 362 1707 248 2058 1431 129.87/129.93 c 4160 1172241 31953367 9383156 362 1712 249 1988 1536 130.16/130.23 c 4170 1175369 32027553 9404334 362 1721 250 2722 1848 130.46/130.56 c 4180 1178518 32108166 9428498 362 1724 251 1971 1424 130.87/130.93 c 4190 1181804 32201796 9456207 362 1728 1082 1831 1425 131.06/131.14 c 4200 1184055 32241410 9467860 362 1733 254 1907 1418 131.36/131.41 c 4210 1186673 32301672 9487026 362 1736 255 1834 1374 131.66/131.73 c 4220 1190301 32374543 9505745 362 1743 256 3174 1990 131.97/132.07 c 4230 1193890 32457637 9528263 362 1749 257 2898 1958 132.26/132.37 c 4240 1196668 32534274 9549619 362 1754 258 2597 1792 132.56/132.69 c 4250 1199607 32621434 9575275 362 1759 259 2595 1816 132.86/132.96 c 4260 1202356 32679984 9590853 362 1768 260 2643 1814 133.17/133.29 c 4270 1205633 32765436 9616445 362 1774 261 2868 1929 133.46/133.58 c 4280 1208779 32837001 9638190 362 1780 1106 2680 2070 133.86/133.98 c 4290 1212453 32955246 9675293 362 1785 1290 2896 2198 134.17/134.29 c 4300 1215730 33015769 9690984 362 1791 246 2842 1432 134.46/134.59 c 4310 1219391 33076367 9709814 362 1796 258 2744 2051 134.76/134.83 c 4320 1222160 33120568 9722689 362 1800 259 2672 1969 135.06/135.18 c 4330 1226074 33196162 9746350 362 1805 495 2778 1826 135.37/135.50 c 4340 1230021 33261247 9766573 362 1809 261 2849 2076 135.76/135.85 c 4350 1234034 33349275 9796728 362 1814 262 2881 2166 136.06/136.18 c 4360 1238026 33425843 9821672 362 1818 263 2867 2079 136.37/136.46 c 4370 1241361 33477764 9837313 362 1823 264 2700 1917 136.66/136.75 c 4380 1244658 33543945 9856919 362 1830 265 2845 1827 136.96/137.02 c 4390 1247682 33601618 9873262 362 1837 266 2504 1670 137.16/137.27 c 4400 1250541 33648143 9885841 362 1845 267 2433 1770 137.47/137.60 c 4410 1254186 33717403 9907516 362 1848 268 2198 1658 137.96/138.00 c 4420 1257508 33820060 9937505 362 1851 269 1995 1493 138.26/138.38 c 4430 1260128 33934343 9971393 362 1853 270 1939 1397 138.57/138.69 c 4440 1263181 34000600 9991410 362 1857 271 2072 1476 138.86/138.96 c 4450 1266246 34046687 10004859 362 1860 280 1850 1267 139.16/139.25 c 4460 1269172 34117240 10024967 362 1865 281 2093 1607 139.46/139.52 c 4470 1272175 34168785 10040826 362 1868 282 1963 1466 139.67/139.78 c 4480 1275098 34218002 10054943 362 1872 1587 1981 1583 140.06/140.10 c 4490 1277961 34298322 10079146 362 1873 1239 1870 1460 140.16/140.26 c 4493 1279694 34323453 10085138 362 1876 1376 1731 1170 140.46/140.54 c 4500 1282898 34388660 10104137 362 1882 1377 2815 1880 140.87/140.95 c 4510 1287548 34492884 10140189 362 1888 1403 2916 2331 141.16/141.30 c 4520 1290390 34587671 10170016 362 1890 1542 2017 1599 141.56/141.62 c 4530 1293216 34671455 10197966 362 1893 1100 2034 1568 141.87/141.96 c 4540 1296453 34758196 10224126 362 1896 1384 2511 1746 142.16/142.26 c 4550 1299383 34822041 10243462 362 1898 1449 1792 1459 142.56/142.60 c 4560 1302943 34893854 10264571 362 1900 1445 2154 1671 142.86/142.91 c 4570 1306878 34962427 10285256 362 1904 302 3095 2395 143.16/143.26 c 4580 1310924 35050202 10313744 362 1906 1760 3028 2542 143.56/143.60 c 4590 1314909 35125871 10338081 362 1910 310 2877 2186 143.76/143.84 c 4600 1317668 35165475 10349296 362 1913 318 1779 1353 144.07/144.14 c 4610 1321362 35227360 10366655 362 1919 319 2972 2228 144.36/144.46 c 4620 1325260 35298529 10388455 362 1925 320 2931 1959 144.76/144.83 c 4630 1329348 35390440 10416850 362 1927 1676 2919 2494 145.06/145.20 c 4640 1333309 35475290 10441468 362 1930 1357 2827 1656 145.46/145.55 c 4650 1336560 35551687 10463557 362 1933 326 1924 1430 145.86/145.96 c 4660 1340719 35643426 10490379 362 1935 326 1989 1520 146.16/146.27 c 4670 1344004 35705913 10509093 362 1938 327 2119 1527 146.46/146.51 c 4680 1346739 35750783 10521351 362 1943 328 2329 1614 146.96/147.04 c 4690 1349772 35920771 10572534 362 1946 329 1850 1289 147.26/147.39 c 4700 1353269 36009819 10598746 362 1951 331 2646 1735 147.77/147.87 c 4710 1357456 36148313 10641219 362 1955 346 3045 1930 148.07/148.14 c 4720 1360709 36203741 10656553 362 1960 359 2967 2260 148.36/148.45 c 4730 1364334 36259695 10672539 362 1963 365 2302 1643 148.76/148.83 c 4740 1368708 36355545 10700809 362 1966 366 3029 2269 149.16/149.28 c 4750 1373250 36488321 10742851 362 1972 375 2929 2333 149.57/149.64 c 4760 1376770 36573880 10766773 362 1974 391 2433 1913 149.96/150.02 c 4770 1380085 36672596 10796139 362 1979 398 2434 1625 150.26/150.30 c 4780 1382729 36736007 10813853 362 1983 399 2144 1577 150.56/150.61 c 4790 1386231 36803995 10834309 362 1985 1114 2468 2025 150.86/150.90 c 4800 1389491 36866088 10851819 362 1991 404 2519 1886 151.06/151.12 c 4810 1392088 36899687 10860974 362 1997 405 2470 1818 151.26/151.37 c 4820 1394968 36947851 10875211 362 2002 406 2451 1871 151.66/151.72 c 4830 1397593 37043093 10904017 362 2006 1215 2022 1609 152.06/152.15 c 4840 1400646 37164413 10940789 362 2008 1142 2006 1598 152.36/152.44 c 4850 1404068 37220652 10956514 362 2014 1190 2566 2013 152.66/152.76 c 4860 1407550 37292915 10977343 362 2020 1191 2474 1992 152.97/153.06 c 4870 1411128 37350899 10994027 362 2025 1192 2313 1816 153.46/153.57 c 4880 1416069 37474307 11030177 362 2027 1555 2732 1945 153.86/153.90 c 4890 1419950 37553348 11056966 362 2031 1209 2691 2134 154.16/154.23 c 4900 1422503 37641139 11083700 362 2034 1303 1825 1431 154.36/154.47 c 4910 1424873 37688485 11098173 362 2036 1335 1763 1432 154.66/154.72 c 4920 1427519 37742546 11114025 362 2040 1085 1965 1594 154.96/155.05 c 4930 1430307 37822063 11137758 362 2045 1083 1930 1395 155.17/155.29 c 4940 1432637 37867313 11150964 362 2048 1142 1495 1236 155.46/155.59 c 4950 1435624 37925257 11169342 362 2049 1247 1635 1318 155.76/155.84 c 4960 1438322 37975350 11183666 362 2054 1259 1883 1490 156.06/156.11 c 4970 1441074 38032819 11199973 362 2059 1348 2068 1652 156.36/156.49 c 4980 1444429 38122287 11227140 362 2062 1428 1814 1486 156.66/156.77 c 4990 1447023 38184590 11245958 362 2065 1204 1665 1315 157.66/157.72 c 5035 1455738 38452253 11332349 362 2072 1592 2196 1880 163.16/163.23 c 5631 1499162 40462877 12096608 362 2077 1484 2376 1933 168.66/168.71 c 6286 1543107 42016045 12685428 362 2083 211 2337 1173 172.16/172.28 c 7006 1582665 43180003 13133931 362 2097 144 3988 3182 176.86/176.93 c 7798 1641095 44634366 13690310 362 2109 205 3386 2871 183.55/183.65 c 8669 1732509 46575406 14393280 362 2116 443 4291 2816 192.26/192.37 c 9627 1797996 49590965 15491550 362 2122 577 2508 1765 203.06/203.17 c 10680 1868018 53471316 16777248 362 2128 751 1950 1485 222.45/222.52 c 11838 1961324 60382085 18927468 362 2138 206 1508 1240 233.05/233.20 c 13111 2038756 64199111 20247238 362 2150 284 2867 2010 249.75/249.81 c 14511 2180724 69418590 22030398 362 2161 494 3135 1643 268.14/268.28 c 16051 2322171 75852933 24202225 362 2174 430 3394 1710 285.54/285.62 c 17745 2438875 81658542 26105192 362 2184 653 1732 1426 304.13/304.24 c 19608 2540542 88383849 28531631 362 2191 998 1460 1200 327.33/327.43 c 21657 2667658 95982207 31266318 362 2195 303 1247 1032 350.22/350.37 c 23910 2802310 104952596 34436656 362 2204 279 1993 1767 369.92/370.02 c 26388 2922662 112057410 37062714 362 2211 291 1646 1430 391.82/391.96 c 29113 3188579 118778755 39502797 362 2220 371 4237 2704 416.92/417.01 c 32110 3438769 127652500 42549153 362 2228 516 3775 2649 449.01/449.17 c 35406 3717128 138763998 46471881 362 2239 706 2282 2034 482.30/482.41 c 39031 4041695 149520881 50210392 362 2255 328 3215 2304 517.40/517.58 c 43018 4338850 160755899 54366579 362 2261 378 2106 1739 554.89/555.09 c 47403 4678349 173553929 58754277 362 2275 581 2934 2447 637.08/637.22 c 52226 5133921 198030268 67033733 362 2282 618 1355 995 680.57/680.72 c 57531 5532646 214296388 73034703 362 2292 1011 2519 1920 753.32/753.60 c 63366 5875442 245310957 83686203 362 2299 784 1690 1360 804.19/804.41 c 69784 6174221 267626959 91060294 362 2306 270 1816 1614 870.36/870.65 c 76843 6629770 296355478 101044554 362 2313 376 1923 1530 933.06/933.35 c 84607 7386455 318015758 109279908 362 2319 901 3495 2148 1010.14/1010.44 c 93147 8178080 345955990 119208858 362 2325 1079 2610 1938 1138.12/1138.42 c 102541 9020107 397008620 135679506 362 2333 918 2657 1871 1288.59/1288.91 c 112874 10093694 464505919 159247524 362 2343 1091 2935 2139 1439.76/1440.16 c 124240 11410570 516749938 176393578 362 2352 552 2556 1940 1567.15/1567.58 c 136742 12451970 560828235 191741143 362 2359 653 2128 1600 1695.71/1696.15 c 150494 13592807 611091717 208465971 362 2371 901 2648 2034 1867.09/1867.54 c 165621 15107581 678354488 231239661 362 2381 1210 2482 1950 2042.76/2043.20 c 182260 16568175 742543216 253145801 362 2392 777 1968 1627 2245.02/2245.51 c 200562 17735793 820555339 279356019 362 2403 843 2302 1516
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-4242567-1500658877/watcher-4242567-1500658877 -o /tmp/evaluation-result-4242567-1500658877/solver-4242567-1500658877 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500648174-9844 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242567-1500658877.xml pid=11071 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: 2.00 2.01 2.05 4/243 11074 /proc/meminfo: memFree=30957108/32770624 swapFree=5780/200360 [pid=11074] ppid=11071 vsize=27248 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 1021 0 0 0 1 0 0 0 20 0 1 0 1152822 27901952 834 33554432000 4194304 5970956 140726093411232 140726093407880 140720094919653 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 6812 834 698 434 0 176 0 [startup+0.100127 s] /proc/loadavg: 2.00 2.01 2.05 4/243 11074 /proc/meminfo: memFree=30957108/32770624 swapFree=5780/200360 [pid=11074] ppid=11071 vsize=32704 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 2417 0 0 0 9 0 0 0 20 0 1 0 1152822 33488896 2249 33554432000 4194304 5970956 140726093411232 140726093404984 5403024 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 8176 2249 735 434 0 1540 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 32704 [startup+0.200386 s] /proc/loadavg: 2.00 2.01 2.05 4/243 11074 /proc/meminfo: memFree=30957108/32770624 swapFree=5780/200360 [pid=11074] ppid=11071 vsize=72096 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 12263 0 0 0 18 1 0 0 20 0 1 0 1152822 73826304 12050 33554432000 4194304 5970956 140726093411232 140726093405096 140720094919653 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 18057 12050 735 434 0 11421 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 72096 [startup+0.300338 s] /proc/loadavg: 2.00 2.01 2.05 4/243 11074 /proc/meminfo: memFree=30957108/32770624 swapFree=5780/200360 [pid=11074] ppid=11071 vsize=119712 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 24156 0 0 0 26 3 0 0 20 0 1 0 1152822 122585088 23948 33554432000 4194304 5970956 140726093411232 140726093407832 5674162 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 29928 23948 735 434 0 23292 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 119712 [startup+0.700266 s] /proc/loadavg: 2.00 2.01 2.05 4/243 11074 /proc/meminfo: memFree=30957108/32770624 swapFree=5780/200360 [pid=11074] ppid=11071 vsize=230012 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 50612 0 0 0 63 6 0 0 20 0 1 0 1152822 235532288 50431 33554432000 4194304 5970956 140726093411232 140726093408232 5092087 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 57503 50431 782 434 0 50867 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 230012 [startup+1.50027 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11075 /proc/meminfo: memFree=30711872/32770624 swapFree=5780/200568 [pid=11074] ppid=11071 vsize=279152 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 62797 0 0 0 141 8 0 0 20 0 1 0 1152822 285851648 62597 33554432000 4194304 5970956 140726093411232 140726093408072 5044849 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 69788 62597 785 434 0 63152 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 279152 [startup+3.10028 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11075 /proc/meminfo: memFree=30655328/32770624 swapFree=5780/200568 [pid=11074] ppid=11071 vsize=333636 CPUtime=3.08 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 94575 0 0 0 297 11 0 0 20 0 1 0 1152822 341643264 75894 33554432000 4194304 5970956 140726093411232 140726093408568 5093168 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 83409 75894 785 434 0 76773 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 333636 [startup+6.30029 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11075 /proc/meminfo: memFree=30655144/32770624 swapFree=5780/200580 [pid=11074] ppid=11071 vsize=333636 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 121721 0 0 0 616 13 0 0 20 0 1 0 1152822 341643264 75960 33554432000 4194304 5970956 140726093411232 140726093408568 5093396 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 83409 75960 785 434 0 76773 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 333636 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11075 /proc/meminfo: memFree=30647516/32770624 swapFree=5780/200592 [pid=11074] ppid=11071 vsize=338720 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 162420 0 0 0 1253 15 0 0 20 0 1 0 1152822 346849280 77769 33554432000 4194304 5970956 140726093411232 140726093408568 5093168 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 84680 77769 785 434 0 78044 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 338720 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11075 /proc/meminfo: memFree=30644788/32770624 swapFree=5780/200608 [pid=11074] ppid=11071 vsize=341656 CPUtime=25.49 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 199212 0 0 0 2531 18 0 0 20 0 1 0 1152822 349855744 78502 33554432000 4194304 5970956 140726093411232 140726093408568 5045472 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 85414 78502 785 434 0 78778 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 341656 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11075 /proc/meminfo: memFree=30637532/32770624 swapFree=5780/200648 [pid=11074] ppid=11071 vsize=348720 CPUtime=51.08 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 236870 0 0 0 5087 21 0 0 20 0 1 0 1152822 357089280 80457 33554432000 4194304 5970956 140726093411232 140726093408568 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 87180 80457 785 434 0 80544 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 348720 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11076 /proc/meminfo: memFree=30633648/32770624 swapFree=5780/200736 [pid=11074] ppid=11071 vsize=353272 CPUtime=102.28 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 292310 0 0 0 10204 24 0 0 20 0 1 0 1152822 361750528 81332 33554432000 4194304 5970956 140726093411232 140726093408568 5136587 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 88318 81332 785 434 0 81682 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 353272 [startup+162.3 s] /proc/loadavg: 2.05 2.03 2.05 3/244 11077 /proc/meminfo: memFree=30627956/32770624 swapFree=5780/200844 [pid=11074] ppid=11071 vsize=361908 CPUtime=162.26 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 330988 0 0 0 16199 27 0 0 20 0 1 0 1152822 370593792 82769 33554432000 4194304 5970956 140726093411232 140726093408568 5136634 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 90477 82769 785 434 0 83841 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 361908 [startup+222.308 s] /proc/loadavg: 2.02 2.02 2.05 3/244 11078 /proc/meminfo: memFree=30622724/32770624 swapFree=5780/200936 [pid=11074] ppid=11071 vsize=367760 CPUtime=222.25 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 360396 0 0 0 22196 29 0 0 20 0 1 0 1152822 376586240 84126 33554432000 4194304 5970956 140726093411232 140726093408568 5047610 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 91940 84126 785 434 0 85304 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 367760 [startup+282.3 s] /proc/loadavg: 2.09 2.03 2.05 3/243 11079 /proc/meminfo: memFree=30622688/32770624 swapFree=5780/200988 [pid=11074] ppid=11071 vsize=367760 CPUtime=282.24 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 403409 0 0 0 28192 32 0 0 20 0 1 0 1152822 376586240 84128 33554432000 4194304 5970956 140726093411232 140726093408568 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 91940 84128 785 434 0 85304 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 367760 [startup+342.3 s] /proc/loadavg: 2.03 2.03 2.05 3/243 11080 /proc/meminfo: memFree=30622380/32770624 swapFree=5780/201036 [pid=11074] ppid=11071 vsize=367760 CPUtime=342.22 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 429990 0 0 0 34189 33 0 0 20 0 1 0 1152822 376586240 84128 33554432000 4194304 5970956 140726093411232 140726093408568 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 91940 84128 785 434 0 85304 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 367760 [startup+402.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 11081 /proc/meminfo: memFree=30620024/32770624 swapFree=5780/201084 [pid=11074] ppid=11071 vsize=370592 CPUtime=402.21 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 466969 0 0 0 40186 35 0 0 20 0 1 0 1152822 379486208 84762 33554432000 4194304 5970956 140726093411232 140726093408568 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92648 84762 785 434 0 86012 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 370592 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.05 3/242 11082 /proc/meminfo: memFree=30618692/32770624 swapFree=5780/200952 [pid=11074] ppid=11071 vsize=370592 CPUtime=462.21 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 499111 0 0 0 46184 37 0 0 20 0 1 0 1152822 379486208 85280 33554432000 4194304 5970956 140726093411232 140726093408568 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92648 85280 785 434 0 86012 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 370592 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11084 /proc/meminfo: memFree=30617452/32770624 swapFree=5780/201012 [pid=11074] ppid=11071 vsize=370592 CPUtime=522.2 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 528199 0 0 0 52181 39 0 0 20 0 1 0 1152822 379486208 85280 33554432000 4194304 5970956 140726093411232 140726093408568 5045238 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92648 85280 785 434 0 86012 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 370592 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11092 /proc/meminfo: memFree=30616568/32770624 swapFree=5780/201068 [pid=11074] ppid=11071 vsize=370592 CPUtime=582.19 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 552810 0 0 0 58179 40 0 0 20 0 1 0 1152822 379486208 85280 33554432000 4194304 5970956 140726093411232 140726093408568 5136570 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92648 85280 785 434 0 86012 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 370592 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11422 /proc/meminfo: memFree=31666604/32770624 swapFree=5780/201768 [pid=11074] ppid=11071 vsize=370732 CPUtime=1481.95 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 636305 0 0 0 148151 44 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5337509 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 370732 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11423 /proc/meminfo: memFree=31665540/32770624 swapFree=5780/201808 [pid=11074] ppid=11071 vsize=370732 CPUtime=1541.95 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 637178 0 0 0 154151 44 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 370732 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11424 /proc/meminfo: memFree=31664656/32770624 swapFree=5780/201848 [pid=11074] ppid=11071 vsize=370732 CPUtime=1601.93 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 638728 0 0 0 160149 44 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5046418 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 370732 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11425 /proc/meminfo: memFree=31664540/32770624 swapFree=5780/201884 [pid=11074] ppid=11071 vsize=370732 CPUtime=1661.92 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 639509 0 0 0 166148 44 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5047051 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 370732 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11426 /proc/meminfo: memFree=31664772/32770624 swapFree=5780/201932 [pid=11074] ppid=11071 vsize=370732 CPUtime=1721.91 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 641153 0 0 0 172147 44 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5046412 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 370732 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11435 /proc/meminfo: memFree=31664544/32770624 swapFree=5780/201980 [pid=11074] ppid=11071 vsize=370732 CPUtime=1781.91 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 642086 0 0 0 178146 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 370732 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11436 /proc/meminfo: memFree=31664504/32770624 swapFree=5780/202016 [pid=11074] ppid=11071 vsize=370732 CPUtime=1841.89 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 642929 0 0 0 184144 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 1841.89 Current children cumulated vsize (KiB) 370732 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11437 /proc/meminfo: memFree=31664656/32770624 swapFree=5780/202064 [pid=11074] ppid=11071 vsize=370732 CPUtime=1901.88 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 644562 0 0 0 190143 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 1901.88 Current children cumulated vsize (KiB) 370732 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11438 /proc/meminfo: memFree=31664592/32770624 swapFree=5780/202100 [pid=11074] ppid=11071 vsize=370732 CPUtime=1961.87 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 645459 0 0 0 196142 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5136634 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 1961.87 Current children cumulated vsize (KiB) 370732 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11439 /proc/meminfo: memFree=31664316/32770624 swapFree=5780/202144 [pid=11074] ppid=11071 vsize=370732 CPUtime=2021.86 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 646331 0 0 0 202141 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5045175 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 2021.86 Current children cumulated vsize (KiB) 370732 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11440 /proc/meminfo: memFree=31664036/32770624 swapFree=5780/202192 [pid=11074] ppid=11071 vsize=370732 CPUtime=2081.86 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 647717 0 0 0 208141 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 2081.86 Current children cumulated vsize (KiB) 370732 [startup+2142.3 s] /proc/loadavg: 2.05 2.03 2.05 3/243 11441 /proc/meminfo: memFree=31663896/32770624 swapFree=5780/202228 [pid=11074] ppid=11071 vsize=370732 CPUtime=2141.84 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 648640 0 0 0 214139 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5327993 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 2141.84 Current children cumulated vsize (KiB) 370732 [startup+2202.31 s] /proc/loadavg: 2.02 2.02 2.05 3/243 11442 /proc/meminfo: memFree=31663756/32770624 swapFree=5780/202268 [pid=11074] ppid=11071 vsize=370732 CPUtime=2201.83 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 649436 0 0 0 220138 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5046440 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 2201.83 Current children cumulated vsize (KiB) 370732 [startup+2262.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 11443 /proc/meminfo: memFree=31663904/32770624 swapFree=5780/202308 [pid=11074] ppid=11071 vsize=370732 CPUtime=2261.81 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 651261 0 0 0 226136 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 2261.81 Current children cumulated vsize (KiB) 370732 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11444 /proc/meminfo: memFree=31664060/32770624 swapFree=5780/202352 [pid=11074] ppid=11071 vsize=370732 CPUtime=2321.8 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 652212 0 0 0 232135 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5311648 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 2321.8 Current children cumulated vsize (KiB) 370732 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11452 /proc/meminfo: memFree=31663368/32770624 swapFree=5780/202364 [pid=11074] ppid=11071 vsize=370732 CPUtime=2381.79 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 652967 0 0 0 238134 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5045760 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 2381.79 Current children cumulated vsize (KiB) 370732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11452 /proc/meminfo: memFree=31663368/32770624 swapFree=5780/202368 [pid=11074] ppid=11071 vsize=370732 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15 /proc/11074/stat : 11074 (cosoco) R 11071 11074 9811 0 -1 4202496 653303 0 0 0 239964 45 0 0 20 0 1 0 1152822 379629568 86032 33554432000 4194304 5970956 140726093411232 140726093408568 5136596 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 34140160 140726093415612 140726093415747 140726093415747 140726093418446 0 /proc/11074/statm: 92683 86032 785 434 0 86047 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 370732 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 11074 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.6 CPU time (s): 2400.1 CPU user time (s): 2399.64 CPU system time (s): 0.458917 CPU usage (%): 99.9791 Max. virtual memory (cumulated for all children) (KiB): 370732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.64 system time used= 0.458917 maximum resident set size= 344172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 653330 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= 133 involuntary context switches= 120936 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.04779 second user time and 11.903 second system time The end
Begin job on node145 at 2017-07-21 19:41:17 IDJOB=4242567 IDBENCH=135026 IDSOLVER=2621 FILE ID=node145/4242567-1500658877 RUNJOBID= node145-1500648174-9844 PBS_JOBID= 20623276 Free space on /tmp= 61860 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K097.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242567-1500658877/watcher-4242567-1500658877 -o /tmp/evaluation-result-4242567-1500658877/solver-4242567-1500658877 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500648174-9844 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242567-1500658877.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= c736c64a10dc2dd55507b217b8552514 RANDOM SEED=1265001843 node145.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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 1600.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.43 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 : 1600.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.43 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 : 2133.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.43 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 : 1600.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.43 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 : 2000.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: 30961072 kB MemAvailable: 30963052 kB Buffers: 36800 kB Cached: 274724 kB SwapCached: 0 kB Active: 1220508 kB Inactive: 209072 kB Active(anon): 1120892 kB Inactive(anon): 8712 kB Active(file): 99616 kB Inactive(file): 200360 kB Unevictable: 5780 kB Mlocked: 5780 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2916 kB Writeback: 0 kB AnonPages: 1273532 kB Mapped: 31748 kB Shmem: 8852 kB Slab: 68144 kB SReclaimable: 35676 kB SUnreclaim: 32468 kB KernelStack: 4272 kB PageTables: 7108 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1549076 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1204224 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61856 MiB End job on node145 at 2017-07-21 20:21:18