| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.05 | 2401.41 |
| Name | Steiner3/Steiner3-m1-s1/ Steiner3-11.xml |
| MD5SUM | 54c76fdae941ec7bb7c4ecbc2f20b5a0 |
| 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 | 54 |
| Number of constraints | 171 |
| Number of domains | 1 |
| Minimum domain size | 11 |
| Maximum domain size | 11 |
| Distribution of domain sizes | [{"size":11,"count":54}] |
| Minimum variable degree | 18 |
| Maximum variable degree | 18 |
| Distribution of variable degrees | [{"degree":18,"count":54}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":3,"count":18},{"arity":6,"count":153}] |
| Number of extensional constraints | 153 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":153},{"type":"ordered","count":18}] |
| Optimization problem | NO |
| Type of objective |
5.38/5.48 c SAT : Variables: 594 -- Clauses: 3024 14.48/14.53 c root propagations : 108 14.48/14.53 c restarts enabled, print stats at every restarts 14.48/14.53 c 14.48/14.53 c 14.48/14.53 c 14.48/14.53 c This is cosoco 1.0 -- 14.48/14.53 c 14.48/14.53 c ========================================[ Problem Statistics ]=========================================== 14.48/14.53 c | 14.48/14.53 c | Parse time : 5.21 s 14.48/14.53 c | 14.48/14.53 c | Variables: 54 14.48/14.53 c | Domain Sizes: 11..11 14.48/14.53 c | 14.48/14.53 c | Constraints: 189 14.48/14.53 c | Arity: 2..6 -- Binary: 36 14.48/14.53 c | 14.48/14.53 c | Types: 14.48/14.53 c | (X - Y < k): 36 14.48/14.53 c | Extension: 153 (nb tuples: 831600..831600) -- (shared: 152) 14.48/14.53 c | 14.48/14.53 c ========================================================================================================= 14.48/14.53 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 17.28/17.30 c 10 22 1367 320 54 10 7 13 8 20.98/21.03 c 20 50 2197 576 54 20 4 19 10 24.97/25.06 c 30 84 3148 825 54 30 4 25 11 28.97/29.05 c 40 111 3881 1016 54 40 4 18 9 32.67/32.74 c 50 139 4725 1218 54 50 9 19 14 36.46/36.59 c 60 173 5750 1475 54 60 6 25 18 40.96/41.01 c 70 207 6683 1725 54 70 4 25 12 44.85/44.95 c 80 247 7857 2015 54 80 3 31 20 48.55/48.69 c 90 275 8594 2207 54 90 2 19 9 52.76/52.85 c 100 315 9816 2505 54 100 3 31 19 53.25/53.31 c 101 318 9875 2527 54 101 3 3 1 57.45/57.53 c 110 345 10633 2716 54 110 4 19 11 61.85/61.96 c 120 382 11747 2975 54 120 3 28 16 66.34/66.45 c 130 422 12941 3263 54 130 3 31 18 70.23/70.39 c 140 462 14058 3554 54 140 4 31 18 74.64/74.75 c 150 502 15283 3865 54 150 13 31 21 78.53/78.61 c 160 533 16222 4097 54 160 6 22 14 82.73/82.86 c 170 561 17075 4306 54 170 3 19 13 87.22/87.38 c 180 598 18188 4582 54 180 6 28 20 91.33/91.41 c 190 623 18900 4770 54 190 4 16 9 95.12/95.27 c 200 655 19964 5003 54 197 19 23 20 99.21/99.30 c 210 698 21243 5312 54 207 16 34 21 99.71/99.88 c 211 700 21308 5341 54 208 2 2 1 104.71/104.80 c 220 736 22389 5625 54 217 10 28 17 109.00/109.10 c 230 770 23484 5894 54 227 19 25 20 113.21/113.37 c 240 804 24494 6143 54 237 6 25 17 117.50/117.67 c 250 844 25745 6448 54 247 16 31 22 121.40/121.58 c 260 878 26761 6687 54 257 15 25 17 125.80/125.98 c 270 915 27895 6990 54 267 3 28 18 130.19/130.33 c 280 955 29098 7277 54 277 6 31 19 134.59/134.78 c 290 995 30355 7574 54 287 12 31 20 138.99/139.13 c 300 1026 31349 7814 54 297 16 22 18 143.59/143.73 c 310 1066 32594 8123 54 307 10 31 18 147.89/148.08 c 320 1097 33606 8361 54 317 14 22 17 152.38/152.52 c 330 1134 34702 8625 54 327 10 28 18 154.28/154.43 c 332 1144 35042 8689 54 329 9 9 6 157.98/158.16 c 340 1179 36050 8921 54 337 3 28 17 162.38/162.52 c 350 1222 37354 9226 54 347 16 34 21 166.77/166.96 c 360 1262 38674 9532 54 357 2 31 19 171.48/171.67 c 370 1302 39930 9824 54 367 10 31 18 175.87/176.07 c 380 1339 41118 10088 54 377 8 28 18 180.47/180.65 c 390 1373 42158 10332 54 387 10 25 15 184.86/185.03 c 400 1413 43358 10634 54 397 3 31 19 188.56/188.78 c 410 1453 44442 10920 54 407 10 31 19 192.47/192.64 c 420 1484 45435 11151 54 417 19 22 18 196.76/196.95 c 430 1524 46668 11446 54 427 19 31 22 201.06/201.29 c 440 1567 48020 11758 54 437 22 34 25 205.45/205.60 c 450 1604 49224 12022 54 447 15 28 17 209.85/210.09 c 460 1641 50381 12303 54 457 16 28 20 213.04/213.28 c 465 1664 51102 12451 54 462 16 19 14 216.35/216.57 c 470 1690 51905 12620 54 467 19 22 16 220.55/220.75 c 480 1728 53109 12902 54 477 19 29 22 224.14/224.36 c 490 1768 54276 13198 54 487 28 31 26 227.44/227.61 c 500 1802 55202 13429 54 497 19 25 19 231.64/231.89 c 510 1845 56519 13750 54 507 19 34 25 235.64/235.84 c 520 1876 57342 13958 54 517 2 22 12 240.23/240.48 c 530 1910 58407 14205 54 527 16 25 18 244.73/244.90 c 540 1950 59670 14515 54 537 19 31 23 248.53/248.79 c 550 1993 60912 14828 54 547 25 34 26 252.32/252.59 c 560 2027 61821 15060 54 557 7 25 17 256.92/257.11 c 570 2061 62934 15312 54 567 13 25 18 261.52/261.77 c 580 2104 64306 15631 54 577 16 34 22 265.91/266.10 c 590 2144 65440 15908 54 587 10 31 18 270.12/270.39 c 600 2178 66520 16157 54 597 19 25 19 274.71/274.90 c 610 2212 67584 16402 54 607 19 25 20 276.61/276.85 c 611 2225 68030 16473 54 608 13 13 6 281.01/281.22 c 620 2264 69249 16745 54 617 13 31 21 285.30/285.59 c 630 2308 70647 17067 54 627 22 35 28 289.80/290.09 c 640 2342 71752 17328 54 637 14 25 16 294.40/294.67 c 650 2385 73114 17650 54 647 22 34 26 298.40/298.68 c 660 2416 74004 17872 54 657 13 22 15 302.69/302.97 c 670 2456 75247 18164 54 667 16 31 22 307.39/307.62 c 680 2499 76574 18472 54 677 19 34 22 311.09/311.33 c 690 2536 77655 18721 54 687 22 28 22 315.69/315.93 c 700 2576 78899 18999 54 697 16 31 19 320.28/320.52 c 710 2619 80263 19322 54 707 22 34 25 324.28/324.51 c 720 2662 81517 19623 54 717 19 34 23 328.48/328.76 c 730 2693 82492 19852 54 727 16 22 17 332.88/333.17 c 740 2733 83724 20130 54 737 19 31 22 336.77/337.04 c 750 2770 84905 20385 54 747 22 28 22 341.17/341.42 c 760 2810 86130 20658 54 757 19 31 22 345.57/345.83 c 770 2854 87562 20986 54 767 28 35 28 348.57/348.82 c 771 2888 88554 21198 54 768 34 34 17 352.56/352.82 c 780 2935 90128 21542 54 775 35 38 32 356.86/357.15 c 790 2975 91303 21832 54 785 2 31 17 361.26/361.50 c 800 3016 92617 22128 54 795 25 32 25 365.35/365.61 c 810 3056 93853 22423 54 805 22 31 24 369.55/369.85 c 820 3099 95121 22734 54 815 19 34 23 373.25/373.53 c 830 3142 96560 23020 54 820 31 32 28 378.04/378.37 c 840 3185 97871 23340 54 830 6 34 22 381.94/382.25 c 850 3236 99601 23675 54 838 38 40 34 385.94/386.28 c 860 3271 100599 23932 54 848 2 26 16 390.64/390.99 c 870 3313 102092 24235 54 855 13 32 27 394.34/394.60 c 880 3359 103485 24564 54 865 34 37 32 398.83/399.12 c 890 3396 104759 24829 54 875 2 28 18 403.83/404.11 c 900 3439 106176 25171 54 885 22 34 25 408.73/409.03 c 910 3479 107447 25471 54 895 16 31 22 412.23/412.59 c 920 3529 108952 25830 54 899 37 40 35 416.12/416.45 c 930 3566 109944 26083 54 909 13 28 19 420.42/420.77 c 940 3615 111674 26435 54 918 37 38 34 424.52/424.87 c 947 3640 112516 26620 54 925 5 19 10 427.52/427.81 c 950 3652 112945 26700 54 928 6 10 6 432.71/433.02 c 960 3695 114316 27034 54 938 19 34 24 437.52/437.86 c 970 3746 116013 27398 54 946 31 40 29 441.71/442.09 c 980 3789 117259 27712 54 956 19 34 24 446.91/447.29 c 990 3823 118354 27980 54 966 4 25 14 450.71/451.05 c 1000 3876 120174 28377 54 967 40 41 36 454.71/455.00 c 1010 3926 121794 28732 54 976 35 41 35 458.30/458.61 c 1020 3951 122475 28919 54 986 7 16 11 463.50/463.84 c 1030 3982 123515 29166 54 996 16 22 17 467.40/467.78 c 1040 4032 125028 29551 54 1000 40 40 36 471.09/471.48 c 1050 4081 126611 29885 54 1010 37 40 35 476.10/476.42 c 1060 4121 127962 30191 54 1020 19 31 21 481.39/481.72 c 1070 4161 129270 30508 54 1030 10 31 21 485.69/486.06 c 1080 4192 130194 30739 54 1040 5 22 13 490.88/491.21 c 1090 4235 131606 31076 54 1050 10 34 22 495.18/495.56 c 1100 4266 132529 31295 54 1060 5 22 13 499.57/500.00 c 1110 4306 133828 31577 54 1070 25 31 24 503.48/503.88 c 1120 4349 135172 31888 54 1080 22 34 27 508.07/508.45 c 1130 4402 137084 32303 54 1085 39 41 36 511.97/512.33 c 1140 4440 138133 32563 54 1095 7 29 19 515.17/515.58 c 1141 4480 139337 32824 54 1096 40 40 20 519.16/519.57 c 1150 4519 140477 33105 54 1105 19 31 21 523.66/524.08 c 1160 4553 141474 33341 54 1115 5 25 13 529.06/529.41 c 1170 4596 142907 33679 54 1125 16 34 22 532.86/533.22 c 1180 4636 144158 33967 54 1135 22 31 26 537.75/538.14 c 1190 4664 145108 34185 54 1145 13 19 14 542.65/543.07 c 1200 4711 146724 34540 54 1153 22 37 26 546.25/546.69 c 1210 4754 148018 34829 54 1163 31 34 29 550.75/551.13 c 1220 4806 149941 35212 54 1166 34 40 35 554.44/554.86 c 1230 4856 151510 35575 54 1176 34 41 34 559.24/559.64 c 1240 4886 152563 35821 54 1186 15 21 16 563.94/564.34 c 1250 4927 153954 36129 54 1196 28 32 26 568.44/568.81 c 1260 4964 155149 36415 54 1206 6 28 20 573.33/573.72 c 1270 4999 156381 36685 54 1214 22 25 21 578.52/578.91 c 1280 5040 157771 37005 54 1223 19 32 24 582.32/582.73 c 1290 5077 158777 37260 54 1233 19 28 22 586.92/587.31 c 1300 5119 160221 37568 54 1242 25 32 26 591.32/591.78 c 1310 5159 161585 37864 54 1252 13 31 24 596.41/596.81 c 1320 5200 162965 38167 54 1260 22 31 22 600.22/600.61 c 1330 5237 163950 38419 54 1270 10 28 19 605.31/605.76 c 1340 5274 165139 38701 54 1280 13 28 18 610.01/610.46 c 1350 5314 166362 38992 54 1290 5 31 19 611.90/612.35 c 1352 5328 166747 39079 54 1292 13 13 8 616.81/617.24 c 1360 5354 167664 39297 54 1300 13 19 14 620.90/621.39 c 1370 5388 168601 39532 54 1310 7 25 15 625.40/625.85 c 1380 5427 170003 39813 54 1316 28 29 26 629.09/629.52 c 1390 5458 170921 40043 54 1326 13 22 18 633.40/633.83 c 1400 5494 172208 40305 54 1333 25 26 23 637.89/638.36 c 1410 5525 173247 40556 54 1343 13 22 16 642.10/642.57 c 1420 5558 174438 40803 54 1349 22 23 20 646.09/646.59 c 1430 5595 175658 41067 54 1359 22 28 23 651.49/651.92 c 1440 5626 176669 41312 54 1369 6 22 13 655.38/655.89 c 1450 5663 177715 41566 54 1379 19 28 19 659.78/660.27 c 1460 5712 179357 41911 54 1389 29 40 30 663.48/663.94 c 1470 5743 180292 42146 54 1399 19 22 18 668.27/668.77 c 1480 5780 181489 42436 54 1409 19 28 19 672.78/673.25 c 1490 5820 182716 42722 54 1419 16 31 20 677.47/677.99 c 1500 5854 183846 42977 54 1429 13 25 18 681.17/681.69 c 1510 5897 185112 43281 54 1439 31 34 29 685.76/686.21 c 1520 5925 186076 43501 54 1449 9 19 12 689.66/690.14 c 1530 5965 187252 43786 54 1459 16 31 23 694.66/695.14 c 1540 5996 188310 44030 54 1469 16 22 17 698.66/699.18 c 1550 6033 189598 44297 54 1479 23 28 23 702.85/703.37 c 1560 6066 190772 44536 54 1485 22 23 20 706.96/707.44 c 1570 6106 192081 44816 54 1495 25 31 24 711.55/712.00 c 1580 6131 192967 45014 54 1505 5 16 10 714.45/714.93 c 1585 6154 193616 45162 54 1510 10 19 11 718.15/718.63 c 1590 6174 194319 45314 54 1515 10 16 10 721.94/722.49 c 1600 6214 195502 45595 54 1525 19 31 25 726.44/726.91 c 1610 6239 196387 45809 54 1535 9 16 11 730.24/730.74 c 1620 6282 197687 46107 54 1545 22 34 23 734.54/735.07 c 1630 6316 198693 46343 54 1555 8 25 14 739.13/739.64 c 1640 6344 199676 46582 54 1565 10 19 14 744.13/744.70 c 1650 6372 200636 46820 54 1575 3 19 12 749.23/749.75 c 1660 6406 201765 47106 54 1585 10 25 16 754.23/754.72 c 1670 6434 202716 47344 54 1595 3 19 12 759.02/759.53 c 1680 6470 204017 47624 54 1604 19 26 21 763.42/763.94 c 1690 6501 204933 47845 54 1614 5 22 12 768.61/769.11 c 1700 6538 206170 48138 54 1624 13 28 16 772.21/772.76 c 1710 6578 207427 48418 54 1634 28 31 26 777.21/777.76 c 1720 6606 208384 48656 54 1644 3 19 12 782.10/782.62 c 1730 6644 209735 48955 54 1652 22 28 21 786.80/787.39 c 1740 6680 211034 49235 54 1661 19 26 21 790.80/791.34 c 1750 6723 212373 49546 54 1671 22 34 26 794.70/795.24 c 1760 6766 213721 49863 54 1681 25 34 27 799.89/800.49 c 1770 6806 214970 50177 54 1691 3 31 16 804.70/805.23 c 1780 6841 216246 50455 54 1699 22 25 21 809.49/810.02 c 1790 6881 217607 50763 54 1709 19 31 21 813.99/814.53 c 1800 6918 218738 51036 54 1719 10 28 17 818.58/819.16 c 1810 6950 219924 51291 54 1727 19 23 19 822.18/822.75 c 1820 6999 221390 51643 54 1737 34 40 34 825.78/826.31 c 1830 7024 222280 51845 54 1747 9 16 11 830.78/831.37 c 1840 7061 223465 52149 54 1757 3 28 16 834.17/834.74 c 1841 7086 224407 52308 54 1758 25 25 12 838.47/839.01 c 1850 7131 225945 52645 54 1767 31 37 29 843.07/843.65 c 1860 7171 227198 52948 54 1777 8 31 18 846.87/847.41 c 1870 7208 228346 53210 54 1787 25 28 23 851.37/851.97 c 1880 7245 229654 53496 54 1797 25 28 23 856.27/856.81 c 1890 7288 231136 53833 54 1807 17 34 24 860.47/861.00 c 1900 7315 232049 54048 54 1817 9 18 12 864.17/864.74 c 1910 7367 233639 54428 54 1826 37 40 34 868.57/869.12 c 1920 7395 234645 54657 54 1836 12 19 14 873.06/873.63 c 1930 7435 235863 54963 54 1846 13 31 20 877.56/878.11 c 1940 7475 237260 55264 54 1856 25 31 25 882.05/882.69 c 1950 7526 239123 55668 54 1866 34 41 34 885.85/886.40 c 1960 7557 239951 55887 54 1876 4 22 12 890.45/891.03 c 1970 7597 241340 56194 54 1886 25 31 24 894.95/895.59 c 1980 7643 242937 56547 54 1896 31 37 30 899.14/899.75 c 1990 7692 244529 56921 54 1906 25 40 30 903.54/904.20 c 2000 7726 245574 57164 54 1916 11 25 15 908.04/908.63 c 2010 7760 246778 57424 54 1926 22 25 21 912.33/912.94 c 2020 7803 248262 57739 54 1936 28 34 27 916.43/917.07 c 2030 7849 249820 58061 54 1946 19 37 29 920.13/920.73 c 2040 7886 250871 58315 54 1956 19 28 21 924.53/925.16 c 2050 7932 252486 58672 54 1966 34 37 32 928.22/928.87 c 2060 7975 253756 58975 54 1976 28 34 28 932.72/933.34 c 2070 8020 255389 59314 54 1984 34 35 31 936.92/937.51 c 2080 8066 256961 59651 54 1994 28 37 30 940.92/941.51 c 2090 8093 257875 59877 54 2004 3 18 12 945.71/946.32 c 2100 8136 259341 60210 54 2014 28 34 27 949.51/950.15 c 2110 8182 260742 60543 54 2024 28 37 29 953.41/954.02 c 2120 8222 261982 60823 54 2034 22 31 24 956.21/956.81 c 2122 8251 262864 60997 54 2036 25 28 17 959.71/960.33 c 2130 8283 263847 61225 54 2044 22 25 21 963.80/964.44 c 2140 8333 265648 61580 54 2052 37 40 34 968.10/968.71 c 2150 8376 267020 61895 54 2062 20 34 24 972.80/973.42 c 2160 8419 268511 62225 54 2072 28 34 28 976.39/977.01 c 2170 8453 269507 62467 54 2082 22 25 21 980.70/981.33 c 2180 8498 271140 62802 54 2089 34 35 31 985.59/986.25 c 2190 8535 272342 63101 54 2099 3 28 15 989.29/989.99 c 2200 8563 273103 63301 54 2109 4 19 12 993.28/993.93 c 2210 8610 274809 63619 54 2116 34 37 31 997.78/998.45 c 2220 8656 276281 63963 54 2126 17 37 25 1001.48/1002.17 c 2230 8684 277093 64180 54 2136 13 19 14 1006.07/1006.77 c 2240 8727 278577 64510 54 2146 31 34 29 1009.97/1010.61 c 2250 8773 279944 64832 54 2156 28 37 29 1014.47/1015.11 c 2260 8813 281394 65136 54 2166 21 31 24 1018.57/1019.24 c 2270 8864 283242 65504 54 2176 35 41 33 1023.06/1023.79 c 2280 8904 284376 65788 54 2186 4 31 15 1027.16/1027.83 c 2290 8955 286254 66160 54 2195 37 41 34 1031.26/1031.97 c 2300 9002 287832 66495 54 2204 34 38 33 1034.95/1035.64 c 2310 9036 288844 66745 54 2214 22 25 21 1038.96/1039.65 c 2320 9089 290839 67105 54 2215 40 41 37 1043.36/1044.02 c 2330 9123 291840 67350 54 2225 5 25 15 1047.35/1048.04 c 2340 9175 293808 67723 54 2226 40 41 36 1051.44/1052.12 c 2350 9218 295140 68031 54 2236 16 34 26 1055.84/1056.50 c 2360 9258 296566 68330 54 2246 28 31 26 1059.94/1060.61 c 2370 9311 298568 68718 54 2252 40 41 36 1063.44/1064.10 c 2380 9361 300313 69043 54 2260 38 40 35 1067.24/1067.97 c 2390 9401 301539 69325 54 2270 22 31 22 1071.33/1072.08 c 2400 9454 303559 69714 54 2276 40 41 36 1074.93/1075.60 c 2410 9508 305510 70096 54 2283 40 41 36 1079.63/1080.33 c 2420 9539 306535 70340 54 2293 12 22 14 1084.43/1085.12 c 2430 9576 307702 70625 54 2303 13 28 20 1088.22/1088.92 c 2431 9617 309183 70896 54 2304 41 41 20 1092.42/1093.14 c 2440 9662 310547 71231 54 2313 25 37 28 1096.22/1096.96 c 2450 9708 311931 71562 54 2323 25 37 29 1100.22/1100.99 c 2460 9754 313464 71895 54 2333 31 37 30 1104.51/1105.30 c 2470 9791 314697 72174 54 2343 22 28 22 1108.62/1109.33 c 2480 9837 316395 72498 54 2349 34 35 31 1112.92/1113.65 c 2490 9877 317717 72796 54 2359 28 31 26 1117.02/1117.77 c 2500 9931 319794 73188 54 2365 40 41 37 1121.21/1121.94 c 2510 9977 321232 73523 54 2375 22 37 28 1124.91/1125.67 c 2520 10020 322539 73833 54 2385 31 34 29 1129.90/1130.66 c 2530 10064 323975 74182 54 2395 25 35 27 1134.20/1134.96 c 2540 10101 325214 74461 54 2405 25 28 23 1138.30/1139.03 c 2550 10150 326938 74833 54 2409 35 40 35 1143.30/1144.01 c 2560 10187 328114 75130 54 2419 19 28 21 1146.99/1147.79 c 2570 10224 329100 75372 54 2429 13 28 17 1151.19/1151.95 c 2580 10277 331107 75762 54 2435 40 41 36 1154.99/1155.70 c 2590 10326 332809 76070 54 2442 37 38 34 1159.09/1159.83 c 2600 10369 334224 76378 54 2452 28 34 27 1163.28/1164.02 c 2610 10420 336073 76724 54 2461 35 40 32 1167.68/1168.43 c 2620 10457 337440 77017 54 2471 25 28 24 1171.68/1172.49 c 2630 10509 339409 77391 54 2472 40 41 36 1175.98/1176.71 c 2640 10552 340718 77707 54 2482 22 34 23 1180.57/1181.35 c 2650 10590 341968 77993 54 2491 19 29 22 1184.48/1185.29 c 2660 10621 342823 78207 54 2501 10 22 15 1189.58/1190.32 c 2670 10658 344022 78504 54 2511 16 28 21 1193.07/1193.82 c 2680 10707 345531 78868 54 2515 34 40 35 1197.18/1197.99 c 2690 10746 346859 79143 54 2522 13 29 23 1201.57/1202.33 c 2700 10774 347733 79368 54 2532 3 19 13 1205.67/1206.45 c 2710 10826 349688 79742 54 2533 40 41 36 1209.46/1210.28 c 2720 10875 351272 80096 54 2543 34 40 33 1213.86/1214.68 c 2730 10918 352917 80440 54 2553 28 32 28 1218.66/1219.47 c 2740 10956 354115 80739 54 2563 13 29 20 1223.16/1223.95 c 2750 10988 355215 80993 54 2573 19 23 19 1227.45/1228.20 c 2760 11022 356325 81243 54 2583 22 25 21 1231.65/1232.40 c 2770 11071 358085 81614 54 2593 37 40 35 1235.15/1235.99 c 2771 11103 359337 81828 54 2594 32 32 16 1239.25/1240.05 c 2780 11141 360629 82105 54 2602 25 29 24 1242.65/1243.44 c 2790 11175 361869 82333 54 2610 23 24 21 1246.75/1247.54 c 2800 11227 363838 82712 54 2611 40 41 36 1250.14/1250.95 c 2810 11279 365587 83065 54 2618 37 40 35 1254.04/1254.82 c 2820 11319 366790 83361 54 2628 28 31 26 1257.34/1258.13 c 2830 11371 368613 83740 54 2630 37 41 36 1262.24/1263.00 c 2840 11408 369804 84038 54 2640 13 28 20 1266.54/1267.31 c 2850 11442 370741 84271 54 2650 4 25 12 1270.63/1271.47 c 2860 11481 372091 84537 54 2658 16 29 22 1275.03/1275.90 c 2870 11517 373378 84816 54 2668 24 27 23 1279.13/1279.99 c 2880 11571 375508 85228 54 2678 37 41 35 1282.93/1283.79 c 2890 11614 376876 85526 54 2688 31 34 29 1287.22/1288.08 c 2900 11663 378499 85892 54 2698 29 40 31 1290.82/1291.60 c 2910 11715 380276 86233 54 2706 34 41 36 1294.52/1295.39 c 2920 11755 381427 86516 54 2716 22 31 24 1299.02/1299.81 c 2930 11798 382849 86840 54 2726 31 34 29 1302.91/1303.76 c 2940 11831 384007 87078 54 2732 22 23 20 1306.91/1307.79 c 2950 11880 385638 87446 54 2736 34 40 34 1310.71/1311.52 c 2960 11919 387010 87708 54 2743 28 29 26 1314.91/1315.72 c 2970 11971 388939 88106 54 2753 27 41 34 1318.50/1319.36 c 2980 12012 390218 88375 54 2761 25 32 25 1322.10/1322.94 c 2990 12055 391459 88668 54 2771 25 34 27 1325.81/1326.69 c 3000 12088 392629 88901 54 2781 23 24 21 1330.20/1331.09 c 3010 12136 394405 89275 54 2788 37 38 34 1333.79/1334.63 c 3020 12185 395870 89621 54 2798 34 40 33 1338.29/1339.15 c 3030 12237 397781 90061 54 2808 37 43 37 1341.99/1342.84 c 3040 12273 398788 90313 54 2818 5 27 15 1345.79/1346.62 c 3050 12301 399604 90528 54 2828 13 19 14 1349.79/1350.66 c 3060 12340 401046 90813 54 2834 28 29 26 1353.39/1354.23 c 3070 12392 402715 91192 54 2842 37 40 35 1357.69/1358.54 c 3080 12430 403880 91459 54 2852 10 29 18 1361.58/1362.45 c 3090 12474 405238 91780 54 2862 25 35 25 1365.28/1366.16 c 3100 12511 406341 92047 54 2872 19 28 22 1369.98/1370.85 c 3110 12545 407486 92310 54 2882 10 25 14 1374.07/1374.93 c 3120 12585 408682 92603 54 2892 19 31 23 1378.77/1379.68 c 3130 12616 409744 92854 54 2902 10 22 13 1383.37/1384.25 c 3140 12647 410806 93102 54 2912 10 22 14 1386.27/1387.17 c 3142 12676 411676 93280 54 2914 28 28 18 1390.36/1391.27 c 3150 12699 412529 93476 54 2922 10 16 12 1395.36/1396.27 c 3160 12727 413489 93717 54 2932 10 19 13 1399.16/1400.07 c 3170 12767 414698 94000 54 2942 22 31 22 1402.96/1403.86 c 3180 12800 415744 94237 54 2952 22 24 20 1407.95/1408.82 c 3190 12831 416854 94491 54 2962 16 22 17 1411.75/1412.63 c 3200 12880 418309 94840 54 2972 31 40 31 1416.45/1417.32 c 3210 12917 419586 95139 54 2982 9 28 16 1420.75/1421.68 c 3220 12945 420436 95333 54 2992 5 19 11 1424.34/1425.20 c 3230 12978 421700 95561 54 2998 22 23 20 1429.15/1430.02 c 3240 13018 423023 95882 54 3008 10 31 18 1432.94/1433.85 c 3250 13064 424446 96203 54 3018 24 37 29 1436.44/1437.35 c 3260 13100 425592 96471 54 3028 25 27 23 1440.53/1441.42 c 3270 13149 427278 96835 54 3038 37 40 35 1445.23/1446.19 c 3280 13180 428356 97096 54 3048 16 22 17 1449.93/1450.85 c 3290 13211 429430 97354 54 3058 10 22 14 1454.23/1455.18 c 3300 13250 430902 97654 54 3066 23 29 24 1458.13/1459.00 c 3310 13284 431918 97904 54 3076 22 25 21 1462.02/1462.99 c 3320 13317 433150 98146 54 3082 22 23 20 1466.92/1467.82 c 3330 13354 434382 98433 54 3092 16 28 20 1470.82/1471.79 c 3340 13400 435760 98764 54 3102 25 37 26 1474.72/1475.62 c 3350 13449 437304 99113 54 3112 31 40 30 1479.11/1480.02 c 3360 13491 438762 99433 54 3121 22 32 26 1482.81/1483.74 c 3370 13528 439906 99701 54 3131 25 28 23 1487.31/1488.25 c 3380 13567 441374 100000 54 3139 25 28 23 1491.41/1492.31 c 3390 13605 442729 100271 54 3149 23 29 23 1495.81/1496.72 c 3400 13639 443763 100514 54 3159 10 25 15 1500.40/1501.33 c 3410 13679 445239 100823 54 3169 28 31 26 1505.20/1506.10 c 3420 13711 446434 101097 54 3177 19 23 19 1508.90/1509.83 c 3430 13760 448001 101460 54 3187 34 40 32 1512.90/1513.82 c 3440 13800 449197 101737 54 3197 19 31 21 1517.99/1518.96 c 3450 13831 450314 102013 54 3207 16 22 17 1521.50/1522.45 c 3460 13887 452202 102405 54 3214 37 41 35 1525.59/1526.52 c 3470 13923 453502 102674 54 3220 25 26 23 1529.39/1530.38 c 3480 13972 454992 103034 54 3230 31 40 30 1533.08/1534.03 c 3490 14015 456312 103335 54 3240 31 34 29 1537.88/1538.89 c 3500 14061 457942 103691 54 3250 28 37 27 1541.29/1542.23 c 3510 14112 459651 104051 54 3255 37 40 35 1545.58/1546.50 c 3520 14146 460593 104287 54 3265 4 25 12 1550.58/1551.52 c 3530 14177 461712 104556 54 3275 16 22 17 1553.98/1554.98 c 3540 14230 463547 104943 54 3281 37 41 35 1558.89/1559.90 c 3550 14267 464768 105239 54 3291 16 28 18 1562.38/1563.39 c 3551 14292 465725 105396 54 3292 25 25 12 1565.88/1566.82 c 3560 14341 467250 105769 54 3295 40 40 36 1569.57/1570.56 c 3570 14381 468480 106055 54 3305 28 31 26 1573.77/1574.77 c 3580 14434 470511 106449 54 3309 31 41 34 1577.97/1578.99 c 3590 14471 471779 106720 54 3319 25 28 23 1583.37/1584.36 c 3600 14499 472750 106967 54 3329 3 19 12 1587.17/1588.18 c 3610 14548 474197 107320 54 3339 31 40 32 1591.76/1592.75 c 3620 14580 475337 107590 54 3349 16 23 18 1595.56/1596.54 c 3630 14614 476396 107834 54 3359 22 25 21 1599.66/1600.64 c 3640 14663 478199 108210 54 3361 37 40 35 1603.66/1604.66 c 3650 14707 479702 108533 54 3371 28 35 30 1608.55/1609.51 c 3660 14735 480677 108779 54 3381 9 19 13 1611.85/1612.89 c 3670 14788 482433 109169 54 3387 40 41 36 1615.85/1616.88 c 3680 14829 483889 109452 54 3395 23 31 24 1619.65/1620.64 c 3690 14862 485159 109691 54 3401 19 23 20 1624.34/1625.37 c 3700 14902 486521 109995 54 3411 19 31 21 1629.04/1630.02 c 3710 14939 487855 110284 54 3421 25 28 23 1633.04/1634.06 c 3720 14988 489640 110654 54 3423 37 40 35 1636.84/1637.84 c 3730 15039 491480 111015 54 3433 35 41 33 1640.24/1641.21 c 3740 15082 492819 111322 54 3443 31 34 30 1644.53/1645.59 c 3750 15133 494740 111721 54 3453 28 41 33 1648.53/1649.53 c 3760 15179 496183 112053 54 3463 28 37 29 1652.33/1653.35 c 3770 15222 497505 112371 54 3473 28 34 27 1656.73/1657.80 c 3780 15268 499094 112724 54 3483 31 37 29 1661.23/1662.23 c 3790 15314 500664 113072 54 3493 26 37 29 1664.62/1665.64 c 3800 15365 502307 113419 54 3502 34 41 34 1668.52/1669.56 c 3810 15411 503716 113758 54 3512 28 37 29 1671.72/1672.73 c 3820 15465 505587 114118 54 3518 37 41 35 1675.22/1676.21 c 3830 15502 506552 114373 54 3528 4 28 19 1679.11/1680.10 c 3840 15556 508572 114782 54 3538 37 41 35 1683.01/1684.00 c 3850 15599 509880 115087 54 3548 25 34 25 1687.11/1688.19 c 3860 15651 511800 115458 54 3555 37 41 36 1690.41/1691.47 c 3870 15704 513611 115810 54 3563 38 41 36 1694.11/1695.15 c 3880 15741 514713 116079 54 3573 25 28 23 1698.51/1699.54 c 3890 15784 516269 116387 54 3583 23 34 24 1701.70/1702.76 c 3900 15837 518158 116744 54 3587 38 41 36 1706.40/1707.46 c 3910 15875 519484 117049 54 3597 22 29 24 1710.90/1711.90 c 3920 15907 520625 117305 54 3607 19 23 19 1714.59/1715.65 c 3930 15953 522029 117630 54 3617 25 37 27 1717.89/1718.95 c 3940 16006 523951 118026 54 3621 40 41 36 1721.89/1722.93 c 3950 16052 525391 118355 54 3631 28 37 27 1725.09/1726.10 c 3960 16108 527488 118753 54 3638 40 41 36 1729.09/1730.17 c 3970 16157 529047 119115 54 3648 28 40 31 1732.78/1733.81 c 3980 16188 529997 119356 54 3658 19 22 18 1737.28/1738.39 c 3990 16227 531507 119654 54 3666 25 28 23 1742.08/1743.18 c 4000 16276 533383 120087 54 3669 37 40 35 1745.18/1746.27 c 4001 16304 534329 120249 54 3670 28 28 14 1749.97/1751.03 c 4010 16346 535851 120570 54 3679 24 34 24 1753.97/1755.08 c 4020 16392 537320 120910 54 3689 25 37 28 1758.37/1759.49 c 4030 16429 538428 121186 54 3699 10 28 17 1762.87/1763.98 c 4040 16473 539970 121522 54 3709 23 34 26 1767.46/1768.50 c 4050 16525 541806 121922 54 3718 37 40 35 1771.66/1772.73 c 4060 16574 543347 122295 54 3728 28 40 31 1775.96/1777.06 c 4070 16611 544620 122574 54 3738 25 28 23 1780.76/1781.81 c 4080 16654 546160 122906 54 3748 27 34 27 1785.46/1786.55 c 4090 16705 548035 123339 54 3753 39 41 36 1789.25/1790.40 c 4100 16757 549776 123711 54 3760 37 40 35 1793.55/1794.63 c 4110 16803 551305 124045 54 3770 28 37 28 1797.35/1798.50 c 4120 16853 552961 124428 54 3776 40 40 36 1801.95/1803.02 c 4130 16905 554810 124832 54 3785 37 40 34 1805.84/1806.96 c 4140 16945 556070 125119 54 3795 25 31 26 1809.84/1810.90 c 4150 17000 558150 125559 54 3799 40 41 36 1813.94/1815.07 c 4160 17047 559641 125916 54 3809 28 38 31 1817.84/1818.98 c 4170 17090 560915 126234 54 3819 25 34 25 1822.33/1823.42 c 4180 17145 563200 126701 54 3820 39 41 36 1825.93/1827.06 c 4190 17191 564628 127041 54 3830 34 37 32 1830.43/1831.55 c 4200 17237 566260 127404 54 3838 34 35 31 1833.83/1834.97 c 4210 17290 568051 127758 54 3845 40 41 37 1837.82/1838.97 c 4220 17333 569311 128078 54 3855 28 34 27 1841.32/1842.42 c 4230 17387 571194 128460 54 3863 40 41 36 1845.12/1846.24 c 4240 17438 572865 128832 54 3871 34 40 32 1848.82/1849.92 c 4250 17472 573922 129072 54 3881 22 25 21 1853.81/1854.96 c 4260 17516 575556 129435 54 3890 31 34 28 1858.81/1859.94 c 4270 17566 577423 129860 54 3900 37 40 34 1862.81/1863.94 c 4280 17611 578942 130180 54 3908 31 35 31 1866.21/1867.39 c 4290 17665 580825 130563 54 3916 40 41 36 1870.01/1871.12 c 4300 17707 582125 130875 54 3926 28 32 27 1873.31/1874.42 c 4310 17761 583942 131241 54 3935 38 41 36 1876.80/1877.91 c 4320 17811 585501 131596 54 3945 32 40 33 1880.50/1881.64 c 4330 17850 586713 131870 54 3954 25 29 25 1883.80/1884.91 c 4340 17904 588598 132244 54 3960 40 41 37 1888.31/1889.40 c 4350 17950 590069 132587 54 3970 19 37 26 1892.50/1893.61 c 4360 18002 592003 132992 54 3976 36 41 34 1896.80/1897.92 c 4370 18045 593446 133310 54 3986 28 34 28 1901.00/1902.16 c 4380 18096 595341 133679 54 3995 37 41 35 1904.99/1906.18 c 4390 18134 596533 133959 54 4002 22 28 20 1909.49/1910.66 c 4400 18168 597531 134197 54 4012 5 25 13 1914.10/1915.23 c 4410 18212 599070 134532 54 4022 28 35 27 1918.19/1919.32 c 4420 18258 600468 134873 54 4032 28 37 29 1923.08/1924.21 c 4430 18311 602531 135301 54 4042 34 41 32 1926.78/1927.99 c 4440 18351 603738 135595 54 4052 28 31 26 1931.69/1932.88 c 4450 18399 605597 135994 54 4062 34 37 31 1935.38/1936.51 c 4460 18450 607375 136360 54 4072 37 41 35 1938.98/1940.19 c 4470 18497 608853 136679 54 4081 29 37 28 1942.68/1943.88 c 4480 18543 610304 137020 54 4091 31 37 32 1946.98/1948.11 c 4490 18597 612435 137412 54 4098 40 41 36 1950.28/1951.42 c 4493 18642 613953 137706 54 4100 40 41 30 1953.67/1954.83 c 4500 18692 615761 138040 54 4101 40 41 35 1958.27/1959.44 c 4510 18735 617124 138363 54 4111 19 34 24 1962.56/1963.70 c 4520 18789 619291 138758 54 4118 40 41 36 1966.16/1967.35 c 4530 18835 620728 139101 54 4128 31 37 32 1970.36/1971.58 c 4540 18889 622890 139494 54 4134 40 41 37 1973.96/1975.16 c 4550 18941 624746 139852 54 4144 37 41 35 1977.45/1978.61 c 4560 18990 626365 140206 54 4146 37 40 35 1982.16/1983.37 c 4570 19030 627601 140507 54 4156 3 31 21 1986.75/1987.95 c 4580 19067 628707 140786 54 4166 10 28 19 1991.55/1992.75 c 4590 19115 630444 141164 54 4176 25 37 30 1995.84/1997.04 c 4600 19168 632527 141554 54 4182 40 41 36 1999.44/2000.70 c 4610 19223 634548 141960 54 4186 40 41 36 2003.24/2004.43 c 4620 19266 635852 142274 54 4196 28 34 27 2008.14/2009.32 c 4630 19314 637646 142656 54 4206 25 37 30 2012.13/2013.34 c 4640 19354 638855 142945 54 4216 22 31 24 2016.03/2017.24 c 4650 19403 640374 143311 54 4226 31 40 30 2019.43/2020.63 c 4660 19452 641868 143655 54 4236 34 40 34 2023.63/2024.81 c 4670 19503 643872 144080 54 4244 35 41 33 2027.62/2028.83 c 4680 19546 645168 144385 54 4254 19 34 24 2032.22/2033.47 c 4690 19592 646774 144740 54 4264 28 37 30 2036.32/2037.57 c 4700 19635 648094 145047 54 4274 25 34 26 2040.62/2041.89 c 4710 19675 649504 145346 54 4284 28 31 26 2045.71/2046.92 c 4720 19723 651291 145735 54 4294 31 37 31 2049.81/2051.07 c 4730 19775 653270 146112 54 4295 40 41 36 2054.51/2055.72 c 4740 19824 654950 146486 54 4305 31 40 31 2059.01/2060.21 c 4750 19867 656300 146807 54 4315 19 34 25 2063.00/2064.23 c 4760 19917 658147 147178 54 4325 31 41 34 2067.30/2068.59 c 4770 19963 659619 147525 54 4335 19 37 28 2071.20/2072.49 c 4780 20019 661894 147941 54 4337 40 41 36 2075.10/2076.35 c 4790 20068 663504 148286 54 4347 34 40 34 2078.90/2080.17 c 4800 20119 665434 148678 54 4357 36 41 35 2082.90/2084.14 c 4810 20168 667000 149015 54 4367 22 40 32 2086.90/2088.14 c 4820 20221 669122 149430 54 4371 40 41 36 2091.50/2092.73 c 4830 20264 670436 149754 54 4381 13 34 20 2095.79/2097.02 c 4840 20310 671864 150090 54 4391 16 37 24 2099.80/2101.07 c 4850 20366 674212 150522 54 4392 40 41 36 2103.79/2105.09 c 4860 20409 675557 150829 54 4402 22 34 24 2107.89/2109.11 c 4870 20452 676909 151157 54 4412 19 34 27 2111.99/2113.25 c 4880 20504 678942 151538 54 4413 40 41 36 2116.88/2118.11 c 4890 20547 680393 151879 54 4423 13 34 22 2120.98/2122.28 c 4900 20593 681845 152205 54 4433 19 37 25 2125.08/2126.40 c 4910 20645 683844 152583 54 4434 40 41 36 2128.97/2130.23 c 4920 20694 685357 152927 54 4444 28 40 29 2133.07/2134.38 c 4930 20740 686827 153251 54 4454 19 37 25 2137.37/2138.67 c 4940 20789 688560 153637 54 4458 37 40 35 2141.47/2142.71 c 4950 20832 689848 153950 54 4468 19 34 25 2145.46/2146.76 c 4960 20883 691908 154344 54 4478 37 41 35 2149.37/2150.64 c 4970 20932 693568 154686 54 4488 37 40 35 2153.36/2154.60 c 4980 20986 695695 155123 54 4492 40 41 36 2156.76/2158.05 c 4990 21039 697583 155480 54 4497 37 41 35 2164.05/2165.35 c 5035 21125 700514 156202 54 4537 13 40 30 2198.23/2199.58 c 5631 21969 730391 165288 54 4570 4 47 40 2236.81/2238.16 c 6286 22947 769158 175744 54 4602 5 41 38 2268.30/2269.64 c 7006 24163 824937 187951 54 4639 22 41 39 2310.37/2311.77 c 7798 25348 871130 201657 54 4677 16 47 41 2345.66/2347.02 c 8669 26664 927726 213328 54 4720 4 41 39 2397.54/2398.99 c 9627 27990 976112 226968 54 4737 25 41 39
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-4241251-1500630451/watcher-4241251-1500630451 -o /tmp/evaluation-result-4241251-1500630451/solver-4241251-1500630451 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5345 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241251-1500630451.xml pid=7651 running on 4 cores: 1,3,5,7 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 2/186 7654 /proc/meminfo: memFree=31888352/32770624 swapFree=6312/23404 [pid=7654] ppid=7651 vsize=26992 CPUtime=0 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 981 0 0 0 0 0 0 0 20 0 1 0 17792187 27639808 765 33554432000 4194304 5970956 140723823374416 140723823371064 140228943571941 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 6748 765 683 434 0 112 0 [startup+0.100112 s] /proc/loadavg: 2.00 2.01 2.05 2/186 7654 /proc/meminfo: memFree=31888352/32770624 swapFree=6312/23404 [pid=7654] ppid=7651 vsize=27700 CPUtime=0.09 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 1173 0 0 0 9 0 0 0 20 0 1 0 17792187 28364800 936 33554432000 4194304 5970956 140723823374416 140723823369448 5417055 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 6925 936 725 434 0 289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27700 [startup+0.200246 s] /proc/loadavg: 2.00 2.01 2.05 2/186 7654 /proc/meminfo: memFree=31888352/32770624 swapFree=6312/23404 [pid=7654] ppid=7651 vsize=28612 CPUtime=0.19 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 1478 0 0 0 19 0 0 0 20 0 1 0 17792187 29298688 1113 33554432000 4194304 5970956 140723823374416 140723823371016 5417067 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 7153 1113 725 434 0 517 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28612 [startup+0.300241 s] /proc/loadavg: 2.00 2.01 2.05 2/186 7654 /proc/meminfo: memFree=31888352/32770624 swapFree=6312/23404 [pid=7654] ppid=7651 vsize=29908 CPUtime=0.29 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 1920 0 0 0 29 0 0 0 20 0 1 0 17792187 30625792 1403 33554432000 4194304 5970956 140723823374416 140723823371016 5417044 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 7477 1403 725 434 0 841 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29908 [startup+0.700175 s] /proc/loadavg: 2.00 2.01 2.05 2/186 7654 /proc/meminfo: memFree=31888352/32770624 swapFree=6312/23404 [pid=7654] ppid=7651 vsize=33820 CPUtime=0.69 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 3307 0 0 0 69 0 0 0 20 0 1 0 17792187 34631680 2379 33554432000 4194304 5970956 140723823374416 140723823371016 140228943571941 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 8455 2379 725 434 0 1819 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33820 [startup+1.50018 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7655 /proc/meminfo: memFree=31877112/32770624 swapFree=6312/23572 [pid=7654] ppid=7651 vsize=53672 CPUtime=1.49 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 5423 0 0 0 148 1 0 0 20 0 1 0 17792187 54960128 5791 33554432000 4194304 5970956 140723823374416 140723823371016 5415719 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 13418 5791 725 434 0 6782 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 53672 [startup+3.10021 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7655 /proc/meminfo: memFree=31866444/32770624 swapFree=6312/23572 [pid=7654] ppid=7651 vsize=68788 CPUtime=3.09 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 8214 0 0 0 307 2 0 0 20 0 1 0 17792187 70438912 8541 33554432000 4194304 5970956 140723823374416 140723823371016 140228944010240 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 17197 8541 725 434 0 10561 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 68788 [startup+6.30028 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7655 /proc/meminfo: memFree=30842260/32770624 swapFree=6312/23580 [pid=7654] ppid=7651 vsize=1075744 CPUtime=6.28 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 188435 0 0 0 601 27 0 0 20 0 1 0 17792187 1101561856 261836 33554432000 4194304 5970956 140723823374416 140723823371672 4934354 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261836 780 434 0 262300 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1075744 [startup+12.7003 s] /proc/loadavg: 2.08 2.03 2.05 3/187 7655 /proc/meminfo: memFree=30841732/32770624 swapFree=6312/23592 [pid=7654] ppid=7651 vsize=1075744 CPUtime=12.68 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 268207 0 0 0 1238 30 0 0 20 0 1 0 17792187 1101561856 261836 33554432000 4194304 5970956 140723823374416 140723823371672 4934318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261836 780 434 0 262300 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1075744 [startup+25.5003 s] /proc/loadavg: 2.14 2.05 2.05 3/187 7655 /proc/meminfo: memFree=30841732/32770624 swapFree=6312/23608 [pid=7654] ppid=7651 vsize=1075744 CPUtime=25.47 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 345693 0 0 0 2513 34 0 0 20 0 1 0 17792187 1101561856 261840 33554432000 4194304 5970956 140723823374416 140723823371752 4934318 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261840 783 434 0 262300 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 1075744 [startup+51.1004 s] /proc/loadavg: 2.09 2.04 2.05 3/187 7655 /proc/meminfo: memFree=30841608/32770624 swapFree=6312/23624 [pid=7654] ppid=7651 vsize=1075744 CPUtime=51.05 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 423456 0 0 0 5067 38 0 0 20 0 1 0 17792187 1101561856 261841 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261841 783 434 0 262300 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 1075744 [startup+102.3 s] /proc/loadavg: 2.04 2.04 2.05 3/187 7656 /proc/meminfo: memFree=30840092/32770624 swapFree=6312/23692 [pid=7654] ppid=7651 vsize=1075744 CPUtime=102.21 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 491057 0 0 0 10180 41 0 0 20 0 1 0 17792187 1101561856 261843 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261843 783 434 0 262300 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 1075744 [startup+162.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7664 /proc/meminfo: memFree=30838520/32770624 swapFree=6312/23780 [pid=7654] ppid=7651 vsize=1075744 CPUtime=162.18 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 551912 0 0 0 16174 44 0 0 20 0 1 0 17792187 1101561856 261846 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261846 783 434 0 262300 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 1075744 [startup+222.306 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7665 /proc/meminfo: memFree=30838576/32770624 swapFree=6312/23856 [pid=7654] ppid=7651 vsize=1075744 CPUtime=222.15 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 607661 0 0 0 22167 48 0 0 20 0 1 0 17792187 1101561856 261849 33554432000 4194304 5970956 140723823374416 140723823371752 4934310 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261849 783 434 0 262300 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 1075744 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7666 /proc/meminfo: memFree=30838912/32770624 swapFree=6312/23928 [pid=7654] ppid=7651 vsize=1075744 CPUtime=282.11 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 656329 0 0 0 28161 50 0 0 20 0 1 0 17792187 1101561856 261853 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261853 783 434 0 262300 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 1075744 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7667 /proc/meminfo: memFree=30838900/32770624 swapFree=6312/24008 [pid=7654] ppid=7651 vsize=1075744 CPUtime=342.07 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 700030 0 0 0 34154 53 0 0 20 0 1 0 17792187 1101561856 261856 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261856 783 434 0 262300 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 1075744 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7668 /proc/meminfo: memFree=30839000/32770624 swapFree=6312/24076 [pid=7654] ppid=7651 vsize=1075744 CPUtime=402.03 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 739013 0 0 0 40148 55 0 0 20 0 1 0 17792187 1101561856 261860 33554432000 4194304 5970956 140723823374416 140723823371752 4934889 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261860 783 434 0 262300 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 1075744 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7670 /proc/meminfo: memFree=30838988/32770624 swapFree=6312/24152 [pid=7654] ppid=7651 vsize=1075744 CPUtime=462 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 768223 0 0 0 46143 57 0 0 20 0 1 0 17792187 1101561856 261863 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261863 783 434 0 262300 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 1075744 [startup+522.3 s] /proc/loadavg: 2.06 2.03 2.05 3/187 7671 /proc/meminfo: memFree=30838716/32770624 swapFree=6312/24232 [pid=7654] ppid=7651 vsize=1075744 CPUtime=521.96 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 790654 0 0 0 52138 58 0 0 20 0 1 0 17792187 1101561856 261866 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261866 783 434 0 262300 0 Current children cumulated CPU time (s) 521.96 Current children cumulated vsize (KiB) 1075744 [startup+582.3 s] /proc/loadavg: 2.02 2.02 2.05 3/187 7672 /proc/meminfo: memFree=30838708/32770624 swapFree=6312/24300 [pid=7654] ppid=7651 vsize=1075744 CPUtime=581.92 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 804674 0 0 0 58134 58 0 0 20 0 1 0 17792187 1101561856 261870 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 261870 783 434 0 262300 0 Current children cumulated CPU time (s) 581.92 Current children cumulated vsize (KiB) 1075744 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.01 2.04 2.05 3/187 7910 /proc/meminfo: memFree=30947908/32770624 swapFree=6312/25592 [pid=7654] ppid=7651 vsize=1075744 CPUtime=1481.41 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 832671 0 0 0 148079 62 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 1481.41 Current children cumulated vsize (KiB) 1075744 [startup+1542.31 s] /proc/loadavg: 2.12 2.06 2.05 3/187 7911 /proc/meminfo: memFree=30947876/32770624 swapFree=6312/25676 [pid=7654] ppid=7651 vsize=1075744 CPUtime=1541.39 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 834029 0 0 0 154077 62 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934318 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 1541.39 Current children cumulated vsize (KiB) 1075744 [startup+1602.3 s] /proc/loadavg: 2.04 2.05 2.05 3/187 7912 /proc/meminfo: memFree=30947984/32770624 swapFree=6312/25740 [pid=7654] ppid=7651 vsize=1075744 CPUtime=1601.36 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 835691 0 0 0 160073 63 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934366 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 1601.36 Current children cumulated vsize (KiB) 1075744 [startup+1662.3 s] /proc/loadavg: 2.02 2.04 2.05 3/187 7913 /proc/meminfo: memFree=30948048/32770624 swapFree=6312/25820 [pid=7654] ppid=7651 vsize=1075744 CPUtime=1661.32 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 837035 0 0 0 166069 63 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934357 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 1661.32 Current children cumulated vsize (KiB) 1075744 [startup+1722.3 s] /proc/loadavg: 2.01 2.04 2.05 3/187 7914 /proc/meminfo: memFree=30947872/32770624 swapFree=6312/25884 [pid=7654] ppid=7651 vsize=1075744 CPUtime=1721.29 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 838694 0 0 0 172066 63 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4933193 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 1721.29 Current children cumulated vsize (KiB) 1075744 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 7915 /proc/meminfo: memFree=30947412/32770624 swapFree=6312/25976 [pid=7654] ppid=7651 vsize=1075744 CPUtime=1781.26 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 840017 0 0 0 178063 63 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 1781.26 Current children cumulated vsize (KiB) 1075744 [startup+1842.3 s] /proc/loadavg: 2.08 2.04 2.05 3/187 7916 /proc/meminfo: memFree=30947372/32770624 swapFree=6312/26052 [pid=7654] ppid=7651 vsize=1075744 CPUtime=1841.22 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 841745 0 0 0 184059 63 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 1841.22 Current children cumulated vsize (KiB) 1075744 [startup+1902.3 s] /proc/loadavg: 2.03 2.03 2.05 3/187 7917 /proc/meminfo: memFree=30947644/32770624 swapFree=6312/26132 [pid=7654] ppid=7651 vsize=1075744 CPUtime=1901.2 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 843458 0 0 0 190056 64 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 1901.2 Current children cumulated vsize (KiB) 1075744 [startup+1962.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7925 /proc/meminfo: memFree=30946932/32770624 swapFree=6312/26200 [pid=7654] ppid=7651 vsize=1075744 CPUtime=1961.16 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 844750 0 0 0 196052 64 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934318 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 1961.16 Current children cumulated vsize (KiB) 1075744 [startup+2022.3 s] /proc/loadavg: 2.14 2.06 2.05 3/187 7926 /proc/meminfo: memFree=30947000/32770624 swapFree=6312/26280 [pid=7654] ppid=7651 vsize=1075744 CPUtime=2021.13 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 846112 0 0 0 202049 64 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 2021.13 Current children cumulated vsize (KiB) 1075744 [startup+2082.3 s] /proc/loadavg: 2.05 2.04 2.05 3/187 7927 /proc/meminfo: memFree=30947384/32770624 swapFree=6312/26356 [pid=7654] ppid=7651 vsize=1075744 CPUtime=2081.11 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 847793 0 0 0 208046 65 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 2081.11 Current children cumulated vsize (KiB) 1075744 [startup+2142.3 s] /proc/loadavg: 2.02 2.04 2.05 3/187 7928 /proc/meminfo: memFree=30947384/32770624 swapFree=6312/26432 [pid=7654] ppid=7651 vsize=1075744 CPUtime=2141.07 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 849112 0 0 0 214042 65 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934318 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 2141.07 Current children cumulated vsize (KiB) 1075744 [startup+2202.31 s] /proc/loadavg: 2.01 2.03 2.05 3/186 7929 /proc/meminfo: memFree=30948404/32770624 swapFree=6312/26488 [pid=7654] ppid=7651 vsize=1075744 CPUtime=2201.04 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 850379 0 0 0 220039 65 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 2201.04 Current children cumulated vsize (KiB) 1075744 [startup+2262.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 7932 /proc/meminfo: memFree=30947712/32770624 swapFree=6312/26508 [pid=7654] ppid=7651 vsize=1075744 CPUtime=2261 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 852023 0 0 0 226035 65 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934318 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 2261 Current children cumulated vsize (KiB) 1075744 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7933 /proc/meminfo: memFree=30947752/32770624 swapFree=6312/26540 [pid=7654] ppid=7651 vsize=1075744 CPUtime=2320.98 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 853796 0 0 0 232032 66 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934318 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 2320.98 Current children cumulated vsize (KiB) 1075744 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7934 /proc/meminfo: memFree=30947468/32770624 swapFree=6312/26592 [pid=7654] ppid=7651 vsize=1075744 CPUtime=2380.95 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 855027 0 0 0 238029 66 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934327 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 2380.95 Current children cumulated vsize (KiB) 1075744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.41 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7935 /proc/meminfo: memFree=30947220/32770624 swapFree=6312/26616 [pid=7654] ppid=7651 vsize=1075744 CPUtime=2400.04 cores=1,3,5,7 /proc/7654/stat : 7654 (cosoco) R 7651 7654 5313 0 -1 4202496 855285 0 0 0 239938 66 0 0 20 0 1 0 17792187 1101561856 262382 33554432000 4194304 5970956 140723823374416 140723823371752 4934318 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 10571776 140723823375548 140723823375683 140723823375683 140723823378382 0 /proc/7654/statm: 268936 262382 783 434 0 262300 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 1075744 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 7654 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2401.41 CPU time (s): 2400.05 CPU user time (s): 2399.39 CPU system time (s): 0.664626 CPU usage (%): 99.9434 Max. virtual memory (cumulated for all children) (KiB): 1075744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.39 system time used= 0.664626 maximum resident set size= 1049576 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 855305 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= 21 involuntary context switches= 120733 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.74227 second user time and 12.9661 second system time The end
Begin job on node104 at 2017-07-21 11:47:32 IDJOB=4241251 IDBENCH=126262 IDSOLVER=2621 FILE ID=node104/4241251-1500630451 RUNJOBID= node104-1500623789-5345 PBS_JOBID= 20623023 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-11.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241251-1500630451/watcher-4241251-1500630451 -o /tmp/evaluation-result-4241251-1500630451/solver-4241251-1500630451 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5345 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241251-1500630451.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54c76fdae941ec7bb7c4ecbc2f20b5a0 RANDOM SEED=2124666721 node104.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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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 : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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 : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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 : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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 : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31888956 kB MemAvailable: 31893120 kB Buffers: 125908 kB Cached: 164596 kB SwapCached: 0 kB Active: 364552 kB Inactive: 94320 kB Active(anon): 117132 kB Inactive(anon): 70916 kB Active(file): 247420 kB Inactive(file): 23404 kB Unevictable: 6312 kB Mlocked: 6312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 13976 kB Writeback: 280 kB AnonPages: 194836 kB Mapped: 34184 kB Shmem: 17044 kB Slab: 123640 kB SReclaimable: 98352 kB SUnreclaim: 25288 kB KernelStack: 3360 kB PageTables: 5168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 453536 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 139264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62008 MiB End job on node104 at 2017-07-21 12:27:33