Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2017-07-28 | SAT (TO) | 460 | 2519.96 | 2520 |
| 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.16 c 280717 0.23/0.48 o 2089 0.23/0.48 o 2055 0.23/0.48 o 2043 0.23/0.48 o 2033 0.23/0.48 o 2013 0.23/0.48 o 2007 0.23/0.48 o 1998 0.23/0.48 o 1990 0.23/0.48 o 1984 0.23/0.48 o 1969 0.23/0.48 o 1960 0.23/0.48 o 1959 0.23/0.48 o 1957 0.44/0.61 o 1956 0.44/0.61 o 1947 0.54/0.73 o 1942 0.54/0.73 o 1939 0.54/0.73 o 1934 0.54/0.73 o 1933 0.64/0.85 o 1912 0.64/0.85 o 1911 0.64/0.85 o 1908 0.74/0.98 o 1903 0.74/0.98 o 1893 0.74/0.98 o 1882 0.74/0.98 o 1878 0.74/0.98 o 1876 0.74/0.98 o 1875 0.74/0.98 o 1873 0.74/0.98 o 1821 0.84/1.10 o 1788 0.84/1.10 o 1787 1.04/1.23 o 1786 1.04/1.23 o 1785 1.04/1.23 o 1776 1.04/1.23 o 1773 1.04/1.23 o 1772 1.04/1.23 o 1771 1.04/1.23 o 1769 1.04/1.23 o 1767 1.14/1.35 o 1766 1.14/1.35 o 1765 1.14/1.35 o 1764 1.14/1.36 o 1756 1.14/1.36 o 1752 1.14/1.36 o 1751 1.14/1.36 o 1749 1.24/1.49 o 1748 1.24/1.49 o 1746 1.24/1.49 o 1745 1.24/1.49 o 1734 1.24/1.49 o 1725 1.44/1.61 o 1724 1.44/1.61 o 1721 1.44/1.61 o 1713 1.44/1.61 o 1712 1.44/1.61 o 1710 1.44/1.61 o 1708 1.44/1.61 o 1706 1.44/1.61 o 1702 1.53/1.73 o 1683 1.53/1.73 o 1682 1.53/1.73 o 1681 1.53/1.73 o 1678 1.53/1.73 o 1646 1.53/1.73 o 1635 1.53/1.73 o 1628 1.53/1.73 o 1626 1.53/1.73 o 1624 1.53/1.73 o 1621 1.63/1.86 o 1618 1.63/1.86 o 1579 1.63/1.86 o 1555 1.63/1.87 o 1507 1.73/1.98 o 1506 1.73/1.99 o 1503 1.73/1.99 o 1502 1.73/1.99 o 1501 1.73/1.99 o 1492 1.73/1.99 o 1463 1.73/1.99 o 1458 1.73/1.99 o 1456 1.93/2.11 o 1438 1.93/2.11 o 1429 1.93/2.11 o 1421 1.93/2.11 o 1396 1.93/2.11 o 1378 1.93/2.11 o 1376 1.93/2.11 o 1375 1.93/2.11 o 1371 1.93/2.11 o 1364 1.93/2.11 o 1361 1.93/2.12 o 1347 1.93/2.12 o 1346 2.14/2.38 o 1340 2.14/2.38 o 1339 2.43/2.68 o 1324 2.43/2.68 o 1310 2.43/2.68 o 1303 2.63/2.80 o 1302 2.63/2.80 o 1301 2.63/2.82 o 1276 2.63/2.82 o 1264 2.63/2.82 o 1261 2.73/2.94 o 1255 2.73/2.94 o 1249 2.73/2.94 o 1248 2.73/2.94 o 1244 2.73/2.94 o 1235 2.83/3.06 o 1231 2.83/3.06 o 1217 2.93/3.18 o 1206 2.93/3.19 o 1204 3.14/3.32 o 1200 3.24/3.47 o 1198 3.33/3.59 o 1180 3.33/3.59 o 1179 3.53/3.72 o 1177 3.53/3.72 o 1176 3.63/3.85 o 1175 3.63/3.85 o 1169 3.63/3.86 o 1161 3.93/4.11 o 1160 4.03/4.24 o 1158 4.03/4.25 o 1156 4.03/4.25 o 1155 4.03/4.25 o 1154 4.03/4.26 o 1153 4.24/4.43 o 1152 4.34/4.56 o 1149 4.73/4.92 o 1148 4.83/5.04 o 1137 4.83/5.04 o 1134 4.83/5.04 o 1131 4.83/5.04 o 1128 4.83/5.04 o 1126 4.93/5.18 o 1124 5.23/5.44 o 1123 5.34/5.55 o 1122 5.34/5.56 o 1120 5.53/5.71 o 1117 5.63/5.84 o 1116 5.63/5.84 o 1114 5.83/6.09 o 1113 6.03/6.22 o 1112 6.13/6.33 o 1106 6.44/6.61 o 1101 6.44/6.62 o 1100 6.44/6.62 o 1095 6.44/6.65 o 1093 6.54/6.77 o 1090 6.63/6.89 o 1089 6.73/6.90 o 1079 6.83/7.02 o 1077 7.23/7.41 o 1076 7.33/7.54 o 1075 7.64/7.81 o 1070 7.64/7.81 o 1068 7.73/7.94 o 1062 7.73/7.94 o 1061 7.93/8.19 o 1057 7.93/8.19 o 1056 7.93/8.19 o 1054 7.93/8.19 o 1053 8.23/8.44 o 1050 8.43/8.62 o 1048 8.83/9.03 o 1045 9.13/9.31 o 1043 9.33/9.55 o 1036 9.33/9.55 o 1035 9.33/9.55 o 1034 9.43/9.68 o 1030 9.63/9.81 o 1028 9.84/10.06 o 1027 10.03/10.20 o 1024 10.03/10.20 o 1021 10.03/10.21 o 1019 10.33/10.59 o 1018 10.33/10.59 o 1016 10.33/10.59 o 1015 10.33/10.59 o 1013 10.33/10.59 o 1012 10.33/10.59 o 1010 10.33/10.59 o 1002 10.33/10.59 o 999 10.33/10.59 o 998 10.53/10.72 o 990 10.53/10.72 o 988 10.63/10.84 o 987 10.73/10.96 o 986 10.73/10.97 o 978 10.73/10.98 o 977 10.73/10.98 o 976 10.94/11.11 o 975 10.94/11.13 o 968 10.94/11.13 o 967 11.23/11.42 o 960 11.23/11.42 o 959 11.33/11.54 o 956 11.33/11.55 o 954 11.43/11.68 o 952 11.73/11.93 o 950 11.83/12.07 o 940 11.83/12.07 o 937 11.83/12.09 o 936 11.83/12.09 o 935 12.13/12.34 o 934 12.23/12.46 o 933 12.63/12.86 o 930 12.63/12.86 o 929 12.63/12.86 o 926 12.63/12.86 o 925 12.74/12.99 o 923 13.14/13.38 o 915 13.44/13.60 o 905 13.44/13.60 o 904 13.44/13.60 o 900 14.04/14.24 o 899 14.53/14.79 o 898 14.73/14.92 o 897 14.73/14.92 o 891 14.83/15.04 o 871 14.83/15.05 o 867 14.93/15.19 o 866 15.24/15.44 o 855 15.24/15.44 o 850 15.53/15.75 o 849 15.53/15.75 o 848 15.53/15.75 o 841 15.53/15.75 o 839 15.63/15.87 o 838 15.93/16.13 o 837 15.93/16.14 o 830 16.23/16.40 o 825 16.23/16.40 o 823 17.23/17.48 o 822 17.23/17.48 o 816 17.33/17.50 o 815 17.54/17.71 o 813 18.13/18.36 o 809 18.13/18.37 o 807 18.23/18.41 o 806 18.73/18.91 o 803 19.53/19.70 o 802 20.03/20.24 o 800 20.53/20.77 o 797 20.63/20.87 o 796 20.74/20.99 o 794 20.74/20.99 o 793 21.23/21.48 o 788 21.43/21.62 o 787 21.53/21.76 o 781 21.53/21.76 o 780 22.63/22.82 o 779 22.63/22.82 o 778 22.63/22.85 o 773 24.24/24.46 o 772 24.94/25.14 o 769 24.94/25.14 o 768 25.04/25.29 o 765 25.04/25.29 o 763 25.04/25.29 o 759 25.04/25.29 o 757 25.04/25.29 o 754 25.04/25.29 o 753 25.04/25.29 o 752 25.04/25.29 o 750 26.24/26.46 o 748 27.04/27.21 o 747 27.04/27.22 o 745 27.04/27.22 o 744 27.14/27.34 o 743 27.14/27.34 o 741 27.14/27.34 o 739 27.14/27.35 o 738 27.14/27.35 o 737 28.04/28.20 o 734 28.24/28.48 o 733 28.24/28.48 o 730 28.84/29.01 o 728 28.94/29.14 o 727 28.94/29.14 o 716 29.34/29.52 o 714 29.34/29.52 o 713 29.34/29.52 o 711 29.54/29.79 o 707 29.93/30.12 o 706 30.64/30.88 o 705 31.43/31.66 o 704 31.93/32.16 o 698 33.63/33.80 o 697 33.83/34.05 o 695 35.33/35.58 o 693 36.34/36.59 o 689 41.53/41.72 o 687 42.53/42.79 o 686 43.03/43.27 o 674 44.23/44.46 o 673 48.23/48.45 o 672 48.23/48.46 o 665 49.33/49.55 o 663 49.72/49.92 o 657 49.72/49.92 o 655 49.72/49.92 o 650 50.02/50.28 o 648 51.12/51.36 o 644 51.12/51.36 o 642 52.02/52.26 o 641 52.02/52.26 o 637 52.02/52.26 o 636 54.12/54.30 o 634 55.12/55.33 o 627 55.12/55.34 o 626 55.12/55.35 o 622 55.12/55.36 o 621 59.52/59.75 o 615 59.52/59.75 o 614 59.82/60.03 o 598 59.92/60.14 o 597 59.92/60.14 o 595 59.92/60.14 o 593 60.22/60.47 o 592 60.32/60.60 o 588 60.82/61.03 o 585 60.82/61.03 o 584 61.22/61.49 o 579 61.32/61.50 o 578 62.02/62.21 o 577 63.12/63.37 o 575 63.82/64.00 o 573 64.32/64.58 o 571 64.32/64.58 o 570 66.22/66.47 o 567 66.22/66.47 o 564 67.82/68.01 o 562 68.22/68.42 o 558 82.11/82.30 o 556 83.81/84.06 o 555 88.01/88.29 o 554 88.31/88.52 o 551 88.61/88.88 o 549 89.01/89.23 o 546 89.11/89.34 o 543 92.80/93.09 o 542 93.20/93.46 o 537 96.00/96.26 o 536 96.10/96.37 o 535 98.10/98.32 o 534 103.40/103.63 o 532 111.70/111.99 o 530 111.70/111.99 o 523 115.20/115.40 o 522 117.60/117.80 o 520 117.60/117.80 o 514 117.60/117.81 o 513 118.89/119.14 o 511 120.99/121.22 o 510 124.19/124.41 o 507 124.89/125.15 o 505 164.89/165.15 o 504 198.39/198.66 o 502 198.39/198.68 o 501 250.79/251.10 o 500 257.59/257.89 o 499 311.20/311.47 o 498 311.20/311.47 o 497 311.20/311.47 o 495 311.20/311.47 o 494 323.20/323.46 o 493 323.20/323.46 o 490 323.20/323.46 o 489 324.19/324.44 o 487 326.19/326.41 o 486 326.19/326.41 o 479 329.29/329.56 o 478 340.19/340.49 o 477 340.19/340.49 o 476 340.19/340.49 o 475 377.10/377.37 o 473 377.10/377.37 o 470 377.10/377.37 o 469 379.20/379.41 o 468 379.20/379.41 o 467 380.30/380.59 o 466 388.60/388.88 o 463 406.50/406.78 o 462 432.00/432.28 o 461 486.90/487.17 o 460 2519.95/2520.00 s SATISFIABLE 2519.95/2520.00 v <instantiation type="solution"> 2519.95/2520.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> 2519.95/2520.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> 2519.95/2520.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-4261201-1502389095/watcher-4261201-1502389095 -o /tmp/evaluation-result-4261201-1502389095/solver-4261201-1502389095 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31366 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1681223941 HOME/instance-4261201-1502389095.xml pid=9538 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.08 2.03 2.05 2/185 9541 /proc/meminfo: memFree=31176244/32770624 swapFree=0/452132 [pid=9541] ppid=9538 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/9541/stat : 9541 (runsolver) D 9538 9541 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 80820626 24240128 106 18446744073709551615 4194304 4338465 140721074972912 140721074970552 140371284890327 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 30703616 140721074974858 140721074975305 140721074975305 140721074978762 0 /proc/9541/statm: 5918 106 53 36 0 2156 0 [startup+0.100155 s] /proc/loadavg: 2.08 2.03 2.05 2/185 9541 /proc/meminfo: memFree=31176244/32770624 swapFree=0/452132 [pid=9541] ppid=9538 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/9541/stat : 9541 (runsolver) D 9538 9541 9153 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 80820626 24240128 106 18446744073709551615 4194304 4338465 140721074972912 140721074970552 140371284890327 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 30703616 140721074974858 140721074975305 140721074975305 140721074978762 0 /proc/9541/statm: 5918 106 53 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.200321 s] /proc/loadavg: 2.08 2.03 2.05 2/185 9541 /proc/meminfo: memFree=31176244/32770624 swapFree=0/452132 [pid=9541] ppid=9538 vsize=30804 CPUtime=0.04 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 1504 0 0 0 4 0 0 0 20 0 1 0 80820626 31543296 1254 18446744073709551615 4194304 7396336 140727146674032 140727146671032 140595351964645 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 7701 1254 648 782 0 717 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 30804 [startup+0.300279 s] /proc/loadavg: 2.08 2.03 2.05 2/185 9541 /proc/meminfo: memFree=31176244/32770624 swapFree=0/452132 [pid=9541] ppid=9538 vsize=102672 CPUtime=0.14 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 19460 0 0 0 12 2 0 0 20 0 1 0 80820626 105136128 19206 18446744073709551615 4194304 7396336 140727146674032 140727146671032 140595351960382 0 0 1 0 0 0 0 17 3 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 25668 19206 650 782 0 18684 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 102672 [startup+0.700317 s] /proc/loadavg: 2.08 2.03 2.05 2/185 9541 /proc/meminfo: memFree=31176244/32770624 swapFree=0/452132 [pid=9541] ppid=9538 vsize=170188 CPUtime=0.54 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 34948 0 0 0 50 4 0 0 20 0 1 0 80820626 174272512 36237 18446744073709551615 4194304 7396336 140727146674032 140727146668568 4542519 0 0 1 16386 0 0 0 17 3 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 42547 36237 697 782 0 35563 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 170188 [startup+1.50032 s] /proc/loadavg: 2.08 2.03 2.05 3/186 9542 /proc/meminfo: memFree=31026356/32770624 swapFree=0/452108 [pid=9541] ppid=9538 vsize=181012 CPUtime=1.34 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 37647 0 0 0 130 4 0 0 20 0 1 0 80820626 185356288 38943 18446744073709551615 4194304 7396336 140727146674032 140727146669048 4547381 0 0 1 16386 0 0 0 17 3 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 45253 38943 697 782 0 38269 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 181012 [startup+3.10032 s] /proc/loadavg: 2.08 2.03 2.05 3/186 9542 /proc/meminfo: memFree=31019492/32770624 swapFree=0/452124 [pid=9541] ppid=9538 vsize=186820 CPUtime=2.93 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 39081 0 0 0 289 4 0 0 20 0 1 0 80820626 191303680 40329 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792030 0 0 1 16386 0 0 0 17 3 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 46705 40329 697 782 0 39721 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 186820 [startup+6.30029 s] /proc/loadavg: 1.99 2.01 2.04 3/186 9542 /proc/meminfo: memFree=31012364/32770624 swapFree=0/452124 [pid=9541] ppid=9538 vsize=191836 CPUtime=6.13 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 103707 0 0 0 606 7 0 0 20 0 1 0 80820626 196440064 41583 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792030 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 47959 41583 697 782 0 40975 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 191836 [startup+12.7003 s] /proc/loadavg: 1.99 2.01 2.04 3/186 9542 /proc/meminfo: memFree=31006916/32770624 swapFree=0/452120 [pid=9541] ppid=9538 vsize=196456 CPUtime=12.53 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 137903 0 0 0 1245 8 0 0 20 0 1 0 80820626 201170944 42791 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792219 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 49114 42791 697 782 0 42130 0 Current children cumulated CPU time (s) 12.53 Current children cumulated vsize (KiB) 196456 [startup+25.5004 s] /proc/loadavg: 1.99 2.01 2.04 3/186 9543 /proc/meminfo: memFree=31004312/32770624 swapFree=0/452120 [pid=9541] ppid=9538 vsize=199228 CPUtime=25.34 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 206733 0 0 0 2522 12 0 0 20 0 1 0 80820626 204009472 43479 18446744073709551615 4194304 7396336 140727146674032 140727146669048 4253024 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 49807 43479 697 782 0 42823 0 Current children cumulated CPU time (s) 25.34 Current children cumulated vsize (KiB) 199228 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 2.04 3/186 9543 /proc/meminfo: memFree=31002200/32770624 swapFree=0/452108 [pid=9541] ppid=9538 vsize=200812 CPUtime=50.92 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 238093 0 0 0 5079 13 0 0 20 0 1 0 80820626 205631488 43886 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792027 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50203 43886 697 782 0 43219 0 Current children cumulated CPU time (s) 50.92 Current children cumulated vsize (KiB) 200812 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.04 3/187 9546 /proc/meminfo: memFree=31001728/32770624 swapFree=0/452104 [pid=9541] ppid=9538 vsize=201340 CPUtime=102.11 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 262911 0 0 0 10196 15 0 0 20 0 1 0 80820626 206172160 44022 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792239 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50335 44022 698 782 0 43351 0 Current children cumulated CPU time (s) 102.11 Current children cumulated vsize (KiB) 201340 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/186 9548 /proc/meminfo: memFree=31002044/32770624 swapFree=0/452108 [pid=9541] ppid=9538 vsize=201472 CPUtime=162.08 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 270341 0 0 0 16193 15 0 0 20 0 1 0 80820626 206307328 44039 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5686123 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44039 698 782 0 43384 0 Current children cumulated CPU time (s) 162.08 Current children cumulated vsize (KiB) 201472 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.04 3/186 9550 /proc/meminfo: memFree=31002136/32770624 swapFree=0/452116 [pid=9541] ppid=9538 vsize=201472 CPUtime=222.09 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 271097 0 0 0 22194 15 0 0 20 0 1 0 80820626 206307328 44054 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792030 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44054 698 782 0 43384 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 201472 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/186 9552 /proc/meminfo: memFree=31001724/32770624 swapFree=0/452136 [pid=9541] ppid=9538 vsize=201472 CPUtime=282.09 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 271098 0 0 0 28194 15 0 0 20 0 1 0 80820626 206307328 44054 18446744073709551615 4194304 7396336 140727146674032 140727146669048 4581738 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44054 698 782 0 43384 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 201472 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/189 9568 /proc/meminfo: memFree=30997552/32770624 swapFree=0/452136 [pid=9541] ppid=9538 vsize=201472 CPUtime=342.09 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 271854 0 0 0 34194 15 0 0 20 0 1 0 80820626 206307328 44055 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792027 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44055 698 782 0 43384 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 201472 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.04 3/188 9571 /proc/meminfo: memFree=30997660/32770624 swapFree=0/452172 [pid=9541] ppid=9538 vsize=201472 CPUtime=402.1 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 271855 0 0 0 40195 15 0 0 20 0 1 0 80820626 206307328 44055 18446744073709551615 4194304 7396336 140727146674032 140727146669048 4317294 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44055 698 782 0 43384 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 201472 [startup+462.3 s] /proc/loadavg: 2.08 2.03 2.05 3/185 9573 /proc/meminfo: memFree=31001192/32770624 swapFree=0/452188 [pid=9541] ppid=9538 vsize=201472 CPUtime=462.1 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 272612 0 0 0 46195 15 0 0 20 0 1 0 80820626 206307328 44057 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792074 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44057 698 782 0 43384 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 201472 [startup+522.3 s] /proc/loadavg: 2.03 2.02 2.05 3/185 9575 /proc/meminfo: memFree=31001200/32770624 swapFree=0/452204 [pid=9541] ppid=9538 vsize=201472 CPUtime=522.11 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 272613 0 0 0 52196 15 0 0 20 0 1 0 80820626 206307328 44057 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792070 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44057 698 782 0 43384 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 201472 [startup+582.3 s] /proc/loadavg: 2.13 2.05 2.05 3/186 9578 /proc/meminfo: memFree=31001812/32770624 swapFree=0/452220 [pid=9541] ppid=9538 vsize=201472 CPUtime=582.12 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 273360 0 0 0 58196 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 4252992 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 201472 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.06 2.03 2.05 3/190 9648 /proc/meminfo: memFree=30997056/32770624 swapFree=0/452440 [pid=9541] ppid=9538 vsize=201472 CPUtime=1602.19 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 279336 0 0 0 160203 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 4252880 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 1602.19 Current children cumulated vsize (KiB) 201472 [startup+1662.3 s] /proc/loadavg: 2.06 2.04 2.05 3/187 9713 /proc/meminfo: memFree=30871508/32770624 swapFree=0/452452 [pid=9541] ppid=9538 vsize=201472 CPUtime=1662.19 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 280083 0 0 0 166203 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 4547381 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 1662.19 Current children cumulated vsize (KiB) 201472 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 9715 /proc/meminfo: memFree=30872004/32770624 swapFree=0/452464 [pid=9541] ppid=9538 vsize=201472 CPUtime=1722.2 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 280083 0 0 0 172204 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5685784 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 1722.2 Current children cumulated vsize (KiB) 201472 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 9717 /proc/meminfo: memFree=30871364/32770624 swapFree=0/452472 [pid=9541] ppid=9538 vsize=201472 CPUtime=1782.2 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 280830 0 0 0 178204 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792030 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 1782.2 Current children cumulated vsize (KiB) 201472 [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.05 3/186 9720 /proc/meminfo: memFree=30870744/32770624 swapFree=0/452484 [pid=9541] ppid=9538 vsize=201472 CPUtime=1842.21 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 280830 0 0 0 184205 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792030 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 1842.21 Current children cumulated vsize (KiB) 201472 [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.05 3/185 9722 /proc/meminfo: memFree=30871268/32770624 swapFree=0/452492 [pid=9541] ppid=9538 vsize=201472 CPUtime=1902.21 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 281577 0 0 0 190205 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792030 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 1902.21 Current children cumulated vsize (KiB) 201472 [startup+1962.3 s] /proc/loadavg: 2.04 2.03 2.05 3/185 9724 /proc/meminfo: memFree=30871284/32770624 swapFree=0/452500 [pid=9541] ppid=9538 vsize=201472 CPUtime=1962.21 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 281577 0 0 0 196205 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 4249495 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 1962.21 Current children cumulated vsize (KiB) 201472 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/186 9727 /proc/meminfo: memFree=30871376/32770624 swapFree=0/452516 [pid=9541] ppid=9538 vsize=201472 CPUtime=2022.22 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 282324 0 0 0 202206 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792027 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 2022.22 Current children cumulated vsize (KiB) 201472 [startup+2082.3 s] /proc/loadavg: 2.01 2.02 2.05 3/186 9729 /proc/meminfo: memFree=30871128/32770624 swapFree=0/452532 [pid=9541] ppid=9538 vsize=201472 CPUtime=2082.23 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 282324 0 0 0 208207 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792030 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 2082.23 Current children cumulated vsize (KiB) 201472 [startup+2142.3 s] /proc/loadavg: 2.05 2.03 2.05 3/189 9740 /proc/meminfo: memFree=30867340/32770624 swapFree=0/452544 [pid=9541] ppid=9538 vsize=201472 CPUtime=2142.23 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 283071 0 0 0 214207 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792074 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 2142.23 Current children cumulated vsize (KiB) 201472 [startup+2202.31 s] /proc/loadavg: 2.02 2.02 2.05 3/189 9747 /proc/meminfo: memFree=30867012/32770624 swapFree=0/452556 [pid=9541] ppid=9538 vsize=201472 CPUtime=2202.24 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 283071 0 0 0 220208 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792030 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 2202.24 Current children cumulated vsize (KiB) 201472 [startup+2262.3 s] /proc/loadavg: 2.21 2.07 2.06 3/186 9749 /proc/meminfo: memFree=30869736/32770624 swapFree=0/452556 [pid=9541] ppid=9538 vsize=201472 CPUtime=2262.23 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 283818 0 0 0 226207 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5685066 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 2262.23 Current children cumulated vsize (KiB) 201472 [startup+2322.3 s] /proc/loadavg: 2.08 2.05 2.05 3/185 9751 /proc/meminfo: memFree=30870020/32770624 swapFree=0/452572 [pid=9541] ppid=9538 vsize=201472 CPUtime=2322.24 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 283818 0 0 0 232208 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 4257799 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 2322.24 Current children cumulated vsize (KiB) 201472 [startup+2382.3 s] /proc/loadavg: 2.03 2.04 2.05 3/185 9754 /proc/meminfo: memFree=30869628/32770624 swapFree=0/452576 [pid=9541] ppid=9538 vsize=201472 CPUtime=2382.24 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 284565 0 0 0 238208 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5685040 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 2382.24 Current children cumulated vsize (KiB) 201472 [startup+2442.3 s] /proc/loadavg: 2.01 2.04 2.05 3/185 9756 /proc/meminfo: memFree=30869876/32770624 swapFree=0/452584 [pid=9541] ppid=9538 vsize=201472 CPUtime=2442.25 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 284565 0 0 0 244209 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 4547381 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 2442.25 Current children cumulated vsize (KiB) 201472 [startup+2502.3 s] /proc/loadavg: 2.05 2.04 2.05 3/186 9759 /proc/meminfo: memFree=30870240/32770624 swapFree=0/452596 [pid=9541] ppid=9538 vsize=201472 CPUtime=2502.25 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 285312 0 0 0 250209 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5772798 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 2502.25 Current children cumulated vsize (KiB) 201472 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.04 2.04 2.05 3/186 9760 /proc/meminfo: memFree=30869976/32770624 swapFree=0/452596 [pid=9541] ppid=9538 vsize=201472 CPUtime=2519.95 cores=1,3,5,7 /proc/9541/stat : 9541 (MistralXCSP) R 9538 9541 9153 0 -1 4202496 285312 0 0 0 251979 16 0 0 20 0 1 0 80820626 206307328 44058 18446744073709551615 4194304 7396336 140727146674032 140727146669048 5792027 0 0 1 16386 0 0 0 17 1 0 0 15 0 0 9496464 9501696 37642240 140727146680754 140727146680904 140727146680904 140727146684361 0 /proc/9541/statm: 50368 44058 698 782 0 43384 0 Current children cumulated CPU time (s) 2519.95 Current children cumulated vsize (KiB) 201472 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 9541 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2519.96 CPU user time (s): 2519.8 CPU system time (s): 0.165011 CPU usage (%): 99.9984 Max. virtual memory (cumulated for all children) (KiB): 201472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.8 system time used= 0.165011 maximum resident set size= 176260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 285351 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= 80 involuntary context switches= 767 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.85917 second user time and 10.6373 second system time The end
Begin job on node135 at 2017-08-10 20:04:20 IDJOB=4261201 IDBENCH=135904 IDSOLVER=2649 FILE ID=node135/4261201-1502389095 RUNJOBID= node135-1502330739-31366 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-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-4261201-1502389095/watcher-4261201-1502389095 -o /tmp/evaluation-result-4261201-1502389095/solver-4261201-1502389095 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502330739-31366 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1681223941 HOME/instance-4261201-1502389095.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c67453fb3d985d7ef69f755cd1f1510 RANDOM SEED=1681223941 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31176244 kB MemAvailable: 31929020 kB Buffers: 277920 kB Cached: 767260 kB SwapCached: 0 kB Active: 669832 kB Inactive: 485272 kB Active(anon): 110240 kB Inactive(anon): 33140 kB Active(file): 559592 kB Inactive(file): 452132 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5868 kB Writeback: 4 kB AnonPages: 109876 kB Mapped: 49400 kB Shmem: 33464 kB Slab: 140780 kB SReclaimable: 113772 kB SUnreclaim: 27008 kB KernelStack: 3296 kB PageTables: 4684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 377416 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 55296 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62020 MiB End job on node135 at 2017-08-10 20:46:20