Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-sat 1.12 | ? (TO) | 2520.02 | 2519.8999 |
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.59/2.62 c SAT : Variables: 450 -- Clauses: 2070 5.79/5.83 c root propagations : 90 5.79/5.83 c restarts enabled, print stats at every restarts 5.79/5.83 c 5.79/5.83 c 5.79/5.83 c 5.79/5.83 c This is cosoco 1.12 -- 5.79/5.83 c 5.79/5.83 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266417-1502576388.xml 5.79/5.83 c ========================================[ Problem Statistics ]=========================================== 5.79/5.83 c | 5.79/5.83 c | Parse time : 2.50 s 5.79/5.83 c | 5.79/5.83 c | Variables: 45 5.79/5.83 c | Domain Sizes: 10..10 5.79/5.83 c | 5.79/5.83 c | Constraints: 135 5.79/5.83 c | Arity: 2..6 -- Binary: 30 5.79/5.83 c | 5.79/5.83 c | Types: 5.79/5.83 c | (X - Y < k): 30 5.79/5.83 c | Extension: 105 (nb tuples: 423360..423360) -- (shared: 104) 5.79/5.83 c | 5.79/5.83 c ========================================================================================================= 5.79/5.83 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 6.59/6.64 c 10 22 1052 283 45 10 7 13 8 7.59/7.63 c 20 50 1744 516 45 20 4 19 10 8.49/8.55 c 30 78 2385 693 45 30 4 19 9 9.39/9.46 c 40 109 3072 885 45 40 4 22 9 10.19/10.24 c 50 146 3891 1126 45 50 10 28 17 11.10/11.18 c 60 180 4704 1364 45 60 4 25 12 12.00/12.10 c 70 214 5634 1592 45 70 8 25 16 13.00/13.02 c 80 245 6410 1798 45 80 5 22 13 13.79/13.84 c 90 276 7136 2014 45 90 3 22 15 14.69/14.73 c 100 310 7919 2231 45 100 10 25 15 14.89/14.90 c 101 313 7981 2251 45 101 3 3 1 15.59/15.69 c 110 353 9021 2519 45 110 25 32 26 16.49/16.56 c 120 393 10156 2790 45 120 16 31 22 17.49/17.54 c 130 427 11039 3016 45 130 5 25 15 18.29/18.34 c 140 461 11816 3229 45 140 4 25 16 19.29/19.31 c 150 498 12838 3479 45 150 6 28 19 20.10/20.19 c 160 526 13535 3683 45 160 3 19 11 21.00/21.10 c 170 560 14384 3914 45 170 3 25 16 21.89/22.00 c 180 600 15460 4181 45 180 16 31 21 22.79/22.82 c 190 631 16141 4376 45 190 2 22 11 23.59/23.68 c 200 665 16953 4592 45 200 13 25 17 24.49/24.57 c 210 704 18088 4844 45 209 16 29 24 24.80/24.89 c 211 717 18400 4905 45 210 13 13 6 25.79/25.83 c 220 750 19252 5130 45 219 3 25 16 26.59/26.68 c 230 787 20117 5366 45 229 13 28 17 27.69/27.75 c 240 824 21136 5638 45 239 13 28 18 28.69/28.71 c 250 858 22014 5886 45 249 3 25 16 29.59/29.69 c 260 889 22802 6107 45 259 3 22 14 30.59/30.64 c 270 926 23845 6351 45 269 3 28 18 31.59/31.66 c 280 954 24584 6541 45 279 5 19 12 32.49/32.53 c 290 988 25435 6767 45 289 6 25 18 33.49/33.50 c 300 1025 26417 7007 45 299 13 28 20 34.49/34.52 c 310 1053 27177 7203 45 309 9 19 13 35.39/35.42 c 320 1093 28395 7476 45 319 22 31 25 36.39/36.44 c 330 1133 29512 7755 45 329 8 31 20 37.10/37.13 c 332 1162 30267 7914 45 331 25 28 17 37.89/37.98 c 340 1194 31103 8123 45 339 16 25 17 38.89/38.99 c 350 1231 32058 8365 45 349 10 28 18 39.89/39.92 c 360 1268 33052 8615 45 359 19 28 20 40.89/40.90 c 370 1305 34045 8862 45 369 13 28 18 41.79/41.85 c 380 1345 35139 9133 45 379 22 31 22 42.69/42.79 c 390 1379 36051 9379 45 389 6 25 18 43.69/43.72 c 400 1416 37002 9619 45 399 16 28 21 44.49/44.58 c 410 1456 38229 9893 45 409 28 31 26 45.49/45.52 c 420 1493 39266 10144 45 419 16 28 21 46.39/46.44 c 430 1521 39990 10338 45 429 6 19 13 47.29/47.39 c 440 1558 40955 10580 45 439 13 28 19 48.19/48.24 c 450 1603 42293 10878 45 446 28 31 27 49.19/49.24 c 460 1643 43363 11150 45 456 16 31 20 50.00/50.03 c 465 1672 44104 11328 45 461 19 25 18 50.69/50.76 c 470 1704 45055 11513 45 466 28 28 23 51.80/51.86 c 480 1744 46114 11797 45 476 16 31 19 52.70/52.78 c 490 1778 46991 12022 45 486 16 25 18 53.50/53.57 c 500 1818 48121 12279 45 493 25 31 25 54.40/54.42 c 510 1849 48846 12485 45 503 3 22 14 55.40/55.43 c 520 1883 49757 12732 45 513 13 25 17 56.40/56.46 c 530 1920 50737 12994 45 523 13 28 20 57.40/57.45 c 540 1957 51731 13241 45 533 13 28 18 58.40/58.45 c 550 1994 52715 13486 45 543 13 28 20 59.40/59.42 c 560 2031 53714 13737 45 553 16 28 21 60.30/60.36 c 570 2062 54532 13953 45 563 16 22 17 61.30/61.35 c 580 2099 55454 14199 45 573 16 28 20 62.30/62.35 c 590 2139 56543 14466 45 583 16 31 22 63.30/63.34 c 600 2176 57540 14715 45 593 13 28 18 64.10/64.19 c 610 2217 58733 14987 45 598 13 31 25 64.60/64.64 c 611 2233 59123 15073 45 599 16 16 8 65.50/65.51 c 620 2266 59924 15292 45 608 16 25 18 66.50/66.50 c 630 2303 60902 15546 45 618 19 28 20 67.50/67.50 c 640 2343 62007 15820 45 628 13 31 21 68.40/68.43 c 650 2380 62993 16068 45 638 10 28 20 69.30/69.39 c 660 2420 64110 16329 45 648 13 31 20 70.30/70.32 c 670 2460 65223 16605 45 658 22 31 23 71.20/71.26 c 680 2494 66096 16842 45 668 19 25 20 72.20/72.24 c 690 2534 67104 17100 45 678 10 31 20 73.30/73.31 c 700 2571 68120 17361 45 688 13 28 18 74.30/74.31 c 710 2608 69112 17605 45 698 13 28 19 75.10/75.11 c 720 2649 70278 17854 45 705 25 31 26 76.00/76.05 c 730 2683 71174 18091 45 715 13 25 17 76.80/76.89 c 740 2717 72042 18325 45 725 16 25 20 77.79/77.83 c 750 2751 72933 18557 45 735 19 25 21 78.79/78.81 c 760 2791 74079 18841 45 745 22 31 25 79.69/79.78 c 770 2825 74940 19056 45 755 13 25 15 80.19/80.26 c 771 2841 75333 19133 45 756 16 16 8 81.19/81.20 c 780 2874 76180 19353 45 765 10 25 17 82.10/82.16 c 790 2905 76979 19558 45 775 5 22 14 83.10/83.15 c 800 2945 78076 19828 45 785 19 31 22 84.10/84.19 c 810 2982 79063 20074 45 795 13 28 18 85.10/85.15 c 820 3016 79954 20310 45 805 13 25 18 86.10/86.11 c 830 3050 80806 20535 45 815 13 25 17 87.00/87.02 c 840 3090 81825 20802 45 825 16 31 23 87.89/87.99 c 850 3128 82845 21069 45 835 22 29 23 88.89/88.94 c 860 3168 83909 21337 45 845 19 31 22 89.79/89.80 c 870 3213 85319 21648 45 854 28 31 27 90.69/90.79 c 880 3250 86315 21917 45 864 16 28 19 91.79/91.83 c 890 3290 87406 22208 45 874 16 31 22 92.79/92.80 c 900 3324 88261 22445 45 884 16 25 18 93.69/93.79 c 910 3364 89323 22710 45 894 10 31 20 94.49/94.57 c 920 3401 90314 22961 45 904 25 28 24 95.59/95.62 c 930 3441 91437 23226 45 914 13 31 20 96.59/96.65 c 940 3478 92413 23471 45 924 13 28 20 97.39/97.45 c 947 3509 93276 23663 45 931 10 25 17 98.00/98.03 c 950 3527 93737 23765 45 934 4 16 8 99.00/99.01 c 960 3567 94838 24035 45 944 19 31 23 100.00/100.01 c 970 3607 95985 24304 45 954 19 31 23 100.89/100.96 c 980 3644 97070 24556 45 964 10 28 20 101.89/102.00 c 990 3678 97991 24806 45 974 4 25 15 103.00/103.02 c 1000 3712 98882 25028 45 984 5 25 15 104.10/104.11 c 1010 3749 99876 25281 45 994 13 28 18 105.00/105.09 c 1020 3783 100768 25507 45 1004 5 25 16 106.10/106.14 c 1030 3820 101731 25749 45 1014 13 28 17 107.10/107.16 c 1040 3860 102846 26017 45 1024 13 31 20 108.10/108.14 c 1050 3891 103624 26224 45 1034 5 22 13 109.19/109.20 c 1060 3931 104694 26489 45 1044 16 31 21 110.10/110.17 c 1070 3971 105825 26762 45 1054 16 31 22 111.10/111.18 c 1080 4008 106819 27010 45 1064 10 28 16 112.10/112.18 c 1090 4042 107711 27236 45 1074 5 25 15 113.19/113.27 c 1100 4079 108695 27478 45 1084 5 28 15 114.19/114.28 c 1110 4119 109758 27749 45 1094 16 31 21 115.19/115.25 c 1120 4156 110733 27988 45 1104 16 28 20 116.00/116.03 c 1130 4190 111564 28218 45 1114 19 25 21 117.00/117.02 c 1140 4224 112463 28457 45 1124 10 25 18 117.19/117.24 c 1141 4227 112537 28479 45 1125 3 3 1 118.19/118.23 c 1150 4260 113330 28692 45 1134 4 25 12 119.10/119.19 c 1160 4291 114118 28904 45 1144 10 22 14 120.10/120.18 c 1170 4328 115064 29141 45 1154 3 28 16 121.00/121.08 c 1180 4362 115938 29360 45 1164 19 25 19 122.00/122.06 c 1190 4399 116940 29613 45 1174 13 28 18 122.79/122.88 c 1200 4439 118183 29888 45 1179 28 31 27 123.69/123.76 c 1210 4473 119067 30121 45 1189 16 25 19 124.69/124.74 c 1220 4507 119967 30348 45 1199 3 25 13 125.49/125.52 c 1230 4547 121117 30621 45 1204 13 31 25 126.29/126.33 c 1240 4584 122059 30862 45 1214 16 28 19 127.19/127.22 c 1250 4624 123182 31133 45 1224 16 31 21 128.00/128.10 c 1260 4664 124248 31411 45 1234 16 31 20 128.79/128.83 c 1270 4705 125380 31680 45 1239 28 31 27 129.49/129.56 c 1280 4745 126623 31943 45 1245 25 31 25 130.29/130.33 c 1290 4782 127541 32187 45 1255 19 28 21 131.10/131.19 c 1300 4816 128407 32402 45 1265 10 25 17 132.00/132.06 c 1310 4853 129447 32655 45 1275 13 28 20 132.79/132.82 c 1320 4894 130727 32946 45 1281 31 31 28 133.59/133.65 c 1330 4931 131712 33205 45 1291 16 28 21 134.50/134.54 c 1340 4971 132791 33492 45 1301 22 31 24 135.39/135.47 c 1350 5002 133620 33711 45 1311 10 22 14 135.89/135.97 c 1352 5019 134048 33811 45 1313 16 16 10 136.69/136.72 c 1360 5048 134712 33991 45 1321 4 22 9 137.59/137.64 c 1370 5085 135676 34238 45 1331 13 28 18 138.39/138.43 c 1380 5116 136542 34452 45 1341 19 22 18 139.19/139.29 c 1390 5150 137422 34680 45 1351 3 25 18 140.19/140.22 c 1400 5190 138556 34944 45 1361 16 31 22 141.00/141.06 c 1410 5235 139879 35271 45 1365 27 31 27 141.79/141.88 c 1420 5272 140858 35530 45 1375 16 28 21 142.69/142.74 c 1430 5309 141804 35767 45 1385 13 28 18 143.49/143.51 c 1440 5349 143084 36046 45 1390 28 31 27 144.39/144.42 c 1450 5383 143954 36288 45 1400 3 25 14 145.29/145.32 c 1460 5423 145104 36567 45 1410 19 31 23 146.00/146.08 c 1470 5466 146424 36850 45 1416 28 31 27 146.69/146.78 c 1480 5506 147573 37104 45 1426 25 31 24 147.49/147.50 c 1490 5547 148826 37402 45 1428 31 31 28 148.19/148.29 c 1500 5584 149801 37660 45 1438 22 28 24 149.00/149.02 c 1510 5625 151179 37956 45 1440 31 31 28 149.69/149.76 c 1520 5666 152424 38252 45 1445 31 31 28 150.49/150.53 c 1530 5707 153636 38548 45 1450 31 31 28 151.19/151.27 c 1540 5748 154919 38824 45 1455 28 31 27 152.00/152.01 c 1550 5793 156199 39112 45 1462 25 31 24 152.89/152.91 c 1560 5824 156963 39325 45 1472 4 22 15 153.79/153.80 c 1570 5855 157776 39554 45 1482 13 22 16 154.69/154.72 c 1580 5886 158646 39791 45 1492 16 22 17 155.39/155.41 c 1585 5915 159409 39956 45 1497 16 25 17 156.00/156.04 c 1590 5941 160098 40116 45 1502 16 22 15 156.89/156.94 c 1600 5981 161207 40382 45 1512 13 31 20 157.59/157.68 c 1610 6021 162311 40671 45 1517 28 31 27 158.39/158.44 c 1620 6058 163232 40923 45 1527 22 28 23 159.29/159.30 c 1630 6095 164213 41180 45 1537 16 28 21 160.00/160.05 c 1640 6136 165577 41479 45 1542 31 31 28 160.79/160.80 c 1650 6176 166657 41738 45 1549 28 29 26 161.49/161.57 c 1660 6218 167967 42039 45 1553 31 31 28 162.19/162.23 c 1670 6260 169129 42317 45 1558 29 31 27 163.00/163.04 c 1680 6294 169943 42539 45 1568 3 25 17 163.69/163.79 c 1690 6328 170876 42774 45 1578 22 25 21 164.50/164.51 c 1700 6368 172036 43046 45 1588 28 31 26 165.20/165.25 c 1710 6409 173263 43340 45 1593 31 31 28 166.10/166.18 c 1720 6446 174229 43601 45 1603 3 28 17 166.90/166.96 c 1730 6480 175150 43844 45 1613 22 25 21 167.80/167.82 c 1740 6517 176130 44100 45 1623 13 28 18 168.50/168.56 c 1750 6557 177340 44387 45 1628 28 31 27 169.40/169.47 c 1760 6594 178311 44630 45 1638 4 28 17 170.30/170.37 c 1770 6634 179375 44901 45 1648 16 31 21 171.11/171.18 c 1780 6679 180734 45240 45 1652 27 31 27 171.90/171.98 c 1790 6721 182079 45549 45 1656 31 31 28 172.70/172.71 c 1800 6761 183312 45822 45 1661 28 31 27 173.60/173.64 c 1810 6789 184090 46036 45 1671 10 19 13 174.50/174.53 c 1820 6826 185091 46298 45 1681 16 28 20 175.20/175.27 c 1830 6866 186157 46542 45 1691 24 31 23 176.01/176.04 c 1840 6897 186959 46757 45 1701 13 22 16 176.60/176.65 c 1841 6919 187603 46883 45 1702 22 22 11 177.40/177.47 c 1850 6955 188634 47121 45 1711 16 28 21 178.11/178.19 c 1860 6996 189998 47419 45 1717 31 31 28 178.90/178.98 c 1870 7036 191116 47686 45 1727 25 31 24 179.80/179.89 c 1880 7076 192176 47962 45 1737 13 31 20 180.60/180.65 c 1890 7118 193565 48272 45 1742 31 31 28 181.30/181.37 c 1900 7161 194866 48558 45 1749 28 31 27 182.11/182.18 c 1910 7195 195763 48793 45 1759 19 25 20 183.01/183.01 c 1920 7232 196778 49043 45 1769 22 28 22 183.70/183.79 c 1930 7266 197590 49275 45 1779 19 25 19 184.70/184.74 c 1940 7306 198694 49553 45 1789 10 31 17 185.40/185.48 c 1950 7346 199948 49835 45 1794 25 31 26 186.20/186.29 c 1960 7380 200786 50062 45 1804 13 25 18 187.01/187.10 c 1970 7420 202058 50347 45 1809 13 31 24 187.90/187.96 c 1980 7460 203151 50619 45 1819 16 31 21 188.80/188.81 c 1990 7497 204134 50874 45 1829 13 28 20 189.50/189.58 c 2000 7531 205081 51107 45 1839 22 25 21 190.30/190.39 c 2010 7573 206381 51405 45 1848 28 31 26 191.20/191.21 c 2020 7617 207699 51715 45 1857 27 31 26 191.90/191.93 c 2030 7659 208966 52015 45 1860 31 31 28 192.70/192.74 c 2040 7699 210066 52285 45 1870 19 31 23 193.40/193.45 c 2050 7740 211425 52569 45 1872 31 31 28 194.20/194.20 c 2060 7780 212619 52855 45 1877 25 31 26 195.10/195.13 c 2070 7817 213595 53098 45 1887 4 28 17 195.79/195.87 c 2080 7858 214934 53386 45 1892 31 31 28 196.49/196.59 c 2090 7899 216201 53692 45 1893 31 31 28 197.29/197.34 c 2100 7942 217627 54003 45 1897 31 31 28 198.00/198.05 c 2110 7982 218839 54289 45 1902 28 31 27 198.89/198.99 c 2120 8019 219761 54531 45 1912 4 28 15 199.39/199.48 c 2122 8039 220284 54629 45 1914 19 19 12 200.19/200.20 c 2130 8077 221380 54885 45 1918 25 31 26 201.00/201.06 c 2140 8117 222517 55159 45 1928 13 31 21 201.69/201.78 c 2150 8158 223761 55434 45 1933 28 31 27 202.49/202.59 c 2160 8198 224845 55711 45 1943 25 31 24 203.39/203.48 c 2170 8235 225776 55948 45 1953 4 28 17 204.19/204.24 c 2180 8276 227041 56249 45 1959 31 31 28 205.00/205.03 c 2190 8316 228081 56508 45 1969 22 31 25 205.79/205.81 c 2200 8353 229067 56756 45 1979 19 28 23 206.59/206.60 c 2210 8387 230000 56993 45 1989 22 25 21 207.29/207.36 c 2220 8429 231293 57272 45 1998 29 31 27 208.00/208.10 c 2230 8471 232677 57563 45 2001 31 31 28 208.69/208.75 c 2240 8513 233886 57803 45 2008 29 31 26 209.59/209.66 c 2250 8547 234771 58044 45 2018 3 25 16 210.49/210.51 c 2260 8589 236084 58362 45 2023 31 31 28 211.19/211.21 c 2270 8630 237250 58645 45 2028 31 31 28 211.89/211.93 c 2280 8670 238426 58900 45 2038 25 31 26 212.59/212.67 c 2290 8711 239855 59201 45 2044 31 31 28 213.29/213.39 c 2300 8754 241155 59482 45 2047 30 32 28 214.19/214.20 c 2310 8788 241939 59703 45 2057 13 25 18 214.89/214.94 c 2320 8831 243259 59979 45 2058 31 32 28 215.69/215.71 c 2330 8868 244173 60220 45 2068 16 28 21 216.59/216.67 c 2340 8902 245128 60469 45 2078 16 25 16 217.59/217.60 c 2350 8936 246015 60701 45 2088 13 25 16 218.39/218.49 c 2360 8976 247151 61010 45 2093 27 31 26 219.29/219.39 c 2370 9013 248095 61260 45 2103 16 28 18 220.29/220.32 c 2380 9047 248977 61490 45 2113 13 25 17 221.29/221.31 c 2390 9081 249913 61736 45 2123 10 25 15 222.19/222.21 c 2400 9115 250805 61977 45 2133 13 25 17 223.00/223.03 c 2410 9155 252002 62243 45 2143 10 31 23 223.89/223.94 c 2420 9192 252999 62503 45 2153 10 28 18 224.69/224.73 c 2430 9232 254199 62769 45 2163 10 31 23 225.29/225.30 c 2431 9260 254963 62912 45 2164 28 28 14 226.00/226.09 c 2440 9301 256197 63189 45 2171 28 31 26 226.89/227.00 c 2450 9338 257219 63442 45 2181 16 28 21 227.69/227.78 c 2460 9378 258437 63737 45 2186 28 31 27 228.59/228.63 c 2470 9412 259299 63960 45 2196 13 25 17 229.39/229.44 c 2480 9452 260384 64227 45 2206 19 31 22 230.10/230.12 c 2490 9497 261748 64533 45 2216 28 31 27 231.00/231.04 c 2500 9531 262626 64777 45 2226 10 25 15 231.89/231.96 c 2510 9559 263415 65001 45 2236 10 19 14 232.79/232.88 c 2520 9596 264444 65264 45 2246 16 28 20 233.79/233.81 c 2530 9630 265353 65499 45 2256 10 25 16 234.49/234.55 c 2540 9672 266602 65782 45 2266 13 31 24 235.39/235.41 c 2550 9709 267587 66033 45 2276 13 28 20 236.19/236.29 c 2560 9749 268723 66308 45 2286 22 31 22 237.00/237.03 c 2570 9790 269909 66579 45 2291 28 31 27 237.89/237.94 c 2580 9827 270842 66833 45 2301 16 28 18 238.69/238.70 c 2590 9867 271951 67102 45 2311 25 31 25 239.49/239.54 c 2600 9907 273211 67389 45 2321 22 31 25 240.29/240.33 c 2610 9947 274364 67647 45 2331 13 31 23 241.10/241.12 c 2620 9990 275635 67951 45 2335 30 32 28 241.79/241.83 c 2630 10030 276716 68230 45 2340 28 31 27 242.49/242.59 c 2640 10072 277954 68491 45 2348 13 31 23 243.39/243.40 c 2650 10112 279083 68772 45 2358 25 31 26 244.29/244.31 c 2660 10152 280195 69053 45 2368 19 31 21 245.00/245.10 c 2670 10192 281454 69332 45 2378 22 31 25 245.79/245.88 c 2680 10232 282513 69598 45 2388 22 31 24 246.69/246.70 c 2690 10266 283401 69832 45 2398 13 25 19 247.49/247.56 c 2700 10310 284657 70140 45 2407 27 31 26 248.29/248.30 c 2710 10351 285821 70410 45 2417 25 31 26 249.00/249.09 c 2720 10394 287090 70707 45 2423 28 31 27 249.89/249.92 c 2730 10434 288215 70976 45 2433 16 31 23 250.69/250.75 c 2740 10468 289096 71223 45 2443 16 25 20 251.69/251.74 c 2750 10496 289861 71435 45 2453 3 19 12 252.59/252.61 c 2760 10536 290939 71708 45 2463 22 31 22 253.29/253.37 c 2770 10576 292175 71988 45 2468 25 31 26 253.89/253.91 c 2771 10595 292736 72096 45 2469 19 19 9 254.60/254.66 c 2780 10628 293613 72320 45 2478 22 25 20 255.40/255.45 c 2790 10669 294804 72626 45 2480 31 31 28 256.20/256.26 c 2800 10709 295872 72917 45 2490 22 31 24 257.01/257.05 c 2810 10749 296986 73195 45 2500 25 31 26 257.80/257.80 c 2820 10792 298428 73495 45 2506 28 31 27 258.50/258.56 c 2830 10835 299809 73800 45 2511 28 31 27 259.20/259.25 c 2840 10876 301012 74079 45 2520 28 31 27 260.01/260.05 c 2850 10913 301958 74330 45 2530 19 28 21 260.70/260.74 c 2860 10955 303278 74627 45 2534 31 31 28 261.50/261.53 c 2870 10996 304513 74933 45 2539 31 31 28 262.40/262.41 c 2880 11036 305600 75219 45 2549 19 31 23 263.20/263.22 c 2890 11076 306764 75494 45 2559 22 31 23 264.11/264.16 c 2900 11113 307715 75738 45 2569 13 28 17 264.90/264.92 c 2910 11150 308709 75994 45 2579 22 28 22 265.80/265.83 c 2920 11184 309596 76220 45 2589 13 25 16 266.50/266.59 c 2930 11227 310856 76515 45 2595 28 31 27 267.20/267.28 c 2940 11270 312276 76803 45 2600 28 31 27 267.90/267.95 c 2950 11312 313565 77095 45 2605 28 31 27 268.70/268.79 c 2960 11337 314169 77265 45 2615 4 16 10 269.50/269.54 c 2970 11379 315490 77566 45 2618 31 31 28 270.30/270.37 c 2980 11424 316851 77897 45 2621 27 31 27 271.11/271.19 c 2990 11464 318020 78173 45 2631 19 31 24 272.01/272.04 c 3000 11501 319025 78437 45 2641 16 28 21 272.80/272.82 c 3010 11544 320383 78739 45 2647 28 31 27 273.50/273.54 c 3020 11585 321669 79012 45 2652 29 31 27 274.30/274.34 c 3030 11626 322975 79326 45 2658 31 31 28 275.11/275.18 c 3040 11666 324135 79599 45 2668 19 31 23 275.90/275.96 c 3050 11706 325355 79882 45 2678 22 31 25 276.60/276.66 c 3060 11746 326547 80156 45 2683 28 31 27 277.50/277.57 c 3070 11780 327462 80414 45 2693 10 25 18 278.50/278.51 c 3080 11817 328504 80679 45 2703 19 28 20 279.20/279.23 c 3090 11859 329753 80963 45 2708 29 31 27 280.01/280.09 c 3100 11893 330624 81197 45 2718 10 25 18 280.90/280.92 c 3110 11935 331961 81525 45 2723 31 31 28 281.60/281.64 c 3120 11980 333403 81817 45 2732 28 31 27 282.30/282.35 c 3130 12025 334850 82130 45 2742 28 31 27 283.11/283.19 c 3140 12059 335719 82362 45 2752 16 25 19 283.60/283.66 c 3142 12073 336127 82441 45 2754 13 13 8 284.30/284.39 c 3150 12108 337029 82670 45 2762 25 28 22 285.20/285.20 c 3160 12142 337897 82898 45 2772 19 25 19 285.90/285.99 c 3170 12182 339248 83184 45 2777 28 31 27 286.80/286.87 c 3180 12222 340340 83467 45 2787 16 31 21 287.70/287.70 c 3190 12264 341553 83768 45 2797 19 32 24 288.40/288.40 c 3200 12305 342945 84058 45 2799 31 31 28 289.11/289.17 c 3210 12345 344057 84337 45 2809 25 31 24 289.90/289.93 c 3220 12385 345323 84641 45 2816 27 31 26 290.80/290.87 c 3230 12419 346264 84900 45 2826 13 25 18 291.70/291.73 c 3240 12459 347437 85190 45 2836 22 31 24 292.50/292.55 c 3250 12499 348600 85473 45 2846 22 31 25 293.20/293.24 c 3260 12540 349987 85767 45 2848 31 31 28 293.90/293.93 c 3270 12585 351399 86071 45 2856 28 31 27 294.60/294.62 c 3280 12626 352814 86363 45 2858 31 31 28 295.20/295.27 c 3290 12668 354106 86645 45 2866 29 31 27 295.90/295.98 c 3300 12711 355569 86960 45 2869 31 31 28 296.80/296.85 c 3310 12751 356641 87240 45 2879 19 31 23 297.50/297.57 c 3320 12790 357743 87482 45 2887 25 28 23 298.20/298.24 c 3330 12826 358737 87697 45 2894 25 26 23 299.01/299.07 c 3340 12868 359998 87983 45 2904 22 32 23 299.80/299.87 c 3350 12912 361351 88302 45 2913 27 31 26 300.60/300.62 c 3360 12955 362692 88606 45 2915 30 32 28 301.40/301.40 c 3370 12992 363538 88842 45 2925 4 28 18 302.11/302.14 c 3380 13034 364768 89157 45 2932 31 32 28 302.80/302.84 c 3390 13075 366187 89446 45 2934 31 31 28 303.50/303.55 c 3400 13117 367481 89768 45 2939 31 31 28 304.20/304.26 c 3410 13156 368569 90016 45 2944 28 29 26 304.90/304.99 c 3420 13199 369848 90327 45 2950 30 32 28 305.60/305.64 c 3430 13239 370881 90569 45 2960 29 31 27 306.50/306.52 c 3440 13280 372070 90873 45 2969 25 32 27 307.40/307.42 c 3450 13317 373006 91149 45 2979 16 28 19 308.30/308.34 c 3460 13354 374006 91421 45 2989 19 28 22 309.01/309.01 c 3470 13401 375395 91715 45 2992 32 32 29 309.70/309.78 c 3480 13438 376292 91976 45 3002 19 28 23 310.60/310.69 c 3490 13478 377409 92269 45 3012 22 31 23 311.50/311.50 c 3500 13523 378665 92582 45 3021 27 32 26 312.20/312.23 c 3510 13566 380158 92892 45 3023 31 31 28 312.90/312.98 c 3520 13604 381158 93142 45 3031 25 29 25 313.70/313.73 c 3530 13644 382245 93426 45 3036 28 31 27 314.50/314.56 c 3540 13681 383240 93681 45 3046 10 28 21 315.29/315.32 c 3550 13724 384553 93989 45 3048 30 32 28 315.89/315.93 c 3551 13755 385370 94168 45 3049 31 31 15 316.69/316.71 c 3560 13791 386355 94417 45 3058 22 28 24 317.39/317.49 c 3570 13830 387519 94684 45 3067 25 29 25 318.19/318.28 c 3580 13870 388680 94972 45 3072 28 31 27 319.19/319.21 c 3590 13904 389611 95238 45 3082 19 25 20 319.89/320.00 c 3600 13944 390778 95528 45 3087 28 31 27 320.69/320.78 c 3610 13984 391860 95808 45 3097 25 31 25 321.40/321.46 c 3620 14024 393060 96054 45 3105 28 29 26 322.20/322.22 c 3630 14065 394209 96336 45 3110 28 31 27 323.01/323.01 c 3640 14107 395454 96628 45 3119 29 32 28 323.80/323.80 c 3650 14151 396808 96925 45 3127 25 32 24 324.50/324.57 c 3660 14193 398130 97233 45 3130 31 31 28 325.30/325.38 c 3670 14236 399447 97567 45 3135 27 32 27 326.30/326.30 c 3680 14270 400250 97829 45 3145 10 25 16 327.01/327.04 c 3690 14313 401504 98135 45 3149 30 32 28 327.70/327.75 c 3700 14345 402325 98360 45 3155 22 23 20 328.40/328.46 c 3710 14390 403661 98675 45 3159 30 32 28 329.20/329.25 c 3720 14421 404491 98907 45 3169 16 22 17 330.01/330.08 c 3730 14461 405660 99199 45 3174 28 31 27 330.80/330.87 c 3740 14502 406812 99506 45 3176 31 31 28 331.60/331.64 c 3750 14543 407919 99793 45 3181 28 31 27 332.40/332.48 c 3760 14586 409215 100098 45 3188 30 32 28 333.20/333.24 c 3770 14631 410589 100423 45 3197 30 32 28 333.90/333.94 c 3780 14673 412062 100715 45 3200 31 31 28 334.80/334.84 c 3790 14707 412904 100979 45 3210 13 25 16 335.60/335.62 c 3800 14748 414074 101277 45 3216 31 31 28 336.20/336.29 c 3810 14793 415541 101547 45 3221 31 32 29 337.01/337.01 c 3820 14833 416823 101825 45 3226 26 31 27 337.70/337.79 c 3830 14874 417966 102134 45 3231 31 31 28 338.50/338.55 c 3840 14913 419066 102401 45 3239 25 28 23 339.30/339.33 c 3850 14954 420407 102705 45 3244 31 31 28 340.01/340.06 c 3860 14995 421554 102992 45 3249 28 31 27 340.80/340.81 c 3870 15036 422712 103282 45 3254 28 31 27 341.60/341.65 c 3880 15081 424013 103615 45 3258 27 31 27 342.40/342.42 c 3890 15132 425650 103931 45 3262 27 32 28 343.20/343.21 c 3900 15174 427046 104246 45 3266 31 31 28 343.90/343.97 c 3910 15215 428226 104548 45 3272 31 31 28 344.70/344.76 c 3920 15256 429414 104853 45 3278 31 31 28 345.50/345.51 c 3930 15298 430660 105163 45 3285 28 31 26 346.30/346.33 c 3940 15343 431937 105505 45 3288 27 31 27 347.01/347.10 c 3950 15384 433084 105793 45 3298 28 32 27 347.80/347.84 c 3960 15427 434447 106080 45 3305 28 31 27 348.70/348.72 c 3970 15461 435301 106328 45 3315 19 25 20 349.60/349.60 c 3980 15492 436079 106546 45 3325 13 22 15 350.30/350.35 c 3990 15534 437277 106826 45 3330 29 31 27 351.01/351.08 c 4000 15577 438601 107115 45 3334 30 32 28 351.60/351.68 c 4001 15602 439272 107260 45 3335 25 25 12 352.30/352.34 c 4010 15642 440665 107538 45 3337 31 31 27 353.01/353.02 c 4020 15682 441826 107811 45 3347 24 31 25 353.80/353.83 c 4030 15713 442633 108041 45 3357 19 22 18 354.60/354.61 c 4040 15754 443970 108349 45 3359 31 31 28 355.30/355.34 c 4050 15796 445365 108659 45 3363 31 31 28 356.01/356.08 c 4060 15833 446315 108919 45 3373 25 28 23 356.80/356.80 c 4070 15872 447456 109182 45 3383 25 29 24 357.50/357.55 c 4080 15909 448433 109439 45 3393 22 28 23 358.20/358.23 c 4090 15952 449727 109721 45 3394 31 32 28 359.01/359.02 c 4100 15994 450936 110022 45 3402 28 32 28 359.70/359.77 c 4110 16035 452045 110322 45 3407 28 31 27 360.40/360.49 c 4120 16078 453367 110611 45 3409 30 32 28 361.20/361.28 c 4130 16124 454688 110926 45 3418 28 32 27 362.01/362.03 c 4140 16166 455866 111237 45 3421 31 31 28 362.70/362.72 c 4150 16211 457259 111526 45 3424 30 32 28 363.50/363.50 c 4160 16252 458610 111832 45 3429 31 31 28 364.30/364.34 c 4170 16297 459921 112172 45 3433 27 31 27 365.11/365.13 c 4180 16338 461138 112453 45 3443 29 31 27 365.80/365.89 c 4190 16379 462292 112756 45 3449 31 31 28 366.50/366.56 c 4200 16426 463787 113042 45 3452 32 32 29 367.30/367.38 c 4210 16472 465305 113391 45 3456 31 31 28 368.11/368.13 c 4220 16514 466575 113697 45 3463 28 31 26 368.80/368.86 c 4230 16554 467730 113982 45 3469 28 31 26 369.50/369.57 c 4240 16595 468872 114276 45 3472 25 31 27 370.30/370.33 c 4250 16631 469837 114517 45 3479 16 26 20 371.01/371.10 c 4260 16673 471093 114802 45 3484 29 31 27 371.80/371.89 c 4270 16710 472023 115048 45 3494 19 28 21 372.60/372.68 c 4280 16745 473021 115306 45 3502 24 25 22 373.30/373.38 c 4290 16786 474422 115605 45 3504 31 31 28 374.11/374.18 c 4300 16821 475389 115842 45 3511 22 25 20 374.90/375.00 c 4310 16864 476654 116168 45 3517 29 32 27 375.80/375.88 c 4320 16901 477598 116427 45 3527 10 28 19 376.70/376.75 c 4330 16932 478477 116675 45 3537 19 22 18 377.50/377.51 c 4340 16973 479841 116982 45 3543 31 31 28 378.20/378.22 c 4350 17013 480966 117248 45 3553 28 31 26 378.90/378.96 c 4360 17054 482052 117543 45 3558 28 31 27 379.80/379.87 c 4370 17092 483157 117819 45 3566 22 28 21 380.60/380.63 c 4380 17134 484395 118123 45 3573 25 31 27 381.30/381.35 c 4390 17175 485685 118409 45 3578 28 31 27 382.01/382.05 c 4400 17218 487173 118717 45 3581 31 31 28 382.70/382.76 c 4410 17259 488310 119023 45 3583 31 31 28 383.60/383.61 c 4420 17300 489387 119324 45 3588 16 31 24 384.30/384.35 c 4430 17341 490790 119623 45 3594 31 31 28 385.01/385.02 c 4440 17382 492228 119911 45 3596 31 31 28 385.70/385.74 c 4450 17424 493595 120227 45 3602 31 31 28 386.40/386.48 c 4460 17465 494700 120524 45 3607 31 31 28 387.20/387.24 c 4470 17507 496130 120846 45 3612 31 31 28 387.90/387.94 c 4480 17550 497643 121151 45 3614 31 31 28 388.70/388.71 c 4490 17595 498905 121491 45 3618 27 31 27 389.40/389.42 c 4493 17628 499949 121717 45 3620 27 31 22 389.90/390.00 c 4500 17662 500924 121897 45 3623 26 26 22 390.80/390.82 c 4510 17704 502307 122225 45 3628 31 31 28 391.50/391.55 c 4520 17746 503599 122537 45 3633 31 31 28 392.20/392.27 c 4530 17786 504688 122816 45 3643 28 31 26 393.01/393.02 c 4540 17826 505945 123099 45 3653 28 31 26 393.70/393.72 c 4550 17868 507506 123413 45 3658 31 31 28 394.40/394.49 c 4560 17910 508708 123736 45 3663 31 31 28 395.20/395.26 c 4570 17952 510171 124061 45 3668 31 31 28 395.90/395.99 c 4580 17994 511736 124392 45 3670 26 31 27 396.70/396.72 c 4590 18036 513142 124711 45 3675 31 31 28 397.40/397.47 c 4600 18081 514434 125036 45 3677 31 31 28 398.20/398.23 c 4610 18123 515901 125349 45 3680 31 31 28 398.90/398.91 c 4620 18161 517006 125600 45 3686 27 28 25 399.60/399.68 c 4630 18198 517973 125869 45 3696 22 28 24 400.50/400.51 c 4640 18243 519253 126201 45 3700 27 31 27 401.20/401.25 c 4650 18287 520807 126534 45 3702 31 31 28 402.11/402.11 c 4660 18328 521893 126829 45 3707 19 31 24 402.80/402.88 c 4670 18371 523144 127128 45 3714 28 31 27 403.60/403.62 c 4680 18411 524419 127412 45 3724 28 31 26 404.30/404.36 c 4690 18446 525353 127654 45 3731 24 25 22 405.20/405.24 c 4700 18483 526282 127911 45 3741 13 28 17 406.01/406.01 c 4710 18524 527487 128216 45 3743 31 31 28 406.70/406.75 c 4720 18565 528637 128498 45 3751 25 31 26 407.50/407.55 c 4730 18606 529830 128797 45 3756 31 31 28 408.30/408.30 c 4740 18648 531323 129122 45 3761 31 31 28 409.01/409.02 c 4750 18693 532605 129429 45 3771 28 31 27 409.70/409.79 c 4760 18737 533886 129740 45 3780 27 31 26 410.50/410.55 c 4770 18782 535430 130079 45 3783 31 31 28 411.20/411.28 c 4780 18825 536596 130377 45 3788 29 31 27 412.01/412.06 c 4790 18867 537793 130680 45 3791 31 31 28 412.80/412.81 c 4800 18908 539116 130967 45 3798 28 31 26 413.50/413.54 c 4810 18949 540264 131264 45 3804 31 31 28 414.30/414.32 c 4820 18990 541458 131569 45 3810 31 31 28 415.01/415.06 c 4830 19031 542908 131875 45 3816 31 31 28 415.80/415.89 c 4840 19062 543723 132109 45 3826 13 22 17 416.70/416.79 c 4850 19096 544670 132375 45 3836 19 25 20 417.50/417.52 c 4860 19139 546039 132659 45 3844 28 31 27 418.30/418.36 c 4870 19180 547262 132963 45 3852 13 31 23 419.01/419.08 c 4880 19220 548335 133244 45 3862 28 31 26 419.80/419.86 c 4890 19260 549443 133534 45 3872 28 31 26 420.60/420.65 c 4900 19295 550457 133790 45 3880 24 25 22 421.30/421.37 c 4910 19335 551530 134052 45 3890 28 31 26 422.11/422.15 c 4920 19377 552838 134371 45 3894 31 31 28 422.90/422.91 c 4930 19418 554078 134673 45 3899 25 31 26 423.60/423.67 c 4940 19459 555405 134986 45 3905 31 31 28 424.40/424.45 c 4950 19504 556782 135323 45 3909 27 31 27 425.11/425.14 c 4960 19546 557934 135628 45 3915 31 31 28 425.80/425.88 c 4970 19587 559230 135939 45 3917 31 31 28 426.70/426.73 c 4980 19621 560109 136191 45 3927 13 25 18 427.40/427.44 c 4990 19661 561267 136458 45 3937 28 31 27 428.70/428.79 c 5035 19747 563786 137260 45 3940 27 31 29 439.01/439.07 c 5631 20602 588926 146299 45 3976 13 31 30 450.20/450.23 c 6286 21491 615649 156079 45 3997 10 31 30 462.20/462.23 c 7006 22519 650268 166936 45 4028 10 31 30 475.90/475.94 c 7798 23575 682233 179041 45 4047 24 31 30 486.60/486.66 c 8669 24985 727266 191592 45 4074 10 32 30 502.71/502.79 c 9627 26253 764770 206190 45 4094 27 31 30 518.21/518.26 c 10680 27786 815523 221548 45 4130 10 32 30 531.51/531.54 c 11838 29564 871573 236844 45 4157 10 32 30 547.21/547.30 c 13111 31486 937926 257209 45 4187 10 37 33 568.91/568.98 c 14511 33622 1001214 279353 45 4214 8 37 31 590.02/590.03 c 16051 35759 1072608 300792 45 4256 2 31 30 611.51/611.57 c 17745 38261 1146225 326588 45 4275 25 31 30 636.31/636.34 c 19608 41114 1231777 354146 45 4287 25 32 30 664.13/664.16 c 21657 44060 1320469 384452 45 4317 10 32 30 696.13/696.15 c 23910 47118 1458075 418230 45 4346 24 31 30 718.72/718.70 c 26388 51125 1580368 452697 45 4385 10 32 30 749.82/749.81 c 29113 55147 1717074 489865 45 4406 22 32 30 788.52/788.58 c 32110 59386 1838603 532217 45 4441 10 31 30 812.13/812.18 c 35406 64677 2010347 571958 45 4458 23 32 30 859.92/859.92 c 39031 69835 2170965 620674 45 4483 10 32 30 899.14/899.17 c 43018 77082 2408376 677223 45 4507 22 32 30 954.53/954.52 c 47403 83188 2615501 741367 45 4545 10 32 30 1005.14/1005.15 c 52226 90277 2848077 819664 45 4564 24 37 34 1059.63/1059.69 c 57531 97750 3075896 891014 45 4598 13 37 31 1144.94/1144.99 c 63366 105929 3323259 977853 45 4616 19 32 30 1209.74/1209.73 c 69784 115213 3618012 1063210 45 4648 13 37 31 1263.54/1263.59 c 76843 126240 3979327 1149323 45 4683 22 37 30 1324.54/1324.53 c 84607 138312 4370563 1241478 45 4739 4 37 31 1447.76/1447.74 c 93147 150089 4708614 1358413 45 4789 10 37 31 1552.86/1552.83 c 102541 163391 5135001 1512623 45 4822 22 37 35 1633.96/1633.93 c 112874 181205 5699441 1646158 45 4877 16 37 31 1762.37/1762.36 c 124240 197352 6222129 1832342 45 4898 23 37 35 1889.68/1889.69 c 136742 216037 6817447 2011545 45 4948 10 37 33 2016.68/2016.65 c 150494 235710 7461158 2229755 45 4983 24 37 34 2182.69/2182.63 c 165621 257147 8155840 2475028 45 5037 20 37 35 2332.90/2332.86 c 182260 282490 8963316 2710822 45 5070 16 37 32 2503.12/2503.08 c 200562 311404 9874054 2981988 45 5110 16 37 33 2520.02/2519.90 2520.02/2519.90 c *** INTERRUPTED *** 2520.02/2519.90 c restarts : 555 2520.02/2519.90 c conflicts : 202787 (80 /sec) 2520.02/2519.90 c decisions : 314610 (125 /sec) 2520.02/2519.90 c propagations : 3009749 (1194 /sec) 2520.02/2519.90 c root propagations : 90 2520.02/2519.90 c filter calls : 9980892 (3961 /sec) 2520.02/2519.90 c useless filter calls : 8708256 (87 %) 2520.02/2519.90 c 2520.02/2519.90 c clauses : 7180 2520.02/2519.90 c SAT propagations : 9186 2520.02/2519.90 c SAT conflicts : 0 (0 learnts) 2520.02/2519.90 c Memory used : 395.59 MB 2520.02/2519.90 c CPU time : 2519.69 s 2520.02/2519.90 2520.02/2519.90 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 (12291 MiB free) memory of node 1: 16384 MiB (15021 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266417-1502576388/watcher-4266417-1502576388 -o /tmp/evaluation-result-4266417-1502576388/solver-4266417-1502576388 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502567255-24592 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266417-1502576388.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 Current StackSize limit: 8192 KiB solver pid=25788, runsolver pid=25785 [startup+0.100154 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 25789 /proc/meminfo: memFree=27967284/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=28340 memory=4188 CPUtime=0.1 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 1393 0 0 0 10 0 0 0 20 0 1 0 90726759 29020160 1047 33554432000 4194304 5972588 140725360609664 140725360606232 5669593 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 7085 1047 727 435 0 448 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28340 KiB Current children cumulated memory: 4188 KiB [startup+0.209604 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 25789 /proc/meminfo: memFree=27966308/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=29768 memory=5344 CPUtime=0.21 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 1859 0 0 0 21 0 0 0 20 0 1 0 90726759 30482432 1336 33554432000 4194304 5972588 140725360609664 140725360606232 5674125 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 7442 1336 727 435 0 805 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 29768 KiB Current children cumulated memory: 5344 KiB [startup+0.308967 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 25789 /proc/meminfo: memFree=27965936/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=30428 memory=6400 CPUtime=0.31 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 2115 0 0 0 31 0 0 0 20 0 1 0 90726759 31158272 1600 33554432000 4194304 5972588 140725360609664 140725360606232 140340570713088 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 7607 1600 727 435 0 970 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 30428 KiB Current children cumulated memory: 6400 KiB [startup+0.700274 s] /proc/loadavg: 2.00 2.01 2.05 4/188 25789 /proc/meminfo: memFree=27963828/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=34076 memory=10304 CPUtime=0.69 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 3469 0 0 0 69 0 0 0 20 0 1 0 90726759 34893824 2576 33554432000 4194304 5972588 140725360609664 140725360606232 5669616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 8519 2576 727 435 0 1882 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 34076 KiB Current children cumulated memory: 10304 KiB [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25789 /proc/meminfo: memFree=27957252/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=47912 memory=19904 CPUtime=1.49 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 5637 0 0 0 149 0 0 0 20 0 1 0 90726759 49061888 4976 33554432000 4194304 5972588 140725360609664 140725360606232 5382458 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 11978 4976 727 435 0 5341 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 47912 KiB Current children cumulated memory: 19904 KiB [startup+3.10952 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25789 /proc/meminfo: memFree=27597652/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=373848 CPUtime=3.1 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 98215 0 0 0 298 12 0 0 20 0 1 0 90726759 414797824 93462 33554432000 4194304 5972588 140725360609664 140725360606888 4936000 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93462 737 435 0 94632 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 373848 KiB [startup+6.30039 s] /proc/loadavg: 2.08 2.03 2.05 3/188 25789 /proc/meminfo: memFree=27597636/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=374064 CPUtime=6.29 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 156300 0 0 0 614 15 0 0 20 0 1 0 90726759 414797824 93516 33554432000 4194304 5972588 140725360609664 140725360607240 4935502 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93516 781 435 0 94632 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 374064 KiB [startup+12.7004 s] /proc/loadavg: 2.08 2.03 2.05 3/188 25789 /proc/meminfo: memFree=27598132/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=374072 CPUtime=12.69 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 188232 0 0 0 1252 17 0 0 20 0 1 0 90726759 414797824 93518 33554432000 4194304 5972588 140725360609664 140725360606968 4935478 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93518 782 435 0 94632 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 374072 KiB [startup+25.5004 s] /proc/loadavg: 2.06 2.03 2.05 3/188 25789 /proc/meminfo: memFree=27598452/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=374084 CPUtime=25.49 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 238366 0 0 0 2528 21 0 0 20 0 1 0 90726759 414797824 93521 33554432000 4194304 5972588 140725360609664 140725360606968 4934287 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93521 782 435 0 94632 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 374084 KiB [startup+51.1095 s] /proc/loadavg: 2.04 2.03 2.05 3/187 25789 /proc/meminfo: memFree=27598468/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=374104 CPUtime=51.11 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 277459 0 0 0 5088 23 0 0 20 0 1 0 90726759 414797824 93526 33554432000 4194304 5972588 140725360609664 140725360606968 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93526 782 435 0 94632 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 374104 KiB [startup+102.3 s] /proc/loadavg: 2.02 2.02 2.05 3/187 25790 /proc/meminfo: memFree=27596808/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=374152 CPUtime=102.29 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 315498 0 0 0 10205 24 0 0 20 0 1 0 90726759 414797824 93538 33554432000 4194304 5972588 140725360609664 140725360606968 4935456 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93538 782 435 0 94632 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 374152 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 25792 /proc/meminfo: memFree=27596860/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=374208 CPUtime=162.29 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 353315 0 0 0 16203 26 0 0 20 0 1 0 90726759 414797824 93552 33554432000 4194304 5972588 140725360609664 140725360606968 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93552 782 435 0 94632 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 374208 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25793 /proc/meminfo: memFree=27596736/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=374252 CPUtime=222.29 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 381831 0 0 0 22202 27 0 0 20 0 1 0 90726759 414797824 93563 33554432000 4194304 5972588 140725360609664 140725360606968 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93563 782 435 0 94632 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 374252 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25803 /proc/meminfo: memFree=27595620/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=374328 CPUtime=282.3 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 400836 0 0 0 28202 28 0 0 20 0 1 0 90726759 414797824 93582 33554432000 4194304 5972588 140725360609664 140725360606968 4935478 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93582 782 435 0 94632 0 Current children cumulated CPU time: 282.3 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 374328 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25804 /proc/meminfo: memFree=27594148/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375748 CPUtime=342.3 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 403964 0 0 0 34201 29 0 0 20 0 1 0 90726759 414797824 93937 33554432000 4194304 5972588 140725360609664 140725360606968 4934322 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93937 782 435 0 94632 0 Current children cumulated CPU time: 342.3 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375748 KiB [startup+402.3 s] /proc/loadavg: 2.05 2.03 2.05 3/188 25805 /proc/meminfo: memFree=27594416/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375804 CPUtime=402.3 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 404788 0 0 0 40201 29 0 0 20 0 1 0 90726759 414797824 93951 33554432000 4194304 5972588 140725360609664 140725360606968 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93951 782 435 0 94632 0 Current children cumulated CPU time: 402.3 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375804 KiB [startup+462.3 s] /proc/loadavg: 2.02 2.02 2.05 3/188 25806 /proc/meminfo: memFree=27594296/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375860 CPUtime=462.3 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 405620 0 0 0 46201 29 0 0 20 0 1 0 90726759 414797824 93965 33554432000 4194304 5972588 140725360609664 140725360606968 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93965 782 435 0 94632 0 Current children cumulated CPU time: 462.3 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375860 KiB ################ # More data... # ################ /proc/25788/statm: 101269 93989 782 435 0 94632 0 Current children cumulated CPU time: 1782.37 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375956 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 25848 /proc/meminfo: memFree=27593452/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375956 CPUtime=1842.37 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 424437 0 0 0 184205 32 0 0 20 0 1 0 90726759 414797824 93989 33554432000 4194304 5972588 140725360609664 140725360606968 4935502 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93989 782 435 0 94632 0 Current children cumulated CPU time: 1842.37 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375956 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 25849 /proc/meminfo: memFree=27593336/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375964 CPUtime=1902.38 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 425287 0 0 0 190206 32 0 0 20 0 1 0 90726759 414797824 93991 33554432000 4194304 5972588 140725360609664 140725360606968 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93991 782 435 0 94632 0 Current children cumulated CPU time: 1902.38 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375964 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.03 2.05 3/187 25850 /proc/meminfo: memFree=27593584/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375964 CPUtime=1962.38 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 425966 0 0 0 196206 32 0 0 20 0 1 0 90726759 414797824 93991 33554432000 4194304 5972588 140725360609664 140725360606968 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93991 782 435 0 94632 0 Current children cumulated CPU time: 1962.38 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375964 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 25912 /proc/meminfo: memFree=28377936/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375968 CPUtime=2022.38 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 426831 0 0 0 202206 32 0 0 20 0 1 0 90726759 414797824 93992 33554432000 4194304 5972588 140725360609664 140725360606968 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93992 782 435 0 94632 0 Current children cumulated CPU time: 2022.38 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375968 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26041 /proc/meminfo: memFree=27800228/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375968 CPUtime=2082.39 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 427515 0 0 0 208207 32 0 0 20 0 1 0 90726759 414797824 93992 33554432000 4194304 5972588 140725360609664 140725360606968 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93992 782 435 0 94632 0 Current children cumulated CPU time: 2082.39 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375968 KiB [startup+2142.3 s] /proc/loadavg: 2.04 2.03 2.05 3/187 26042 /proc/meminfo: memFree=27412008/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375968 CPUtime=2142.39 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 428330 0 0 0 214207 32 0 0 20 0 1 0 90726759 414797824 93992 33554432000 4194304 5972588 140725360609664 140725360606968 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93992 782 435 0 94632 0 Current children cumulated CPU time: 2142.39 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375968 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 26043 /proc/meminfo: memFree=27402644/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375972 CPUtime=2202.39 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 429185 0 0 0 220207 32 0 0 20 0 1 0 90726759 414797824 93993 33554432000 4194304 5972588 140725360609664 140725360606968 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93993 782 435 0 94632 0 Current children cumulated CPU time: 2202.39 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375972 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26044 /proc/meminfo: memFree=27388764/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375972 CPUtime=2262.4 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 429959 0 0 0 226208 32 0 0 20 0 1 0 90726759 414797824 93993 33554432000 4194304 5972588 140725360609664 140725360606968 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93993 782 435 0 94632 0 Current children cumulated CPU time: 2262.4 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375972 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26045 /proc/meminfo: memFree=27386620/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375972 CPUtime=2322.4 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 430640 0 0 0 232208 32 0 0 20 0 1 0 90726759 414797824 93993 33554432000 4194304 5972588 140725360609664 140725360606968 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93993 782 435 0 94632 0 Current children cumulated CPU time: 2322.4 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375972 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26046 /proc/meminfo: memFree=27384252/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375976 CPUtime=2382.4 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 431493 0 0 0 238208 32 0 0 20 0 1 0 90726759 414797824 93994 33554432000 4194304 5972588 140725360609664 140725360606968 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93994 782 435 0 94632 0 Current children cumulated CPU time: 2382.4 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375976 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26047 /proc/meminfo: memFree=27382384/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375976 CPUtime=2442.4 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 432295 0 0 0 244208 32 0 0 20 0 1 0 90726759 414797824 93994 33554432000 4194304 5972588 140725360609664 140725360606968 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93994 782 435 0 94632 0 Current children cumulated CPU time: 2442.4 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375976 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26048 /proc/meminfo: memFree=27379784/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375976 CPUtime=2502.41 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 432908 0 0 0 250209 32 0 0 20 0 1 0 90726759 414797824 93994 33554432000 4194304 5972588 140725360609664 140725360606968 4935463 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93994 782 435 0 94632 0 Current children cumulated CPU time: 2502.41 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375976 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.9 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26048 /proc/meminfo: memFree=27380128/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375984 CPUtime=2520.02 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 433349 0 0 0 251969 33 0 0 20 0 1 0 90726759 414797824 93996 33554432000 4194304 5972588 140725360609664 140725360606968 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93996 782 435 0 94632 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375984 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2519.9 s] # the end of solver process 25788 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.69 s, system=0.332017 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2519.9 s] /proc/loadavg: 2.00 2.01 2.05 3/187 26048 /proc/meminfo: memFree=27380128/32770624 swapFree=67108860/67108860 [pid=25788] ppid=25785 vsize=405076 memory=375984 CPUtime=2520.02 cores=1,3,5,7 /proc/25788/stat : 25788 (cosoco) R 25785 25788 24508 0 -1 4202496 433349 0 0 0 251969 33 0 0 20 0 1 0 90726759 414797824 93996 33554432000 4194304 5972588 140725360609664 140725360606968 4935454 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 26279936 140725360612538 140725360612638 140725360612638 140725360615374 0 /proc/25788/statm: 101269 93996 782 435 0 94632 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 405076 KiB Current children cumulated memory: 375984 KiB Child status: 1 Real time (s): 2519.9 CPU time (s): 2520.02 CPU user time (s): 2519.69 CPU system time (s): 0.332017 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 405076 Max. memory (cumulated for all children) (KiB): 375984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.69 system time used= 0.332017 maximum resident set size= 376064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 433389 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21 involuntary context switches= 907 # summary of solver processes directly reported to runsolver: # pid: 25788 # total CPU time (s): 2520.02 # total CPU user time (s): 2519.69 # total CPU system time (s): 0.332017 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.85374 second user time and 19.0727 second system time The end
Begin job on node104 at 2017-08-13 00:05:30 IDJOB=4266417 IDBENCH=126260 IDSOLVER=2655 FILE ID=node104/4266417-1502576388 RUNJOBID= node104-1502567255-24592 PBS_JOBID= 20628287 Free space on /tmp= 61856 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-10.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266417-1502576388/watcher-4266417-1502576388 -o /tmp/evaluation-result-4266417-1502576388/solver-4266417-1502576388 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502567255-24592 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266417-1502576388.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 33acbdbf13e8fba51e0fc3db0676c789 RANDOM SEED=278778363 node104.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.43 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.43 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.43 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.43 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: 27969572 kB MemAvailable: 31216116 kB Buffers: 127784 kB Cached: 3414072 kB SwapCached: 0 kB Active: 1108236 kB Inactive: 3269720 kB Active(anon): 838832 kB Inactive(anon): 25024 kB Active(file): 269404 kB Inactive(file): 3244696 kB Unevictable: 6532 kB Mlocked: 6532 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7920 kB Writeback: 0 kB AnonPages: 692760 kB Mapped: 44468 kB Shmem: 25228 kB Slab: 122084 kB SReclaimable: 96556 kB SUnreclaim: 25528 kB KernelStack: 3584 kB PageTables: 6324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1190312 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 577536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61852 MiB End job on node104 at 2017-08-13 00:47:30