Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 | OPT | 583 | 23.3179 | 6.48042 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff21.xml |
MD5SUM | 9ed96a9b02dc4e036934e9ef3088dc03 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 583 |
Best CPU time to get the best result obtained on this benchmark | 12.5314 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 323 |
Number of constraints | 319 |
Number of domains | 34 |
Minimum domain size | 31 |
Maximum domain size | 34 |
Distribution of domain sizes | [{"size":31,"count":24},{"size":32,"count":48},{"size":33,"count":108},{"size":34,"count":143}] |
Minimum variable degree | 2 |
Maximum variable degree | 54 |
Distribution of variable degrees | [{"degree":2,"count":318},{"degree":54,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":265},{"arity":5,"count":1},{"arity":6,"count":53}] |
Number of extensional constraints | 265 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":265},{"type":"ordered","count":1},{"type":"minimum","count":53}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399198-1568699274.xml" -tl '2520s' -p 4 0.12/0.19 c Choco e747e1e 0.12/0.20 c [HOME/instance-4399198-1568699274.xml, -tl, 2520s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 2.02/0.89 c solve instance... 3.45/1.23 o 4062 3.45/1.24 o 4018 3.45/1.25 o 3892 3.81/1.32 o 3388 3.81/1.32 o 3350 3.81/1.33 o 3314 3.81/1.33 o 3144 3.81/1.33 o 3114 3.81/1.34 o 3088 3.81/1.35 o 2978 3.81/1.35 o 2960 3.81/1.36 o 2852 3.81/1.36 o 2698 3.81/1.37 o 2668 3.81/1.38 o 2414 3.81/1.39 o 2363 4.15/1.40 o 2311 4.15/1.41 o 2284 4.15/1.41 o 2156 4.15/1.41 o 2129 4.15/1.41 o 2114 4.15/1.43 o 2058 4.54/1.52 o 1970 4.54/1.52 o 1957 4.54/1.53 o 1946 4.54/1.53 o 1903 4.54/1.55 o 1898 4.54/1.56 o 1897 4.54/1.56 o 1896 4.54/1.57 o 1865 4.54/1.57 o 1863 4.54/1.58 o 1846 4.54/1.58 o 1841 4.54/1.58 o 1840 4.54/1.58 o 1505 4.89/1.61 o 1503 4.89/1.62 o 1496 4.89/1.63 o 1493 4.89/1.64 o 1490 4.89/1.65 o 1432 4.89/1.66 o 1418 4.89/1.66 o 1408 4.89/1.67 o 1378 4.89/1.67 o 1376 4.89/1.68 o 1360 4.89/1.69 o 1358 4.89/1.69 o 1208 5.68/1.81 o 1116 6.05/1.92 o 1115 6.48/2.04 o 1099 6.48/2.05 o 1096 6.48/2.09 o 1027 6.87/2.15 o 1025 6.87/2.16 o 1017 6.87/2.17 o 998 6.87/2.17 o 977 6.87/2.18 o 959 6.87/2.18 o 956 6.87/2.19 o 953 6.87/2.19 o 950 7.18/2.20 o 924 7.18/2.20 o 897 7.18/2.21 o 877 7.18/2.22 o 874 7.18/2.26 o 864 8.74/2.65 o 861 8.74/2.65 o 853 8.74/2.65 o 850 8.74/2.65 o 836 8.74/2.65 o 816 8.74/2.65 o 813 8.74/2.65 o 811 8.74/2.65 o 808 8.74/2.65 o 806 9.54/2.82 o 795 9.54/2.82 o 790 9.54/2.83 o 789 9.54/2.84 o 787 9.54/2.84 o 785 10.73/3.11 o 784 10.73/3.19 o 782 12.29/3.53 o 756 12.84/3.71 o 754 12.84/3.72 o 747 12.84/3.72 o 738 12.84/3.74 o 729 12.84/3.75 o 728 12.84/3.78 o 666 13.52/3.97 o 663 13.52/3.97 o 661 13.52/3.97 o 660 13.52/3.98 o 658 13.52/3.99 o 657 13.92/4.01 o 656 13.92/4.03 o 588 15.45/4.41 o 586 18.96/5.35 o 585 18.96/5.35 o 584 20.84/5.82 o 583 23.17/6.47 s OPTIMUM FOUND 23.17/6.47 v <instantiation> 23.17/6.47 v <list>x[0] x[1] x[2] x[3] x[4] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[32][0] drd[32][1] drd[32][2] drd[32][3] drd[32][4] drd[33][0] drd[33][1] drd[33][2] drd[33][3] drd[33][4] drd[34][0] drd[34][1] drd[34][2] drd[34][3] drd[34][4] drd[35][0] drd[35][1] drd[35][2] drd[35][3] drd[35][4] drd[36][0] drd[36][1] drd[36][2] drd[36][3] drd[36][4] drd[37][0] drd[37][1] drd[37][2] drd[37][3] drd[37][4] drd[38][0] drd[38][1] drd[38][2] drd[38][3] drd[38][4] drd[39][0] drd[39][1] drd[39][2] drd[39][3] drd[39][4] drd[40][0] drd[40][1] drd[40][2] drd[40][3] drd[40][4] drd[41][0] drd[41][1] drd[41][2] drd[41][3] drd[41][4] drd[42][0] drd[42][1] drd[42][2] drd[42][3] drd[42][4] drd[43][0] drd[43][1] drd[43][2] drd[43][3] drd[43][4] drd[44][0] drd[44][1] drd[44][2] drd[44][3] drd[44][4] drd[45][0] drd[45][1] drd[45][2] drd[45][3] drd[45][4] drd[46][0] drd[46][1] drd[46][2] drd[46][3] drd[46][4] drd[47][0] drd[47][1] drd[47][2] drd[47][3] drd[47][4] drd[48][0] drd[48][1] drd[48][2] drd[48][3] drd[48][4] drd[49][0] drd[49][1] drd[49][2] drd[49][3] drd[49][4] drd[50][0] drd[50][1] drd[50][2] drd[50][3] drd[50][4] drd[51][0] drd[51][1] drd[51][2] drd[51][3] drd[51][4] drd[52][0] drd[52][1] drd[52][2] drd[52][3] drd[52][4] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] dr[32] dr[33] dr[34] dr[35] dr[36] dr[37] dr[38] dr[39] dr[40] dr[41] dr[42] dr[43] dr[44] dr[45] dr[46] dr[47] dr[48] dr[49] dr[50] dr[51] dr[52] </list> 23.17/6.47 v <values>15 52 113 204 277 1 38 99 190 263 1 38 99 190 263 91 54 7 98 171 91 54 7 98 171 36 1 62 153 226 36 1 62 153 226 118 81 20 71 144 118 81 20 71 144 52 15 46 137 210 52 15 46 137 210 11 26 87 178 251 12 25 86 177 250 127 90 29 62 135 0 37 98 189 262 0 37 98 189 262 189 152 91 0 73 188 151 90 1 74 262 225 164 73 0 262 225 164 73 0 35 2 63 154 227 35 2 63 154 227 43 6 55 146 219 42 5 56 147 220 4 41 102 193 266 301 264 203 112 39 42 5 56 147 220 70 33 28 119 192 234 197 136 45 28 29 8 69 160 233 138 101 40 51 124 208 171 110 19 54 208 171 110 19 54 15 52 113 204 277 15 52 113 204 277 30 7 68 159 232 30 7 68 159 232 67 30 31 122 195 260 223 162 71 2 28 9 70 161 234 15 22 83 174 247 15 22 83 174 247 37 0 61 152 225 37 0 61 152 225 179 142 81 10 83 88 51 10 101 174 98 61 0 91 164 98 61 0 91 164 140 103 42 49 122 140 103 42 49 122 43 6 55 146 219 43 6 55 146 219 95 58 3 94 167 95 58 3 94 167 1 1 7 7 1 1 20 20 15 15 11 12 29 0 0 0 1 0 0 2 2 6 5 4 39 5 28 28 8 40 19 19 15 15 7 7 30 2 9 15 15 0 0 10 10 0 0 42 42 6 6 3 3 </values> 23.17/6.47 v </instantiation>
OK 583
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: 16375 MiB (12251 MiB free) memory of node 1: 16384 MiB (15435 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399198-1568699274/watcher-4399198-1568699274 -o /tmp/evaluation-result-4399198-1568699274/solver-4399198-1568699274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4848 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2124322714 HOME/instance-4399198-1568699274.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=17199, runsolver pid=17196 [startup+0.100092 s]* /proc/loadavg: 8.84 8.69 8.54 6/233 17215 /proc/meminfo: memFree=28333956/32770688 swapFree=66961208/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445869085 115843072 362 33554432000 4194304 5098028 140723463106960 140723463105064 139737364480636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11673600 140723463111546 140723463111789 140723463111789 140723463114698 0 /proc/17199/statm: 28282 362 304 221 0 87 0 [pid=17201] ppid=17199 vsize=15144776 memory=29632 CPUtime=0.12 cores=4-7 /proc/17201/stat : 17201 (java) S 17199 17199 4816 0 -1 1077944320 5797 0 0 0 11 1 0 0 20 0 15 0 445869086 15508250624 7408 33554432000 4194304 4196468 140731757019504 140731757002048 140591207091959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 /proc/17201/statm: 3786194 7408 3144 1 0 3748377 0 [pid=17201/tid=17202] ppid=17199 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=4-7 /proc/17201/task/17202/stat : 17202 (java) R 17199 17199 4816 0 -1 4202560 3724 0 0 0 8 1 0 0 20 0 15 0 445869086 15508250624 7408 33554432000 4194304 4196468 140731757019504 140591211325232 140591207103894 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17203] ppid=17199 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=4-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445869087 15508250624 7408 33554432000 4194304 4196468 140731757019504 140591135132688 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17204] ppid=17199 vsize=15144776 memory=139941936662144 CPUtime=0 cores=4-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15508250624 7408 33554432000 4194304 4196468 140731757019504 140591134080144 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17205] ppid=17199 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15508250624 7408 33554432000 4194304 4196468 140731757019504 140591133027088 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17206] ppid=17199 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15508250624 7408 33554432000 4194304 4196468 140731757019504 140591131974544 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17207] ppid=17199 vsize=15144776 memory=139941936662144 CPUtime=0 cores=4-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445869088 15508250624 7408 33554432000 4194304 4196468 140731757019504 140590541449456 140591207103106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17208] ppid=17199 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445869089 15508250624 7408 33554432000 4194304 4196468 140731757019504 140590540395680 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17209] ppid=17199 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445869089 15508250624 7408 33554432000 4194304 4196468 140731757019504 140590539342576 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17210] ppid=17199 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445869092 15508250624 7408 33554432000 4194304 4196468 140731757019504 140590538291152 140591207110555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17211] ppid=17199 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17211/stat : 17211 (java) S 17199 17199 4816 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 445869092 15508250624 7408 33554432000 4194304 4196468 140731757019504 140590537239280 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17212] ppid=17199 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/17201/task/17212/stat : 17212 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445869092 15508250624 7408 33554432000 4194304 4196468 140731757019504 140590536186736 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17213] ppid=17199 vsize=15144776 memory=139941936662144 CPUtime=0.01 cores=4-7 /proc/17201/task/17213/stat : 17213 (java) R 17199 17199 4816 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 445869092 15508250624 7408 33554432000 4194304 4196468 140731757019504 140590535133680 140591188501573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17214] ppid=17199 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445869092 15508250624 7408 33554432000 4194304 4196468 140731757019504 140590534081376 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17215] ppid=17199 vsize=15144776 memory=139941936662144 CPUtime=0 cores=4-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869092 15508250624 7408 33554432000 4194304 4196468 140731757019504 140590533028400 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 31080 KiB [startup+0.2117 s]* /proc/loadavg: 8.84 8.69 8.54 6/233 17215 /proc/meminfo: memFree=28321484/32770688 swapFree=66961208/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445869085 115843072 362 33554432000 4194304 5098028 140723463106960 140723463105064 139737364480636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11673600 140723463111546 140723463111789 140723463111789 140723463114698 0 /proc/17199/statm: 28282 362 304 221 0 87 0 [pid=17201] ppid=17199 vsize=15144776 memory=40660 CPUtime=0.34 cores=4-7 /proc/17201/stat : 17201 (java) S 17199 17199 4816 0 -1 1077944320 9412 0 0 0 32 2 0 0 20 0 15 0 445869086 15508250624 10165 33554432000 4194304 4196468 140731757019504 140731757002048 140591207091959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 /proc/17201/statm: 3786194 10165 3308 1 0 3748377 0 [pid=17201/tid=17202] ppid=17199 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=4-7 /proc/17201/task/17202/stat : 17202 (java) R 17199 17199 4816 0 -1 4202560 6581 0 0 0 18 2 0 0 20 0 15 0 445869086 15508250624 10230 33554432000 4194304 4196468 140731757019504 140591211323088 140591207113306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17203] ppid=17199 vsize=15144776 memory=9642 CPUtime=0 cores=4-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445869087 15508250624 10230 33554432000 4194304 4196468 140731757019504 140591135132688 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17204] ppid=17199 vsize=15144776 memory=3978428026718536353 CPUtime=0 cores=4-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15508250624 10230 33554432000 4194304 4196468 140731757019504 140591134080144 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17205] ppid=17199 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15508250624 10230 33554432000 4194304 4196468 140731757019504 140591133027088 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17206] ppid=17199 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15508250624 10230 33554432000 4194304 4196468 140731757019504 140591131974544 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17207] ppid=17199 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445869088 15508250624 10230 33554432000 4194304 4196468 140731757019504 140590541449456 140591207103106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17208] ppid=17199 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445869089 15508250624 10230 33554432000 4194304 4196468 140731757019504 140590540395680 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17209] ppid=17199 vsize=15144776 memory=139941936662144 CPUtime=0 cores=4-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445869089 15508250624 10230 33554432000 4194304 4196468 140731757019504 140590539342576 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17210] ppid=17199 vsize=15144776 memory=-1 CPUtime=0 cores=4-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445869092 15508250624 10230 33554432000 4194304 4196468 140731757019504 140590538291152 140591207110555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17211] ppid=17199 vsize=15144776 memory=0 CPUtime=0.03 cores=4-7 /proc/17201/task/17211/stat : 17211 (java) S 17199 17199 4816 0 -1 1077944384 733 0 0 0 3 0 0 0 20 0 15 0 445869092 15508250624 10230 33554432000 4194304 4196468 140731757019504 140590537239280 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17212] ppid=17199 vsize=15144776 memory=-1 CPUtime=0.02 cores=4-7 /proc/17201/task/17212/stat : 17212 (java) S 17199 17199 4816 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 15 0 445869092 15508250624 10230 33554432000 4194304 4196468 140731757019504 140590536186736 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17213] ppid=17199 vsize=15144776 memory=0 CPUtime=0.08 cores=4-7 /proc/17201/task/17213/stat : 17213 (java) R 17199 17199 4816 0 -1 4202560 717 0 0 0 8 0 0 0 20 0 15 0 445869092 15508250624 10230 33554432000 4194304 4196468 140731757019504 140590535133680 140591207103894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17214] ppid=17199 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445869092 15508250624 10230 33554432000 4194304 4196468 140731757019504 140590534081376 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17215] ppid=17199 vsize=15144776 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869092 15508250624 10230 33554432000 4194304 4196468 140731757019504 140590533028400 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 42108 KiB [startup+0.315146 s]* /proc/loadavg: 8.84 8.69 8.54 6/233 17215 /proc/meminfo: memFree=28317120/32770688 swapFree=66961208/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445869085 115843072 362 33554432000 4194304 5098028 140723463106960 140723463105064 139737364480636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11673600 140723463111546 140723463111789 140723463111789 140723463114698 0 /proc/17199/statm: 28282 362 304 221 0 87 0 [pid=17201] ppid=17199 vsize=15149032 memory=46928 CPUtime=0.52 cores=4-7 /proc/17201/stat : 17201 (java) S 17199 17199 4816 0 -1 1077944320 10559 0 0 0 49 3 0 0 20 0 15 0 445869086 15512608768 11732 33554432000 4194304 4196468 140731757019504 140731757002048 140591207091959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 /proc/17201/statm: 3787258 11732 3331 1 0 3748377 0 [pid=17201/tid=17202] ppid=17199 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=4-7 /proc/17201/task/17202/stat : 17202 (java) R 17199 17199 4816 0 -1 4202560 7616 0 0 0 27 3 0 0 20 0 15 0 445869086 15512608768 11732 33554432000 4194304 4196468 140731757019504 140591211298448 140591207103894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17203] ppid=17199 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445869087 15512608768 11732 33554432000 4194304 4196468 140731757019504 140591135132688 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17204] ppid=17199 vsize=15149032 memory=3546925775024568996 CPUtime=0 cores=4-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15512608768 11732 33554432000 4194304 4196468 140731757019504 140591134080144 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17205] ppid=17199 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15512608768 11732 33554432000 4194304 4196468 140731757019504 140591133027088 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17206] ppid=17199 vsize=15149032 memory=-1 CPUtime=0 cores=4-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15512608768 11732 33554432000 4194304 4196468 140731757019504 140591131974544 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17207] ppid=17199 vsize=15149032 memory=139941936662144 CPUtime=0 cores=4-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445869088 15512608768 11732 33554432000 4194304 4196468 140731757019504 140590541449456 140591207103106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17208] ppid=17199 vsize=15149032 memory=-1 CPUtime=0 cores=4-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445869089 15512608768 11732 33554432000 4194304 4196468 140731757019504 140590540395680 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17209] ppid=17199 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445869089 15512608768 11732 33554432000 4194304 4196468 140731757019504 140590539342576 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17210] ppid=17199 vsize=15149032 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445869092 15512608768 11732 33554432000 4194304 4196468 140731757019504 140590538291152 140591207110555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17211] ppid=17199 vsize=15149032 memory=0 CPUtime=0.04 cores=4-7 /proc/17201/task/17211/stat : 17211 (java) S 17199 17199 4816 0 -1 1077944384 758 0 0 0 4 0 0 0 20 0 15 0 445869092 15512608768 11732 33554432000 4194304 4196468 140731757019504 140590537239280 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17212] ppid=17199 vsize=15149032 memory=-1 CPUtime=0.03 cores=4-7 /proc/17201/task/17212/stat : 17212 (java) S 17199 17199 4816 0 -1 1077944384 106 0 0 0 3 0 0 0 20 0 15 0 445869092 15512608768 11732 33554432000 4194304 4196468 140731757019504 140590536186736 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17213] ppid=17199 vsize=15149032 memory=139941936662144 CPUtime=0.13 cores=4-7 /proc/17201/task/17213/stat : 17213 (java) R 17199 17199 4816 0 -1 4202560 786 0 0 0 13 0 0 0 20 0 15 0 445869092 15512608768 11732 33554432000 4194304 4196468 140731757019504 140590535133680 140591186061171 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17214] ppid=17199 vsize=15149032 memory=-1 CPUtime=0 cores=4-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445869092 15512608768 11732 33554432000 4194304 4196468 140731757019504 140590534081376 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17215] ppid=17199 vsize=15149032 memory=139941936662144 CPUtime=0 cores=4-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869092 15512608768 11732 33554432000 4194304 4196468 140731757019504 140590533028400 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 48376 KiB [startup+0.701963 s] /proc/loadavg: 8.84 8.69 8.54 10/233 17215 /proc/meminfo: memFree=28300460/32770688 swapFree=66961208/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445869085 115843072 362 33554432000 4194304 5098028 140723463106960 140723463105064 139737364480636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11673600 140723463111546 140723463111789 140723463111789 140723463114698 0 /proc/17199/statm: 28282 362 304 221 0 87 0 [pid=17201] ppid=17199 vsize=15151156 memory=89920 CPUtime=1.61 cores=4-7 /proc/17201/stat : 17201 (java) S 17199 17199 4816 0 -1 1077944320 14213 0 0 0 156 5 0 0 20 0 15 0 445869086 15514783744 22480 33554432000 4194304 4196468 140731757019504 140731757002048 140591207091959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 /proc/17201/statm: 3787789 22480 3450 1 0 3748889 0 [pid=17201/tid=17202] ppid=17199 vsize=15151156 memory=2120 CPUtime=0.68 cores=4-7 /proc/17201/task/17202/stat : 17202 (java) R 17199 17199 4816 0 -1 4202560 8767 0 0 0 64 4 0 0 20 0 15 0 445869086 15514783744 22480 33554432000 4194304 4196468 140731757019504 140591211324952 140591186988451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17203] ppid=17199 vsize=15151156 memory=496 CPUtime=0 cores=4-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445869087 15514783744 22480 33554432000 4194304 4196468 140731757019504 140591135132688 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17204] ppid=17199 vsize=15151156 memory=1556 CPUtime=0 cores=4-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15514783744 22480 33554432000 4194304 4196468 140731757019504 140591134080144 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17205] ppid=17199 vsize=15151156 memory=928 CPUtime=0 cores=4-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15514783744 22480 33554432000 4194304 4196468 140731757019504 140591133027088 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17206] ppid=17199 vsize=15151156 memory=1628 CPUtime=0 cores=4-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869087 15514783744 22480 33554432000 4194304 4196468 140731757019504 140591131974544 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17207] ppid=17199 vsize=15151156 memory=796 CPUtime=0 cores=4-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445869088 15514783744 22480 33554432000 4194304 4196468 140731757019504 140590541449456 140591207103106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17208] ppid=17199 vsize=15151156 memory=1444 CPUtime=0 cores=4-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445869089 15514783744 22480 33554432000 4194304 4196468 140731757019504 140590540395680 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17209] ppid=17199 vsize=15151156 memory=1984 CPUtime=0 cores=4-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445869089 15514783744 22480 33554432000 4194304 4196468 140731757019504 140590539342576 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17210] ppid=17199 vsize=15151156 memory=2424 CPUtime=0 cores=4-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445869092 15514783744 22480 33554432000 4194304 4196468 140731757019504 140590538291152 140591207110555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17211] ppid=17199 vsize=15151156 memory=7302135314614015844 CPUtime=0.27 cores=4-7 /proc/17201/task/17211/stat : 17211 (java) R 17199 17199 4816 0 -1 1077944384 1468 0 0 0 27 0 0 0 20 0 15 0 445869092 15514783744 22480 33554432000 4194304 4196468 140731757019504 140590537232304 140591207102165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17212] ppid=17199 vsize=15151156 memory=7373050546437185642 CPUtime=0.23 cores=4-7 /proc/17201/task/17212/stat : 17212 (java) R 17199 17199 4816 0 -1 4202560 828 0 0 0 23 0 0 0 20 0 15 0 445869092 15514783744 22480 33554432000 4194304 4196468 140731757019504 140590536178240 140591207113306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17213] ppid=17199 vsize=15151156 memory=7368002589315584080 CPUtime=0.41 cores=4-7 /proc/17201/task/17213/stat : 17213 (java) R 17199 17199 4816 0 -1 4202560 1844 0 0 0 41 0 0 0 20 0 15 0 445869092 15514783744 22480 33554432000 4194304 4196468 140731757019504 140590535133808 140591207103894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17214] ppid=17199 vsize=15151156 memory=4638778406923096400 CPUtime=0 cores=4-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445869092 15514783744 22480 33554432000 4194304 4196468 140731757019504 140590534081376 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17215] ppid=17199 vsize=15151156 memory=7956009407713273195 CPUtime=0 cores=4-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445869092 15514783744 22480 33554432000 4194304 4196468 140731757019504 140590533028400 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 Current children cumulated CPU time: 1.61 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 91368 KiB [startup+1.50115 s] /proc/loadavg: 8.93 8.72 8.55 10/237 17219 /proc/meminfo: memFree=28204788/32770688 swapFree=66961208/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445869085 115843072 362 33554432000 4194304 5098028 140723463106960 140723463105064 139737364480636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11673600 140723463111546 140723463111789 140723463111789 140723463114698 0 /proc/17199/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445869092 15790579712 61733 33554432000 4194304 4196468 140731757019504 140590533028400 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 Current children cumulated CPU time: 4.54 s Current children cumulated vsize: 15533616 KiB Current children cumulated memory: 248380 KiB [startup+3.11164 s] /proc/loadavg: 8.93 8.72 8.55 12/237 17535 /proc/meminfo: memFree=27954536/32770688 swapFree=66961208/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445869085 115843072 362 33554432000 4194304 5098028 140723463106960 140723463105064 139737364480636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11673600 140723463111546 140723463111789 140723463111789 140723463114698 0 /proc/17199/statm: 28282 362 304 221 0 87 0 [pid=17201] ppid=17199 vsize=15486024 memory=407828 CPUtime=10.73 cores=4-7 /proc/17201/stat : 17201 (java) S 17199 17199 4816 0 -1 1077944320 28882 0 0 0 1047 26 0 0 20 0 19 0 445869086 15857688576 101957 33554432000 4194304 4196468 140731757019504 140731757002048 140591207091959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 /proc/17201/statm: 3871506 101957 3521 1 0 3832606 0 [pid=17201/tid=17202] ppid=17199 vsize=15486024 memory=0 CPUtime=0.91 cores=4-7 /proc/17201/task/17202/stat : 17202 (java) S 17199 17199 4816 0 -1 1077944384 8892 0 0 0 86 5 0 0 20 0 19 0 445869086 15857688576 101957 33554432000 4194304 4196468 140731757019504 140591211332736 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17203] ppid=17199 vsize=15486024 memory=0 CPUtime=0.07 cores=4-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 4816 0 -1 1077944384 149 0 0 0 4 3 0 0 20 0 19 0 445869087 15857688576 101957 33554432000 4194304 4196468 140731757019504 140591135132688 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17204] ppid=17199 vsize=15486024 memory=1448 CPUtime=0.08 cores=4-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 4816 0 -1 1077944384 74 0 0 0 5 3 0 0 20 0 19 0 445869087 15857688576 101957 33554432000 4194304 4196468 140731757019504 140591134080144 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17205] ppid=17199 vsize=15486024 memory=394184 CPUtime=0.06 cores=4-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 4816 0 -1 1077944384 108 0 0 0 4 2 0 0 20 0 19 0 445869087 15857688576 101957 33554432000 4194304 4196468 140731757019504 140591133027088 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17206] ppid=17199 vsize=15486024 memory=0 CPUtime=0.08 cores=4-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 4816 0 -1 1077944384 139 0 0 0 5 3 0 0 20 0 19 0 445869087 15857688576 101957 33554432000 4194304 4196468 140731757019504 140591131974544 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17207] ppid=17199 vsize=15486024 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 4816 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 445869088 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590541449456 140591207103106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17208] ppid=17199 vsize=15486024 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445869089 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590540395744 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17209] ppid=17199 vsize=15486024 memory=7679927811743456362 CPUtime=0 cores=4-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 4816 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445869089 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590539342592 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17210] ppid=17199 vsize=15486024 memory=129620 CPUtime=0 cores=4-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445869092 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590538291152 140591207110555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17211] ppid=17199 vsize=15486024 memory=0 CPUtime=2.11 cores=4-7 /proc/17201/task/17211/stat : 17211 (java) R 17199 17199 4816 0 -1 4202560 4815 0 0 0 211 0 0 0 20 0 19 0 445869092 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590537225376 140591192021473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17212] ppid=17199 vsize=15486024 memory=8 CPUtime=2.1 cores=4-7 /proc/17201/task/17212/stat : 17212 (java) R 17199 17199 4816 0 -1 4202560 4047 0 0 0 209 1 0 0 20 0 19 0 445869092 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590536177504 140591188612782 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17213] ppid=17199 vsize=15486024 memory=0 CPUtime=0.82 cores=4-7 /proc/17201/task/17213/stat : 17213 (java) S 17199 17199 4816 0 -1 1077944384 3490 0 0 0 82 0 0 0 20 0 19 0 445869092 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590535133680 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17214] ppid=17199 vsize=15486024 memory=279883557476112 CPUtime=0 cores=4-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445869092 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590534081376 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17215] ppid=17199 vsize=15486024 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445869092 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590533028400 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17532] ppid=17199 vsize=15486024 memory=0 CPUtime=0.13 cores=4-7 /proc/17201/task/17532/stat : 17532 (java) S 17199 17199 4816 0 -1 1077944384 18 0 0 0 13 0 0 0 20 0 19 0 445869370 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590523814048 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17533] ppid=17199 vsize=15486024 memory=0 CPUtime=0.13 cores=4-7 /proc/17201/task/17533/stat : 17533 (java) S 17199 17199 4816 0 -1 1077944384 24 0 0 0 13 0 0 0 20 0 19 0 445869370 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590058558624 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17534] ppid=17199 vsize=15486024 memory=0 CPUtime=0.21 cores=4-7 /proc/17201/task/17534/stat : 17534 (java) S 17199 17199 4816 0 -1 1077944384 25 0 0 0 21 0 0 0 20 0 19 0 445869370 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590521709856 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17535] ppid=17199 vsize=15486024 memory=0 CPUtime=0.19 cores=4-7 /proc/17201/task/17535/stat : 17535 (java) R 17199 17199 4816 0 -1 4202560 18 0 0 0 19 0 0 0 20 0 19 0 445869370 15857688576 101957 33554432000 4194304 4196468 140731757019504 140590522759048 140590811882620 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 Current children cumulated CPU time: 10.73 s Current children cumulated vsize: 15599152 KiB Current children cumulated memory: 409276 KiB [startup+6.30117 s] /proc/loadavg: 9.10 8.75 8.56 11/237 17615 /proc/meminfo: memFree=27924248/32770688 swapFree=66961208/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445869085 115843072 362 33554432000 4194304 5098028 140723463106960 140723463105064 139737364480636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11673600 140723463111546 140723463111789 140723463111789 140723463114698 0 /proc/17199/statm: 28282 362 304 221 0 87 0 [pid=17201] ppid=17199 vsize=15553616 memory=438136 CPUtime=22.78 cores=4-7 /proc/17201/stat : 17201 (java) S 17199 17199 4816 0 -1 1077944320 37440 0 0 0 2248 30 0 0 20 0 19 0 445869086 15926902784 109534 33554432000 4194304 4196468 140731757019504 140731757002048 140591207091959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 /proc/17201/statm: 3888404 109534 3524 1 0 3849504 0 [pid=17201/tid=17202] ppid=17199 vsize=15553616 memory=437960 CPUtime=0.92 cores=4-7 /proc/17201/task/17202/stat : 17202 (java) S 17199 17199 4816 0 -1 1077944384 8907 0 0 0 87 5 0 0 20 0 19 0 445869086 15926902784 109534 33554432000 4194304 4196468 140731757019504 140591211332736 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17203] ppid=17199 vsize=15553616 memory=1448 CPUtime=0.08 cores=4-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 4816 0 -1 1077944384 306 0 0 0 5 3 0 0 20 0 19 0 445869087 15926902784 109534 33554432000 4194304 4196468 140731757019504 140591135132688 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17204] ppid=17199 vsize=15553616 memory=438136 CPUtime=0.09 cores=4-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 4816 0 -1 1077944384 363 0 0 0 6 3 0 0 20 0 19 0 445869087 15926902784 109534 33554432000 4194304 4196468 140731757019504 140591134080144 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17205] ppid=17199 vsize=15553616 memory=139941778971297 CPUtime=0.08 cores=4-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 4816 0 -1 1077944384 265 0 0 0 5 3 0 0 20 0 19 0 445869087 15926902784 109534 33554432000 4194304 4196468 140731757019504 140591133027088 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17206] ppid=17199 vsize=15553616 memory=-2672971631320983069 CPUtime=0.09 cores=4-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 4816 0 -1 1077944384 274 0 0 0 6 3 0 0 20 0 19 0 445869087 15926902784 109534 33554432000 4194304 4196468 140731757019504 140591131974544 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17207] ppid=17199 vsize=15553616 memory=-6237260532469557610 CPUtime=0.01 cores=4-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 4816 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 19 0 445869088 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590541449456 140591207103106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17208] ppid=17199 vsize=15553616 memory=-7384994778349281184 CPUtime=0 cores=4-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445869089 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590540395744 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17209] ppid=17199 vsize=15553616 memory=279883557429040 CPUtime=0 cores=4-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 4816 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445869089 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590539342592 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17210] ppid=17199 vsize=15553616 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445869092 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590538291152 140591207110555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17211] ppid=17199 vsize=15553616 memory=0 CPUtime=2.99 cores=4-7 /proc/17201/task/17211/stat : 17211 (java) S 17199 17199 4816 0 -1 1077944384 7985 0 0 0 298 1 0 0 20 0 19 0 445869092 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590537239280 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17212] ppid=17199 vsize=15553616 memory=0 CPUtime=2.95 cores=4-7 /proc/17201/task/17212/stat : 17212 (java) R 17199 17199 4816 0 -1 4202560 6115 0 0 0 294 1 0 0 20 0 19 0 445869092 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590536187032 140591188636112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17213] ppid=17199 vsize=15553616 memory=0 CPUtime=0.97 cores=4-7 /proc/17201/task/17213/stat : 17213 (java) S 17199 17199 4816 0 -1 1077944384 4092 0 0 0 96 1 0 0 20 0 19 0 445869092 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590535133680 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17214] ppid=17199 vsize=15553616 memory=5251 CPUtime=0 cores=4-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445869092 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590534081376 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17215] ppid=17199 vsize=15553616 memory=139941778650077 CPUtime=0 cores=4-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 4816 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 19 0 445869092 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590533028400 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17612] ppid=17199 vsize=15553616 memory=6299802978650451056 CPUtime=0.36 cores=4-7 /proc/17201/task/17612/stat : 17612 (java) R 17199 17199 4816 0 -1 4202560 18 0 0 0 36 0 0 0 20 0 19 0 445869668 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590523809864 140590811881760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17613] ppid=17199 vsize=15553616 memory=6299802978650451056 CPUtime=0.31 cores=4-7 /proc/17201/task/17613/stat : 17613 (java) R 17199 17199 4816 0 -1 4202560 22 0 0 0 31 0 0 0 20 0 19 0 445869668 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590058553592 140590811883211 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17614] ppid=17199 vsize=15553616 memory=7590655979367786604 CPUtime=0.45 cores=4-7 /proc/17201/task/17614/stat : 17614 (java) R 17199 17199 4816 0 -1 4202560 17 0 0 0 45 0 0 0 20 0 19 0 445869668 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590055404808 140590813755601 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17615] ppid=17199 vsize=15553616 memory=1056 CPUtime=0.47 cores=4-7 /proc/17201/task/17615/stat : 17615 (java) R 17199 17199 4816 0 -1 4202560 17 0 0 0 47 0 0 0 20 0 19 0 445869668 15926902784 109534 33554432000 4194304 4196468 140731757019504 140590522762208 140590811858362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 Current children cumulated CPU time: 22.78 s Current children cumulated vsize: 15666744 KiB Current children cumulated memory: 439584 KiB [startup+6.48036 s] # the end of solver process 17199 was just reported to runsolver # cumulated CPU time of all completed processes: user=23.0011 s, system=0.316846 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40115 s] /proc/loadavg: 9.10 8.75 8.56 11/237 17615 /proc/meminfo: memFree=27924248/32770688 swapFree=66961208/67108860 [pid=17199] ppid=17196 vsize=113128 memory=1448 CPUtime=0 cores=4-7 /proc/17199/stat : 17199 (xcsp3-exec) S 17196 17199 4816 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445869085 115843072 362 33554432000 4194304 5098028 140723463106960 140723463105064 139737364480636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11673600 140723463111546 140723463111789 140723463111789 140723463114698 0 /proc/17199/statm: 28282 362 304 221 0 87 0 [pid=17201] ppid=17199 vsize=15553616 memory=438524 CPUtime=23.17 cores=4-7 /proc/17201/stat : 17201 (java) S 17199 17199 4816 0 -1 1077944320 38126 0 0 0 2287 30 0 0 20 0 19 0 445869086 15926902784 109631 33554432000 4194304 4196468 140731757019504 140731757002048 140591207091959 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 /proc/17201/statm: 3888404 109631 3524 1 0 3849504 0 [pid=17201/tid=17202] ppid=17199 vsize=15553616 memory=1280 CPUtime=0.92 cores=4-7 /proc/17201/task/17202/stat : 17202 (java) S 17199 17199 4816 0 -1 1077944384 8907 0 0 0 87 5 0 0 20 0 19 0 445869086 15926902784 109631 33554432000 4194304 4196468 140731757019504 140591211332736 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17203] ppid=17199 vsize=15553616 memory=6028 CPUtime=0.08 cores=4-7 /proc/17201/task/17203/stat : 17203 (java) S 17199 17199 4816 0 -1 1077944384 306 0 0 0 5 3 0 0 20 0 19 0 445869087 15926902784 109631 33554432000 4194304 4196468 140731757019504 140591135132688 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17204] ppid=17199 vsize=15553616 memory=780 CPUtime=0.09 cores=4-7 /proc/17201/task/17204/stat : 17204 (java) S 17199 17199 4816 0 -1 1077944384 363 0 0 0 6 3 0 0 20 0 19 0 445869087 15926902784 109631 33554432000 4194304 4196468 140731757019504 140591134080144 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17205] ppid=17199 vsize=15553616 memory=3988 CPUtime=0.08 cores=4-7 /proc/17201/task/17205/stat : 17205 (java) S 17199 17199 4816 0 -1 1077944384 265 0 0 0 5 3 0 0 20 0 19 0 445869087 15926902784 109631 33554432000 4194304 4196468 140731757019504 140591133027088 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17206] ppid=17199 vsize=15553616 memory=1448 CPUtime=0.09 cores=4-7 /proc/17201/task/17206/stat : 17206 (java) S 17199 17199 4816 0 -1 1077944384 274 0 0 0 6 3 0 0 20 0 19 0 445869087 15926902784 109631 33554432000 4194304 4196468 140731757019504 140591131974544 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17207] ppid=17199 vsize=15553616 memory=437960 CPUtime=0.01 cores=4-7 /proc/17201/task/17207/stat : 17207 (java) S 17199 17199 4816 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 19 0 445869088 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590541449456 140591207103106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17208] ppid=17199 vsize=15553616 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17208/stat : 17208 (java) S 17199 17199 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445869089 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590540395744 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17209] ppid=17199 vsize=15553616 memory=0 CPUtime=0 cores=4-7 /proc/17201/task/17209/stat : 17209 (java) S 17199 17199 4816 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445869089 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590539342592 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17210] ppid=17199 vsize=15553616 memory=-3253322038155611931 CPUtime=0 cores=4-7 /proc/17201/task/17210/stat : 17210 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445869092 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590538291152 140591207110555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17211] ppid=17199 vsize=15553616 memory=6944652177228980320 CPUtime=3.04 cores=4-7 /proc/17201/task/17211/stat : 17211 (java) S 17199 17199 4816 0 -1 1077944384 8223 0 0 0 303 1 0 0 20 0 19 0 445869092 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590537239280 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17212] ppid=17199 vsize=15553616 memory=0 CPUtime=2.97 cores=4-7 /proc/17201/task/17212/stat : 17212 (java) S 17199 17199 4816 0 -1 1077944384 6130 0 0 0 296 1 0 0 20 0 19 0 445869092 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590536186736 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17213] ppid=17199 vsize=15553616 memory=0 CPUtime=0.97 cores=4-7 /proc/17201/task/17213/stat : 17213 (java) S 17199 17199 4816 0 -1 1077944384 4093 0 0 0 96 1 0 0 20 0 19 0 445869092 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590535133680 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17214] ppid=17199 vsize=15553616 memory=139941778946352 CPUtime=0 cores=4-7 /proc/17201/task/17214/stat : 17214 (java) S 17199 17199 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445869092 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590534081376 140591207102165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17215] ppid=17199 vsize=15553616 memory=279883557961184 CPUtime=0 cores=4-7 /proc/17201/task/17215/stat : 17215 (java) S 17199 17199 4816 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 19 0 445869092 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590533028400 140591207103106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17612] ppid=17199 vsize=15553616 memory=6944656592455097440 CPUtime=0.43 cores=4-7 /proc/17201/task/17612/stat : 17612 (java) R 17199 17199 4816 0 -1 4202560 117 0 0 0 43 0 0 0 20 0 19 0 445869668 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590523809864 140590811051796 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17613] ppid=17199 vsize=15553616 memory=6944652177228980320 CPUtime=0.41 cores=4-7 /proc/17201/task/17613/stat : 17613 (java) R 17199 17199 4816 0 -1 4202560 162 0 0 0 41 0 0 0 20 0 19 0 445869668 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590058554232 140590811882680 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17614] ppid=17199 vsize=15553616 memory=-2026666227646604569 CPUtime=0.52 cores=4-7 /proc/17201/task/17614/stat : 17614 (java) R 17199 17199 4816 0 -1 4202560 104 0 0 0 52 0 0 0 20 0 19 0 445869668 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590055402664 140590811882336 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 [pid=17201/tid=17615] ppid=17199 vsize=15553616 memory=-3123010188551861097 CPUtime=0.56 cores=4-7 /proc/17201/task/17615/stat : 17615 (java) R 17199 17199 4816 0 -1 4202560 112 0 0 0 56 0 0 0 20 0 19 0 445869668 15926902784 109631 33554432000 4194304 4196468 140731757019504 140590522757384 140590811881789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37801984 140731757024239 140731757024410 140731757024410 140731757027279 0 Current children cumulated CPU time: 23.17 s Current children cumulated vsize: 15666744 KiB Current children cumulated memory: 439972 KiB Child status: 0 Real time (s): 6.48042 CPU time (s): 23.3179 CPU user time (s): 23.0011 CPU system time (s): 0.316846 CPU usage (%): 359.821 Max. virtual memory (cumulated for all children) (KiB): 15666744 Max. memory (cumulated for all children) (KiB): 442756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.0011 system time used= 0.316846 maximum resident set size= 441312 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39663 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4784 involuntary context switches= 881 # summary of solver processes directly reported to runsolver: # pid: 17199 # total CPU time (s): 23.3179 # total CPU user time (s): 23.0011 # total CPU system time (s): 0.316846 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.073537 second user time and 0.121267 second system time The end
Begin job on node116 at 2019-09-17 07:47:13 IDJOB=4399198 IDBENCH=138353 IDSOLVER=2853 FILE ID=node116/4399198-1568699274 RUNJOBID= node116-1568694541-4848 PBS_JOBID= 21703807 Free space on /tmp= 61204 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff21.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399198-1568699274/watcher-4399198-1568699274 -o /tmp/evaluation-result-4399198-1568699274/solver-4399198-1568699274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4848 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2124322714 HOME/instance-4399198-1568699274.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9ed96a9b02dc4e036934e9ef3088dc03 RANDOM SEED=2124322714 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 28351028 kB MemAvailable: 29629648 kB Buffers: 149132 kB Cached: 1423396 kB SwapCached: 46588 kB Active: 3265168 kB Inactive: 572584 kB Active(anon): 2219172 kB Inactive(anon): 94964 kB Active(file): 1045996 kB Inactive(file): 477620 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961208 kB Dirty: 25948 kB Writeback: 80 kB AnonPages: 2330004 kB Mapped: 61132 kB Shmem: 40292 kB Slab: 170852 kB SReclaimable: 141676 kB SUnreclaim: 29176 kB KernelStack: 3728 kB PageTables: 10240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 4731336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2215936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61180 MiB End job on node116 at 2019-09-17 07:47:20