Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Parallel with EPS 2018-07-02 | SAT (TO) | 11359 | 20054.7 | 2520.34 |
| Name | SumColoring/ SumColoring-dsjc-125-9_c18.xml |
| MD5SUM | fde90c264558af66570e1c8b29991738 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2709 |
| Best CPU time to get the best result obtained on this benchmark | 19333 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 125 |
| Number of constraints | 6961 |
| Number of domains | 1 |
| Minimum domain size | 125 |
| Maximum domain size | 125 |
| Distribution of domain sizes | [{"size":125,"count":125}] |
| Minimum variable degree | 104 |
| Maximum variable degree | 121 |
| Distribution of variable degrees | [{"degree":104,"count":2},{"degree":105,"count":1},{"degree":106,"count":1},{"degree":107,"count":3},{"degree":108,"count":8},{"degree":109,"count":10},{"degree":110,"count":9},{"degree":111,"count":16},{"degree":112,"count":13},{"degree":113,"count":18},{"degree":114,"count":11},{"degree":115,"count":8},{"degree":116,"count":12},{"degree":117,"count":7},{"degree":118,"count":4},{"degree":119,"count":1},{"degree":121,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":6961}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 6961 |
| Distribution of constraint types | [{"type":"intension","count":6961}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.66/0.56 c version: 2018-07-02 0.99/0.77 c seed: 132678146 0.99/0.77 c timeout: 20160 0.99/0.77 c memlimit: 22000 0.99/0.77 c nbcore: 8 0.99/0.77 c Parsing instance... 3.89/1.51 c Parsing done, starting search... 14.04/4.95 o 12282 14.04/4.95 o 12242 14.04/4.95 o 12230 14.04/4.95 o 12229 14.04/4.95 o 12228 14.04/4.95 o 12227 14.04/4.95 o 12226 14.04/4.95 o 12225 14.04/4.95 o 12224 14.04/4.95 o 12223 14.04/4.95 o 12222 14.04/4.97 o 12221 14.04/4.97 o 12220 14.04/4.97 o 12219 14.04/4.97 o 12218 14.04/4.97 o 12217 14.04/4.97 o 12216 14.04/4.97 o 12215 14.04/4.97 o 12214 14.04/4.97 o 12213 14.04/4.97 o 12212 14.04/4.97 o 12211 14.04/4.98 o 12210 14.04/4.98 o 12209 14.04/4.99 o 12208 14.04/4.99 o 12207 14.04/4.99 o 12206 14.04/4.99 o 12205 14.04/4.99 o 12204 14.04/5.00 o 12203 14.04/5.00 o 12202 14.04/5.00 o 12201 14.04/5.00 o 12200 14.04/5.00 o 12199 14.04/5.00 o 12198 14.04/5.00 o 12197 14.78/5.01 o 12196 14.78/5.01 o 12195 14.78/5.01 o 12194 14.78/5.01 o 12193 14.78/5.02 o 12192 14.78/5.02 o 12191 14.78/5.02 o 12190 14.78/5.02 o 12189 14.78/5.02 o 12188 14.78/5.02 o 12187 14.78/5.02 o 12186 14.78/5.02 o 12185 14.78/5.02 o 12184 14.78/5.02 o 12183 14.78/5.02 o 12182 14.78/5.02 o 12181 14.78/5.02 o 12180 14.78/5.02 o 12179 14.78/5.02 o 12178 14.78/5.02 o 12177 14.78/5.02 o 12176 14.78/5.02 o 12175 14.78/5.02 o 12174 14.78/5.02 o 12173 14.78/5.02 o 12172 14.78/5.02 o 12171 14.78/5.02 o 12170 14.78/5.02 o 12169 14.78/5.02 o 12168 14.78/5.02 o 12167 14.78/5.02 o 12166 14.78/5.02 o 12165 14.78/5.02 o 12164 14.78/5.02 o 12163 14.78/5.03 o 12162 14.78/5.03 o 12161 14.78/5.03 o 12160 14.78/5.03 o 12159 14.78/5.03 o 12158 14.78/5.03 o 12157 14.78/5.03 o 12156 14.78/5.03 o 12155 14.78/5.03 o 12154 14.78/5.04 o 12153 14.78/5.04 o 12152 14.78/5.04 o 12151 14.78/5.04 o 12150 14.78/5.04 o 12149 14.78/5.04 o 12148 14.78/5.04 o 12147 14.78/5.04 o 12146 14.78/5.04 o 12145 14.78/5.04 o 12144 14.78/5.04 o 12143 14.78/5.04 o 12142 14.78/5.04 o 12141 14.78/5.04 o 12140 14.78/5.04 o 12139 14.78/5.04 o 12138 14.78/5.04 o 12137 14.78/5.04 o 12136 14.78/5.04 o 12135 14.78/5.04 o 12134 14.78/5.04 o 12133 14.78/5.04 o 12132 14.78/5.04 o 12131 14.78/5.04 o 12130 14.78/5.05 o 12129 14.78/5.05 o 12128 14.78/5.05 o 12127 14.78/5.05 o 12126 14.78/5.05 o 12125 14.78/5.05 o 12124 14.78/5.05 o 12123 14.78/5.06 o 12122 14.78/5.06 o 12121 14.78/5.06 o 12120 14.78/5.06 o 12119 14.78/5.06 o 12118 14.78/5.06 o 12117 14.78/5.06 o 12116 14.78/5.06 o 12115 14.78/5.06 o 12114 14.78/5.06 o 12113 14.78/5.07 o 12112 14.78/5.07 o 12111 14.78/5.07 o 12110 14.78/5.07 o 12109 14.78/5.07 o 12108 14.78/5.07 o 12107 14.78/5.07 o 12106 14.78/5.07 o 12105 14.78/5.07 o 12104 14.78/5.07 o 12103 14.78/5.07 o 12102 14.78/5.07 o 12101 14.78/5.08 o 12100 14.78/5.08 o 12099 14.78/5.08 o 12098 14.78/5.08 o 12097 14.78/5.08 o 12096 14.78/5.08 o 12095 14.78/5.08 o 12094 14.78/5.08 o 12093 14.78/5.08 o 12092 14.78/5.08 o 12091 14.78/5.09 o 12090 14.78/5.09 o 12089 14.78/5.09 o 12088 14.78/5.09 o 12087 14.78/5.09 o 12086 14.78/5.09 o 12085 14.78/5.10 o 12084 14.78/5.10 o 12083 14.78/5.10 o 12082 14.78/5.10 o 12081 14.78/5.11 o 12080 14.78/5.11 o 12079 14.78/5.11 o 12078 14.78/5.11 o 12077 14.78/5.11 o 12076 14.78/5.11 o 12075 14.78/5.11 o 12074 14.78/5.11 o 12073 14.78/5.11 o 12072 14.78/5.11 o 12071 14.78/5.11 o 12070 14.78/5.11 o 12069 14.78/5.11 o 12068 14.78/5.11 o 12067 14.78/5.11 o 12066 14.78/5.11 o 12065 14.78/5.11 o 12064 14.78/5.11 o 12063 14.78/5.11 o 12062 15.61/5.12 o 12061 15.61/5.12 o 12060 15.61/5.12 o 12059 15.61/5.12 o 12058 15.61/5.12 o 12057 15.61/5.12 o 12056 15.61/5.12 o 12055 15.61/5.12 o 12054 15.61/5.12 o 12053 15.61/5.12 o 12052 15.61/5.12 o 12051 15.61/5.12 o 12050 15.61/5.12 o 12049 15.61/5.12 o 12048 15.61/5.12 o 12047 15.61/5.12 o 12046 15.61/5.12 o 12045 15.61/5.12 o 12044 15.61/5.12 o 12043 15.61/5.12 o 12042 15.61/5.13 o 12041 15.61/5.13 o 12040 15.61/5.13 o 12039 15.61/5.13 o 12038 15.61/5.13 o 12037 15.61/5.13 o 12036 15.61/5.13 o 12035 15.61/5.13 o 12034 15.61/5.13 o 12033 15.61/5.13 o 12032 15.61/5.13 o 12031 15.61/5.13 o 12030 15.61/5.13 o 12029 15.61/5.13 o 12028 15.61/5.13 o 12027 15.61/5.13 o 12026 15.61/5.13 o 12025 15.61/5.14 o 12024 15.61/5.14 o 12023 15.61/5.14 o 12022 15.61/5.15 o 12021 15.61/5.15 o 12020 15.61/5.15 o 12019 15.61/5.15 o 12018 15.61/5.15 o 12017 15.61/5.15 o 12016 15.61/5.15 o 12015 15.61/5.15 o 12014 15.61/5.15 o 12013 15.61/5.15 o 12012 15.61/5.16 o 12011 15.61/5.16 o 12010 15.61/5.16 o 12009 15.61/5.16 o 12008 15.61/5.16 o 12007 15.61/5.16 o 12006 15.61/5.16 o 12005 15.61/5.16 o 12004 15.61/5.17 o 12003 15.61/5.17 o 12002 15.61/5.17 o 12001 15.61/5.17 o 12000 15.61/5.17 o 11999 15.61/5.17 o 11998 15.61/5.17 o 11997 15.61/5.17 o 11996 15.61/5.17 o 11995 15.61/5.17 o 11994 15.61/5.18 o 11993 15.61/5.18 o 11992 15.61/5.18 o 11991 15.61/5.18 o 11990 15.61/5.18 o 11989 15.61/5.18 o 11988 15.61/5.18 o 11987 15.61/5.18 o 11986 15.61/5.18 o 11985 15.61/5.20 o 11984 15.61/5.20 o 11983 15.61/5.20 o 11982 15.61/5.20 o 11981 15.61/5.20 o 11980 15.61/5.20 o 11979 16.31/5.21 o 11978 16.31/5.21 o 11977 16.31/5.21 o 11976 16.31/5.21 o 11975 16.31/5.21 o 11974 16.31/5.21 o 11973 16.31/5.21 o 11972 16.31/5.21 o 11971 16.31/5.21 o 11970 16.31/5.21 o 11969 16.31/5.21 o 11968 16.31/5.21 o 11967 16.31/5.21 o 11966 16.31/5.21 o 11965 16.31/5.21 o 11964 16.31/5.21 o 11963 16.31/5.22 o 11962 16.31/5.22 o 11961 16.31/5.22 o 11960 16.31/5.22 o 11959 16.31/5.22 o 11958 16.31/5.22 o 11957 16.31/5.22 o 11956 16.31/5.22 o 11955 16.31/5.22 o 11954 16.31/5.22 o 11953 16.31/5.23 o 11952 16.31/5.23 o 11951 16.31/5.23 o 11950 16.31/5.23 o 11949 16.31/5.23 o 11948 16.31/5.23 o 11947 16.31/5.24 o 11946 16.31/5.25 o 11945 16.31/5.25 o 11944 16.31/5.25 o 11943 16.31/5.25 o 11942 16.31/5.25 o 11941 16.31/5.25 o 11940 16.31/5.25 o 11939 16.31/5.25 o 11938 16.31/5.25 o 11937 16.31/5.25 o 11936 16.31/5.25 o 11935 16.31/5.25 o 11934 16.31/5.25 o 11933 16.31/5.25 o 11932 16.31/5.25 o 11931 16.31/5.25 o 11930 16.31/5.25 o 11929 16.31/5.25 o 11928 16.31/5.25 o 11927 16.31/5.25 o 11926 16.31/5.25 o 11925 16.31/5.25 o 11924 16.31/5.25 o 11923 16.31/5.25 o 11922 16.31/5.25 o 11921 16.31/5.25 o 11920 16.31/5.25 o 11919 16.31/5.25 o 11918 16.31/5.25 o 11917 16.31/5.25 o 11916 16.31/5.25 o 11915 16.31/5.25 o 11914 16.31/5.25 o 11913 16.31/5.25 o 11912 16.31/5.25 o 11911 16.31/5.25 o 11910 16.31/5.25 o 11909 16.31/5.25 o 11908 16.31/5.25 o 11907 16.31/5.25 o 11906 16.31/5.25 o 11905 16.31/5.26 o 11904 16.31/5.26 o 11903 16.31/5.26 o 11902 16.31/5.26 o 11901 16.31/5.26 o 11900 16.31/5.26 o 11899 16.31/5.26 o 11898 16.31/5.26 o 11897 16.31/5.26 o 11896 16.31/5.26 o 11895 16.31/5.26 o 11894 16.31/5.26 o 11893 16.31/5.26 o 11892 16.31/5.26 o 11891 16.31/5.26 o 11890 16.31/5.27 o 11889 16.31/5.27 o 11888 16.31/5.27 o 11887 16.31/5.27 o 11886 16.31/5.27 o 11885 16.31/5.27 o 11884 16.31/5.27 o 11883 16.31/5.27 o 11882 16.31/5.27 o 11881 16.31/5.27 o 11880 16.31/5.27 o 11879 16.31/5.27 o 11878 16.31/5.27 o 11877 16.31/5.27 o 11876 16.31/5.27 o 11875 16.31/5.27 o 11874 16.31/5.27 o 11873 16.31/5.27 o 11872 16.31/5.27 o 11871 16.31/5.28 o 11870 16.31/5.28 o 11869 16.31/5.28 o 11868 16.31/5.28 o 11867 16.31/5.28 o 11866 16.31/5.28 o 11865 16.31/5.28 o 11864 17.10/5.30 o 11863 17.10/5.30 o 11862 17.10/5.30 o 11861 17.10/5.30 o 11860 17.10/5.30 o 11859 17.10/5.30 o 11858 17.10/5.30 o 11857 17.10/5.30 o 11856 17.10/5.30 o 11855 17.10/5.30 o 11854 17.10/5.30 o 11853 17.10/5.30 o 11852 17.10/5.31 o 11851 17.10/5.31 o 11850 17.10/5.31 o 11849 17.10/5.31 o 11848 17.10/5.32 o 11847 17.10/5.32 o 11846 17.10/5.32 o 11845 17.10/5.32 o 11844 17.10/5.32 o 11843 17.10/5.32 o 11842 17.10/5.32 o 11841 17.10/5.32 o 11840 17.10/5.32 o 11839 17.10/5.32 o 11838 17.10/5.32 o 11837 17.10/5.32 o 11836 17.10/5.32 o 11835 17.10/5.32 o 11834 17.10/5.32 o 11833 17.10/5.32 o 11832 17.10/5.32 o 11831 17.10/5.33 o 11830 17.10/5.33 o 11829 17.10/5.33 o 11828 17.10/5.33 o 11827 17.10/5.33 o 11826 17.10/5.33 o 11825 17.10/5.33 o 11824 17.10/5.33 o 11823 17.10/5.33 o 11822 17.10/5.33 o 11821 17.10/5.33 o 11820 17.10/5.33 o 11819 17.10/5.33 o 11818 17.10/5.34 o 11817 17.10/5.34 o 11816 17.10/5.34 o 11815 17.10/5.34 o 11814 17.10/5.34 o 11813 17.10/5.34 o 11812 17.10/5.34 o 11811 17.10/5.34 o 11810 17.10/5.34 o 11809 17.10/5.34 o 11808 17.10/5.35 o 11807 17.10/5.35 o 11806 17.10/5.35 o 11805 17.10/5.35 o 11804 17.10/5.35 o 11803 17.10/5.35 o 11802 17.10/5.35 o 11801 17.10/5.35 o 11800 17.10/5.35 o 11799 17.10/5.36 o 11798 17.10/5.36 o 11797 17.10/5.36 o 11796 17.10/5.36 o 11795 17.10/5.36 o 11794 17.10/5.36 o 11793 17.10/5.36 o 11792 17.10/5.36 o 11791 17.10/5.37 o 11790 17.10/5.37 o 11789 17.10/5.38 o 11788 17.10/5.39 o 11787 17.10/5.39 o 11786 17.10/5.39 o 11785 17.10/5.40 o 11784 17.10/5.40 o 11783 17.93/5.41 o 11782 17.93/5.42 o 11781 17.93/5.42 o 11780 17.93/5.43 o 11779 17.93/5.43 o 11778 17.93/5.43 o 11777 17.93/5.43 o 11776 17.93/5.44 o 11775 17.93/5.45 o 11774 17.93/5.45 o 11773 17.93/5.46 o 11772 17.93/5.46 o 11771 17.93/5.46 o 11770 17.93/5.46 o 11769 17.93/5.47 o 11768 17.93/5.47 o 11767 17.93/5.48 o 11766 17.93/5.48 o 11765 17.93/5.49 o 11764 17.93/5.50 o 11763 17.93/5.50 o 11762 18.67/5.51 o 11761 18.67/5.51 o 11760 18.67/5.52 o 11759 18.67/5.52 o 11758 18.67/5.53 o 11757 18.67/5.53 o 11756 18.67/5.53 o 11755 18.67/5.54 o 11754 18.67/5.54 o 11753 18.67/5.55 o 11752 18.67/5.55 o 11751 18.67/5.56 o 11750 21.07/5.94 o 11749 21.07/5.94 o 11748 21.07/5.95 o 11747 21.07/5.95 o 11746 21.07/5.95 o 11745 21.07/5.96 o 11744 21.07/5.96 o 11743 21.07/5.97 o 11742 21.07/5.97 o 11741 21.07/5.97 o 11740 21.07/5.98 o 11739 21.07/5.98 o 11738 21.07/5.98 o 11737 21.07/5.99 o 11736 21.07/5.99 o 11735 21.07/5.99 o 11734 21.07/6.00 o 11733 21.07/6.00 o 11732 21.07/6.00 o 11731 21.07/6.01 o 11730 21.71/6.02 o 11729 21.71/6.02 o 11728 21.71/6.02 o 11727 21.71/6.03 o 11726 21.71/6.04 o 11725 21.71/6.05 o 11724 21.71/6.05 o 11723 21.71/6.06 o 11722 21.71/6.06 o 11721 21.71/6.07 o 11720 21.71/6.07 o 11719 21.71/6.08 o 11718 21.71/6.10 o 11717 21.71/6.10 o 11716 22.51/6.11 o 11715 22.51/6.12 o 11714 22.51/6.12 o 11713 22.51/6.13 o 11712 22.51/6.13 o 11711 22.51/6.14 o 11710 22.51/6.16 o 11709 22.51/6.18 o 11708 23.25/6.20 o 11707 23.25/6.21 o 11706 23.25/6.23 o 11705 23.25/6.24 o 11704 23.25/6.26 o 11703 23.25/6.27 o 11702 23.25/6.28 o 11701 23.25/6.29 o 11700 24.02/6.30 o 11699 24.02/6.32 o 11698 24.02/6.37 o 11697 24.02/6.38 o 11696 24.02/6.39 o 11695 24.02/6.40 o 11694 24.80/6.41 o 11693 24.80/6.42 o 11692 24.80/6.43 o 11691 24.80/6.44 o 11690 24.80/6.46 o 11689 24.80/6.48 o 11688 25.60/6.52 o 11687 25.60/6.53 o 11686 25.60/6.54 o 11685 25.60/6.55 o 11684 25.60/6.56 o 11683 25.60/6.58 o 11682 25.60/6.59 o 11681 25.60/6.60 o 11680 26.39/6.61 o 11679 26.39/6.62 o 11678 26.39/6.63 o 11677 26.39/6.64 o 11676 26.39/6.65 o 11675 26.39/6.66 o 11674 26.39/6.66 o 11673 26.39/6.67 o 11672 26.39/6.69 o 11671 26.39/6.70 o 11670 27.19/6.71 o 11669 27.19/6.72 o 11668 27.19/6.73 o 11667 27.19/6.74 o 11666 27.19/6.75 o 11665 27.19/6.76 o 11664 27.19/6.76 o 11663 27.19/6.77 o 11662 27.19/6.78 o 11661 27.19/6.79 o 11660 27.19/6.81 o 11659 28.05/6.82 o 11658 28.05/6.83 o 11657 28.05/6.84 o 11656 28.05/6.85 o 11655 28.05/6.86 o 11654 28.05/6.86 o 11653 28.05/6.87 o 11652 28.05/6.88 o 11651 28.05/6.89 o 11650 28.78/6.90 o 11649 28.78/6.92 o 11648 28.78/6.93 o 11647 28.78/6.93 o 11646 28.78/6.94 o 11645 28.78/6.99 o 11644 28.78/7.00 o 11643 29.63/7.05 o 11642 29.63/7.07 o 11641 29.63/7.08 o 11640 29.63/7.09 o 11639 29.63/7.11 o 11638 30.43/7.12 o 11637 30.43/7.13 o 11636 30.43/7.14 o 11635 30.43/7.15 o 11634 30.43/7.18 o 11633 31.15/7.22 o 11632 31.15/7.26 o 11631 31.95/7.34 o 11630 31.95/7.37 o 11629 32.77/7.41 o 11628 32.77/7.45 o 11627 32.77/7.48 o 11626 33.58/7.52 o 11625 33.58/7.56 o 11624 33.58/7.60 o 11623 34.40/7.64 o 11622 34.40/7.67 o 11621 35.10/7.75 o 11620 35.10/7.78 o 11619 35.90/7.82 o 11618 35.90/7.86 o 11617 35.90/7.89 o 11616 36.69/7.93 o 11615 36.69/7.97 o 11614 36.69/8.00 o 11613 37.55/8.04 o 11612 37.55/8.08 o 11611 38.35/8.12 o 11610 38.35/8.15 o 11609 38.35/8.19 o 11608 39.10/8.23 o 11607 39.10/8.27 o 11606 39.92/8.31 o 11605 39.92/8.34 o 11604 39.92/8.38 o 11603 40.74/8.44 o 11602 40.74/8.47 o 11601 41.46/8.59 o 11600 42.24/8.63 o 11599 42.24/8.66 o 11598 42.24/8.70 o 11597 43.03/8.73 o 11596 43.03/8.77 o 11595 43.84/8.82 o 11594 43.84/8.86 o 11593 43.84/8.89 o 11592 44.63/8.93 o 11591 44.63/8.96 o 11590 44.63/9.00 o 11589 45.50/9.04 o 11588 45.50/9.07 o 11587 45.50/9.10 o 11586 46.30/9.14 o 11585 46.30/9.18 o 11584 47.02/9.22 o 11583 47.02/9.25 o 11582 47.02/9.29 o 11581 47.82/9.33 o 11580 47.82/9.36 o 11579 48.57/9.43 o 11578 48.57/9.46 o 11577 49.37/9.50 o 11576 49.37/9.53 o 11575 49.37/9.57 o 11574 50.16/9.61 o 11573 50.16/9.63 o 11572 50.16/9.65 o 11571 50.16/9.67 o 11570 50.96/9.70 o 11569 52.57/9.91 o 11568 52.57/9.99 o 11567 53.42/10.06 o 11566 54.22/10.15 o 11565 54.94/10.21 o 11564 56.54/10.50 o 11563 57.29/10.52 o 11562 57.29/10.53 o 11561 58.88/10.71 o 11560 61.35/11.07 o 11559 62.86/11.24 o 11558 64.46/11.41 o 11557 66.02/11.62 o 11556 66.82/11.80 o 11555 68.42/11.97 o 11554 70.08/12.14 o 11553 71.60/12.31 o 11552 72.40/12.48 o 11551 74.00/12.66 o 11550 75.65/12.89 o 11549 77.23/13.06 o 11548 78.76/13.24 o 11547 80.35/13.41 o 11546 81.15/13.58 o 11545 82.75/13.75 o 11544 84.35/13.92 o 11543 85.98/14.15 o 11542 87.49/14.32 o 11541 88.29/14.49 o 11540 89.89/14.67 o 11539 91.51/14.84 o 11538 92.33/15.01 o 11537 93.94/15.18 o 11536 95.46/15.36 o 11535 97.06/15.54 o 11534 98.67/15.77 o 11533 100.24/15.94 o 11532 101.90/16.12 o 11531 102.63/16.29 o 11530 104.29/16.46 o 11529 105.83/16.63 o 11528 107.42/16.81 o 11527 108.22/16.98 o 11526 109.87/17.15 o 11525 111.39/17.37 o 11524 112.99/17.54 o 11523 114.58/17.72 o 11522 115.38/17.89 o 11521 117.05/18.06 o 11520 118.57/18.23 o 11519 119.37/18.40 o 11518 121.02/18.57 o 11517 122.56/18.74 o 11516 124.15/18.92 o 11515 125.82/19.17 o 11514 127.37/19.34 o 11513 128.92/19.51 o 11512 129.74/19.68 o 11511 131.37/19.85 o 11510 133.06/20.02 o 11509 133.78/20.19 o 11508 135.29/20.37 o 11507 136.88/20.53 o 11506 137.68/20.70 o 11505 140.07/20.94 o 11504 141.75/21.12 o 11503 142.49/21.29 o 11502 144.09/21.44 o 11501 144.85/21.57 o 11500 145.65/21.69 o 11499 164.83/24.06 o 11498 169.55/24.64 o 11497 174.33/25.23 o 11496 213.41/30.12 o 11495 214.13/30.29 o 11494 214.93/30.39 o 11493 216.53/30.52 o 11492 224.51/31.60 o 11491 258.75/35.88 o 11490 280.22/38.53 o 11489 293.04/40.11 o 11488 307.17/42.01 o 11487 323.15/43.92 o 11486 375.68/50.52 o 11485 393.27/52.75 o 11484 485.62/64.35 o 11483 502.35/66.44 o 11482 514.37/67.94 o 11481 523.16/69.02 o 11480 535.03/70.59 o 11479 543.80/71.67 o 11478 555.83/73.19 o 11477 565.32/74.33 o 11476 577.30/75.85 o 11475 586.06/76.99 o 11474 598.78/78.50 o 11473 606.76/79.59 o 11472 619.56/81.15 o 11471 628.27/82.25 o 11470 640.23/83.78 o 11469 649.84/84.93 o 11468 661.73/86.46 o 11467 670.51/87.57 o 11466 683.33/89.14 o 11465 692.03/90.24 o 11464 704.05/91.78 o 11463 713.58/92.93 o 11462 725.50/94.46 o 11461 734.23/95.55 o 11460 746.25/97.09 o 11459 755.03/98.17 o 11458 766.92/99.66 o 11457 775.69/100.74 o 11456 788.47/102.30 o 11455 796.40/103.38 o 11454 808.36/104.88 o 11453 817.94/106.03 o 11452 829.83/107.54 o 11451 838.60/108.63 o 11450 850.61/110.16 o 11449 859.31/111.25 o 11448 871.28/112.76 o 11447 880.05/113.84 o 11446 892.00/115.40 o 11445 900.77/116.48 o 11444 912.72/117.99 o 11443 923.83/119.31 o 11442 934.20/120.64 o 11441 945.42/122.01 o 11440 955.72/123.39 o 11439 966.89/124.72 o 11438 978.84/126.20 o 11437 989.21/127.59 o 11436 999.57/128.87 o 11435 1010.72/130.22 o 11434 1018.70/131.29 o 11433 1031.45/132.82 o 11432 1038.63/133.74 o 11431 1138.27/146.21 o 11430 1148.63/147.53 o 11429 1161.46/149.16 o 11428 1353.49/173.27 o 11427 1725.72/219.94 o 11426 1874.81/238.70 o 11425 2031.81/258.35 o 11424 2247.80/285.45 o 11423 2350.63/298.33 o 11422 2711.71/343.66 o 11421 2955.64/374.25 o 11420 3212.30/406.44 o 11419 3397.97/429.72 o 11418 3672.20/464.13 o 11417 3916.76/494.83 o 11416 4077.75/515.06 o 11415 4447.14/561.40 o 11414 4609.64/581.82 o 11413 4870.02/614.58 o 11412 5108.27/644.42 o 11411 5357.50/675.74 o 11410 5512.13/695.12 o 11409 5802.79/731.63 o 11408 6052.11/763.00 o 11407 6206.69/782.34 o 11406 6422.56/809.46 o 11405 6579.49/829.14 o 11404 6713.14/845.96 o 11403 6985.63/880.18 o 11402 7559.49/952.30 o 11401 7748.82/976.03 o 11400 7974.92/1004.47 o 11399 8101.57/1020.37 o 11398 8425.34/1061.18 o 11397 8752.14/1102.18 o 11396 8864.41/1116.25 o 11395 9076.24/1142.85 o 11394 9269.92/1167.19 o 11393 9487.39/1194.43 o 11392 9705.81/1221.80 o 11391 10188.74/1282.46 o 11390 10593.56/1333.24 o 11389 10740.25/1351.67 o 11388 11024.84/1387.30 o 11387 11168.32/1405.39 o 11386 11425.02/1437.54 o 11385 11582.82/1457.36 o 11384 11804.51/1485.18 o 11383 11914.46/1498.99 o 11382 12021.27/1512.35 o 11381 12222.00/1537.54 o 11380 12421.29/1562.55 o 11379 12602.24/1585.22 o 11378 12764.06/1605.54 o 11377 12965.73/1630.80 o 11376 13133.16/1651.83 o 11375 13318.17/1675.03 o 11374 13861.52/1743.29 o 11373 14067.22/1769.08 o 11372 14307.16/1799.15 o 11371 14506.35/1824.18 o 11370 14763.62/1856.48 o 11369 14877.58/1870.75 o 11368 15006.68/1886.99 o 11367 15295.87/1923.26 o 11366 15869.02/1995.15 o 11365 15904.04/1999.52 o 11364 15969.42/2007.75 o 11363 16996.08/2136.50 o 11362 17937.53/2254.67 o 11361 18484.32/2323.22 o 11360 18825.44/2366.01 o 11359 20052.48/2520.10 s SATISFIABLE 20052.48/2520.10 v <instantiation> 20052.48/2520.10 v <list> 20052.48/2520.10 v 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] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] 20052.48/2520.10 v </list> 20052.48/2520.10 v <values> 20052.48/2520.10 v 123 1 122 121 117 81 115 123 114 2 113 118 6 112 121 111 7 116 114 3 96 93 73 115 99 110 80 110 83 112 99 109 90 97 98 78 108 118 103 1 93 114 86 116 0 100 105 102 100 96 85 120 69 90 0 95 82 74 82 83 81 106 75 98 111 104 87 70 84 79 103 88 94 92 104 5 88 84 106 113 97 109 76 86 72 4 113 105 76 85 117 103 102 93 101 101 107 89 123 89 92 87 91 94 2 71 105 91 107 108 112 110 122 77 119 80 121 116 3 119 120 124 122 124 118 20052.48/2520.10 v </values> 20052.48/2520.10 v </instantiation>
OK 11359
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8140 MiB free)
memory of node 1: 16384 MiB (14774 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291172-1532642283/watcher-4291172-1532642283 -o /tmp/evaluation-result-4291172-1532642283/solver-4291172-1532642283 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532633880-4504 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 132678146 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291172-1532642283.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5445, runsolver pid=5442
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 8.02 8.62 8.72 4/198 5465
/proc/meminfo: memFree=23449656/32770624 swapFree=67108784/67108860
[pid=5445] ppid=5442 vsize=26103424 memory=29588 CPUtime=0.11 cores=0-7
/proc/5445/stat : 5445 (java) S 5442 5445 4477 0 -1 1077944320 6840 0 0 0 10 1 0 0 20 0 20 0 81791436 26729906176 7397 33554432000 4194304 4196468 140733768512032 140733768494576 140287203167991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
/proc/5445/statm: 6525856 7397 3140 1 0 6487932 0
[pid=5445/tid=5447] ppid=5442 vsize=26103424 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5445/task/5447/stat : 5447 (java) R 5442 5445 4477 0 -1 4202560 5043 0 0 0 8 0 0 0 20 0 20 0 81791437 26729906176 7529 33554432000 4194304 4196468 140733768512032 140287207393680 140287183443805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5448] ppid=5442 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5445/task/5448/stat : 5448 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 7529 33554432000 4194304 4196468 140733768512032 140287125748240 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5449] ppid=5442 vsize=26103424 memory=140002343245440 CPUtime=0 cores=0-7
/proc/5445/task/5449/stat : 5449 (java) S 5442 5445 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 7529 33554432000 4194304 4196468 140733768512032 140287124695696 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5450] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5450/stat : 5450 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 7529 33554432000 4194304 4196468 140733768512032 140287123642640 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5451] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5451/stat : 5451 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 7529 33554432000 4194304 4196468 140733768512032 140287122590096 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5452] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5452/stat : 5452 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 7529 33554432000 4194304 4196468 140733768512032 140286756936720 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5453] ppid=5442 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/5445/task/5453/stat : 5453 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 7529 33554432000 4194304 4196468 140733768512032 140286755884176 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5454] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5454/stat : 5454 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 7529 33554432000 4194304 4196468 140733768512032 140286754831120 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5455] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5455/stat : 5455 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 7529 33554432000 4194304 4196468 140733768512032 140286753778576 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5456] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5456/stat : 5456 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791439 26729906176 7595 33554432000 4194304 4196468 140733768512032 140286599629040 140287203179138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5457] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5457/stat : 5457 (java) S 5442 5445 4477 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81791439 26729906176 7595 33554432000 4194304 4196468 140733768512032 140286598575264 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5458] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5458/stat : 5458 (java) S 5442 5445 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81791440 26729906176 7595 33554432000 4194304 4196468 140733768512032 140286597522160 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5459] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5459/stat : 5459 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 7595 33554432000 4194304 4196468 140733768512032 140286596470736 140287203186587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5460] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5460/stat : 5460 (java) S 5442 5445 4477 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 7595 33554432000 4194304 4196468 140733768512032 140286595418864 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5461] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5461/stat : 5461 (java) S 5442 5445 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 7595 33554432000 4194304 4196468 140733768512032 140286594366320 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5462] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5462/stat : 5462 (java) S 5442 5445 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 7595 33554432000 4194304 4196468 140733768512032 140286593313264 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5463] ppid=5442 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/5445/task/5463/stat : 5463 (java) S 5442 5445 4477 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 20 0 81791442 26729906176 7595 33554432000 4194304 4196468 140733768512032 140286592260720 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5464] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5464/stat : 5464 (java) S 5442 5445 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 7595 33554432000 4194304 4196468 140733768512032 140286591207904 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5465] ppid=5442 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/5445/task/5465/stat : 5465 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 7595 33554432000 4194304 4196468 140733768512032 140286590155440 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 29588 KiB
[startup+0.209982 s]*
/proc/loadavg: 8.02 8.62 8.72 3/198 5465
/proc/meminfo: memFree=23436076/32770624 swapFree=67108784/67108860
[pid=5445] ppid=5442 vsize=26103424 memory=43056 CPUtime=0.29 cores=0-7
/proc/5445/stat : 5445 (java) S 5442 5445 4477 0 -1 1077944320 10401 0 0 0 27 2 0 0 20 0 20 0 81791436 26729906176 10764 33554432000 4194304 4196468 140733768512032 140733768494576 140287203167991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
/proc/5445/statm: 6525856 10764 3336 1 0 6487932 0
[pid=5445/tid=5447] ppid=5442 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/5445/task/5447/stat : 5447 (java) R 5442 5445 4477 0 -1 4202560 8174 0 0 0 18 1 0 0 20 0 20 0 81791437 26729906176 10764 33554432000 4194304 4196468 140733768512032 140287207396144 140287203179926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5448] ppid=5442 vsize=26103424 memory=9326 CPUtime=0 cores=0-7
/proc/5445/task/5448/stat : 5448 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 10764 33554432000 4194304 4196468 140733768512032 140287125748240 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5449] ppid=5442 vsize=26103424 memory=140002343250866 CPUtime=0 cores=0-7
/proc/5445/task/5449/stat : 5449 (java) S 5442 5445 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 10764 33554432000 4194304 4196468 140733768512032 140287124695696 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5450] ppid=5442 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/5445/task/5450/stat : 5450 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 10764 33554432000 4194304 4196468 140733768512032 140287123642640 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5451] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5451/stat : 5451 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 10764 33554432000 4194304 4196468 140733768512032 140287122590096 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5452] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5452/stat : 5452 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286756936720 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5453] ppid=5442 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/5445/task/5453/stat : 5453 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286755884176 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5454] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5454/stat : 5454 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286754831120 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5455] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5455/stat : 5455 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286753778576 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5456] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5456/stat : 5456 (java) S 5442 5445 4477 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81791439 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286599629040 140287203179138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5457] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5457/stat : 5457 (java) S 5442 5445 4477 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81791439 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286598575264 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5458] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5458/stat : 5458 (java) S 5442 5445 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81791440 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286597522160 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5459] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5459/stat : 5459 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286596470736 140287203186587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5460] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5460/stat : 5460 (java) S 5442 5445 4477 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286595418864 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5461] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5461/stat : 5461 (java) S 5442 5445 4477 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286594366320 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5462] ppid=5442 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/5445/task/5462/stat : 5462 (java) S 5442 5445 4477 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 81791442 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286593313264 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5463] ppid=5442 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/5445/task/5463/stat : 5463 (java) R 5442 5445 4477 0 -1 4202560 305 0 0 0 6 0 0 0 20 0 20 0 81791442 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286592260720 140287203179926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5464] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5464/stat : 5464 (java) S 5442 5445 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286591207904 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5465] ppid=5442 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/5445/task/5465/stat : 5465 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 10764 33554432000 4194304 4196468 140733768512032 140286590155440 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43056 KiB
[startup+0.310101 s]*
/proc/loadavg: 8.02 8.62 8.72 2/198 5465
/proc/meminfo: memFree=23432416/32770624 swapFree=67108784/67108860
[pid=5445] ppid=5442 vsize=26103424 memory=46568 CPUtime=0.42 cores=0-7
/proc/5445/stat : 5445 (java) S 5442 5445 4477 0 -1 1077944320 10841 0 0 0 40 2 0 0 20 0 20 0 81791436 26729906176 11642 33554432000 4194304 4196468 140733768512032 140733768494576 140287203167991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
/proc/5445/statm: 6525856 11642 3362 1 0 6487932 0
[pid=5445/tid=5447] ppid=5442 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5445/task/5447/stat : 5447 (java) R 5442 5445 4477 0 -1 4202560 8524 0 0 0 28 1 0 0 20 0 20 0 81791437 26729906176 11642 33554432000 4194304 4196468 140733768512032 140287207329728 140287183443313 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5448] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5448/stat : 5448 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 11642 33554432000 4194304 4196468 140733768512032 140287125748240 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5449] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5449/stat : 5449 (java) S 5442 5445 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 11642 33554432000 4194304 4196468 140733768512032 140287124695696 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5450] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5450/stat : 5450 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 11642 33554432000 4194304 4196468 140733768512032 140287123642640 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5451] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5451/stat : 5451 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 11642 33554432000 4194304 4196468 140733768512032 140287122590096 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5452] ppid=5442 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/5445/task/5452/stat : 5452 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286756936720 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5453] ppid=5442 vsize=26103424 memory=140002243736495 CPUtime=0 cores=0-7
/proc/5445/task/5453/stat : 5453 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286755884176 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5454] ppid=5442 vsize=26103424 memory=140002243738800 CPUtime=0 cores=0-7
/proc/5445/task/5454/stat : 5454 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286754831120 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5455] ppid=5442 vsize=26103424 memory=140002243741104 CPUtime=0 cores=0-7
/proc/5445/task/5455/stat : 5455 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286753778576 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5456] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5456/stat : 5456 (java) S 5442 5445 4477 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81791439 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286599629040 140287203179138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5457] ppid=5442 vsize=26103424 memory=280004487489168 CPUtime=0 cores=0-7
/proc/5445/task/5457/stat : 5457 (java) S 5442 5445 4477 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81791439 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286598575264 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5458] ppid=5442 vsize=26103424 memory=280004487496080 CPUtime=0 cores=0-7
/proc/5445/task/5458/stat : 5458 (java) S 5442 5445 4477 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81791440 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286597522160 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5459] ppid=5442 vsize=26103424 memory=280004487437360 CPUtime=0 cores=0-7
/proc/5445/task/5459/stat : 5459 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286596470736 140287203186587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5460] ppid=5442 vsize=26103424 memory=280004487509904 CPUtime=0.01 cores=0-7
/proc/5445/task/5460/stat : 5460 (java) S 5442 5445 4477 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 81791442 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286595418864 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5461] ppid=5442 vsize=26103424 memory=280004487516816 CPUtime=0 cores=0-7
/proc/5445/task/5461/stat : 5461 (java) S 5442 5445 4477 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286594366320 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5462] ppid=5442 vsize=26103424 memory=280004487514512 CPUtime=0.02 cores=0-7
/proc/5445/task/5462/stat : 5462 (java) S 5442 5445 4477 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 20 0 81791442 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286593313264 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5463] ppid=5442 vsize=26103424 memory=280004487531120 CPUtime=0.07 cores=0-7
/proc/5445/task/5463/stat : 5463 (java) S 5442 5445 4477 0 -1 1077944384 324 0 0 0 7 0 0 0 20 0 20 0 81791442 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286592260720 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5464] ppid=5442 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5464/stat : 5464 (java) S 5442 5445 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286591207904 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5465] ppid=5442 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/5445/task/5465/stat : 5465 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791442 26729906176 11642 33554432000 4194304 4196468 140733768512032 140286590155440 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46568 KiB
[startup+0.700806 s]
/proc/loadavg: 8.02 8.62 8.72 2/198 5465
/proc/meminfo: memFree=23396168/32770624 swapFree=67108784/67108860
[pid=5445] ppid=5442 vsize=26105492 memory=85280 CPUtime=0.99 cores=0-7
/proc/5445/stat : 5445 (java) S 5442 5445 4477 0 -1 1077944320 17772 0 0 0 94 5 0 0 20 0 20 0 81791436 26732023808 21320 33554432000 4194304 4196468 140733768512032 140733768494576 140287203167991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
/proc/5445/statm: 6526373 21320 3497 1 0 6488444 0
[pid=5445/tid=5447] ppid=5442 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/5445/task/5447/stat : 5447 (java) R 5442 5445 4477 0 -1 4202560 14976 0 0 0 64 3 0 0 20 0 20 0 81791437 26732023808 21320 33554432000 4194304 4196468 140733768512032 140287207392160 140287187248478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5448] ppid=5442 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5448/stat : 5448 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26732023808 21320 33554432000 4194304 4196468 140733768512032 140287125748240 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5449] ppid=5442 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5449/stat : 5449 (java) S 5442 5445 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81791437 26732023808 21320 33554432000 4194304 4196468 140733768512032 140287124695696 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5450] ppid=5442 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/5445/task/5450/stat : 5450 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26732023808 21320 33554432000 4194304 4196468 140733768512032 140287123642640 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5451] ppid=5442 vsize=26105492 memory=5372 CPUtime=0 cores=0-7
/proc/5445/task/5451/stat : 5451 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26732023808 21320 33554432000 4194304 4196468 140733768512032 140287122590096 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5452] ppid=5442 vsize=26105492 memory=1440 CPUtime=0 cores=0-7
/proc/5445/task/5452/stat : 5452 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26732023808 21320 33554432000 4194304 4196468 140733768512032 140286756936720 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5453] ppid=5442 vsize=26105492 memory=4612 CPUtime=0 cores=0-7
/proc/5445/task/5453/stat : 5453 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26732023808 21320 33554432000 4194304 4196468 140733768512032 140286755884176 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5454] ppid=5442 vsize=26105492 memory=1200 CPUtime=0 cores=0-7
/proc/5445/task/5454/stat : 5454 (java) S 5442 5445 4477 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81791437 26732023808 21320 33554432000 4194304 4196468 140733768512032 140286754831120 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5455] ppid=5442 vsize=26105492 memory=15876 CPUtime=0 cores=0-7
/proc/5445/task/5455/stat : 5455 (java) S 5442 5445 4477 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81791437 26732023808 21320 33554432000 4194304 4196468 140733768512032 140286753778576 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5456] ppid=5442 vsize=26105492 memory=4044 CPUtime=0 cores=0-7
/proc/5445/task/5456/stat : 5456 (java) S 5442 5445 4477 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 81791439 26732023808 21320 33554432000 4194304 4196468 140733768512032 140286599629040 140287203179138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
################
# More data... #
################
[pid=5445/tid=5473] ppid=5442 vsize=27850528 memory=928 CPUtime=0.11 cores=0-7
/proc/5445/task/5473/stat : 5473 (java) S 5442 5445 4477 0 -1 1077944384 682 0 0 0 11 0 0 0 20 0 46 0 81791881 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286363665680 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5474] ppid=5442 vsize=27850528 memory=2244 CPUtime=2492.85 cores=0-7
/proc/5445/task/5474/stat : 5474 (java) R 5442 5445 4477 0 -1 4202560 131563 0 0 0 249116 169 0 0 20 0 46 0 81791881 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286362605256 140286811431184 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5475] ppid=5442 vsize=27850528 memory=4124 CPUtime=2496.51 cores=0-7
/proc/5445/task/5475/stat : 5475 (java) R 5442 5445 4477 0 -1 4202560 171141 0 0 0 249441 210 0 0 20 0 46 0 81791881 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286361552488 140286806710480 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5476] ppid=5442 vsize=27850528 memory=2200 CPUtime=2495.76 cores=0-7
/proc/5445/task/5476/stat : 5476 (java) R 5442 5445 4477 0 -1 4202560 142408 0 0 0 249399 177 0 0 20 0 46 0 81791881 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286360502592 140286806584468 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5477] ppid=5442 vsize=27850528 memory=7284 CPUtime=2489.04 cores=0-7
/proc/5445/task/5477/stat : 5477 (java) R 5442 5445 4477 0 -1 4202560 129524 0 0 0 248747 157 0 0 20 0 46 0 81791882 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286359447944 140286806591455 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5478] ppid=5442 vsize=27850528 memory=840 CPUtime=0.02 cores=0-7
/proc/5445/task/5478/stat : 5478 (java) S 5442 5445 4477 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 46 0 81791882 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286358402448 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5479] ppid=5442 vsize=27850528 memory=1796 CPUtime=0.01 cores=0-7
/proc/5445/task/5479/stat : 5479 (java) S 5442 5445 4477 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 46 0 81791910 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286357349904 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5480] ppid=5442 vsize=27850528 memory=912 CPUtime=0.01 cores=0-7
/proc/5445/task/5480/stat : 5480 (java) S 5442 5445 4477 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 46 0 81791910 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286356296848 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5481] ppid=5442 vsize=27850528 memory=4252 CPUtime=0.01 cores=0-7
/proc/5445/task/5481/stat : 5481 (java) S 5442 5445 4477 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 46 0 81791910 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286355244304 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5482] ppid=5442 vsize=27850528 memory=4108 CPUtime=0.01 cores=0-7
/proc/5445/task/5482/stat : 5482 (java) S 5442 5445 4477 0 -1 1077944384 1342 0 0 0 1 0 0 0 20 0 46 0 81791931 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286352057232 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5483] ppid=5442 vsize=27850528 memory=1408 CPUtime=0.01 cores=0-7
/proc/5445/task/5483/stat : 5483 (java) S 5442 5445 4477 0 -1 1077944384 1209 0 0 0 1 0 0 0 20 0 46 0 81791933 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286351004688 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5484] ppid=5442 vsize=27850528 memory=4648 CPUtime=0.01 cores=0-7
/proc/5445/task/5484/stat : 5484 (java) S 5442 5445 4477 0 -1 1077944384 676 0 0 0 1 0 0 0 20 0 46 0 81791933 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286349952656 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5485] ppid=5442 vsize=27850528 memory=8136020 CPUtime=0.03 cores=0-7
/proc/5445/task/5485/stat : 5485 (java) S 5442 5445 4477 0 -1 1077944384 1002 0 0 0 3 0 0 0 20 0 46 0 81791934 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286348900112 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5486] ppid=5442 vsize=27850528 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/5445/task/5486/stat : 5486 (java) S 5442 5445 4477 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 46 0 81791934 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286347847056 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5487] ppid=5442 vsize=27850528 memory=288230583166042426 CPUtime=0.02 cores=0-7
/proc/5445/task/5487/stat : 5487 (java) S 5442 5445 4477 0 -1 1077944384 1319 0 0 0 2 0 0 0 20 0 46 0 81791934 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286346794512 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5488] ppid=5442 vsize=27850528 memory=13847469322668609 CPUtime=0 cores=0-7
/proc/5445/task/5488/stat : 5488 (java) S 5442 5445 4477 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 81791934 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286345741456 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5489] ppid=5442 vsize=27850528 memory=8836 CPUtime=0.01 cores=0-7
/proc/5445/task/5489/stat : 5489 (java) S 5442 5445 4477 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 46 0 81791934 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286344688912 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5490] ppid=5442 vsize=27850528 memory=11044 CPUtime=0.01 cores=0-7
/proc/5445/task/5490/stat : 5490 (java) S 5442 5445 4477 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 46 0 81791934 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286343635856 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5491] ppid=5442 vsize=27850528 memory=13252 CPUtime=0.02 cores=0-7
/proc/5445/task/5491/stat : 5491 (java) S 5442 5445 4477 0 -1 1077944384 934 0 0 0 2 0 0 0 20 0 46 0 81791934 28518940672 2034005 33554432000 4194304 4196468 140733768512032 140286342583312 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
Current children cumulated CPU time: 20052.5 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 8136020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.34 s]
# the end of solver process 5445 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20034.8 s, system=19.9363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.21 s]
/proc/loadavg: 8.55 8.72 8.75 9/225 5561
/proc/meminfo: memFree=15324060/32770624 swapFree=67108784/67108860
[pid=5445] ppid=5442 vsize=28050220 memory=8137960 CPUtime=20054 cores=0-7
/proc/5445/stat : 5445 (java) S 5442 5445 4477 0 -1 1077944320 1696855 0 0 0 2003412 1988 0 0 20 0 48 0 81791436 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140733768494576 140287203167991 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
/proc/5445/statm: 7012555 2034490 3629 1 0 6974105 0
[pid=5445/tid=5447] ppid=5442 vsize=28050220 memory=17668 CPUtime=4.29 cores=0-7
/proc/5445/task/5447/stat : 5447 (java) S 5442 5445 4477 0 -1 1077944384 22136 0 0 0 421 8 0 0 20 0 48 0 81791437 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140287207405456 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5448] ppid=5442 vsize=28050220 memory=17700 CPUtime=12.09 cores=0-7
/proc/5445/task/5448/stat : 5448 (java) S 5442 5445 4477 0 -1 1077944384 49180 0 0 0 1148 61 0 0 20 0 48 0 81791437 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140287125748240 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5449] ppid=5442 vsize=28050220 memory=288424495873282280 CPUtime=12.11 cores=0-7
/proc/5445/task/5449/stat : 5449 (java) S 5442 5445 4477 0 -1 1077944384 47885 0 0 0 1151 60 0 0 20 0 48 0 81791437 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140287124695696 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5450] ppid=5442 vsize=28050220 memory=140002244055232 CPUtime=12.12 cores=0-7
/proc/5445/task/5450/stat : 5450 (java) S 5442 5445 4477 0 -1 1077944384 50248 0 0 0 1151 61 0 0 20 0 48 0 81791437 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140287123642640 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5451] ppid=5442 vsize=28050220 memory=140002243844176 CPUtime=12.02 cores=0-7
/proc/5445/task/5451/stat : 5451 (java) S 5442 5445 4477 0 -1 1077944384 51628 0 0 0 1141 61 0 0 20 0 48 0 81791437 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140287122590096 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5452] ppid=5442 vsize=28050220 memory=140002243844272 CPUtime=12.14 cores=0-7
/proc/5445/task/5452/stat : 5452 (java) S 5442 5445 4477 0 -1 1077944384 46037 0 0 0 1155 59 0 0 20 0 48 0 81791437 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286756936720 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5453] ppid=5442 vsize=28050220 memory=140002243844368 CPUtime=12.11 cores=0-7
/proc/5445/task/5453/stat : 5453 (java) S 5442 5445 4477 0 -1 1077944384 48289 0 0 0 1152 59 0 0 20 0 48 0 81791437 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286755884176 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5454] ppid=5442 vsize=28050220 memory=1796 CPUtime=12.13 cores=0-7
/proc/5445/task/5454/stat : 5454 (java) S 5442 5445 4477 0 -1 1077944384 56828 0 0 0 1153 60 0 0 20 0 48 0 81791437 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286754831120 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5455] ppid=5442 vsize=28050220 memory=912 CPUtime=12.13 cores=0-7
/proc/5445/task/5455/stat : 5455 (java) S 5442 5445 4477 0 -1 1077944384 50751 0 0 0 1155 58 0 0 20 0 48 0 81791437 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286753778576 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5456] ppid=5442 vsize=28050220 memory=4252 CPUtime=1.13 cores=0-7
/proc/5445/task/5456/stat : 5456 (java) S 5442 5445 4477 0 -1 1077944384 57681 0 0 0 96 17 0 0 20 0 48 0 81791439 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286599629040 140287203179138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5457] ppid=5442 vsize=28050220 memory=4108 CPUtime=0 cores=0-7
/proc/5445/task/5457/stat : 5457 (java) S 5442 5445 4477 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 48 0 81791439 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286598575328 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5458] ppid=5442 vsize=28050220 memory=1408 CPUtime=0 cores=0-7
/proc/5445/task/5458/stat : 5458 (java) S 5442 5445 4477 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 48 0 81791440 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286597522176 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5459] ppid=5442 vsize=28050220 memory=4648 CPUtime=0 cores=0-7
/proc/5445/task/5459/stat : 5459 (java) S 5442 5445 4477 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 48 0 81791442 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286596470736 140287203186587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5460] ppid=5442 vsize=28050220 memory=8136020 CPUtime=2.11 cores=0-7
/proc/5445/task/5460/stat : 5460 (java) S 5442 5445 4477 0 -1 1077944384 4668 0 0 0 210 1 0 0 20 0 48 0 81791442 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286595418864 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5461] ppid=5442 vsize=28050220 memory=8112282956445269571 CPUtime=2.12 cores=0-7
/proc/5445/task/5461/stat : 5461 (java) S 5442 5445 4477 0 -1 1077944384 5468 0 0 0 211 1 0 0 20 0 48 0 81791442 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286594366080 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5462] ppid=5442 vsize=28050220 memory=4126316290023845779 CPUtime=2.79 cores=0-7
/proc/5445/task/5462/stat : 5462 (java) R 5442 5445 4477 0 -1 4202560 12202 0 0 0 278 1 0 0 20 0 48 0 81791442 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286593299808 140287180999415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5463] ppid=5442 vsize=28050220 memory=-7812193691855986592 CPUtime=1.35 cores=0-7
/proc/5445/task/5463/stat : 5463 (java) S 5442 5445 4477 0 -1 1077944384 15688 0 0 0 131 4 0 0 20 0 48 0 81791442 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286592260720 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5464] ppid=5442 vsize=28050220 memory=-7088785026379990432 CPUtime=0 cores=0-7
/proc/5445/task/5464/stat : 5464 (java) S 5442 5445 4477 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 81791442 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286591207904 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5465] ppid=5442 vsize=28050220 memory=576462929590707995 CPUtime=0.98 cores=0-7
/proc/5445/task/5465/stat : 5465 (java) S 5442 5445 4477 0 -1 1077944384 3886 0 0 0 34 64 0 0 20 0 48 0 81791442 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286590155440 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5466] ppid=5442 vsize=28050220 memory=18120 CPUtime=0.04 cores=0-7
/proc/5445/task/5466/stat : 5466 (java) S 5442 5445 4477 0 -1 1077944384 4046 0 0 0 4 0 0 0 20 0 48 0 81791834 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286585098704 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5467] ppid=5442 vsize=28050220 memory=18120 CPUtime=4.94 cores=0-7
/proc/5445/task/5467/stat : 5467 (java) S 5442 5445 4477 0 -1 1077944384 9864 0 0 0 291 203 0 0 20 0 48 0 81791856 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286374175232 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5468] ppid=5442 vsize=28050220 memory=288230574492221466 CPUtime=2489.66 cores=0-7
/proc/5445/task/5468/stat : 5468 (java) R 5442 5445 4477 0 -1 4202560 135027 0 0 0 248798 168 0 0 20 0 48 0 81791873 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286371018256 140286806590338 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5469] ppid=5442 vsize=28050220 memory=288230583166042426 CPUtime=2486.14 cores=0-7
/proc/5445/task/5469/stat : 5469 (java) R 5442 5445 4477 0 -1 4202560 153403 0 0 0 248406 208 0 0 20 0 48 0 81791874 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286369965792 140286810600448 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5470] ppid=5442 vsize=28050220 memory=13847469322668609 CPUtime=0.1 cores=0-7
/proc/5445/task/5470/stat : 5470 (java) S 5442 5445 4477 0 -1 1077944384 1049 0 0 0 10 0 0 0 20 0 48 0 81791874 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286368914448 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5471] ppid=5442 vsize=28050220 memory=102 CPUtime=2494.26 cores=0-7
/proc/5445/task/5471/stat : 5471 (java) R 5442 5445 4477 0 -1 4202560 138926 0 0 0 249232 194 0 0 20 0 48 0 81791881 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286365763232 140286805777832 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5472] ppid=5442 vsize=28050220 memory=8136020 CPUtime=2491.65 cores=0-7
/proc/5445/task/5472/stat : 5472 (java) R 5442 5445 4477 0 -1 4202560 143393 0 0 0 248985 180 0 0 20 0 48 0 81791881 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286364710120 140286803265934 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5473] ppid=5442 vsize=28050220 memory=1 CPUtime=0.11 cores=0-7
/proc/5445/task/5473/stat : 5473 (java) S 5442 5445 4477 0 -1 1077944384 711 0 0 0 11 0 0 0 20 0 48 0 81791881 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286363659392 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5474] ppid=5442 vsize=28050220 memory=1 CPUtime=2493.03 cores=0-7
/proc/5445/task/5474/stat : 5474 (java) R 5442 5445 4477 0 -1 4202560 131588 0 0 0 249134 169 0 0 20 0 48 0 81791881 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286362604304 140286811346204 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5475] ppid=5442 vsize=28050220 memory=1 CPUtime=2496.7 cores=0-7
/proc/5445/task/5475/stat : 5475 (java) R 5442 5445 4477 0 -1 4202560 171173 0 0 0 249460 210 0 0 20 0 48 0 81791881 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286361551840 140286806583546 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5476] ppid=5442 vsize=28050220 memory=1 CPUtime=2495.93 cores=0-7
/proc/5445/task/5476/stat : 5476 (java) R 5442 5445 4477 0 -1 4202560 142434 0 0 0 249416 177 0 0 20 0 48 0 81791881 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286360500544 140286811346200 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5477] ppid=5442 vsize=28050220 memory=1 CPUtime=2489.22 cores=0-7
/proc/5445/task/5477/stat : 5477 (java) R 5442 5445 4477 0 -1 1077944384 129551 0 0 0 248765 157 0 0 20 0 48 0 81791882 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286359447440 140287203178197 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5478] ppid=5442 vsize=28050220 memory=1 CPUtime=0.03 cores=0-7
/proc/5445/task/5478/stat : 5478 (java) S 5442 5445 4477 0 -1 1077944384 875 0 0 0 3 0 0 0 20 0 48 0 81791882 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286358395792 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5479] ppid=5442 vsize=28050220 memory=3 CPUtime=0.01 cores=0-7
/proc/5445/task/5479/stat : 5479 (java) S 5442 5445 4477 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 48 0 81791910 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286357349904 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5480] ppid=5442 vsize=28050220 memory=1 CPUtime=0.01 cores=0-7
/proc/5445/task/5480/stat : 5480 (java) S 5442 5445 4477 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 48 0 81791910 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286356290464 140287203179138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5481] ppid=5442 vsize=28050220 memory=2 CPUtime=0.01 cores=0-7
/proc/5445/task/5481/stat : 5481 (java) S 5442 5445 4477 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 48 0 81791910 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286355244304 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5482] ppid=5442 vsize=28050220 memory=301741373374332954 CPUtime=0.01 cores=0-7
/proc/5445/task/5482/stat : 5482 (java) S 5442 5445 4477 0 -1 1077944384 1370 0 0 0 1 0 0 0 20 0 48 0 81791931 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286352050944 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5483] ppid=5442 vsize=28050220 memory=288230583166042426 CPUtime=0.01 cores=0-7
/proc/5445/task/5483/stat : 5483 (java) S 5442 5445 4477 0 -1 1077944384 1236 0 0 0 1 0 0 0 20 0 48 0 81791933 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286350998400 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5484] ppid=5442 vsize=28050220 memory=13847469322668609 CPUtime=0.03 cores=0-7
/proc/5445/task/5484/stat : 5484 (java) S 5442 5445 4477 0 -1 1077944384 1340 0 0 0 3 0 0 0 20 0 48 0 81791933 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286349952656 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5485] ppid=5442 vsize=28050220 memory=0 CPUtime=0.03 cores=0-7
/proc/5445/task/5485/stat : 5485 (java) S 5442 5445 4477 0 -1 1077944384 1108 0 0 0 3 0 0 0 20 0 48 0 81791934 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286348900112 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5486] ppid=5442 vsize=28050220 memory=140002245174489 CPUtime=0.01 cores=0-7
/proc/5445/task/5486/stat : 5486 (java) S 5442 5445 4477 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 48 0 81791934 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286347847056 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5487] ppid=5442 vsize=28050220 memory=2336 CPUtime=0.02 cores=0-7
/proc/5445/task/5487/stat : 5487 (java) S 5442 5445 4477 0 -1 1077944384 1345 0 0 0 2 0 0 0 20 0 48 0 81791934 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286346788224 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5488] ppid=5442 vsize=28050220 memory=1580 CPUtime=0.01 cores=0-7
/proc/5445/task/5488/stat : 5488 (java) S 5442 5445 4477 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 48 0 81791934 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286345741456 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5489] ppid=5442 vsize=28050220 memory=928 CPUtime=0.01 cores=0-7
/proc/5445/task/5489/stat : 5489 (java) S 5442 5445 4477 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 48 0 81791934 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286344688912 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5490] ppid=5442 vsize=28050220 memory=2244 CPUtime=0.01 cores=0-7
/proc/5445/task/5490/stat : 5490 (java) S 5442 5445 4477 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 48 0 81791934 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286343635856 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
[pid=5445/tid=5491] ppid=5442 vsize=28050220 memory=4124 CPUtime=0.02 cores=0-7
/proc/5445/task/5491/stat : 5491 (java) S 5442 5445 4477 0 -1 1077944384 939 0 0 0 2 0 0 0 20 0 48 0 81791934 28723425280 2034490 33554432000 4194304 4196468 140733768512032 140286342583312 140287203178197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37855232 140733768516686 140733768516869 140733768516869 140733768519631 0
Current children cumulated CPU time: 20054 s
Current children cumulated vsize: 28050220 KiB
Current children cumulated memory: 8137960 KiB
[startup+2520.3 s]*
/proc/loadavg: 8.55 8.72 8.75 2/181 5564
/proc/meminfo: memFree=16472916/32770624 swapFree=67108784/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.34
CPU time (s): 20054.7
CPU user time (s): 20034.8
CPU system time (s): 19.9363
CPU usage (%): 795.716
Max. virtual memory (cumulated for all children) (KiB): 28050220
Max. memory (cumulated for all children) (KiB): 8137960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20034.8
system time used= 19.9363
maximum resident set size= 8138948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1697307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 337605
involuntary context switches= 424260
# summary of solver processes directly reported to runsolver:
# pid: 5445
# total CPU time (s): 20054.7
# total CPU user time (s): 20034.8
# total CPU system time (s): 19.9363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.3792 second user time and 38.2146 second system time
The end
Begin job on node148 at 2018-07-26 23:58:03 IDJOB=4291172 IDBENCH=141224 IDSOLVER=2745 FILE ID=node148/4291172-1532642283 RUNJOBID= node148-1532633880-4504 PBS_JOBID= 21022175 Free space on /tmp= 43264 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-9_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291172-1532642283/watcher-4291172-1532642283 -o /tmp/evaluation-result-4291172-1532642283/solver-4291172-1532642283 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1532633880-4504 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 132678146 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291172-1532642283.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fde90c264558af66570e1c8b29991738 RANDOM SEED=132678146 node148.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.50 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.50 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.50 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.50 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: 23465568 kB MemAvailable: 31931068 kB Buffers: 174308 kB Cached: 8417764 kB SwapCached: 64 kB Active: 2035436 kB Inactive: 6606472 kB Active(anon): 1876 kB Inactive(anon): 75908 kB Active(file): 2033560 kB Inactive(file): 6530564 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108784 kB Dirty: 36148 kB Writeback: 0 kB AnonPages: 56892 kB Mapped: 41024 kB Shmem: 25148 kB Slab: 357252 kB SReclaimable: 329836 kB SUnreclaim: 27416 kB KernelStack: 3152 kB PageTables: 4968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323880 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 43228 MiB End job on node148 at 2018-07-27 00:40:03