| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.02 | 2400.6 |
| Name | PseudoBoolean/PseudoBoolean-dec-pigeon/ Pb-pigeon-card-085-080.xml |
| MD5SUM | 28cd33bc142e306671660e6b259caafc |
| 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 | 6800 |
| Number of constraints | 165 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":6800}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2 |
| Distribution of variable degrees | [{"degree":2,"count":6800}] |
| Minimum constraint arity | 80 |
| Maximum constraint arity | 85 |
| Distribution of constraint arities | [{"arity":80,"count":85},{"arity":85,"count":80}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":165}] |
| Optimization problem | NO |
| Type of objective |
0.09/0.14 c SAT : Variables: 13600 -- Clauses: 13600 0.19/0.24 c root propagations : 0 0.19/0.24 c restarts enabled, print stats at every restarts 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c This is cosoco 1.0 -- 0.19/0.24 c 0.19/0.24 c ========================================[ Problem Statistics ]=========================================== 0.19/0.24 c | 0.19/0.24 c | Parse time : 0.13 s 0.19/0.24 c | 0.19/0.24 c | Variables: 6800 0.19/0.24 c | Domain Sizes: 2..2 0.19/0.24 c | 0.19/0.24 c | Constraints: 165 0.19/0.24 c | Arity: 80..85 0.19/0.24 c | 0.19/0.24 c | Types: 0.19/0.24 c | Sum: 165 0.19/0.24 c | 0.19/0.24 c ========================================================================================================= 0.19/0.24 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.48/0.55 c 10 6744 16428 9767 0 1 6713 6727 6106 0.78/0.88 c 20 13513 33984 21835 0 3 786 6743 3412 1.10/1.18 c 30 19421 49517 34692 0 5 5836 5860 5315 1.39/1.48 c 40 25061 64643 48356 0 6 5592 5612 5088 1.69/1.78 c 50 31220 79840 58580 0 7 6137 6141 5580 2.08/2.10 c 60 37552 95412 69314 0 9 6245 6309 5723 2.39/2.42 c 70 43981 111203 79404 0 11 6364 6394 5791 2.68/2.74 c 80 50522 127703 90381 0 12 6462 6524 5886 2.99/3.07 c 90 57123 144788 103873 0 14 6558 6564 5964 3.29/3.39 c 100 63794 161556 117389 0 16 6611 6631 6022 3.69/3.70 c 101 70003 176439 126598 0 17 6209 6209 3104 3.99/4.01 c 110 75907 193296 141379 0 18 5813 5870 5261 4.29/4.30 c 120 80517 205584 150916 0 19 4586 4592 4171 4.59/4.60 c 130 86399 221097 163375 0 22 3092 5827 5036 4.79/4.89 c 140 91278 234726 174728 0 23 4805 4817 4373 5.08/5.16 c 150 95657 247795 185175 0 25 4304 4337 3920 5.38/5.41 c 160 99720 259958 195179 0 26 3992 4007 3635 5.59/5.66 c 170 103474 273119 206873 0 28 3175 3671 3197 5.88/5.93 c 180 108217 286137 216905 0 30 4387 4684 4147 6.09/6.19 c 190 112445 297564 225614 0 32 3860 4196 3778 6.39/6.46 c 200 117196 311300 237203 0 35 3916 4667 3901 6.70/6.76 c 210 123064 326169 248558 0 37 5453 5529 4987 6.99/7.00 c 211 126855 335620 254317 0 38 3791 3791 1895 7.19/7.24 c 220 130733 346577 262688 0 40 3805 3825 3432 7.39/7.49 c 230 134318 360156 274819 0 42 3386 3423 3094 7.69/7.79 c 240 140030 374853 286727 0 45 3829 5447 4658 7.98/8.06 c 250 144498 387177 296814 0 47 4370 4415 4000 8.29/8.34 c 260 148831 401306 309678 0 51 3851 4254 3823 8.49/8.59 c 270 152974 412647 318494 0 52 4073 4088 3707 8.80/8.85 c 280 157364 425235 329345 0 54 2969 4293 3655 9.08/9.11 c 290 161595 437688 339073 0 56 4156 4170 3785 9.28/9.39 c 300 166689 450879 348837 0 59 3973 5053 4486 9.58/9.66 c 310 171475 463563 358097 0 60 4738 4747 4311 9.89/9.95 c 320 176764 477366 368113 0 63 4650 5205 4614 10.18/10.20 c 330 180362 490060 381648 0 66 3282 3379 3020 10.38/10.40 c 332 183416 497617 386564 0 68 1549 3052 1533 10.58/10.66 c 340 187902 509888 396140 0 69 4323 4357 3860 10.88/10.95 c 350 193287 524937 407804 0 73 3238 5290 3849 11.18/11.21 c 360 197427 537625 418158 0 75 3931 4010 3607 11.38/11.45 c 370 201174 548412 426435 0 78 2872 3631 3209 11.68/11.73 c 380 206143 561994 436511 0 79 4882 4913 4445 11.88/11.95 c 390 209473 572280 445061 0 80 3120 3155 2852 12.19/12.21 c 400 213856 584596 454335 0 82 4179 4218 3815 12.48/12.50 c 410 219259 599083 465244 0 85 3607 5267 4128 12.68/12.79 c 420 224618 613001 474854 0 88 4808 5200 4673 12.98/13.04 c 430 228324 624439 485023 0 89 3485 3521 3184 13.30/13.33 c 440 233800 638688 495532 0 92 4883 5207 4687 13.58/13.63 c 450 239524 653656 507065 0 94 4171 5318 4593 13.88/13.93 c 460 244903 667291 517027 0 96 5237 5264 4774 14.08/14.16 c 465 248405 676679 523858 0 98 3388 3431 2840 14.39/14.41 c 470 252542 688958 534036 0 99 4026 4079 3378 14.58/14.67 c 480 256784 700829 543552 0 101 3235 4144 3660 14.88/14.91 c 490 260361 711516 553030 0 103 3310 3349 3031 15.09/15.18 c 500 265249 724825 562696 0 107 2384 4830 3999 15.39/15.47 c 510 270103 738533 573162 0 109 3961 4688 3675 15.69/15.73 c 520 274298 751358 584147 0 111 3999 4029 3647 15.99/16.01 c 530 279067 764632 594845 0 115 4608 4668 4224 16.19/16.28 c 540 283609 777175 605864 0 117 4324 4381 3947 16.49/16.57 c 550 288917 791181 616253 0 120 4280 5201 4092 16.78/16.86 c 560 294254 805297 626285 0 121 5232 5257 4773 17.08/17.15 c 570 299445 819042 636525 0 126 4035 4941 4337 17.38/17.44 c 580 304332 833419 648059 0 129 4192 4665 3884 17.69/17.72 c 590 309152 846598 658100 0 131 4623 4651 4214 17.98/18.00 c 600 313877 860184 669649 0 135 3989 4584 3947 18.18/18.27 c 610 318482 872371 680197 0 137 4405 4471 4045 18.48/18.53 c 611 322743 883467 687205 0 138 4261 4261 2130 18.69/18.80 c 620 327186 896296 697077 0 141 3974 4322 3810 18.98/19.06 c 630 331506 908272 706586 0 142 4195 4215 3823 19.28/19.34 c 640 336043 922098 718744 0 145 2977 4399 3770 19.58/19.60 c 650 340452 934518 729374 0 146 4181 4213 3820 19.79/19.87 c 660 344973 946758 738966 0 148 4294 4327 3920 20.08/20.14 c 670 349233 960033 751695 0 152 4016 4079 3683 20.38/20.40 c 680 353346 972561 762166 0 155 3804 3975 3588 20.58/20.65 c 690 357301 984168 772911 0 156 3793 3825 3462 20.89/20.92 c 700 361279 998436 787502 0 158 3567 3667 3306 21.08/21.13 c 710 364250 1007386 795754 0 160 2008 2764 2299 21.28/21.36 c 720 367950 1017916 804540 0 161 3467 3497 3167 21.58/21.61 c 730 372026 1029321 814603 0 162 3859 3891 3527 21.78/21.87 c 740 376289 1041471 823695 0 165 3650 4154 3711 22.08/22.12 c 750 380091 1052671 832761 0 167 3545 3585 3244 22.27/22.35 c 760 384127 1064251 842234 0 169 3435 3868 3359 22.47/22.55 c 770 387430 1073826 850842 0 171 2835 2917 2611 22.67/22.72 c 771 390311 1080879 855214 0 172 2881 2881 1440 22.87/22.95 c 780 394681 1093230 864895 0 175 3189 4263 3610 23.08/23.18 c 790 398700 1104692 873917 0 177 3780 3826 3460 23.38/23.42 c 800 402755 1116339 882710 0 180 2761 3933 3457 23.58/23.63 c 810 406468 1127168 891299 0 181 3528 3552 3219 23.77/23.85 c 820 409975 1138707 901734 0 183 2945 3273 2758 23.97/24.06 c 830 413616 1149353 910303 0 184 3445 3475 3146 24.28/24.33 c 840 419196 1164241 921120 0 189 3039 5499 4357 24.57/24.60 c 850 424767 1179151 931992 0 192 3960 5398 4257 24.77/24.88 c 860 430479 1193824 942934 0 193 5295 5432 4862 25.08/25.15 c 870 436197 1208705 953143 0 194 5511 5534 5025 25.39/25.41 c 880 441278 1221996 962357 0 195 4897 4928 4465 25.58/25.68 c 890 446397 1236482 973753 0 199 3104 4926 3491 25.88/25.95 c 900 451977 1250980 983494 0 201 5441 5493 4979 26.08/26.17 c 910 455668 1261826 992089 0 202 3481 3507 3178 26.39/26.44 c 920 461307 1276651 1002968 0 205 3783 5434 4337 26.68/26.71 c 930 466854 1291233 1013679 0 208 3268 5387 4664 26.88/26.94 c 940 470561 1303484 1024427 0 211 3126 3500 3134 27.08/27.19 c 947 475669 1316881 1033426 0 212 5000 5023 4385 27.38/27.45 c 950 480663 1329854 1041991 0 214 4947 4972 3720 27.68/27.71 c 960 485764 1344034 1053920 0 215 4810 4851 4395 27.88/27.92 c 970 489096 1353818 1062158 0 217 3041 3090 2787 28.08/28.16 c 980 493825 1366408 1071670 0 219 4571 4588 4162 28.38/28.40 c 990 498189 1378492 1080417 0 222 3459 4240 3769 28.59/28.64 c 1000 502573 1390539 1089988 0 224 4156 4204 3809 28.78/28.88 c 1010 506878 1403321 1100881 0 226 4052 4100 3703 29.08/29.11 c 1020 510981 1414742 1109834 0 228 3662 3945 3526 29.28/29.34 c 1030 514978 1425960 1119500 0 230 3274 3834 3425 29.48/29.56 c 1040 518770 1437050 1128625 0 231 3534 3572 3232 29.68/29.78 c 1050 522509 1447864 1137128 0 232 3492 3528 3193 29.88/29.97 c 1060 525670 1456781 1145096 0 233 2838 2895 2605 30.08/30.18 c 1070 529245 1467666 1154194 0 235 2565 3395 2994 30.28/30.38 c 1080 532762 1477314 1161541 0 236 3282 3319 3001 30.48/30.58 c 1090 536001 1487418 1171422 0 237 2898 2952 2664 30.78/30.81 c 1100 539928 1498755 1180284 0 238 3704 3738 3384 30.98/31.01 c 1110 543420 1508732 1188678 0 239 3196 3246 2928 31.18/31.21 c 1120 546655 1517851 1195603 0 242 2603 3019 2686 31.38/31.41 c 1130 549788 1529435 1206117 0 243 2717 2757 2490 31.58/31.62 c 1140 553502 1539966 1214600 0 246 2762 3544 3137 31.78/31.82 c 1141 556909 1548891 1220515 0 247 3407 3407 1703 32.08/32.10 c 1150 562505 1564489 1231636 0 249 2747 5329 2753 32.27/32.32 c 1160 566115 1574532 1239258 0 251 3342 3430 3093 32.47/32.53 c 1170 569558 1584578 1247630 0 254 2808 3280 2882 32.67/32.71 c 1180 572539 1593263 1255476 0 255 2673 2761 2487 32.77/32.89 c 1190 575396 1601922 1262822 0 257 2566 2607 2352 32.98/33.09 c 1200 578618 1612313 1273074 0 259 2079 2889 1990 33.17/33.21 c 1210 580167 1617593 1279185 0 260 1081 1152 1021 33.27/33.39 c 1220 583303 1626515 1286295 0 261 2832 2876 2598 33.47/33.58 c 1230 586422 1635205 1293221 0 262 2796 2841 2565 33.67/33.76 c 1240 589421 1643622 1299984 0 265 2676 2784 2499 33.87/33.94 c 1250 592313 1652804 1308411 0 268 2514 2579 2322 34.08/34.12 c 1260 594959 1662389 1317942 0 269 2308 2387 2132 34.27/34.30 c 1270 597640 1671762 1327156 0 271 2327 2471 2198 34.37/34.46 c 1280 600080 1679560 1334434 0 272 2071 2126 1912 34.57/34.62 c 1290 602651 1687747 1341905 0 273 2201 2257 2031 34.67/34.78 c 1300 605014 1695740 1349059 0 274 2007 2059 1853 34.87/34.93 c 1310 607182 1703160 1356884 0 277 1820 1860 1671 34.97/35.07 c 1320 609266 1710801 1364373 0 279 1694 1783 1581 35.18/35.20 c 1330 611172 1718037 1371093 0 280 1526 1582 1418 35.28/35.38 c 1340 614166 1726570 1377993 0 282 1387 2775 2378 35.47/35.57 c 1350 617023 1735636 1385801 0 283 2524 2572 2321 35.77/35.82 c 1352 622397 1749485 1394712 0 284 5338 5362 3566 36.07/36.10 c 1360 628247 1764712 1405416 0 285 5533 5585 4948 36.27/36.39 c 1370 634506 1780789 1416330 0 288 6013 6051 5489 36.57/36.67 c 1380 640639 1796576 1427099 0 289 5912 5962 5395 36.86/36.96 c 1390 646719 1812390 1438082 0 292 5542 5778 5129 37.16/37.24 c 1400 652453 1827307 1448046 0 293 5571 5610 5076 37.47/37.52 c 1410 658041 1842458 1458897 0 294 5392 5445 4925 37.76/37.80 c 1420 663865 1857696 1469543 0 296 5284 5618 4877 37.96/38.07 c 1430 668950 1871833 1480669 0 298 4814 4861 4402 38.26/38.35 c 1440 674685 1887143 1491630 0 299 5453 5494 4979 38.57/38.62 c 1450 680189 1901631 1501925 0 300 5286 5325 4821 38.76/38.88 c 1460 685033 1914464 1510982 0 303 3301 4677 4108 38.96/39.09 c 1470 688656 1924635 1518626 0 304 3242 3298 2978 39.26/39.34 c 1480 693379 1937545 1528405 0 305 4453 4493 4069 39.58/39.63 c 1490 699682 1954046 1540287 0 308 3371 6080 4700 39.87/39.90 c 1500 705007 1968207 1550593 0 310 5171 5202 4712 40.07/40.18 c 1510 710304 1982793 1561643 0 313 3694 5108 3753 40.37/40.40 c 1520 713927 1993388 1570827 0 315 3203 3269 2948 40.57/40.66 c 1530 719108 2007561 1581823 0 317 4950 4989 4517 40.87/40.95 c 1540 725259 2023777 1593250 0 321 4545 6031 4596 41.06/41.18 c 1550 729010 2034342 1600933 0 322 3361 3416 3084 41.26/41.39 c 1560 732707 2044874 1608618 0 324 3370 3411 3083 41.56/41.64 c 1570 737363 2057485 1618265 0 325 4409 4445 4027 41.77/41.90 c 1580 742358 2070871 1628202 0 327 4752 4820 4365 42.06/42.15 c 1585 747010 2082967 1636626 0 329 4540 4579 3798 42.26/42.37 c 1590 750716 2092856 1643765 0 330 3600 3634 3013 42.46/42.58 c 1600 754336 2103158 1652424 0 331 3228 3287 2966 42.76/42.83 c 1610 759209 2116251 1662274 0 332 4639 4703 4252 42.97/43.08 c 1620 763953 2129209 1672056 0 335 4515 4616 4162 43.16/43.27 c 1630 766900 2138141 1680042 0 336 2477 2542 2288 43.36/43.44 c 1640 769281 2147432 1689307 0 340 1998 2113 1894 43.56/43.62 c 1650 772224 2156002 1697304 0 341 2470 2541 2284 43.66/43.78 c 1660 774491 2163805 1705476 0 343 1738 1882 1648 43.86/43.93 c 1670 776734 2172010 1713822 0 345 1840 1946 1731 43.97/44.08 c 1680 778868 2179982 1721894 0 347 1775 1885 1665 44.16/44.23 c 1690 781113 2187810 1729077 0 348 1753 1826 1634 44.26/44.37 c 1700 783134 2195623 1736672 0 350 1655 1721 1544 44.46/44.51 c 1710 785148 2202952 1744223 0 352 1621 1695 1516 44.66/44.75 c 1720 789770 2215300 1753228 0 353 4364 4401 3984 44.76/44.89 c 1730 791637 2222448 1760426 0 356 1461 1572 1401 44.96/45.03 c 1740 793617 2229417 1767390 0 357 1469 1546 1378 45.17/45.26 c 1750 798121 2241471 1776146 0 359 1349 4310 3638 45.36/45.41 c 1760 800016 2249800 1785018 0 360 1399 1548 1352 45.46/45.54 c 1770 801638 2257692 1793247 0 362 1290 1353 1207 45.67/45.77 c 1780 805966 2269435 1802354 0 365 891 4143 3444 45.97/46.00 c 1790 810063 2281103 1811365 0 368 3798 3881 3506 46.18/46.22 c 1800 813698 2292971 1822120 0 370 3164 3303 2924 46.37/46.42 c 1810 816946 2302759 1830422 0 371 2815 2884 2595 46.57/46.65 c 1820 820995 2314431 1839941 0 374 3713 3769 3409 46.77/46.87 c 1830 824911 2325602 1848951 0 375 3576 3626 3277 46.97/47.07 c 1840 828134 2335140 1857271 0 376 2800 2867 2578 47.17/47.30 c 1841 832279 2345850 1864128 0 377 4145 4145 2072 47.47/47.58 c 1850 838567 2361998 1875026 0 380 4054 6200 5358 47.77/47.83 c 1860 842919 2374938 1885366 0 381 4068 4107 3720 47.97/48.05 c 1870 846763 2385536 1893341 0 382 3502 3550 3211 48.17/48.27 c 1880 850442 2396053 1901912 0 385 3325 3425 3085 48.37/48.47 c 1890 853573 2406625 1911335 0 388 2764 2825 2548 48.57/48.64 c 1900 856282 2415565 1920092 0 389 2407 2496 2234 48.77/48.86 c 1910 859979 2426420 1929099 0 391 2014 3425 2350 48.97/49.01 c 1920 862158 2433821 1936137 0 392 1762 1828 1636 49.07/49.16 c 1930 864254 2441600 1943292 0 394 1191 1743 1209 49.37/49.44 c 1940 870709 2458461 1954986 0 397 3378 6148 3594 49.67/49.73 c 1950 877061 2474681 1965758 0 400 4193 6165 5418 49.97/50.02 c 1960 883265 2490445 1976220 0 402 5996 6043 5470 50.27/50.31 c 1970 889480 2506656 1987350 0 403 5904 5939 5386 50.47/50.60 c 1980 895829 2522784 1997884 0 406 5993 6237 5497 50.77/50.89 c 1990 902174 2538912 2008412 0 407 6210 6236 5653 51.07/51.18 c 2000 908579 2555328 2019260 0 410 5912 6224 5494 51.36/51.47 c 2010 914740 2571182 2030267 0 412 5777 5804 5262 51.67/51.75 c 2020 920606 2586377 2040486 0 414 5403 5692 5121 51.96/52.03 c 2030 926374 2601537 2050923 0 417 5407 5597 4987 52.26/52.31 c 2040 931991 2616322 2061357 0 419 4449 5478 4865 52.46/52.59 c 2050 937650 2631081 2071832 0 420 5406 5450 4937 52.77/52.87 c 2060 943250 2645974 2082384 0 422 5310 5427 4898 53.06/53.14 c 2070 948776 2660540 2092441 0 424 5243 5339 4819 53.36/53.42 c 2080 954214 2675171 2103364 0 426 5222 5288 4789 53.56/53.69 c 2090 959555 2689148 2112882 0 428 4719 5169 4645 53.87/53.96 c 2100 964880 2703371 2123222 0 430 5057 5107 4618 54.16/54.23 c 2110 970088 2717704 2134829 0 432 4953 5015 4538 54.36/54.49 c 2120 975198 2730976 2144083 0 433 4883 4916 4456 54.66/54.74 c 2122 980005 2743171 2151897 0 434 4787 4804 3197 54.86/55.00 c 2130 985047 2756840 2163311 0 436 4681 4727 4182 55.16/55.25 c 2140 989651 2769131 2172518 0 438 4323 4373 3962 55.36/55.49 c 2150 994114 2780965 2181990 0 439 4156 4204 3802 55.66/55.72 c 2160 998046 2792017 2190913 0 440 3533 3577 3232 55.86/55.93 c 2170 1001763 2802262 2199057 0 442 3344 3415 3081 56.07/56.15 c 2180 1005350 2812633 2207686 0 443 3181 3239 2925 56.26/56.35 c 2190 1008664 2822234 2215313 0 445 1663 2845 1658 56.46/56.55 c 2200 1011796 2833434 2225380 0 447 2701 2767 2488 56.66/56.78 c 2210 1015975 2844637 2233722 0 448 3821 3871 3502 56.96/57.04 c 2220 1021010 2857985 2243411 0 449 4751 4803 4337 57.17/57.30 c 2230 1026092 2871545 2253494 0 450 4830 4866 4407 57.46/57.56 c 2240 1030945 2884509 2263441 0 452 4557 4626 4182 57.76/57.81 c 2250 1035644 2897432 2274148 0 453 4281 4357 3926 57.96/58.06 c 2260 1040277 2909977 2283884 0 455 4191 4274 3852 58.16/58.21 c 2270 1042326 2916721 2290684 0 456 1537 1614 1440 58.37/58.44 c 2280 1046700 2928692 2300085 0 458 4006 4089 3682 58.56/58.68 c 2290 1050919 2940136 2309304 0 460 3829 3983 3586 58.86/58.90 c 2300 1054788 2950643 2317306 0 463 3484 3616 3246 59.06/59.14 c 2310 1059294 2963124 2327024 0 466 3470 4305 3477 59.26/59.36 c 2320 1062924 2973209 2335223 0 468 3295 3335 3021 59.47/59.57 c 2330 1066534 2983410 2344001 0 469 3148 3217 2900 59.66/59.77 c 2340 1069864 2993652 2353420 0 470 2903 2993 2686 59.86/59.97 c 2350 1073218 3003702 2361815 0 473 2921 3034 2725 60.06/60.16 c 2360 1076219 3013043 2369860 0 474 2515 2588 2327 60.26/60.35 c 2370 1079101 3022288 2378429 0 476 1844 2502 2047 60.47/60.51 c 2380 1081469 3030744 2386655 0 478 1998 2142 1883 60.57/60.65 c 2390 1083688 3037548 2393556 0 479 1738 1813 1619 60.76/60.85 c 2400 1086930 3047308 2401922 0 480 2809 2945 2611 60.96/61.04 c 2410 1090054 3056864 2410203 0 481 2651 2721 2449 61.16/61.23 c 2420 1092972 3065988 2418159 0 484 2419 2595 2282 61.36/61.41 c 2430 1095864 3075088 2426122 0 485 2385 2460 2210 61.46/61.53 c 2431 1097742 3079524 2428874 0 486 1878 1878 939 61.57/61.70 c 2440 1100381 3088590 2436791 0 489 1727 2407 1886 61.76/61.89 c 2450 1103480 3097993 2445038 0 492 2075 2748 2412 62.06/62.11 c 2460 1107186 3108936 2454048 0 496 2304 3423 2426 62.15/62.29 c 2470 1109878 3117888 2462952 0 498 2304 2364 2125 62.35/62.44 c 2480 1112031 3124742 2469739 0 499 1719 1786 1598 62.55/62.60 c 2490 1114500 3132911 2477043 0 500 2042 2105 1891 62.66/62.77 c 2500 1117143 3141859 2485550 0 502 2263 2361 2091 62.85/62.95 c 2510 1119878 3150459 2493342 0 503 2266 2336 2098 63.05/63.10 c 2520 1122080 3158831 2501468 0 505 1804 1869 1676 63.15/63.24 c 2530 1124192 3165212 2506850 0 508 1325 1818 1588 63.25/63.38 c 2540 1126282 3172626 2513647 0 509 1695 1759 1573 63.45/63.51 c 2550 1128255 3179019 2519080 0 510 1538 1606 1434 63.55/63.64 c 2560 1130159 3185326 2525603 0 511 1476 1543 1377 63.65/63.77 c 2570 1132002 3192043 2532084 0 512 1408 1476 1316 63.86/63.94 c 2580 1134481 3200222 2539487 0 513 2039 2108 1889 64.15/64.22 c 2590 1141082 3217165 2550872 0 517 4799 6381 4944 64.45/64.51 c 2600 1147556 3233502 2561391 0 520 6352 6364 5778 64.75/64.80 c 2610 1153991 3249748 2572085 0 521 6330 6346 5763 65.05/65.10 c 2620 1160518 3266282 2582852 0 523 6223 6349 5679 65.25/65.39 c 2630 1166862 3282498 2593430 0 525 6123 6171 5584 65.55/65.68 c 2640 1173094 3298516 2604119 0 528 5334 6081 5442 65.85/65.97 c 2650 1179293 3314712 2615618 0 531 4430 5908 5165 66.15/66.23 c 2660 1183984 3327833 2625895 0 532 4251 4336 3906 66.45/66.50 c 2670 1189247 3341736 2635486 0 533 4959 5001 4532 66.65/66.77 c 2680 1194814 3356693 2646261 0 535 5351 5396 4879 66.95/67.04 c 2690 1200135 3371031 2656506 0 536 5041 5093 4606 67.25/67.31 c 2700 1205338 3384842 2666099 0 537 4907 4957 4484 67.45/67.59 c 2710 1210702 3399665 2678482 0 541 5097 5136 4647 67.75/67.84 c 2720 1215271 3411901 2687187 0 542 4271 4313 3906 67.95/68.08 c 2730 1219794 3424402 2696842 0 543 4152 4207 3804 68.26/68.34 c 2740 1224710 3437231 2705972 0 544 4607 4649 4212 68.56/68.60 c 2750 1229558 3450105 2715237 0 545 4549 4591 4159 68.76/68.85 c 2760 1234272 3463057 2725012 0 546 4380 4427 4008 68.95/69.09 c 2770 1238513 3475308 2735343 0 548 3833 3933 3530 69.15/69.30 c 2771 1242077 3484409 2741016 0 549 3564 3564 1782 69.45/69.53 c 2780 1245997 3496147 2751172 0 553 3567 3639 3246 69.65/69.76 c 2790 1249987 3507982 2760756 0 556 3482 3575 3208 69.85/69.98 c 2800 1253771 3518420 2768703 0 557 3345 3412 3072 70.15/70.20 c 2810 1257427 3529642 2779175 0 560 3271 3342 3016 70.25/70.40 c 2820 1260919 3539432 2786635 0 561 3033 3099 2794 70.55/70.60 c 2830 1264173 3549300 2795125 0 565 2819 3013 2674 70.65/70.79 c 2840 1267262 3558702 2803113 0 571 2692 2960 2585 70.85/70.99 c 2850 1270363 3569202 2812451 0 574 2621 2780 2480 71.05/71.18 c 2860 1273304 3578234 2820842 0 575 2505 2584 2310 71.25/71.36 c 2870 1276305 3587215 2828936 0 578 2555 2672 2393 71.46/71.54 c 2880 1278884 3597952 2839978 0 580 2215 2309 2052 71.65/71.73 c 2890 1281755 3607355 2848864 0 584 2419 2567 2278 71.85/71.90 c 2900 1284451 3616494 2857256 0 586 2301 2359 2119 71.95/72.07 c 2910 1286941 3626147 2867502 0 587 2109 2192 1957 72.15/72.25 c 2920 1289397 3636293 2878012 0 589 2078 2167 1929 72.35/72.42 c 2930 1291853 3645289 2886466 0 591 2057 2173 1928 72.45/72.56 c 2940 1293969 3651927 2893188 0 592 1708 1769 1586 72.56/72.70 c 2950 1295993 3659344 2900141 0 595 1660 1751 1563 72.75/72.88 c 2960 1298850 3668517 2908150 0 598 1257 2511 2146 72.95/73.06 c 2970 1301635 3677576 2916121 0 601 2015 2465 2172 73.15/73.23 c 2980 1304185 3686674 2925130 0 603 2272 2333 2098 73.25/73.39 c 2990 1306661 3694537 2932128 0 604 2061 2152 1918 73.45/73.56 c 3000 1309293 3703205 2939440 0 606 1951 2284 1845 73.55/73.70 c 3010 1311419 3710725 2946178 0 607 1845 1889 1699 73.75/73.84 c 3020 1313368 3717775 2952740 0 608 1581 1633 1466 73.85/73.97 c 3030 1315292 3724595 2959247 0 609 1551 1606 1440 74.05/74.12 c 3040 1317526 3732088 2966234 0 610 1887 1942 1742 74.15/74.29 c 3050 1320075 3740735 2973900 0 612 1912 2202 1816 74.35/74.43 c 3060 1322212 3748310 2980761 0 613 1772 1828 1640 74.55/74.60 c 3070 1324710 3757331 2989168 0 614 2254 2276 2061 74.65/74.76 c 3080 1327147 3766237 2999169 0 616 2144 2183 1964 74.85/74.93 c 3090 1329523 3774970 3007531 0 617 2071 2113 1907 75.05/75.18 c 3100 1334689 3788665 3017624 0 620 4635 4974 4475 75.35/75.47 c 3110 1340730 3804481 3028777 0 622 5774 5818 5273 75.65/75.75 c 3120 1347233 3820969 3039366 0 623 6421 6437 5848 75.95/76.05 c 3130 1353776 3837672 3050231 0 625 6407 6415 5829 76.25/76.34 c 3140 1360235 3854236 3061130 0 626 6284 6329 5734 76.55/76.63 c 3142 1366638 3870487 3071380 0 627 6380 6380 4253 76.85/76.92 c 3150 1373041 3886759 3081685 0 629 6335 6358 5641 77.15/77.22 c 3160 1379476 3903291 3092556 0 632 4651 6275 5255 77.35/77.49 c 3170 1384367 3916381 3101999 0 634 4573 4632 4191 77.65/77.76 c 3180 1389765 3930904 3112625 0 635 5086 5132 4648 77.95/78.02 c 3190 1394757 3944396 3122403 0 637 4655 4735 4278 78.15/78.28 c 3200 1399558 3958188 3133087 0 639 4378 4444 4020 78.45/78.54 c 3210 1404445 3971145 3142398 0 640 4517 4572 4136 78.75/78.82 c 3220 1410756 3987399 3153253 0 642 6170 6204 5623 79.05/79.11 c 3230 1417013 4003662 3164319 0 645 6115 6179 5584 79.35/79.40 c 3240 1423314 4019805 3175025 0 647 6082 6128 5550 79.55/79.69 c 3250 1429499 4035974 3186269 0 650 5974 6032 5463 79.85/79.98 c 3260 1435637 4052046 3197618 0 653 5896 5973 5400 80.15/80.26 c 3270 1441727 4067769 3208528 0 654 5888 5899 5356 80.45/80.55 c 3280 1447843 4083713 3219568 0 655 5866 5888 5340 80.75/80.84 c 3290 1453798 4099528 3230482 0 657 5738 5766 5228 81.05/81.13 c 3300 1460223 4115917 3241379 0 660 6176 6198 5626 81.35/81.42 c 3310 1466493 4131890 3251793 0 662 6106 6132 5558 81.65/81.70 c 3320 1472659 4147807 3262365 0 663 6000 6026 5465 81.85/81.99 c 3330 1478823 4163837 3273409 0 665 5826 5903 5342 82.14/82.28 c 3340 1484951 4179733 3284290 0 667 5758 5803 5262 82.45/82.57 c 3350 1490865 4195014 3294955 0 669 5702 5758 5206 82.74/82.84 c 3360 1496328 4209253 3304892 0 670 5086 5140 4654 83.04/83.11 c 3370 1501558 4222915 3314405 0 671 4909 4958 4487 83.24/83.39 c 3380 1507367 4238675 3326935 0 674 5501 5571 5031 83.55/83.67 c 3390 1513004 4253164 3337451 0 676 5386 5425 4913 83.85/83.93 c 3400 1518025 4266259 3346775 0 678 4654 4745 4286 84.05/84.19 c 3410 1522932 4279070 3355834 0 679 4565 4613 4173 84.35/84.44 c 3420 1527744 4291695 3364832 0 681 4428 4488 4055 84.55/84.69 c 3430 1532356 4303999 3374497 0 683 4269 4320 3905 84.85/84.94 c 3440 1536891 4316653 3383980 0 690 4140 4413 3908 85.05/85.18 c 3450 1541342 4328618 3392691 0 691 3965 4040 3645 85.35/85.43 c 3460 1545654 4340523 3402059 0 692 3860 3929 3542 85.55/85.66 c 3470 1549864 4352507 3411943 0 694 3700 3773 3392 85.76/85.90 c 3480 1553972 4364042 3421299 0 695 3632 3702 3341 86.05/86.17 c 3490 1559638 4378901 3431878 0 697 5406 5448 4936 86.35/86.44 c 3500 1564870 4393369 3442749 0 701 4904 5059 4552 86.65/86.71 c 3510 1570048 4407292 3452970 0 704 3540 4947 4353 86.86/86.99 c 3520 1576549 4423821 3463821 0 708 3562 6389 5496 87.15/87.28 c 3530 1582660 4439766 3474572 0 711 2062 5875 4975 87.45/87.57 c 3540 1588717 4455723 3485703 0 714 5730 5779 5242 87.75/87.86 c 3550 1594596 4472439 3498372 0 716 5548 5595 5061 88.06/88.13 c 3551 1599957 4486115 3507107 0 717 5361 5361 2680 88.35/88.41 c 3560 1605570 4500640 3516904 0 719 5368 5410 4852 88.55/88.68 c 3570 1611185 4515228 3526812 0 720 5336 5377 4872 88.85/88.96 c 3580 1616741 4529659 3536776 0 721 5262 5307 4806 89.16/89.23 c 3590 1622185 4543873 3546571 0 722 5154 5198 4708 89.45/89.50 c 3600 1627545 4558080 3556863 0 723 5057 5113 4632 89.65/89.77 c 3610 1632755 4571918 3566788 0 726 4912 5000 4517 89.95/90.03 c 3620 1637890 4585455 3576614 0 728 4776 4831 4370 90.16/90.29 c 3630 1642782 4598321 3585845 0 730 4565 4675 4219 90.45/90.56 c 3640 1648037 4612071 3595523 0 731 4919 4969 4497 90.75/90.84 c 3650 1654579 4628642 3606422 0 733 6331 6378 5779 91.05/91.13 c 3660 1661069 4645103 3617269 0 735 6299 6312 5731 91.36/91.43 c 3670 1667491 4661611 3628231 0 737 6270 6281 5706 91.65/91.72 c 3680 1673868 4677995 3639065 0 739 6176 6226 5645 91.95/92.01 c 3690 1680216 4694457 3650203 0 741 4780 6201 5120 92.25/92.31 c 3700 1686556 4710850 3661298 0 744 4764 6122 5076 92.55/92.60 c 3710 1692794 4726842 3671962 0 745 6034 6111 5533 92.85/92.91 c 3720 1699151 4744615 3685030 0 748 1954 6019 2926 92.95/93.07 c 3730 1701178 4752765 3692807 0 749 1621 1731 1532 93.25/93.34 c 3740 1707316 4768506 3703196 0 750 5923 5952 5398 93.55/93.63 c 3750 1713334 4784158 3713934 0 752 5735 5842 5285 93.85/93.91 c 3760 1719250 4799660 3724690 0 754 5567 5737 5176 94.05/94.19 c 3770 1725006 4814905 3735534 0 757 4587 5539 4657 94.35/94.46 c 3780 1729872 4828229 3745306 0 760 4403 4590 4120 94.65/94.71 c 3790 1734522 4841034 3755709 0 761 4165 4243 3827 94.85/94.96 c 3800 1738978 4853400 3765352 0 763 3993 4066 3668 95.15/95.20 c 3810 1743451 4865474 3774991 0 764 4023 4084 3691 95.35/95.44 c 3820 1747715 4877269 3784235 0 767 3818 3993 3584 95.55/95.67 c 3830 1751718 4888716 3793652 0 768 3545 3622 3267 95.85/95.92 c 3840 1756781 4902062 3803491 0 770 4658 4755 4292 96.15/96.20 c 3850 1762612 4917543 3814360 0 772 5512 5576 5033 96.35/96.48 c 3860 1768423 4932656 3824486 0 773 5558 5594 5072 96.65/96.76 c 3870 1774196 4948339 3835490 0 775 5487 5516 5002 96.95/97.05 c 3880 1779970 4963928 3847073 0 777 5355 5406 4890 97.25/97.32 c 3890 1785327 4978475 3857575 0 778 4982 5038 4550 97.55/97.60 c 3900 1790945 4993594 3868615 0 781 5275 5348 4833 97.75/97.88 c 3910 1796430 5008104 3878832 0 783 4931 5219 4638 98.05/98.15 c 3920 1801675 5022416 3889681 0 785 4801 4893 4401 98.35/98.41 c 3930 1806746 5036426 3900492 0 787 4525 4600 4158 98.55/98.69 c 3940 1812225 5051526 3911893 0 789 5125 5201 4691 98.85/98.96 c 3950 1817586 5066173 3923137 0 791 4960 4995 4530 99.15/99.23 c 3960 1822525 5080019 3933784 0 792 4495 4560 4123 99.35/99.48 c 3970 1827060 5093078 3944045 0 797 4068 4270 3790 99.65/99.72 c 3980 1831546 5105231 3953589 0 800 3945 4056 3643 99.85/99.96 c 3990 1835785 5116657 3962037 0 802 3560 3933 3490 100.05/100.19 c 4000 1839889 5127968 3971191 0 805 3679 3891 3460 100.25/100.39 c 4001 1843421 5136872 3976889 0 806 3532 3532 1766 100.55/100.62 c 4010 1847353 5147982 3985954 0 809 3530 3605 3208 100.75/100.84 c 4020 1851189 5158733 3994821 0 811 3322 3434 3074 100.95/101.05 c 4030 1854865 5168630 4002196 0 812 3230 3296 2973 101.15/101.26 c 4040 1858374 5178730 4010432 0 814 3108 3153 2847 101.35/101.46 c 4050 1861654 5188604 4018975 0 820 2800 3065 2673 101.55/101.66 c 4060 1864846 5199306 4029593 0 822 2729 2850 2539 101.75/101.85 c 4070 1867890 5208410 4037478 0 823 2517 2596 2332 101.94/102.01 c 4080 1870482 5215962 4044726 0 824 2046 2130 1906 102.14/102.21 c 4090 1873617 5226073 4054234 0 827 2675 2791 2489 102.25/102.39 c 4100 1876388 5235161 4062342 0 830 2254 2392 2133 102.44/102.56 c 4110 1878998 5242915 4068827 0 831 2082 2163 1937 102.64/102.71 c 4120 1881421 5250067 4075269 0 834 1889 2117 1838 102.74/102.86 c 4130 1883665 5257602 4082147 0 837 1703 1909 1681 102.94/103.07 c 4140 1887265 5267452 4089663 0 838 3085 3162 2847 103.24/103.34 c 4150 1892725 5282099 4100394 0 841 4468 5170 4337 103.54/103.62 c 4160 1898582 5297457 4110993 0 844 3165 5649 4848 103.84/103.90 c 4170 1904365 5312871 4121636 0 846 3089 5581 4599 104.04/104.19 c 4180 1911080 5329945 4132802 0 849 6030 6436 5662 104.34/104.49 c 4190 1917717 5346916 4143871 0 851 6346 6394 5782 104.64/104.78 c 4200 1924178 5363444 4154581 0 852 6314 6345 5753 104.94/105.08 c 4210 1930577 5379826 4165361 0 853 6232 6282 5692 105.24/105.37 c 4220 1936937 5396241 4176317 0 856 6142 6170 5597 105.55/105.66 c 4230 1943229 5412480 4187263 0 859 5617 6116 5456 105.84/105.95 c 4240 1949572 5428789 4198030 0 861 6080 6132 5555 106.14/106.24 c 4250 1955858 5444996 4208949 0 863 6023 6060 5495 106.44/106.53 c 4260 1962083 5461089 4219504 0 865 6049 6081 5510 106.75/106.82 c 4270 1968272 5477320 4230621 0 866 5972 6030 5452 107.04/107.11 c 4280 1974465 5493579 4241688 0 867 5928 5967 5406 107.24/107.39 c 4290 1980511 5509390 4252439 0 868 5841 5873 5321 107.54/107.68 c 4300 1986368 5524586 4262652 0 869 5556 5600 5074 107.85/107.96 c 4310 1992276 5539870 4273767 0 870 5443 5501 4976 108.14/108.24 c 4320 1997809 5554268 4284354 0 871 5208 5260 4760 108.44/108.51 c 4330 2003549 5569331 4295051 0 872 5431 5476 4961 108.64/108.79 c 4340 2008896 5583427 4305489 0 874 5000 5054 4572 108.95/109.06 c 4350 2014402 5598338 4316252 0 880 5149 5383 4827 109.24/109.34 c 4360 2019884 5613335 4327471 0 881 5130 5178 4689 109.54/109.60 c 4370 2024932 5627073 4337634 0 882 4608 4745 4273 109.74/109.86 c 4380 2029776 5640426 4347966 0 885 4458 4559 4101 110.05/110.11 c 4390 2034499 5653106 4357143 0 888 4318 4419 3988 110.24/110.36 c 4400 2039086 5665864 4366898 0 891 4175 4253 3848 110.54/110.61 c 4410 2043529 5677664 4376410 0 892 4032 4095 3699 110.74/110.84 c 4420 2047596 5689715 4386409 0 893 3520 3642 3265 110.94/111.07 c 4430 2051446 5701227 4396429 0 894 3378 3459 3124 111.15/111.28 c 4440 2055179 5711217 4403888 0 895 3230 3303 2978 111.34/111.49 c 4450 2058729 5720724 4411111 0 896 3086 3164 2843 111.54/111.69 c 4460 2062099 5730454 4419321 0 900 2899 3143 2759 111.74/111.89 c 4470 2065192 5740535 4428690 0 903 2602 2688 2423 111.94/112.06 c 4480 2068040 5749102 4436343 0 904 2276 2362 2117 112.14/112.22 c 4490 2070393 5756673 4443175 0 909 1818 2069 1800 112.25/112.39 c 4493 2073294 5764047 4448209 0 911 2815 2897 2141 112.44/112.58 c 4500 2076366 5773055 4455399 0 913 2759 2931 2490 112.64/112.77 c 4510 2079477 5782098 4463048 0 918 2656 2866 2540 112.84/112.96 c 4520 2082574 5790382 4469539 0 920 2608 2683 2408 113.04/113.14 c 4530 2085472 5798635 4476543 0 922 2444 2533 2276 113.24/113.32 c 4540 2088331 5807115 4484154 0 925 2296 2441 2176 113.34/113.49 c 4550 2091082 5815240 4491405 0 927 1901 2346 2031 113.54/113.66 c 4560 2093768 5822706 4498981 0 928 2096 2184 1955 113.74/113.81 c 4570 2096045 5829609 4505973 0 929 1693 1780 1588 113.84/113.97 c 4580 2098672 5837034 4512329 0 930 2026 2117 1892 114.04/114.12 c 4590 2101034 5843836 4518105 0 931 1767 1853 1649 114.14/114.26 c 4600 2103073 5851464 4525259 0 936 1521 1834 1553 114.24/114.40 c 4610 2105105 5858122 4531986 0 938 1435 1586 1370 114.44/114.58 c 4620 2108064 5866417 4538815 0 939 2375 2458 2206 114.64/114.75 c 4630 2110809 5874353 4545423 0 942 2218 2409 2120 114.84/114.98 c 4640 2114968 5885437 4553656 0 943 3665 3743 3373 115.14/115.25 c 4650 2120539 5900229 4564277 0 944 5225 5272 4777 115.34/115.48 c 4660 2124471 5911205 4573395 0 945 3406 3487 3140 115.64/115.75 c 4670 2130071 5926059 4583879 0 950 2348 5443 4451 115.94/116.04 c 4680 2136380 5942375 4595010 0 953 5169 6128 5382 116.24/116.33 c 4690 2142569 5958213 4605545 0 955 5351 6029 5408 116.54/116.62 c 4700 2148793 5974635 4617314 0 957 5877 5922 5365 116.84/116.91 c 4710 2154850 5990134 4627767 0 958 5809 5843 5298 117.04/117.19 c 4720 2160808 6005548 4638097 0 961 5680 5751 5206 117.34/117.49 c 4730 2167609 6023059 4649972 0 963 5523 6481 5374 117.65/117.78 c 4740 2173374 6038481 4660864 0 965 5416 5442 4939 117.94/118.06 c 4750 2178991 6053057 4670759 0 966 5311 5356 4852 118.24/118.33 c 4760 2184591 6067745 4681391 0 968 5221 5279 4769 118.54/118.61 c 4770 2190021 6082033 4691642 0 970 5075 5157 4654 118.75/118.88 c 4780 2195372 6095985 4702156 0 971 4960 5019 4541 119.04/119.13 c 4790 2200206 6108556 4711160 0 972 4437 4492 4062 119.24/119.39 c 4800 2204915 6121346 4720765 0 973 4233 4308 3887 119.54/119.63 c 4810 2209388 6133266 4729383 0 974 3974 4054 3654 119.74/119.86 c 4820 2213661 6144577 4737641 0 975 3805 3878 3498 119.95/120.09 c 4830 2217770 6155452 4745607 0 976 3673 3741 3375 120.24/120.32 c 4840 2221775 6166103 4753603 0 977 3459 3542 3190 120.44/120.53 c 4850 2225439 6176539 4762590 0 981 3139 3323 2969 120.64/120.75 c 4860 2228838 6188517 4773469 0 983 2911 3035 2707 120.84/120.95 c 4870 2232136 6198549 4781918 0 984 2715 2804 2517 121.05/121.15 c 4880 2235351 6207616 4789217 0 986 2656 2744 2461 121.24/121.33 c 4890 2238492 6216347 4796192 0 987 2535 2627 2356 121.44/121.52 c 4900 2241386 6225906 4805314 0 989 2374 2556 2253 121.64/121.70 c 4910 2244178 6235909 4815382 0 993 2105 2345 2049 121.74/121.87 c 4920 2246776 6243236 4821467 0 994 1977 2067 1849 121.94/122.02 c 4930 2249201 6250430 4827587 0 996 1845 2043 1793 122.05/122.17 c 4940 2251402 6258127 4835539 0 998 1615 1792 1561 122.24/122.31 c 4950 2253389 6265046 4842225 0 1000 1551 1596 1431 122.34/122.49 c 4960 2256196 6273451 4849682 0 1003 1324 2339 2008 122.54/122.66 c 4970 2258941 6281307 4856145 0 1004 2130 2220 1988 122.74/122.82 c 4980 2261469 6290173 4864868 0 1005 1958 2049 1822 122.84/122.98 c 4990 2263768 6298684 4873260 0 1007 1730 1820 1619 123.25/123.32 c 5035 2268179 6324669 4906996 0 1012 1392 1834 1671 123.74/123.88 c 5631 2285334 6388856 4983808 0 1021 703 6505 6254 126.24/126.32 c 6286 2339691 6654090 5361703 0 1025 1207 5390 4669 127.23/127.33 c 7006 2360352 6788848 5591217 0 1030 4722 5846 5547 128.43/128.58 c 7798 2395732 6929359 5791976 0 1037 3775 6505 5888 130.84/130.96 c 8669 2458150 7217265 6190225 0 1043 4140 6312 5280 134.14/134.27 c 9627 2532102 7532902 6600890 0 1047 3786 5920 4345 136.13/136.25 c 10680 2575336 7824572 7075259 0 1052 5021 5525 5221 138.54/138.67 c 11838 2599305 8222192 7660350 0 1057 1038 4501 4187 141.83/141.97 c 13111 2650956 8656024 8372359 0 1062 1621 4836 4157 144.53/144.63 c 14511 2676180 8996926 8973247 0 1065 1952 3165 2890 147.53/147.65 c 16051 2699207 9397289 9685152 0 1070 2260 2435 2309 154.42/154.51 c 17745 2800132 9994776 10519668 0 1074 802 5632 2363 158.52/158.65 c 19608 2896987 10467740 11285146 0 1082 964 5407 4391 164.02/164.15 c 21657 2963395 11189629 12485961 0 1086 2292 4625 3062 169.43/169.58 c 23910 2998331 11928201 13738037 0 1088 1784 1967 1844 174.12/174.27 c 26388 3095903 12482040 14666320 0 1099 437 6065 4101 178.32/178.44 c 29113 3249104 13011876 15544187 0 1104 3770 5786 5580 181.83/181.93 c 32110 3285591 13564241 16745455 0 1108 3862 4081 3904 188.92/189.03 c 35406 3464731 14406153 18377051 0 1113 2032 5602 4337 197.22/197.31 c 39031 3703853 15419795 20182393 0 1120 1401 5529 4818 204.32/204.40 c 43018 3840775 16333419 22116447 0 1128 1495 5425 4228 212.42/212.57 c 47403 4069703 17308673 23983217 0 1138 3872 5282 4911 224.01/224.14 c 52226 4347998 18580079 26401768 0 1144 1091 4661 4569 235.42/235.52 c 57531 4537079 20144415 29959620 0 1151 3297 4555 4327 249.51/249.70 c 63366 4716555 21925537 33204140 0 1160 2248 3907 3329 273.40/273.52 c 69784 4954865 25015709 38180474 0 1163 2309 2529 2410 294.99/295.18 c 76843 5212828 27555971 43444786 0 1169 2593 2735 2675 309.89/310.08 c 84607 5571959 29125583 46184049 0 1177 1184 5879 4296 320.69/320.84 c 93147 5764525 30667572 49540508 0 1185 950 4871 4519 332.78/332.93 c 102541 6184395 32297132 52754484 0 1193 3023 5906 5404 352.18/352.35 c 112874 6430821 34966522 57587763 0 1197 3493 3709 3553 391.77/391.97 c 124240 6773696 39451966 65027976 0 1201 1234 1481 1317 411.07/411.23 c 136742 7390390 41784672 69097457 0 1214 1848 5828 5160 434.37/434.58 c 150494 8168927 44374450 73544235 0 1223 2059 5450 5227 460.56/460.71 c 165621 8961173 47306036 79765815 0 1227 4945 5167 5072 490.85/491.07 c 182260 9606859 50694813 88174569 0 1233 4125 4530 4270 520.65/520.81 c 200562 10107659 54343084 96284902 0 1241 1572 4113 3879 565.14/565.39 c 220694 10719656 59292132 108374542 0 1245 2753 2980 2856 602.32/602.51 c 242839 11553147 63635456 116983359 0 1263 852 5976 4391 652.71/652.96 c 267198 12507261 69245785 128898323 0 1273 1631 4219 3980 711.70/711.98 c 293992 13541919 75837475 144010346 0 1279 2184 3708 3606 801.27/801.52 c 323465 15042875 83808853 157299708 0 1287 1398 3856 2969 845.47/845.71 c 355885 15850054 89902513 168135044 0 1301 1701 5010 4588 950.64/950.96 c 391547 17157027 100667119 191983680 0 1306 2152 2584 2280 1133.81/1134.14 c 430775 19947259 112702878 213734035 0 1312 586 1711 1593 1186.70/1187.05 c 473925 21442186 119755062 226669292 0 1323 855 6082 5210 1236.18/1236.56 c 521390 23500667 127479553 239558131 0 1334 1014 6134 5942 1323.65/1324.08 c 573601 26790400 137983619 257855611 0 1343 1581 5986 5472 1438.13/1438.58 c 631033 30744165 151260342 280638929 0 1351 3625 5420 5328 1578.70/1579.14 c 694208 35319501 167355708 311072164 0 1358 4149 5481 5229 1731.17/1731.69 c 763700 40414697 185283100 350131170 0 1365 4811 5424 5322 1869.93/1870.45 c 840141 44447794 201310911 390158307 0 1371 4869 5228 5043 2195.36/2195.97 c 924226 51835986 226539774 439685584 0 1375 3437 3787 3703
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-4242609-1500659915/watcher-4242609-1500659915 -o /tmp/evaluation-result-4242609-1500659915/solver-4242609-1500659915 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500648178-2504 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242609-1500659915.xml pid=4885 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.02 2.05 3/242 4888 /proc/meminfo: memFree=29655396/32770624 swapFree=5792/23208 [pid=4888] ppid=4885 vsize=27248 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 1021 0 0 0 1 0 0 0 20 0 1 0 1258908 27901952 833 33554432000 4194304 5970956 140735582644704 140735582639976 139670007245797 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 6812 833 698 434 0 176 0 [startup+0.100182 s] /proc/loadavg: 2.00 2.02 2.05 3/242 4888 /proc/meminfo: memFree=29655396/32770624 swapFree=5792/23208 [pid=4888] ppid=4885 vsize=34324 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 2827 0 0 0 9 0 0 0 20 0 1 0 1258908 35147776 2644 33554432000 4194304 5970956 140735582644704 140735582641304 5386517 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 8581 2644 734 434 0 1945 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 34324 [startup+0.200352 s] /proc/loadavg: 2.00 2.02 2.05 3/242 4888 /proc/meminfo: memFree=29655396/32770624 swapFree=5792/23208 [pid=4888] ppid=4885 vsize=44384 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 4200 0 0 0 18 1 0 0 20 0 1 0 1258908 45449216 4027 33554432000 4194304 5970956 140735582644704 140735582641960 5327850 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 11096 4027 765 434 0 4460 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 44384 [startup+0.300301 s] /proc/loadavg: 2.00 2.02 2.05 3/242 4888 /proc/meminfo: memFree=29655396/32770624 swapFree=5792/23208 [pid=4888] ppid=4885 vsize=45968 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 4630 0 0 0 28 1 0 0 20 0 1 0 1258908 47071232 4423 33554432000 4194304 5970956 140735582644704 140735582641672 139670007245797 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 11525 4423 781 434 0 4889 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45968 [startup+0.700292 s] /proc/loadavg: 2.00 2.02 2.05 3/242 4888 /proc/meminfo: memFree=29655396/32770624 swapFree=5792/23208 [pid=4888] ppid=4885 vsize=151212 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 30323 0 0 0 65 4 0 0 20 0 1 0 1258908 154841088 30110 33554432000 4194304 5970956 140735582644704 140735582641544 5337487 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 37803 30110 784 434 0 31167 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 151212 [startup+1.5003 s] /proc/loadavg: 2.00 2.02 2.05 3/243 4889 /proc/meminfo: memFree=29495692/32770624 swapFree=5792/23232 [pid=4888] ppid=4885 vsize=211124 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 43143 0 0 0 143 6 0 0 20 0 1 0 1258908 216190976 42915 33554432000 4194304 5970956 140735582644704 140735582642040 4908512 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 52781 42915 784 434 0 46145 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 211124 [startup+3.10024 s] /proc/loadavg: 2.00 2.02 2.05 3/243 4889 /proc/meminfo: memFree=29472384/32770624 swapFree=5792/23192 [pid=4888] ppid=4885 vsize=242040 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 74723 0 0 0 300 9 0 0 20 0 1 0 1258908 247848960 50671 33554432000 4194304 5970956 140735582644704 140735582642040 5337492 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 60510 50671 784 434 0 53874 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 242040 [startup+6.30022 s] /proc/loadavg: 2.00 2.02 2.05 3/243 4889 /proc/meminfo: memFree=29448352/32770624 swapFree=5792/23200 [pid=4888] ppid=4885 vsize=247216 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 105003 0 0 0 617 12 0 0 20 0 1 0 1258908 253149184 51998 33554432000 4194304 5970956 140735582644704 140735582642040 5337492 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 61804 51998 784 434 0 55168 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 247216 [startup+12.7002 s] /proc/loadavg: 2.08 2.03 2.05 3/243 4889 /proc/meminfo: memFree=29447608/32770624 swapFree=5792/23212 [pid=4888] ppid=4885 vsize=247512 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 134841 0 0 0 1255 13 0 0 20 0 1 0 1258908 253452288 52093 33554432000 4194304 5970956 140735582644704 140735582642040 5337492 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 61878 52093 784 434 0 55242 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 247512 [startup+25.5004 s] /proc/loadavg: 2.06 2.03 2.05 3/243 4955 /proc/meminfo: memFree=31944764/32770624 swapFree=5792/23276 [pid=4888] ppid=4885 vsize=247988 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 177746 0 0 0 2531 17 0 0 20 0 1 0 1258908 253939712 52490 33554432000 4194304 5970956 140735582644704 140735582642040 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 61997 52490 784 434 0 55361 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 247988 [startup+51.1004 s] /proc/loadavg: 2.04 2.03 2.05 3/243 4955 /proc/meminfo: memFree=31938604/32770624 swapFree=5792/23308 [pid=4888] ppid=4885 vsize=252788 CPUtime=51.07 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 208563 0 0 0 5088 19 0 0 20 0 1 0 1258908 258854912 53797 33554432000 4194304 5970956 140735582644704 140735582642040 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 63197 53797 784 434 0 56561 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 252788 [startup+102.3 s] /proc/loadavg: 2.02 2.02 2.05 3/244 4964 /proc/meminfo: memFree=31925436/32770624 swapFree=5792/23432 [pid=4888] ppid=4885 vsize=267296 CPUtime=102.25 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 228268 0 0 0 10204 21 0 0 20 0 1 0 1258908 273711104 57071 33554432000 4194304 5970956 140735582644704 140735582642040 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 66824 57071 784 434 0 60188 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 267296 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.05 3/245 4988 /proc/meminfo: memFree=31905096/32770624 swapFree=5792/23532 [pid=4888] ppid=4885 vsize=272784 CPUtime=162.22 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 241976 0 0 0 16200 22 0 0 20 0 1 0 1258908 279330816 61921 33554432000 4194304 5970956 140735582644704 140735582642040 5045760 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 68196 61921 784 434 0 61560 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 272784 [startup+222.308 s] /proc/loadavg: 2.00 2.01 2.05 3/245 4989 /proc/meminfo: memFree=31904156/32770624 swapFree=5792/23612 [pid=4888] ppid=4885 vsize=274488 CPUtime=222.22 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 245516 0 0 0 22199 23 0 0 20 0 1 0 1258908 281075712 62363 33554432000 4194304 5970956 140735582644704 140735582642040 5045857 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 68622 62363 784 434 0 61986 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 274488 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/245 4990 /proc/meminfo: memFree=31904032/32770624 swapFree=5792/23668 [pid=4888] ppid=4885 vsize=274488 CPUtime=282.2 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 248179 0 0 0 28197 23 0 0 20 0 1 0 1258908 281075712 62454 33554432000 4194304 5970956 140735582644704 140735582642040 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 68622 62454 784 434 0 61986 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 274488 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/245 4991 /proc/meminfo: memFree=31902836/32770624 swapFree=5792/23728 [pid=4888] ppid=4885 vsize=287172 CPUtime=342.18 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 251663 0 0 0 34195 23 0 0 20 0 1 0 1258908 294064128 62775 33554432000 4194304 5970956 140735582644704 140735582642040 5045964 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 71793 62775 784 434 0 65157 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 287172 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 4992 /proc/meminfo: memFree=31901964/32770624 swapFree=5792/23788 [pid=4888] ppid=4885 vsize=287332 CPUtime=402.17 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 253784 0 0 0 40194 23 0 0 20 0 1 0 1258908 294227968 63114 33554432000 4194304 5970956 140735582644704 140735582641544 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 71833 63114 784 434 0 65197 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 287332 [startup+462.3 s] /proc/loadavg: 2.04 2.03 2.05 3/243 4993 /proc/meminfo: memFree=31901588/32770624 swapFree=5792/23840 [pid=4888] ppid=4885 vsize=287464 CPUtime=462.16 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 256257 0 0 0 46192 24 0 0 20 0 1 0 1258908 294363136 63148 33554432000 4194304 5970956 140735582644704 140735582642040 5045975 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 71866 63148 784 434 0 65230 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 287464 [startup+522.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 4994 /proc/meminfo: memFree=31901776/32770624 swapFree=5792/23884 [pid=4888] ppid=4885 vsize=287464 CPUtime=522.15 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 258348 0 0 0 52191 24 0 0 20 0 1 0 1258908 294363136 63149 33554432000 4194304 5970956 140735582644704 140735582642040 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 71866 63149 784 434 0 65230 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 287464 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 4995 /proc/meminfo: memFree=31901800/32770624 swapFree=5792/23920 [pid=4888] ppid=4885 vsize=287464 CPUtime=582.13 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 260465 0 0 0 58189 24 0 0 20 0 1 0 1258908 294363136 63153 33554432000 4194304 5970956 140735582644704 140735582642040 5337472 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 71866 63153 784 434 0 65230 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 287464 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.06 2.04 2.05 3/244 5026 /proc/meminfo: memFree=31895360/32770624 swapFree=5792/24496 [pid=4888] ppid=4885 vsize=289228 CPUtime=1481.93 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 282891 0 0 0 148167 26 0 0 20 0 1 0 1258908 296169472 64098 33554432000 4194304 5970956 140735582644704 140735582641544 5045500 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72307 64098 784 434 0 65671 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 289228 [startup+1542.31 s] /proc/loadavg: 2.02 2.03 2.05 3/244 5027 /proc/meminfo: memFree=31893868/32770624 swapFree=5792/24528 [pid=4888] ppid=4885 vsize=289228 CPUtime=1541.92 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 283400 0 0 0 154166 26 0 0 20 0 1 0 1258908 296169472 64103 33554432000 4194304 5970956 140735582644704 140735582641544 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72307 64103 784 434 0 65671 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 289228 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 2.05 3/244 5029 /proc/meminfo: memFree=31894612/32770624 swapFree=5792/24588 [pid=4888] ppid=4885 vsize=289368 CPUtime=1601.9 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 285255 0 0 0 160164 26 0 0 20 0 1 0 1258908 296312832 64134 33554432000 4194304 5970956 140735582644704 140735582641544 5045760 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72342 64134 784 434 0 65706 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 289368 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 5030 /proc/meminfo: memFree=31894628/32770624 swapFree=5792/24620 [pid=4888] ppid=4885 vsize=289368 CPUtime=1661.88 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 285864 0 0 0 166162 26 0 0 20 0 1 0 1258908 296312832 64147 33554432000 4194304 5970956 140735582644704 140735582641544 5136803 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72342 64147 784 434 0 65706 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 289368 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 5031 /proc/meminfo: memFree=31894520/32770624 swapFree=5792/24656 [pid=4888] ppid=4885 vsize=289524 CPUtime=1721.87 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 285893 0 0 0 172161 26 0 0 20 0 1 0 1258908 296472576 64147 33554432000 4194304 5970956 140735582644704 140735582641544 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72381 64147 784 434 0 65745 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 289524 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5033 /proc/meminfo: memFree=31894524/32770624 swapFree=5792/24704 [pid=4888] ppid=4885 vsize=289656 CPUtime=1781.85 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 287845 0 0 0 178159 26 0 0 20 0 1 0 1258908 296607744 64225 33554432000 4194304 5970956 140735582644704 140735582641544 5136634 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72414 64225 784 434 0 65778 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 289656 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5034 /proc/meminfo: memFree=31895136/32770624 swapFree=5792/24740 [pid=4888] ppid=4885 vsize=289656 CPUtime=1841.84 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 287887 0 0 0 184158 26 0 0 20 0 1 0 1258908 296607744 64226 33554432000 4194304 5970956 140735582644704 140735582641544 5311659 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72414 64226 784 434 0 65778 0 Current children cumulated CPU time (s) 1841.84 Current children cumulated vsize (KiB) 289656 [startup+1902.3 s] /proc/loadavg: 2.06 2.03 2.05 3/244 5043 /proc/meminfo: memFree=31893712/32770624 swapFree=5792/24796 [pid=4888] ppid=4885 vsize=289772 CPUtime=1901.82 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 289550 0 0 0 190156 26 0 0 20 0 1 0 1258908 296726528 64250 33554432000 4194304 5970956 140735582644704 140735582642040 5337501 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72443 64250 784 434 0 65807 0 Current children cumulated CPU time (s) 1901.82 Current children cumulated vsize (KiB) 289772 [startup+1962.3 s] /proc/loadavg: 2.06 2.04 2.05 3/244 5044 /proc/meminfo: memFree=31894208/32770624 swapFree=5792/24832 [pid=4888] ppid=4885 vsize=289772 CPUtime=1961.81 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 289565 0 0 0 196155 26 0 0 20 0 1 0 1258908 296726528 64250 33554432000 4194304 5970956 140735582644704 140735582642040 5136570 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72443 64250 784 434 0 65807 0 Current children cumulated CPU time (s) 1961.81 Current children cumulated vsize (KiB) 289772 [startup+2022.3 s] /proc/loadavg: 2.02 2.03 2.05 3/244 5045 /proc/meminfo: memFree=31892828/32770624 swapFree=5792/24872 [pid=4888] ppid=4885 vsize=289772 CPUtime=2021.8 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 290316 0 0 0 202154 26 0 0 20 0 1 0 1258908 296726528 64315 33554432000 4194304 5970956 140735582644704 140735582642040 5337509 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72443 64315 784 434 0 65807 0 Current children cumulated CPU time (s) 2021.8 Current children cumulated vsize (KiB) 289772 [startup+2082.3 s] /proc/loadavg: 2.01 2.03 2.05 3/244 5046 /proc/meminfo: memFree=31892960/32770624 swapFree=5792/24908 [pid=4888] ppid=4885 vsize=289772 CPUtime=2081.79 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 290352 0 0 0 208153 26 0 0 20 0 1 0 1258908 296726528 64315 33554432000 4194304 5970956 140735582644704 140735582642040 5337509 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72443 64315 784 434 0 65807 0 Current children cumulated CPU time (s) 2081.79 Current children cumulated vsize (KiB) 289772 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/244 5047 /proc/meminfo: memFree=31893332/32770624 swapFree=5792/24944 [pid=4888] ppid=4885 vsize=289772 CPUtime=2141.77 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 291053 0 0 0 214151 26 0 0 20 0 1 0 1258908 296726528 64315 33554432000 4194304 5970956 140735582644704 140735582642040 5321413 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72443 64315 784 434 0 65807 0 Current children cumulated CPU time (s) 2141.77 Current children cumulated vsize (KiB) 289772 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 2.05 3/243 5048 /proc/meminfo: memFree=31893488/32770624 swapFree=5792/24984 [pid=4888] ppid=4885 vsize=289772 CPUtime=2201.76 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 291928 0 0 0 220150 26 0 0 20 0 1 0 1258908 296726528 64315 33554432000 4194304 5970956 140735582644704 140735582642040 5045744 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72443 64315 784 434 0 65807 0 Current children cumulated CPU time (s) 2201.76 Current children cumulated vsize (KiB) 289772 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5049 /proc/meminfo: memFree=31892540/32770624 swapFree=5792/25024 [pid=4888] ppid=4885 vsize=289772 CPUtime=2261.74 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 292601 0 0 0 226148 26 0 0 20 0 1 0 1258908 296726528 64315 33554432000 4194304 5970956 140735582644704 140735582642040 5337509 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72443 64315 784 434 0 65807 0 Current children cumulated CPU time (s) 2261.74 Current children cumulated vsize (KiB) 289772 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5050 /proc/meminfo: memFree=31893284/32770624 swapFree=5792/25056 [pid=4888] ppid=4885 vsize=289772 CPUtime=2321.73 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 292637 0 0 0 232147 26 0 0 20 0 1 0 1258908 296726528 64315 33554432000 4194304 5970956 140735582644704 140735582642040 5327847 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72443 64315 784 434 0 65807 0 Current children cumulated CPU time (s) 2321.73 Current children cumulated vsize (KiB) 289772 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5051 /proc/meminfo: memFree=31893656/32770624 swapFree=5792/25088 [pid=4888] ppid=4885 vsize=289772 CPUtime=2381.71 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 293297 0 0 0 238145 26 0 0 20 0 1 0 1258908 296726528 64315 33554432000 4194304 5970956 140735582644704 140735582642040 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72443 64315 784 434 0 65807 0 Current children cumulated CPU time (s) 2381.71 Current children cumulated vsize (KiB) 289772 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5051 /proc/meminfo: memFree=31893656/32770624 swapFree=5792/25096 [pid=4888] ppid=4885 vsize=289772 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15 /proc/4888/stat : 4888 (cosoco) R 4885 4888 2471 0 -1 4202496 293328 0 0 0 239975 26 0 0 20 0 1 0 1258908 296726528 64315 33554432000 4194304 5970956 140735582644704 140735582642040 5046384 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 17367040 140735582647484 140735582647619 140735582647619 140735582650318 0 /proc/4888/statm: 72443 64315 784 434 0 65807 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 289772 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 4888 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.02 CPU user time (s): 2399.75 CPU system time (s): 0.269937 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 289772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.75 system time used= 0.269937 maximum resident set size= 257304 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 293386 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= 50 involuntary context switches= 120824 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.41671 second user time and 10.8057 second system time The end
Begin job on node129 at 2017-07-21 19:58:36 IDJOB=4242609 IDBENCH=135555 IDSOLVER=2621 FILE ID=node129/4242609-1500659915 RUNJOBID= node129-1500648178-2504 PBS_JOBID= 20623291 Free space on /tmp= 61984 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-card-085-080.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242609-1500659915/watcher-4242609-1500659915 -o /tmp/evaluation-result-4242609-1500659915/solver-4242609-1500659915 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500648178-2504 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242609-1500659915.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 28cd33bc142e306671660e6b259caafc RANDOM SEED=2097186914 node129.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.96 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.96 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.96 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 : 1733.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.96 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 : 1733.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.96 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 : 1867.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.96 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 : 2533.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.96 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.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29655184 kB MemAvailable: 29553976 kB Buffers: 49556 kB Cached: 105424 kB SwapCached: 0 kB Active: 2617180 kB Inactive: 89876 kB Active(anon): 2497268 kB Inactive(anon): 66668 kB Active(file): 119912 kB Inactive(file): 23208 kB Unevictable: 5792 kB Mlocked: 5792 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2524 kB Writeback: 0 kB AnonPages: 2563900 kB Mapped: 30800 kB Shmem: 8844 kB Slab: 93592 kB SReclaimable: 60888 kB SUnreclaim: 32704 kB KernelStack: 4544 kB PageTables: 10368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3416080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2494464 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61980 MiB End job on node129 at 2017-07-21 20:38:36