Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco-sat 1.1 | ? (TO) | 2400.03 | 2401.41 |
Name | Steiner3/Steiner3-m1-s1/ Steiner3-10.xml |
MD5SUM | 33acbdbf13e8fba51e0fc3db0676c789 |
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 | 45 |
Number of constraints | 120 |
Number of domains | 1 |
Minimum domain size | 10 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":10,"count":45}] |
Minimum variable degree | 15 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":15,"count":45}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":3,"count":15},{"arity":6,"count":105}] |
Number of extensional constraints | 105 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":105},{"type":"ordered","count":15}] |
Optimization problem | NO |
Type of objective |
2.68/2.72 c SAT : Variables: 450 -- Clauses: 2070 5.89/5.97 c root propagations : 90 5.89/5.97 c restarts enabled, print stats at every restarts 5.89/5.97 c 5.89/5.97 c 5.89/5.97 c 5.89/5.97 c This is cosoco 1.0 -- 5.89/5.97 c 5.89/5.97 c ========================================[ Problem Statistics ]=========================================== 5.89/5.97 c | 5.89/5.97 c | Parse time : 2.60 s 5.89/5.97 c | 5.89/5.97 c | Variables: 45 5.89/5.97 c | Domain Sizes: 10..10 5.89/5.97 c | 5.89/5.97 c | Constraints: 135 5.89/5.97 c | Arity: 2..6 -- Binary: 30 5.89/5.97 c | 5.89/5.97 c | Types: 5.89/5.97 c | (X - Y < k): 30 5.89/5.97 c | Extension: 105 (nb tuples: 423360..423360) -- (shared: 104) 5.89/5.97 c | 5.89/5.97 c ========================================================================================================= 5.89/5.97 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 6.79/6.82 c 10 22 1052 283 45 10 7 13 8 7.79/7.85 c 20 50 1744 516 45 20 4 19 10 8.79/8.83 c 30 78 2385 693 45 30 4 19 9 9.79/9.80 c 40 109 3072 885 45 40 4 22 9 10.58/10.62 c 50 146 3891 1126 45 50 10 28 17 11.58/11.61 c 60 180 4704 1364 45 60 4 25 12 12.48/12.58 c 70 214 5634 1592 45 70 8 25 16 13.48/13.56 c 80 245 6410 1798 45 80 5 22 13 14.39/14.42 c 90 276 7136 2014 45 90 3 22 15 15.28/15.35 c 100 310 7919 2231 45 100 10 25 15 15.49/15.54 c 101 313 7981 2251 45 101 3 3 1 16.28/16.36 c 110 353 9021 2519 45 110 25 32 26 17.18/17.28 c 120 393 10156 2790 45 120 16 31 22 18.28/18.31 c 130 427 11039 3016 45 130 5 25 15 19.08/19.16 c 140 461 11816 3229 45 140 4 25 16 20.07/20.17 c 150 498 12838 3479 45 150 6 28 19 20.98/21.09 c 160 526 13535 3683 45 160 3 19 11 21.98/22.06 c 170 560 14384 3914 45 170 3 25 16 22.97/23.01 c 180 600 15460 4181 45 180 16 31 21 23.77/23.87 c 190 631 16141 4376 45 190 2 22 11 24.68/24.78 c 200 665 16953 4592 45 200 13 25 17 25.68/25.71 c 210 704 18088 4844 45 209 16 29 24 25.98/26.05 c 211 717 18400 4905 45 210 13 13 6 26.98/27.03 c 220 750 19252 5130 45 219 3 25 16 27.88/27.92 c 230 787 20117 5366 45 229 13 28 17 28.98/29.06 c 240 824 21136 5638 45 239 13 28 18 29.97/30.08 c 250 858 22014 5886 45 249 3 25 16 31.07/31.12 c 260 889 22802 6107 45 259 3 22 14 32.07/32.11 c 270 926 23845 6351 45 269 3 28 18 33.08/33.19 c 280 954 24584 6541 45 279 5 19 12 34.08/34.10 c 290 988 25435 6767 45 289 6 25 18 35.07/35.15 c 300 1025 26417 7007 45 299 13 28 20 36.17/36.21 c 310 1053 27177 7203 45 309 9 19 13 37.06/37.15 c 320 1093 28395 7476 45 319 22 31 25 38.16/38.22 c 330 1133 29512 7755 45 329 8 31 20 38.86/38.94 c 332 1162 30267 7914 45 331 25 28 17 39.76/39.84 c 340 1194 31103 8123 45 339 16 25 17 40.77/40.89 c 350 1231 32058 8365 45 349 10 28 18 41.77/41.87 c 360 1268 33052 8615 45 359 19 28 20 42.76/42.90 c 370 1305 34045 8862 45 369 13 28 18 43.76/43.89 c 380 1345 35139 9133 45 379 22 31 22 44.76/44.89 c 390 1379 36051 9379 45 389 6 25 18 45.76/45.87 c 400 1416 37002 9619 45 399 16 28 21 46.66/46.77 c 410 1456 38229 9893 45 409 28 31 26 47.66/47.76 c 420 1493 39266 10144 45 419 16 28 21 48.55/48.65 c 430 1521 39990 10338 45 429 6 19 13 49.46/49.52 c 440 1558 40955 10580 45 439 13 28 19 50.25/50.31 c 450 1603 42293 10878 45 446 28 31 27 51.15/51.22 c 460 1643 43363 11150 45 456 16 31 20 51.85/51.95 c 465 1672 44104 11328 45 461 19 25 18 52.55/52.62 c 470 1704 45055 11513 45 466 28 28 23 53.55/53.63 c 480 1744 46114 11797 45 476 16 31 19 54.35/54.48 c 490 1778 46991 12022 45 486 16 25 18 55.15/55.21 c 500 1818 48121 12279 45 493 25 31 25 55.85/55.98 c 510 1849 48846 12485 45 503 3 22 14 56.85/56.91 c 520 1883 49757 12732 45 513 13 25 17 57.75/57.85 c 530 1920 50737 12994 45 523 13 28 20 58.65/58.76 c 540 1957 51731 13241 45 533 13 28 18 59.54/59.68 c 550 1994 52715 13486 45 543 13 28 20 60.45/60.57 c 560 2031 53714 13737 45 553 16 28 21 61.35/61.45 c 570 2062 54532 13953 45 563 16 22 17 62.25/62.35 c 580 2099 55454 14199 45 573 16 28 20 63.15/63.26 c 590 2139 56543 14466 45 583 16 31 22 64.04/64.16 c 600 2176 57540 14715 45 593 13 28 18 64.85/64.93 c 610 2217 58733 14987 45 598 13 31 25 65.24/65.36 c 611 2233 59123 15073 45 599 16 16 8 66.05/66.15 c 620 2266 59924 15292 45 608 16 25 18 66.94/67.05 c 630 2303 60902 15546 45 618 19 28 20 67.84/67.96 c 640 2343 62007 15820 45 628 13 31 21 68.74/68.82 c 650 2380 62993 16068 45 638 10 28 20 69.54/69.70 c 660 2420 64110 16329 45 648 13 31 20 70.45/70.55 c 670 2460 65223 16605 45 658 22 31 23 71.34/71.40 c 680 2494 66096 16842 45 668 19 25 20 72.14/72.29 c 690 2534 67104 17100 45 678 10 31 20 73.14/73.26 c 700 2571 68120 17361 45 688 13 28 18 74.04/74.16 c 710 2608 69112 17605 45 698 13 28 19 74.74/74.90 c 720 2649 70278 17854 45 705 25 31 26 75.64/75.75 c 730 2683 71174 18091 45 715 13 25 17 76.44/76.52 c 740 2717 72042 18325 45 725 16 25 20 77.24/77.37 c 750 2751 72933 18557 45 735 19 25 21 78.15/78.27 c 760 2791 74079 18841 45 745 22 31 25 79.04/79.15 c 770 2825 74940 19056 45 755 13 25 15 79.44/79.59 c 771 2841 75333 19133 45 756 16 16 8 80.34/80.45 c 780 2874 76180 19353 45 765 10 25 17 81.24/81.32 c 790 2905 76979 19558 45 775 5 22 14 82.14/82.22 c 800 2945 78076 19828 45 785 19 31 22 83.04/83.16 c 810 2982 79063 20074 45 795 13 28 18 83.94/84.03 c 820 3016 79954 20310 45 805 13 25 18 84.84/84.90 c 830 3050 80806 20535 45 815 13 25 17 85.64/85.73 c 840 3090 81825 20802 45 825 16 31 23 86.53/86.60 c 850 3128 82845 21069 45 835 22 29 23 87.33/87.47 c 860 3168 83909 21337 45 845 19 31 22 88.13/88.25 c 870 3213 85319 21648 45 854 28 31 27 89.04/89.15 c 880 3250 86315 21917 45 864 16 28 19 89.93/90.08 c 890 3290 87406 22208 45 874 16 31 22 90.83/90.96 c 900 3324 88261 22445 45 884 16 25 18 91.73/91.85 c 910 3364 89323 22710 45 894 10 31 20 92.44/92.56 c 920 3401 90314 22961 45 904 25 28 24 93.33/93.50 c 930 3441 91437 23226 45 914 13 31 20 94.33/94.43 c 940 3478 92413 23471 45 924 13 28 20 95.03/95.16 c 947 3509 93276 23663 45 931 10 25 17 95.53/95.68 c 950 3527 93737 23765 45 934 4 16 8 96.43/96.57 c 960 3567 94838 24035 45 944 19 31 23 97.33/97.47 c 970 3607 95985 24304 45 954 19 31 23 98.23/98.34 c 980 3644 97070 24556 45 964 10 28 20 99.13/99.28 c 990 3678 97991 24806 45 974 4 25 15 100.03/100.20 c 1000 3712 98882 25028 45 984 5 25 15 101.03/101.18 c 1010 3749 99876 25281 45 994 13 28 18 101.92/102.07 c 1020 3783 100768 25507 45 1004 5 25 16 102.92/103.02 c 1030 3820 101731 25749 45 1014 13 28 17 103.82/103.93 c 1040 3860 102846 26017 45 1024 13 31 20 104.72/104.82 c 1050 3891 103624 26224 45 1034 5 22 13 105.63/105.77 c 1060 3931 104694 26489 45 1044 16 31 21 106.52/106.66 c 1070 3971 105825 26762 45 1054 16 31 22 107.42/107.58 c 1080 4008 106819 27010 45 1064 10 28 16 108.32/108.49 c 1090 4042 107711 27236 45 1074 5 25 15 109.32/109.48 c 1100 4079 108695 27478 45 1084 5 28 15 110.22/110.37 c 1110 4119 109758 27749 45 1094 16 31 21 111.12/111.25 c 1120 4156 110733 27988 45 1104 16 28 20 111.82/111.96 c 1130 4190 111564 28218 45 1114 19 25 21 112.72/112.85 c 1140 4224 112463 28457 45 1124 10 25 18 112.92/113.06 c 1141 4227 112537 28479 45 1125 3 3 1 113.82/113.96 c 1150 4260 113330 28692 45 1134 4 25 12 114.72/114.83 c 1160 4291 114118 28904 45 1144 10 22 14 115.61/115.72 c 1170 4328 115064 29141 45 1154 3 28 16 116.41/116.54 c 1180 4362 115938 29360 45 1164 19 25 19 117.31/117.42 c 1190 4399 116940 29613 45 1174 13 28 18 118.01/118.17 c 1200 4439 118183 29888 45 1179 28 31 27 118.82/118.99 c 1210 4473 119067 30121 45 1189 16 25 19 119.82/119.99 c 1220 4507 119967 30348 45 1199 3 25 13 120.61/120.76 c 1230 4547 121117 30621 45 1204 13 31 25 121.41/121.56 c 1240 4584 122059 30862 45 1214 16 28 19 122.31/122.46 c 1250 4624 123182 31133 45 1224 16 31 21 123.22/123.34 c 1260 4664 124248 31411 45 1234 16 31 20 123.91/124.07 c 1270 4705 125380 31680 45 1239 28 31 27 124.61/124.79 c 1280 4745 126623 31943 45 1245 25 31 25 125.41/125.57 c 1290 4782 127541 32187 45 1255 19 28 21 126.31/126.42 c 1300 4816 128407 32402 45 1265 10 25 17 127.21/127.30 c 1310 4853 129447 32655 45 1275 13 28 20 127.91/128.05 c 1320 4894 130727 32946 45 1281 31 31 28 128.71/128.89 c 1330 4931 131712 33205 45 1291 16 28 21 129.61/129.77 c 1340 4971 132791 33492 45 1301 22 31 24 130.50/130.69 c 1350 5002 133620 33711 45 1311 10 22 14 131.00/131.19 c 1352 5019 134048 33811 45 1313 16 16 10 131.80/131.94 c 1360 5048 134712 33991 45 1321 4 22 9 132.70/132.86 c 1370 5085 135676 34238 45 1331 13 28 18 133.50/133.65 c 1380 5116 136542 34452 45 1341 19 22 18 134.40/134.51 c 1390 5150 137422 34680 45 1351 3 25 18 135.30/135.45 c 1400 5190 138556 34944 45 1361 16 31 22 136.10/136.29 c 1410 5235 139879 35271 45 1365 27 31 27 137.00/137.10 c 1420 5272 140858 35530 45 1375 16 28 21 137.80/137.96 c 1430 5309 141804 35767 45 1385 13 28 18 138.60/138.73 c 1440 5349 143084 36046 45 1390 28 31 27 139.50/139.64 c 1450 5383 143954 36288 45 1400 3 25 14 140.39/140.54 c 1460 5423 145104 36567 45 1410 19 31 23 141.09/141.29 c 1470 5466 146424 36850 45 1416 28 31 27 141.80/141.99 c 1480 5506 147573 37104 45 1426 25 31 24 142.59/142.71 c 1490 5547 148826 37402 45 1428 31 31 28 143.29/143.49 c 1500 5584 149801 37660 45 1438 22 28 24 144.10/144.22 c 1510 5625 151179 37956 45 1440 31 31 28 144.79/144.95 c 1520 5666 152424 38252 45 1445 31 31 28 145.59/145.71 c 1530 5707 153636 38548 45 1450 31 31 28 146.30/146.45 c 1540 5748 154919 38824 45 1455 28 31 27 146.99/147.18 c 1550 5793 156199 39112 45 1462 25 31 24 147.89/148.09 c 1560 5824 156963 39325 45 1472 4 22 15 148.79/148.97 c 1570 5855 157776 39554 45 1482 13 22 16 149.69/149.89 c 1580 5886 158646 39791 45 1492 16 22 17 150.39/150.59 c 1585 5915 159409 39956 45 1497 16 25 17 151.09/151.22 c 1590 5941 160098 40116 45 1502 16 22 15 151.99/152.12 c 1600 5981 161207 40382 45 1512 13 31 20 152.69/152.85 c 1610 6021 162311 40671 45 1517 28 31 27 153.49/153.61 c 1620 6058 163232 40923 45 1527 22 28 23 154.29/154.46 c 1630 6095 164213 41180 45 1537 16 28 21 155.09/155.21 c 1640 6136 165577 41479 45 1542 31 31 28 155.78/155.95 c 1650 6176 166657 41738 45 1549 28 29 26 156.58/156.71 c 1660 6218 167967 42039 45 1553 31 31 28 157.19/157.37 c 1670 6260 169129 42317 45 1558 29 31 27 157.98/158.18 c 1680 6294 169943 42539 45 1568 3 25 17 158.78/158.92 c 1690 6328 170876 42774 45 1578 22 25 21 159.49/159.64 c 1700 6368 172036 43046 45 1588 28 31 26 160.18/160.36 c 1710 6409 173263 43340 45 1593 31 31 28 161.08/161.29 c 1720 6446 174229 43601 45 1603 3 28 17 161.88/162.07 c 1730 6480 175150 43844 45 1613 22 25 21 162.79/162.93 c 1740 6517 176130 44100 45 1623 13 28 18 163.48/163.66 c 1750 6557 177340 44387 45 1628 28 31 27 164.38/164.57 c 1760 6594 178311 44630 45 1638 4 28 17 165.28/165.47 c 1770 6634 179375 44901 45 1648 16 31 21 166.09/166.28 c 1780 6679 180734 45240 45 1652 27 31 27 166.88/167.06 c 1790 6721 182079 45549 45 1656 31 31 28 167.58/167.79 c 1800 6761 183312 45822 45 1661 28 31 27 168.58/168.72 c 1810 6789 184090 46036 45 1671 10 19 13 169.48/169.62 c 1820 6826 185091 46298 45 1681 16 28 20 170.18/170.35 c 1830 6866 186157 46542 45 1691 24 31 23 170.98/171.13 c 1840 6897 186959 46757 45 1701 13 22 16 171.59/171.74 c 1841 6919 187603 46883 45 1702 22 22 11 172.38/172.56 c 1850 6955 188634 47121 45 1711 16 28 21 173.08/173.28 c 1860 6996 189998 47419 45 1717 31 31 28 173.88/174.07 c 1870 7036 191116 47686 45 1727 25 31 24 174.78/174.98 c 1880 7076 192176 47962 45 1737 13 31 20 175.58/175.74 c 1890 7118 193565 48272 45 1742 31 31 28 176.28/176.45 c 1900 7161 194866 48558 45 1749 28 31 27 177.08/177.27 c 1910 7195 195763 48793 45 1759 19 25 20 177.98/178.10 c 1920 7232 196778 49043 45 1769 22 28 22 178.68/178.88 c 1930 7266 197590 49275 45 1779 19 25 19 179.68/179.83 c 1940 7306 198694 49553 45 1789 10 31 17 180.38/180.57 c 1950 7346 199948 49835 45 1794 25 31 26 181.17/181.38 c 1960 7380 200786 50062 45 1804 13 25 18 181.97/182.19 c 1970 7420 202058 50347 45 1809 13 31 24 182.87/183.06 c 1980 7460 203151 50619 45 1819 16 31 21 183.77/183.91 c 1990 7497 204134 50874 45 1829 13 28 20 184.47/184.68 c 2000 7531 205081 51107 45 1839 22 25 21 185.27/185.49 c 2010 7573 206381 51405 45 1848 28 31 26 186.17/186.30 c 2020 7617 207699 51715 45 1857 27 31 26 186.88/187.02 c 2030 7659 208966 52015 45 1860 31 31 28 187.67/187.83 c 2040 7699 210066 52285 45 1870 19 31 23 188.37/188.53 c 2050 7740 211425 52569 45 1872 31 31 28 189.07/189.28 c 2060 7780 212619 52855 45 1877 25 31 26 190.07/190.20 c 2070 7817 213595 53098 45 1887 4 28 17 190.77/190.93 c 2080 7858 214934 53386 45 1892 31 31 28 191.47/191.64 c 2090 7899 216201 53692 45 1893 31 31 28 192.17/192.39 c 2100 7942 217627 54003 45 1897 31 31 28 192.97/193.10 c 2110 7982 218839 54289 45 1902 28 31 27 193.87/194.04 c 2120 8019 219761 54531 45 1912 4 28 15 194.36/194.53 c 2122 8039 220284 54629 45 1914 19 19 12 195.06/195.26 c 2130 8077 221380 54885 45 1918 25 31 26 195.96/196.12 c 2140 8117 222517 55159 45 1928 13 31 21 196.66/196.83 c 2150 8158 223761 55434 45 1933 28 31 27 197.46/197.64 c 2160 8198 224845 55711 45 1943 25 31 24 198.36/198.53 c 2170 8235 225776 55948 45 1953 4 28 17 199.06/199.29 c 2180 8276 227041 56249 45 1959 31 31 28 199.86/200.08 c 2190 8316 228081 56508 45 1969 22 31 25 200.66/200.86 c 2200 8353 229067 56756 45 1979 19 28 23 201.46/201.65 c 2210 8387 230000 56993 45 1989 22 25 21 202.26/202.40 c 2220 8429 231293 57272 45 1998 29 31 27 202.96/203.14 c 2230 8471 232677 57563 45 2001 31 31 28 203.56/203.79 c 2240 8513 233886 57803 45 2008 29 31 26 204.56/204.70 c 2250 8547 234771 58044 45 2018 3 25 16 205.35/205.54 c 2260 8589 236084 58362 45 2023 31 31 28 206.05/206.25 c 2270 8630 237250 58645 45 2028 31 31 28 206.76/206.97 c 2280 8670 238426 58900 45 2038 25 31 26 207.55/207.70 c 2290 8711 239855 59201 45 2044 31 31 28 208.25/208.42 c 2300 8754 241155 59482 45 2047 30 32 28 209.05/209.23 c 2310 8788 241939 59703 45 2057 13 25 18 209.75/209.97 c 2320 8831 243259 59979 45 2058 31 32 28 210.55/210.74 c 2330 8868 244173 60220 45 2068 16 28 21 211.45/211.69 c 2340 8902 245128 60469 45 2078 16 25 16 212.45/212.62 c 2350 8936 246015 60701 45 2088 13 25 16 213.36/213.51 c 2360 8976 247151 61010 45 2093 27 31 26 214.25/214.41 c 2370 9013 248095 61260 45 2103 16 28 18 215.15/215.34 c 2380 9047 248977 61490 45 2113 13 25 17 216.15/216.32 c 2390 9081 249913 61736 45 2123 10 25 15 217.05/217.23 c 2400 9115 250805 61977 45 2133 13 25 17 217.85/218.05 c 2410 9155 252002 62243 45 2143 10 31 23 218.75/218.96 c 2420 9192 252999 62503 45 2153 10 28 18 219.55/219.75 c 2430 9232 254199 62769 45 2163 10 31 23 220.15/220.31 c 2431 9260 254963 62912 45 2164 28 28 14 220.85/221.10 c 2440 9301 256197 63189 45 2171 28 31 26 221.84/222.02 c 2450 9338 257219 63442 45 2181 16 28 21 222.64/222.80 c 2460 9378 258437 63737 45 2186 28 31 27 223.44/223.65 c 2470 9412 259299 63960 45 2196 13 25 17 224.25/224.46 c 2480 9452 260384 64227 45 2206 19 31 22 224.94/225.15 c 2490 9497 261748 64533 45 2216 28 31 27 225.84/226.06 c 2500 9531 262626 64777 45 2226 10 25 15 226.74/226.99 c 2510 9559 263415 65001 45 2236 10 19 14 227.74/227.91 c 2520 9596 264444 65264 45 2246 16 28 20 228.65/228.85 c 2530 9630 265353 65499 45 2256 10 25 16 229.34/229.58 c 2540 9672 266602 65782 45 2266 13 31 24 230.24/230.45 c 2550 9709 267587 66033 45 2276 13 28 20 231.14/231.34 c 2560 9749 268723 66308 45 2286 22 31 22 231.84/232.08 c 2570 9790 269909 66579 45 2291 28 31 27 232.74/232.98 c 2580 9827 270842 66833 45 2301 16 28 18 233.54/233.75 c 2590 9867 271951 67102 45 2311 25 31 25 234.34/234.59 c 2600 9907 273211 67389 45 2321 22 31 25 235.14/235.38 c 2610 9947 274364 67647 45 2331 13 31 23 235.94/236.17 c 2620 9990 275635 67951 45 2335 30 32 28 236.63/236.89 c 2630 10030 276716 68230 45 2340 28 31 27 237.44/237.65 c 2640 10072 277954 68491 45 2348 13 31 23 238.23/238.47 c 2650 10112 279083 68772 45 2358 25 31 26 239.13/239.38 c 2660 10152 280195 69053 45 2368 19 31 21 239.93/240.17 c 2670 10192 281454 69332 45 2378 22 31 25 240.74/240.96 c 2680 10232 282513 69598 45 2388 22 31 24 241.53/241.78 c 2690 10266 283401 69832 45 2398 13 25 19 242.43/242.64 c 2700 10310 284657 70140 45 2407 27 31 26 243.13/243.38 c 2710 10351 285821 70410 45 2417 25 31 26 243.93/244.17 c 2720 10394 287090 70707 45 2423 28 31 27 244.83/245.01 c 2730 10434 288215 70976 45 2433 16 31 23 245.63/245.84 c 2740 10468 289096 71223 45 2443 16 25 20 246.63/246.84 c 2750 10496 289861 71435 45 2453 3 19 12 247.53/247.71 c 2760 10536 290939 71708 45 2463 22 31 22 248.23/248.47 c 2770 10576 292175 71988 45 2468 25 31 26 248.73/248.99 c 2771 10595 292736 72096 45 2469 19 19 9 249.53/249.73 c 2780 10628 293613 72320 45 2478 22 25 20 250.23/250.49 c 2790 10669 294804 72626 45 2480 31 31 28 251.02/251.29 c 2800 10709 295872 72917 45 2490 22 31 24 251.83/252.06 c 2810 10749 296986 73195 45 2500 25 31 26 252.62/252.80 c 2820 10792 298428 73495 45 2506 28 31 27 253.32/253.55 c 2830 10835 299809 73800 45 2511 28 31 27 254.03/254.22 c 2840 10876 301012 74079 45 2520 28 31 27 254.82/255.01 c 2850 10913 301958 74330 45 2530 19 28 21 255.42/255.69 c 2860 10955 303278 74627 45 2534 31 31 28 256.23/256.47 c 2870 10996 304513 74933 45 2539 31 31 28 257.12/257.33 c 2880 11036 305600 75219 45 2549 19 31 23 257.92/258.12 c 2890 11076 306764 75494 45 2559 22 31 23 258.82/259.03 c 2900 11113 307715 75738 45 2569 13 28 17 259.53/259.77 c 2910 11150 308709 75994 45 2579 22 28 22 260.42/260.65 c 2920 11184 309596 76220 45 2589 13 25 16 261.12/261.38 c 2930 11227 310856 76515 45 2595 28 31 27 261.82/262.06 c 2940 11270 312276 76803 45 2600 28 31 27 262.52/262.70 c 2950 11312 313565 77095 45 2605 28 31 27 263.32/263.51 c 2960 11337 314169 77265 45 2615 4 16 10 264.02/264.24 c 2970 11379 315490 77566 45 2618 31 31 28 264.82/265.04 c 2980 11424 316851 77897 45 2621 27 31 27 265.62/265.84 c 2990 11464 318020 78173 45 2631 19 31 24 266.42/266.67 c 3000 11501 319025 78437 45 2641 16 28 21 267.22/267.42 c 3010 11544 320383 78739 45 2647 28 31 27 267.91/268.13 c 3020 11585 321669 79012 45 2652 29 31 27 268.71/268.90 c 3030 11626 322975 79326 45 2658 31 31 28 269.51/269.72 c 3040 11666 324135 79599 45 2668 19 31 23 270.21/270.48 c 3050 11706 325355 79882 45 2678 22 31 25 270.91/271.16 c 3060 11746 326547 80156 45 2683 28 31 27 271.81/272.04 c 3070 11780 327462 80414 45 2693 10 25 18 272.72/272.95 c 3080 11817 328504 80679 45 2703 19 28 20 273.41/273.65 c 3090 11859 329753 80963 45 2708 29 31 27 274.21/274.48 c 3100 11893 330624 81197 45 2718 10 25 18 275.01/275.29 c 3110 11935 331961 81525 45 2723 31 31 28 275.71/275.98 c 3120 11980 333403 81817 45 2732 28 31 27 276.41/276.68 c 3130 12025 334850 82130 45 2742 28 31 27 277.21/277.49 c 3140 12059 335719 82362 45 2752 16 25 19 277.71/277.94 c 3142 12073 336127 82441 45 2754 13 13 8 278.41/278.65 c 3150 12108 337029 82670 45 2762 25 28 22 279.21/279.44 c 3160 12142 337897 82898 45 2772 19 25 19 280.01/280.20 c 3170 12182 339248 83184 45 2777 28 31 27 280.81/281.06 c 3180 12222 340340 83467 45 2787 16 31 21 281.61/281.87 c 3190 12264 341553 83768 45 2797 19 32 24 282.31/282.54 c 3200 12305 342945 84058 45 2799 31 31 28 283.01/283.29 c 3210 12345 344057 84337 45 2809 25 31 24 283.80/284.02 c 3220 12385 345323 84641 45 2816 27 31 26 284.71/284.94 c 3230 12419 346264 84900 45 2826 13 25 18 285.50/285.77 c 3240 12459 347437 85190 45 2836 22 31 24 286.30/286.57 c 3250 12499 348600 85473 45 2846 22 31 25 287.01/287.24 c 3260 12540 349987 85767 45 2848 31 31 28 287.70/287.91 c 3270 12585 351399 86071 45 2856 28 31 27 288.30/288.57 c 3280 12626 352814 86363 45 2858 31 31 28 289.00/289.21 c 3290 12668 354106 86645 45 2866 29 31 27 289.60/289.89 c 3300 12711 355569 86960 45 2869 31 31 28 290.50/290.74 c 3310 12751 356641 87240 45 2879 19 31 23 291.20/291.43 c 3320 12790 357743 87482 45 2887 25 28 23 291.80/292.08 c 3330 12826 358737 87697 45 2894 25 26 23 292.60/292.88 c 3340 12868 359998 87983 45 2904 22 32 23 293.40/293.66 c 3350 12912 361351 88302 45 2913 27 31 26 294.10/294.38 c 3360 12955 362692 88606 45 2915 30 32 28 294.90/295.15 c 3370 12992 363538 88842 45 2925 4 28 18 295.60/295.87 c 3380 13034 364768 89157 45 2932 31 32 28 296.30/296.55 c 3390 13075 366187 89446 45 2934 31 31 28 297.00/297.24 c 3400 13117 367481 89768 45 2939 31 31 28 297.70/297.92 c 3410 13156 368569 90016 45 2944 28 29 26 298.40/298.64 c 3420 13199 369848 90327 45 2950 30 32 28 299.00/299.27 c 3430 13239 370881 90569 45 2960 29 31 27 299.90/300.12 c 3440 13280 372070 90873 45 2969 25 32 27 300.79/301.00 c 3450 13317 373006 91149 45 2979 16 28 19 301.59/301.89 c 3460 13354 374006 91421 45 2989 19 28 22 302.30/302.54 c 3470 13401 375395 91715 45 2992 32 32 29 302.99/303.29 c 3480 13438 376292 91976 45 3002 19 28 23 303.89/304.17 c 3490 13478 377409 92269 45 3012 22 31 23 304.69/304.96 c 3500 13523 378665 92582 45 3021 27 32 26 305.39/305.66 c 3510 13566 380158 92892 45 3023 31 31 28 306.09/306.38 c 3520 13604 381158 93142 45 3031 25 29 25 306.89/307.10 c 3530 13644 382245 93426 45 3036 28 31 27 307.69/307.90 c 3540 13681 383240 93681 45 3046 10 28 21 308.39/308.65 c 3550 13724 384553 93989 45 3048 30 32 28 309.00/309.24 c 3551 13755 385370 94168 45 3049 31 31 15 309.79/310.00 c 3560 13791 386355 94417 45 3058 22 28 24 310.49/310.77 c 3570 13830 387519 94684 45 3067 25 29 25 311.29/311.53 c 3580 13870 388680 94972 45 3072 28 31 27 312.19/312.43 c 3590 13904 389611 95238 45 3082 19 25 20 312.89/313.19 c 3600 13944 390778 95528 45 3087 28 31 27 313.69/313.95 c 3610 13984 391860 95808 45 3097 25 31 25 314.39/314.61 c 3620 14024 393060 96054 45 3105 28 29 26 315.09/315.33 c 3630 14065 394209 96336 45 3110 28 31 27 315.89/316.10 c 3640 14107 395454 96628 45 3119 29 32 28 316.59/316.86 c 3650 14151 396808 96925 45 3127 25 32 24 317.38/317.61 c 3660 14193 398130 97233 45 3130 31 31 28 318.18/318.40 c 3670 14236 399447 97567 45 3135 27 32 27 319.08/319.31 c 3680 14270 400250 97829 45 3145 10 25 16 319.78/320.03 c 3690 14313 401504 98135 45 3149 30 32 28 320.48/320.72 c 3700 14345 402325 98360 45 3155 22 23 20 321.18/321.41 c 3710 14390 403661 98675 45 3159 30 32 28 321.88/322.18 c 3720 14421 404491 98907 45 3169 16 22 17 322.68/322.99 c 3730 14461 405660 99199 45 3174 28 31 27 323.48/323.75 c 3740 14502 406812 99506 45 3176 31 31 28 324.18/324.49 c 3750 14543 407919 99793 45 3181 28 31 27 325.08/325.30 c 3760 14586 409215 100098 45 3188 30 32 28 325.78/326.05 c 3770 14631 410589 100423 45 3197 30 32 28 326.48/326.74 c 3780 14673 412062 100715 45 3200 31 31 28 327.38/327.66 c 3790 14707 412904 100979 45 3210 13 25 16 328.18/328.45 c 3800 14748 414074 101277 45 3216 31 31 28 328.88/329.13 c 3810 14793 415541 101547 45 3221 31 32 29 329.58/329.87 c 3820 14833 416823 101825 45 3226 26 31 27 330.38/330.66 c 3830 14874 417966 102134 45 3231 31 31 28 331.18/331.43 c 3840 14913 419066 102401 45 3239 25 28 23 331.98/332.23 c 3850 14954 420407 102705 45 3244 31 31 28 332.67/332.97 c 3860 14995 421554 102992 45 3249 28 31 27 333.47/333.74 c 3870 15036 422712 103282 45 3254 28 31 27 334.28/334.59 c 3880 15081 424013 103615 45 3258 27 31 27 335.07/335.36 c 3890 15132 425650 103931 45 3262 27 32 28 335.87/336.17 c 3900 15174 427046 104246 45 3266 31 31 28 336.67/336.95 c 3910 15215 428226 104548 45 3272 31 31 28 337.48/337.74 c 3920 15256 429414 104853 45 3278 31 31 28 338.27/338.50 c 3930 15298 430660 105163 45 3285 28 31 26 339.07/339.33 c 3940 15343 431937 105505 45 3288 27 31 27 339.87/340.10 c 3950 15384 433084 105793 45 3298 28 32 27 340.57/340.86 c 3960 15427 434447 106080 45 3305 28 31 27 341.47/341.75 c 3970 15461 435301 106328 45 3315 19 25 20 342.37/342.65 c 3980 15492 436079 106546 45 3325 13 22 15 343.17/343.41 c 3990 15534 437277 106826 45 3330 29 31 27 343.87/344.15 c 4000 15577 438601 107115 45 3334 30 32 28 344.47/344.76 c 4001 15602 439272 107260 45 3335 25 25 12 345.17/345.43 c 4010 15642 440665 107538 45 3337 31 31 27 345.87/346.12 c 4020 15682 441826 107811 45 3347 24 31 25 346.67/346.94 c 4030 15713 442633 108041 45 3357 19 22 18 347.47/347.73 c 4040 15754 443970 108349 45 3359 31 31 28 348.17/348.47 c 4050 15796 445365 108659 45 3363 31 31 28 348.96/349.22 c 4060 15833 446315 108919 45 3373 25 28 23 349.67/349.96 c 4070 15872 447456 109182 45 3383 25 29 24 350.46/350.72 c 4080 15909 448433 109439 45 3393 22 28 23 351.16/351.41 c 4090 15952 449727 109721 45 3394 31 32 28 351.96/352.20 c 4100 15994 450936 110022 45 3402 28 32 28 352.66/352.97 c 4110 16035 452045 110322 45 3407 28 31 27 353.36/353.69 c 4120 16078 453367 110611 45 3409 30 32 28 354.16/354.49 c 4130 16124 454688 110926 45 3418 28 32 27 354.96/355.25 c 4140 16166 455866 111237 45 3421 31 31 28 355.66/355.95 c 4150 16211 457259 111526 45 3424 30 32 28 356.46/356.74 c 4160 16252 458610 111832 45 3429 31 31 28 357.27/357.60 c 4170 16297 459921 112172 45 3433 27 31 27 358.16/358.40 c 4180 16338 461138 112453 45 3443 29 31 27 358.86/359.16 c 4190 16379 462292 112756 45 3449 31 31 28 359.56/359.85 c 4200 16426 463787 113042 45 3452 32 32 29 360.36/360.69 c 4210 16472 465305 113391 45 3456 31 31 28 361.16/361.45 c 4220 16514 466575 113697 45 3463 28 31 26 361.86/362.19 c 4230 16554 467730 113982 45 3469 28 31 26 362.66/362.90 c 4240 16595 468872 114276 45 3472 25 31 27 363.36/363.68 c 4250 16631 469837 114517 45 3479 16 26 20 364.16/364.46 c 4260 16673 471093 114802 45 3484 29 31 27 364.96/365.26 c 4270 16710 472023 115048 45 3494 19 28 21 365.75/366.07 c 4280 16745 473021 115306 45 3502 24 25 22 366.45/366.77 c 4290 16786 474422 115605 45 3504 31 31 28 367.26/367.58 c 4300 16821 475389 115842 45 3511 22 25 20 368.15/368.42 c 4310 16864 476654 116168 45 3517 29 32 27 369.05/369.31 c 4320 16901 477598 116427 45 3527 10 28 19 369.85/370.20 c 4330 16932 478477 116675 45 3537 19 22 18 370.65/370.98 c 4340 16973 479841 116982 45 3543 31 31 28 371.45/371.70 c 4350 17013 480966 117248 45 3553 28 31 26 372.15/372.45 c 4360 17054 482052 117543 45 3558 28 31 27 373.05/373.37 c 4370 17092 483157 117819 45 3566 22 28 21 373.86/374.15 c 4380 17134 484395 118123 45 3573 25 31 27 374.55/374.88 c 4390 17175 485685 118409 45 3578 28 31 27 375.25/375.59 c 4400 17218 487173 118717 45 3581 31 31 28 376.05/376.31 c 4410 17259 488310 119023 45 3583 31 31 28 376.85/377.18 c 4420 17300 489387 119324 45 3588 16 31 24 377.65/377.93 c 4430 17341 490790 119623 45 3594 31 31 28 378.35/378.62 c 4440 17382 492228 119911 45 3596 31 31 28 379.05/379.35 c 4450 17424 493595 120227 45 3602 31 31 28 379.75/380.10 c 4460 17465 494700 120524 45 3607 31 31 28 380.55/380.86 c 4470 17507 496130 120846 45 3612 31 31 28 381.25/381.57 c 4480 17550 497643 121151 45 3614 31 31 28 382.05/382.35 c 4490 17595 498905 121491 45 3618 27 31 27 382.74/383.07 c 4493 17628 499949 121717 45 3620 27 31 22 383.34/383.66 c 4500 17662 500924 121897 45 3623 26 26 22 384.14/384.49 c 4510 17704 502307 122225 45 3628 31 31 28 384.94/385.23 c 4520 17746 503599 122537 45 3633 31 31 28 385.64/385.95 c 4530 17786 504688 122816 45 3643 28 31 26 386.44/386.72 c 4540 17826 505945 123099 45 3653 28 31 26 387.14/387.43 c 4550 17868 507506 123413 45 3658 31 31 28 387.94/388.20 c 4560 17910 508708 123736 45 3663 31 31 28 388.64/388.98 c 4570 17952 510171 124061 45 3668 31 31 28 389.44/389.72 c 4580 17994 511736 124392 45 3670 26 31 27 390.14/390.46 c 4590 18036 513142 124711 45 3675 31 31 28 390.94/391.22 c 4600 18081 514434 125036 45 3677 31 31 28 391.64/391.99 c 4610 18123 515901 125349 45 3680 31 31 28 392.34/392.68 c 4620 18161 517006 125600 45 3686 27 28 25 393.14/393.45 c 4630 18198 517973 125869 45 3696 22 28 24 393.94/394.29 c 4640 18243 519253 126201 45 3700 27 31 27 394.74/395.05 c 4650 18287 520807 126534 45 3702 31 31 28 395.64/395.92 c 4660 18328 521893 126829 45 3707 19 31 24 396.44/396.70 c 4670 18371 523144 127128 45 3714 28 31 27 397.14/397.45 c 4680 18411 524419 127412 45 3724 28 31 26 397.84/398.20 c 4690 18446 525353 127654 45 3731 24 25 22 398.73/399.08 c 4700 18483 526282 127911 45 3741 13 28 17 399.53/399.87 c 4710 18524 527487 128216 45 3743 31 31 28 400.33/400.61 c 4720 18565 528637 128498 45 3751 25 31 26 401.13/401.42 c 4730 18606 529830 128797 45 3756 31 31 28 401.83/402.18 c 4740 18648 531323 129122 45 3761 31 31 28 402.63/402.91 c 4750 18693 532605 129429 45 3771 28 31 27 403.33/403.69 c 4760 18737 533886 129740 45 3780 27 31 26 404.13/404.46 c 4770 18782 535430 130079 45 3783 31 31 28 404.93/405.20 c 4780 18825 536596 130377 45 3788 29 31 27 405.64/405.99 c 4790 18867 537793 130680 45 3791 31 31 28 406.43/406.74 c 4800 18908 539116 130967 45 3798 28 31 26 407.13/407.48 c 4810 18949 540264 131264 45 3804 31 31 28 407.94/408.27 c 4820 18990 541458 131569 45 3810 31 31 28 408.73/409.02 c 4830 19031 542908 131875 45 3816 31 31 28 409.53/409.87 c 4840 19062 543723 132109 45 3826 13 22 17 410.43/410.78 c 4850 19096 544670 132375 45 3836 19 25 20 411.23/411.52 c 4860 19139 546039 132659 45 3844 28 31 27 412.03/412.37 c 4870 19180 547262 132963 45 3852 13 31 23 412.83/413.10 c 4880 19220 548335 133244 45 3862 28 31 26 413.63/413.90 c 4890 19260 549443 133534 45 3872 28 31 26 414.33/414.69 c 4900 19295 550457 133790 45 3880 24 25 22 415.12/415.42 c 4910 19335 551530 134052 45 3890 28 31 26 415.92/416.20 c 4920 19377 552838 134371 45 3894 31 31 28 416.63/416.99 c 4930 19418 554078 134673 45 3899 25 31 26 417.42/417.75 c 4940 19459 555405 134986 45 3905 31 31 28 418.22/418.54 c 4950 19504 556782 135323 45 3909 27 31 27 418.94/419.23 c 4960 19546 557934 135628 45 3915 31 31 28 419.63/419.99 c 4970 19587 559230 135939 45 3917 31 31 28 420.53/420.85 c 4980 19621 560109 136191 45 3927 13 25 18 421.23/421.58 c 4990 19661 561267 136458 45 3937 28 31 27 422.63/422.93 c 5035 19747 563786 137260 45 3940 27 31 29 432.92/433.26 c 5631 20602 588926 146299 45 3976 13 31 30 444.22/444.55 c 6286 21491 615649 156079 45 3997 10 31 30 456.22/456.60 c 7006 22519 650268 166936 45 4028 10 31 30 470.00/470.30 c 7798 23575 682233 179041 45 4047 24 31 30 480.79/481.15 c 8669 24985 727266 191592 45 4074 10 32 30 497.78/498.12 c 9627 26253 764770 206190 45 4094 27 31 30 513.17/513.55 c 10680 27786 815523 221548 45 4130 10 32 30 526.47/526.89 c 11838 29564 871573 236844 45 4157 10 32 30 542.56/542.95 c 13111 31486 937926 257209 45 4187 10 37 33 564.35/564.72 c 14511 33622 1001214 279353 45 4214 8 37 31 585.63/586.05 c 16051 35759 1072608 300792 45 4256 2 31 30 607.12/607.56 c 17745 38261 1146225 326588 45 4275 25 31 30 632.31/632.70 c 19608 41114 1231777 354146 45 4287 25 32 30 660.80/661.27 c 21657 44060 1320469 384452 45 4317 10 32 30 693.27/693.76 c 23910 47118 1458075 418230 45 4346 24 31 30 715.96/716.45 c 26388 51125 1580368 452697 45 4385 10 32 30 747.94/748.48 c 29113 55147 1717074 489865 45 4406 22 32 30 786.92/787.40 c 32110 59386 1838603 532217 45 4441 10 31 30 810.31/810.89 c 35406 64677 2010347 571958 45 4458 23 32 30 858.08/858.66 c 39031 69835 2170965 620674 45 4483 10 32 30 897.96/898.55 c 43018 77082 2408376 677223 45 4507 22 32 30 953.63/954.28 c 47403 83188 2615501 741367 45 4545 10 32 30 1005.30/1005.90 c 52226 90277 2848077 819664 45 4564 24 37 34 1060.26/1060.94 c 57531 97750 3075896 891014 45 4598 13 37 31 1144.71/1145.49 c 63366 105929 3323259 977853 45 4616 19 32 30 1209.58/1210.38 c 69784 115213 3618012 1063210 45 4648 13 37 31 1264.75/1265.54 c 76843 126240 3979327 1149323 45 4683 22 37 30 1325.71/1326.58 c 84607 138312 4370563 1241478 45 4739 4 37 31 1448.44/1449.31 c 93147 150089 4708614 1358413 45 4789 10 37 31 1555.08/1556.01 c 102541 163391 5135001 1512623 45 4822 22 37 35 1636.84/1637.88 c 112874 181205 5699441 1646158 45 4877 16 37 31 1766.86/1767.97 c 124240 197352 6222129 1832342 45 4898 23 37 35 1895.89/1897.04 c 136742 216037 6817447 2011545 45 4948 10 37 33 2023.82/2025.02 c 150494 235710 7461158 2229755 45 4983 24 37 34 2192.03/2193.38 c 165621 257147 8155840 2475028 45 5037 20 37 35 2342.64/2344.01 c 182260 282490 8963316 2710822 45 5070 16 37 32
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-4241247-1500630081/watcher-4241247-1500630081 -o /tmp/evaluation-result-4241247-1500630081/solver-4241247-1500630081 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500623778-4226 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241247-1500630081.xml pid=6152 running on 4 cores: 0,2,4,6 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.03 2.05 2/190 6155 /proc/meminfo: memFree=31429176/32770624 swapFree=6232/498504 [pid=6155] ppid=6152 vsize=26992 CPUtime=0 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 16458166 27639808 766 33554432000 4194304 5970956 140728218095776 140728218092424 140057170230245 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 6748 766 683 434 0 112 0 [startup+0.10011 s] /proc/loadavg: 2.00 2.03 2.05 2/190 6155 /proc/meminfo: memFree=31429176/32770624 swapFree=6232/498504 [pid=6155] ppid=6152 vsize=27688 CPUtime=0.09 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 1166 0 0 0 9 0 0 0 20 0 1 0 16458166 28352512 934 33554432000 4194304 5970956 140728218095776 140728218092376 140057170230245 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 6922 934 725 434 0 286 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27688 [startup+0.200257 s] /proc/loadavg: 2.00 2.03 2.05 2/190 6155 /proc/meminfo: memFree=31429176/32770624 swapFree=6232/498504 [pid=6155] ppid=6152 vsize=28600 CPUtime=0.19 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 1464 0 0 0 19 0 0 0 20 0 1 0 16458166 29286400 1111 33554432000 4194304 5970956 140728218095776 140728218092376 5383814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 7150 1111 725 434 0 514 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28600 [startup+0.300201 s] /proc/loadavg: 2.00 2.03 2.05 2/190 6155 /proc/meminfo: memFree=31429176/32770624 swapFree=6232/498504 [pid=6155] ppid=6152 vsize=29896 CPUtime=0.29 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 1902 0 0 0 29 0 0 0 20 0 1 0 16458166 30613504 1401 33554432000 4194304 5970956 140728218095776 140728218092376 5369026 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 7474 1401 725 434 0 838 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29896 [startup+0.700172 s] /proc/loadavg: 2.00 2.03 2.05 2/190 6155 /proc/meminfo: memFree=31429176/32770624 swapFree=6232/498504 [pid=6155] ppid=6152 vsize=33676 CPUtime=0.69 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 3292 0 0 0 69 0 0 0 20 0 1 0 16458166 34484224 2377 33554432000 4194304 5970956 140728218095776 140728218092376 5668419 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 8419 2377 725 434 0 1783 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33676 [startup+1.50017 s] /proc/loadavg: 2.00 2.03 2.05 3/191 6156 /proc/meminfo: memFree=31417896/32770624 swapFree=6232/498288 [pid=6155] ppid=6152 vsize=53660 CPUtime=1.49 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 5248 0 0 0 149 0 0 0 20 0 1 0 16458166 54947840 5100 33554432000 4194304 5970956 140728218095776 140728218092376 5417055 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 13415 5100 725 434 0 6779 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 53660 [startup+3.10024 s] /proc/loadavg: 2.00 2.03 2.05 3/191 6156 /proc/meminfo: memFree=31406980/32770624 swapFree=6232/498288 [pid=6155] ppid=6152 vsize=405072 CPUtime=3.08 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 97756 0 0 0 297 11 0 0 20 0 1 0 16458166 414793728 93459 33554432000 4194304 5970956 140728218095776 140728218093032 4934342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93459 733 434 0 94632 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 405072 [startup+6.30025 s] /proc/loadavg: 2.00 2.03 2.05 3/191 6156 /proc/meminfo: memFree=31057520/32770624 swapFree=6232/498288 [pid=6155] ppid=6152 vsize=405072 CPUtime=6.29 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 156608 0 0 0 615 14 0 0 20 0 1 0 16458166 414793728 93518 33554432000 4194304 5970956 140728218095776 140728218093384 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93518 781 434 0 94632 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 405072 [startup+12.7003 s] /proc/loadavg: 2.00 2.03 2.05 3/191 6156 /proc/meminfo: memFree=31057288/32770624 swapFree=6232/498304 [pid=6155] ppid=6152 vsize=405072 CPUtime=12.68 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 187792 0 0 0 1253 15 0 0 20 0 1 0 16458166 414793728 93521 33554432000 4194304 5970956 140728218095776 140728218093112 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93521 783 434 0 94632 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 405072 [startup+25.5003 s] /proc/loadavg: 2.08 2.04 2.05 3/191 6156 /proc/meminfo: memFree=31057468/32770624 swapFree=6232/498304 [pid=6155] ppid=6152 vsize=405072 CPUtime=25.48 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 239009 0 0 0 2530 18 0 0 20 0 1 0 16458166 414793728 93524 33554432000 4194304 5970956 140728218095776 140728218093112 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93524 783 434 0 94632 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 405072 [startup+51.1003 s] /proc/loadavg: 2.05 2.04 2.05 3/191 6156 /proc/meminfo: memFree=31056420/32770624 swapFree=6232/498352 [pid=6155] ppid=6152 vsize=405072 CPUtime=51.05 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 275919 0 0 0 5086 19 0 0 20 0 1 0 16458166 414793728 93528 33554432000 4194304 5970956 140728218095776 140728218093112 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93528 783 434 0 94632 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 405072 [startup+102.3 s] /proc/loadavg: 2.02 2.04 2.05 3/191 6157 /proc/meminfo: memFree=31055624/32770624 swapFree=6232/498436 [pid=6155] ppid=6152 vsize=405072 CPUtime=102.23 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 307916 0 0 0 10202 21 0 0 20 0 1 0 16458166 414793728 93537 33554432000 4194304 5970956 140728218095776 140728218093112 4934460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93537 783 434 0 94632 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 405072 [startup+162.3 s] /proc/loadavg: 2.01 2.03 2.05 3/191 6158 /proc/meminfo: memFree=31055896/32770624 swapFree=6232/498528 [pid=6155] ppid=6152 vsize=405072 CPUtime=162.18 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 334685 0 0 0 16196 22 0 0 20 0 1 0 16458166 414793728 93551 33554432000 4194304 5970956 140728218095776 140728218093112 4934366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93551 783 434 0 94632 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 405072 [startup+222.306 s] /proc/loadavg: 2.00 2.02 2.05 3/190 6159 /proc/meminfo: memFree=31055580/32770624 swapFree=6232/498632 [pid=6155] ppid=6152 vsize=405072 CPUtime=222.15 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 350271 0 0 0 22192 23 0 0 20 0 1 0 16458166 414793728 93566 33554432000 4194304 5970956 140728218095776 140728218093112 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93566 783 434 0 94632 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 405072 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.05 3/190 6160 /proc/meminfo: memFree=31054428/32770624 swapFree=6232/498724 [pid=6155] ppid=6152 vsize=405072 CPUtime=282.11 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 351159 0 0 0 28188 23 0 0 20 0 1 0 16458166 414793728 93758 33554432000 4194304 5970956 140728218095776 140728218093112 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93758 783 434 0 94632 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 405072 [startup+342.3 s] /proc/loadavg: 2.05 2.03 2.05 3/190 6161 /proc/meminfo: memFree=31054788/32770624 swapFree=6232/498816 [pid=6155] ppid=6152 vsize=405072 CPUtime=342.07 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 351747 0 0 0 34184 23 0 0 20 0 1 0 16458166 414793728 93774 33554432000 4194304 5970956 140728218095776 140728218093112 4933136 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93774 783 434 0 94632 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 405072 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.05 3/191 6163 /proc/meminfo: memFree=31054932/32770624 swapFree=6232/498908 [pid=6155] ppid=6152 vsize=405072 CPUtime=402.03 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 352347 0 0 0 40180 23 0 0 20 0 1 0 16458166 414793728 93788 33554432000 4194304 5970956 140728218095776 140728218093112 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93788 783 434 0 94632 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 405072 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.05 3/191 6164 /proc/meminfo: memFree=31055592/32770624 swapFree=6232/498976 [pid=6155] ppid=6152 vsize=405072 CPUtime=462.01 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 352954 0 0 0 46177 24 0 0 20 0 1 0 16458166 414793728 93800 33554432000 4194304 5970956 140728218095776 140728218093112 4933072 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93800 783 434 0 94632 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 405072 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/191 6172 /proc/meminfo: memFree=31054504/32770624 swapFree=6232/499052 [pid=6155] ppid=6152 vsize=405072 CPUtime=521.97 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 353558 0 0 0 52173 24 0 0 20 0 1 0 16458166 414793728 93803 33554432000 4194304 5970956 140728218095776 140728218093112 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93803 783 434 0 94632 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 405072 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/191 6173 /proc/meminfo: memFree=31055116/32770624 swapFree=6232/499096 [pid=6155] ppid=6152 vsize=405072 CPUtime=581.94 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 354170 0 0 0 58170 24 0 0 20 0 1 0 16458166 414793728 93806 33554432000 4194304 5970956 140728218095776 140728218093112 4933153 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93806 783 434 0 94632 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 405072 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.01 2.06 2.06 4/190 6469 /proc/meminfo: memFree=31059540/32770624 swapFree=6232/500048 [pid=6155] ppid=6152 vsize=405072 CPUtime=1481.43 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 363130 0 0 0 148119 24 0 0 20 0 1 0 16458166 414793728 93821 33554432000 4194304 5970956 140728218095776 140728218093112 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93821 783 434 0 94632 0 Current children cumulated CPU time (s) 1481.43 Current children cumulated vsize (KiB) 405072 [startup+1542.31 s] /proc/loadavg: 2.00 2.05 2.06 4/190 6470 /proc/meminfo: memFree=31059832/32770624 swapFree=6232/500084 [pid=6155] ppid=6152 vsize=405072 CPUtime=1541.4 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 363601 0 0 0 154116 24 0 0 20 0 1 0 16458166 414793728 93821 33554432000 4194304 5970956 140728218095776 140728218093112 4934864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93821 783 434 0 94632 0 Current children cumulated CPU time (s) 1541.4 Current children cumulated vsize (KiB) 405072 [startup+1602.3 s] /proc/loadavg: 2.00 2.04 2.05 4/190 6471 /proc/meminfo: memFree=31059396/32770624 swapFree=6232/500132 [pid=6155] ppid=6152 vsize=405072 CPUtime=1601.36 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 364222 0 0 0 160112 24 0 0 20 0 1 0 16458166 414793728 93822 33554432000 4194304 5970956 140728218095776 140728218093112 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93822 783 434 0 94632 0 Current children cumulated CPU time (s) 1601.36 Current children cumulated vsize (KiB) 405072 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.05 4/190 6472 /proc/meminfo: memFree=31059912/32770624 swapFree=6232/500168 [pid=6155] ppid=6152 vsize=405072 CPUtime=1661.32 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 364901 0 0 0 166108 24 0 0 20 0 1 0 16458166 414793728 93824 33554432000 4194304 5970956 140728218095776 140728218093112 4933193 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93824 783 434 0 94632 0 Current children cumulated CPU time (s) 1661.32 Current children cumulated vsize (KiB) 405072 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.05 4/190 6480 /proc/meminfo: memFree=31058296/32770624 swapFree=6232/500208 [pid=6155] ppid=6152 vsize=405072 CPUtime=1721.29 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 365391 0 0 0 172105 24 0 0 20 0 1 0 16458166 414793728 93824 33554432000 4194304 5970956 140728218095776 140728218093112 4933136 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93824 783 434 0 94632 0 Current children cumulated CPU time (s) 1721.29 Current children cumulated vsize (KiB) 405072 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.05 4/190 6481 /proc/meminfo: memFree=31058784/32770624 swapFree=6232/500252 [pid=6155] ppid=6152 vsize=405072 CPUtime=1781.25 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 366025 0 0 0 178101 24 0 0 20 0 1 0 16458166 414793728 93824 33554432000 4194304 5970956 140728218095776 140728218093112 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93824 783 434 0 94632 0 Current children cumulated CPU time (s) 1781.25 Current children cumulated vsize (KiB) 405072 [startup+1842.3 s] /proc/loadavg: 2.17 2.07 2.06 4/191 6483 /proc/meminfo: memFree=31058756/32770624 swapFree=6232/500288 [pid=6155] ppid=6152 vsize=405072 CPUtime=1841.22 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 366518 0 0 0 184098 24 0 0 20 0 1 0 16458166 414793728 93824 33554432000 4194304 5970956 140728218095776 140728218093112 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93824 783 434 0 94632 0 Current children cumulated CPU time (s) 1841.22 Current children cumulated vsize (KiB) 405072 [startup+1902.3 s] /proc/loadavg: 2.06 2.05 2.05 4/191 6484 /proc/meminfo: memFree=31058900/32770624 swapFree=6232/500336 [pid=6155] ppid=6152 vsize=405072 CPUtime=1901.19 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 367141 0 0 0 190095 24 0 0 20 0 1 0 16458166 414793728 93826 33554432000 4194304 5970956 140728218095776 140728218093112 4934864 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93826 783 434 0 94632 0 Current children cumulated CPU time (s) 1901.19 Current children cumulated vsize (KiB) 405072 [startup+1962.3 s] /proc/loadavg: 2.02 2.04 2.05 4/191 6485 /proc/meminfo: memFree=31059260/32770624 swapFree=6232/500356 [pid=6155] ppid=6152 vsize=405072 CPUtime=1961.15 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 367566 0 0 0 196091 24 0 0 20 0 1 0 16458166 414793728 93826 33554432000 4194304 5970956 140728218095776 140728218093112 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93826 783 434 0 94632 0 Current children cumulated CPU time (s) 1961.15 Current children cumulated vsize (KiB) 405072 [startup+2022.3 s] /proc/loadavg: 2.01 2.04 2.05 4/191 6486 /proc/meminfo: memFree=31059496/32770624 swapFree=6232/500396 [pid=6155] ppid=6152 vsize=405072 CPUtime=2021.12 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 368149 0 0 0 202088 24 0 0 20 0 1 0 16458166 414793728 93826 33554432000 4194304 5970956 140728218095776 140728218093112 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93826 783 434 0 94632 0 Current children cumulated CPU time (s) 2021.12 Current children cumulated vsize (KiB) 405072 [startup+2082.3 s] /proc/loadavg: 2.00 2.03 2.05 4/191 6487 /proc/meminfo: memFree=31059384/32770624 swapFree=6232/500432 [pid=6155] ppid=6152 vsize=405072 CPUtime=2081.09 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 368709 0 0 0 208085 24 0 0 20 0 1 0 16458166 414793728 93827 33554432000 4194304 5970956 140728218095776 140728218093112 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93827 783 434 0 94632 0 Current children cumulated CPU time (s) 2081.09 Current children cumulated vsize (KiB) 405072 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 4/190 6488 /proc/meminfo: memFree=31059324/32770624 swapFree=6232/500456 [pid=6155] ppid=6152 vsize=405072 CPUtime=2141.05 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 369233 0 0 0 214081 24 0 0 20 0 1 0 16458166 414793728 93827 33554432000 4194304 5970956 140728218095776 140728218093112 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93827 783 434 0 94632 0 Current children cumulated CPU time (s) 2141.05 Current children cumulated vsize (KiB) 405072 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 2.05 4/190 6489 /proc/meminfo: memFree=31059440/32770624 swapFree=6232/500496 [pid=6155] ppid=6152 vsize=405072 CPUtime=2201.03 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 369880 0 0 0 220079 24 0 0 20 0 1 0 16458166 414793728 93828 33554432000 4194304 5970956 140728218095776 140728218093112 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93828 783 434 0 94632 0 Current children cumulated CPU time (s) 2201.03 Current children cumulated vsize (KiB) 405072 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 4/190 6490 /proc/meminfo: memFree=31059556/32770624 swapFree=6232/500536 [pid=6155] ppid=6152 vsize=405072 CPUtime=2260.99 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 370361 0 0 0 226075 24 0 0 20 0 1 0 16458166 414793728 93828 33554432000 4194304 5970956 140728218095776 140728218093112 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93828 783 434 0 94632 0 Current children cumulated CPU time (s) 2260.99 Current children cumulated vsize (KiB) 405072 [startup+2322.3 s] /proc/loadavg: 2.06 2.03 2.05 4/191 6499 /proc/meminfo: memFree=31058864/32770624 swapFree=6232/500572 [pid=6155] ppid=6152 vsize=405072 CPUtime=2320.95 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 370793 0 0 0 232071 24 0 0 20 0 1 0 16458166 414793728 93828 33554432000 4194304 5970956 140728218095776 140728218093112 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93828 783 434 0 94632 0 Current children cumulated CPU time (s) 2320.95 Current children cumulated vsize (KiB) 405072 [startup+2382.3 s] /proc/loadavg: 2.03 2.02 2.05 4/191 6500 /proc/meminfo: memFree=31059428/32770624 swapFree=6232/500624 [pid=6155] ppid=6152 vsize=405072 CPUtime=2380.92 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 371421 0 0 0 238068 24 0 0 20 0 1 0 16458166 414793728 93829 33554432000 4194304 5970956 140728218095776 140728218093112 4934318 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93829 783 434 0 94632 0 Current children cumulated CPU time (s) 2380.92 Current children cumulated vsize (KiB) 405072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.41 s] /proc/loadavg: 2.02 2.02 2.05 4/191 6500 /proc/meminfo: memFree=31059484/32770624 swapFree=6232/500628 [pid=6155] ppid=6152 vsize=405072 CPUtime=2400.01 cores=0,2,4,6 /proc/6155/stat : 6155 (cosoco) R 6152 6155 4195 0 -1 4202496 371527 0 0 0 239977 24 0 0 20 0 1 0 16458166 414793728 93829 33554432000 4194304 5970956 140728218095776 140728218093112 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 12423168 140728218100924 140728218101059 140728218101059 140728218103758 0 /proc/6155/statm: 101268 93829 783 434 0 94632 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 405072 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 6155 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.03 CPU user time (s): 2399.78 CPU system time (s): 0.251856 CPU usage (%): 99.9426 Max. virtual memory (cumulated for all children) (KiB): 405072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.78 system time used= 0.251856 maximum resident set size= 375364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 371551 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= 22 involuntary context switches= 122242 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.33347 second user time and 10.12 second system time The end
Begin job on node134 at 2017-07-21 11:41:21 IDJOB=4241247 IDBENCH=126260 IDSOLVER=2621 FILE ID=node134/4241247-1500630081 RUNJOBID= node134-1500623778-4226 PBS_JOBID= 20622999 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-10.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241247-1500630081/watcher-4241247-1500630081 -o /tmp/evaluation-result-4241247-1500630081/solver-4241247-1500630081 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500623778-4226 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241247-1500630081.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 33acbdbf13e8fba51e0fc3db0676c789 RANDOM SEED=1370377930 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 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.83 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.83 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.83 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 : 2267.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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 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: 31429444 kB MemAvailable: 32004228 kB Buffers: 159788 kB Cached: 694644 kB SwapCached: 0 kB Active: 411572 kB Inactive: 507312 kB Active(anon): 67500 kB Inactive(anon): 8808 kB Active(file): 344072 kB Inactive(file): 498504 kB Unevictable: 6232 kB Mlocked: 6232 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7780 kB Writeback: 0 kB AnonPages: 70236 kB Mapped: 35056 kB Shmem: 8872 kB Slab: 121612 kB SReclaimable: 96084 kB SUnreclaim: 25528 kB KernelStack: 3424 kB PageTables: 4420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 338164 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62004 MiB End job on node134 at 2017-07-21 12:21:23