| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.9099 | 2520.03 |
| Name | MagicSquare/MagicSquare-mdd-s1/ MagicSquare-15-mdd.xml |
| MD5SUM | eb9d91ed4b70703bb0e2b52375e1b8aa |
| 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 | 225 |
| Number of constraints | 33 |
| Number of domains | 1 |
| Minimum domain size | 225 |
| Maximum domain size | 225 |
| Distribution of domain sizes | [{"size":225,"count":225}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":3,"count":196},{"degree":4,"count":28},{"degree":5,"count":1}] |
| Minimum constraint arity | 15 |
| Maximum constraint arity | 225 |
| Distribution of constraint arities | [{"arity":15,"count":32},{"arity":225,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"mdd","count":32},{"type":"allDifferent","count":1}] |
| Optimization problem | NO |
| Type of objective |
41.48/41.50 c SAT : Variables: 50625 -- Clauses: 5670225 42.28/42.30 c root propagations : 0 42.28/42.30 c restarts enabled, print stats at every restarts 42.28/42.30 c 42.28/42.30 c 42.28/42.30 c 42.28/42.30 c This is cosoco 1.12 -- 42.28/42.30 c 42.28/42.30 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266161-1502581280.xml 42.28/42.30 c ========================================[ Problem Statistics ]=========================================== 42.28/42.30 c | 42.28/42.30 c | Parse time : 41.26 s 42.28/42.30 c | 42.28/42.30 c | Variables: 225 42.28/42.30 c | Domain Sizes: 225..225 42.28/42.30 c | 42.28/42.30 c | Constraints: 33 42.28/42.30 c | Arity: 15..225 42.28/42.30 c | 42.28/42.30 c | Types: 42.28/42.30 c | All Different: 1 42.28/42.30 c | MDD: 32 42.28/42.30 c | 42.28/42.30 c ========================================================================================================= 42.28/42.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 47.58/47.62 c 10 19 403 10698 0 10 9 10 8 52.48/52.56 c 20 37 740 20906 0 20 8 9 7 57.48/57.51 c 30 55 1077 31114 0 30 8 9 7 62.38/62.48 c 40 73 1414 41322 0 40 8 9 7 67.38/67.43 c 50 91 1751 51530 0 50 8 9 7 72.28/72.38 c 60 109 2088 61738 0 60 8 9 7 77.48/77.55 c 70 127 2438 71946 0 70 8 9 7 82.58/82.63 c 80 145 2783 82154 0 80 8 9 7 87.48/87.58 c 90 163 3120 92362 0 90 8 9 7 92.48/92.53 c 100 181 3457 102570 0 100 8 9 7 96.58/96.63 c 101 189 3696 105730 0 101 8 8 4 101.48/101.55 c 110 206 4026 115914 0 110 8 9 7 106.48/106.50 c 120 224 4363 126122 0 120 8 9 7 111.38/111.45 c 130 242 4700 136330 0 130 8 9 7 116.38/116.40 c 140 260 5037 146538 0 140 8 9 7 121.28/121.35 c 150 278 5374 156746 0 150 8 9 7 126.48/126.54 c 160 296 5724 166954 0 160 8 9 7 131.58/131.62 c 170 314 6069 177162 0 170 8 9 7 136.48/136.56 c 180 332 6406 187370 0 180 8 9 7 141.48/141.52 c 190 350 6743 197578 0 190 8 9 7 146.38/146.47 c 200 368 7080 207786 0 200 8 9 7 152.09/152.11 c 210 388 7474 215039 0 208 9 10 8 156.68/156.71 c 211 397 7746 218403 0 209 9 9 4 162.09/162.11 c 220 415 8109 228995 0 218 9 10 8 167.48/167.54 c 230 434 8479 239570 0 228 9 10 8 172.88/172.98 c 240 453 8849 250104 0 238 9 10 8 178.38/178.41 c 250 472 9219 260597 0 248 9 10 8 183.99/184.05 c 260 491 9602 271049 0 258 9 10 8 189.18/189.22 c 270 509 9952 281257 0 268 8 9 7 194.78/194.83 c 280 528 10335 291914 0 278 9 10 8 200.28/200.37 c 290 547 10713 302530 0 288 9 10 8 205.68/205.78 c 300 566 11083 313105 0 298 9 10 8 211.18/211.22 c 310 585 11453 323639 0 308 9 10 8 216.58/216.64 c 320 604 11823 334132 0 318 9 10 8 221.99/222.07 c 330 623 12193 344584 0 328 9 10 8 226.18/226.26 c 332 632 12443 348671 0 330 8 8 5 231.58/231.61 c 340 649 12799 359277 0 338 9 10 8 236.99/237.02 c 350 668 13169 369893 0 348 9 10 8 242.37/242.45 c 360 687 13539 380468 0 358 9 10 8 247.77/247.88 c 370 706 13909 391002 0 368 9 10 8 253.37/253.49 c 380 725 14292 401495 0 378 9 10 8 258.98/259.03 c 390 744 14670 411947 0 388 9 10 8 263.87/263.96 c 400 762 15007 422155 0 398 8 9 7 269.47/269.50 c 410 781 15385 432812 0 408 9 10 8 274.87/274.93 c 420 800 15755 443428 0 418 9 10 8 280.47/280.56 c 430 819 16138 454003 0 428 9 10 8 285.98/286.09 c 440 838 16516 464537 0 438 9 10 8 291.47/291.51 c 450 857 16886 475030 0 448 9 10 8 296.87/296.93 c 460 876 17256 485482 0 458 9 10 8 301.08/301.17 c 465 888 17523 492308 0 463 8 8 6 305.88/305.93 c 470 901 17823 499506 0 468 9 9 7 311.28/311.35 c 480 920 18193 510122 0 478 9 10 8 316.68/316.78 c 490 939 18563 520697 0 488 9 10 8 322.38/322.41 c 500 958 18946 531231 0 498 9 10 8 327.88/327.95 c 510 977 19324 541724 0 508 9 10 8 333.28/333.38 c 520 996 19694 552176 0 518 9 10 8 338.38/338.45 c 530 1014 20039 562384 0 528 8 9 7 343.78/343.88 c 540 1033 20409 573041 0 538 9 10 8 349.18/349.29 c 550 1052 20779 583657 0 548 9 10 8 354.68/354.70 c 560 1071 21149 594232 0 558 9 10 8 360.08/360.12 c 570 1090 21519 604766 0 568 9 10 8 365.48/365.56 c 580 1109 21889 615259 0 578 9 10 8 370.88/370.99 c 590 1128 22259 625711 0 588 9 10 8 375.88/375.93 c 600 1146 22596 635919 0 598 8 9 7 381.28/381.35 c 610 1165 22966 646576 0 608 9 10 8 385.88/385.98 c 611 1174 23240 649941 0 609 9 9 4 391.48/391.55 c 620 1192 23616 660492 0 618 9 10 8 396.98/397.08 c 630 1211 23994 671026 0 628 9 10 8 402.38/402.49 c 640 1230 24364 681519 0 638 9 10 8 407.88/407.90 c 650 1249 24734 691971 0 648 9 10 8 412.77/412.82 c 660 1267 25071 702179 0 658 8 9 7 418.17/418.23 c 670 1286 25441 712836 0 668 9 10 8 423.57/423.65 c 680 1305 25811 723452 0 678 9 10 8 428.98/429.07 c 690 1324 26181 734027 0 688 9 10 8 434.37/434.49 c 700 1343 26551 744561 0 698 9 10 8 440.08/440.11 c 710 1362 26934 755054 0 708 9 10 8 445.57/445.65 c 720 1381 27312 765506 0 718 9 10 8 450.67/450.71 c 730 1399 27657 775714 0 728 8 9 7 456.17/456.25 c 740 1418 28035 786371 0 738 9 10 8 461.57/461.65 c 750 1437 28405 796987 0 748 9 10 8 466.98/467.08 c 760 1456 28775 807562 0 758 9 10 8 472.47/472.50 c 770 1475 29145 818096 0 768 9 10 8 476.98/477.10 c 771 1484 29417 821464 0 769 9 9 4 482.47/482.51 c 780 1502 29780 831892 0 778 9 10 8 487.36/487.45 c 790 1520 30117 842100 0 788 8 9 7 492.76/492.88 c 800 1539 30487 852757 0 798 9 10 8 498.26/498.31 c 810 1558 30857 863373 0 808 9 10 8 503.86/503.94 c 820 1577 31240 873948 0 818 9 10 8 509.56/509.67 c 830 1596 31631 884482 0 828 9 10 8 515.16/515.21 c 840 1615 32009 894975 0 838 9 10 8 520.56/520.63 c 850 1634 32379 905427 0 848 9 10 8 525.46/525.58 c 860 1652 32716 915635 0 858 8 9 7 530.97/531.01 c 870 1671 33086 926292 0 868 9 10 8 536.36/536.43 c 880 1690 33456 936908 0 878 9 10 8 541.77/541.86 c 890 1709 33826 947483 0 888 9 10 8 547.17/547.29 c 900 1728 34196 958017 0 898 9 10 8 552.67/552.72 c 910 1747 34566 968510 0 908 9 10 8 558.08/558.16 c 920 1766 34936 978962 0 918 9 10 8 563.17/563.24 c 930 1784 35281 989170 0 928 8 9 7 568.57/568.67 c 940 1803 35651 999827 0 938 9 10 8 574.17/574.20 c 947 1819 36013 1010359 0 945 9 10 8 578.77/578.88 c 950 1830 36299 1015628 0 948 9 9 6 584.27/584.31 c 960 1849 36669 1026162 0 958 9 10 8 589.67/589.73 c 970 1868 37039 1036655 0 968 9 10 8 595.07/595.16 c 980 1887 37409 1047107 0 978 9 10 8 599.97/600.09 c 990 1905 37746 1057315 0 988 8 9 7 605.46/605.53 c 1000 1924 38116 1067972 0 998 9 10 8 610.86/610.96 c 1010 1943 38486 1078588 0 1008 9 10 8 616.46/616.58 c 1020 1962 38869 1089163 0 1018 9 10 8 622.26/622.30 c 1030 1981 39260 1099697 0 1028 9 10 8 627.76/627.84 c 1040 2000 39638 1110190 0 1038 9 10 8 633.16/633.26 c 1050 2019 40008 1120642 0 1048 9 10 8 638.16/638.20 c 1060 2037 40345 1130850 0 1058 8 9 7 643.56/643.63 c 1070 2056 40715 1141507 0 1068 9 10 8 648.97/649.03 c 1080 2075 41085 1152123 0 1078 9 10 8 654.36/654.45 c 1090 2094 41455 1162698 0 1088 9 10 8 659.76/659.87 c 1100 2113 41825 1173232 0 1098 9 10 8 665.26/665.31 c 1110 2132 42195 1183725 0 1108 9 10 8 670.66/670.74 c 1120 2151 42565 1194177 0 1118 9 10 8 675.76/675.81 c 1130 2169 42910 1204385 0 1128 8 9 7 681.16/681.23 c 1140 2188 43280 1215042 0 1138 9 10 8 685.76/685.86 c 1141 2197 43554 1218407 0 1139 9 9 4 691.16/691.24 c 1150 2215 43917 1228958 0 1148 9 10 8 696.56/696.67 c 1160 2234 44287 1239492 0 1158 9 10 8 701.97/702.08 c 1170 2253 44657 1249985 0 1168 9 10 8 707.36/707.49 c 1180 2272 45027 1260437 0 1178 9 10 8 712.36/712.43 c 1190 2290 45364 1270645 0 1188 8 9 7 717.76/717.84 c 1200 2309 45734 1281302 0 1198 9 10 8 723.16/723.28 c 1210 2328 46104 1291918 0 1208 9 10 8 728.66/728.70 c 1220 2347 46474 1302493 0 1218 9 10 8 734.26/734.32 c 1230 2366 46857 1313027 0 1228 9 10 8 739.97/740.05 c 1240 2385 47248 1323520 0 1238 9 10 8 745.46/745.59 c 1250 2404 47626 1333972 0 1248 9 10 8 750.46/750.51 c 1260 2422 47963 1344180 0 1258 8 9 7 755.97/756.05 c 1270 2441 48341 1354837 0 1268 9 10 8 761.36/761.46 c 1280 2460 48711 1365453 0 1278 9 10 8 766.86/766.90 c 1290 2479 49081 1376028 0 1288 9 10 8 772.26/772.31 c 1300 2498 49451 1386562 0 1298 9 10 8 777.66/777.74 c 1310 2517 49821 1397055 0 1308 9 10 8 783.07/783.18 c 1320 2536 50191 1407507 0 1318 9 10 8 788.07/788.12 c 1330 2554 50528 1417715 0 1328 8 9 7 793.46/793.55 c 1340 2573 50898 1428372 0 1338 9 10 8 799.07/799.17 c 1350 2592 51281 1438988 0 1348 9 10 8 803.76/803.82 c 1352 2602 51560 1443309 0 1350 9 9 6 809.26/809.38 c 1360 2619 51929 1453792 0 1358 9 10 8 814.86/814.92 c 1370 2638 52307 1464285 0 1368 9 10 8 820.26/820.34 c 1380 2657 52677 1474737 0 1378 9 10 8 825.16/825.29 c 1390 2675 53014 1484945 0 1388 8 9 7 830.66/830.73 c 1400 2694 53384 1495602 0 1398 9 10 8 836.06/836.16 c 1410 2713 53754 1506218 0 1408 9 10 8 841.45/841.58 c 1420 2732 54124 1516793 0 1418 9 10 8 847.16/847.21 c 1430 2751 54507 1527327 0 1428 9 10 8 852.66/852.75 c 1440 2770 54885 1537820 0 1438 9 10 8 858.07/858.18 c 1450 2789 55255 1548272 0 1448 9 10 8 863.07/863.12 c 1460 2807 55592 1558480 0 1458 8 9 7 868.46/868.56 c 1470 2826 55962 1569137 0 1468 9 10 8 874.07/874.18 c 1480 2845 56345 1579753 0 1478 9 10 8 879.66/879.72 c 1490 2864 56723 1590328 0 1488 9 10 8 885.07/885.14 c 1500 2883 57093 1600862 0 1498 9 10 8 890.46/890.58 c 1510 2902 57463 1611355 0 1508 9 10 8 895.96/896.01 c 1520 2921 57833 1621807 0 1518 9 10 8 900.86/900.94 c 1530 2939 58170 1632015 0 1528 8 9 7 906.25/906.37 c 1540 2958 58540 1642672 0 1538 9 10 8 911.85/911.98 c 1550 2977 58923 1653288 0 1548 9 10 8 917.45/917.51 c 1560 2996 59301 1663863 0 1558 9 10 8 922.85/922.92 c 1570 3015 59671 1674397 0 1568 9 10 8 928.25/928.35 c 1580 3034 60041 1684890 0 1578 9 10 8 933.15/933.25 c 1585 3047 60351 1691953 0 1583 9 9 7 937.35/937.48 c 1590 3059 60618 1698779 0 1588 8 8 6 942.96/943.09 c 1600 3078 61001 1709436 0 1598 9 10 8 948.55/948.62 c 1610 3097 61379 1720052 0 1608 9 10 8 953.96/954.03 c 1620 3116 61749 1730627 0 1618 9 10 8 959.35/959.46 c 1630 3135 62119 1741161 0 1628 9 10 8 964.85/964.90 c 1640 3154 62489 1751654 0 1638 9 10 8 970.45/970.52 c 1650 3173 62872 1762106 0 1648 9 10 8 975.35/975.46 c 1660 3191 63209 1772314 0 1658 8 9 7 980.75/980.88 c 1670 3210 63579 1782971 0 1668 9 10 8 986.25/986.30 c 1680 3229 63949 1793587 0 1678 9 10 8 991.65/991.72 c 1690 3248 64319 1804162 0 1688 9 10 8 997.06/997.14 c 1700 3267 64689 1814696 0 1698 9 10 8 1002.65/1002.76 c 1710 3286 65072 1825189 0 1708 9 10 8 1008.15/1008.29 c 1720 3305 65450 1835641 0 1718 9 10 8 1013.35/1013.44 c 1730 3323 65800 1845849 0 1728 8 9 7 1019.06/1019.17 c 1740 3342 66191 1856506 0 1738 9 10 8 1024.65/1024.70 c 1750 3361 66569 1867122 0 1748 9 10 8 1030.06/1030.13 c 1760 3380 66939 1877697 0 1758 9 10 8 1035.45/1035.55 c 1770 3399 67309 1888231 0 1768 9 10 8 1040.85/1040.97 c 1780 3418 67679 1898724 0 1778 9 10 8 1046.25/1046.39 c 1790 3437 68049 1909176 0 1788 9 10 8 1051.25/1051.32 c 1800 3455 68386 1919384 0 1798 8 9 7 1056.65/1056.75 c 1810 3474 68756 1930041 0 1808 9 10 8 1062.05/1062.17 c 1820 3493 69126 1940657 0 1818 9 10 8 1067.55/1067.60 c 1830 3512 69496 1951232 0 1828 9 10 8 1073.15/1073.22 c 1840 3531 69879 1961766 0 1838 9 10 8 1077.74/1077.87 c 1841 3540 70153 1965134 0 1839 9 9 4 1083.14/1083.27 c 1850 3558 70516 1975562 0 1848 9 10 8 1088.14/1088.21 c 1860 3576 70853 1985770 0 1858 8 9 7 1093.54/1093.63 c 1870 3595 71223 1996427 0 1868 9 10 8 1098.95/1099.05 c 1880 3614 71593 2007043 0 1878 9 10 8 1104.34/1104.47 c 1890 3633 71963 2017618 0 1888 9 10 8 1109.84/1109.90 c 1900 3652 72333 2028152 0 1898 9 10 8 1115.24/1115.33 c 1910 3671 72703 2038645 0 1908 9 10 8 1120.84/1120.96 c 1920 3690 73086 2049097 0 1918 9 10 8 1125.84/1125.91 c 1930 3708 73423 2059305 0 1928 8 9 7 1131.24/1131.35 c 1940 3727 73793 2069962 0 1938 9 10 8 1136.84/1136.99 c 1950 3746 74176 2080578 0 1948 9 10 8 1142.44/1142.54 c 1960 3765 74554 2091153 0 1958 9 10 8 1147.84/1147.98 c 1970 3784 74924 2101687 0 1968 9 10 8 1153.34/1153.42 c 1980 3803 75294 2112180 0 1978 9 10 8 1158.74/1158.86 c 1990 3822 75664 2122632 0 1988 9 10 8 1163.95/1164.03 c 2000 3840 76014 2132840 0 1998 8 9 7 1169.54/1169.65 c 2010 3859 76397 2143497 0 2008 9 10 8 1175.05/1175.19 c 2020 3878 76775 2154113 0 2018 9 10 8 1180.54/1180.62 c 2030 3897 77145 2164688 0 2028 9 10 8 1185.95/1186.06 c 2040 3916 77515 2175222 0 2038 9 10 8 1191.34/1191.49 c 2050 3935 77885 2185715 0 2048 9 10 8 1197.05/1197.11 c 2060 3954 78268 2196167 0 2058 9 10 8 1201.94/1202.06 c 2070 3972 78605 2206375 0 2068 8 9 7 1207.34/1207.49 c 2080 3991 78975 2217032 0 2078 9 10 8 1212.84/1212.91 c 2090 4010 79345 2227648 0 2088 9 10 8 1218.24/1218.33 c 2100 4029 79715 2238223 0 2098 9 10 8 1223.64/1223.75 c 2110 4048 80085 2248757 0 2108 9 10 8 1229.24/1229.37 c 2120 4067 80468 2259250 0 2118 9 10 8 1233.95/1234.02 c 2122 4077 80747 2263553 0 2120 9 9 6 1239.05/1239.12 c 2130 4093 81083 2273710 0 2128 8 9 7 1244.64/1244.72 c 2140 4112 81466 2284367 0 2138 9 10 8 1250.14/1250.24 c 2150 4131 81844 2294983 0 2148 9 10 8 1255.54/1255.66 c 2160 4150 82214 2305558 0 2158 9 10 8 1260.95/1261.08 c 2170 4169 82584 2316092 0 2168 9 10 8 1266.44/1266.52 c 2180 4188 82954 2326585 0 2178 9 10 8 1271.84/1271.95 c 2190 4207 83324 2337037 0 2188 9 10 8 1276.95/1277.02 c 2200 4225 83669 2347245 0 2198 8 9 7 1282.34/1282.44 c 2210 4244 84039 2357902 0 2208 9 10 8 1287.74/1287.86 c 2220 4263 84409 2368518 0 2218 9 10 8 1293.14/1293.28 c 2230 4282 84779 2379093 0 2228 9 10 8 1298.64/1298.70 c 2240 4301 85149 2389627 0 2238 9 10 8 1304.24/1304.31 c 2250 4320 85532 2400120 0 2248 9 10 8 1309.74/1309.85 c 2260 4339 85910 2410572 0 2258 9 10 8 1314.64/1314.78 c 2270 4357 86247 2420780 0 2268 8 9 7 1320.24/1320.31 c 2280 4376 86625 2431437 0 2278 9 10 8 1325.63/1325.74 c 2290 4395 86995 2442053 0 2288 9 10 8 1331.23/1331.36 c 2300 4414 87378 2452628 0 2298 9 10 8 1336.73/1336.89 c 2310 4433 87756 2463162 0 2308 9 10 8 1342.23/1342.31 c 2320 4452 88126 2473655 0 2318 9 10 8 1347.63/1347.74 c 2330 4471 88496 2484107 0 2328 9 10 8 1352.53/1352.67 c 2340 4489 88833 2494315 0 2338 8 9 7 1357.94/1358.09 c 2350 4508 89203 2504972 0 2348 9 10 8 1363.43/1363.50 c 2360 4527 89573 2515588 0 2358 9 10 8 1368.83/1368.93 c 2370 4546 89943 2526163 0 2368 9 10 8 1374.43/1374.54 c 2380 4565 90326 2536697 0 2378 9 10 8 1379.94/1380.08 c 2390 4584 90704 2547190 0 2388 9 10 8 1385.43/1385.52 c 2400 4603 91074 2557642 0 2398 9 10 8 1390.43/1390.59 c 2410 4621 91419 2567850 0 2408 8 9 7 1395.94/1396.01 c 2420 4640 91789 2578507 0 2418 9 10 8 1401.33/1401.44 c 2430 4659 92159 2589123 0 2428 9 10 8 1405.94/1406.03 c 2431 4668 92431 2592489 0 2429 9 9 4 1411.33/1411.42 c 2440 4686 92794 2602999 0 2438 9 10 8 1416.73/1416.85 c 2450 4705 93164 2613492 0 2448 9 10 8 1422.13/1422.28 c 2460 4724 93534 2623944 0 2458 9 10 8 1427.13/1427.23 c 2470 4742 93871 2634152 0 2468 8 9 7 1432.53/1432.66 c 2480 4761 94241 2644809 0 2478 9 10 8 1438.13/1438.29 c 2490 4780 94624 2655425 0 2488 9 10 8 1443.94/1444.03 c 2500 4799 95015 2666000 0 2498 9 10 8 1449.43/1449.57 c 2510 4818 95393 2676534 0 2508 9 10 8 1454.83/1454.99 c 2520 4837 95763 2687027 0 2518 9 10 8 1460.33/1460.42 c 2530 4856 96133 2697479 0 2528 9 10 8 1465.23/1465.35 c 2540 4874 96470 2707687 0 2538 8 9 7 1470.63/1470.78 c 2550 4893 96840 2718344 0 2548 9 10 8 1476.04/1476.19 c 2560 4912 97210 2728960 0 2558 9 10 8 1481.53/1481.61 c 2570 4931 97580 2739535 0 2568 9 10 8 1486.94/1487.04 c 2580 4950 97950 2750069 0 2578 9 10 8 1492.33/1492.47 c 2590 4969 98320 2760562 0 2588 9 10 8 1497.94/1498.10 c 2600 4988 98703 2771014 0 2598 9 10 8 1503.03/1503.18 c 2610 5006 99048 2781222 0 2608 8 9 7 1508.42/1508.58 c 2620 5025 99418 2791879 0 2618 9 10 8 1513.93/1514.01 c 2630 5044 99788 2802495 0 2628 9 10 8 1519.32/1519.42 c 2640 5063 100158 2813070 0 2638 9 10 8 1524.72/1524.83 c 2650 5082 100528 2823604 0 2648 9 10 8 1530.12/1530.25 c 2660 5101 100898 2834097 0 2658 9 10 8 1535.52/1535.67 c 2670 5120 101268 2844549 0 2668 9 10 8 1540.72/1540.84 c 2680 5138 101618 2854757 0 2678 8 9 7 1546.32/1546.46 c 2690 5157 102001 2865414 0 2688 9 10 8 1551.82/1551.99 c 2700 5176 102379 2876030 0 2698 9 10 8 1557.52/1557.60 c 2710 5195 102762 2886605 0 2708 9 10 8 1563.03/1563.16 c 2720 5214 103140 2897139 0 2718 9 10 8 1568.42/1568.57 c 2730 5233 103510 2907632 0 2728 9 10 8 1573.93/1574.01 c 2740 5252 103880 2918084 0 2738 9 10 8 1578.82/1578.94 c 2750 5270 104217 2928292 0 2748 8 9 7 1584.22/1584.37 c 2760 5289 104587 2938949 0 2758 9 10 8 1589.62/1589.79 c 2770 5308 104957 2949565 0 2768 9 10 8 1594.22/1594.39 c 2771 5317 105229 2952931 0 2769 9 9 4 1599.62/1599.80 c 2780 5335 105592 2963441 0 2778 9 10 8 1605.32/1605.42 c 2790 5354 105975 2973934 0 2788 9 10 8 1610.82/1610.97 c 2800 5373 106353 2984386 0 2798 9 10 8 1615.93/1616.04 c 2810 5391 106698 2994594 0 2808 8 9 7 1621.42/1621.57 c 2820 5410 107076 3005251 0 2818 9 10 8 1626.82/1627.00 c 2830 5429 107446 3015867 0 2828 9 10 8 1632.32/1632.41 c 2840 5448 107816 3026442 0 2838 9 10 8 1637.72/1637.82 c 2850 5467 108186 3036976 0 2848 9 10 8 1643.12/1643.24 c 2860 5486 108556 3047469 0 2858 9 10 8 1648.52/1648.66 c 2870 5505 108926 3057921 0 2868 9 10 8 1653.52/1653.60 c 2880 5523 109263 3068129 0 2878 8 9 7 1658.93/1659.03 c 2890 5542 109633 3078786 0 2888 9 10 8 1664.32/1664.47 c 2900 5561 110003 3089402 0 2898 9 10 8 1669.93/1670.10 c 2910 5580 110386 3099977 0 2908 9 10 8 1675.72/1675.84 c 2920 5599 110777 3110511 0 2918 9 10 8 1681.22/1681.37 c 2930 5618 111155 3121004 0 2928 9 10 8 1686.72/1686.83 c 2940 5637 111525 3131456 0 2938 9 10 8 1691.61/1691.76 c 2950 5655 111862 3141664 0 2948 8 9 7 1697.02/1697.19 c 2960 5674 112232 3152321 0 2958 9 10 8 1702.51/1702.60 c 2970 5693 112602 3162937 0 2968 9 10 8 1707.92/1708.03 c 2980 5712 112972 3173512 0 2978 9 10 8 1713.31/1713.46 c 2990 5731 113342 3184046 0 2988 9 10 8 1718.71/1718.89 c 3000 5750 113712 3194539 0 2998 9 10 8 1724.21/1724.33 c 3010 5769 114082 3204991 0 3008 9 10 8 1729.31/1729.41 c 3020 5787 114427 3215199 0 3018 8 9 7 1734.71/1734.82 c 3030 5806 114797 3225856 0 3028 9 10 8 1740.31/1740.45 c 3040 5825 115180 3236472 0 3038 9 10 8 1745.82/1745.98 c 3050 5844 115558 3247047 0 3048 9 10 8 1751.21/1751.39 c 3060 5863 115928 3257581 0 3058 9 10 8 1756.71/1756.82 c 3070 5882 116298 3268074 0 3068 9 10 8 1762.11/1762.24 c 3080 5901 116668 3278526 0 3078 9 10 8 1767.02/1767.18 c 3090 5919 117005 3288734 0 3088 8 9 7 1772.51/1772.61 c 3100 5938 117375 3299391 0 3098 9 10 8 1777.92/1778.03 c 3110 5957 117745 3310007 0 3108 9 10 8 1783.51/1783.64 c 3120 5976 118128 3320582 0 3118 9 10 8 1789.02/1789.18 c 3130 5995 118506 3331116 0 3128 9 10 8 1794.41/1794.59 c 3140 6014 118876 3341609 0 3138 9 10 8 1799.21/1799.31 c 3142 6024 119159 3345912 0 3140 9 9 6 1804.02/1804.19 c 3150 6040 119482 3356069 0 3148 8 9 7 1809.61/1809.73 c 3160 6059 119860 3366726 0 3158 9 10 8 1815.02/1815.13 c 3170 6078 120230 3377342 0 3168 9 10 8 1820.41/1820.55 c 3180 6097 120600 3387917 0 3178 9 10 8 1825.81/1825.96 c 3190 6116 120970 3398451 0 3188 9 10 8 1831.21/1831.38 c 3200 6135 121340 3408944 0 3198 9 10 8 1836.71/1836.81 c 3210 6154 121710 3419396 0 3208 9 10 8 1841.61/1841.75 c 3220 6172 122047 3429604 0 3218 8 9 7 1847.02/1847.18 c 3230 6191 122417 3440261 0 3228 9 10 8 1852.71/1852.80 c 3240 6210 122800 3450877 0 3238 9 10 8 1858.21/1858.34 c 3250 6229 123178 3461452 0 3248 9 10 8 1863.81/1863.96 c 3260 6248 123561 3471986 0 3258 9 10 8 1869.41/1869.51 c 3270 6267 123939 3482479 0 3268 9 10 8 1874.81/1874.92 c 3280 6286 124309 3492931 0 3278 9 10 8 1879.71/1879.86 c 3290 6304 124646 3503139 0 3288 8 9 7 1885.11/1885.28 c 3300 6323 125016 3513796 0 3298 9 10 8 1890.61/1890.70 c 3310 6342 125386 3524412 0 3308 9 10 8 1896.02/1896.13 c 3320 6361 125756 3534987 0 3318 9 10 8 1901.41/1901.57 c 3330 6380 126126 3545521 0 3328 9 10 8 1906.81/1907.00 c 3340 6399 126496 3556014 0 3338 9 10 8 1912.51/1912.63 c 3350 6418 126879 3566466 0 3348 9 10 8 1917.41/1917.58 c 3360 6436 127216 3576674 0 3358 8 9 7 1922.92/1923.04 c 3370 6455 127586 3587331 0 3368 9 10 8 1928.51/1928.67 c 3380 6474 127969 3597947 0 3378 9 10 8 1934.11/1934.21 c 3390 6493 128347 3608522 0 3388 9 10 8 1939.51/1939.64 c 3400 6512 128717 3619056 0 3398 9 10 8 1944.92/1945.08 c 3410 6531 129087 3629549 0 3408 9 10 8 1950.41/1950.52 c 3420 6550 129457 3640001 0 3418 9 10 8 1955.61/1955.70 c 3430 6568 129807 3650209 0 3428 8 9 7 1961.21/1961.32 c 3440 6587 130190 3660866 0 3438 9 10 8 1966.71/1966.87 c 3450 6606 130568 3671482 0 3448 9 10 8 1972.11/1972.28 c 3460 6625 130938 3682057 0 3458 9 10 8 1977.61/1977.72 c 3470 6644 131308 3692591 0 3468 9 10 8 1983.01/1983.17 c 3480 6663 131678 3703084 0 3478 9 10 8 1988.60/1988.79 c 3490 6682 132061 3713536 0 3488 9 10 8 1993.60/1993.72 c 3500 6700 132398 3723744 0 3498 8 9 7 1999.01/1999.15 c 3510 6719 132768 3734401 0 3508 9 10 8 2004.40/2004.57 c 3520 6738 133138 3745017 0 3518 9 10 8 2009.80/2009.99 c 3530 6757 133508 3755592 0 3528 9 10 8 2015.30/2015.42 c 3540 6776 133878 3766126 0 3538 9 10 8 2020.91/2021.04 c 3550 6795 134261 3776619 0 3548 9 10 8 2025.50/2025.65 c 3551 6804 134533 3779988 0 3549 9 9 4 2030.60/2030.78 c 3560 6821 134876 3790172 0 3558 8 9 7 2036.20/2036.39 c 3570 6840 135259 3800829 0 3568 9 10 8 2041.80/2041.92 c 3580 6859 135637 3811445 0 3578 9 10 8 2047.20/2047.33 c 3590 6878 136007 3822020 0 3588 9 10 8 2052.60/2052.76 c 3600 6897 136377 3832554 0 3598 9 10 8 2058.01/2058.18 c 3610 6916 136747 3843047 0 3608 9 10 8 2063.50/2063.61 c 3620 6935 137117 3853499 0 3618 9 10 8 2068.50/2068.68 c 3630 6953 137462 3863707 0 3628 8 9 7 2073.91/2074.10 c 3640 6972 137832 3874364 0 3638 9 10 8 2079.40/2079.52 c 3650 6991 138202 3884980 0 3648 9 10 8 2084.80/2084.95 c 3660 7010 138572 3895555 0 3658 9 10 8 2090.20/2090.36 c 3670 7029 138942 3906089 0 3668 9 10 8 2095.80/2095.98 c 3680 7048 139325 3916582 0 3678 9 10 8 2101.40/2101.51 c 3690 7067 139703 3927034 0 3688 9 10 8 2106.30/2106.45 c 3700 7085 140040 3937242 0 3698 8 9 7 2111.80/2111.98 c 3710 7104 140418 3947899 0 3708 9 10 8 2117.30/2117.40 c 3720 7123 140788 3958515 0 3718 9 10 8 2122.91/2123.02 c 3730 7142 141171 3969090 0 3728 9 10 8 2128.40/2128.55 c 3740 7161 141549 3979624 0 3738 9 10 8 2133.80/2133.97 c 3750 7180 141919 3990117 0 3748 9 10 8 2139.30/2139.40 c 3760 7199 142289 4000569 0 3758 9 10 8 2144.20/2144.34 c 3770 7217 142626 4010777 0 3768 8 9 7 2149.60/2149.77 c 3780 7236 142996 4021434 0 3778 9 10 8 2155.01/2155.18 c 3790 7255 143366 4032050 0 3788 9 10 8 2160.50/2160.62 c 3800 7274 143736 4042625 0 3798 9 10 8 2166.10/2166.26 c 3810 7293 144119 4053159 0 3808 9 10 8 2171.70/2171.80 c 3820 7312 144497 4063652 0 3818 9 10 8 2177.10/2177.23 c 3830 7331 144867 4074104 0 3828 9 10 8 2182.20/2182.30 c 3840 7349 145212 4084312 0 3838 8 9 7 2187.60/2187.72 c 3850 7368 145582 4094969 0 3848 9 10 8 2193.01/2193.16 c 3860 7387 145952 4105585 0 3858 9 10 8 2198.40/2198.57 c 3870 7406 146322 4116160 0 3868 9 10 8 2203.80/2204.00 c 3880 7425 146692 4126694 0 3878 9 10 8 2209.30/2209.43 c 3890 7444 147062 4137187 0 3888 9 10 8 2214.70/2214.86 c 3900 7463 147432 4147639 0 3898 9 10 8 2219.70/2219.81 c 3910 7481 147769 4157847 0 3908 8 9 7 2225.10/2225.25 c 3920 7500 148139 4168504 0 3918 9 10 8 2230.70/2230.88 c 3930 7519 148522 4179120 0 3928 9 10 8 2236.50/2236.60 c 3940 7538 148913 4189695 0 3938 9 10 8 2242.01/2242.14 c 3950 7557 149291 4200229 0 3948 9 10 8 2247.40/2247.56 c 3960 7576 149661 4210722 0 3958 9 10 8 2252.80/2253.00 c 3970 7595 150031 4221174 0 3968 9 10 8 2257.80/2257.93 c 3980 7613 150368 4231382 0 3978 8 9 7 2263.20/2263.36 c 3990 7632 150738 4242039 0 3988 9 10 8 2268.59/2268.77 c 4000 7651 151108 4252655 0 3998 9 10 8 2273.19/2273.38 c 4001 7660 151380 4256021 0 3999 9 9 4 2278.59/2278.77 c 4010 7678 151743 4266531 0 4008 9 10 8 2284.10/2284.22 c 4020 7697 152113 4277024 0 4018 9 10 8 2289.70/2289.85 c 4030 7716 152496 4287476 0 4028 9 10 8 2294.80/2294.92 c 4040 7734 152841 4297684 0 4038 8 9 7 2300.20/2300.33 c 4050 7753 153211 4308341 0 4048 9 10 8 2305.60/2305.76 c 4060 7772 153581 4318957 0 4058 9 10 8 2311.01/2311.17 c 4070 7791 153951 4329532 0 4068 9 10 8 2316.40/2316.58 c 4080 7810 154321 4340066 0 4078 9 10 8 2321.80/2322.00 c 4090 7829 154691 4350559 0 4088 9 10 8 2327.30/2327.42 c 4100 7848 155061 4361011 0 4098 9 10 8 2332.39/2332.59 c 4110 7866 155411 4371219 0 4108 8 9 7 2338.09/2338.21 c 4120 7885 155794 4381876 0 4118 9 10 8 2343.60/2343.76 c 4130 7904 156172 4392492 0 4128 9 10 8 2349.20/2349.36 c 4140 7923 156555 4403067 0 4138 9 10 8 2354.69/2354.87 c 4150 7942 156933 4413601 0 4148 9 10 8 2360.00/2360.15 c 4160 7961 157303 4424094 0 4158 9 10 8 2365.19/2365.39 c 4170 7980 157673 4434546 0 4168 9 10 8 2369.90/2370.02 c 4180 7998 158010 4444754 0 4178 8 9 7 2374.89/2375.08 c 4190 8017 158380 4455411 0 4188 9 10 8 2379.89/2380.06 c 4200 8036 158750 4466027 0 4198 9 10 8 2384.89/2385.03 c 4210 8055 159120 4476602 0 4208 9 10 8 2389.78/2389.98 c 4220 8074 159490 4487136 0 4218 9 10 8 2394.99/2395.11 c 4230 8093 159873 4497629 0 4228 9 10 8 2399.99/2400.17 c 4240 8112 160251 4508081 0 4238 9 10 8 2404.58/2404.78 c 4250 8130 160596 4518289 0 4248 8 9 7 2409.68/2409.81 c 4260 8149 160974 4528946 0 4258 9 10 8 2414.58/2414.74 c 4270 8168 161344 4539562 0 4268 9 10 8 2419.48/2419.66 c 4280 8187 161714 4550137 0 4278 9 10 8 2424.38/2424.57 c 4290 8206 162084 4560671 0 4288 9 10 8 2429.38/2429.50 c 4300 8225 162454 4571164 0 4298 9 10 8 2434.28/2434.42 c 4310 8244 162824 4581616 0 4308 9 10 8 2438.78/2438.90 c 4320 8262 163161 4591824 0 4318 8 9 7 2443.68/2443.83 c 4330 8281 163531 4602481 0 4328 9 10 8 2448.58/2448.76 c 4340 8300 163901 4613097 0 4338 9 10 8 2453.68/2453.88 c 4350 8319 164284 4623672 0 4348 9 10 8 2458.88/2459.09 c 4360 8338 164675 4634206 0 4358 9 10 8 2463.98/2464.11 c 4370 8357 165053 4644699 0 4368 9 10 8 2468.88/2469.04 c 4380 8376 165423 4655151 0 4378 9 10 8 2473.37/2473.51 c 4390 8394 165760 4665359 0 4388 8 9 7 2478.27/2478.43 c 4400 8413 166130 4676016 0 4398 9 10 8 2483.17/2483.35 c 4410 8432 166500 4686632 0 4408 9 10 8 2488.07/2488.27 c 4420 8451 166870 4697207 0 4418 9 10 8 2493.07/2493.20 c 4430 8470 167240 4707741 0 4428 9 10 8 2497.98/2498.13 c 4440 8489 167610 4718234 0 4438 9 10 8 2502.88/2503.07 c 4450 8508 167980 4728686 0 4448 9 10 8 2507.47/2507.67 c 4460 8526 168325 4738894 0 4458 8 9 7 2512.37/2512.59 c 4470 8545 168695 4749551 0 4468 9 10 8 2517.57/2517.70 c 4480 8564 169078 4760167 0 4478 9 10 8 2519.88/2520.01 2519.88/2520.01 c *** INTERRUPTED *** 2519.88/2520.01 c restarts : 465 2519.88/2520.01 c conflicts : 4480 (2 /sec) 2519.88/2520.01 c decisions : 8569 (3 /sec) 2519.88/2520.01 c propagations : 4761282 (1890 /sec) 2519.88/2520.01 c root propagations : 0 2519.88/2520.01 c filter calls : 169222 (67 /sec) 2519.88/2520.01 c useless filter calls : 154346 (91 %) 2519.88/2520.01 c 2519.88/2520.01 c clauses : 5674928 2519.88/2520.01 c SAT propagations : 9 2519.88/2520.01 c SAT conflicts : 0 (0 learnts) 2519.88/2520.01 c Memory used : 694.05 MB 2519.88/2520.01 c CPU time : 2519.23 s 2519.88/2520.01 2519.88/2520.01 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (3662 MiB free)
memory of node 1: 16384 MiB (13273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266161-1502581280/watcher-4266161-1502581280 -o /tmp/evaluation-result-4266161-1502581280/solver-4266161-1502581280 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24899 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266161-1502581280.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27866, runsolver pid=27863
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27867
/proc/meminfo: memFree=17338708/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=29912 memory=6124 CPUtime=0.1 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 1725 0 0 0 10 0 0 0 20 0 1 0 91215806 30629888 1531 33554432000 4194304 5972588 140735936044240 140735936040888 5675845 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 7478 1531 722 435 0 841 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29912 KiB
Current children cumulated memory: 6124 KiB
[startup+0.209567 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27867
/proc/meminfo: memFree=17338200/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=32216 memory=7692 CPUtime=0.21 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 2207 0 0 0 21 0 0 0 20 0 1 0 91215806 32989184 1923 33554432000 4194304 5972588 140735936044240 140735936040888 140564416241092 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 8054 1923 722 435 0 1417 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32216 KiB
Current children cumulated memory: 7692 KiB
[startup+0.309358 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27867
/proc/meminfo: memFree=17335244/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=36824 memory=9716 CPUtime=0.31 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 2820 0 0 0 31 0 0 0 20 0 1 0 91215806 37707776 2429 33554432000 4194304 5972588 140735936044240 140735936040888 5673564 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 9206 2429 722 435 0 2569 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36824 KiB
Current children cumulated memory: 9716 KiB
[startup+0.700336 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27867
/proc/meminfo: memFree=17333164/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=46040 memory=17912 CPUtime=0.69 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 3597 0 0 0 69 0 0 0 20 0 1 0 91215806 47144960 4478 33554432000 4194304 5972588 140735936044240 140735936040808 5370842 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 11510 4478 722 435 0 4873 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46040 KiB
Current children cumulated memory: 17912 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27867
/proc/meminfo: memFree=17323296/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=64472 memory=30204 CPUtime=1.49 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 4125 0 0 0 148 1 0 0 20 0 1 0 91215806 66019328 7551 33554432000 4194304 5972588 140735936044240 140735936040808 5674551 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 16118 7551 722 435 0 9481 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64472 KiB
Current children cumulated memory: 30204 KiB
[startup+3.10936 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27867
/proc/meminfo: memFree=17283876/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=101336 memory=58880 CPUtime=3.1 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 5142 0 0 0 308 2 0 0 20 0 1 0 91215806 103768064 14720 33554432000 4194304 5972588 140735936044240 140735936040808 5674106 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 25334 14720 722 435 0 18697 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 101336 KiB
Current children cumulated memory: 58880 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 27867
/proc/meminfo: memFree=17231972/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=175064 memory=112132 CPUtime=6.29 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 6206 0 0 0 626 3 0 0 20 0 1 0 91215806 179265536 28033 33554432000 4194304 5972588 140735936044240 140735936040808 5669558 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 43766 28033 722 435 0 37129 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 175064 KiB
Current children cumulated memory: 112132 KiB
[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 27867
/proc/meminfo: memFree=16922824/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=644776 memory=373788 CPUtime=12.69 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 13636 0 0 0 1256 13 0 0 20 0 1 0 91215806 660250624 93447 33554432000 4194304 5972588 140735936044240 140735936038776 140564407224241 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 161194 93447 732 435 0 154557 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 644776 KiB
Current children cumulated memory: 373788 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 27867
/proc/meminfo: memFree=16868896/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=703084 memory=427428 CPUtime=25.49 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 29002 0 0 0 2533 16 0 0 20 0 1 0 91215806 719958016 106857 33554432000 4194304 5972588 140735936044240 140735936038776 4958656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 175771 106857 737 435 0 169134 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 703084 KiB
Current children cumulated memory: 427428 KiB
[startup+51.1096 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 27867
/proc/meminfo: memFree=16730528/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520636 CPUtime=51.09 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 70229 0 0 0 5086 23 0 0 20 0 1 0 91215806 727764992 130159 33554432000 4194304 5972588 140735936044240 140735936041544 4919161 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130159 786 435 0 171040 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520636 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 27869
/proc/meminfo: memFree=16661796/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=102.28 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 93613 0 0 0 10204 24 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919161 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 27870
/proc/meminfo: memFree=16661844/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=162.28 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 117017 0 0 0 16203 25 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919161 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27879
/proc/meminfo: memFree=16649336/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=222.28 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 140432 0 0 0 22202 26 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919139 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27880
/proc/meminfo: memFree=16550388/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=282.27 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 163849 0 0 0 28200 27 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27881
/proc/meminfo: memFree=16543920/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=342.28 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 187267 0 0 0 34199 29 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919234 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27882
/proc/meminfo: memFree=16539760/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=402.28 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 210686 0 0 0 40198 30 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919139 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27883
/proc/meminfo: memFree=16474620/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=462.27 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 234108 0 0 0 46196 31 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919139 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
################
# More data... #
################
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 27922
/proc/meminfo: memFree=16278736/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=1782.21 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 749836 0 0 0 178166 55 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919139 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27923
/proc/meminfo: memFree=16278596/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=1842.21 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 773300 0 0 0 184165 56 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919323 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27925
/proc/meminfo: memFree=16278352/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=1902.21 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 796759 0 0 0 190163 58 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919234 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27926
/proc/meminfo: memFree=16278604/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520664 CPUtime=1962.21 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 820236 0 0 0 196162 59 0 0 20 0 1 0 91215806 727764992 130166 33554432000 4194304 5972588 140735936044240 140735936041544 4919161 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130166 788 435 0 171040 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520664 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27935
/proc/meminfo: memFree=16277664/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520672 CPUtime=2022.2 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 843692 0 0 0 202160 60 0 0 20 0 1 0 91215806 727764992 130168 33554432000 4194304 5972588 140735936044240 140735936041544 4919301 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130168 788 435 0 171040 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520672 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 27963
/proc/meminfo: memFree=16272416/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520672 CPUtime=2082.2 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 867150 0 0 0 208159 61 0 0 20 0 1 0 91215806 727764992 130168 33554432000 4194304 5972588 140735936044240 140735936041544 4919301 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130168 788 435 0 171040 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520672 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 27964
/proc/meminfo: memFree=16272932/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520672 CPUtime=2142.2 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 890620 0 0 0 214158 62 0 0 20 0 1 0 91215806 727764992 130168 33554432000 4194304 5972588 140735936044240 140735936041544 4919161 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130168 788 435 0 171040 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520672 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 27965
/proc/meminfo: memFree=16264980/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520672 CPUtime=2202.2 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 914080 0 0 0 220157 63 0 0 20 0 1 0 91215806 727764992 130168 33554432000 4194304 5972588 140735936044240 140735936041544 4919181 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130168 788 435 0 171040 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520672 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 27966
/proc/meminfo: memFree=16265464/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520672 CPUtime=2262.2 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 937535 0 0 0 226156 64 0 0 20 0 1 0 91215806 727764992 130168 33554432000 4194304 5972588 140735936044240 140735936041544 4919139 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130168 788 435 0 171040 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520672 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27967
/proc/meminfo: memFree=16265464/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520676 CPUtime=2322.2 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 960997 0 0 0 232155 65 0 0 20 0 1 0 91215806 727764992 130169 33554432000 4194304 5972588 140735936044240 140735936041544 4919136 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130169 788 435 0 171040 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520676 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28028
/proc/meminfo: memFree=24682704/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520688 CPUtime=2382.18 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 984463 0 0 0 238152 66 0 0 20 0 1 0 91215806 727764992 130172 33554432000 4194304 5972588 140735936044240 140735936041544 4918965 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130172 788 435 0 171040 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520688 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28029
/proc/meminfo: memFree=24683124/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=520688 CPUtime=2442.18 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 994048 0 0 0 244152 66 0 0 20 0 1 0 91215806 727764992 130172 33554432000 4194304 5972588 140735936044240 140735936041544 4918965 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130172 788 435 0 171040 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 520688 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28030
/proc/meminfo: memFree=24682376/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=521128 CPUtime=2502.17 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 995278 0 0 0 250151 66 0 0 20 0 1 0 91215806 727764992 130282 33554432000 4194304 5972588 140735936044240 140735936041544 4919161 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130282 788 435 0 171040 0
Current children cumulated CPU time: 2502.17 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 521128 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28031
/proc/meminfo: memFree=24681740/32770624 swapFree=67108860/67108860
[pid=27866] ppid=27863 vsize=710708 memory=521128 CPUtime=2519.88 cores=1,3,5,7
/proc/27866/stat : 27866 (cosoco) R 27863 27866 24815 0 -1 4202496 995279 0 0 0 251922 66 0 0 20 0 1 0 91215806 727764992 130282 33554432000 4194304 5972588 140735936044240 140735936041544 4919234 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 27578368 140735936050362 140735936050462 140735936050462 140735936053198 0
/proc/27866/statm: 177677 130282 788 435 0 171040 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 710708 KiB
Current children cumulated memory: 521128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 27866 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.24 s, system=0.673972 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.03
CPU time (s): 2519.91
CPU user time (s): 2519.24
CPU system time (s): 0.673972
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 764896
Max. memory (cumulated for all children) (KiB): 521128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.24
system time used= 0.673972
maximum resident set size= 521164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 995836
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 682
# summary of solver processes directly reported to runsolver:
# pid: 27866
# total CPU time (s): 2519.91
# total CPU user time (s): 2519.24
# total CPU system time (s): 0.673972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63381 second user time and 19.0208 second system time
The end
Begin job on node113 at 2017-08-13 01:27:03 IDJOB=4266161 IDBENCH=133263 IDSOLVER=2655 FILE ID=node113/4266161-1502581280 RUNJOBID= node113-1502567255-24899 PBS_JOBID= 20628282 Free space on /tmp= 61688 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-15-mdd.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266161-1502581280/watcher-4266161-1502581280 -o /tmp/evaluation-result-4266161-1502581280/solver-4266161-1502581280 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24899 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266161-1502581280.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb9d91ed4b70703bb0e2b52375e1b8aa RANDOM SEED=1074187685 node113.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.89 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.89 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.89 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.89 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: 17343280 kB MemAvailable: 22323076 kB Buffers: 127104 kB Cached: 5143652 kB SwapCached: 0 kB Active: 10235580 kB Inactive: 4740112 kB Active(anon): 9707852 kB Inactive(anon): 24988 kB Active(file): 527728 kB Inactive(file): 4715124 kB Unevictable: 6572 kB Mlocked: 6572 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 123192 kB Writeback: 0 kB AnonPages: 9711444 kB Mapped: 44416 kB Shmem: 25224 kB Slab: 131188 kB SReclaimable: 105556 kB SUnreclaim: 25632 kB KernelStack: 3296 kB PageTables: 24024 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 12474108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 886784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61688 MiB End job on node113 at 2017-08-13 02:09:03