Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
choco-solver 4.0.5 par (2017-08-18) | SAT | 63.901699 | 49.382 |
Name | Crossword/Crossword-m1c-ogd-herald/ Crossword-m1c-ogd-h2310.xml |
MD5SUM | 1382364eb69d46a6a3e5c5342b2b1514 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 2.8717699 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 529 |
Number of constraints | 156 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":462}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":67},{"degree":2,"count":462}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 13 |
Distribution of constraint arities | [{"arity":3,"count":24},{"arity":4,"count":12},{"arity":5,"count":32},{"arity":6,"count":40},{"arity":7,"count":16},{"arity":8,"count":12},{"arity":9,"count":16},{"arity":13,"count":4}] |
Number of extensional constraints | 156 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":156}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281229-1503178836.xml" -tl '20160s' -p 8 -x 0 0.11/0.14 c [HOME/instance-4281229-1503178836.xml, -tl, 20160s, -p, 8, -x, 0] 0.11/0.20 c 8 solvers in parallel 0.33/0.27 c parse instance... 58.42/48.63 c solve instance... 63.52/49.35 s SATISFIABLE 63.52/49.35 v <instantiation> 63.52/49.35 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][14] x[0][15] x[0][16] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] 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[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][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[3][0] x[3][1] x[3][2] 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][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][20] x[3][21] x[3][22] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[5][0] x[5][1] x[5][2] x[5][3] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][19] x[5][20] x[5][21] x[6][2] x[6][3] x[6][4] x[6][5] 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][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] 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][9] x[8][10] x[8][11] x[8][12] x[8][13] 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[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][10] x[9][11] x[9][12] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][20] x[10][21] x[10][22] x[11][0] x[11][1] x[11][2] x[11][3] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][19] x[11][20] x[11][21] x[11][22] x[12][0] x[12][1] x[12][2] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][10] x[13][11] x[13][12] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][17] x[16][18] x[16][19] x[16][20] x[17][1] x[17][2] x[17][3] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][19] x[17][20] x[17][21] x[17][22] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[19][0] x[19][1] x[19][2] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][20] x[19][21] x[19][22] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][6] x[22][7] x[22][8] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] </list> 63.52/49.35 v <values>2 4 6 4 15 18 14 1 18 2 20 17 22 0 15 5 11 20 19 4 0 1 0 19 19 20 3 4 21 8 18 20 0 17 4 19 8 4 17 4 18 17 0 2 2 14 12 12 14 3 4 17 4 25 6 8 13 4 18 19 14 8 18 19 7 4 18 14 12 13 14 11 4 25 5 14 18 18 4 18 2 11 4 0 8 11 11 4 15 8 13 19 4 12 14 13 19 0 4 13 14 11 18 19 17 8 14 3 8 4 13 4 4 0 20 13 14 8 18 14 17 4 13 20 4 25 13 0 18 14 13 13 4 4 18 19 14 17 3 20 4 4 15 8 11 11 4 19 19 18 0 17 8 13 4 13 14 17 3 4 18 19 6 0 4 11 8 19 4 18 4 18 14 15 4 2 24 2 11 8 18 4 4 8 6 13 14 17 0 13 19 18 8 11 18 8 17 14 10 14 18 3 4 13 8 4 18 14 20 11 4 4 18 0 0 13 4 13 17 0 15 4 17 4 18 2 14 12 12 20 13 19 0 12 8 18 4 1 4 13 8 18 0 18 3 14 17 8 14 19 2 17 8 1 11 0 19 0 2 2 0 5 14 20 8 4 18 2 7 20 4 11 8 0 18 18 8 4 25 19 0 12 14 20 11 4 18 12 4 17 11 18 4 18 19 0 12 15 4 25 0 6 4 13 19 14 11 17 4 18 14 11 20 18 4 6 17 0 8 13 0 19 0 13 3 4 12 19 8 17 0 12 8 18 20 18 4 18 19 4 19 0 17 1 17 0 18 4 17 14 19 17 20 18 19 8 13 4 18 15 8 2 0 18 14 15 4 13 18 1 4 21 8 13 0 18 3 8 2 4 18 0 12 0 25 14 19 18 12 0 13 8 5 14 11 3 0 3 14 17 4 18 2 0 15 4 13 19 2 14 13 19 17 4 1 0 13 3 8 4 17 3 4 18 0 11 8 4 13 4 3 20 2 4 4 13 11 4 20 17 17 4 20 18 4 17 0 13 4 18 3 4 18 4 17 19 0 18 2 4 18 4 </values> 63.52/49.35 v </instantiation>
OK
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 (12770 MiB free) memory of node 1: 16384 MiB (12129 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281229-1503178836/watcher-4281229-1503178836 -o /tmp/evaluation-result-4281229-1503178836/solver-4281229-1503178836 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503175375-6738 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 386686341 HOME/instance-4281229-1503178836.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=7680, runsolver pid=7677 [startup+0.100156 s]* /proc/loadavg: 6.90 7.90 8.17 2/199 7701 /proc/meminfo: memFree=25482660/32770624 swapFree=67108860/67108860 [pid=7680] ppid=7677 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7680/stat : 7680 (xcsp3-exec) S 7677 7680 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150964537 9740288 346 33554432000 4194304 5098028 140723438472464 140723438470568 139671783535228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16936960 140723438478437 140723438478647 140723438478647 140723438481387 0 /proc/7680/statm: 2378 346 289 221 0 87 0 [pid=7682] ppid=7680 vsize=25999808 memory=26608 CPUtime=0.11 cores=0-7 /proc/7682/stat : 7682 (java) S 7680 7680 6711 0 -1 1077944320 5582 0 0 0 10 1 0 0 20 0 20 0 150964537 26623803392 6652 33554432000 4194304 4196468 140733801758512 140733801741056 140309891976951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 /proc/7682/statm: 6499952 6652 2843 1 0 6488269 0 [pid=7682/tid=7683] ppid=7680 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/7682/task/7683/stat : 7683 (java) R 7680 7680 6711 0 -1 4202560 3595 0 0 0 8 1 0 0 20 0 20 0 150964538 26623803392 6652 33554432000 4194304 4196468 140733801758512 140309896200400 140309891988886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7684] ppid=7680 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/7682/task/7684/stat : 7684 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26623803392 6652 33554432000 4194304 4196468 140733801758512 140309814557584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7685] ppid=7680 vsize=25999808 memory=140155857770112 CPUtime=0 cores=0-7 /proc/7682/task/7685/stat : 7685 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26623803392 6652 33554432000 4194304 4196468 140733801758512 140309813504784 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7686] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7686/stat : 7686 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964539 26623803392 6652 33554432000 4194304 4196468 140733801758512 140309812452496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7687] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7687/stat : 7687 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26623803392 6652 33554432000 4194304 4196468 140733801758512 140309811399696 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7688] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7688/stat : 7688 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964539 26623803392 6652 33554432000 4194304 4196468 140733801758512 140309810346384 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7689] ppid=7680 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7682/task/7689/stat : 7689 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964539 26623803392 6652 33554432000 4194304 4196468 140733801758512 140309809293584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7690] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7690/stat : 7690 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26623803392 6652 33554432000 4194304 4196468 140733801758512 140309808241296 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7691] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7691/stat : 7691 (java) S 7680 7680 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150964539 26623803392 6652 33554432000 4194304 4196468 140733801758512 140309807188496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7692] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7692/stat : 7692 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964540 26623803392 6652 33554432000 4194304 4196468 140733801758512 140308566907504 140309891988098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7693] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7693/stat : 7693 (java) S 7680 7680 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150964541 26623803392 6652 33554432000 4194304 4196468 140733801758512 140308565853472 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7694] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7694/stat : 7694 (java) S 7680 7680 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150964541 26623803392 6652 33554432000 4194304 4196468 140733801758512 140308564801136 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7695] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7695/stat : 7695 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964543 26623803392 6652 33554432000 4194304 4196468 140733801758512 140308563749456 140309891995547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7696] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7696/stat : 7696 (java) S 7680 7680 6711 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 150964543 26623803392 6652 33554432000 4194304 4196468 140733801758512 140308562696304 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7697] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7697/stat : 7697 (java) S 7680 7680 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150964543 26623803392 6652 33554432000 4194304 4196468 140733801758512 140308561643504 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7698] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7698/stat : 7698 (java) S 7680 7680 6711 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 150964543 26623803392 6652 33554432000 4194304 4196468 140733801758512 140308560591216 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7699] ppid=7680 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7 /proc/7682/task/7699/stat : 7699 (java) R 7680 7680 6711 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 150964543 26623803392 6652 33554432000 4194304 4196468 140733801758512 140308559538416 140309876229906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7700] ppid=7680 vsize=25999808 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7700/stat : 7700 (java) S 7680 7680 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150964543 26623803392 6652 33554432000 4194304 4196468 140733801758512 140308558486368 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7701] ppid=7680 vsize=25999808 memory=-1 CPUtime=0 cores=0-7 /proc/7682/task/7701/stat : 7701 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964544 26623803392 6652 33554432000 4194304 4196468 140733801758512 140308557433648 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26009320 KiB Current children cumulated memory: 27992 KiB [startup+0.210206 s]* /proc/loadavg: 6.90 7.90 8.17 2/199 7701 /proc/meminfo: memFree=25471264/32770624 swapFree=67108860/67108860 [pid=7680] ppid=7677 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7680/stat : 7680 (xcsp3-exec) S 7677 7680 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150964537 9740288 346 33554432000 4194304 5098028 140723438472464 140723438470568 139671783535228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16936960 140723438478437 140723438478647 140723438478647 140723438481387 0 /proc/7680/statm: 2378 346 289 221 0 87 0 [pid=7682] ppid=7680 vsize=26004064 memory=38948 CPUtime=0.33 cores=0-7 /proc/7682/stat : 7682 (java) S 7680 7680 6711 0 -1 1077944320 8299 0 0 0 30 3 0 0 20 0 20 0 150964537 26628161536 9737 33554432000 4194304 4196468 140733801758512 140733801741056 140309891976951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 /proc/7682/statm: 6501016 9737 3067 1 0 6488269 0 [pid=7682/tid=7683] ppid=7680 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/7682/task/7683/stat : 7683 (java) R 7680 7680 6711 0 -1 4202560 5416 0 0 0 17 2 0 0 20 0 20 0 150964538 26628161536 9737 33554432000 4194304 4196468 140733801758512 140309896199856 140309891998877 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7684] ppid=7680 vsize=26004064 memory=330 CPUtime=0 cores=0-7 /proc/7682/task/7684/stat : 7684 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 9737 33554432000 4194304 4196468 140733801758512 140309814557584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7685] ppid=7680 vsize=26004064 memory=140155858468530 CPUtime=0 cores=0-7 /proc/7682/task/7685/stat : 7685 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 9737 33554432000 4194304 4196468 140733801758512 140309813504784 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7686] ppid=7680 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7682/task/7686/stat : 7686 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 9737 33554432000 4194304 4196468 140733801758512 140309812452496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7687] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7687/stat : 7687 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 9737 33554432000 4194304 4196468 140733801758512 140309811399696 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7688] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7688/stat : 7688 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 9737 33554432000 4194304 4196468 140733801758512 140309810346384 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7689] ppid=7680 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7682/task/7689/stat : 7689 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 9737 33554432000 4194304 4196468 140733801758512 140309809293584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7690] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7690/stat : 7690 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 9737 33554432000 4194304 4196468 140733801758512 140309808241296 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7691] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7691/stat : 7691 (java) S 7680 7680 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 9737 33554432000 4194304 4196468 140733801758512 140309807188496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7692] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7692/stat : 7692 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964540 26628161536 9737 33554432000 4194304 4196468 140733801758512 140308566907504 140309891988098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7693] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7693/stat : 7693 (java) S 7680 7680 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150964541 26628161536 9737 33554432000 4194304 4196468 140733801758512 140308565853472 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7694] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7694/stat : 7694 (java) S 7680 7680 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150964541 26628161536 9737 33554432000 4194304 4196468 140733801758512 140308564801136 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7695] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7695/stat : 7695 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964543 26628161536 9737 33554432000 4194304 4196468 140733801758512 140308563749456 140309891995547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7696] ppid=7680 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7 /proc/7682/task/7696/stat : 7696 (java) S 7680 7680 6711 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 150964543 26628161536 9737 33554432000 4194304 4196468 140733801758512 140308562696304 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7697] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7697/stat : 7697 (java) S 7680 7680 6711 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 150964543 26628161536 9737 33554432000 4194304 4196468 140733801758512 140308561643504 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7698] ppid=7680 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7 /proc/7682/task/7698/stat : 7698 (java) S 7680 7680 6711 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 20 0 150964543 26628161536 9737 33554432000 4194304 4196468 140733801758512 140308560591216 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7699] ppid=7680 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7 /proc/7682/task/7699/stat : 7699 (java) S 7680 7680 6711 0 -1 1077944384 748 0 0 0 7 0 0 0 20 0 20 0 150964543 26628161536 9737 33554432000 4194304 4196468 140733801758512 140308559538416 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7700] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7700/stat : 7700 (java) S 7680 7680 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150964543 26628161536 9737 33554432000 4194304 4196468 140733801758512 140308558486368 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7701] ppid=7680 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7682/task/7701/stat : 7701 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964544 26628161536 9737 33554432000 4194304 4196468 140733801758512 140308557433648 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 40332 KiB [startup+0.309542 s]* /proc/loadavg: 6.90 7.90 8.17 4/199 7701 /proc/meminfo: memFree=25464828/32770624 swapFree=67108860/67108860 [pid=7680] ppid=7677 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7680/stat : 7680 (xcsp3-exec) S 7677 7680 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150964537 9740288 346 33554432000 4194304 5098028 140723438472464 140723438470568 139671783535228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16936960 140723438478437 140723438478647 140723438478647 140723438481387 0 /proc/7680/statm: 2378 346 289 221 0 87 0 [pid=7682] ppid=7680 vsize=26004064 memory=45624 CPUtime=0.48 cores=0-7 /proc/7682/stat : 7682 (java) S 7680 7680 6711 0 -1 1077944320 9087 0 0 0 45 3 0 0 20 0 20 0 150964537 26628161536 11406 33554432000 4194304 4196468 140733801758512 140733801741056 140309891976951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 /proc/7682/statm: 6501016 11406 3082 1 0 6488269 0 [pid=7682/tid=7683] ppid=7680 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/7682/task/7683/stat : 7683 (java) R 7680 7680 6711 0 -1 4202560 6082 0 0 0 27 2 0 0 20 0 20 0 150964538 26628161536 11406 33554432000 4194304 4196468 140733801758512 140309896215008 140309891988886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7684] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7684/stat : 7684 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 11406 33554432000 4194304 4196468 140733801758512 140309814557584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7685] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7685/stat : 7685 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 11406 33554432000 4194304 4196468 140733801758512 140309813504784 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7686] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7686/stat : 7686 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 11406 33554432000 4194304 4196468 140733801758512 140309812452496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7687] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7687/stat : 7687 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 11406 33554432000 4194304 4196468 140733801758512 140309811399696 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7688] ppid=7680 vsize=26004064 memory=2244 CPUtime=0 cores=0-7 /proc/7682/task/7688/stat : 7688 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 11406 33554432000 4194304 4196468 140733801758512 140309810346384 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7689] ppid=7680 vsize=26004064 memory=140155721708463 CPUtime=0 cores=0-7 /proc/7682/task/7689/stat : 7689 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 11406 33554432000 4194304 4196468 140733801758512 140309809293584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7690] ppid=7680 vsize=26004064 memory=140155721710768 CPUtime=0 cores=0-7 /proc/7682/task/7690/stat : 7690 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 11406 33554432000 4194304 4196468 140733801758512 140309808241296 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7691] ppid=7680 vsize=26004064 memory=140155721713072 CPUtime=0 cores=0-7 /proc/7682/task/7691/stat : 7691 (java) S 7680 7680 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150964539 26628161536 11406 33554432000 4194304 4196468 140733801758512 140309807188496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7692] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7692/stat : 7692 (java) S 7680 7680 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150964540 26628161536 11406 33554432000 4194304 4196468 140733801758512 140308566907504 140309891988098 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7693] ppid=7680 vsize=26004064 memory=280311443433104 CPUtime=0 cores=0-7 /proc/7682/task/7693/stat : 7693 (java) S 7680 7680 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150964541 26628161536 11406 33554432000 4194304 4196468 140733801758512 140308565853472 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7694] ppid=7680 vsize=26004064 memory=280311443440016 CPUtime=0 cores=0-7 /proc/7682/task/7694/stat : 7694 (java) S 7680 7680 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150964541 26628161536 11406 33554432000 4194304 4196468 140733801758512 140308564801136 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7695] ppid=7680 vsize=26004064 memory=280311443381296 CPUtime=0 cores=0-7 /proc/7682/task/7695/stat : 7695 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964543 26628161536 11406 33554432000 4194304 4196468 140733801758512 140308563749456 140309891995547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7696] ppid=7680 vsize=26004064 memory=280311443453840 CPUtime=0.01 cores=0-7 /proc/7682/task/7696/stat : 7696 (java) S 7680 7680 6711 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 20 0 150964543 26628161536 11406 33554432000 4194304 4196468 140733801758512 140308562696304 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7697] ppid=7680 vsize=26004064 memory=280311443460752 CPUtime=0.02 cores=0-7 /proc/7682/task/7697/stat : 7697 (java) S 7680 7680 6711 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 20 0 150964543 26628161536 11406 33554432000 4194304 4196468 140733801758512 140308561643504 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7698] ppid=7680 vsize=26004064 memory=280311443458448 CPUtime=0.02 cores=0-7 /proc/7682/task/7698/stat : 7698 (java) R 7680 7680 6711 0 -1 4202560 432 0 0 0 2 0 0 0 20 0 20 0 150964543 26628161536 11406 33554432000 4194304 4196468 140733801758512 140308560591216 140309878041120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7699] ppid=7680 vsize=26004064 memory=280311443474608 CPUtime=0.12 cores=0-7 /proc/7682/task/7699/stat : 7699 (java) R 7680 7680 6711 0 -1 4202560 843 0 0 0 12 0 0 0 20 0 20 0 150964543 26628161536 11406 33554432000 4194304 4196468 140733801758512 140308559538416 140309870941840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7700] ppid=7680 vsize=26004064 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7700/stat : 7700 (java) S 7680 7680 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150964543 26628161536 11406 33554432000 4194304 4196468 140733801758512 140308558486368 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7701] ppid=7680 vsize=26004064 memory=-1 CPUtime=0 cores=0-7 /proc/7682/task/7701/stat : 7701 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964544 26628161536 11406 33554432000 4194304 4196468 140733801758512 140308557433648 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26013576 KiB Current children cumulated memory: 47008 KiB [startup+0.70095 s] /proc/loadavg: 6.90 7.90 8.17 5/199 7701 /proc/meminfo: memFree=25417464/32770624 swapFree=67108860/67108860 [pid=7680] ppid=7677 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7680/stat : 7680 (xcsp3-exec) S 7677 7680 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150964537 9740288 346 33554432000 4194304 5098028 140723438472464 140723438470568 139671783535228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16936960 140723438478437 140723438478647 140723438478647 140723438481387 0 /proc/7680/statm: 2378 346 289 221 0 87 0 [pid=7682] ppid=7680 vsize=26004140 memory=205172 CPUtime=1.75 cores=0-7 /proc/7682/stat : 7682 (java) S 7680 7680 6711 0 -1 1077944320 12705 0 0 0 165 10 0 0 20 0 20 0 150964537 26628239360 51293 33554432000 4194304 4196468 140733801758512 140733801741056 140309891976951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 /proc/7682/statm: 6501035 51293 3207 1 0 6488269 0 [pid=7682/tid=7683] ppid=7680 vsize=26004140 memory=280311443832496 CPUtime=0.66 cores=0-7 /proc/7682/task/7683/stat : 7683 (java) R 7680 7680 6711 0 -1 4202560 6455 0 0 0 62 4 0 0 20 0 20 0 150964538 26628239360 51293 33554432000 4194304 4196468 140733801758512 140309896209240 140309891988886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7684] ppid=7680 vsize=26004140 memory=140155721917296 CPUtime=0 cores=0-7 /proc/7682/task/7684/stat : 7684 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26628239360 51293 33554432000 4194304 4196468 140733801758512 140309814557584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7685] ppid=7680 vsize=26004140 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7685/stat : 7685 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150964539 26628239360 51293 33554432000 4194304 4196468 140733801758512 140309813504784 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7686] ppid=7680 vsize=26004140 memory=1204 CPUtime=0 cores=0-7 /proc/7682/task/7686/stat : 7686 (java) S 7680 7680 6711 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 150964539 26628239360 51293 33554432000 4194304 4196468 140733801758512 140309812452496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 ################ # More data... # ################ [pid=7682/tid=7691] ppid=7680 vsize=26538700 memory=1440 CPUtime=1.17 cores=0-7 /proc/7682/task/7691/stat : 7691 (java) S 7680 7680 6711 0 -1 1077944384 899 0 0 0 88 29 0 0 20 0 28 0 150964539 27175628800 588315 33554432000 4194304 4196468 140733801758512 140309807188496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7692] ppid=7680 vsize=26538700 memory=15880 CPUtime=0.81 cores=0-7 /proc/7682/task/7692/stat : 7692 (java) S 7680 7680 6711 0 -1 1077944384 4639 0 0 0 80 1 0 0 20 0 28 0 150964540 27175628800 588315 33554432000 4194304 4196468 140733801758512 140308566907504 140309891988098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7693] ppid=7680 vsize=26538700 memory=16432 CPUtime=0 cores=0-7 /proc/7682/task/7693/stat : 7693 (java) S 7680 7680 6711 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 150964541 27175628800 588315 33554432000 4194304 4196468 140733801758512 140308565853536 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7694] ppid=7680 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/7682/task/7694/stat : 7694 (java) S 7680 7680 6711 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 150964541 27175628800 588315 33554432000 4194304 4196468 140733801758512 140308564801152 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7695] ppid=7680 vsize=26538700 memory=1792 CPUtime=0 cores=0-7 /proc/7682/task/7695/stat : 7695 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150964543 27175628800 588315 33554432000 4194304 4196468 140733801758512 140308563749456 140309891995547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7696] ppid=7680 vsize=26538700 memory=636 CPUtime=0.78 cores=0-7 /proc/7682/task/7696/stat : 7696 (java) R 7680 7680 6711 0 -1 1077944384 4042 0 0 0 77 1 0 0 20 0 28 0 150964543 27175628800 588315 33554432000 4194304 4196468 140733801758512 140308562696304 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7697] ppid=7680 vsize=26538700 memory=8620 CPUtime=0.6 cores=0-7 /proc/7682/task/7697/stat : 7697 (java) R 7680 7680 6711 0 -1 4202560 2524 0 0 0 59 1 0 0 20 0 28 0 150964543 27175628800 588315 33554432000 4194304 4196468 140733801758512 140308561643264 140309891988886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7698] ppid=7680 vsize=26538700 memory=792 CPUtime=0.65 cores=0-7 /proc/7682/task/7698/stat : 7698 (java) R 7680 7680 6711 0 -1 1077944384 4442 0 0 0 64 1 0 0 20 0 28 0 150964543 27175628800 588315 33554432000 4194304 4196468 140733801758512 140308560591216 140309891988098 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7699] ppid=7680 vsize=26538700 memory=1204 CPUtime=0.51 cores=0-7 /proc/7682/task/7699/stat : 7699 (java) S 7680 7680 6711 0 -1 1077944384 4130 0 0 0 50 1 0 0 20 0 28 0 150964543 27175628800 588345 33554432000 4194304 4196468 140733801758512 140308559536208 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7700] ppid=7680 vsize=26538700 memory=1728 CPUtime=0 cores=0-7 /proc/7682/task/7700/stat : 7700 (java) S 7680 7680 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150964543 27175628800 588345 33554432000 4194304 4196468 140733801758512 140308558486368 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7701] ppid=7680 vsize=26538700 memory=1440 CPUtime=0.01 cores=0-7 /proc/7682/task/7701/stat : 7701 (java) S 7680 7680 6711 0 -1 1077944384 424 0 0 0 0 1 0 0 20 0 28 0 150964544 27175628800 588345 33554432000 4194304 4196468 140733801758512 140308557433648 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 Current children cumulated CPU time: 59.62 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2354644 KiB [startup+49.2095 s] /proc/loadavg: 3.90 6.91 7.82 13/207 7709 /proc/meminfo: memFree=23156292/32770624 swapFree=67108860/67108860 [pid=7680] ppid=7677 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7680/stat : 7680 (xcsp3-exec) S 7677 7680 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150964537 9740288 346 33554432000 4194304 5098028 140723438472464 140723438470568 139671783535228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16936960 140723438478437 140723438478647 140723438478647 140723438481387 0 /proc/7680/statm: 2378 346 289 221 0 87 0 [pid=7682] ppid=7680 vsize=26538700 memory=2357824 CPUtime=62.73 cores=0-7 /proc/7682/stat : 7682 (java) S 7680 7680 6711 0 -1 1077944320 48418 0 0 0 5957 316 0 0 20 0 28 0 150964537 27175628800 589456 33554432000 4194304 4196468 140733801758512 140733801741056 140309891976951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 /proc/7682/statm: 6634675 589456 3276 1 0 6621909 0 [pid=7682/tid=7683] ppid=7680 vsize=26538700 memory=8112282956445269571 CPUtime=46.72 cores=0-7 /proc/7682/task/7683/stat : 7683 (java) S 7680 7680 6711 0 -1 1077944384 14548 0 0 0 4650 22 0 0 20 0 28 0 150964538 27175628800 589456 33554432000 4194304 4196468 140733801758512 140309896217728 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7684] ppid=7680 vsize=26538700 memory=2298472 CPUtime=1.18 cores=0-7 /proc/7682/task/7684/stat : 7684 (java) S 7680 7680 6711 0 -1 1077944384 1260 0 0 0 90 28 0 0 20 0 28 0 150964539 27175628800 589456 33554432000 4194304 4196468 140733801758512 140309814557584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7685] ppid=7680 vsize=26538700 memory=15880 CPUtime=1.13 cores=0-7 /proc/7682/task/7685/stat : 7685 (java) S 7680 7680 6711 0 -1 1077944384 945 0 0 0 85 28 0 0 20 0 28 0 150964539 27175628800 589456 33554432000 4194304 4196468 140733801758512 140309813504784 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7686] ppid=7680 vsize=26538700 memory=16432 CPUtime=1.2 cores=0-7 /proc/7682/task/7686/stat : 7686 (java) S 7680 7680 6711 0 -1 1077944384 1103 0 0 0 78 42 0 0 20 0 28 0 150964539 27175628800 589456 33554432000 4194304 4196468 140733801758512 140309812452496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7687] ppid=7680 vsize=26538700 memory=24132 CPUtime=1.18 cores=0-7 /proc/7682/task/7687/stat : 7687 (java) S 7680 7680 6711 0 -1 1077944384 1161 0 0 0 77 41 0 0 20 0 28 0 150964539 27175628800 589456 33554432000 4194304 4196468 140733801758512 140309811399696 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7688] ppid=7680 vsize=26538700 memory=4044 CPUtime=1.19 cores=0-7 /proc/7682/task/7688/stat : 7688 (java) S 7680 7680 6711 0 -1 1077944384 913 0 0 0 77 42 0 0 20 0 28 0 150964539 27175628800 589456 33554432000 4194304 4196468 140733801758512 140309810346384 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7689] ppid=7680 vsize=26538700 memory=1792 CPUtime=1.16 cores=0-7 /proc/7682/task/7689/stat : 7689 (java) S 7680 7680 6711 0 -1 1077944384 1176 0 0 0 85 31 0 0 20 0 28 0 150964539 27175628800 589456 33554432000 4194304 4196468 140733801758512 140309809293584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7690] ppid=7680 vsize=26538700 memory=636 CPUtime=1.16 cores=0-7 /proc/7682/task/7690/stat : 7690 (java) S 7680 7680 6711 0 -1 1077944384 1579 0 0 0 76 40 0 0 20 0 28 0 150964539 27175628800 589456 33554432000 4194304 4196468 140733801758512 140309808241296 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7691] ppid=7680 vsize=26538700 memory=1236 CPUtime=1.17 cores=0-7 /proc/7682/task/7691/stat : 7691 (java) S 7680 7680 6711 0 -1 1077944384 899 0 0 0 88 29 0 0 20 0 28 0 150964539 27175628800 589456 33554432000 4194304 4196468 140733801758512 140309807188496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7692] ppid=7680 vsize=26538700 memory=960 CPUtime=0.81 cores=0-7 /proc/7682/task/7692/stat : 7692 (java) S 7680 7680 6711 0 -1 1077944384 4639 0 0 0 80 1 0 0 20 0 28 0 150964540 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308566907504 140309891988098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7693] ppid=7680 vsize=26538700 memory=2240 CPUtime=0 cores=0-7 /proc/7682/task/7693/stat : 7693 (java) S 7680 7680 6711 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 150964541 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308565853536 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7694] ppid=7680 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/7682/task/7694/stat : 7694 (java) S 7680 7680 6711 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 150964541 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308564801152 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7695] ppid=7680 vsize=26538700 memory=288230583166042425 CPUtime=0 cores=0-7 /proc/7682/task/7695/stat : 7695 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150964543 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308563749456 140309891995547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7696] ppid=7680 vsize=26538700 memory=16101468159609422 CPUtime=0.94 cores=0-7 /proc/7682/task/7696/stat : 7696 (java) R 7680 7680 6711 0 -1 4202560 4133 0 0 0 93 1 0 0 20 0 28 0 150964543 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308562687936 140309871233584 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7697] ppid=7680 vsize=26538700 memory=280311443918880 CPUtime=0.78 cores=0-7 /proc/7682/task/7697/stat : 7697 (java) R 7680 7680 6711 0 -1 4202560 3790 0 0 0 77 1 0 0 20 0 28 0 150964543 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308561636696 140309871820561 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7698] ppid=7680 vsize=26538700 memory=7310735216311447265 CPUtime=0.81 cores=0-7 /proc/7682/task/7698/stat : 7698 (java) R 7680 7680 6711 0 -1 4202560 5510 0 0 0 80 1 0 0 20 0 28 0 150964543 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308560577120 140309875936384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7699] ppid=7680 vsize=26538700 memory=8320808402719879476 CPUtime=0.56 cores=0-7 /proc/7682/task/7699/stat : 7699 (java) R 7680 7680 6711 0 -1 1077944384 4533 0 0 0 55 1 0 0 20 0 28 0 150964543 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308559538416 140309891988098 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7700] ppid=7680 vsize=26538700 memory=8320808402719945268 CPUtime=0 cores=0-7 /proc/7682/task/7700/stat : 7700 (java) S 7680 7680 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150964543 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308558486368 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7701] ppid=7680 vsize=26538700 memory=7887610716981048116 CPUtime=0.01 cores=0-7 /proc/7682/task/7701/stat : 7701 (java) S 7680 7680 6711 0 -1 1077944384 424 0 0 0 0 1 0 0 20 0 28 0 150964544 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308557433648 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7702] ppid=7680 vsize=26538700 memory=7238798801034884149 CPUtime=0.31 cores=0-7 /proc/7682/task/7702/stat : 7702 (java) R 7680 7680 6711 0 -1 4202560 81 0 0 0 31 0 0 0 20 0 28 0 150969403 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308549425496 140309486914315 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7703] ppid=7680 vsize=26538700 memory=3905219235134387265 CPUtime=0.33 cores=0-7 /proc/7682/task/7703/stat : 7703 (java) R 7680 7680 6711 0 -1 4202560 45 0 0 0 33 0 0 0 20 0 28 0 150969403 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308548374000 140309486914446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7704] ppid=7680 vsize=26538700 memory=2319529354888444993 CPUtime=0.36 cores=0-7 /proc/7682/task/7704/stat : 7704 (java) R 7680 7680 6711 0 -1 4202560 48 0 0 0 36 0 0 0 20 0 28 0 150969403 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308547316856 140309490621626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7705] ppid=7680 vsize=26538700 memory=173138721651727 CPUtime=0.32 cores=0-7 /proc/7682/task/7705/stat : 7705 (java) R 7680 7680 6711 0 -1 4202560 91 0 0 0 32 0 0 0 20 0 28 0 150969417 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308546264288 140309484933812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7706] ppid=7680 vsize=26538700 memory=792 CPUtime=0.32 cores=0-7 /proc/7682/task/7706/stat : 7706 (java) R 7680 7680 6711 0 -1 4202560 43 0 0 0 32 0 0 0 20 0 28 0 150969417 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308545211576 140309484933812 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7707] ppid=7680 vsize=26538700 memory=7014751519599908711 CPUtime=0.3 cores=0-7 /proc/7682/task/7707/stat : 7707 (java) R 7680 7680 6711 0 -1 4202560 36 0 0 0 30 0 0 0 20 0 28 0 150969417 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308544159200 140309484922597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7708] ppid=7680 vsize=26538700 memory=0 CPUtime=0.32 cores=0-7 /proc/7682/task/7708/stat : 7708 (java) R 7680 7680 6711 0 -1 4202560 36 0 0 0 32 0 0 0 20 0 28 0 150969417 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308543109944 140309486913509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7709] ppid=7680 vsize=26538700 memory=0 CPUtime=0.27 cores=0-7 /proc/7682/task/7709/stat : 7709 (java) R 7680 7680 6711 0 -1 4202560 31 0 0 0 27 0 0 0 20 0 28 0 150969417 27175628800 589456 33554432000 4194304 4196468 140733801758512 140308542056520 140309484933812 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 Current children cumulated CPU time: 62.73 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2359208 KiB [startup+49.3075 s] /proc/loadavg: 3.90 6.91 7.82 13/207 7709 /proc/meminfo: memFree=23156292/32770624 swapFree=67108860/67108860 [pid=7680] ppid=7677 vsize=9512 memory=1384 CPUtime=0 cores=0-7 /proc/7680/stat : 7680 (xcsp3-exec) S 7677 7680 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150964537 9740288 346 33554432000 4194304 5098028 140723438472464 140723438470568 139671783535228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16936960 140723438478437 140723438478647 140723438478647 140723438481387 0 /proc/7680/statm: 2378 346 289 221 0 87 0 [pid=7682] ppid=7680 vsize=26538700 memory=2359324 CPUtime=63.52 cores=0-7 /proc/7682/stat : 7682 (java) S 7680 7680 6711 0 -1 1077944320 48832 0 0 0 6036 316 0 0 20 0 28 0 150964537 27175628800 589831 33554432000 4194304 4196468 140733801758512 140733801741056 140309891976951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 /proc/7682/statm: 6634675 589831 3282 1 0 6621909 0 [pid=7682/tid=7683] ppid=7680 vsize=26538700 memory=2298472 CPUtime=46.72 cores=0-7 /proc/7682/task/7683/stat : 7683 (java) S 7680 7680 6711 0 -1 1077944384 14548 0 0 0 4650 22 0 0 20 0 28 0 150964538 27175628800 589831 33554432000 4194304 4196468 140733801758512 140309896217728 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7684] ppid=7680 vsize=26538700 memory=2356276 CPUtime=1.18 cores=0-7 /proc/7682/task/7684/stat : 7684 (java) S 7680 7680 6711 0 -1 1077944384 1260 0 0 0 90 28 0 0 20 0 28 0 150964539 27175628800 589831 33554432000 4194304 4196468 140733801758512 140309814557584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7685] ppid=7680 vsize=26538700 memory=1384 CPUtime=1.13 cores=0-7 /proc/7682/task/7685/stat : 7685 (java) S 7680 7680 6711 0 -1 1077944384 945 0 0 0 85 28 0 0 20 0 28 0 150964539 27175628800 589831 33554432000 4194304 4196468 140733801758512 140309813504784 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7686] ppid=7680 vsize=26538700 memory=280311443294624 CPUtime=1.2 cores=0-7 /proc/7682/task/7686/stat : 7686 (java) S 7680 7680 6711 0 -1 1077944384 1103 0 0 0 78 42 0 0 20 0 28 0 150964539 27175628800 589831 33554432000 4194304 4196468 140733801758512 140309812452496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7687] ppid=7680 vsize=26538700 memory=592897879647151640 CPUtime=1.18 cores=0-7 /proc/7682/task/7687/stat : 7687 (java) S 7680 7680 6711 0 -1 1077944384 1161 0 0 0 77 41 0 0 20 0 28 0 150964539 27175628800 589831 33554432000 4194304 4196468 140733801758512 140309811399696 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7688] ppid=7680 vsize=26538700 memory=1384 CPUtime=1.19 cores=0-7 /proc/7682/task/7688/stat : 7688 (java) S 7680 7680 6711 0 -1 1077944384 913 0 0 0 77 42 0 0 20 0 28 0 150964539 27175628800 589831 33554432000 4194304 4196468 140733801758512 140309810346384 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7689] ppid=7680 vsize=26538700 memory=1384 CPUtime=1.16 cores=0-7 /proc/7682/task/7689/stat : 7689 (java) S 7680 7680 6711 0 -1 1077944384 1176 0 0 0 85 31 0 0 20 0 28 0 150964539 27175628800 589831 33554432000 4194304 4196468 140733801758512 140309809293584 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7690] ppid=7680 vsize=26538700 memory=1384 CPUtime=1.16 cores=0-7 /proc/7682/task/7690/stat : 7690 (java) S 7680 7680 6711 0 -1 1077944384 1579 0 0 0 76 40 0 0 20 0 28 0 150964539 27175628800 589831 33554432000 4194304 4196468 140733801758512 140309808241296 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7691] ppid=7680 vsize=26538700 memory=2298244 CPUtime=1.17 cores=0-7 /proc/7682/task/7691/stat : 7691 (java) S 7680 7680 6711 0 -1 1077944384 899 0 0 0 88 29 0 0 20 0 28 0 150964539 27175628800 589831 33554432000 4194304 4196468 140733801758512 140309807188496 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7692] ppid=7680 vsize=26538700 memory=0 CPUtime=0.81 cores=0-7 /proc/7682/task/7692/stat : 7692 (java) S 7680 7680 6711 0 -1 1077944384 4639 0 0 0 80 1 0 0 20 0 28 0 150964540 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308566907504 140309891988098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7693] ppid=7680 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7693/stat : 7693 (java) S 7680 7680 6711 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 150964541 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308565853536 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7694] ppid=7680 vsize=26538700 memory=1519400 CPUtime=0 cores=0-7 /proc/7682/task/7694/stat : 7694 (java) S 7680 7680 6711 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 28 0 150964541 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308564801152 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7695] ppid=7680 vsize=26538700 memory=0 CPUtime=0 cores=0-7 /proc/7682/task/7695/stat : 7695 (java) S 7680 7680 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150964543 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308563749456 140309891995547 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7696] ppid=7680 vsize=26538700 memory=1384 CPUtime=1.02 cores=0-7 /proc/7682/task/7696/stat : 7696 (java) R 7680 7680 6711 0 -1 1077944384 4141 0 0 0 101 1 0 0 20 0 28 0 150964543 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308562696304 140309891988098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7697] ppid=7680 vsize=26538700 memory=2298472 CPUtime=0.87 cores=0-7 /proc/7682/task/7697/stat : 7697 (java) R 7680 7680 6711 0 -1 4202560 4129 0 0 0 86 1 0 0 20 0 28 0 150964543 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308561624520 140309873497463 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7698] ppid=7680 vsize=26538700 memory=16432 CPUtime=0.86 cores=0-7 /proc/7682/task/7698/stat : 7698 (java) S 7680 7680 6711 0 -1 1077944384 5557 0 0 0 85 1 0 0 20 0 28 0 150964543 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308560591216 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7699] ppid=7680 vsize=26538700 memory=288230574492221466 CPUtime=0.57 cores=0-7 /proc/7682/task/7699/stat : 7699 (java) S 7680 7680 6711 0 -1 1077944384 4544 0 0 0 56 1 0 0 20 0 28 0 150964543 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308559536208 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7700] ppid=7680 vsize=26538700 memory=288230583166042425 CPUtime=0 cores=0-7 /proc/7682/task/7700/stat : 7700 (java) S 7680 7680 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150964543 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308558486368 140309891987157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7701] ppid=7680 vsize=26538700 memory=16101468159609422 CPUtime=0.01 cores=0-7 /proc/7682/task/7701/stat : 7701 (java) S 7680 7680 6711 0 -1 1077944384 424 0 0 0 0 1 0 0 20 0 28 0 150964544 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308557433648 140309891988098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7702] ppid=7680 vsize=26538700 memory=2196 CPUtime=0.4 cores=0-7 /proc/7682/task/7702/stat : 7702 (java) R 7680 7680 6711 0 -1 4202560 83 0 0 0 40 0 0 0 20 0 28 0 150969403 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308549425496 140309487768433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7703] ppid=7680 vsize=26538700 memory=8052 CPUtime=0.38 cores=0-7 /proc/7682/task/7703/stat : 7703 (java) R 7680 7680 6711 0 -1 4202560 45 0 0 0 38 0 0 0 20 0 28 0 150969403 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308548371528 140309487432002 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7704] ppid=7680 vsize=26538700 memory=840 CPUtime=0.45 cores=0-7 /proc/7682/task/7704/stat : 7704 (java) R 7680 7680 6711 0 -1 4202560 51 0 0 0 45 0 0 0 20 0 28 0 150969403 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308547316856 140309487522943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7705] ppid=7680 vsize=26538700 memory=1696 CPUtime=0.37 cores=0-7 /proc/7682/task/7705/stat : 7705 (java) R 7680 7680 6711 0 -1 4202560 91 0 0 0 37 0 0 0 20 0 28 0 150969417 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308546267112 140309487522943 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7706] ppid=7680 vsize=26538700 memory=920 CPUtime=0.36 cores=0-7 /proc/7682/task/7706/stat : 7706 (java) R 7680 7680 6711 0 -1 4202560 43 0 0 0 36 0 0 0 20 0 28 0 150969417 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308545214920 140309487524336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7707] ppid=7680 vsize=26538700 memory=4452 CPUtime=0.4 cores=0-7 /proc/7682/task/7707/stat : 7707 (java) R 7680 7680 6711 0 -1 4202560 39 0 0 0 40 0 0 0 20 0 28 0 150969417 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308544159368 140309484908647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7708] ppid=7680 vsize=26538700 memory=4108 CPUtime=0.38 cores=0-7 /proc/7682/task/7708/stat : 7708 (java) R 7680 7680 6711 0 -1 4202560 37 0 0 0 38 0 0 0 20 0 28 0 150969417 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308543107816 140309487408171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 [pid=7682/tid=7709] ppid=7680 vsize=26538700 memory=1156 CPUtime=0.35 cores=0-7 /proc/7682/task/7709/stat : 7709 (java) R 7680 7680 6711 0 -1 4202560 31 0 0 0 35 0 0 0 20 0 28 0 150969417 27175628800 589831 33554432000 4194304 4196468 140733801758512 140308542056904 140309487522943 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26861568 140733801759890 140733801760067 140733801760067 140733801762767 0 Current children cumulated CPU time: 63.52 s Current children cumulated vsize: 26548212 KiB Current children cumulated memory: 2360708 KiB Child status: 0 Real time (s): 49.382 CPU time (s): 63.9017 CPU user time (s): 60.7175 CPU system time (s): 3.18416 CPU usage (%): 129.403 Max. virtual memory (cumulated for all children) (KiB): 26548212 Max. memory (cumulated for all children) (KiB): 2360708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 60.7175 system time used= 3.18416 maximum resident set size= 2360996 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49659 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5720 involuntary context switches= 279 # summary of solver processes directly reported to runsolver: # pid: 7680 # total CPU time (s): 63.9017 # total CPU user time (s): 60.7175 # total CPU system time (s): 3.18416 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.352741 second user time and 0.502634 second system time The end
Begin job on node148 at 2017-08-19 23:26:16 IDJOB=4281229 IDBENCH=139957 IDSOLVER=2675 FILE ID=node148/4281229-1503178836 RUNJOBID= node148-1503175375-6738 PBS_JOBID= 20630845 Free space on /tmp= 61940 MiB SOLVER NAME= choco-solver 4.0.5 par BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h2310.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-4281229-1503178836/watcher-4281229-1503178836 -o /tmp/evaluation-result-4281229-1503178836/solver-4281229-1503178836 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503175375-6738 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 386686341 HOME/instance-4281229-1503178836.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1382364eb69d46a6a3e5c5342b2b1514 RANDOM SEED=386686341 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.19 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.19 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.19 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.19 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: 25497472 kB MemAvailable: 31971880 kB Buffers: 295104 kB Cached: 6473412 kB SwapCached: 0 kB Active: 1172552 kB Inactive: 5649040 kB Active(anon): 4848 kB Inactive(anon): 84704 kB Active(file): 1167704 kB Inactive(file): 5564336 kB Unevictable: 7784 kB Mlocked: 7784 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 12596 kB Writeback: 0 kB AnonPages: 97596 kB Mapped: 52064 kB Shmem: 33416 kB Slab: 143640 kB SReclaimable: 116404 kB SUnreclaim: 27236 kB KernelStack: 3520 kB PageTables: 5264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 333528 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61932 MiB End job on node148 at 2017-08-19 23:27:06