Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 4.0.5 par (2017-08-09) | OPT | 2 | 14.8434 | 2.5135901 |
Name | Opd/Opd-sum-small/ Opd-10-031-009.xml |
MD5SUM | c781bc55b7ee4c4bb57d86a03397642c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 4.0965099 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 311 |
Number of constraints | 56 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":2,"count":310},{"size":30,"count":1}] |
Minimum variable degree | 11 |
Maximum variable degree | 46 |
Distribution of variable degrees | [{"degree":11,"count":310},{"degree":46,"count":1}] |
Minimum constraint arity | 31 |
Maximum constraint arity | 310 |
Distribution of constraint arities | [{"arity":31,"count":10},{"arity":63,"count":45},{"arity":310,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":55}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271628-1502640829.xml" -tl '2016s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4271628-1502640829.xml, -tl, 2016s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.34/0.26 c parse instance... 1.46/0.67 c solve instance... 1.93/0.79 o 31 2.64/0.80 o 30 2.64/0.80 o 29 2.64/0.83 o 28 2.64/0.83 o 27 2.64/0.84 o 26 2.64/0.84 o 25 2.64/0.84 o 24 2.64/0.85 o 23 2.64/0.85 o 22 2.64/0.85 o 21 2.64/0.86 o 20 2.64/0.86 o 19 2.64/0.86 o 18 2.64/0.86 o 17 2.64/0.87 o 16 2.64/0.87 o 15 2.64/0.88 o 14 2.64/0.88 o 13 2.64/0.88 o 12 2.64/0.89 o 11 3.31/0.92 o 10 3.31/0.92 o 9 3.31/0.93 o 8 3.31/0.94 o 7 3.31/0.95 o 6 3.31/0.97 o 5 5.57/1.21 o 4 7.12/1.41 o 3 14.21/2.37 o 2 14.21/2.37 s OPTIMUM FOUND 14.21/2.37 v <instantiation> 14.21/2.37 v <list>z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] </list> 14.82/2.50 v <values>2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 </values> 14.82/2.50 v </instantiation>
OK 2
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 (15276 MiB free) memory of node 1: 16384 MiB (15683 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271628-1502640829/watcher-4271628-1502640829 -o /tmp/evaluation-result-4271628-1502640829/solver-4271628-1502640829 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2113878525 HOME/instance-4271628-1502640829.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 Current StackSize limit: 8192 KiB solver pid=17220, runsolver pid=17217 [startup+0.100179 s]* /proc/loadavg: 6.73 5.75 6.57 3/199 17241 /proc/meminfo: memFree=31687040/32770624 swapFree=67108860/67108860 [pid=17220] ppid=17217 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17220/stat : 17220 (xcsp3-exec) S 17217 17220 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97170751 9740288 346 33554432000 4194304 5098028 140736191799424 140736191797528 139910440927868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140736191808618 140736191808828 140736191808828 140736191811563 0 /proc/17220/statm: 2378 346 289 221 0 87 0 [pid=17222] ppid=17220 vsize=25999808 memory=26584 CPUtime=0.11 cores=0-7 /proc/17222/stat : 17222 (java) S 17220 17220 7585 0 -1 1077944320 5481 0 0 0 10 1 0 0 20 0 20 0 97170751 26623803392 6646 33554432000 4194304 4196468 140723866537472 140723866520016 140232178286327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 /proc/17222/statm: 6499952 6646 2878 1 0 6488269 0 [pid=17222/tid=17223] ppid=17220 vsize=25999808 memory=7826018585602333593 CPUtime=0.09 cores=0-7 /proc/17222/task/17223/stat : 17223 (java) R 17220 17220 7585 0 -1 4202560 3485 0 0 0 8 1 0 0 20 0 20 0 97170751 26623803392 6711 33554432000 4194304 4196468 140723866537472 140232182519600 140231773781155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17224] ppid=17220 vsize=25999808 memory=732370366513458149 CPUtime=0 cores=0-7 /proc/17222/task/17224/stat : 17224 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26623803392 6711 33554432000 4194304 4196468 140723866537472 140232100866448 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17225] ppid=17220 vsize=25999808 memory=140228176004736 CPUtime=0 cores=0-7 /proc/17222/task/17225/stat : 17225 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26623803392 6711 33554432000 4194304 4196468 140723866537472 140232099813648 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17226] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17226/stat : 17226 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26623803392 6711 33554432000 4194304 4196468 140723866537472 140232098761360 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17227] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17227/stat : 17227 (java) S 17220 17220 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97170752 26623803392 6711 33554432000 4194304 4196468 140723866537472 140232097708560 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17228] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17228/stat : 17228 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26623803392 6711 33554432000 4194304 4196468 140723866537472 140232096656272 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17229] ppid=17220 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/17222/task/17229/stat : 17229 (java) S 17220 17220 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97170752 26623803392 6711 33554432000 4194304 4196468 140723866537472 140232095603472 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17230] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17230/stat : 17230 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26623803392 6711 33554432000 4194304 4196468 140723866537472 140232094551184 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17231] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17231/stat : 17231 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26623803392 6711 33554432000 4194304 4196468 140723866537472 140232093498384 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17232] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17232/stat : 17232 (java) S 17220 17220 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97170753 26623803392 6711 33554432000 4194304 4196468 140723866537472 140231372191856 140232178297474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17233] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17233/stat : 17233 (java) S 17220 17220 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97170754 26623803392 6711 33554432000 4194304 4196468 140723866537472 140231371137824 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17234] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17234/stat : 17234 (java) S 17220 17220 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97170754 26623803392 6711 33554432000 4194304 4196468 140723866537472 140231370085488 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17235] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17235/stat : 17235 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170756 26623803392 6711 33554432000 4194304 4196468 140723866537472 140231369033808 140232178304923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17236] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17236/stat : 17236 (java) S 17220 17220 7585 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 97170756 26623803392 6711 33554432000 4194304 4196468 140723866537472 140231367981680 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17237] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17237/stat : 17237 (java) S 17220 17220 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97170756 26623803392 6711 33554432000 4194304 4196468 140723866537472 140231366928880 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17238] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17238/stat : 17238 (java) S 17220 17220 7585 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 20 0 97170757 26623803392 6711 33554432000 4194304 4196468 140723866537472 140231365876592 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17239] ppid=17220 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/17222/task/17239/stat : 17239 (java) R 17220 17220 7585 0 -1 4202560 268 0 0 0 1 0 0 0 20 0 20 0 97170757 26623803392 6711 33554432000 4194304 4196468 140723866537472 140231364823792 140232159523888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17240] ppid=17220 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17240/stat : 17240 (java) S 17220 17220 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97170757 26623803392 6711 33554432000 4194304 4196468 140723866537472 140231363770720 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17241] ppid=17220 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/17222/task/17241/stat : 17241 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170757 26623803392 6711 33554432000 4194304 4196468 140723866537472 140231362718000 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27968 KiB [startup+0.210457 s]* /proc/loadavg: 6.73 5.75 6.57 2/199 17241 /proc/meminfo: memFree=31676028/32770624 swapFree=67108860/67108860 [pid=17220] ppid=17217 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17220/stat : 17220 (xcsp3-exec) S 17217 17220 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97170751 9740288 346 33554432000 4194304 5098028 140736191799424 140736191797528 139910440927868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140736191808618 140736191808828 140736191808828 140736191811563 0 /proc/17220/statm: 2378 346 289 221 0 87 0 [pid=17222] ppid=17220 vsize=26004064 memory=38572 CPUtime=0.34 cores=0-7 /proc/17222/stat : 17222 (java) S 17220 17220 7585 0 -1 1077944320 8298 0 0 0 31 3 0 0 20 0 20 0 97170751 26628161536 9643 33554432000 4194304 4196468 140723866537472 140723866520016 140232178286327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 /proc/17222/statm: 6501016 9643 3043 1 0 6488269 0 [pid=17222/tid=17223] ppid=17220 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7 /proc/17222/task/17223/stat : 17223 (java) R 17220 17220 7585 0 -1 4202560 5404 0 0 0 18 2 0 0 20 0 20 0 97170751 26628161536 9643 33554432000 4194304 4196468 140723866537472 140232182508464 140232178298262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17224] ppid=17220 vsize=26004064 memory=280456240973560 CPUtime=0 cores=0-7 /proc/17222/task/17224/stat : 17224 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 9643 33554432000 4194304 4196468 140723866537472 140232100866448 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17225] ppid=17220 vsize=26004064 memory=140228176004736 CPUtime=0 cores=0-7 /proc/17222/task/17225/stat : 17225 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 9643 33554432000 4194304 4196468 140723866537472 140232099813648 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17226] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17226/stat : 17226 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 9643 33554432000 4194304 4196468 140723866537472 140232098761360 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17227] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17227/stat : 17227 (java) S 17220 17220 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 9643 33554432000 4194304 4196468 140723866537472 140232097708560 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17228] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17228/stat : 17228 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 9643 33554432000 4194304 4196468 140723866537472 140232096656272 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17229] ppid=17220 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17222/task/17229/stat : 17229 (java) S 17220 17220 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 9643 33554432000 4194304 4196468 140723866537472 140232095603472 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17230] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17230/stat : 17230 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 9643 33554432000 4194304 4196468 140723866537472 140232094551184 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17231] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17231/stat : 17231 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 9643 33554432000 4194304 4196468 140723866537472 140232093498384 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17232] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17232/stat : 17232 (java) S 17220 17220 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97170753 26628161536 9643 33554432000 4194304 4196468 140723866537472 140231372191856 140232178297474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17233] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17233/stat : 17233 (java) S 17220 17220 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97170754 26628161536 9643 33554432000 4194304 4196468 140723866537472 140231371137824 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17234] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17234/stat : 17234 (java) S 17220 17220 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97170754 26628161536 9643 33554432000 4194304 4196468 140723866537472 140231370085488 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17235] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17235/stat : 17235 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170756 26628161536 9643 33554432000 4194304 4196468 140723866537472 140231369033808 140232178304923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17236] ppid=17220 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/17222/task/17236/stat : 17236 (java) S 17220 17220 7585 0 -1 1077944384 249 0 0 0 1 0 0 0 20 0 20 0 97170756 26628161536 9643 33554432000 4194304 4196468 140723866537472 140231367981680 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17237] ppid=17220 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/17222/task/17237/stat : 17237 (java) S 17220 17220 7585 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 97170756 26628161536 9643 33554432000 4194304 4196468 140723866537472 140231366928880 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17238] ppid=17220 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/17222/task/17238/stat : 17238 (java) S 17220 17220 7585 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 20 0 97170757 26628161536 9643 33554432000 4194304 4196468 140723866537472 140231365876592 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17239] ppid=17220 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7 /proc/17222/task/17239/stat : 17239 (java) R 17220 17220 7585 0 -1 4202560 783 0 0 0 8 0 0 0 20 0 20 0 97170757 26628161536 9643 33554432000 4194304 4196468 140723866537472 140231364823792 140232178298262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17240] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17240/stat : 17240 (java) S 17220 17220 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97170757 26628161536 9643 33554432000 4194304 4196468 140723866537472 140231363770720 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17241] ppid=17220 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/17222/task/17241/stat : 17241 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170757 26628161536 9643 33554432000 4194304 4196468 140723866537472 140231362718000 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 39956 KiB [startup+0.310262 s]* /proc/loadavg: 6.73 5.75 6.57 3/199 17241 /proc/meminfo: memFree=31669576/32770624 swapFree=67108860/67108860 [pid=17220] ppid=17217 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17220/stat : 17220 (xcsp3-exec) S 17217 17220 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97170751 9740288 346 33554432000 4194304 5098028 140736191799424 140736191797528 139910440927868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140736191808618 140736191808828 140736191808828 140736191811563 0 /proc/17220/statm: 2378 346 289 221 0 87 0 [pid=17222] ppid=17220 vsize=26004064 memory=46096 CPUtime=0.5 cores=0-7 /proc/17222/stat : 17222 (java) S 17220 17220 7585 0 -1 1077944320 9259 0 0 0 47 3 0 0 20 0 20 0 97170751 26628161536 11524 33554432000 4194304 4196468 140723866537472 140723866520016 140232178286327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 /proc/17222/statm: 6501016 11524 3108 1 0 6488269 0 [pid=17222/tid=17223] ppid=17220 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/17222/task/17223/stat : 17223 (java) D 17220 17220 7585 0 -1 1077944384 6162 0 0 0 27 2 0 0 20 0 20 0 97170751 26628161536 11524 33554432000 4194304 4196468 140723866537472 140232182518688 140232178310205 0 4 0 16800975 18446744072101625380 0 0 -1 2 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17224] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17224/stat : 17224 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 11524 33554432000 4194304 4196468 140723866537472 140232100866448 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17225] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17225/stat : 17225 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 11524 33554432000 4194304 4196468 140723866537472 140232099813648 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17226] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17226/stat : 17226 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 11524 33554432000 4194304 4196468 140723866537472 140232098761360 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17227] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17227/stat : 17227 (java) S 17220 17220 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 11524 33554432000 4194304 4196468 140723866537472 140232097708560 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17228] ppid=17220 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/17222/task/17228/stat : 17228 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 11524 33554432000 4194304 4196468 140723866537472 140232096656272 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17229] ppid=17220 vsize=26004064 memory=140228065063855 CPUtime=0 cores=0-7 /proc/17222/task/17229/stat : 17229 (java) S 17220 17220 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 11524 33554432000 4194304 4196468 140723866537472 140232095603472 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17230] ppid=17220 vsize=26004064 memory=140228065066160 CPUtime=0 cores=0-7 /proc/17222/task/17230/stat : 17230 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 11524 33554432000 4194304 4196468 140723866537472 140232094551184 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17231] ppid=17220 vsize=26004064 memory=140228065068464 CPUtime=0 cores=0-7 /proc/17222/task/17231/stat : 17231 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170752 26628161536 11524 33554432000 4194304 4196468 140723866537472 140232093498384 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17232] ppid=17220 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17232/stat : 17232 (java) S 17220 17220 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97170753 26628161536 11524 33554432000 4194304 4196468 140723866537472 140231372191856 140232178297474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17233] ppid=17220 vsize=26004064 memory=280456130143888 CPUtime=0 cores=0-7 /proc/17222/task/17233/stat : 17233 (java) S 17220 17220 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97170754 26628161536 11524 33554432000 4194304 4196468 140723866537472 140231371137824 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17234] ppid=17220 vsize=26004064 memory=280456130150800 CPUtime=0 cores=0-7 /proc/17222/task/17234/stat : 17234 (java) S 17220 17220 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97170754 26628161536 11524 33554432000 4194304 4196468 140723866537472 140231370085488 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17235] ppid=17220 vsize=26004140 memory=280456130092080 CPUtime=0 cores=0-7 /proc/17222/task/17235/stat : 17235 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170756 26628239360 11524 33554432000 4194304 4196468 140723866537472 140231369033808 140232178304923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17236] ppid=17220 vsize=26004140 memory=280456130164624 CPUtime=0.02 cores=0-7 /proc/17222/task/17236/stat : 17236 (java) S 17220 17220 7585 0 -1 1077944384 308 0 0 0 2 0 0 0 20 0 20 0 97170756 26628239360 11524 33554432000 4194304 4196468 140723866537472 140231367981680 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17237] ppid=17220 vsize=26004140 memory=280456130171536 CPUtime=0.02 cores=0-7 /proc/17222/task/17237/stat : 17237 (java) S 17220 17220 7585 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 20 0 97170756 26628239360 11524 33554432000 4194304 4196468 140723866537472 140231366928880 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17238] ppid=17220 vsize=26004140 memory=280456130169232 CPUtime=0.02 cores=0-7 /proc/17222/task/17238/stat : 17238 (java) S 17220 17220 7585 0 -1 1077944384 477 0 0 0 2 0 0 0 20 0 20 0 97170757 26628239360 11524 33554432000 4194304 4196468 140723866537472 140231365876592 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17239] ppid=17220 vsize=26004140 memory=280456130185392 CPUtime=0.12 cores=0-7 /proc/17222/task/17239/stat : 17239 (java) S 17220 17220 7585 0 -1 1077944384 902 0 0 0 12 0 0 0 20 0 20 0 97170757 26628239360 11524 33554432000 4194304 4196468 140723866537472 140231364823792 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17240] ppid=17220 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17240/stat : 17240 (java) S 17220 17220 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97170757 26628239360 11524 33554432000 4194304 4196468 140723866537472 140231363770720 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17241] ppid=17220 vsize=26004140 memory=-1 CPUtime=0 cores=0-7 /proc/17222/task/17241/stat : 17241 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97170757 26628239360 11524 33554432000 4194304 4196468 140723866537472 140231362718000 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 Current children cumulated CPU time: 0.5 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47480 KiB [startup+0.704492 s] /proc/loadavg: 6.73 5.75 6.57 6/199 17241 /proc/meminfo: memFree=31651028/32770624 swapFree=67108860/67108860 [pid=17220] ppid=17217 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17220/stat : 17220 (xcsp3-exec) S 17217 17220 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97170751 9740288 346 33554432000 4194304 5098028 140736191799424 140736191797528 139910440927868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140736191808618 140736191808828 140736191808828 140736191811563 0 /proc/17220/statm: 2378 346 289 221 0 87 0 [pid=17222] ppid=17220 vsize=26538700 memory=122752 CPUtime=1.93 cores=0-7 /proc/17222/stat : 17222 (java) S 17220 17220 7585 0 -1 1077944320 12917 0 0 0 187 6 0 0 20 0 28 0 97170751 27175628800 30688 33554432000 4194304 4196468 140723866537472 140723866520016 140232178286327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 /proc/17222/statm: 6634675 30688 3207 1 0 6621909 0 [pid=17222/tid=17223] ppid=17220 vsize=26538700 memory=280456130480256 CPUtime=0.65 cores=0-7 /proc/17222/task/17223/stat : 17223 (java) S 17220 17220 7585 0 -1 1077944384 6876 0 0 0 62 3 0 0 20 0 28 0 97170751 27175628800 30688 33554432000 4194304 4196468 140723866537472 140232182527104 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17224] ppid=17220 vsize=26538700 memory=5123895985313 CPUtime=0 cores=0-7 /proc/17222/task/17224/stat : 17224 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97170752 27175628800 30688 33554432000 4194304 4196468 140723866537472 140232100866448 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17225] ppid=17220 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17225/stat : 17225 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97170752 27175628800 30688 33554432000 4194304 4196468 140723866537472 140232099813648 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17226] ppid=17220 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17226/stat : 17226 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97170752 27175628800 30688 33554432000 4194304 4196468 140723866537472 140232098761360 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 ################ # More data... # ################ /proc/loadavg: 7.07 5.84 6.59 13/207 17481 /proc/meminfo: memFree=31385620/32770624 swapFree=67108860/67108860 [pid=17220] ppid=17217 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17220/stat : 17220 (xcsp3-exec) S 17217 17220 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97170751 9740288 346 33554432000 4194304 5098028 140736191799424 140736191797528 139910440927868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140736191808618 140736191808828 140736191808828 140736191811563 0 /proc/17220/statm: 2378 346 289 221 0 87 0 [pid=17222] ppid=17220 vsize=26605264 memory=333052 CPUtime=11.92 cores=0-7 /proc/17222/stat : 17222 (java) S 17220 17220 7585 0 -1 1077944320 25094 0 0 0 1170 22 0 0 20 0 28 0 97170751 27243790336 83263 33554432000 4194304 4196468 140723866537472 140723866520016 140232178286327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 /proc/17222/statm: 6651316 83263 3273 1 0 6638550 0 [pid=17222/tid=17223] ppid=17220 vsize=26605264 memory=288355116380323867 CPUtime=0.67 cores=0-7 /proc/17222/task/17223/stat : 17223 (java) S 17220 17220 7585 0 -1 1077944384 6880 0 0 0 64 3 0 0 20 0 28 0 97170751 27243790336 83263 33554432000 4194304 4196468 140723866537472 140232182527104 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17224] ppid=17220 vsize=26605264 memory=297237795322465094 CPUtime=0.02 cores=0-7 /proc/17222/task/17224/stat : 17224 (java) S 17220 17220 7585 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 97170752 27243790336 83263 33554432000 4194304 4196468 140723866537472 140232100866448 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17225] ppid=17220 vsize=26605264 memory=140228176400264 CPUtime=0.03 cores=0-7 /proc/17222/task/17225/stat : 17225 (java) S 17220 17220 7585 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 28 0 97170752 27243790336 83263 33554432000 4194304 4196468 140723866537472 140232099813648 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17226] ppid=17220 vsize=26605264 memory=664962007705282898 CPUtime=0.01 cores=0-7 /proc/17222/task/17226/stat : 17226 (java) S 17220 17220 7585 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 28 0 97170752 27243790336 83263 33554432000 4194304 4196468 140723866537472 140232098761360 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17227] ppid=17220 vsize=26605264 memory=-6876588461455810464 CPUtime=0.02 cores=0-7 /proc/17222/task/17227/stat : 17227 (java) S 17220 17220 7585 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 97170752 27243790336 83263 33554432000 4194304 4196468 140723866537472 140232097708560 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17228] ppid=17220 vsize=26605264 memory=-7812193691855986592 CPUtime=0.02 cores=0-7 /proc/17222/task/17228/stat : 17228 (java) S 17220 17220 7585 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 28 0 97170752 27243790336 83263 33554432000 4194304 4196468 140723866537472 140232096656272 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17229] ppid=17220 vsize=26605264 memory=7812726516167304524 CPUtime=0.01 cores=0-7 /proc/17222/task/17229/stat : 17229 (java) S 17220 17220 7585 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 28 0 97170752 27243790336 83263 33554432000 4194304 4196468 140723866537472 140232095603472 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17230] ppid=17220 vsize=26605264 memory=6944656592455097440 CPUtime=0.02 cores=0-7 /proc/17222/task/17230/stat : 17230 (java) S 17220 17220 7585 0 -1 1077944384 37 0 0 0 1 1 0 0 20 0 28 0 97170752 27243790336 83263 33554432000 4194304 4196468 140723866537472 140232094551184 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17231] ppid=17220 vsize=26605264 memory=6944656575208382560 CPUtime=0.03 cores=0-7 /proc/17222/task/17231/stat : 17231 (java) S 17220 17220 7585 0 -1 1077944384 36 0 0 0 2 1 0 0 20 0 28 0 97170752 27243790336 83263 33554432000 4194304 4196468 140723866537472 140232093498384 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17232] ppid=17220 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17232/stat : 17232 (java) S 17220 17220 7585 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 97170753 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231372191856 140232178297474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17233] ppid=17220 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17233/stat : 17233 (java) S 17220 17220 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97170754 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231371137824 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17234] ppid=17220 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17234/stat : 17234 (java) S 17220 17220 7585 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97170754 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231370085488 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17235] ppid=17220 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17235/stat : 17235 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97170756 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231369033808 140232178304923 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17236] ppid=17220 vsize=26605264 memory=0 CPUtime=0.97 cores=0-7 /proc/17222/task/17236/stat : 17236 (java) R 17220 17220 7585 0 -1 4202560 2883 0 0 0 97 0 0 0 20 0 28 0 97170756 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231367962696 140232156303315 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17237] ppid=17220 vsize=26605264 memory=0 CPUtime=1.05 cores=0-7 /proc/17222/task/17237/stat : 17237 (java) S 17220 17220 7585 0 -1 1077944384 2592 0 0 0 105 0 0 0 20 0 28 0 97170756 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231366928880 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17238] ppid=17220 vsize=26605264 memory=0 CPUtime=1.07 cores=0-7 /proc/17222/task/17238/stat : 17238 (java) R 17220 17220 7585 0 -1 4202560 4145 0 0 0 106 1 0 0 20 0 28 0 97170757 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231365862616 140232159830527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17239] ppid=17220 vsize=26605264 memory=0 CPUtime=0.6 cores=0-7 /proc/17222/task/17239/stat : 17239 (java) S 17220 17220 7585 0 -1 1077944384 2579 0 0 0 59 1 0 0 20 0 28 0 97170757 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231364823792 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17240] ppid=17220 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17240/stat : 17240 (java) S 17220 17220 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97170757 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231363770720 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17241] ppid=17220 vsize=26605264 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17241/stat : 17241 (java) S 17220 17220 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97170757 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231362718000 140232178297474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17474] ppid=17220 vsize=26605264 memory=-1 CPUtime=0.53 cores=0-7 /proc/17222/task/17474/stat : 17474 (java) R 17220 17220 7585 0 -1 4202560 19 0 0 0 53 0 0 0 20 0 28 0 97170892 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231279865512 140231778914900 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17475] ppid=17220 vsize=26605264 memory=-1 CPUtime=0.52 cores=0-7 /proc/17222/task/17475/stat : 17475 (java) R 17220 17220 7585 0 -1 4202560 18 0 0 0 52 0 0 0 20 0 28 0 97170892 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231284078872 140231778915779 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17476] ppid=17220 vsize=26605264 memory=0 CPUtime=0.45 cores=0-7 /proc/17222/task/17476/stat : 17476 (java) R 17220 17220 7585 0 -1 4202560 18 0 0 0 45 0 0 0 20 0 28 0 97170892 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231285131192 140231779469904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17477] ppid=17220 vsize=26605264 memory=0 CPUtime=0.33 cores=0-7 /proc/17222/task/17477/stat : 17477 (java) R 17220 17220 7585 0 -1 4202560 53 0 0 0 32 1 0 0 20 0 28 0 97170892 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231280918776 140231778324715 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17478] ppid=17220 vsize=26605264 memory=0 CPUtime=0.5 cores=0-7 /proc/17222/task/17478/stat : 17478 (java) R 17220 17220 7585 0 -1 4202560 21 0 0 0 50 0 0 0 20 0 28 0 97170892 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231355204840 140231778687049 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17479] ppid=17220 vsize=26605264 memory=104020 CPUtime=0.51 cores=0-7 /proc/17222/task/17479/stat : 17479 (java) R 17220 17220 7585 0 -1 4202560 18 0 0 0 51 0 0 0 20 0 28 0 97170892 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231283024984 140231778131508 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17480] ppid=17220 vsize=26605264 memory=0 CPUtime=0.45 cores=0-7 /proc/17222/task/17480/stat : 17480 (java) R 17220 17220 7585 0 -1 4202560 18 0 0 0 45 0 0 0 20 0 28 0 97170892 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231278812720 140231778522188 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17481] ppid=17220 vsize=26605264 memory=0 CPUtime=0.41 cores=0-7 /proc/17222/task/17481/stat : 17481 (java) R 17220 17220 7585 0 -1 4202560 19 0 0 0 41 0 0 0 20 0 28 0 97170893 27243790336 83263 33554432000 4194304 4196468 140723866537472 140231281972680 140231778237220 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 Current children cumulated CPU time: 11.92 s Current children cumulated vsize: 26614776 KiB Current children cumulated memory: 334436 KiB [startup+2.40116 s] /proc/loadavg: 7.07 5.84 6.59 13/207 17481 /proc/meminfo: memFree=31385620/32770624 swapFree=67108860/67108860 [pid=17220] ppid=17217 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17220/stat : 17220 (xcsp3-exec) S 17217 17220 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97170751 9740288 346 33554432000 4194304 5098028 140736191799424 140736191797528 139910440927868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140736191808618 140736191808828 140736191808828 140736191811563 0 /proc/17220/statm: 2378 346 289 221 0 87 0 [pid=17222] ppid=17220 vsize=26607436 memory=401804 CPUtime=14.82 cores=0-7 /proc/17222/stat : 17222 (java) S 17220 17220 7585 0 -1 1077944320 30076 0 0 0 1455 27 0 0 20 0 18 0 97170751 27246014464 100451 33554432000 4194304 4196468 140723866537472 140723866520016 140232178286327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 /proc/17222/statm: 6651859 100451 3275 1 0 6639093 0 [pid=17222/tid=17223] ppid=17220 vsize=26607436 memory=-7522837415730323359 CPUtime=0.68 cores=0-7 /proc/17222/task/17223/stat : 17223 (java) D 17220 17220 7585 0 -1 4202560 6884 0 0 0 65 3 0 0 20 0 18 0 97170751 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232182529336 140232170971959 0 0 0 16800975 18446744072099540101 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17224] ppid=17220 vsize=26607436 memory=8329294824090543255 CPUtime=0.03 cores=0-7 /proc/17222/task/17224/stat : 17224 (java) S 17220 17220 7585 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232100866448 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17225] ppid=17220 vsize=26607436 memory=-7384994774051102368 CPUtime=0.03 cores=0-7 /proc/17222/task/17225/stat : 17225 (java) S 17220 17220 7585 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232099813648 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17226] ppid=17220 vsize=26607436 memory=-9001733975035373671 CPUtime=0.04 cores=0-7 /proc/17222/task/17226/stat : 17226 (java) S 17220 17220 7585 0 -1 1077944384 41 0 0 0 3 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232098761360 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17227] ppid=17220 vsize=26607436 memory=7160831573589846685 CPUtime=0.05 cores=0-7 /proc/17222/task/17227/stat : 17227 (java) S 17220 17220 7585 0 -1 1077944384 48 0 0 0 3 2 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232097708560 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17228] ppid=17220 vsize=26607436 memory=4137280412607091059 CPUtime=0.03 cores=0-7 /proc/17222/task/17228/stat : 17228 (java) S 17220 17220 7585 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232096656272 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17229] ppid=17220 vsize=26607436 memory=7976406965554101975 CPUtime=0.03 cores=0-7 /proc/17222/task/17229/stat : 17229 (java) S 17220 17220 7585 0 -1 1077944384 36 0 0 0 2 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232095603472 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17230] ppid=17220 vsize=26607436 memory=4629539461233085814 CPUtime=0.03 cores=0-7 /proc/17222/task/17230/stat : 17230 (java) S 17220 17220 7585 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232094551184 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17231] ppid=17220 vsize=26607436 memory=0 CPUtime=0.04 cores=0-7 /proc/17222/task/17231/stat : 17231 (java) S 17220 17220 7585 0 -1 1077944384 46 0 0 0 3 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232093498384 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17233] ppid=17220 vsize=26607436 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/17222/task/17233/stat : 17233 (java) S 17220 17220 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 97170754 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231371137824 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17234] ppid=17220 vsize=26607436 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/17222/task/17234/stat : 17234 (java) S 17220 17220 7585 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 18 0 97170754 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231370085488 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17235] ppid=17220 vsize=26607436 memory=15540704344541588 CPUtime=0 cores=0-7 /proc/17222/task/17235/stat : 17235 (java) S 17220 17220 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 97170756 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231369030576 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17236] ppid=17220 vsize=26607436 memory=0 CPUtime=1.23 cores=0-7 /proc/17222/task/17236/stat : 17236 (java) S 17220 17220 7585 0 -1 1077944384 6544 0 0 0 122 1 0 0 20 0 18 0 97170756 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231367966192 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17237] ppid=17220 vsize=26607436 memory=0 CPUtime=1.16 cores=0-7 /proc/17222/task/17237/stat : 17237 (java) S 17220 17220 7585 0 -1 1077944384 2843 0 0 0 116 0 0 0 20 0 18 0 97170756 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231366909280 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17238] ppid=17220 vsize=26607436 memory=0 CPUtime=1.25 cores=0-7 /proc/17222/task/17238/stat : 17238 (java) S 17220 17220 7585 0 -1 1077944384 4818 0 0 0 124 1 0 0 20 0 18 0 97170757 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231365861104 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17239] ppid=17220 vsize=26607436 memory=6297555469490540642 CPUtime=0.61 cores=0-7 /proc/17222/task/17239/stat : 17239 (java) S 17220 17220 7585 0 -1 1077944384 2618 0 0 0 60 1 0 0 20 0 18 0 97170757 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231364823552 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17240] ppid=17220 vsize=26607436 memory=7733640791996066408 CPUtime=0 cores=0-7 /proc/17222/task/17240/stat : 17240 (java) S 17220 17220 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 97170757 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231363770720 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 Current children cumulated CPU time: 14.82 s Current children cumulated vsize: 26616948 KiB Current children cumulated memory: 403188 KiB [startup+2.50101 s] /proc/loadavg: 7.07 5.84 6.59 13/207 17481 /proc/meminfo: memFree=31385620/32770624 swapFree=67108860/67108860 [pid=17220] ppid=17217 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/17220/stat : 17220 (xcsp3-exec) S 17217 17220 7585 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97170751 9740288 346 33554432000 4194304 5098028 140736191799424 140736191797528 139910440927868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140736191808618 140736191808828 140736191808828 140736191811563 0 /proc/17220/statm: 2378 346 289 221 0 87 0 [pid=17222] ppid=17220 vsize=26607436 memory=401804 CPUtime=14.82 cores=0-7 /proc/17222/stat : 17222 (java) S 17220 17220 7585 0 -1 1077944320 30076 0 0 0 1455 27 0 0 20 0 18 0 97170751 27246014464 100451 33554432000 4194304 4196468 140723866537472 140723866520016 140232178286327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 /proc/17222/statm: 6651859 100451 3275 1 0 6639093 0 [pid=17222/tid=17223] ppid=17220 vsize=26607436 memory=0 CPUtime=0.68 cores=0-7 /proc/17222/task/17223/stat : 17223 (java) D 17220 17220 7585 0 -1 4202560 6884 0 0 0 65 3 0 0 20 0 18 0 97170751 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232182529336 140232170971959 0 0 0 16800975 18446744072099540101 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17224] ppid=17220 vsize=26607436 memory=1384 CPUtime=0.03 cores=0-7 /proc/17222/task/17224/stat : 17224 (java) S 17220 17220 7585 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232100866448 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17225] ppid=17220 vsize=26607436 memory=398944 CPUtime=0.03 cores=0-7 /proc/17222/task/17225/stat : 17225 (java) S 17220 17220 7585 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232099813648 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17226] ppid=17220 vsize=26607436 memory=67 CPUtime=0.04 cores=0-7 /proc/17222/task/17226/stat : 17226 (java) S 17220 17220 7585 0 -1 1077944384 41 0 0 0 3 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232098761360 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17227] ppid=17220 vsize=26607436 memory=288230574492221466 CPUtime=0.05 cores=0-7 /proc/17222/task/17227/stat : 17227 (java) S 17220 17220 7585 0 -1 1077944384 48 0 0 0 3 2 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232097708560 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17228] ppid=17220 vsize=26607436 memory=0 CPUtime=0.03 cores=0-7 /proc/17222/task/17228/stat : 17228 (java) S 17220 17220 7585 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232096656272 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17229] ppid=17220 vsize=26607436 memory=0 CPUtime=0.03 cores=0-7 /proc/17222/task/17229/stat : 17229 (java) S 17220 17220 7585 0 -1 1077944384 36 0 0 0 2 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232095603472 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17230] ppid=17220 vsize=26607436 memory=0 CPUtime=0.03 cores=0-7 /proc/17222/task/17230/stat : 17230 (java) S 17220 17220 7585 0 -1 1077944384 45 0 0 0 2 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232094551184 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17231] ppid=17220 vsize=26607436 memory=0 CPUtime=0.04 cores=0-7 /proc/17222/task/17231/stat : 17231 (java) S 17220 17220 7585 0 -1 1077944384 46 0 0 0 3 1 0 0 20 0 18 0 97170752 27246014464 100451 33554432000 4194304 4196468 140723866537472 140232093498384 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17233] ppid=17220 vsize=26607436 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17233/stat : 17233 (java) S 17220 17220 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 97170754 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231371137824 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17234] ppid=17220 vsize=26607436 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17234/stat : 17234 (java) S 17220 17220 7585 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 18 0 97170754 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231370085488 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17235] ppid=17220 vsize=26607436 memory=0 CPUtime=0 cores=0-7 /proc/17222/task/17235/stat : 17235 (java) S 17220 17220 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 97170756 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231369030576 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17236] ppid=17220 vsize=26607436 memory=0 CPUtime=1.23 cores=0-7 /proc/17222/task/17236/stat : 17236 (java) S 17220 17220 7585 0 -1 1077944384 6544 0 0 0 122 1 0 0 20 0 18 0 97170756 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231367966192 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17237] ppid=17220 vsize=26607436 memory=0 CPUtime=1.16 cores=0-7 /proc/17222/task/17237/stat : 17237 (java) S 17220 17220 7585 0 -1 1077944384 2843 0 0 0 116 0 0 0 20 0 18 0 97170756 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231366909280 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17238] ppid=17220 vsize=26607436 memory=57 CPUtime=1.25 cores=0-7 /proc/17222/task/17238/stat : 17238 (java) S 17220 17220 7585 0 -1 1077944384 4818 0 0 0 124 1 0 0 20 0 18 0 97170757 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231365861104 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17239] ppid=17220 vsize=26607436 memory=5790086053191909267 CPUtime=0.61 cores=0-7 /proc/17222/task/17239/stat : 17239 (java) S 17220 17220 7585 0 -1 1077944384 2618 0 0 0 60 1 0 0 20 0 18 0 97170757 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231364823552 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 [pid=17222/tid=17240] ppid=17220 vsize=26607436 memory=-3472574944341025154 CPUtime=0 cores=0-7 /proc/17222/task/17240/stat : 17240 (java) S 17220 17220 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 97170757 27246014464 100451 33554432000 4194304 4196468 140723866537472 140231363770720 140232178296533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38785024 140723866539160 140723866539336 140723866539336 140723866542031 0 Current children cumulated CPU time: 14.82 s Current children cumulated vsize: 26616948 KiB Current children cumulated memory: 403188 KiB Child status: 0 Real time (s): 2.51359 CPU time (s): 14.8434 CPU user time (s): 14.5585 CPU system time (s): 0.284837 CPU usage (%): 590.523 Max. virtual memory (cumulated for all children) (KiB): 26616948 Max. memory (cumulated for all children) (KiB): 403188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.5585 system time used= 0.284837 maximum resident set size= 403024 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30608 page faults= 0 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5124 involuntary context switches= 415 # summary of solver processes directly reported to runsolver: # pid: 17220 # total CPU time (s): 14.8434 # total CPU user time (s): 14.5585 # total CPU system time (s): 0.284837 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.041584 second user time and 0.070373 second system time The end
Begin job on node112 at 2017-08-13 17:59:31 IDJOB=4271628 IDBENCH=122975 IDSOLVER=2663 FILE ID=node112/4271628-1502640829 RUNJOBID= node112-1502636672-7612 PBS_JOBID= 20628326 Free space on /tmp= 61788 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-10-031-009.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271628-1502640829/watcher-4271628-1502640829 -o /tmp/evaluation-result-4271628-1502640829/solver-4271628-1502640829 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2113878525 HOME/instance-4271628-1502640829.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c781bc55b7ee4c4bb57d86a03397642c RANDOM SEED=2113878525 node112.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.24 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.24 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.24 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.24 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: 31703048 kB MemAvailable: 31980460 kB Buffers: 127452 kB Cached: 430868 kB SwapCached: 0 kB Active: 455676 kB Inactive: 156120 kB Active(anon): 5092 kB Inactive(anon): 76476 kB Active(file): 450584 kB Inactive(file): 79644 kB Unevictable: 6276 kB Mlocked: 6276 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7820 kB Writeback: 0 kB AnonPages: 68500 kB Mapped: 43508 kB Shmem: 25224 kB Slab: 152240 kB SReclaimable: 126040 kB SUnreclaim: 26200 kB KernelStack: 3728 kB PageTables: 4220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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= 61780 MiB End job on node112 at 2017-08-13 17:59:34