| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.1001 | 2520.01 |
| 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.39/5.51 c SAT : Variables: 594 -- Clauses: 3024 14.39/14.51 c root propagations : 108 14.39/14.51 c restarts enabled, print stats at every restarts 14.39/14.51 c 14.39/14.51 c 14.39/14.51 c 14.39/14.51 c This is cosoco 1.12 -- 14.39/14.51 c 14.39/14.51 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266418-1502576405.xml 14.39/14.51 c ========================================[ Problem Statistics ]=========================================== 14.39/14.51 c | 14.39/14.51 c | Parse time : 5.15 s 14.39/14.51 c | 14.39/14.51 c | Variables: 54 14.39/14.51 c | Domain Sizes: 11..11 14.39/14.51 c | 14.39/14.51 c | Constraints: 189 14.39/14.51 c | Arity: 2..6 -- Binary: 36 14.39/14.51 c | 14.39/14.51 c | Types: 14.39/14.51 c | (X - Y < k): 36 14.39/14.51 c | Extension: 153 (nb tuples: 831600..831600) -- (shared: 152) 14.39/14.51 c | 14.39/14.51 c ========================================================================================================= 14.39/14.51 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 17.10/17.24 c 10 22 1367 320 54 10 7 13 8 20.79/20.95 c 20 50 2197 576 54 20 4 19 10 24.80/24.94 c 30 84 3148 825 54 30 4 25 11 28.70/28.87 c 40 111 3881 1016 54 40 4 18 9 32.40/32.52 c 50 139 4725 1218 54 50 9 19 14 36.20/36.33 c 60 173 5750 1475 54 60 6 25 18 40.50/40.69 c 70 207 6683 1725 54 70 4 25 12 44.41/44.59 c 80 247 7857 2015 54 80 3 31 20 48.10/48.28 c 90 275 8594 2207 54 90 2 19 9 52.20/52.38 c 100 315 9816 2505 54 100 3 31 19 52.70/52.84 c 101 318 9875 2527 54 101 3 3 1 56.80/56.99 c 110 345 10633 2716 54 110 4 19 11 61.20/61.37 c 120 382 11747 2975 54 120 3 28 16 65.70/65.82 c 130 422 12941 3263 54 130 3 31 18 69.60/69.71 c 140 462 14058 3554 54 140 4 31 18 73.91/74.02 c 150 502 15283 3865 54 150 13 31 21 77.70/77.82 c 160 533 16222 4097 54 160 6 22 14 81.92/82.03 c 170 561 17075 4306 54 170 3 19 13 86.30/86.49 c 180 598 18188 4582 54 180 6 28 20 90.30/90.47 c 190 623 18900 4770 54 190 4 16 9 94.21/94.32 c 200 655 19964 5003 54 197 19 23 20 98.20/98.39 c 210 698 21243 5312 54 207 16 34 21 98.80/98.97 c 211 700 21308 5341 54 208 2 2 1 103.70/103.83 c 220 736 22389 5625 54 217 10 28 17 108.01/108.12 c 230 770 23484 5894 54 227 19 25 20 112.20/112.36 c 240 804 24494 6143 54 237 6 25 17 116.50/116.65 c 250 844 25745 6448 54 247 16 31 22 120.40/120.53 c 260 878 26761 6687 54 257 15 25 17 124.80/124.90 c 270 915 27895 6990 54 267 3 28 18 129.10/129.23 c 280 955 29098 7277 54 277 6 31 19 133.51/133.65 c 290 995 30355 7574 54 287 12 31 20 137.81/137.96 c 300 1026 31349 7814 54 297 16 22 18 142.41/142.54 c 310 1066 32594 8123 54 307 10 31 18 146.70/146.86 c 320 1097 33606 8361 54 317 14 22 17 151.11/151.26 c 330 1134 34702 8625 54 327 10 28 18 153.02/153.17 c 332 1144 35042 8689 54 329 9 9 6 156.71/156.88 c 340 1179 36050 8921 54 337 3 28 17 161.11/161.22 c 350 1222 37354 9226 54 347 16 34 21 165.50/165.63 c 360 1262 38674 9532 54 357 2 31 19 170.20/170.31 c 370 1302 39930 9824 54 367 10 31 18 174.50/174.68 c 380 1339 41118 10088 54 377 8 28 18 179.10/179.23 c 390 1373 42158 10332 54 387 10 25 15 183.40/183.56 c 400 1413 43358 10634 54 397 3 31 19 187.10/187.28 c 410 1453 44442 10920 54 407 10 31 19 190.91/191.10 c 420 1484 45435 11151 54 417 19 22 18 195.20/195.39 c 430 1524 46668 11446 54 427 19 31 22 199.50/199.70 c 440 1567 48020 11758 54 437 22 34 25 203.80/203.97 c 450 1604 49224 12022 54 447 15 28 17 208.30/208.44 c 460 1641 50381 12303 54 457 16 28 20 211.40/211.60 c 465 1664 51102 12451 54 462 16 19 14 214.70/214.88 c 470 1690 51905 12620 54 467 19 22 16 218.91/219.04 c 480 1728 53109 12902 54 477 19 29 22 222.50/222.63 c 490 1768 54276 13198 54 487 28 31 26 225.70/225.85 c 500 1802 55202 13429 54 497 19 25 19 230.01/230.12 c 510 1845 56519 13750 54 507 19 34 25 233.91/234.03 c 520 1876 57342 13958 54 517 2 22 12 238.50/238.66 c 530 1910 58407 14205 54 527 16 25 18 242.91/243.05 c 540 1950 59670 14515 54 537 19 31 23 246.80/246.92 c 550 1993 60912 14828 54 547 25 34 26 250.51/250.68 c 560 2027 61821 15060 54 557 7 25 17 255.01/255.16 c 570 2061 62934 15312 54 567 13 25 18 259.70/259.80 c 580 2104 64306 15631 54 577 16 34 22 263.91/264.09 c 590 2144 65440 15908 54 587 10 31 18 268.21/268.34 c 600 2178 66520 16157 54 597 19 25 19 272.71/272.82 c 610 2212 67584 16402 54 607 19 25 20 274.61/274.77 c 611 2225 68030 16473 54 608 13 13 6 279.02/279.11 c 620 2264 69249 16745 54 617 13 31 21 283.31/283.46 c 630 2308 70647 17067 54 627 22 35 28 287.81/287.92 c 640 2342 71752 17328 54 637 14 25 16 292.31/292.48 c 650 2385 73114 17650 54 647 22 34 26 296.31/296.46 c 660 2416 74004 17872 54 657 13 22 15 300.61/300.73 c 670 2456 75247 18164 54 667 16 31 22 305.21/305.34 c 680 2499 76574 18472 54 677 19 34 22 308.92/309.03 c 690 2536 77655 18721 54 687 22 28 22 313.51/313.60 c 700 2576 78899 18999 54 697 16 31 19 318.02/318.16 c 710 2619 80263 19322 54 707 22 34 25 322.02/322.11 c 720 2662 81517 19623 54 717 19 34 23 326.21/326.33 c 730 2693 82492 19852 54 727 16 22 17 330.61/330.71 c 740 2733 83724 20130 54 737 19 31 22 334.41/334.56 c 750 2770 84905 20385 54 747 22 28 22 338.81/338.90 c 760 2810 86130 20658 54 757 19 31 22 343.11/343.29 c 770 2854 87562 20986 54 767 28 35 28 346.11/346.26 c 771 2888 88554 21198 54 768 34 34 17 350.11/350.24 c 780 2935 90128 21542 54 775 35 38 32 354.41/354.55 c 790 2975 91303 21832 54 785 2 31 17 358.72/358.85 c 800 3016 92617 22128 54 795 25 32 25 362.82/362.94 c 810 3056 93853 22423 54 805 22 31 24 367.03/367.14 c 820 3099 95121 22734 54 815 19 34 23 370.72/370.80 c 830 3142 96560 23020 54 820 31 32 28 375.51/375.60 c 840 3185 97871 23340 54 830 6 34 22 379.31/379.45 c 850 3236 99601 23675 54 838 38 40 34 383.31/383.46 c 860 3271 100599 23932 54 848 2 26 16 388.02/388.14 c 870 3313 102092 24235 54 855 13 32 27 391.61/391.71 c 880 3359 103485 24564 54 865 34 37 32 396.11/396.21 c 890 3396 104759 24829 54 875 2 28 18 401.02/401.18 c 900 3439 106176 25171 54 885 22 34 25 405.92/406.05 c 910 3479 107447 25471 54 895 16 31 22 409.41/409.59 c 920 3529 108952 25830 54 899 37 40 35 413.31/413.45 c 930 3566 109944 26083 54 909 13 28 19 417.61/417.75 c 940 3615 111674 26435 54 918 37 38 34 421.71/421.83 c 947 3640 112516 26620 54 925 5 19 10 424.61/424.75 c 950 3652 112945 26700 54 928 6 10 6 429.81/429.93 c 960 3695 114316 27034 54 938 19 34 24 434.61/434.74 c 970 3746 116013 27398 54 946 31 40 29 438.81/438.94 c 980 3789 117259 27712 54 956 19 34 24 444.02/444.11 c 990 3823 118354 27980 54 966 4 25 14 447.72/447.84 c 1000 3876 120174 28377 54 967 40 41 36 451.62/451.76 c 1010 3926 121794 28732 54 976 35 41 35 455.22/455.35 c 1020 3951 122475 28919 54 986 7 16 11 460.42/460.54 c 1030 3982 123515 29166 54 996 16 22 17 464.32/464.47 c 1040 4032 125028 29551 54 1000 40 40 36 468.03/468.15 c 1050 4081 126611 29885 54 1010 37 40 35 472.93/473.03 c 1060 4121 127962 30191 54 1020 19 31 21 478.22/478.32 c 1070 4161 129270 30508 54 1030 10 31 21 482.52/482.64 c 1080 4192 130194 30739 54 1040 5 22 13 487.62/487.75 c 1090 4235 131606 31076 54 1050 10 34 22 491.93/492.09 c 1100 4266 132529 31295 54 1060 5 22 13 496.42/496.50 c 1110 4306 133828 31577 54 1070 25 31 24 500.22/500.36 c 1120 4349 135172 31888 54 1080 22 34 27 504.72/504.89 c 1130 4402 137084 32303 54 1085 39 41 36 508.62/508.75 c 1140 4440 138133 32563 54 1095 7 29 19 511.82/511.99 c 1141 4480 139337 32824 54 1096 40 40 20 515.82/515.97 c 1150 4519 140477 33105 54 1105 19 31 21 520.32/520.46 c 1160 4553 141474 33341 54 1115 5 25 13 525.62/525.78 c 1170 4596 142907 33679 54 1125 16 34 22 529.43/529.57 c 1180 4636 144158 33967 54 1135 22 31 26 534.32/534.46 c 1190 4664 145108 34185 54 1145 13 19 14 539.23/539.38 c 1200 4711 146724 34540 54 1153 22 37 26 542.83/542.99 c 1210 4754 148018 34829 54 1163 31 34 29 547.23/547.39 c 1220 4806 149941 35212 54 1166 34 40 35 550.94/551.10 c 1230 4856 151510 35575 54 1176 34 41 34 555.73/555.85 c 1240 4886 152563 35821 54 1186 15 21 16 560.43/560.52 c 1250 4927 153954 36129 54 1196 28 32 26 564.83/564.97 c 1260 4964 155149 36415 54 1206 6 28 20 569.73/569.85 c 1270 4999 156381 36685 54 1214 22 25 21 574.94/575.01 c 1280 5040 157771 37005 54 1223 19 32 24 578.73/578.82 c 1290 5077 158777 37260 54 1233 19 28 22 583.23/583.36 c 1300 5119 160221 37568 54 1242 25 32 26 587.73/587.80 c 1310 5159 161585 37864 54 1252 13 31 24 592.73/592.81 c 1320 5200 162965 38167 54 1260 22 31 22 596.43/596.59 c 1330 5237 163950 38419 54 1270 10 28 19 601.63/601.72 c 1340 5274 165139 38701 54 1280 13 28 18 606.33/606.40 c 1350 5314 166362 38992 54 1290 5 31 19 608.13/608.27 c 1352 5328 166747 39079 54 1292 13 13 8 613.04/613.16 c 1360 5354 167664 39297 54 1300 13 19 14 617.23/617.30 c 1370 5388 168601 39532 54 1310 7 25 15 621.63/621.72 c 1380 5427 170003 39813 54 1316 28 29 26 625.23/625.39 c 1390 5458 170921 40043 54 1326 13 22 18 629.53/629.67 c 1400 5494 172208 40305 54 1333 25 26 23 634.13/634.20 c 1410 5525 173247 40556 54 1343 13 22 16 638.23/638.38 c 1420 5558 174438 40803 54 1349 22 23 20 642.23/642.39 c 1430 5595 175658 41067 54 1359 22 28 23 647.63/647.70 c 1440 5626 176669 41312 54 1369 6 22 13 651.53/651.64 c 1450 5663 177715 41566 54 1379 19 28 19 655.83/656.00 c 1460 5712 179357 41911 54 1389 29 40 30 659.53/659.65 c 1470 5743 180292 42146 54 1399 19 22 18 664.33/664.47 c 1480 5780 181489 42436 54 1409 19 28 19 668.83/668.94 c 1490 5820 182716 42722 54 1419 16 31 20 673.53/673.65 c 1500 5854 183846 42977 54 1429 13 25 18 677.23/677.34 c 1510 5897 185112 43281 54 1439 31 34 29 681.73/681.84 c 1520 5925 186076 43501 54 1449 9 19 12 685.63/685.74 c 1530 5965 187252 43786 54 1459 16 31 23 690.63/690.71 c 1540 5996 188310 44030 54 1469 16 22 17 694.63/694.74 c 1550 6033 189598 44297 54 1479 23 28 23 698.83/698.91 c 1560 6066 190772 44536 54 1485 22 23 20 702.83/702.96 c 1570 6106 192081 44816 54 1495 25 31 24 707.43/707.51 c 1580 6131 192967 45014 54 1505 5 16 10 710.33/710.42 c 1585 6154 193616 45162 54 1510 10 19 11 713.94/714.10 c 1590 6174 194319 45314 54 1515 10 16 10 717.83/717.94 c 1600 6214 195502 45595 54 1525 19 31 25 722.23/722.35 c 1610 6239 196387 45809 54 1535 9 16 11 726.04/726.16 c 1620 6282 197687 46107 54 1545 22 34 23 730.33/730.47 c 1630 6316 198693 46343 54 1555 8 25 14 734.94/735.03 c 1640 6344 199676 46582 54 1565 10 19 14 739.94/740.08 c 1650 6372 200636 46820 54 1575 3 19 12 745.04/745.12 c 1660 6406 201765 47106 54 1585 10 25 16 749.95/750.09 c 1670 6434 202716 47344 54 1595 3 19 12 754.74/754.89 c 1680 6470 204017 47624 54 1604 19 26 21 759.14/759.29 c 1690 6501 204933 47845 54 1614 5 22 12 764.34/764.43 c 1700 6538 206170 48138 54 1624 13 28 16 767.95/768.06 c 1710 6578 207427 48418 54 1634 28 31 26 772.95/773.04 c 1720 6606 208384 48656 54 1644 3 19 12 777.75/777.88 c 1730 6644 209735 48955 54 1652 22 28 21 782.55/782.63 c 1740 6680 211034 49235 54 1661 19 26 21 786.45/786.56 c 1750 6723 212373 49546 54 1671 22 34 26 790.35/790.44 c 1760 6766 213721 49863 54 1681 25 34 27 795.55/795.68 c 1770 6806 214970 50177 54 1691 3 31 16 800.35/800.40 c 1780 6841 216246 50455 54 1699 22 25 21 805.06/805.17 c 1790 6881 217607 50763 54 1709 19 31 21 809.55/809.67 c 1800 6918 218738 51036 54 1719 10 28 17 814.15/814.28 c 1810 6950 219924 51291 54 1727 19 23 19 817.75/817.85 c 1820 6999 221390 51643 54 1737 34 40 34 821.35/821.42 c 1830 7024 222280 51845 54 1747 9 16 11 826.35/826.47 c 1840 7061 223465 52149 54 1757 3 28 16 829.75/829.83 c 1841 7086 224407 52308 54 1758 25 25 12 833.96/834.08 c 1850 7131 225945 52645 54 1767 31 37 29 838.65/838.71 c 1860 7171 227198 52948 54 1777 8 31 18 842.35/842.45 c 1870 7208 228346 53210 54 1787 25 28 23 846.85/847.00 c 1880 7245 229654 53496 54 1797 25 28 23 851.75/851.82 c 1890 7288 231136 53833 54 1807 17 34 24 855.96/856.01 c 1900 7315 232049 54048 54 1817 9 18 12 859.65/859.73 c 1910 7367 233639 54428 54 1826 37 40 34 863.96/864.10 c 1920 7395 234645 54657 54 1836 12 19 14 868.45/868.58 c 1930 7435 235863 54963 54 1846 13 31 20 872.96/873.03 c 1940 7475 237260 55264 54 1856 25 31 25 877.45/877.59 c 1950 7526 239123 55668 54 1866 34 41 34 881.25/881.30 c 1960 7557 239951 55887 54 1876 4 22 12 885.85/885.90 c 1970 7597 241340 56194 54 1886 25 31 24 890.35/890.44 c 1980 7643 242937 56547 54 1896 31 37 30 894.45/894.57 c 1990 7692 244529 56921 54 1906 25 40 30 898.85/898.98 c 2000 7726 245574 57164 54 1916 11 25 15 903.35/903.40 c 2010 7760 246778 57424 54 1926 22 25 21 907.55/907.68 c 2020 7803 248262 57739 54 1936 28 34 27 911.65/911.79 c 2030 7849 249820 58061 54 1946 19 37 29 915.35/915.43 c 2040 7886 250871 58315 54 1956 19 28 21 919.75/919.84 c 2050 7932 252486 58672 54 1966 34 37 32 923.45/923.51 c 2060 7975 253756 58975 54 1976 28 34 28 927.85/927.96 c 2070 8020 255389 59314 54 1984 34 35 31 932.06/932.11 c 2080 8066 256961 59651 54 1994 28 37 30 936.06/936.11 c 2090 8093 257875 59877 54 2004 3 18 12 940.76/940.89 c 2100 8136 259341 60210 54 2014 28 34 27 944.56/944.69 c 2110 8182 260742 60543 54 2024 28 37 29 948.46/948.53 c 2120 8222 261982 60823 54 2034 22 31 24 951.26/951.30 c 2122 8251 262864 60997 54 2036 25 28 17 954.76/954.81 c 2130 8283 263847 61225 54 2044 22 25 21 958.86/958.90 c 2140 8333 265648 61580 54 2052 37 40 34 963.07/963.14 c 2150 8376 267020 61895 54 2062 20 34 24 967.76/967.81 c 2160 8419 268511 62225 54 2072 28 34 28 971.26/971.38 c 2170 8453 269507 62467 54 2082 22 25 21 975.56/975.66 c 2180 8498 271140 62802 54 2089 34 35 31 980.46/980.58 c 2190 8535 272342 63101 54 2099 3 28 15 984.26/984.30 c 2200 8563 273103 63301 54 2109 4 19 12 988.16/988.22 c 2210 8610 274809 63619 54 2116 34 37 31 992.66/992.70 c 2220 8656 276281 63963 54 2126 17 37 25 996.36/996.41 c 2230 8684 277093 64180 54 2136 13 19 14 1000.86/1000.98 c 2240 8727 278577 64510 54 2146 31 34 29 1004.66/1004.79 c 2250 8773 279944 64832 54 2156 28 37 29 1009.16/1009.26 c 2260 8813 281394 65136 54 2166 21 31 24 1013.26/1013.37 c 2270 8864 283242 65504 54 2176 35 41 33 1017.86/1017.90 c 2280 8904 284376 65788 54 2186 4 31 15 1021.86/1021.92 c 2290 8955 286254 66160 54 2195 37 41 34 1025.97/1026.02 c 2300 9002 287832 66495 54 2204 34 38 33 1029.56/1029.67 c 2310 9036 288844 66745 54 2214 22 25 21 1033.56/1033.66 c 2320 9089 290839 67105 54 2215 40 41 37 1037.97/1038.02 c 2330 9123 291840 67350 54 2225 5 25 15 1041.97/1042.02 c 2340 9175 293808 67723 54 2226 40 41 36 1045.97/1046.07 c 2350 9218 295140 68031 54 2236 16 34 26 1050.36/1050.40 c 2360 9258 296566 68330 54 2246 28 31 26 1054.36/1054.49 c 2370 9311 298568 68718 54 2252 40 41 36 1057.86/1057.95 c 2380 9361 300313 69043 54 2260 38 40 35 1061.66/1061.78 c 2390 9401 301539 69325 54 2270 22 31 22 1065.76/1065.88 c 2400 9454 303559 69714 54 2276 40 41 36 1069.26/1069.36 c 2410 9508 305510 70096 54 2283 40 41 36 1073.97/1074.07 c 2420 9539 306535 70340 54 2293 12 22 14 1078.76/1078.84 c 2430 9576 307702 70625 54 2303 13 28 20 1082.56/1082.61 c 2431 9617 309183 70896 54 2304 41 41 20 1086.76/1086.80 c 2440 9662 310547 71231 54 2313 25 37 28 1090.46/1090.58 c 2450 9708 311931 71562 54 2323 25 37 29 1094.47/1094.56 c 2460 9754 313464 71895 54 2333 31 37 30 1098.77/1098.84 c 2470 9791 314697 72174 54 2343 22 28 22 1102.77/1102.86 c 2480 9837 316395 72498 54 2349 34 35 31 1107.08/1107.15 c 2490 9877 317717 72796 54 2359 28 31 26 1111.17/1111.25 c 2500 9931 319794 73188 54 2365 40 41 37 1115.27/1115.38 c 2510 9977 321232 73523 54 2375 22 37 28 1118.98/1119.07 c 2520 10020 322539 73833 54 2385 31 34 29 1123.97/1124.03 c 2530 10064 323975 74182 54 2395 25 35 27 1128.27/1128.30 c 2540 10101 325214 74461 54 2405 25 28 23 1132.27/1132.35 c 2550 10150 326938 74833 54 2409 35 40 35 1137.27/1137.32 c 2560 10187 328114 75130 54 2419 19 28 21 1140.98/1141.07 c 2570 10224 329100 75372 54 2429 13 28 17 1145.17/1145.21 c 2580 10277 331107 75762 54 2435 40 41 36 1148.87/1148.91 c 2590 10326 332809 76070 54 2442 37 38 34 1152.87/1153.00 c 2600 10369 334224 76378 54 2452 28 34 27 1157.08/1157.17 c 2610 10420 336073 76724 54 2461 35 40 32 1161.47/1161.54 c 2620 10457 337440 77017 54 2471 25 28 24 1165.47/1165.58 c 2630 10509 339409 77391 54 2472 40 41 36 1169.67/1169.76 c 2640 10552 340718 77707 54 2482 22 34 23 1174.27/1174.38 c 2650 10590 341968 77993 54 2491 19 29 22 1178.27/1178.30 c 2660 10621 342823 78207 54 2501 10 22 15 1183.17/1183.28 c 2670 10658 344022 78504 54 2511 16 28 21 1186.67/1186.76 c 2680 10707 345531 78868 54 2515 34 40 35 1190.87/1190.90 c 2690 10746 346859 79143 54 2522 13 29 23 1195.17/1195.22 c 2700 10774 347733 79368 54 2532 3 19 13 1199.27/1199.31 c 2710 10826 349688 79742 54 2533 40 41 36 1203.08/1203.11 c 2720 10875 351272 80096 54 2543 34 40 33 1207.37/1207.47 c 2730 10918 352917 80440 54 2553 28 32 28 1212.17/1212.25 c 2740 10956 354115 80739 54 2563 13 29 20 1216.67/1216.71 c 2750 10988 355215 80993 54 2573 19 23 19 1220.87/1220.92 c 2760 11022 356325 81243 54 2583 22 25 21 1224.98/1225.10 c 2770 11071 358085 81614 54 2593 37 40 35 1228.57/1228.68 c 2771 11103 359337 81828 54 2594 32 32 16 1232.67/1232.73 c 2780 11141 360629 82105 54 2602 25 29 24 1235.98/1236.10 c 2790 11175 361869 82333 54 2610 23 24 21 1240.09/1240.17 c 2800 11227 363838 82712 54 2611 40 41 36 1243.48/1243.56 c 2810 11279 365587 83065 54 2618 37 40 35 1247.28/1247.39 c 2820 11319 366790 83361 54 2628 28 31 26 1250.58/1250.67 c 2830 11371 368613 83740 54 2630 37 41 36 1255.48/1255.50 c 2840 11408 369804 84038 54 2640 13 28 20 1259.68/1259.78 c 2850 11442 370741 84271 54 2650 4 25 12 1263.88/1263.91 c 2860 11481 372091 84537 54 2658 16 29 22 1268.28/1268.31 c 2870 11517 373378 84816 54 2668 24 27 23 1272.38/1272.40 c 2880 11571 375508 85228 54 2678 37 41 35 1276.09/1276.16 c 2890 11614 376876 85526 54 2688 31 34 29 1280.38/1280.43 c 2900 11663 378499 85892 54 2698 29 40 31 1283.88/1283.93 c 2910 11715 380276 86233 54 2706 34 41 36 1287.58/1287.68 c 2920 11755 381427 86516 54 2716 22 31 24 1291.99/1292.07 c 2930 11798 382849 86840 54 2726 31 34 29 1295.88/1296.00 c 2940 11831 384007 87078 54 2732 22 23 20 1299.99/1300.01 c 2950 11880 385638 87446 54 2736 34 40 34 1303.68/1303.74 c 2960 11919 387010 87708 54 2743 28 29 26 1307.88/1307.91 c 2970 11971 388939 88106 54 2753 27 41 34 1311.48/1311.51 c 2980 12012 390218 88375 54 2761 25 32 25 1314.99/1315.05 c 2990 12055 391459 88668 54 2771 25 34 27 1318.68/1318.79 c 3000 12088 392629 88901 54 2781 23 24 21 1323.09/1323.17 c 3010 12136 394405 89275 54 2788 37 38 34 1326.58/1326.68 c 3020 12185 395870 89621 54 2798 34 40 33 1331.09/1331.17 c 3030 12237 397781 90061 54 2808 37 43 37 1334.78/1334.84 c 3040 12273 398788 90313 54 2818 5 27 15 1338.48/1338.59 c 3050 12301 399604 90528 54 2828 13 19 14 1342.58/1342.60 c 3060 12340 401046 90813 54 2834 28 29 26 1346.09/1346.15 c 3070 12392 402715 91192 54 2842 37 40 35 1350.38/1350.42 c 3080 12430 403880 91459 54 2852 10 29 18 1354.28/1354.31 c 3090 12474 405238 91780 54 2862 25 35 25 1357.88/1357.99 c 3100 12511 406341 92047 54 2872 19 28 22 1362.59/1362.65 c 3110 12545 407486 92310 54 2882 10 25 14 1366.69/1366.70 c 3120 12585 408682 92603 54 2892 19 31 23 1371.39/1371.42 c 3130 12616 409744 92854 54 2902 10 22 13 1375.89/1375.96 c 3140 12647 410806 93102 54 2912 10 22 14 1378.79/1378.87 c 3142 12676 411676 93280 54 2914 28 28 18 1382.89/1382.93 c 3150 12699 412529 93476 54 2922 10 16 12 1387.89/1387.92 c 3160 12727 413489 93717 54 2932 10 19 13 1391.69/1391.70 c 3170 12767 414698 94000 54 2942 22 31 22 1395.39/1395.46 c 3180 12800 415744 94237 54 2952 22 24 20 1400.39/1400.40 c 3190 12831 416854 94491 54 2962 16 22 17 1404.10/1404.18 c 3200 12880 418309 94840 54 2972 31 40 31 1408.79/1408.87 c 3210 12917 419586 95139 54 2982 9 28 16 1413.10/1413.19 c 3220 12945 420436 95333 54 2992 5 19 11 1416.59/1416.70 c 3230 12978 421700 95561 54 2998 22 23 20 1421.49/1421.50 c 3240 13018 423023 95882 54 3008 10 31 18 1425.19/1425.29 c 3250 13064 424446 96203 54 3018 24 37 29 1428.69/1428.75 c 3260 13100 425592 96471 54 3028 25 27 23 1432.79/1432.80 c 3270 13149 427278 96835 54 3038 37 40 35 1437.49/1437.57 c 3280 13180 428356 97096 54 3048 16 22 17 1442.19/1442.22 c 3290 13211 429430 97354 54 3058 10 22 14 1446.49/1446.53 c 3300 13250 430902 97654 54 3066 23 29 24 1450.29/1450.34 c 3310 13284 431918 97904 54 3076 22 25 21 1454.29/1454.32 c 3320 13317 433150 98146 54 3082 22 23 20 1459.10/1459.12 c 3330 13354 434382 98433 54 3092 16 28 20 1463.00/1463.05 c 3340 13400 435760 98764 54 3102 25 37 26 1466.80/1466.85 c 3350 13449 437304 99113 54 3112 31 40 30 1471.20/1471.22 c 3360 13491 438762 99433 54 3121 22 32 26 1474.90/1474.91 c 3370 13528 439906 99701 54 3131 25 28 23 1479.30/1479.39 c 3380 13567 441374 100000 54 3139 25 28 23 1483.40/1483.43 c 3390 13605 442729 100271 54 3149 23 29 23 1487.80/1487.82 c 3400 13639 443763 100514 54 3159 10 25 15 1492.30/1492.39 c 3410 13679 445239 100823 54 3169 28 31 26 1497.11/1497.14 c 3420 13711 446434 101097 54 3177 19 23 19 1500.80/1500.84 c 3430 13760 448001 101460 54 3187 34 40 32 1504.80/1504.82 c 3440 13800 449197 101737 54 3197 19 31 21 1509.90/1509.94 c 3450 13831 450314 102013 54 3207 16 22 17 1513.30/1513.40 c 3460 13887 452202 102405 54 3214 37 41 35 1517.40/1517.45 c 3470 13923 453502 102674 54 3220 25 26 23 1521.20/1521.27 c 3480 13972 454992 103034 54 3230 31 40 30 1524.80/1524.89 c 3490 14015 456312 103335 54 3240 31 34 29 1529.70/1529.71 c 3500 14061 457942 103691 54 3250 28 37 27 1533.01/1533.03 c 3510 14112 459651 104051 54 3255 37 40 35 1537.20/1537.27 c 3520 14146 460593 104287 54 3265 4 25 12 1542.20/1542.27 c 3530 14177 461712 104556 54 3275 16 22 17 1545.70/1545.70 c 3540 14230 463547 104943 54 3281 37 41 35 1550.60/1550.62 c 3550 14267 464768 105239 54 3291 16 28 18 1554.01/1554.09 c 3551 14292 465725 105396 54 3292 25 25 12 1557.40/1557.49 c 3560 14341 467250 105769 54 3295 40 40 36 1561.20/1561.21 c 3570 14381 468480 106055 54 3305 28 31 26 1565.30/1565.39 c 3580 14434 470511 106449 54 3309 31 41 34 1569.60/1569.60 c 3590 14471 471779 106720 54 3319 25 28 23 1574.90/1574.95 c 3600 14499 472750 106967 54 3329 3 19 12 1578.70/1578.74 c 3610 14548 474197 107320 54 3339 31 40 32 1583.30/1583.31 c 3620 14580 475337 107590 54 3349 16 23 18 1587.01/1587.06 c 3630 14614 476396 107834 54 3359 22 25 21 1591.11/1591.14 c 3640 14663 478199 108210 54 3361 37 40 35 1595.11/1595.15 c 3650 14707 479702 108533 54 3371 28 35 30 1599.90/1599.99 c 3660 14735 480677 108779 54 3381 9 19 13 1603.30/1603.34 c 3670 14788 482433 109169 54 3387 40 41 36 1607.30/1607.31 c 3680 14829 483889 109452 54 3395 23 31 24 1611.01/1611.06 c 3690 14862 485159 109691 54 3401 19 23 20 1615.70/1615.75 c 3700 14902 486521 109995 54 3411 19 31 21 1620.30/1620.38 c 3710 14939 487855 110284 54 3421 25 28 23 1624.41/1624.41 c 3720 14988 489640 110654 54 3423 37 40 35 1628.11/1628.17 c 3730 15039 491480 111015 54 3433 35 41 33 1631.41/1631.49 c 3740 15082 492819 111322 54 3443 31 34 30 1635.81/1635.84 c 3750 15133 494740 111721 54 3453 28 41 33 1639.71/1639.74 c 3760 15179 496183 112053 54 3463 28 37 29 1643.51/1643.51 c 3770 15222 497505 112371 54 3473 28 34 27 1647.91/1647.94 c 3780 15268 499094 112724 54 3483 31 37 29 1652.31/1652.34 c 3790 15314 500664 113072 54 3493 26 37 29 1655.71/1655.73 c 3800 15365 502307 113419 54 3502 34 41 34 1659.61/1659.61 c 3810 15411 503716 113758 54 3512 28 37 29 1662.71/1662.75 c 3820 15465 505587 114118 54 3518 37 41 35 1666.21/1666.21 c 3830 15502 506552 114373 54 3528 4 28 19 1670.02/1670.08 c 3840 15556 508572 114782 54 3538 37 41 35 1673.91/1673.94 c 3850 15599 509880 115087 54 3548 25 34 25 1678.02/1678.09 c 3860 15651 511800 115458 54 3555 37 41 36 1681.31/1681.35 c 3870 15704 513611 115810 54 3563 38 41 36 1684.91/1685.00 c 3880 15741 514713 116079 54 3573 25 28 23 1689.31/1689.36 c 3890 15784 516269 116387 54 3583 23 34 24 1692.51/1692.57 c 3900 15837 518158 116744 54 3587 38 41 36 1697.21/1697.26 c 3910 15875 519484 117049 54 3597 22 29 24 1701.61/1701.67 c 3920 15907 520625 117305 54 3607 19 23 19 1705.31/1705.39 c 3930 15953 522029 117630 54 3617 25 37 27 1708.61/1708.67 c 3940 16006 523951 118026 54 3621 40 41 36 1712.61/1712.60 c 3950 16052 525391 118355 54 3631 28 37 27 1715.71/1715.75 c 3960 16108 527488 118753 54 3638 40 41 36 1719.71/1719.78 c 3970 16157 529047 119115 54 3648 28 40 31 1723.31/1723.39 c 3980 16188 529997 119356 54 3658 19 22 18 1727.91/1727.95 c 3990 16227 531507 119654 54 3666 25 28 23 1732.61/1732.69 c 4000 16276 533383 120087 54 3669 37 40 35 1735.71/1735.78 c 4001 16304 534329 120249 54 3670 28 28 14 1740.51/1740.50 c 4010 16346 535851 120570 54 3679 24 34 24 1744.51/1744.52 c 4020 16392 537320 120910 54 3689 25 37 28 1748.91/1748.91 c 4030 16429 538428 121186 54 3699 10 28 17 1753.31/1753.38 c 4040 16473 539970 121522 54 3709 23 34 26 1757.81/1757.86 c 4050 16525 541806 121922 54 3718 37 40 35 1762.02/1762.05 c 4060 16574 543347 122295 54 3728 28 40 31 1766.31/1766.37 c 4070 16611 544620 122574 54 3738 25 28 23 1771.02/1771.08 c 4080 16654 546160 122906 54 3748 27 34 27 1775.71/1775.77 c 4090 16705 548035 123339 54 3753 39 41 36 1779.51/1779.59 c 4100 16757 549776 123711 54 3760 37 40 35 1783.82/1783.80 c 4110 16803 551305 124045 54 3770 28 37 28 1787.62/1787.63 c 4120 16853 552961 124428 54 3776 40 40 36 1792.13/1792.12 c 4130 16905 554810 124832 54 3785 37 40 34 1796.03/1796.04 c 4140 16945 556070 125119 54 3795 25 31 26 1799.92/1799.95 c 4150 17000 558150 125559 54 3799 40 41 36 1804.03/1804.08 c 4160 17047 559641 125916 54 3809 28 38 31 1807.92/1807.96 c 4170 17090 560915 126234 54 3819 25 34 25 1812.32/1812.36 c 4180 17145 563200 126701 54 3820 39 41 36 1815.92/1815.97 c 4190 17191 564628 127041 54 3830 34 37 32 1820.42/1820.43 c 4200 17237 566260 127404 54 3838 34 35 31 1823.82/1823.83 c 4210 17290 568051 127758 54 3845 40 41 37 1827.82/1827.80 c 4220 17333 569311 128078 54 3855 28 34 27 1831.22/1831.22 c 4230 17387 571194 128460 54 3863 40 41 36 1835.03/1835.01 c 4240 17438 572865 128832 54 3871 34 40 32 1838.62/1838.65 c 4250 17472 573922 129072 54 3881 22 25 21 1843.62/1843.65 c 4260 17516 575556 129435 54 3890 31 34 28 1848.52/1848.59 c 4270 17566 577423 129860 54 3900 37 40 34 1852.52/1852.55 c 4280 17611 578942 130180 54 3908 31 35 31 1855.92/1855.98 c 4290 17665 580825 130563 54 3916 40 41 36 1859.62/1859.68 c 4300 17707 582125 130875 54 3926 28 32 27 1862.92/1862.95 c 4310 17761 583942 131241 54 3935 38 41 36 1866.42/1866.40 c 4320 17811 585501 131596 54 3945 32 40 33 1870.03/1870.08 c 4330 17850 586713 131870 54 3954 25 29 25 1873.32/1873.33 c 4340 17904 588598 132244 54 3960 40 41 37 1877.72/1877.77 c 4350 17950 590069 132587 54 3970 19 37 26 1881.92/1881.95 c 4360 18002 592003 132992 54 3976 36 41 34 1886.23/1886.23 c 4370 18045 593446 133310 54 3986 28 34 28 1890.43/1890.43 c 4380 18096 595341 133679 54 3995 37 41 35 1894.43/1894.42 c 4390 18134 596533 133959 54 4002 22 28 20 1898.83/1898.89 c 4400 18168 597531 134197 54 4012 5 25 13 1903.43/1903.42 c 4410 18212 599070 134532 54 4022 28 35 27 1907.43/1907.47 c 4420 18258 600468 134873 54 4032 28 37 29 1912.33/1912.33 c 4430 18311 602531 135301 54 4042 34 41 32 1916.04/1916.08 c 4440 18351 603738 135595 54 4052 28 31 26 1920.93/1920.93 c 4450 18399 605597 135994 54 4062 34 37 31 1924.53/1924.52 c 4460 18450 607375 136360 54 4072 37 41 35 1928.14/1928.17 c 4470 18497 608853 136679 54 4081 29 37 28 1931.83/1931.82 c 4480 18543 610304 137020 54 4091 31 37 32 1936.04/1936.02 c 4490 18597 612435 137412 54 4098 40 41 36 1939.33/1939.30 c 4493 18642 613953 137706 54 4100 40 41 30 1942.63/1942.67 c 4500 18692 615761 138040 54 4101 40 41 35 1947.23/1947.27 c 4510 18735 617124 138363 54 4111 19 34 24 1951.43/1951.49 c 4520 18789 619291 138758 54 4118 40 41 36 1955.04/1955.10 c 4530 18835 620728 139101 54 4128 31 37 32 1959.33/1959.30 c 4540 18889 622890 139494 54 4134 40 41 37 1962.83/1962.85 c 4550 18941 624746 139852 54 4144 37 41 35 1966.23/1966.26 c 4560 18990 626365 140206 54 4146 37 40 35 1970.93/1970.99 c 4570 19030 627601 140507 54 4156 3 31 21 1975.53/1975.52 c 4580 19067 628707 140786 54 4166 10 28 19 1980.23/1980.29 c 4590 19115 630444 141164 54 4176 25 37 30 1984.53/1984.56 c 4600 19168 632527 141554 54 4182 40 41 36 1988.14/1988.18 c 4610 19223 634548 141960 54 4186 40 41 36 1991.83/1991.88 c 4620 19266 635852 142274 54 4196 28 34 27 1996.73/1996.74 c 4630 19314 637646 142656 54 4206 25 37 30 2000.73/2000.73 c 4640 19354 638855 142945 54 4216 22 31 24 2004.63/2004.60 c 4650 19403 640374 143311 54 4226 31 40 30 2007.93/2007.94 c 4660 19452 641868 143655 54 4236 34 40 34 2012.04/2012.09 c 4670 19503 643872 144080 54 4244 35 41 33 2016.04/2016.09 c 4680 19546 645168 144385 54 4254 19 34 24 2020.63/2020.69 c 4690 19592 646774 144740 54 4264 28 37 30 2024.73/2024.77 c 4700 19635 648094 145047 54 4274 25 34 26 2029.04/2029.06 c 4710 19675 649504 145346 54 4284 28 31 26 2034.04/2034.05 c 4720 19723 651291 145735 54 4294 31 37 31 2038.14/2038.17 c 4730 19775 653270 146112 54 4295 40 41 36 2042.73/2042.79 c 4740 19824 654950 146486 54 4305 31 40 31 2047.23/2047.25 c 4750 19867 656300 146807 54 4315 19 34 25 2051.23/2051.24 c 4760 19917 658147 147178 54 4325 31 41 34 2055.53/2055.57 c 4770 19963 659619 147525 54 4335 19 37 28 2059.43/2059.44 c 4780 20019 661894 147941 54 4337 40 41 36 2063.23/2063.27 c 4790 20068 663504 148286 54 4347 34 40 34 2067.04/2067.06 c 4800 20119 665434 148678 54 4357 36 41 35 2071.04/2071.01 c 4810 20168 667000 149015 54 4367 22 40 32 2074.94/2074.98 c 4820 20221 669122 149430 54 4371 40 41 36 2079.54/2079.55 c 4830 20264 670436 149754 54 4381 13 34 20 2083.84/2083.80 c 4840 20310 671864 150090 54 4391 16 37 24 2087.84/2087.83 c 4850 20366 674212 150522 54 4392 40 41 36 2091.84/2091.81 c 4860 20409 675557 150829 54 4402 22 34 24 2095.84/2095.80 c 4870 20452 676909 151157 54 4412 19 34 27 2099.94/2099.90 c 4880 20504 678942 151538 54 4413 40 41 36 2104.74/2104.72 c 4890 20547 680393 151879 54 4423 13 34 22 2108.84/2108.85 c 4900 20593 681845 152205 54 4433 19 37 25 2112.94/2112.94 c 4910 20645 683844 152583 54 4434 40 41 36 2116.74/2116.74 c 4920 20694 685357 152927 54 4444 28 40 29 2120.84/2120.86 c 4930 20740 686827 153251 54 4454 19 37 25 2125.05/2125.10 c 4940 20789 688560 153637 54 4458 37 40 35 2129.15/2129.11 c 4950 20832 689848 153950 54 4468 19 34 25 2133.15/2133.14 c 4960 20883 691908 154344 54 4478 37 41 35 2136.94/2136.98 c 4970 20932 693568 154686 54 4488 37 40 35 2140.94/2140.91 c 4980 20986 695695 155123 54 4492 40 41 36 2144.34/2144.34 c 4990 21039 697583 155480 54 4497 37 41 35 2151.54/2151.60 c 5035 21125 700514 156202 54 4537 13 40 30 2185.35/2185.34 c 5631 21969 730391 165288 54 4570 4 47 40 2223.06/2223.08 c 6286 22947 769158 175744 54 4602 5 41 38 2254.17/2254.14 c 7006 24163 824937 187951 54 4639 22 41 39 2295.66/2295.60 c 7798 25348 871130 201657 54 4677 16 47 41 2330.26/2330.28 c 8669 26664 927726 213328 54 4720 4 41 39 2381.37/2381.33 c 9627 27990 976112 226968 54 4737 25 41 39 2424.47/2424.48 c 10680 29442 1033165 244503 54 4769 7 47 44 2461.47/2461.44 c 11838 31074 1100840 262398 54 4814 6 47 44 2520.08/2520.01 2520.08/2520.01 c *** INTERRUPTED *** 2520.08/2520.01 c restarts : 526 2520.08/2520.01 c conflicts : 13063 (5 /sec) 2520.08/2520.01 c decisions : 33031 (13 /sec) 2520.08/2520.01 c propagations : 282134 (112 /sec) 2520.08/2520.01 c root propagations : 108 2520.08/2520.01 c filter calls : 1189902 (472 /sec) 2520.08/2520.01 c useless filter calls : 1086350 (91 %) 2520.08/2520.01 c 2520.08/2520.01 c clauses : 7838 2520.08/2520.01 c SAT propagations : 10505 2520.08/2520.01 c SAT conflicts : 0 (0 learnts) 2520.08/2520.01 c Memory used : 1050.54 MB 2520.08/2520.01 c CPU time : 2519.55 s 2520.08/2520.01 2520.08/2520.01 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14997 MiB free)
memory of node 1: 16384 MiB (15276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266418-1502576405/watcher-4266418-1502576405 -o /tmp/evaluation-result-4266418-1502576405/solver-4266418-1502576405 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12459 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266418-1502576405.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14050, runsolver pid=14047
Current StackSize limit: 8192 KiB
[startup+0.105451 s]*
/proc/loadavg: 2.00 2.01 2.05 3/185 14051
/proc/meminfo: memFree=31000988/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=27316 memory=3328 CPUtime=0.01 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 1033 0 0 0 1 0 0 0 20 0 1 0 99551754 27971584 832 18446744073709551615 4194304 5972588 140729543911856 140729543908424 5676051 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 6829 832 727 435 0 192 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 27316 KiB
Current children cumulated memory: 3328 KiB
[startup+0.209353 s]*
/proc/loadavg: 2.00 2.01 2.05 3/185 14051
/proc/meminfo: memFree=30999736/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=28484 memory=4460 CPUtime=0.12 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 1433 0 0 0 12 0 0 0 20 0 1 0 99551754 29167616 1115 18446744073709551615 4194304 5972588 140729543911856 140729543908424 5418925 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 7121 1115 727 435 0 484 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28484 KiB
Current children cumulated memory: 4460 KiB
[startup+0.308996 s]*
/proc/loadavg: 2.00 2.01 2.05 3/185 14051
/proc/meminfo: memFree=30998508/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=29780 memory=5356 CPUtime=0.22 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 1872 0 0 0 22 0 0 0 20 0 1 0 99551754 30494720 1339 18446744073709551615 4194304 5972588 140729543911856 140729543908424 140228991437797 0 0 1 0 0 0 0 17 3 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 7445 1339 727 435 0 808 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 29780 KiB
Current children cumulated memory: 5356 KiB
[startup+0.700274 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14051
/proc/meminfo: memFree=30997072/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=33560 memory=9260 CPUtime=0.6 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 3213 0 0 0 60 0 0 0 20 0 1 0 99551754 34365440 2315 18446744073709551615 4194304 5972588 140729543911856 140729543908424 140228991437797 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 8390 2315 727 435 0 1753 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 33560 KiB
Current children cumulated memory: 9260 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14051
/proc/meminfo: memFree=30992384/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=41252 memory=17064 CPUtime=1.39 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 4964 0 0 0 139 0 0 0 20 0 1 0 99551754 42242048 4266 18446744073709551615 4194304 5972588 140729543911856 140729543908424 5418925 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 10313 4266 727 435 0 3676 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 41252 KiB
Current children cumulated memory: 17064 KiB
[startup+3.10951 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14051
/proc/meminfo: memFree=30958140/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=68660 memory=34388 CPUtime=3.01 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 8744 0 0 0 299 2 0 0 20 0 1 0 99551754 70307840 8597 18446744073709551615 4194304 5972588 140729543911856 140729543908424 5675308 0 0 1 0 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 17165 8597 727 435 0 10528 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 68660 KiB
Current children cumulated memory: 34388 KiB
[startup+6.30039 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14051
/proc/meminfo: memFree=29955040/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047600 CPUtime=6.19 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 167234 0 0 0 593 26 0 0 20 0 1 0 99551754 1101565952 261900 18446744073709551615 4194304 5972588 140729543911856 140729543908424 4935596 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261900 765 435 0 262300 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047600 KiB
[startup+12.7004 s]
/proc/loadavg: 2.22 2.06 2.06 3/185 14051
/proc/meminfo: memFree=29955040/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047692 CPUtime=12.6 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 199380 0 0 0 1233 27 0 0 20 0 1 0 99551754 1101565952 261923 18446744073709551615 4194304 5972588 140729543911856 140729543909080 4935502 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261923 778 435 0 262300 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047692 KiB
[startup+25.5004 s]
/proc/loadavg: 2.19 2.06 2.06 3/185 14051
/proc/meminfo: memFree=29955044/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047712 CPUtime=25.4 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 263797 0 0 0 2510 30 0 0 20 0 1 0 99551754 1101565952 261928 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261928 782 435 0 262300 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047712 KiB
[startup+51.1096 s]
/proc/loadavg: 2.12 2.06 2.06 3/185 14052
/proc/meminfo: memFree=29955044/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047716 CPUtime=51.01 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 329712 0 0 0 5068 33 0 0 20 0 1 0 99551754 1101565952 261929 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935456 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261929 782 435 0 262300 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047716 KiB
[startup+102.3 s]
/proc/loadavg: 2.09 2.06 2.06 3/186 14238
/proc/meminfo: memFree=30061372/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047724 CPUtime=102.2 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 397957 0 0 0 10184 36 0 0 20 0 1 0 99551754 1101565952 261931 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261931 782 435 0 262300 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047724 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/186 14241
/proc/meminfo: memFree=30061008/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047736 CPUtime=162.21 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 450898 0 0 0 16182 39 0 0 20 0 1 0 99551754 1101565952 261934 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261934 782 435 0 262300 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047736 KiB
[startup+222.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/186 14243
/proc/meminfo: memFree=30060828/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047752 CPUtime=222.2 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 492928 0 0 0 22179 41 0 0 20 0 1 0 99551754 1101565952 261938 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261938 782 435 0 262300 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047752 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/190 14261
/proc/meminfo: memFree=30056424/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047764 CPUtime=282.21 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 520277 0 0 0 28178 43 0 0 20 0 1 0 99551754 1101565952 261941 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261941 782 435 0 262300 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047764 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 14263
/proc/meminfo: memFree=30059968/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047780 CPUtime=342.21 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 556870 0 0 0 34177 44 0 0 20 0 1 0 99551754 1101565952 261945 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4934214 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261945 782 435 0 262300 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047780 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 14266
/proc/meminfo: memFree=30061176/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047796 CPUtime=402.21 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 597072 0 0 0 40175 46 0 0 20 0 1 0 99551754 1101565952 261949 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261949 782 435 0 262300 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047796 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 14268
/proc/meminfo: memFree=30061004/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1047808 CPUtime=462.22 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 623512 0 0 0 46174 48 0 0 20 0 1 0 99551754 1101565952 261952 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 261952 782 435 0 262300 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1047808 KiB
################
# More data... #
################
/proc/14050/statm: 268937 262027 782 435 0 262300 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1048108 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 14347
/proc/meminfo: memFree=30059676/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1048120 CPUtime=1782.31 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 666230 0 0 0 178179 52 0 0 20 0 1 0 99551754 1101565952 262030 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262030 782 435 0 262300 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1048120 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 14349
/proc/meminfo: memFree=30059948/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1048140 CPUtime=1842.32 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 666811 0 0 0 184179 53 0 0 20 0 1 0 99551754 1101565952 262035 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262035 782 435 0 262300 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1048140 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 14352
/proc/meminfo: memFree=30059576/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1048156 CPUtime=1902.33 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 667369 0 0 0 190180 53 0 0 20 0 1 0 99551754 1101565952 262039 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935478 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262039 782 435 0 262300 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1048156 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 14354
/proc/meminfo: memFree=30059568/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1048176 CPUtime=1962.33 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 668040 0 0 0 196180 53 0 0 20 0 1 0 99551754 1101565952 262044 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935493 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262044 782 435 0 262300 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1048176 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 14356
/proc/meminfo: memFree=30059668/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1048192 CPUtime=2022.33 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 668450 0 0 0 202180 53 0 0 20 0 1 0 99551754 1101565952 262048 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262048 782 435 0 262300 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1048192 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 14373
/proc/meminfo: memFree=30055700/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1048212 CPUtime=2082.34 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 669016 0 0 0 208181 53 0 0 20 0 1 0 99551754 1101565952 262053 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935459 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262053 782 435 0 262300 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1048212 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14375
/proc/meminfo: memFree=30057048/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1050260 CPUtime=2142.34 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 669472 0 0 0 214181 53 0 0 20 0 1 0 99551754 1101565952 262565 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262565 782 435 0 262300 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1050260 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14377
/proc/meminfo: memFree=30057296/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1050260 CPUtime=2202.35 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 670168 0 0 0 220181 54 0 0 20 0 1 0 99551754 1101565952 262565 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262565 782 435 0 262300 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1050260 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14379
/proc/meminfo: memFree=30057512/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1050260 CPUtime=2262.36 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 670874 0 0 0 226182 54 0 0 20 0 1 0 99551754 1101565952 262565 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262565 782 435 0 262300 0
Current children cumulated CPU time: 2262.36 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1050260 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14381
/proc/meminfo: memFree=30058260/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1050260 CPUtime=2322.36 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 671480 0 0 0 232182 54 0 0 20 0 1 0 99551754 1101565952 262565 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262565 782 435 0 262300 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1050260 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 14386
/proc/meminfo: memFree=30057248/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1050260 CPUtime=2382.36 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 672092 0 0 0 238182 54 0 0 20 0 1 0 99551754 1101565952 262565 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935454 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262565 782 435 0 262300 0
Current children cumulated CPU time: 2382.36 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1050260 KiB
[startup+2442.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/186 14388
/proc/meminfo: memFree=30056992/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1050260 CPUtime=2442.37 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 672993 0 0 0 244183 54 0 0 20 0 1 0 99551754 1101565952 262565 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4934287 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262565 782 435 0 262300 0
Current children cumulated CPU time: 2442.37 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1050260 KiB
[startup+2502.3 s]
/proc/loadavg: 2.29 2.15 2.09 3/186 14390
/proc/meminfo: memFree=30057324/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1050260 CPUtime=2502.37 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 673455 0 0 0 250183 54 0 0 20 0 1 0 99551754 1101565952 262565 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262565 782 435 0 262300 0
Current children cumulated CPU time: 2502.37 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1050260 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.21 2.14 2.09 3/186 14391
/proc/meminfo: memFree=30057324/32770624 swapFree=67108860/67108860
[pid=14050] ppid=14047 vsize=1075748 memory=1050260 CPUtime=2520.08 cores=1,3,5,7
/proc/14050/stat : 14050 (cosoco) R 14047 14050 12395 0 -1 4202496 673535 0 0 0 251954 54 0 0 20 0 1 0 99551754 1101565952 262565 18446744073709551615 4194304 5972588 140729543911856 140729543909160 4935463 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 8070896 8075904 29057024 140729543918020 140729543918120 140729543918120 140729543921614 0
/proc/14050/statm: 268937 262565 782 435 0 262300 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 1075748 KiB
Current children cumulated memory: 1050260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 14050 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.55 s, system=0.549041 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.1
CPU user time (s): 2519.55
CPU system time (s): 0.549041
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1075748
Max. memory (cumulated for all children) (KiB): 1050260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.55
system time used= 0.549041
maximum resident set size= 1050340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 673586
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= 27
involuntary context switches= 848
# summary of solver processes directly reported to runsolver:
# pid: 14050
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.55
# total CPU system time (s): 0.549041
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43903 second user time and 23.7181 second system time
The end
Begin job on node135 at 2017-08-13 00:06:11 IDJOB=4266418 IDBENCH=126262 IDSOLVER=2655 FILE ID=node135/4266418-1502576405 RUNJOBID= node135-1502565212-12459 PBS_JOBID= Free space on /tmp= 62016 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-11.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266418-1502576405/watcher-4266418-1502576405 -o /tmp/evaluation-result-4266418-1502576405/solver-4266418-1502576405 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12459 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266418-1502576405.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54c76fdae941ec7bb7c4ecbc2f20b5a0 RANDOM SEED=944137242 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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.21 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 : 2668.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 : 2668.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.21 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 : 2668.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 : 2668.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.21 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 : 2668.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 : 2668.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.21 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: 31000992 kB MemAvailable: 31862664 kB Buffers: 306988 kB Cached: 852872 kB SwapCached: 0 kB Active: 793532 kB Inactive: 534768 kB Active(anon): 168308 kB Inactive(anon): 41332 kB Active(file): 625224 kB Inactive(file): 493436 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 13632 kB Writeback: 12 kB AnonPages: 167548 kB Mapped: 55252 kB Shmem: 41656 kB Slab: 145404 kB SReclaimable: 117696 kB SUnreclaim: 27708 kB KernelStack: 3280 kB PageTables: 5112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 461528 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 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= 62016 MiB End job on node135 at 2017-08-13 00:48:11