Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Mistral-2.0 2017-06-28 | SAT (TO) | 460 | 2400.04 | 2401 |
| Name | TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml |
| MD5SUM | 8c67453fb3d985d7ef69f755cd1f1510 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 406 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200 |
| Number of constraints | 101 |
| Number of domains | 2 |
| Minimum domain size | 63 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":63,"count":100},{"size":100,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":100}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":3,"count":100},{"arity":100,"count":1}] |
| Number of extensional constraints | 100 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":100},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral-2017-06-28 0.29/0.34 o 2089 0.29/0.34 o 2055 0.29/0.34 o 2043 0.29/0.34 o 2033 0.29/0.34 o 2013 0.29/0.35 o 2007 0.29/0.35 o 1998 0.29/0.35 o 1990 0.29/0.35 o 1984 0.29/0.35 o 1969 0.29/0.35 o 1960 0.29/0.35 o 1959 0.29/0.35 o 1957 0.39/0.47 o 1956 0.39/0.47 o 1947 0.49/0.58 o 1942 0.49/0.58 o 1939 0.49/0.58 o 1934 0.49/0.58 o 1933 0.59/0.69 o 1912 0.59/0.69 o 1911 0.59/0.69 o 1908 0.79/0.80 o 1903 0.79/0.80 o 1893 0.79/0.80 o 1882 0.79/0.80 o 1878 0.79/0.80 o 1876 0.79/0.80 o 1875 0.79/0.80 o 1873 0.79/0.81 o 1821 0.89/0.91 o 1788 0.89/0.92 o 1787 0.99/1.03 o 1786 0.99/1.03 o 1785 0.99/1.03 o 1776 0.99/1.03 o 1773 0.99/1.03 o 1772 0.99/1.03 o 1771 0.99/1.03 o 1769 0.99/1.03 o 1767 1.10/1.14 o 1766 1.10/1.14 o 1765 1.10/1.15 o 1764 1.10/1.15 o 1756 1.10/1.15 o 1752 1.10/1.15 o 1751 1.10/1.15 o 1749 1.20/1.27 o 1748 1.20/1.27 o 1746 1.20/1.27 o 1745 1.20/1.27 o 1734 1.20/1.27 o 1725 1.29/1.38 o 1724 1.29/1.38 o 1721 1.29/1.38 o 1713 1.29/1.38 o 1712 1.29/1.38 o 1710 1.29/1.38 o 1708 1.29/1.38 o 1706 1.29/1.38 o 1702 1.39/1.49 o 1683 1.39/1.49 o 1682 1.39/1.49 o 1681 1.39/1.49 o 1678 1.39/1.49 o 1646 1.39/1.49 o 1635 1.39/1.49 o 1628 1.39/1.49 o 1626 1.39/1.49 o 1624 1.39/1.50 o 1621 1.59/1.61 o 1618 1.59/1.61 o 1579 1.59/1.61 o 1555 1.59/1.62 o 1507 1.69/1.72 o 1506 1.69/1.72 o 1503 1.69/1.72 o 1502 1.69/1.72 o 1501 1.69/1.72 o 1492 1.69/1.72 o 1463 1.69/1.73 o 1458 1.69/1.73 o 1456 1.79/1.83 o 1438 1.79/1.83 o 1429 1.79/1.83 o 1421 1.79/1.83 o 1396 1.79/1.83 o 1378 1.79/1.84 o 1376 1.79/1.84 o 1375 1.79/1.84 o 1371 1.79/1.84 o 1364 1.79/1.84 o 1361 1.79/1.84 o 1347 1.79/1.84 o 1346 2.08/2.10 o 1340 2.08/2.11 o 1339 2.30/2.38 o 1324 2.30/2.38 o 1310 2.30/2.38 o 1303 2.49/2.50 o 1302 2.49/2.50 o 1301 2.49/2.51 o 1276 2.49/2.51 o 1264 2.49/2.51 o 1261 2.59/2.62 o 1255 2.59/2.62 o 1249 2.59/2.62 o 1248 2.59/2.62 o 1244 2.59/2.62 o 1235 2.69/2.73 o 1231 2.69/2.73 o 1217 2.79/2.84 o 1206 2.79/2.84 o 1204 2.89/2.95 o 1200 2.99/3.09 o 1198 3.19/3.21 o 1180 3.19/3.21 o 1179 3.30/3.32 o 1177 3.30/3.32 o 1176 3.40/3.44 o 1175 3.40/3.44 o 1169 3.40/3.45 o 1161 3.59/3.68 o 1160 3.79/3.80 o 1158 3.79/3.81 o 1156 3.79/3.81 o 1155 3.79/3.81 o 1154 3.79/3.82 o 1153 3.89/3.98 o 1152 4.09/4.12 o 1149 4.40/4.47 o 1148 4.50/4.59 o 1137 4.50/4.59 o 1134 4.50/4.59 o 1131 4.50/4.59 o 1128 4.50/4.59 o 1126 4.69/4.71 o 1124 4.89/4.94 o 1123 4.99/5.05 o 1122 4.99/5.05 o 1120 5.09/5.19 o 1117 5.29/5.31 o 1116 5.29/5.31 o 1114 5.50/5.54 o 1113 5.60/5.66 o 1112 5.69/5.77 o 1106 5.99/6.03 o 1101 5.99/6.03 o 1100 5.99/6.04 o 1095 5.99/6.07 o 1093 6.09/6.18 o 1090 6.19/6.29 o 1089 6.19/6.29 o 1079 6.39/6.40 o 1077 6.70/6.76 o 1076 6.79/6.89 o 1075 7.09/7.14 o 1070 7.09/7.14 o 1068 7.19/7.26 o 1062 7.19/7.26 o 1061 7.48/7.50 o 1057 7.48/7.50 o 1056 7.48/7.51 o 1054 7.48/7.51 o 1053 7.69/7.74 o 1050 7.79/7.89 o 1048 8.18/8.29 o 1045 8.48/8.55 o 1043 8.68/8.77 o 1036 8.68/8.78 o 1035 8.68/8.78 o 1034 8.79/8.90 o 1030 8.98/9.02 o 1028 9.18/9.25 o 1027 9.28/9.38 o 1024 9.28/9.38 o 1021 9.28/9.38 o 1019 9.68/9.73 o 1018 9.68/9.73 o 1016 9.68/9.73 o 1015 9.68/9.73 o 1013 9.68/9.73 o 1012 9.68/9.73 o 1010 9.68/9.73 o 1002 9.68/9.73 o 999 9.68/9.73 o 998 9.78/9.84 o 990 9.78/9.84 o 988 9.89/9.96 o 987 9.99/10.07 o 986 9.99/10.08 o 978 9.99/10.08 o 977 9.99/10.09 o 976 10.18/10.21 o 975 10.18/10.23 o 968 10.18/10.24 o 967 10.48/10.50 o 960 10.48/10.50 o 959 10.58/10.61 o 956 10.58/10.62 o 954 10.68/10.73 o 952 10.88/10.97 o 950 10.99/11.10 o 940 10.99/11.10 o 937 11.09/11.12 o 936 11.09/11.12 o 935 11.28/11.35 o 934 11.38/11.45 o 933 11.78/11.83 o 930 11.78/11.83 o 929 11.78/11.83 o 926 11.78/11.83 o 925 11.88/11.95 o 923 12.28/12.31 o 915 12.48/12.52 o 905 12.48/12.52 o 904 12.48/12.52 o 900 13.08/13.10 o 899 13.58/13.61 o 898 13.68/13.72 o 897 13.68/13.72 o 891 13.78/13.83 o 871 13.78/13.83 o 867 13.88/13.96 o 866 14.08/14.19 o 855 14.08/14.19 o 850 14.39/14.48 o 849 14.39/14.48 o 848 14.39/14.48 o 841 14.39/14.48 o 839 14.48/14.59 o 838 14.78/14.82 o 837 14.78/14.83 o 830 14.98/15.07 o 825 14.98/15.07 o 823 15.98/16.04 o 822 15.98/16.04 o 816 15.98/16.06 o 815 16.18/16.27 o 813 16.78/16.88 o 809 16.88/16.90 o 807 16.88/16.94 o 806 17.38/17.43 o 803 18.08/18.15 o 802 18.58/18.65 o 800 19.08/19.12 o 797 19.18/19.22 o 796 19.28/19.33 o 794 19.28/19.33 o 793 19.68/19.77 o 788 19.79/19.89 o 787 19.98/20.02 o 781 19.98/20.02 o 780 20.89/20.98 o 779 20.89/20.98 o 778 20.99/21.02 o 773 22.37/22.47 o 772 22.97/23.09 o 769 22.97/23.09 o 768 23.18/23.23 o 765 23.18/23.23 o 763 23.18/23.23 o 759 23.18/23.23 o 757 23.18/23.23 o 754 23.18/23.23 o 753 23.18/23.23 o 752 23.18/23.23 o 750 24.18/24.27 o 748 24.87/24.95 o 747 24.87/24.95 o 745 24.87/24.95 o 744 24.97/25.06 o 743 24.97/25.06 o 741 24.97/25.07 o 739 24.97/25.07 o 738 24.97/25.07 o 737 25.77/25.87 o 734 26.07/26.12 o 733 26.07/26.12 o 730 26.57/26.60 o 728 26.67/26.71 o 727 26.67/26.71 o 716 26.97/27.04 o 714 26.97/27.04 o 713 26.97/27.04 o 711 27.17/27.28 o 707 27.48/27.58 o 706 28.17/28.27 o 705 28.87/28.97 o 704 29.37/29.44 o 698 30.88/30.95 o 697 31.07/31.18 o 695 32.47/32.56 o 693 33.37/33.47 o 689 38.27/38.31 o 687 39.16/39.29 o 686 39.68/39.74 o 674 40.78/40.84 o 673 44.47/44.50 o 672 44.47/44.50 o 665 45.47/45.54 o 663 45.77/45.87 o 657 45.77/45.87 o 655 45.77/45.87 o 650 46.17/46.21 o 648 47.17/47.21 o 644 47.17/47.21 o 642 47.97/48.05 o 641 47.97/48.05 o 637 47.97/48.06 o 636 49.86/49.97 o 634 50.86/50.94 o 627 50.86/50.94 o 626 50.86/50.96 o 622 50.86/50.96 o 621 55.06/55.13 o 615 55.06/55.13 o 614 55.26/55.38 o 598 55.36/55.48 o 597 55.36/55.49 o 595 55.36/55.49 o 593 55.76/55.80 o 592 55.86/55.92 o 588 56.26/56.33 o 585 56.26/56.33 o 584 56.66/56.77 o 579 56.66/56.78 o 578 57.36/57.45 o 577 58.46/58.57 o 575 59.05/59.17 o 573 59.65/59.72 o 571 59.65/59.72 o 570 61.45/61.53 o 567 61.45/61.53 o 564 62.95/63.01 o 562 63.35/63.40 o 558 76.94/77.02 o 556 78.64/78.73 o 555 82.73/82.87 o 554 82.93/83.08 o 551 83.33/83.43 o 549 83.64/83.78 o 546 83.73/83.89 o 543 87.43/87.57 o 542 87.83/87.94 o 537 90.62/90.71 o 536 90.72/90.81 o 535 92.62/92.79 o 534 97.92/98.03 o 532 106.21/106.34 o 530 106.21/106.34 o 523 109.71/109.83 o 522 112.11/112.23 o 520 112.11/112.23 o 514 112.11/112.23 o 513 113.40/113.58 o 511 115.51/115.67 o 510 118.81/118.93 o 507 119.50/119.68 o 505 160.89/161.03 o 504 195.48/195.62 o 502 195.48/195.64 o 501 249.57/249.75 o 500 256.56/256.75 o 499 311.94/312.18 o 498 311.94/312.18 o 497 311.94/312.18 o 495 311.94/312.18 o 494 324.34/324.51 o 493 324.34/324.51 o 490 324.34/324.52 o 489 325.34/325.52 o 487 327.34/327.56 o 486 327.34/327.56 o 479 330.63/330.81 o 478 341.83/342.09 o 477 341.83/342.09 o 476 341.83/342.09 o 475 380.02/380.20 o 473 380.02/380.20 o 470 380.02/380.20 o 469 382.12/382.30 o 468 382.12/382.30 o 467 383.32/383.52 o 466 391.81/392.07 o 463 410.31/410.55 o 462 436.60/436.88 o 461 493.37/493.65 o 460 2400.03/2401.00 s SATISFIABLE 2400.03/2401.00 v <instantiation type="solution"> 2400.03/2401.00 v <list> c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] </list> 2400.03/2401.00 v <values> 20 15 16 12 0 3 7 8 18 17 13 21 22 26 28 32 19 29 27 36 41 44 40 39 43 51 52 61 67 64 68 70 73 76 81 85 91 94 99 87 95 96 88 97 92 93 98 89 79 84 80 66 59 60 50 48 49 47 42 45 54 56 63 75 83 78 77 74 71 65 62 55 53 9 6 4 1 2 10 5 11 14 23 24 30 38 72 82 86 90 69 58 57 46 37 35 34 33 31 25 3 2 1 9 4 4 1 4 1 1 5 3 4 1 3 9 6 2 6 6 1 4 14 1 5 1 6 6 1 3 1 2 1 7 2 4 1 6 9 5 6 6 5 3 4 1 4 8 6 4 7 8 5 6 1 3 8 4 3 6 2 5 5 7 5 1 2 4 2 2 4 2 21 4 1 4 4 6 5 3 1 5 1 4 5 15 6 2 4 11 4 1 7 4 7 1 29 3 2 6 </values> 2400.03/2401.00 v </instantiation>
OK 460
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242680-1500658648/watcher-4242680-1500658648 -o /tmp/evaluation-result-4242680-1500658648/solver-4242680-1500658648 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500648178-9871 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 795757922 HOME/instance-4242680-1500658648.xml pid=11241 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.05 3/242 11244 /proc/meminfo: memFree=32000364/32770624 swapFree=5912/214332 [pid=11244] ppid=11241 vsize=29068 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 1068 0 0 0 0 0 0 0 20 0 1 0 1134846 29765632 868 33554432000 4194304 7402444 140735218059584 140735218056632 6143917 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 7267 868 635 784 0 281 0 [startup+0.100128 s] /proc/loadavg: 2.00 2.02 2.05 3/242 11244 /proc/meminfo: memFree=32000364/32770624 swapFree=5912/214332 [pid=11244] ppid=11241 vsize=51772 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 6773 0 0 0 9 0 0 0 20 0 1 0 1134846 53014528 6549 33554432000 4194304 7402444 140735218059584 140735218050664 139688387832805 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 12943 6549 665 784 0 5957 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 51772 [startup+0.200357 s] /proc/loadavg: 2.00 2.02 2.05 3/242 11244 /proc/meminfo: memFree=32000364/32770624 swapFree=5912/214332 [pid=11244] ppid=11241 vsize=120868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 24043 0 0 0 16 3 0 0 20 0 1 0 1134846 123768832 23775 33554432000 4194304 7402444 140735218059584 140735218051080 139688387832805 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 30217 23775 665 784 0 23231 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 120868 [startup+0.300315 s] /proc/loadavg: 2.00 2.02 2.05 3/242 11244 /proc/meminfo: memFree=32000364/32770624 swapFree=5912/214332 [pid=11244] ppid=11241 vsize=154764 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 32601 0 0 0 26 3 0 0 20 0 1 0 1134846 158478336 32363 33554432000 4194304 7402444 140735218059584 140735218054120 4484465 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 38691 32363 704 784 0 31705 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 154764 [startup+0.700246 s] /proc/loadavg: 2.00 2.02 2.05 3/242 11244 /proc/meminfo: memFree=32000364/32770624 swapFree=5912/214332 [pid=11244] ppid=11241 vsize=174024 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 35916 0 0 0 65 4 0 0 20 0 1 0 1134846 178200576 37200 33554432000 4194304 7402444 140735218059584 140735218054600 4378426 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 43506 37200 711 784 0 36520 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 174024 [startup+1.50025 s] /proc/loadavg: 2.00 2.02 2.05 3/243 11245 /proc/meminfo: memFree=31849044/32770624 swapFree=5912/214312 [pid=11244] ppid=11241 vsize=182340 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 37993 0 0 0 144 5 0 0 20 0 1 0 1134846 186716160 39246 33554432000 4194304 7402444 140735218059584 140735218054600 5750759 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 45585 39246 711 784 0 38599 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 182340 [startup+3.10024 s] /proc/loadavg: 2.00 2.02 2.05 3/243 11245 /proc/meminfo: memFree=31842348/32770624 swapFree=5912/214312 [pid=11244] ppid=11241 vsize=187884 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 69677 0 0 0 303 6 0 0 20 0 1 0 1134846 192393216 40621 33554432000 4194304 7402444 140735218059584 140735218054120 4466809 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 46971 40621 711 784 0 39985 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 187884 [startup+6.30025 s] /proc/loadavg: 1.92 2.00 2.04 3/243 11245 /proc/meminfo: memFree=31835972/32770624 swapFree=5912/214444 [pid=11244] ppid=11241 vsize=192504 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 102497 0 0 0 622 7 0 0 20 0 1 0 1134846 197124096 41772 33554432000 4194304 7402444 140735218059584 140735218054600 4712981 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 48126 41772 711 784 0 41140 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 192504 [startup+12.7003 s] /proc/loadavg: 2.01 2.02 2.05 3/243 11245 /proc/meminfo: memFree=31829436/32770624 swapFree=5912/214400 [pid=11244] ppid=11241 vsize=196992 CPUtime=12.68 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 136220 0 0 0 1260 8 0 0 20 0 1 0 1134846 201719808 42884 33554432000 4194304 7402444 140735218059584 140735218054120 5818307 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 49248 42884 711 784 0 42262 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 196992 [startup+25.5003 s] /proc/loadavg: 2.01 2.02 2.05 3/243 11245 /proc/meminfo: memFree=31825684/32770624 swapFree=5912/214424 [pid=11244] ppid=11241 vsize=199368 CPUtime=25.47 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 194472 0 0 0 2536 11 0 0 20 0 1 0 1134846 204152832 43521 33554432000 4194304 7402444 140735218059584 140735218054600 4466809 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 49842 43521 711 784 0 42856 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 199368 [startup+51.1003 s] /proc/loadavg: 2.00 2.02 2.05 3/243 11245 /proc/meminfo: memFree=31823552/32770624 swapFree=5912/214456 [pid=11244] ppid=11241 vsize=200952 CPUtime=51.06 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 219415 0 0 0 5093 13 0 0 20 0 1 0 1134846 205774848 43906 33554432000 4194304 7402444 140735218059584 140735218054600 4484619 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50238 43906 711 784 0 43252 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 200952 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11246 /proc/meminfo: memFree=31822408/32770624 swapFree=5912/214520 [pid=11244] ppid=11241 vsize=201348 CPUtime=102.22 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 234509 0 0 0 10209 13 0 0 20 0 1 0 1134846 206180352 44042 33554432000 4194304 7402444 140735218059584 140735218054600 4484555 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50337 44042 711 784 0 43351 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 201348 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/245 11256 /proc/meminfo: memFree=31822388/32770624 swapFree=5912/214600 [pid=11244] ppid=11241 vsize=201480 CPUtime=162.19 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 235340 0 0 0 16206 13 0 0 20 0 1 0 1134846 206315520 44053 33554432000 4194304 7402444 140735218059584 140735218054600 4379086 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44053 711 784 0 43384 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 201480 [startup+222.308 s] /proc/loadavg: 2.00 2.01 2.05 3/245 11257 /proc/meminfo: memFree=31823068/32770624 swapFree=5912/214632 [pid=11244] ppid=11241 vsize=201480 CPUtime=222.18 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 236164 0 0 0 22204 14 0 0 20 0 1 0 1134846 206315520 44067 33554432000 4194304 7402444 140735218059584 140735218054600 5758830 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44067 711 784 0 43384 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 201480 [startup+282.3 s] /proc/loadavg: 2.06 2.03 2.05 3/245 11258 /proc/meminfo: memFree=31823704/32770624 swapFree=5912/214680 [pid=11244] ppid=11241 vsize=201480 CPUtime=282.15 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 236987 0 0 0 28201 14 0 0 20 0 1 0 1134846 206315520 44067 33554432000 4194304 7402444 140735218059584 140735218054600 4377716 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44067 711 784 0 43384 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 201480 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.05 3/245 11259 /proc/meminfo: memFree=31823600/32770624 swapFree=5912/214732 [pid=11244] ppid=11241 vsize=201480 CPUtime=342.13 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 237811 0 0 0 34199 14 0 0 20 0 1 0 1134846 206315520 44068 33554432000 4194304 7402444 140735218059584 140735218054600 4747310 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44068 711 784 0 43384 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 201480 [startup+402.3 s] /proc/loadavg: 2.01 2.02 2.05 3/245 11260 /proc/meminfo: memFree=31823556/32770624 swapFree=5912/214788 [pid=11244] ppid=11241 vsize=201480 CPUtime=402.11 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 238636 0 0 0 40197 14 0 0 20 0 1 0 1134846 206315520 44069 33554432000 4194304 7402444 140735218059584 140735218054600 4529237 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44069 711 784 0 43384 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 201480 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11261 /proc/meminfo: memFree=31824536/32770624 swapFree=5912/214832 [pid=11244] ppid=11241 vsize=201480 CPUtime=462.09 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 239461 0 0 0 46195 14 0 0 20 0 1 0 1134846 206315520 44070 33554432000 4194304 7402444 140735218059584 140735218054600 4484555 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44070 711 784 0 43384 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 201480 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11262 /proc/meminfo: memFree=31824760/32770624 swapFree=5912/214872 [pid=11244] ppid=11241 vsize=201480 CPUtime=522.06 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 240287 0 0 0 52192 14 0 0 20 0 1 0 1134846 206315520 44070 33554432000 4194304 7402444 140735218059584 140735218054600 4484555 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44070 711 784 0 43384 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 201480 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11263 /proc/meminfo: memFree=31824360/32770624 swapFree=5912/214912 [pid=11244] ppid=11241 vsize=201480 CPUtime=582.04 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 241100 0 0 0 58190 14 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4708108 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 201480 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11319 /proc/meminfo: memFree=31820580/32770624 swapFree=5912/215300 [pid=11244] ppid=11241 vsize=201480 CPUtime=1481.73 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 252709 0 0 0 148159 14 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484555 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 201480 [startup+1542.31 s] /proc/loadavg: 2.06 2.03 2.05 3/244 11320 /proc/meminfo: memFree=31820600/32770624 swapFree=5912/215340 [pid=11244] ppid=11241 vsize=201480 CPUtime=1541.72 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 253522 0 0 0 154158 14 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484665 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 201480 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.05 3/245 11395 /proc/meminfo: memFree=30301864/32770624 swapFree=5912/215400 [pid=11244] ppid=11241 vsize=201480 CPUtime=1601.69 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 254335 0 0 0 160155 14 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 5754032 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 201480 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.05 3/244 11396 /proc/meminfo: memFree=30250532/32770624 swapFree=5912/215468 [pid=11244] ppid=11241 vsize=201480 CPUtime=1661.67 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 255148 0 0 0 166152 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484544 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 201480 [startup+1722.3 s] /proc/loadavg: 2.04 2.03 2.05 3/244 11397 /proc/meminfo: memFree=30235668/32770624 swapFree=5912/215528 [pid=11244] ppid=11241 vsize=201480 CPUtime=1721.65 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 255961 0 0 0 172150 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 5754048 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 201480 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.05 3/244 11398 /proc/meminfo: memFree=30235944/32770624 swapFree=5912/215568 [pid=11244] ppid=11241 vsize=201480 CPUtime=1781.62 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 256774 0 0 0 178147 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484558 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 201480 [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.05 3/244 11399 /proc/meminfo: memFree=30236192/32770624 swapFree=5912/215604 [pid=11244] ppid=11241 vsize=201480 CPUtime=1841.58 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 257587 0 0 0 184143 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484555 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 1841.58 Current children cumulated vsize (KiB) 201480 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11400 /proc/meminfo: memFree=30236980/32770624 swapFree=5912/215644 [pid=11244] ppid=11241 vsize=201480 CPUtime=1901.55 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 258400 0 0 0 190140 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484558 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 1901.55 Current children cumulated vsize (KiB) 201480 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11408 /proc/meminfo: memFree=30236628/32770624 swapFree=5912/215648 [pid=11244] ppid=11241 vsize=201480 CPUtime=1961.52 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 259213 0 0 0 196137 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484776 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 1961.52 Current children cumulated vsize (KiB) 201480 [startup+2022.3 s] /proc/loadavg: 2.06 2.03 2.05 3/243 11409 /proc/meminfo: memFree=30234216/32770624 swapFree=5912/215688 [pid=11244] ppid=11241 vsize=201480 CPUtime=2021.5 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 260026 0 0 0 202135 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4378209 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 2021.5 Current children cumulated vsize (KiB) 201480 [startup+2082.3 s] /proc/loadavg: 2.02 2.02 2.05 3/243 11410 /proc/meminfo: memFree=30234348/32770624 swapFree=5912/215720 [pid=11244] ppid=11241 vsize=201480 CPUtime=2081.49 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 260839 0 0 0 208134 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484558 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 2081.49 Current children cumulated vsize (KiB) 201480 [startup+2142.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 11411 /proc/meminfo: memFree=30234544/32770624 swapFree=5912/215780 [pid=11244] ppid=11241 vsize=201480 CPUtime=2141.45 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 261652 0 0 0 214130 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4463590 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 2141.45 Current children cumulated vsize (KiB) 201480 [startup+2202.31 s] /proc/loadavg: 2.04 2.03 2.05 3/243 11412 /proc/meminfo: memFree=30234620/32770624 swapFree=5912/215820 [pid=11244] ppid=11241 vsize=201480 CPUtime=2201.43 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 262465 0 0 0 220128 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484555 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 2201.43 Current children cumulated vsize (KiB) 201480 [startup+2262.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 11413 /proc/meminfo: memFree=30234540/32770624 swapFree=5912/215836 [pid=11244] ppid=11241 vsize=201480 CPUtime=2261.4 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 263278 0 0 0 226125 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4748233 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 2261.4 Current children cumulated vsize (KiB) 201480 [startup+2322.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 11414 /proc/meminfo: memFree=30234340/32770624 swapFree=5912/215868 [pid=11244] ppid=11241 vsize=201480 CPUtime=2321.36 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 264091 0 0 0 232121 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484558 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 2321.36 Current children cumulated vsize (KiB) 201480 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11415 /proc/meminfo: memFree=30235152/32770624 swapFree=5912/215924 [pid=11244] ppid=11241 vsize=201480 CPUtime=2381.34 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 264904 0 0 0 238119 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484555 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 2381.34 Current children cumulated vsize (KiB) 201480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11415 /proc/meminfo: memFree=30235136/32770624 swapFree=5912/215932 [pid=11244] ppid=11241 vsize=201480 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14 /proc/11244/stat : 11244 (MistralXCSP) R 11241 11244 9838 0 -1 4202496 265717 0 0 0 239988 15 0 0 20 0 1 0 1134846 206315520 44071 33554432000 4194304 7402444 140735218059584 140735218054600 4484558 0 0 4096 16386 0 0 0 17 8 0 0 0 0 0 9500608 9505824 31608832 140735218062505 140735218062654 140735218062654 140735218065353 0 /proc/11244/statm: 50370 44071 711 784 0 43384 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 201480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11244 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2401 CPU time (s): 2400.04 CPU user time (s): 2399.88 CPU system time (s): 0.15294 CPU usage (%): 99.9598 Max. virtual memory (cumulated for all children) (KiB): 201480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.88 system time used= 0.15294 maximum resident set size= 176316 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 265760 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= 54 involuntary context switches= 120723 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.31984 second user time and 11.8238 second system time The end
Begin job on node102 at 2017-07-21 19:37:28 IDJOB=4242680 IDBENCH=135904 IDSOLVER=2622 FILE ID=node102/4242680-1500658648 RUNJOBID= node102-1500648178-9871 PBS_JOBID= 20623312 Free space on /tmp= 61880 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-05.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242680-1500658648/watcher-4242680-1500658648 -o /tmp/evaluation-result-4242680-1500658648/solver-4242680-1500658648 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500648178-9871 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 795757922 HOME/instance-4242680-1500658648.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 8c67453fb3d985d7ef69f755cd1f1510 RANDOM SEED=795757922 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.40 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32000616 kB MemAvailable: 32026996 kB Buffers: 35800 kB Cached: 299244 kB SwapCached: 0 kB Active: 170964 kB Inactive: 222920 kB Active(anon): 61916 kB Inactive(anon): 8588 kB Active(file): 109048 kB Inactive(file): 214332 kB Unevictable: 5912 kB Mlocked: 5912 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5840 kB Writeback: 0 kB AnonPages: 65320 kB Mapped: 31648 kB Shmem: 8852 kB Slab: 69436 kB SReclaimable: 37672 kB SUnreclaim: 31764 kB KernelStack: 4224 kB PageTables: 4688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 331028 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61876 MiB End job on node102 at 2017-07-21 20:17:29