Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco-sat 1.1 | ? (TO) | 2400.09 | 2401.37 |
Name | PseudoBoolean/PseudoBoolean-dec-spng/ Pb-NG-K145.xml |
MD5SUM | 5e6b89adf4cff092dc7bbd8ab430815e |
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 | 17255 |
Number of constraints | 17547 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":17255}] |
Minimum variable degree | 3 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":273},{"degree":5,"count":1771},{"degree":6,"count":7755},{"degree":7,"count":4732},{"degree":8,"count":1862},{"degree":9,"count":574},{"degree":10,"count":143},{"degree":11,"count":1},{"degree":12,"count":143}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 145 |
Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":1872},{"arity":3,"count":7776},{"arity":4,"count":4752},{"arity":5,"count":2016},{"arity":6,"count":432},{"arity":7,"count":144},{"arity":9,"count":144},{"arity":119,"count":290},{"arity":145,"count":119}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":17547}] |
Optimization problem | NO |
Type of objective |
1.39/1.47 c SAT : Variables: 34510 -- Clauses: 34510 2.09/2.15 c root propagations : 742 2.09/2.15 c restarts enabled, print stats at every restarts 2.09/2.15 c 2.09/2.15 c 2.09/2.15 c 2.09/2.15 c This is cosoco 1.0 -- 2.09/2.15 c 2.09/2.15 c ========================================[ Problem Statistics ]=========================================== 2.09/2.15 c | 2.09/2.15 c | Parse time : 1.10 s 2.09/2.15 c | 2.09/2.15 c | Variables: 17255 2.09/2.15 c | Domain Sizes: 2..2 2.09/2.15 c | 2.09/2.15 c | Constraints: 17547 2.09/2.15 c | Arity: 1..145 -- Unary: 2 -- Binary: 1872 -- Ternary: 7776 2.09/2.15 c | 2.09/2.15 c | Types: 2.09/2.15 c | Sum: 17547 2.09/2.15 c | 2.09/2.15 c ========================================================================================================= 2.09/2.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.59/4.63 c 10 11463 260783 62189 742 5 3044 11421 8260 6.78/6.86 c 20 20670 483508 121000 742 8 4489 9148 7552 7.49/7.59 c 30 21360 600512 162552 742 13 341 371 320 8.49/8.51 c 40 21868 782024 222486 742 19 53 405 317 10.48/10.50 c 50 33922 930220 253921 742 26 2840 12037 8907 12.68/12.74 c 60 47283 1118164 296220 742 32 2774 13299 9709 15.08/15.15 c 70 62871 1306673 339379 742 38 7251 15382 11691 17.59/17.65 c 80 78442 1519387 390282 742 47 69 15517 10944 19.38/19.47 c 90 88293 1636676 416511 742 51 2888 9760 8049 21.68/21.77 c 100 100393 1846860 473582 742 58 97 11811 6831 21.99/22.08 c 101 100491 1893569 489210 742 59 98 98 49 24.47/24.57 c 110 116991 2118726 541346 742 66 43 16323 6967 26.88/26.99 c 120 133304 2327382 586034 742 72 8838 16117 13010 28.08/28.13 c 130 135687 2467363 630186 742 76 1732 1883 1679 29.18/29.21 c 140 138564 2609718 669190 742 80 1785 2660 2142 30.18/30.24 c 150 141077 2748601 711412 742 82 2359 2389 2154 31.28/31.30 c 160 143950 2884016 750170 742 88 2153 2357 2058 32.18/32.21 c 170 146680 2989692 779042 742 92 2406 2563 2305 33.17/33.24 c 180 149556 3120571 816959 742 94 1510 2665 2222 35.38/35.45 c 190 165569 3305097 859079 742 100 1564 15997 10715 36.28/36.38 c 200 167372 3409634 889642 742 106 1523 1695 1496 37.17/37.20 c 210 169387 3515168 920750 742 111 1560 1790 1489 37.57/37.67 c 211 170973 3552992 929814 742 112 1586 1586 793 38.37/38.47 c 220 173099 3650975 958796 742 117 1586 1918 1597 38.97/39.09 c 230 174913 3715158 981251 742 120 1661 1725 1547 40.18/40.26 c 240 177859 3874181 1029150 742 125 1632 2473 2127 41.47/41.57 c 250 181062 4069278 1086763 742 127 2486 2588 2322 43.47/43.53 c 260 192029 4223230 1123375 742 137 1541 10553 5614 44.37/44.45 c 270 194097 4333756 1154669 742 140 1819 1903 1686 45.47/45.56 c 280 197277 4463148 1190314 742 144 894 3102 2435 47.56/47.62 c 290 199522 4845172 1297190 742 150 1780 2054 1724 48.37/48.49 c 300 201339 4962864 1331566 742 156 998 1356 1118 49.57/49.63 c 310 203821 5112342 1374404 742 162 960 1627 1199 50.47/50.52 c 320 206332 5215446 1403887 742 171 924 2384 1833 51.27/51.35 c 330 208859 5303348 1428680 742 177 925 2431 1868 51.67/51.73 c 332 210036 5337659 1437887 742 179 991 1175 722 52.77/52.86 c 340 212498 5501694 1485348 742 183 927 2360 1779 53.87/53.99 c 350 214575 5655359 1532310 742 185 937 1186 952 54.97/55.01 c 360 218247 5753716 1558109 742 192 937 3444 2509 55.86/55.92 c 370 221168 5850520 1586391 742 198 1371 2606 2179 56.66/56.77 c 380 223722 5943635 1611974 742 202 446 2445 1920 58.06/58.13 c 390 229325 6068380 1647697 742 208 496 4058 2843 58.96/59.01 c 400 232507 6144680 1668994 742 210 512 2892 2331 59.96/60.06 c 410 235731 6265019 1701777 742 216 513 3040 2437 62.46/62.50 c 420 252083 6476305 1751006 742 223 514 15856 4917 64.66/64.71 c 430 265414 6627210 1782134 742 233 514 13322 4272 66.96/67.05 c 440 282007 6804655 1826640 742 237 4664 16558 13085 67.86/67.94 c 450 284712 6868069 1844177 742 239 2595 2667 2394 69.16/69.20 c 460 288761 7014776 1887395 742 242 3194 3651 3198 69.76/69.80 c 465 290413 7080696 1905763 742 243 1237 1516 1203 70.36/70.42 c 470 292199 7147336 1924467 742 246 1241 1561 1200 71.25/71.38 c 480 295563 7241111 1950459 742 252 2331 3060 2621 72.67/72.74 c 490 298100 7442943 2008428 742 255 1270 1909 1430 74.26/74.39 c 500 302389 7691978 2091987 742 262 1282 4057 2662 75.46/75.54 c 510 306846 7796032 2120365 742 267 1428 4273 3376 76.65/76.73 c 520 309760 7949874 2164822 742 270 1535 2029 1629 77.95/78.08 c 530 314176 8093416 2202034 742 276 1048 3860 2199 79.35/79.40 c 540 318464 8237171 2240434 742 280 1903 3590 2487 80.45/80.55 c 550 321700 8375985 2278530 742 288 1598 2810 2354 81.65/81.79 c 560 325914 8511829 2317440 742 291 1626 3983 3221 82.96/83.05 c 570 329676 8661230 2361830 742 295 2087 3513 2930 84.26/84.31 c 580 334230 8783057 2394837 742 301 1886 3770 2556 85.15/85.29 c 590 337471 8881944 2425217 742 308 1710 2742 2139 86.15/86.29 c 600 340341 8998458 2458902 742 311 1835 2573 2069 87.15/87.26 c 610 343404 9100237 2487959 742 315 2242 2561 2192 87.75/87.81 c 611 345269 9146214 2499369 742 316 1865 1865 932 89.16/89.24 c 620 350261 9304584 2544551 742 322 1817 4157 3105 90.26/90.34 c 630 353151 9440816 2581937 742 329 1444 2739 2180 91.45/91.54 c 640 356513 9586315 2623376 742 332 2221 2672 2213 92.85/92.92 c 650 359824 9791624 2688703 742 337 1380 2959 2497 94.05/94.18 c 660 364314 9920487 2722791 742 340 1546 4251 3420 95.25/95.38 c 670 369158 10023002 2752568 742 344 792 4395 3550 96.55/96.60 c 680 373590 10142656 2783982 742 349 385 4218 3106 97.75/97.86 c 690 377446 10282820 2824788 742 355 386 2805 2120 98.95/99.05 c 700 382244 10388305 2854743 742 361 387 4331 3499 100.15/100.26 c 710 386812 10496651 2882940 742 367 1072 4486 3209 101.25/101.37 c 720 390513 10603861 2916476 742 370 1073 2785 2164 102.44/102.55 c 730 395315 10702813 2940645 742 378 1079 4674 3237 103.64/103.75 c 740 400093 10803487 2968136 742 382 1080 4522 3283 104.75/104.82 c 750 403418 10913413 3002707 742 383 2482 2771 2410 105.94/106.08 c 760 408189 11032506 3034143 742 389 1381 4591 3329 107.24/107.38 c 770 413382 11151542 3068062 742 396 1999 4728 3550 107.95/108.02 c 771 415813 11195681 3078338 742 397 2431 2431 1215 109.34/109.48 c 780 421254 11350079 3122292 742 402 2417 4915 3697 110.44/110.56 c 790 424480 11460888 3153422 742 408 1170 1988 1496 111.64/111.78 c 800 429458 11563700 3181181 742 417 1347 4703 3388 113.14/113.28 c 810 434599 11740735 3230508 742 423 1817 4812 3659 114.64/114.75 c 820 440035 11881443 3272067 742 426 2757 3760 2894 115.94/116.02 c 830 443364 12041115 3318571 742 429 1139 2942 2422 116.94/117.05 c 840 446950 12141814 3348683 742 434 1371 3350 2710 117.94/118.00 c 850 448393 12288094 3389217 742 439 517 1033 775 119.34/119.45 c 860 451842 12485425 3446945 742 443 517 2812 1927 120.54/120.67 c 870 455267 12637336 3488725 742 447 536 2614 1979 121.84/121.95 c 880 460582 12746457 3515567 742 453 537 5052 3893 122.83/122.90 c 890 463393 12847182 3544025 742 458 538 2283 1783 123.93/124.03 c 900 468155 12933239 3564466 742 468 539 4753 2285 125.13/125.23 c 910 473208 13026182 3589486 742 473 540 4727 3489 126.55/126.62 c 920 479022 13149868 3622258 742 478 1295 5448 4179 127.65/127.77 c 930 483422 13252112 3649217 742 483 1218 4161 3146 128.83/128.91 c 940 488004 13349892 3674454 742 490 1219 4331 3434 129.93/130.06 c 947 492520 13451651 3700625 742 497 1220 4451 3199 130.63/130.72 c 950 494720 13510216 3716015 742 498 1759 2196 1466 131.83/131.90 c 960 499281 13619207 3747409 742 503 1221 4040 3171 132.83/132.98 c 970 503630 13709258 3770888 742 512 1229 4280 3292 134.03/134.19 c 980 508937 13798803 3792634 742 520 1231 5216 3853 136.03/136.15 c 990 517930 13963058 3833104 742 526 1467 8070 3137 137.44/137.54 c 1000 523078 14098598 3869358 742 532 2178 4384 3533 138.83/138.95 c 1010 529346 14214612 3900228 742 540 2153 6001 4410 140.03/140.13 c 1020 534097 14312344 3927316 742 547 3907 4650 4073 141.62/141.73 c 1030 540593 14469592 3971602 742 552 2342 6120 4667 142.94/143.04 c 1040 546200 14574600 4000293 742 559 2296 5084 3644 144.23/144.30 c 1050 551404 14678531 4026430 742 569 662 5141 3327 145.52/145.63 c 1060 554557 14841664 4071672 742 574 667 1681 1202 146.83/146.93 c 1070 559946 14957472 4100996 742 581 2159 5074 3860 148.03/148.18 c 1080 563018 15122481 4149057 742 588 2240 2809 2205 149.42/149.55 c 1090 568384 15254783 4184969 742 598 676 5284 2890 150.52/150.69 c 1100 571235 15390158 4225095 742 603 712 2057 1567 151.62/151.75 c 1110 573600 15533238 4264744 742 609 716 2174 1610 152.83/152.97 c 1120 576602 15684161 4307764 742 615 717 2452 1838 153.62/153.73 c 1130 579029 15756794 4329582 742 624 730 1955 1125 155.13/155.23 c 1140 586140 15866871 4355463 742 632 1694 6717 4619 155.32/155.47 c 1141 586908 15880207 4358737 742 633 768 768 384 156.23/156.33 c 1150 589175 15978200 4390418 742 637 770 1505 1132 157.62/157.76 c 1160 594583 16106322 4424744 742 644 1767 4684 2687 158.52/158.65 c 1170 597539 16187203 4449219 742 652 781 2595 1993 159.82/159.97 c 1180 603063 16299246 4477751 742 657 793 5284 4084 161.22/161.38 c 1190 608612 16414147 4505586 742 665 1603 5159 3014 162.62/162.74 c 1200 614308 16527264 4532537 742 672 1604 5444 3744 164.12/164.29 c 1210 621130 16654837 4566514 742 679 1605 6438 4267 165.61/165.75 c 1220 627277 16780730 4598010 742 684 1877 5680 4072 167.02/167.11 c 1230 633099 16889569 4624459 742 692 1912 5721 4222 168.23/168.34 c 1240 637358 17009339 4658328 742 696 3179 3789 3180 169.22/169.37 c 1250 640650 17109630 4689092 742 697 1997 2337 1955 170.42/170.54 c 1260 645558 17201903 4717638 742 703 2627 3978 3330 172.01/172.12 c 1270 652611 17337725 4755871 742 709 3912 6806 5333 173.22/173.37 c 1280 657308 17447349 4786870 742 713 3320 4033 3302 174.62/174.72 c 1290 662717 17567379 4820425 742 716 3502 4202 3550 176.21/176.37 c 1300 669703 17724145 4860666 742 723 3194 6588 5079 177.51/177.70 c 1310 675620 17817719 4882122 742 730 2249 5816 4240 179.51/179.60 c 1320 682565 18026037 4941522 742 736 2246 6173 3724 181.22/181.39 c 1330 690242 18205916 4992401 742 741 4363 7029 5570 182.91/183.03 c 1340 696630 18359375 5033437 742 745 3650 4522 3843 183.81/183.96 c 1350 699089 18463292 5066589 742 748 915 2108 1639 185.21/185.31 c 1352 705531 18556775 5087142 742 750 6434 6441 4291 186.71/186.82 c 1360 712460 18672004 5115674 742 752 6436 6692 5783 188.31/188.48 c 1370 719638 18809207 5150717 742 760 1435 6472 4197 190.10/190.27 c 1380 726948 18968811 5191895 742 765 1439 6514 4393 191.60/191.75 c 1390 731292 19137899 5238187 742 769 2281 3484 2623 193.10/193.23 c 1400 735693 19311297 5287431 742 772 2537 3393 2761 194.91/195.04 c 1410 742638 19519444 5344672 742 775 2254 6524 5317 196.31/196.42 c 1420 749067 19613342 5365485 742 785 2278 6420 4154 197.71/197.86 c 1430 755501 19726638 5393164 742 794 2549 6196 4156 198.91/199.00 c 1440 759802 19817920 5421559 742 799 2610 3020 2676 200.30/200.43 c 1450 765579 19944457 5461814 742 806 934 4835 3737 201.81/201.94 c 1460 772508 20066060 5491634 742 813 935 6886 4999 202.61/202.74 c 1470 775066 20133586 5512388 742 815 980 1660 1303 203.80/203.98 c 1480 779178 20256423 5546171 742 821 209 3147 2167 205.20/205.39 c 1490 783441 20414972 5591605 742 826 2637 3223 2654 206.40/206.53 c 1500 787896 20509970 5619348 742 832 2581 3951 3258 207.91/208.04 c 1510 794854 20630825 5650010 742 840 2736 6838 5036 209.40/209.50 c 1520 800705 20759234 5682408 742 845 2737 4964 4035 210.90/211.00 c 1530 807193 20881759 5713804 742 848 2738 5084 4326 212.20/212.31 c 1540 812724 20987716 5740736 742 852 2739 5090 4351 213.49/213.69 c 1550 818553 21102915 5770881 742 855 4926 5099 4616 214.90/215.01 c 1560 823972 21217275 5800447 742 860 2741 5104 4186 216.50/216.69 c 1570 831372 21369449 5841080 742 868 2742 7104 4837 218.10/218.25 c 1580 837283 21518152 5880620 742 872 3195 4594 3861 219.30/219.40 c 1585 841914 21607697 5903257 742 875 1332 4586 3220 219.90/220.01 c 1590 843981 21655831 5916845 742 876 1385 1661 1265 221.19/221.33 c 1600 848891 21779985 5950083 742 881 1394 4263 3266 222.69/222.84 c 1610 854181 21937071 5993677 742 887 1395 4180 3287 224.00/224.12 c 1620 857741 22084799 6037152 742 891 1396 2601 2091 225.29/225.50 c 1630 861703 22243051 6082799 742 894 2108 2872 2449 226.79/226.95 c 1640 867560 22379745 6119244 742 902 2842 5805 4106 228.19/228.33 c 1650 873815 22479907 6143999 742 910 2843 6083 4539 229.59/229.79 c 1660 878994 22619740 6185221 742 914 1444 3966 2752 231.19/231.36 c 1670 883408 22818122 6241403 742 919 3176 3687 3143 232.79/232.93 c 1680 888633 22985069 6287616 742 923 3056 3643 3077 233.98/234.12 c 1690 893396 23080527 6314271 742 926 3804 4227 3702 235.39/235.55 c 1700 899916 23188810 6341741 742 934 2615 6253 4872 236.89/237.07 c 1710 906882 23309400 6372260 742 940 2616 6552 5284 238.19/238.39 c 1720 912120 23421896 6400831 742 948 2375 5066 3928 239.59/239.79 c 1730 917684 23547238 6435048 742 954 4714 5122 4483 240.98/241.10 c 1740 923334 23650625 6460434 742 961 4439 4930 4240 242.38/242.55 c 1750 928826 23790313 6496546 742 967 4512 5107 4426 243.69/243.84 c 1760 934130 23897429 6523634 742 969 4584 4882 4343 245.09/245.20 c 1770 939470 24025141 6557865 742 974 4636 4961 4356 246.39/246.55 c 1780 945224 24134428 6585454 742 979 4467 5444 4718 247.88/248.02 c 1790 951036 24271725 6620860 742 982 4456 4968 4284 249.18/249.37 c 1800 956750 24378182 6647569 742 986 2517 5048 4167 250.39/250.51 c 1810 959933 24503870 6682462 742 990 1738 2473 2034 251.59/251.77 c 1820 964404 24627235 6716880 742 993 1759 3807 3039 253.18/253.39 c 1830 971214 24777497 6758592 742 998 1769 6298 4597 254.78/254.98 c 1840 977616 24923146 6798165 742 1004 1770 5160 4024 255.28/255.46 c 1841 979387 24952698 6805323 742 1005 1771 1771 885 256.38/256.52 c 1850 983075 25054893 6833884 742 1008 1764 3412 2812 257.68/257.85 c 1860 988647 25163777 6861160 742 1013 1848 5193 4184 259.08/259.24 c 1870 992528 25333528 6908926 742 1018 1767 3059 2395 260.68/260.84 c 1880 999764 25464508 6942867 742 1025 2835 6479 4996 262.07/262.29 c 1890 1005879 25588236 6977076 742 1031 1885 5615 4357 263.67/263.80 c 1900 1012585 25709834 7009999 742 1039 1927 6560 4812 265.27/265.46 c 1910 1020999 25826426 7039838 742 1045 1928 8029 5916 266.78/266.94 c 1920 1028012 25929239 7065303 742 1053 1929 6969 5340 268.47/268.68 c 1930 1034847 26076779 7105148 742 1058 1927 5686 2963 269.87/270.09 c 1940 1038934 26229733 7152890 742 1061 1943 2799 2129 271.37/271.57 c 1950 1044676 26363382 7190169 742 1066 2281 3949 3218 272.68/272.86 c 1960 1049797 26469735 7220421 742 1071 2282 3803 3132 273.88/274.08 c 1970 1054464 26572956 7249264 742 1078 2283 4014 3227 275.87/276.06 c 1980 1059779 26847677 7328561 742 1083 2284 4002 3382 277.58/277.73 c 1990 1066936 27000955 7371579 742 1092 3223 6980 4974 279.17/279.35 c 2000 1072501 27179101 7422642 742 1097 2382 5104 3966 280.67/280.86 c 2010 1077704 27329433 7464156 742 1101 2469 3186 2690 281.87/282.06 c 2020 1082706 27424764 7488646 742 1108 2421 4282 3354 283.07/283.26 c 2030 1086799 27543040 7521884 742 1113 2444 3350 2744 284.77/284.97 c 2040 1090986 27775051 7584925 742 1117 2416 3341 2808 286.17/286.33 c 2050 1095560 27912553 7622632 742 1121 2549 3577 2863 287.67/287.80 c 2060 1101732 28038836 7653954 742 1126 2568 5650 4445 289.06/289.26 c 2070 1106604 28194543 7698253 742 1131 2600 3983 3287 290.46/290.62 c 2080 1112574 28297069 7723280 742 1139 2609 5908 4275 291.97/292.19 c 2090 1120063 28411139 7750000 742 1145 3563 7111 5529 293.57/293.72 c 2100 1127321 28521828 7776287 742 1150 3951 7082 5832 294.96/295.18 c 2110 1133891 28634127 7805772 742 1156 3952 6087 5202 296.67/296.82 c 2120 1140073 28787683 7850363 742 1159 3631 4746 3936 297.46/297.69 c 2122 1143686 28843399 7862861 742 1161 3269 3612 2293 299.26/299.40 c 2130 1149607 29025057 7913954 742 1165 3575 4242 3574 300.96/301.18 c 2140 1153920 29267218 7980745 742 1169 2659 3261 2755 302.56/302.78 c 2150 1161155 29394245 8012316 742 1175 2592 5881 4168 304.16/304.31 c 2160 1167624 29523405 8045821 742 1179 2609 5607 4364 305.56/305.73 c 2170 1171538 29701153 8099611 742 1185 2522 3635 2882 307.26/307.42 c 2180 1178880 29847279 8137918 742 1191 2527 6058 4513 308.46/308.64 c 2190 1183044 29964551 8172904 742 1195 2608 3801 2971 309.56/309.77 c 2200 1187337 30058167 8198433 742 1199 2607 3240 2745 311.55/311.77 c 2210 1193074 30323093 8272398 742 1203 2994 4794 3850 312.85/313.04 c 2220 1197511 30448059 8306410 742 1211 2392 3952 2918 314.25/314.41 c 2230 1201951 30592368 8348802 742 1214 2441 3161 2588 315.45/315.66 c 2240 1206275 30711492 8385998 742 1217 2465 3165 2602 316.85/317.00 c 2250 1211204 30839581 8420512 742 1222 2451 4017 3227 318.15/318.32 c 2260 1215756 30973008 8460639 742 1227 2457 3810 3114 319.56/319.70 c 2270 1221663 31080426 8488770 742 1235 3332 5500 4522 320.75/320.94 c 2280 1226410 31184417 8518004 742 1241 3407 4400 3644 322.16/322.32 c 2290 1231153 31324039 8555444 742 1242 3447 3822 3379 323.55/323.70 c 2300 1235850 31473164 8596322 742 1247 3501 3991 3385 325.15/325.36 c 2310 1244206 31593501 8625754 742 1252 2442 7631 6108 326.85/327.00 c 2320 1252266 31709004 8652838 742 1260 2443 7880 5560 328.35/328.58 c 2330 1260107 31813797 8676811 742 1268 2444 7804 5437 329.85/330.02 c 2340 1266465 31920684 8705379 742 1272 2445 5842 4734 331.24/331.49 c 2350 1272909 32036937 8734843 742 1279 2478 6127 4353 332.65/332.80 c 2360 1278062 32145696 8763924 742 1286 2396 5052 3932 334.15/334.35 c 2370 1284878 32272584 8799284 742 1293 2397 5778 4435 335.54/335.75 c 2380 1289127 32423234 8839490 742 1296 2513 3103 2648 337.04/337.28 c 2390 1293832 32591840 8885434 742 1298 2644 3307 2760 338.24/338.46 c 2400 1298589 32686517 8914319 742 1302 3571 3947 3448 339.45/339.67 c 2410 1303091 32795270 8948616 742 1305 3585 4020 3469 340.65/340.85 c 2420 1307587 32896528 8976671 742 1312 2691 4039 3394 342.24/342.49 c 2430 1314222 33048915 9017482 742 1317 2112 6253 4353 343.05/343.21 c 2431 1317239 33089778 9026724 742 1318 3017 3017 1508 344.64/344.86 c 2440 1323731 33261332 9072202 742 1324 2383 5651 4370 345.95/346.13 c 2450 1328433 33362799 9103405 742 1325 2568 2926 2503 347.14/347.38 c 2460 1333363 33472016 9131239 742 1331 2678 4381 3440 348.44/348.70 c 2470 1338204 33596078 9164507 742 1334 2558 4440 3635 350.54/350.71 c 2480 1347537 33791404 9218029 742 1338 6590 9028 7346 352.14/352.38 c 2490 1355003 33926872 9251229 742 1344 3686 6786 5350 353.64/353.84 c 2500 1360208 34075149 9290301 742 1352 3695 4857 4074 355.04/355.25 c 2510 1365704 34204495 9328278 742 1355 4039 4881 4316 357.04/357.21 c 2520 1370526 34491322 9409591 742 1357 3815 4432 3877 358.73/358.93 c 2530 1378385 34635711 9445215 742 1365 3539 7006 4923 360.23/360.46 c 2540 1383042 34815989 9493710 742 1368 3540 4343 3743 361.85/362.03 c 2550 1390372 34940013 9524389 742 1373 3796 7232 5616 363.23/363.47 c 2560 1395090 35091314 9563964 742 1376 3649 4433 3896 364.63/364.87 c 2570 1400565 35217622 9597146 742 1380 569 4633 3596 366.24/366.46 c 2580 1408116 35340155 9627772 742 1388 3444 6734 5002 367.63/367.81 c 2590 1413661 35448185 9655795 742 1394 2598 4925 3984 369.03/369.28 c 2600 1419314 35590202 9694110 742 1399 4472 5107 4399 370.64/370.82 c 2610 1424479 35761277 9740392 742 1404 575 4972 3869 372.13/372.36 c 2620 1427282 35981034 9802824 742 1408 815 1874 1187 373.73/373.99 c 2630 1433759 36138838 9843052 742 1414 4831 5846 5035 375.43/375.65 c 2640 1439812 36308245 9887233 742 1418 4437 5104 4300 377.14/377.38 c 2650 1445851 36506749 9942542 742 1422 4607 5323 4643 378.53/378.77 c 2660 1451581 36628034 9973515 742 1426 4987 5335 4706 380.13/380.33 c 2670 1457994 36768715 10009779 742 1432 2673 5719 4334 381.64/381.82 c 2680 1463254 36902866 10050154 742 1434 615 3570 2620 383.03/383.20 c 2690 1468696 37025417 10081439 742 1442 726 5207 3324 384.53/384.78 c 2700 1473948 37201641 10129439 742 1448 727 4937 3201 385.83/386.06 c 2710 1479071 37309436 10155862 742 1456 728 5063 3317 387.32/387.56 c 2720 1484370 37462610 10195962 742 1464 729 5228 3253 388.63/388.86 c 2730 1489489 37574471 10229339 742 1469 730 4678 3425 390.13/390.38 c 2740 1495502 37716611 10268760 742 1475 731 5537 3730 391.62/391.84 c 2750 1500445 37870491 10311066 742 1482 732 4641 3288 392.72/392.92 c 2760 1503378 37988046 10344913 742 1487 733 2038 1524 394.42/394.60 c 2770 1511035 38134536 10383909 742 1492 1679 6773 5404 395.12/395.33 c 2771 1513863 38178901 10393764 742 1493 2828 2828 1414 396.32/396.56 c 2780 1518428 38292443 10426834 742 1499 1593 4344 3236 397.62/397.85 c 2790 1523615 38399129 10457315 742 1503 1595 4103 3221 399.13/399.37 c 2800 1528167 38578941 10506932 742 1509 1397 4438 3433 400.62/400.88 c 2810 1533921 38723602 10545904 742 1514 1379 4849 3690 402.02/402.26 c 2820 1539546 38841454 10580128 742 1517 3670 4395 3753 403.63/403.89 c 2830 1545632 39019974 10630453 742 1523 3828 5670 4902 405.01/405.25 c 2840 1550987 39140835 10666350 742 1527 3882 4726 4034 406.52/406.70 c 2850 1556474 39283706 10705363 742 1533 1105 4894 3900 408.03/408.21 c 2860 1562004 39440722 10750048 742 1541 1106 4983 3922 409.62/409.80 c 2870 1568071 39603625 10792021 742 1550 1108 5782 4648 411.01/411.26 c 2880 1573453 39744898 10830770 742 1557 4110 4907 4116 412.43/412.65 c 2890 1579397 39858350 10861051 742 1562 1166 5488 4457 413.82/414.04 c 2900 1585155 39976056 10892189 742 1568 1167 5544 4508 415.12/415.39 c 2910 1590869 40084528 10921467 742 1576 1168 5584 4428 416.91/417.14 c 2920 1599198 40219162 10955633 742 1584 1169 7756 5259 418.41/418.64 c 2930 1604683 40369514 11001163 742 1591 2909 5010 4117 419.51/419.75 c 2940 1608619 40454191 11028552 742 1592 813 1323 1018 420.32/420.56 c 2950 1610634 40544896 11058419 742 1595 382 1042 715 421.71/422.00 c 2960 1615571 40701352 11103203 742 1603 217 4710 3480 423.32/423.59 c 2970 1620962 40876930 11157719 742 1608 218 4525 3534 424.71/424.96 c 2980 1626143 41005524 11195219 742 1616 219 4839 3408 426.11/426.33 c 2990 1631153 41117930 11225838 742 1620 226 4245 1134 427.50/427.74 c 3000 1637041 41235495 11258478 742 1625 228 4995 3573 429.01/429.22 c 3010 1642950 41369540 11297756 742 1628 2291 5144 4008 430.31/430.58 c 3020 1648618 41485025 11329471 742 1634 2166 4887 3926 431.81/432.05 c 3030 1655327 41601847 11361887 742 1639 5878 6277 5577 433.41/433.60 c 3040 1661491 41730632 11397107 742 1643 213 4988 2741 434.90/435.19 c 3050 1667183 41903691 11445727 742 1650 4148 5254 4412 436.41/436.64 c 3060 1672774 42037346 11485683 742 1653 4220 5167 4376 437.81/438.07 c 3070 1678664 42156150 11520763 742 1655 4673 5205 4572 439.21/439.48 c 3080 1684635 42277060 11553147 742 1660 4123 5587 4744 440.70/440.95 c 3090 1690771 42403946 11588269 742 1667 1811 5664 4422 442.30/442.53 c 3100 1697116 42552340 11628748 742 1672 1812 5335 4424 443.90/444.11 c 3110 1703282 42708775 11673889 742 1675 1813 5294 4357 445.41/445.68 c 3120 1708985 42869454 11720055 742 1679 1814 5148 4301 447.10/447.35 c 3130 1715187 43044482 11770104 742 1681 1798 5000 4143 448.61/448.81 c 3140 1721550 43166182 11801817 742 1686 4977 5734 4956 449.30/449.58 c 3142 1724686 43212473 11812218 742 1688 2741 3135 1958 450.81/451.05 c 3150 1729938 43368263 11855197 742 1691 2742 5004 3802 452.60/452.86 c 3160 1736397 43570878 11918684 742 1694 4833 5351 4575 453.90/454.11 c 3170 1739660 43722866 11962405 742 1697 231 2709 1716 455.20/455.46 c 3180 1745341 43835260 11992452 742 1703 231 5501 4193 456.60/456.81 c 3190 1751311 43940212 12019537 742 1710 232 5735 4256 457.89/458.18 c 3200 1757288 44048151 12048009 742 1716 233 5711 4401 459.70/459.99 c 3210 1765292 44217678 12096861 742 1721 3554 7256 5814 461.50/461.74 c 3220 1772147 44391511 12144937 742 1728 3650 5730 4789 463.10/463.31 c 3230 1779233 44517860 12179074 742 1734 2896 6411 5231 464.69/464.93 c 3240 1785356 44684116 12223426 742 1742 1984 5824 4389 466.50/466.73 c 3250 1792356 44872494 12274967 742 1751 1985 6880 4833 468.19/468.48 c 3260 1798789 45060758 12329482 742 1754 1985 5308 4390 469.60/469.84 c 3270 1802125 45237480 12376856 742 1758 1988 2904 2237 471.39/471.64 c 3280 1808432 45439306 12432002 742 1762 3438 5773 4613 473.29/473.52 c 3290 1814343 45670598 12496232 742 1769 1506 5522 4459 474.89/475.13 c 3300 1820409 45833521 12543067 742 1773 1574 5570 4493 475.88/476.12 c 3310 1823718 45922917 12567431 742 1777 1955 2566 2046 477.69/477.92 c 3320 1829937 46133243 12625525 742 1783 3486 5701 4745 479.29/479.52 c 3330 1837213 46263360 12658422 742 1788 1919 6632 5176 480.98/481.23 c 3340 1845350 46396583 12691200 742 1794 3616 7480 5709 483.09/483.34 c 3350 1854999 46605187 12752460 742 1801 3901 7377 5395 484.99/485.28 c 3360 1861031 46847448 12821868 742 1807 3921 5315 4302 486.58/486.82 c 3370 1866717 46999572 12862782 742 1813 1597 5487 4019 488.08/488.31 c 3380 1871975 47151506 12902403 742 1819 1905 4985 3841 489.29/489.57 c 3390 1875487 47292633 12946333 742 1821 1635 2730 2151 490.68/490.99 c 3400 1881129 47415443 12981525 742 1825 266 4635 3258 491.88/492.15 c 3410 1885904 47502134 13004586 742 1833 268 4420 3230 493.18/493.47 c 3420 1891045 47617734 13037118 742 1840 2064 4756 3679 494.38/494.67 c 3430 1895854 47711994 13063633 742 1846 1547 4561 3357 495.58/495.88 c 3440 1899851 47833374 13098135 742 1852 1547 3230 2371 496.98/497.23 c 3450 1905429 47944941 13127867 742 1859 2226 5151 4057 498.48/498.72 c 3460 1910923 48098646 13174590 742 1867 2227 5173 4042 500.07/500.35 c 3470 1916668 48289158 13227876 742 1874 2239 5443 4403 501.27/501.54 c 3480 1921444 48377506 13252426 742 1878 1671 4243 3239 502.58/502.86 c 3490 1924975 48529277 13299416 742 1880 2029 2515 2028 504.08/504.34 c 3500 1931621 48650649 13331833 742 1887 1673 6197 4564 505.58/505.86 c 3510 1936473 48819445 13380963 742 1892 2109 3713 2930 507.28/507.50 c 3520 1942347 48998976 13436206 742 1898 3530 5085 4318 508.67/508.97 c 3530 1948948 49113230 13467959 742 1904 2972 6414 4984 510.18/510.44 c 3540 1954382 49263699 13507714 742 1908 4006 5251 4609 511.57/511.87 c 3550 1960163 49388127 13543610 742 1915 2327 5190 3946 512.17/512.47 c 3551 1962491 49425152 13552453 742 1916 2328 2328 1164 513.48/513.76 c 3560 1966874 49553065 13588081 742 1920 2101 3098 2417 514.97/515.24 c 3570 1972922 49692435 13624366 742 1927 2897 5558 4320 516.67/516.90 c 3580 1977653 49887317 13678726 742 1931 2123 2964 2407 518.28/518.53 c 3590 1982905 50076864 13737993 742 1935 2111 4335 3440 519.57/519.82 c 3600 1987021 50219299 13780287 742 1941 2126 3783 3000 521.18/521.47 c 3610 1993273 50391925 13834242 742 1942 4890 5337 4672 522.57/522.89 c 3620 1999438 50504129 13867169 742 1947 4857 5479 4758 524.06/524.37 c 3630 2004981 50652113 13913300 742 1950 2890 5333 4463 525.46/525.73 c 3640 2010696 50761951 13942753 742 1958 2904 5337 4453 526.97/527.21 c 3650 2016558 50900546 13982907 742 1960 3959 5353 4587 528.27/528.58 c 3660 2022226 51015820 14014958 742 1965 3324 4984 4099 529.97/530.21 c 3670 2027459 51194281 14066408 742 1968 2536 3416 2798 531.56/531.89 c 3680 2032004 51409110 14125006 742 1971 2555 3522 2957 533.37/533.66 c 3690 2036504 51644514 14193752 742 1972 2590 3004 2625 534.97/535.21 c 3700 2042001 51805923 14241453 742 1976 2715 4245 3499 536.26/536.57 c 3710 2047196 51928444 14278256 742 1979 3745 4265 3791 537.67/538.00 c 3720 2052427 52066914 14314610 742 1985 322 4937 3324 539.76/540.04 c 3730 2058339 52351509 14402383 742 1990 1977 4770 3703 541.16/541.49 c 3740 2063344 52503033 14447186 742 1995 2724 4469 3772 542.86/543.10 c 3750 2069003 52677060 14497266 742 1998 2725 4784 3963 544.37/544.61 c 3760 2074206 52840889 14544711 742 2002 2726 4612 3745 545.96/546.23 c 3770 2079796 53020493 14598411 742 2007 2727 4448 3593 547.36/547.65 c 3780 2085066 53161017 14640671 742 2012 3928 4555 4010 549.25/549.50 c 3790 2090486 53402992 14711287 742 2015 3348 4725 3926 550.56/550.85 c 3800 2095818 53520734 14746274 742 2016 4088 4749 4110 551.76/552.06 c 3810 2099898 53644206 14783477 742 2020 2629 3704 3069 552.96/553.22 c 3820 2104452 53736722 14810490 742 2023 2630 3357 2834 554.46/554.77 c 3830 2109724 53875961 14862701 742 2024 1723 2405 1881 556.15/556.48 c 3840 2114785 54067862 14915180 742 2029 352 4285 2452 557.65/557.90 c 3850 2119987 54207271 14953170 742 2036 350 4484 3268 558.66/558.95 c 3860 2123600 54305722 14980720 742 2044 351 3130 2027 559.66/559.99 c 3870 2127327 54399889 15007555 742 2052 352 3258 2137 560.86/561.19 c 3880 2132184 54495461 15032418 742 2061 353 4699 2931 562.25/562.57 c 3890 2137327 54628641 15067966 742 2069 354 4899 3004 563.45/563.79 c 3900 2142175 54732646 15095938 742 2077 355 4719 3097 564.95/565.20 c 3910 2146815 54880200 15136364 742 2081 358 4096 2973 566.25/566.59 c 3920 2151826 55017674 15174318 742 2088 1201 4511 3591 567.55/567.83 c 3930 2156694 55126480 15205175 742 2092 361 4457 3321 568.95/569.27 c 3940 2162027 55266071 15244139 742 2097 362 4689 3622 570.25/570.59 c 3950 2167297 55383680 15276277 742 2105 363 5153 3794 571.65/571.93 c 3960 2172400 55511650 15311527 742 2109 364 4575 3712 572.86/573.19 c 3970 2177174 55623318 15341061 742 2118 365 4673 3036 574.15/574.41 c 3980 2181928 55729519 15370136 742 2126 366 4599 3097 574.95/575.29 c 3990 2183834 55838737 15402168 742 2131 368 1383 940 576.85/577.18 c 4000 2189871 56060038 15466457 742 2136 368 4827 3715 577.85/578.15 c 4001 2194024 56121664 15480117 742 2137 4153 4153 2076 579.55/579.82 c 4010 2199884 56306394 15529562 742 2141 3692 4944 4063 581.35/581.60 c 4020 2206093 56504069 15583122 742 2145 1755 4830 4001 582.76/583.10 c 4030 2211747 56653587 15623299 742 2151 1756 4996 3910 584.15/584.46 c 4040 2217247 56772895 15654961 742 2154 1757 4873 4063 585.54/585.89 c 4050 2223096 56899576 15687891 742 2159 1758 5202 4160 586.94/587.27 c 4060 2229030 57009632 15717571 742 2164 1759 5173 4214 588.25/588.58 c 4070 2234730 57107688 15743048 742 2170 1760 5296 4191 589.44/589.72 c 4080 2238665 57210883 15773364 742 2176 1830 2924 2231 590.84/591.17 c 4090 2244042 57354445 15812755 742 2180 1762 4825 3909 591.74/592.06 c 4100 2246179 57457151 15842151 742 2184 387 1365 932 593.24/593.50 c 4110 2251923 57584457 15879642 742 2188 2772 4609 3598 594.44/594.72 c 4120 2255823 57710755 15913598 742 2196 2380 3740 2884 595.73/596.09 c 4130 2260498 57852505 15954183 742 2201 1429 3593 2772 597.34/597.68 c 4140 2265278 58041602 16009372 742 2206 1430 3787 2930 598.64/598.98 c 4150 2269728 58175960 16047730 742 2211 1431 3724 2952 599.84/600.13 c 4160 2273874 58278513 16077856 742 2219 1432 3293 2480 601.34/601.60 c 4170 2279429 58418320 16114621 742 2225 1433 4295 3271 602.54/602.89 c 4180 2283997 58544997 16149378 742 2232 1434 4361 3327 603.64/603.99 c 4190 2288062 58636920 16176041 742 2235 1435 3007 2385 605.34/605.65 c 4200 2293183 58840558 16232033 742 2238 1436 4040 3102 606.83/607.19 c 4210 2300052 58958349 16261405 742 2246 451 6466 2916 608.14/608.48 c 4220 2304453 59087936 16296093 742 2253 452 4067 2788 609.83/610.16 c 4230 2309026 59304279 16360266 742 2258 455 3889 2832 611.13/611.45 c 4240 2313740 59427869 16393358 742 2265 1223 4297 3206 612.53/612.82 c 4250 2317366 59602030 16441079 742 2271 1224 3212 2527 613.93/614.27 c 4260 2321188 59790523 16492644 742 2275 1225 3561 2639 615.43/615.77 c 4270 2325236 59976868 16544826 742 2280 1226 3332 2550 616.73/617.08 c 4280 2329707 60111735 16582207 742 2283 1346 3788 3079 617.94/618.24 c 4290 2334174 60209936 16610436 742 2289 2565 4222 3583 619.14/619.44 c 4300 2338807 60314493 16641610 742 2296 2705 4336 3568 620.82/621.18 c 4310 2344105 60508224 16695822 742 2300 2166 3415 2654 622.53/622.88 c 4320 2349520 60690808 16746905 742 2302 2657 3224 2720 623.73/624.01 c 4330 2354138 60779444 16770981 742 2306 3595 4080 3481 625.03/625.39 c 4340 2359119 60917083 16810722 742 2311 3039 4474 3766 626.53/626.84 c 4350 2364487 61061602 16853442 742 2316 3040 4651 3857 627.83/628.16 c 4360 2369139 61190893 16889237 742 2322 2569 4153 3252 629.12/629.48 c 4370 2373148 61342570 16934451 742 2326 2570 3481 2883 630.72/631.03 c 4380 2378232 61512467 16985171 742 2328 2828 3727 3134 631.92/632.23 c 4390 2382274 61638660 17019774 742 2333 2084 3607 2974 633.52/633.80 c 4400 2387620 61814565 17069608 742 2338 2085 4451 3512 635.13/635.45 c 4410 2393227 61999170 17123939 742 2343 1481 4158 3299 636.12/636.47 c 4420 2397029 62085374 17147972 742 2346 2219 3407 2876 637.32/637.68 c 4430 2401453 62193346 17179233 742 2349 3001 3257 2912 638.83/639.13 c 4440 2406844 62326596 17217143 742 2354 2739 3756 3058 640.11/640.46 c 4450 2411621 62454915 17253602 742 2360 2459 3755 3008 641.82/642.18 c 4460 2416522 62670785 17316553 742 2365 2579 4010 3216 643.12/643.47 c 4470 2421442 62785712 17349259 742 2373 2587 4114 3106 644.42/644.77 c 4480 2426485 62898425 17380768 742 2379 1393 4556 3468 646.02/646.34 c 4490 2431684 63081909 17433853 742 2384 1262 4789 3748 647.12/647.40 c 4493 2435890 63162619 17453602 742 2387 3315 4204 2817 648.21/648.55 c 4500 2440567 63254206 17477222 742 2392 3313 4413 3560 650.01/650.31 c 4510 2446488 63461095 17534585 742 2396 3286 4634 3878 651.31/651.65 c 4520 2451550 63586390 17569270 742 2400 3600 4307 3766 652.61/652.93 c 4530 2456318 63713793 17605598 742 2402 4209 4421 3930 654.22/654.51 c 4540 2461110 63902503 17660815 742 2403 3647 3895 3480 655.32/655.69 c 4550 2465597 64008047 17689937 742 2409 1666 4174 3228 656.71/657.07 c 4560 2470681 64138721 17727376 742 2413 1856 4371 3492 658.01/658.33 c 4570 2475242 64261115 17759957 742 2420 2810 4318 3653 659.32/659.63 c 4580 2480721 64360690 17786332 742 2424 2811 4399 3503 660.61/660.97 c 4590 2484926 64510630 17826614 742 2429 1859 3656 2963 662.02/662.32 c 4600 2489408 64651717 17867473 742 2434 1513 3654 2759 663.51/663.88 c 4610 2494439 64832443 17917076 742 2440 1514 4441 3213 664.71/665.04 c 4620 2499161 64924229 17941230 742 2445 2024 4084 3259 665.91/666.26 c 4630 2503659 65037275 17973575 742 2449 2025 3872 3269 667.41/667.72 c 4640 2508287 65210252 18027006 742 2455 2026 3960 3141 668.70/669.06 c 4650 2513015 65349808 18068266 742 2460 2436 4343 3293 670.11/670.43 c 4660 2517733 65501051 18113746 742 2464 2189 4349 3408 671.41/671.79 c 4670 2522376 65649865 18161385 742 2470 3439 4334 3624 672.81/673.17 c 4680 2527147 65794219 18202841 742 2474 3460 3892 3353 674.21/674.51 c 4690 2531121 65951372 18248931 742 2477 3405 3578 3164 675.50/675.85 c 4700 2536100 66083551 18284818 742 2483 3501 4481 3775 676.70/677.03 c 4710 2540630 66186466 18312084 742 2491 1882 4367 3411 678.30/678.67 c 4720 2545778 66388539 18371573 742 2497 2197 4402 3558 679.71/680.06 c 4730 2550051 66554539 18417911 742 2501 2202 4014 3428 681.00/681.38 c 4740 2554911 66679060 18453713 742 2504 2203 4318 3379 682.40/682.74 c 4750 2560519 66793958 18484430 742 2510 2202 4519 3679 683.80/684.18 c 4760 2565430 66953734 18528270 742 2512 2203 4088 3475 685.30/685.66 c 4770 2571435 67086677 18564142 742 2517 2204 4721 3846 686.60/686.97 c 4780 2576288 67216715 18599538 742 2521 2205 4436 3591 688.50/688.84 c 4790 2580820 67473559 18675686 742 2525 2119 3836 3100 689.70/690.00 c 4800 2585533 67569808 18701695 742 2534 1037 4631 3309 691.70/692.03 c 4810 2589642 67872878 18782588 742 2539 1038 3630 2889 693.30/693.63 c 4820 2595139 68049398 18828445 742 2544 1039 4604 3556 694.60/694.97 c 4830 2599454 68195526 18868889 742 2551 1040 3784 2924 695.79/696.15 c 4840 2604012 68297994 18897088 742 2558 1041 4327 3197 697.10/697.50 c 4850 2608558 68439231 18937191 742 2564 1042 4152 3053 698.59/698.98 c 4860 2613188 68604164 18983200 742 2571 1043 3889 2977 700.00/700.35 c 4870 2618563 68728564 19016641 742 2576 1044 4593 3450 701.29/701.65 c 4880 2623514 68853280 19057799 742 2580 1925 4343 3438 704.19/704.52 c 4890 2630286 69270369 19192122 742 2583 2193 3894 2568 705.59/705.95 c 4900 2635334 69406393 19230442 742 2586 2621 3343 2802 706.89/707.26 c 4910 2639617 69545230 19272267 742 2589 2804 3490 2918 708.20/708.53 c 4920 2644397 69659135 19305240 742 2594 3353 4159 3621 709.79/710.12 c 4930 2650339 69811102 19348998 742 2596 3538 3908 3408 711.28/711.66 c 4940 2655384 69983899 19400510 742 2600 3509 3911 3484 712.59/712.99 c 4950 2659979 70118404 19440583 742 2605 3219 3661 3120 714.19/714.56 c 4960 2664786 70303349 19490233 742 2610 2731 4038 3421 715.59/715.92 c 4970 2669794 70432583 19528044 742 2614 2526 3902 3218 717.28/717.63 c 4980 2674615 70655131 19595673 742 2618 1986 4022 3269 718.68/719.04 c 4990 2679027 70815867 19640109 742 2623 2154 4002 3286 721.78/722.16 c 5035 2687874 71243094 19784600 742 2629 3503 3966 3699 731.29/731.64 c 5631 2710974 73165800 20435692 742 2638 1052 5112 4745 761.36/761.71 c 6286 2749072 79541497 22504298 742 2647 222 4811 4121 778.85/779.26 c 7006 2773532 82703627 23985376 742 2653 793 2926 2205 791.65/792.06 c 7798 2799381 85072675 25010961 742 2659 694 4238 3581 819.34/819.76 c 8669 2864867 89799751 26684556 742 2668 434 3872 3109 839.52/839.95 c 9627 2900542 94683534 28491566 742 2679 320 8253 6662 854.51/854.90 c 10680 2930198 97532687 29813337 742 2686 617 3241 2755 886.89/887.37 c 11838 2986602 104193675 31931982 742 2698 969 3478 3041 908.78/909.25 c 13111 3036881 108925823 33843804 742 2708 1229 8359 5980 951.57/952.03 c 14511 3139070 117012067 36771451 742 2719 664 3121 2775 1000.93/1001.46 c 16051 3225487 126940362 40158584 742 2726 572 2557 2361 1041.61/1042.19 c 17745 3330601 134353237 42951329 742 2735 715 5217 3254 1094.29/1094.82 c 19608 3399511 145596928 47043203 742 2747 607 2387 2191 1125.47/1126.00 c 21657 3508593 150373609 49079850 742 2762 531 3513 3155 1179.04/1179.66 c 23910 3643194 159640101 52818521 742 2776 850 3540 2999 1240.01/1240.62 c 26388 3735437 172736020 57739244 742 2791 968 2787 2540 1319.87/1320.54 c 29113 3906969 186027835 62599211 742 2801 1764 2765 2492 1424.02/1424.72 c 32110 4072023 206105248 69752253 742 2811 1512 2877 2545 1490.37/1491.12 c 35406 4232035 219097979 74701950 742 2817 357 2959 2714 1550.62/1551.41 c 39031 4321104 236612378 80814945 742 2832 388 3781 3432 1628.87/1629.71 c 43018 4479242 254692334 88823981 742 2842 690 3021 2695 1717.62/1718.51 c 47403 4713062 274093800 95388211 742 2862 427 2526 2409 1852.63/1853.67 c 52226 5115407 302667110 106099348 742 2878 591 4177 3470 1984.35/1985.47 c 57531 5610309 328666545 115728773 742 2895 592 4722 3983 2084.69/2085.89 c 63366 5846354 349379868 123755001 742 2909 954 3460 3122
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-4242551-1500658580/watcher-4242551-1500658580 -o /tmp/evaluation-result-4242551-1500658580/solver-4242551-1500658580 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500648173-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242551-1500658580.xml pid=11209 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 3/242 11212 /proc/meminfo: memFree=28630816/32770624 swapFree=5680/195436 [pid=11212] ppid=11209 vsize=27384 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 1041 0 0 0 1 0 0 0 20 0 1 0 1124366 28041216 868 33554432000 4194304 5970956 140729146696512 140729146693160 140524703714277 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 6846 868 698 434 0 210 0 [startup+0.100153 s] /proc/loadavg: 2.00 2.01 2.05 3/242 11212 /proc/meminfo: memFree=28630816/32770624 swapFree=5680/195436 [pid=11212] ppid=11209 vsize=33440 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 2563 0 0 0 9 0 0 0 20 0 1 0 1124366 34242560 2375 33554432000 4194304 5970956 140729146696512 140729146691736 140524703714277 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 8360 2375 704 434 0 1724 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33440 [startup+0.200339 s] /proc/loadavg: 2.00 2.01 2.05 3/242 11212 /proc/meminfo: memFree=28630816/32770624 swapFree=5680/195436 [pid=11212] ppid=11209 vsize=39708 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 4124 0 0 0 19 0 0 0 20 0 1 0 1124366 40660992 3959 33554432000 4194304 5970956 140729146696512 140729146693112 5674736 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 9927 3959 713 434 0 3291 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 39708 [startup+0.300298 s] /proc/loadavg: 2.00 2.01 2.05 3/242 11212 /proc/meminfo: memFree=28630816/32770624 swapFree=5680/195436 [pid=11212] ppid=11209 vsize=58572 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 8862 0 0 0 28 1 0 0 20 0 1 0 1124366 59977728 8645 33554432000 4194304 5970956 140729146696512 140729146693112 5674146 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 14643 8645 735 434 0 8007 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 58572 [startup+0.700264 s] /proc/loadavg: 2.00 2.01 2.05 3/242 11212 /proc/meminfo: memFree=28630816/32770624 swapFree=5680/195436 [pid=11212] ppid=11209 vsize=433556 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 102585 0 0 0 57 12 0 0 20 0 1 0 1124366 443961344 102415 33554432000 4194304 5970956 140729146696512 140729146690376 140524703762336 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 108389 102415 735 434 0 101753 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 433556 [startup+1.50026 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11213 /proc/meminfo: memFree=27748428/32770624 swapFree=5680/195436 [pid=11212] ppid=11209 vsize=1244920 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 304372 0 0 0 112 37 0 0 20 0 1 0 1124366 1274798080 304622 33554432000 4194304 5970956 140729146696512 140729146693768 5327850 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 311230 304622 761 434 0 304594 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1244920 [startup+3.10027 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11213 /proc/meminfo: memFree=27412060/32770624 swapFree=5680/195436 [pid=11212] ppid=11209 vsize=1291568 CPUtime=3.08 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 326790 0 0 0 269 39 0 0 20 0 1 0 1124366 1322565632 316237 33554432000 4194304 5970956 140729146696512 140729146693480 4908311 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 322892 316237 781 434 0 316256 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1291568 [startup+6.30026 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11213 /proc/meminfo: memFree=26995980/32770624 swapFree=5680/195436 [pid=11212] ppid=11209 vsize=1812204 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 511057 0 0 0 570 59 0 0 20 0 1 0 1124366 1855696896 438941 33554432000 4194304 5970956 140729146696512 140729146693352 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 453051 438941 784 434 0 446415 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1812204 [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11213 /proc/meminfo: memFree=26658484/32770624 swapFree=5680/195436 [pid=11212] ppid=11209 vsize=2142948 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 718192 0 0 0 1193 75 0 0 20 0 1 0 1124366 2194378752 513551 33554432000 4194304 5970956 140729146696512 140729146693352 5044852 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 535737 513551 784 434 0 529101 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 2142948 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11213 /proc/meminfo: memFree=26351756/32770624 swapFree=5680/195436 [pid=11212] ppid=11209 vsize=2383080 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 957400 0 0 0 2453 95 0 0 20 0 1 0 1124366 2440273920 568800 33554432000 4194304 5970956 140729146696512 140729146693848 5337492 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 595770 568800 784 434 0 589134 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 2383080 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11213 /proc/meminfo: memFree=26304068/32770624 swapFree=5680/195616 [pid=11212] ppid=11209 vsize=2434396 CPUtime=51.07 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 1102546 0 0 0 4999 108 0 0 20 0 1 0 1124366 2492821504 581389 33554432000 4194304 5970956 140729146696512 140729146693848 5272627 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 608599 581389 784 434 0 601963 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 2434396 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11214 /proc/meminfo: memFree=26255568/32770624 swapFree=5680/195616 [pid=11212] ppid=11209 vsize=2486736 CPUtime=102.25 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 1294423 0 0 0 10103 122 0 0 20 0 1 0 1124366 2546417664 593370 33554432000 4194304 5970956 140729146696512 140729146693848 5093396 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 621684 593370 784 434 0 615048 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 2486736 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11215 /proc/meminfo: memFree=26250220/32770624 swapFree=5680/195808 [pid=11212] ppid=11209 vsize=2491156 CPUtime=162.22 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 1434139 0 0 0 16088 134 0 0 20 0 1 0 1124366 2550943744 594655 33554432000 4194304 5970956 140729146696512 140729146693848 5337501 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 622789 594655 784 434 0 616153 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 2491156 [startup+222.308 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11224 /proc/meminfo: memFree=26247128/32770624 swapFree=5680/195808 [pid=11212] ppid=11209 vsize=2498336 CPUtime=222.2 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 1556991 0 0 0 22078 142 0 0 20 0 1 0 1124366 2558296064 595112 33554432000 4194304 5970956 140729146696512 140729146693848 5136587 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 624584 595112 784 434 0 617948 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 2498336 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11225 /proc/meminfo: memFree=26242816/32770624 swapFree=5680/196008 [pid=11212] ppid=11209 vsize=2498336 CPUtime=282.17 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 1688029 0 0 0 28066 151 0 0 20 0 1 0 1124366 2558296064 596314 33554432000 4194304 5970956 140729146696512 140729146693848 5337501 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 624584 596314 784 434 0 617948 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 2498336 [startup+342.3 s] /proc/loadavg: 2.05 2.03 2.05 3/244 11226 /proc/meminfo: memFree=26240692/32770624 swapFree=5680/196008 [pid=11212] ppid=11209 vsize=2510012 CPUtime=342.14 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 1809505 0 0 0 34054 160 0 0 20 0 1 0 1124366 2570252288 596802 33554432000 4194304 5970956 140729146696512 140729146693848 5093396 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 627503 596802 784 434 0 620867 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 2510012 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.05 3/244 11227 /proc/meminfo: memFree=26236524/32770624 swapFree=5680/196196 [pid=11212] ppid=11209 vsize=2510012 CPUtime=402.12 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 1946685 0 0 0 40041 171 0 0 20 0 1 0 1124366 2570252288 597882 33554432000 4194304 5970956 140729146696512 140729146693848 5337501 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 627503 597882 784 434 0 620867 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 2510012 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.05 3/244 11228 /proc/meminfo: memFree=26232284/32770624 swapFree=5680/196300 [pid=11212] ppid=11209 vsize=2510012 CPUtime=462.1 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 2071925 0 0 0 46028 182 0 0 20 0 1 0 1124366 2570252288 598912 33554432000 4194304 5970956 140729146696512 140729146693848 5337492 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 627503 598912 784 434 0 620867 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 2510012 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11229 /proc/meminfo: memFree=26229872/32770624 swapFree=5680/196404 [pid=11212] ppid=11209 vsize=2510012 CPUtime=522.07 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 2204535 0 0 0 52015 192 0 0 20 0 1 0 1124366 2570252288 599425 33554432000 4194304 5970956 140729146696512 140729146693848 5337492 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 627503 599425 784 434 0 620867 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 2510012 [startup+582.3 s] /proc/loadavg: 2.04 2.03 2.05 3/243 11230 /proc/meminfo: memFree=26227956/32770624 swapFree=5680/196404 [pid=11212] ppid=11209 vsize=2528980 CPUtime=582.05 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 2310233 0 0 0 58004 201 0 0 20 0 1 0 1124366 2589675520 599918 33554432000 4194304 5970956 140729146696512 140729146693848 5337524 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 599918 784 434 0 625609 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 2528980 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.04 2.03 2.05 3/243 11285 /proc/meminfo: memFree=26217536/32770624 swapFree=5680/197176 [pid=11212] ppid=11209 vsize=2528980 CPUtime=1541.54 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3422094 0 0 0 153880 274 0 0 20 0 1 0 1124366 2589675520 602057 33554432000 4194304 5970956 140729146696512 140729146693848 5044845 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602057 784 434 0 625609 0 Current children cumulated CPU time (s) 1541.54 Current children cumulated vsize (KiB) 2528980 [startup+1602.3 s] /proc/loadavg: 2.09 2.04 2.05 3/243 11352 /proc/meminfo: memFree=29615760/32770624 swapFree=5680/197296 [pid=11212] ppid=11209 vsize=2528980 CPUtime=1601.48 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3482785 0 0 0 159870 278 0 0 20 0 1 0 1124366 2589675520 602057 33554432000 4194304 5970956 140729146696512 140729146693848 5337501 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602057 784 434 0 625609 0 Current children cumulated CPU time (s) 1601.48 Current children cumulated vsize (KiB) 2528980 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.05 3/243 11353 /proc/meminfo: memFree=29615540/32770624 swapFree=5680/197340 [pid=11212] ppid=11209 vsize=2528980 CPUtime=1661.45 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3531874 0 0 0 165863 282 0 0 20 0 1 0 1124366 2589675520 602057 33554432000 4194304 5970956 140729146696512 140729146693848 5136608 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602057 784 434 0 625609 0 Current children cumulated CPU time (s) 1661.45 Current children cumulated vsize (KiB) 2528980 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 11354 /proc/meminfo: memFree=29615640/32770624 swapFree=5680/197352 [pid=11212] ppid=11209 vsize=2528980 CPUtime=1721.4 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3590152 0 0 0 171855 285 0 0 20 0 1 0 1124366 2589675520 602057 33554432000 4194304 5970956 140729146696512 140729146693848 5337472 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602057 784 434 0 625609 0 Current children cumulated CPU time (s) 1721.4 Current children cumulated vsize (KiB) 2528980 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 11355 /proc/meminfo: memFree=29615368/32770624 swapFree=5680/197392 [pid=11212] ppid=11209 vsize=2528980 CPUtime=1781.38 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3605668 0 0 0 177851 287 0 0 20 0 1 0 1124366 2589675520 602057 33554432000 4194304 5970956 140729146696512 140729146693848 5044849 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602057 784 434 0 625609 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (KiB) 2528980 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11356 /proc/meminfo: memFree=29616388/32770624 swapFree=5680/197428 [pid=11212] ppid=11209 vsize=2528980 CPUtime=1841.33 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3619119 0 0 0 183845 288 0 0 20 0 1 0 1124366 2589675520 602057 33554432000 4194304 5970956 140729146696512 140729146693848 5046951 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602057 784 434 0 625609 0 Current children cumulated CPU time (s) 1841.33 Current children cumulated vsize (KiB) 2528980 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11357 /proc/meminfo: memFree=29616272/32770624 swapFree=5680/197468 [pid=11212] ppid=11209 vsize=2528980 CPUtime=1901.29 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3681116 0 0 0 189838 291 0 0 20 0 1 0 1124366 2589675520 602057 33554432000 4194304 5970956 140729146696512 140729146693848 5045211 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602057 784 434 0 625609 0 Current children cumulated CPU time (s) 1901.29 Current children cumulated vsize (KiB) 2528980 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11358 /proc/meminfo: memFree=29616112/32770624 swapFree=5680/197536 [pid=11212] ppid=11209 vsize=2528980 CPUtime=1961.27 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3690962 0 0 0 195834 293 0 0 20 0 1 0 1124366 2589675520 602057 33554432000 4194304 5970956 140729146696512 140729146693848 5136560 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602057 784 434 0 625609 0 Current children cumulated CPU time (s) 1961.27 Current children cumulated vsize (KiB) 2528980 [startup+2022.3 s] /proc/loadavg: 2.05 2.03 2.05 3/245 11368 /proc/meminfo: memFree=29613176/32770624 swapFree=5680/197552 [pid=11212] ppid=11209 vsize=2528980 CPUtime=2021.22 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3742504 0 0 0 201826 296 0 0 20 0 1 0 1124366 2589675520 602569 33554432000 4194304 5970956 140729146696512 140729146693848 5136587 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602569 784 434 0 625609 0 Current children cumulated CPU time (s) 2021.22 Current children cumulated vsize (KiB) 2528980 [startup+2082.3 s] /proc/loadavg: 2.02 2.02 2.05 3/245 11369 /proc/meminfo: memFree=29612852/32770624 swapFree=5680/197600 [pid=11212] ppid=11209 vsize=2528980 CPUtime=2081.2 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3748326 0 0 0 207823 297 0 0 20 0 1 0 1124366 2589675520 602569 33554432000 4194304 5970956 140729146696512 140729146693848 5045960 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602569 784 434 0 625609 0 Current children cumulated CPU time (s) 2081.2 Current children cumulated vsize (KiB) 2528980 [startup+2142.3 s] /proc/loadavg: 2.01 2.02 2.05 3/245 11370 /proc/meminfo: memFree=29612716/32770624 swapFree=5680/197636 [pid=11212] ppid=11209 vsize=2528980 CPUtime=2141.15 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3808685 0 0 0 213814 301 0 0 20 0 1 0 1124366 2589675520 602581 33554432000 4194304 5970956 140729146696512 140729146693848 5136587 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602581 784 434 0 625609 0 Current children cumulated CPU time (s) 2141.15 Current children cumulated vsize (KiB) 2528980 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/245 11371 /proc/meminfo: memFree=29613212/32770624 swapFree=5680/197672 [pid=11212] ppid=11209 vsize=2528980 CPUtime=2201.13 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3830793 0 0 0 219810 303 0 0 20 0 1 0 1124366 2589675520 602587 33554432000 4194304 5970956 140729146696512 140729146693848 5044849 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602587 784 434 0 625609 0 Current children cumulated CPU time (s) 2201.13 Current children cumulated vsize (KiB) 2528980 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/245 11372 /proc/meminfo: memFree=29613276/32770624 swapFree=5680/197736 [pid=11212] ppid=11209 vsize=2528980 CPUtime=2261.09 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3842591 0 0 0 225804 305 0 0 20 0 1 0 1124366 2589675520 602587 33554432000 4194304 5970956 140729146696512 140729146693848 5044849 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602587 784 434 0 625609 0 Current children cumulated CPU time (s) 2261.09 Current children cumulated vsize (KiB) 2528980 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/245 11373 /proc/meminfo: memFree=29613040/32770624 swapFree=5680/197740 [pid=11212] ppid=11209 vsize=2528980 CPUtime=2321.06 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3854147 0 0 0 231799 307 0 0 20 0 1 0 1124366 2589675520 602600 33554432000 4194304 5970956 140729146696512 140729146693848 5136634 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602600 784 434 0 625609 0 Current children cumulated CPU time (s) 2321.06 Current children cumulated vsize (KiB) 2528980 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11374 /proc/meminfo: memFree=29613020/32770624 swapFree=5680/197780 [pid=11212] ppid=11209 vsize=2528980 CPUtime=2381.02 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3874867 0 0 0 237793 309 0 0 20 0 1 0 1124366 2589675520 602600 33554432000 4194304 5970956 140729146696512 140729146693848 5337501 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602600 784 434 0 625609 0 Current children cumulated CPU time (s) 2381.02 Current children cumulated vsize (KiB) 2528980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11374 /proc/meminfo: memFree=29612632/32770624 swapFree=5680/197780 [pid=11212] ppid=11209 vsize=2528980 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3881687 0 0 0 239692 310 0 0 20 0 1 0 1124366 2589675520 602611 33554432000 4194304 5970956 140729146696512 140729146693848 5337509 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602611 784 434 0 625609 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 2528980 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 11212 sig 9 ??? kill -11212 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2401.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11374 /proc/meminfo: memFree=29612632/32770624 swapFree=5680/197780 [pid=11212] ppid=11209 vsize=2528980 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15 /proc/11212/stat : 11212 (cosoco) R 11209 11212 9818 0 -1 4202496 3881687 0 0 0 239692 310 0 0 20 0 1 0 1124366 2589675520 602611 33554432000 4194304 5970956 140729146696512 140729146693848 5337509 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 16814080 140729146705084 140729146705219 140729146705219 140729146707918 0 /proc/11212/statm: 632245 602611 784 434 0 625609 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 2528980 Child status: 1 Real time (s): 2401.37 CPU time (s): 2400.09 CPU user time (s): 2396.93 CPU system time (s): 3.16139 CPU usage (%): 99.9467 Max. virtual memory (cumulated for all children) (KiB): 2528980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.93 system time used= 3.16139 maximum resident set size= 2410492 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3881718 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= 103 involuntary context switches= 120714 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.7567 second user time and 11.9457 second system time The end
Begin job on node140 at 2017-07-21 19:36:20 IDJOB=4242551 IDBENCH=134763 IDSOLVER=2621 FILE ID=node140/4242551-1500658580 RUNJOBID= node140-1500648173-9851 PBS_JOBID= 20623280 Free space on /tmp= 61856 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spng/Pb-NG-K145.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242551-1500658580/watcher-4242551-1500658580 -o /tmp/evaluation-result-4242551-1500658580/solver-4242551-1500658580 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500648173-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242551-1500658580.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 5e6b89adf4cff092dc7bbd8ab430815e RANDOM SEED=192174584 node140.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.36 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.36 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.36 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.36 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.36 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 : 1733.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.36 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.36 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 : 2133.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.36 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 : 1733.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: 28630920 kB MemAvailable: 28627004 kB Buffers: 38980 kB Cached: 267248 kB SwapCached: 0 kB Active: 3548416 kB Inactive: 204252 kB Active(anon): 3449000 kB Inactive(anon): 8816 kB Active(file): 99416 kB Inactive(file): 195436 kB Unevictable: 5680 kB Mlocked: 5680 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3400 kB Writeback: 0 kB AnonPages: 3341184 kB Mapped: 32120 kB Shmem: 8852 kB Slab: 65856 kB SReclaimable: 34132 kB SUnreclaim: 31724 kB KernelStack: 4288 kB PageTables: 11968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3937544 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1888256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61852 MiB End job on node140 at 2017-07-21 20:16:21