0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270996-1502821791.xml" -tl '20160s' -p 8 -x 0
0.12/0.14 c [HOME/instance-4270996-1502821791.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20 c 8 solvers in parallel
0.34/0.27 c parse instance...
1.10/0.60 c solve instance...
2916.68/366.40 s SATISFIABLE
2916.68/366.40 v <instantiation>
2916.68/366.40 v <list>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[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[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[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[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[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[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[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[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[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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] 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[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] 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][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] 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[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] 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][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] 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][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] 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][9] 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[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] 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][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] </list>
2916.68/366.40 v <values>7 1 5 0 27 9 8 16 15 10 26 17 20 19 2 28 3 22 23 24 12 18 6 13 4 29 14 21 25 11 10 16 8 14 5 23 3 15 19 18 24 6 29 22 0 27 12 9 26 20 21 1 2 28 25 4 7 11 17 13 3 26 10 13 18 27 28 21 24 7 11 14 0 4 12 16 15 17 22 8 25 9 29 5 6 1 20 19 2 23 13 24 4 21 3 22 7 26 16 15 12 25 5 9 29 1 11 18 8 6 23 20 14 17 10 27 28 2 0 19 1 19 7 27 12 8 2 17 29 11 16 0 14 25 15 22 21 26 28 5 3 13 24 23 9 10 18 20 6 4 9 23 15 4 6 18 24 11 28 16 3 8 2 7 19 20 22 10 29 25 5 0 26 27 1 21 12 13 14 17 21 0 3 25 22 5 4 7 13 2 6 23 16 17 20 24 19 11 14 12 10 29 27 18 26 9 8 1 15 28 26 15 23 12 24 13 18 14 25 22 7 9 3 20 5 29 1 4 17 21 27 2 11 0 19 8 6 10 28 16 5 12 26 24 23 4 11 22 27 6 20 16 13 21 25 14 10 29 18 2 28 19 7 1 15 17 9 0 8 3 17 20 12 9 16 29 10 5 4 24 22 19 27 23 1 2 26 13 21 15 11 6 28 25 14 18 0 3 7 8 6 8 19 1 7 15 16 25 17 21 13 28 10 0 18 26 27 12 9 11 29 3 22 4 20 2 5 23 24 14 23 18 6 15 13 17 5 1 22 20 2 29 12 28 24 0 16 25 4 3 8 14 21 26 27 11 19 7 9 10 19 25 21 7 9 26 1 29 2 12 28 24 8 11 14 18 5 6 0 10 4 17 15 3 23 20 13 16 22 27 15 17 14 5 10 16 25 12 3 19 1 20 24 6 4 9 18 8 11 13 26 28 23 21 22 7 2 29 27 0 25 2 0 6 4 11 23 28 20 1 18 26 7 5 22 21 29 3 10 19 14 15 17 8 13 24 27 12 16 9 8 5 1 10 21 28 19 6 23 17 29 4 11 2 16 3 7 15 27 0 22 12 18 9 24 13 25 14 20 26 14 4 25 18 8 24 15 20 6 28 21 10 1 27 3 11 9 2 7 29 19 23 13 22 0 26 16 17 12 5 2 7 18 19 29 1 6 23 5 4 25 11 15 26 17 13 8 14 24 27 9 10 12 20 16 0 22 28 3 21 22 29 28 20 25 3 26 9 21 0 14 13 23 10 6 8 2 27 12 1 17 24 16 19 11 15 4 18 5 7 16 28 22 17 1 25 12 0 14 3 27 5 19 18 11 6 20 7 2 4 13 21 10 15 8 23 24 9 26 29 4 14 13 3 28 7 22 2 12 27 19 18 26 16 21 23 24 20 1 17 0 8 9 11 29 5 15 6 10 25 28 22 11 16 0 10 27 18 8 29 23 3 17 14 13 4 25 5 19 9 15 7 20 2 21 6 26 24 1 12 11 10 9 8 17 2 20 4 18 25 0 15 21 13 26 19 23 1 16 14 6 27 5 7 28 12 3 22 29 24 20 13 27 23 2 14 0 3 9 26 8 7 6 29 10 5 4 19 15 16 24 11 1 12 17 28 21 25 18 22 18 27 16 22 26 20 29 24 0 14 15 12 25 8 9 10 17 21 13 28 2 5 3 6 7 19 11 4 23 1 27 6 2 26 11 21 9 8 10 13 17 22 18 3 28 7 0 24 20 23 1 4 25 16 12 14 29 5 19 15 29 3 20 11 19 6 17 13 26 8 10 27 9 24 23 12 28 0 25 18 7 22 4 14 5 16 1 15 21 2 24 11 17 29 14 19 21 27 1 5 9 2 4 12 7 15 6 28 3 26 16 25 0 10 18 22 23 8 13 20 0 21 29 2 20 12 13 19 7 9 4 1 28 15 27 17 14 23 5 22 18 16 8 24 3 25 10 26 11 6 12 9 24 28 15 0 14 10 11 23 5 21 22 1 8 25 13 16 6 7 20 26 19 29 2 3 17 27 4 18 </values>
2916.68/366.40 v </instantiation>
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 (15192 MiB free)
memory of node 1: 16384 MiB (15533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270996-1502821791/watcher-4270996-1502821791 -o /tmp/evaluation-result-4270996-1502821791/solver-4270996-1502821791 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502818235-25344 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 979948956 HOME/instance-4270996-1502821791.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=25617, runsolver pid=25614
[startup+0.100137 s]*
/proc/loadavg: 8.34 8.38 8.61 2/199 25638
/proc/meminfo: memFree=31448180/32770624 swapFree=67108860/67108860
[pid=25617] ppid=25614 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25617/stat : 25617 (xcsp3-exec) S 25614 25617 25317 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115266729 9740288 346 33554432000 4194304 5098028 140737267586800 140737267584904 140130106147452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24924160 140737267590245 140737267590455 140737267590455 140737267593195 0
/proc/25617/statm: 2378 346 289 221 0 87 0
[pid=25619] ppid=25617 vsize=25999808 memory=26372 CPUtime=0.12 cores=0-7
/proc/25619/stat : 25619 (java) S 25617 25617 25317 0 -1 1077944320 5489 0 0 0 11 1 0 0 20 0 20 0 115266729 26623803392 6593 33554432000 4194304 4196468 140725773117040 140725773099584 139915059326711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
/proc/25619/statm: 6499952 6593 2843 1 0 6488269 0
[pid=25619/tid=25620] ppid=25617 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/25619/task/25620/stat : 25620 (java) R 25617 25617 25317 0 -1 4202560 3487 0 0 0 8 0 0 0 20 0 20 0 115266729 26623803392 6593 33554432000 4194304 4196468 140725773117040 139915063558400 139915059338646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25621] ppid=25617 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25619/task/25621/stat : 25621 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266730 26623803392 6593 33554432000 4194304 4196468 140725773117040 139915011947280 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25622] ppid=25617 vsize=25999808 memory=140568375371392 CPUtime=0 cores=0-7
/proc/25619/task/25622/stat : 25622 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26623803392 6593 33554432000 4194304 4196468 140725773117040 139915010894736 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25623] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25623/stat : 25623 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26623803392 6593 33554432000 4194304 4196468 140725773117040 139915009842192 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25624] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25624/stat : 25624 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26623803392 6593 33554432000 4194304 4196468 140725773117040 139915008789648 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25625] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25625/stat : 25625 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266730 26623803392 6593 33554432000 4194304 4196468 140725773117040 139915007736080 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25626] ppid=25617 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25619/task/25626/stat : 25626 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266730 26623803392 6593 33554432000 4194304 4196468 140725773117040 139915006683536 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25627] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25627/stat : 25627 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26623803392 6593 33554432000 4194304 4196468 140725773117040 139915005630992 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25628] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25628/stat : 25628 (java) S 25617 25617 25317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115266730 26623803392 6593 33554432000 4194304 4196468 140725773117040 139915004578448 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25629] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25629/stat : 25629 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266731 26623803392 6593 33554432000 4194304 4196468 140725773117040 139914252335600 139915059337858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25630] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25630/stat : 25630 (java) S 25617 25617 25317 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115266732 26623803392 6593 33554432000 4194304 4196468 140725773117040 139914251281824 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25631] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25631/stat : 25631 (java) S 25617 25617 25317 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115266732 26623803392 6593 33554432000 4194304 4196468 140725773117040 139914250229232 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25632] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25632/stat : 25632 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266734 26623803392 6593 33554432000 4194304 4196468 140725773117040 139914249177808 139915059345307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25633] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25633/stat : 25633 (java) S 25617 25617 25317 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 115266734 26623803392 6593 33554432000 4194304 4196468 140725773117040 139914248124400 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25634] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25634/stat : 25634 (java) S 25617 25617 25317 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 115266735 26623803392 6593 33554432000 4194304 4196468 140725773117040 139914247071856 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25635] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25635/stat : 25635 (java) S 25617 25617 25317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115266735 26623803392 6593 33554432000 4194304 4196468 140725773117040 139914246019312 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25636] ppid=25617 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/25619/task/25636/stat : 25636 (java) R 25617 25617 25317 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 115266735 26623803392 6593 33554432000 4194304 4196468 140725773117040 139914244966768 139915043407198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25637] ppid=25617 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25637/stat : 25637 (java) S 25617 25617 25317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115266735 26623803392 6593 33554432000 4194304 4196468 140725773117040 139914243914464 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25638] ppid=25617 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/25619/task/25638/stat : 25638 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266735 26623803392 6593 33554432000 4194304 4196468 140725773117040 139914242862000 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27756 KiB
[startup+0.210746 s]*
/proc/loadavg: 8.34 8.38 8.61 2/199 25638
/proc/meminfo: memFree=31436504/32770624 swapFree=67108860/67108860
[pid=25617] ppid=25614 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25617/stat : 25617 (xcsp3-exec) S 25614 25617 25317 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115266729 9740288 346 33554432000 4194304 5098028 140737267586800 140737267584904 140130106147452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24924160 140737267590245 140737267590455 140737267590455 140737267593195 0
/proc/25617/statm: 2378 346 289 221 0 87 0
[pid=25619] ppid=25617 vsize=26004064 memory=38832 CPUtime=0.34 cores=0-7
/proc/25619/stat : 25619 (java) S 25617 25617 25317 0 -1 1077944320 8315 0 0 0 32 2 0 0 20 0 20 0 115266729 26628161536 9708 33554432000 4194304 4196468 140725773117040 140725773099584 139915059326711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
/proc/25619/statm: 6501016 9708 3030 1 0 6488269 0
[pid=25619/tid=25620] ppid=25617 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/25619/task/25620/stat : 25620 (java) D 25617 25617 25317 0 -1 1077944384 5398 0 0 0 18 1 0 0 20 0 20 0 115266729 26628161536 9708 33554432000 4194304 4196468 140725773117040 139915063528432 139915052005933 0 4 0 16800975 18446744072101629476 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25621] ppid=25617 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/25619/task/25621/stat : 25621 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 9708 33554432000 4194304 4196468 140725773117040 139915011947280 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25622] ppid=25617 vsize=26004064 memory=140568375885357 CPUtime=0 cores=0-7
/proc/25619/task/25622/stat : 25622 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 9708 33554432000 4194304 4196468 140725773117040 139915010894736 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25623] ppid=25617 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25619/task/25623/stat : 25623 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 9708 33554432000 4194304 4196468 140725773117040 139915009842192 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25624] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25624/stat : 25624 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 9708 33554432000 4194304 4196468 140725773117040 139915008789648 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25625] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25625/stat : 25625 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 9708 33554432000 4194304 4196468 140725773117040 139915007736080 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25626] ppid=25617 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25619/task/25626/stat : 25626 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 9708 33554432000 4194304 4196468 140725773117040 139915006683536 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25627] ppid=25617 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25627/stat : 25627 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26628194304 9708 33554432000 4194304 4196468 140725773117040 139915005630992 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25628] ppid=25617 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25628/stat : 25628 (java) S 25617 25617 25317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115266730 26628194304 9708 33554432000 4194304 4196468 140725773117040 139915004578448 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25629] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25629/stat : 25629 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266731 26628161536 9728 33554432000 4194304 4196468 140725773117040 139914252335600 139915059337858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25630] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25630/stat : 25630 (java) S 25617 25617 25317 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115266732 26628161536 9728 33554432000 4194304 4196468 140725773117040 139914251281824 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25631] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25631/stat : 25631 (java) S 25617 25617 25317 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115266732 26628161536 9728 33554432000 4194304 4196468 140725773117040 139914250229232 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25632] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25632/stat : 25632 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266734 26628161536 9728 33554432000 4194304 4196468 140725773117040 139914249177808 139915059345307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25633] ppid=25617 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25619/task/25633/stat : 25633 (java) S 25617 25617 25317 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 20 0 115266734 26628161536 9728 33554432000 4194304 4196468 140725773117040 139914248124400 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25634] ppid=25617 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/25619/task/25634/stat : 25634 (java) S 25617 25617 25317 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 20 0 115266735 26628161536 9728 33554432000 4194304 4196468 140725773117040 139914247071856 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25635] ppid=25617 vsize=26004096 memory=-1 CPUtime=0.02 cores=0-7
/proc/25619/task/25635/stat : 25635 (java) S 25617 25617 25317 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 20 0 115266735 26628194304 9728 33554432000 4194304 4196468 140725773117040 139914246019312 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25636] ppid=25617 vsize=26004096 memory=-1 CPUtime=0.08 cores=0-7
/proc/25619/task/25636/stat : 25636 (java) R 25617 25617 25317 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 20 0 115266735 26628194304 9728 33554432000 4194304 4196468 140725773117040 139914244964728 139915038374288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25637] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25637/stat : 25637 (java) S 25617 25617 25317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115266735 26628161536 9728 33554432000 4194304 4196468 140725773117040 139914243914464 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25638] ppid=25617 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25619/task/25638/stat : 25638 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266735 26628161536 9728 33554432000 4194304 4196468 140725773117040 139914242862000 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40216 KiB
[startup+0.3105 s]*
/proc/loadavg: 8.34 8.38 8.61 2/199 25638
/proc/meminfo: memFree=31429928/32770624 swapFree=67108860/67108860
[pid=25617] ppid=25614 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25617/stat : 25617 (xcsp3-exec) S 25614 25617 25317 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115266729 9740288 346 33554432000 4194304 5098028 140737267586800 140737267584904 140130106147452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24924160 140737267590245 140737267590455 140737267590455 140737267593195 0
/proc/25617/statm: 2378 346 289 221 0 87 0
[pid=25619] ppid=25617 vsize=26004064 memory=45872 CPUtime=0.49 cores=0-7
/proc/25619/stat : 25619 (java) S 25617 25617 25317 0 -1 1077944320 9208 0 0 0 47 2 0 0 20 0 20 0 115266729 26628161536 11468 33554432000 4194304 4196468 140725773117040 140725773099584 139915059326711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
/proc/25619/statm: 6501016 11468 3060 1 0 6488269 0
[pid=25619/tid=25620] ppid=25617 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25619/task/25620/stat : 25620 (java) R 25617 25617 25317 0 -1 4202560 6153 0 0 0 28 1 0 0 20 0 20 0 115266729 26628161536 11468 33554432000 4194304 4196468 140725773117040 139915063558112 139915059348637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25621] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25621/stat : 25621 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 11468 33554432000 4194304 4196468 140725773117040 139915011947280 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25622] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25622/stat : 25622 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 11468 33554432000 4194304 4196468 140725773117040 139915010894736 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25623] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25623/stat : 25623 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 11468 33554432000 4194304 4196468 140725773117040 139915009842192 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25624] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25624/stat : 25624 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 11468 33554432000 4194304 4196468 140725773117040 139915008789648 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25625] ppid=25617 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/25619/task/25625/stat : 25625 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 11468 33554432000 4194304 4196468 140725773117040 139915007736080 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25626] ppid=25617 vsize=26004064 memory=140568239895471 CPUtime=0 cores=0-7
/proc/25619/task/25626/stat : 25626 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 11468 33554432000 4194304 4196468 140725773117040 139915006683536 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25627] ppid=25617 vsize=26004064 memory=140568239897776 CPUtime=0 cores=0-7
/proc/25619/task/25627/stat : 25627 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 11468 33554432000 4194304 4196468 140725773117040 139915005630992 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25628] ppid=25617 vsize=26004064 memory=140568239900080 CPUtime=0 cores=0-7
/proc/25619/task/25628/stat : 25628 (java) S 25617 25617 25317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115266730 26628161536 11468 33554432000 4194304 4196468 140725773117040 139915004578448 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25629] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25629/stat : 25629 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 115266731 26628161536 11468 33554432000 4194304 4196468 140725773117040 139914252335600 139915059337858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25630] ppid=25617 vsize=26004064 memory=281136479807120 CPUtime=0 cores=0-7
/proc/25619/task/25630/stat : 25630 (java) S 25617 25617 25317 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 115266732 26628161536 11468 33554432000 4194304 4196468 140725773117040 139914251281824 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25631] ppid=25617 vsize=26004064 memory=281136479814032 CPUtime=0 cores=0-7
/proc/25619/task/25631/stat : 25631 (java) S 25617 25617 25317 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 115266732 26628161536 11468 33554432000 4194304 4196468 140725773117040 139914250229232 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25632] ppid=25617 vsize=26004064 memory=281136479755312 CPUtime=0 cores=0-7
/proc/25619/task/25632/stat : 25632 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266734 26628161536 11468 33554432000 4194304 4196468 140725773117040 139914249177808 139915059345307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25633] ppid=25617 vsize=26004064 memory=281136479827856 CPUtime=0.02 cores=0-7
/proc/25619/task/25633/stat : 25633 (java) S 25617 25617 25317 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 115266734 26628161536 11468 33554432000 4194304 4196468 140725773117040 139914248124400 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25634] ppid=25617 vsize=26004064 memory=281136479834768 CPUtime=0.02 cores=0-7
/proc/25619/task/25634/stat : 25634 (java) S 25617 25617 25317 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 20 0 115266735 26628161536 11468 33554432000 4194304 4196468 140725773117040 139914247071856 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25635] ppid=25617 vsize=26004064 memory=281136479832464 CPUtime=0.02 cores=0-7
/proc/25619/task/25635/stat : 25635 (java) S 25617 25617 25317 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 20 0 115266735 26628161536 11468 33554432000 4194304 4196468 140725773117040 139914246019312 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25636] ppid=25617 vsize=26004064 memory=281136479848624 CPUtime=0.11 cores=0-7
/proc/25619/task/25636/stat : 25636 (java) R 25617 25617 25317 0 -1 1077944384 833 0 0 0 11 0 0 0 20 0 20 0 115266735 26628161536 11468 33554432000 4194304 4196468 140725773117040 139914244966768 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25637] ppid=25617 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25637/stat : 25637 (java) S 25617 25617 25317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 115266735 26628161536 11468 33554432000 4194304 4196468 140725773117040 139914243914464 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25638] ppid=25617 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/25619/task/25638/stat : 25638 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 115266735 26628161536 11468 33554432000 4194304 4196468 140725773117040 139914242862000 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47256 KiB
[startup+0.701626 s]
/proc/loadavg: 8.34 8.38 8.61 6/199 25638
/proc/meminfo: memFree=31408928/32770624 swapFree=67108860/67108860
[pid=25617] ppid=25614 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25617/stat : 25617 (xcsp3-exec) S 25614 25617 25317 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115266729 9740288 346 33554432000 4194304 5098028 140737267586800 140737267584904 140130106147452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24924160 140737267590245 140737267590455 140737267590455 140737267593195 0
/proc/25617/statm: 2378 346 289 221 0 87 0
[pid=25619] ppid=25617 vsize=26538700 memory=122260 CPUtime=2.19 cores=0-7
/proc/25619/stat : 25619 (java) S 25617 25617 25317 0 -1 1077944320 15301 0 0 0 214 5 0 0 20 0 28 0 115266729 27175628800 30565 33554432000 4194304 4196468 140725773117040 140725773099584 139915059326711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
/proc/25619/statm: 6634675 30565 3209 1 0 6621909 0
[pid=25619/tid=25620] ppid=25617 vsize=26538700 memory=281136480206512 CPUtime=0.58 cores=0-7
/proc/25619/task/25620/stat : 25620 (java) S 25617 25617 25317 0 -1 1077944384 6750 0 0 0 56 2 0 0 20 0 28 0 115266729 27175628800 30565 33554432000 4194304 4196468 140725773117040 139915063567488 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25621] ppid=25617 vsize=26538700 memory=140568240104304 CPUtime=0 cores=0-7
/proc/25619/task/25621/stat : 25621 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115266730 27175628800 30565 33554432000 4194304 4196468 140725773117040 139915011947280 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25622] ppid=25617 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25622/stat : 25622 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115266730 27175628800 30565 33554432000 4194304 4196468 140725773117040 139915010894736 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25623] ppid=25617 vsize=26538700 memory=4612 CPUtime=0 cores=0-7
/proc/25619/task/25623/stat : 25623 (java) S 25617 25617 25317 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 115266730 27175628800 30565 33554432000 4194304 4196468 140725773117040 139915009842192 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
################
# More data... #
################
[pid=25619/tid=25627] ppid=25617 vsize=26538700 memory=1384 CPUtime=0.16 cores=0-7
/proc/25619/task/25627/stat : 25627 (java) S 25617 25617 25317 0 -1 1077944384 1654 0 0 0 13 3 0 0 20 0 28 0 115266730 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915005630992 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25628] ppid=25617 vsize=26538700 memory=205084 CPUtime=0.16 cores=0-7
/proc/25619/task/25628/stat : 25628 (java) S 25617 25617 25317 0 -1 1077944384 1316 0 0 0 13 3 0 0 20 0 28 0 115266730 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915004578448 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25629] ppid=25617 vsize=26538700 memory=3696 CPUtime=0.09 cores=0-7
/proc/25619/task/25629/stat : 25629 (java) S 25617 25617 25317 0 -1 1077944384 4315 0 0 0 7 2 0 0 20 0 28 0 115266731 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914252335600 139915059337858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25630] ppid=25617 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/25619/task/25630/stat : 25630 (java) S 25617 25617 25317 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 115266732 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914251281824 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25631] ppid=25617 vsize=26538700 memory=205600 CPUtime=0 cores=0-7
/proc/25619/task/25631/stat : 25631 (java) S 25617 25617 25317 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 115266732 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914250229232 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25632] ppid=25617 vsize=26538700 memory=2196 CPUtime=0 cores=0-7
/proc/25619/task/25632/stat : 25632 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115266734 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914249177808 139915059345307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25633] ppid=25617 vsize=26538700 memory=6764 CPUtime=2.16 cores=0-7
/proc/25619/task/25633/stat : 25633 (java) S 25617 25617 25317 0 -1 1077944384 14008 0 0 0 214 2 0 0 20 0 28 0 115266734 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914248124400 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25634] ppid=25617 vsize=26538700 memory=840 CPUtime=1.87 cores=0-7
/proc/25619/task/25634/stat : 25634 (java) S 25617 25617 25317 0 -1 1077944384 10495 0 0 0 185 2 0 0 20 0 28 0 115266735 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914247071856 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25635] ppid=25617 vsize=26538700 memory=1696 CPUtime=2.36 cores=0-7
/proc/25619/task/25635/stat : 25635 (java) S 25617 25617 25317 0 -1 1077944384 17259 0 0 0 234 2 0 0 20 0 28 0 115266735 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914246019312 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25636] ppid=25617 vsize=26538700 memory=920 CPUtime=0.61 cores=0-7
/proc/25619/task/25636/stat : 25636 (java) S 25617 25617 25317 0 -1 1077944384 8522 0 0 0 59 2 0 0 20 0 28 0 115266735 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914244966768 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25637] ppid=25617 vsize=26538700 memory=4480 CPUtime=0 cores=0-7
/proc/25619/task/25637/stat : 25637 (java) S 25617 25617 25317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115266735 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914243914464 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25638] ppid=25617 vsize=26538700 memory=1152 CPUtime=0.11 cores=0-7
/proc/25619/task/25638/stat : 25638 (java) S 25617 25617 25317 0 -1 1077944384 2146 0 0 0 0 11 0 0 20 0 28 0 115266735 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914242862000 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25639] ppid=25617 vsize=26538700 memory=3696 CPUtime=363.55 cores=0-7
/proc/25619/task/25639/stat : 25639 (java) R 25617 25617 25317 0 -1 4202560 1209 0 0 0 36354 1 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914235346296 139914688410404 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25640] ppid=25617 vsize=26538700 memory=1948 CPUtime=362.15 cores=0-7
/proc/25619/task/25640/stat : 25640 (java) R 25617 25617 25317 0 -1 4202560 990 0 0 0 36213 2 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914234294448 139914689286209 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25641] ppid=25617 vsize=26538700 memory=800 CPUtime=362.38 cores=0-7
/proc/25619/task/25641/stat : 25641 (java) R 25617 25617 25317 0 -1 4202560 5649 0 0 0 36232 6 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914233240936 139914688891909 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25642] ppid=25617 vsize=26538700 memory=12068 CPUtime=363.35 cores=0-7
/proc/25619/task/25642/stat : 25642 (java) R 25617 25617 25317 0 -1 4202560 2513 0 0 0 36333 2 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914232188712 139914689286184 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25643] ppid=25617 vsize=26538700 memory=1440 CPUtime=362.81 cores=0-7
/proc/25619/task/25643/stat : 25643 (java) R 25617 25617 25317 0 -1 4202560 2769 0 0 0 36278 3 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914231138752 139914688137408 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25644] ppid=25617 vsize=26538700 memory=5792 CPUtime=360.9 cores=0-7
/proc/25619/task/25644/stat : 25644 (java) R 25617 25617 25317 0 -1 4202560 1237 0 0 0 36089 1 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914230083672 139914688907759 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25645] ppid=25617 vsize=26538700 memory=1224 CPUtime=363.33 cores=0-7
/proc/25619/task/25645/stat : 25645 (java) R 25617 25617 25317 0 -1 4202560 1194 0 0 0 36332 1 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914229031000 139914688653955 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25646] ppid=25617 vsize=26538700 memory=8568 CPUtime=363.38 cores=0-7
/proc/25619/task/25646/stat : 25646 (java) R 25617 25617 25317 0 -1 4202560 5824 0 0 0 36334 4 0 0 20 0 28 0 115266791 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914227978456 139914688907778 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
Current children cumulated CPU time: 2911.11 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 206468 KiB
[startup+366.002 s]*
/proc/loadavg: 8.03 8.27 8.50 9/208 25654
/proc/meminfo: memFree=31272920/32770624 swapFree=67108860/67108860
[pid=25617] ppid=25614 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25617/stat : 25617 (xcsp3-exec) S 25614 25617 25317 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115266729 9740288 346 33554432000 4194304 5098028 140737267586800 140737267584904 140130106147452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24924160 140737267590245 140737267590455 140737267590455 140737267593195 0
/proc/25617/statm: 2378 346 289 221 0 87 0
[pid=25619] ppid=25617 vsize=26538700 memory=205084 CPUtime=2914.36 cores=0-7
/proc/25619/stat : 25619 (java) S 25617 25617 25317 0 -1 1077944320 99936 0 0 0 291370 66 0 0 20 0 28 0 115266729 27175628800 51271 33554432000 4194304 4196468 140725773117040 140725773099584 139915059326711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
/proc/25619/statm: 6634675 51271 3283 1 0 6621909 0
[pid=25619/tid=25620] ppid=25617 vsize=26538700 memory=840 CPUtime=0.58 cores=0-7
/proc/25619/task/25620/stat : 25620 (java) S 25617 25617 25317 0 -1 1077944384 6750 0 0 0 56 2 0 0 20 0 28 0 115266729 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915063567488 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25621] ppid=25617 vsize=26538700 memory=1696 CPUtime=0.15 cores=0-7
/proc/25619/task/25621/stat : 25621 (java) S 25617 25617 25317 0 -1 1077944384 711 0 0 0 12 3 0 0 20 0 28 0 115266730 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915011947280 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25622] ppid=25617 vsize=26538700 memory=1384 CPUtime=0.16 cores=0-7
/proc/25619/task/25622/stat : 25622 (java) S 25617 25617 25317 0 -1 1077944384 1782 0 0 0 13 3 0 0 20 0 28 0 115266730 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915010894736 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25623] ppid=25617 vsize=26538700 memory=4872558044660077418 CPUtime=0.15 cores=0-7
/proc/25619/task/25623/stat : 25623 (java) S 25617 25617 25317 0 -1 1077944384 1777 0 0 0 12 3 0 0 20 0 28 0 115266730 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915009842192 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25624] ppid=25617 vsize=26538700 memory=8174723239089013032 CPUtime=0.16 cores=0-7
/proc/25619/task/25624/stat : 25624 (java) S 25617 25617 25317 0 -1 1077944384 2586 0 0 0 13 3 0 0 20 0 28 0 115266730 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915008789648 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25625] ppid=25617 vsize=26538700 memory=288285580272610926 CPUtime=0.16 cores=0-7
/proc/25619/task/25625/stat : 25625 (java) S 25617 25617 25317 0 -1 1077944384 2139 0 0 0 13 3 0 0 20 0 28 0 115266730 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915007736080 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25626] ppid=25617 vsize=26538700 memory=4423491848861134880 CPUtime=0.17 cores=0-7
/proc/25619/task/25626/stat : 25626 (java) S 25617 25617 25317 0 -1 1077944384 1727 0 0 0 14 3 0 0 20 0 28 0 115266730 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915006683536 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25627] ppid=25617 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/25619/task/25627/stat : 25627 (java) S 25617 25617 25317 0 -1 1077944384 1654 0 0 0 13 3 0 0 20 0 28 0 115266730 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915005630992 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25628] ppid=25617 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/25619/task/25628/stat : 25628 (java) S 25617 25617 25317 0 -1 1077944384 1316 0 0 0 13 3 0 0 20 0 28 0 115266730 27175628800 51271 33554432000 4194304 4196468 140725773117040 139915004578448 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25629] ppid=25617 vsize=26538700 memory=0 CPUtime=0.09 cores=0-7
/proc/25619/task/25629/stat : 25629 (java) S 25617 25617 25317 0 -1 1077944384 4315 0 0 0 7 2 0 0 20 0 28 0 115266731 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914252335600 139915059337858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25630] ppid=25617 vsize=26538700 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/25619/task/25630/stat : 25630 (java) S 25617 25617 25317 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 115266732 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914251281824 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25631] ppid=25617 vsize=26538700 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/25619/task/25631/stat : 25631 (java) S 25617 25617 25317 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 115266732 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914250229232 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25632] ppid=25617 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/25619/task/25632/stat : 25632 (java) S 25617 25617 25317 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 115266734 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914249177808 139915059345307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25633] ppid=25617 vsize=26538700 memory=0 CPUtime=2.16 cores=0-7
/proc/25619/task/25633/stat : 25633 (java) S 25617 25617 25317 0 -1 1077944384 14008 0 0 0 214 2 0 0 20 0 28 0 115266734 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914248124400 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25634] ppid=25617 vsize=26538700 memory=0 CPUtime=1.87 cores=0-7
/proc/25619/task/25634/stat : 25634 (java) S 25617 25617 25317 0 -1 1077944384 10495 0 0 0 185 2 0 0 20 0 28 0 115266735 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914247071856 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25635] ppid=25617 vsize=26538700 memory=0 CPUtime=2.36 cores=0-7
/proc/25619/task/25635/stat : 25635 (java) S 25617 25617 25317 0 -1 1077944384 17259 0 0 0 234 2 0 0 20 0 28 0 115266735 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914246019312 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25636] ppid=25617 vsize=26538700 memory=281136480589668 CPUtime=0.61 cores=0-7
/proc/25619/task/25636/stat : 25636 (java) S 25617 25617 25317 0 -1 1077944384 8522 0 0 0 59 2 0 0 20 0 28 0 115266735 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914244966768 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25637] ppid=25617 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/25619/task/25637/stat : 25637 (java) S 25617 25617 25317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 115266735 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914243914464 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25638] ppid=25617 vsize=26538700 memory=288230617509003574 CPUtime=0.11 cores=0-7
/proc/25619/task/25638/stat : 25638 (java) S 25617 25617 25317 0 -1 1077944384 2146 0 0 0 0 11 0 0 20 0 28 0 115266735 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914242862000 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25639] ppid=25617 vsize=26538700 memory=13563791027735085 CPUtime=363.96 cores=0-7
/proc/25619/task/25639/stat : 25639 (java) R 25617 25617 25317 0 -1 4202560 1209 0 0 0 36395 1 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914235346168 139914688892022 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25640] ppid=25617 vsize=26538700 memory=205600 CPUtime=362.56 cores=0-7
/proc/25619/task/25640/stat : 25640 (java) R 25617 25617 25317 0 -1 4202560 990 0 0 0 36254 2 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914234294680 139914688653293 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25641] ppid=25617 vsize=26538700 memory=4100 CPUtime=362.77 cores=0-7
/proc/25619/task/25641/stat : 25641 (java) R 25617 25617 25317 0 -1 4202560 5649 0 0 0 36271 6 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914233240928 139914688910729 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25642] ppid=25617 vsize=26538700 memory=1398720917958146503 CPUtime=363.76 cores=0-7
/proc/25619/task/25642/stat : 25642 (java) R 25617 25617 25317 0 -1 4202560 2513 0 0 0 36374 2 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914232188624 139914688446022 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25643] ppid=25617 vsize=26538700 memory=4872558044660077418 CPUtime=363.21 cores=0-7
/proc/25619/task/25643/stat : 25643 (java) R 25617 25617 25317 0 -1 4202560 2769 0 0 0 36318 3 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914231136112 139914689286209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25644] ppid=25617 vsize=26538700 memory=201436 CPUtime=361.31 cores=0-7
/proc/25619/task/25644/stat : 25644 (java) R 25617 25617 25317 0 -1 4202560 1237 0 0 0 36130 1 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914230083408 139914688408871 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25645] ppid=25617 vsize=26538700 memory=4100 CPUtime=363.74 cores=0-7
/proc/25619/task/25645/stat : 25645 (java) R 25617 25617 25317 0 -1 4202560 1194 0 0 0 36373 1 0 0 20 0 28 0 115266790 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914229031008 139914688959666 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25646] ppid=25617 vsize=26538700 memory=1398720917958146503 CPUtime=363.79 cores=0-7
/proc/25619/task/25646/stat : 25646 (java) R 25617 25617 25317 0 -1 4202560 5825 0 0 0 36375 4 0 0 20 0 28 0 115266791 27175628800 51271 33554432000 4194304 4196468 140725773117040 139914227981232 139914688653982 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 206468 KiB
[startup+366.401 s]
/proc/loadavg: 8.03 8.27 8.50 9/208 25654
/proc/meminfo: memFree=31272920/32770624 swapFree=67108860/67108860
[pid=25617] ppid=25614 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/25617/stat : 25617 (xcsp3-exec) S 25614 25617 25317 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 115266729 9740288 346 33554432000 4194304 5098028 140737267586800 140737267584904 140130106147452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24924160 140737267590245 140737267590455 140737267590455 140737267593195 0
/proc/25617/statm: 2378 346 289 221 0 87 0
[pid=25619] ppid=25617 vsize=26538700 memory=204572 CPUtime=2917.43 cores=0-7
/proc/25619/stat : 25619 (java) S 25617 25617 25317 0 -1 1077944320 100570 0 0 0 291677 66 0 0 20 0 19 0 115266729 27175628800 51143 33554432000 4194304 4196468 140725773117040 140725773099584 139915059326711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
/proc/25619/statm: 6634675 51143 3285 1 0 6621909 0
[pid=25619/tid=25620] ppid=25617 vsize=26538700 memory=2448 CPUtime=0.58 cores=0-7
/proc/25619/task/25620/stat : 25620 (java) S 25617 25617 25317 0 -1 1077944384 6972 0 0 0 56 2 0 0 20 0 19 0 115266729 27175628800 51143 33554432000 4194304 4196468 140725773117040 139915063569552 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25621] ppid=25617 vsize=26538700 memory=6791534058613427641 CPUtime=0.15 cores=0-7
/proc/25619/task/25621/stat : 25621 (java) S 25617 25617 25317 0 -1 1077944384 711 0 0 0 12 3 0 0 20 0 19 0 115266730 27175628800 51143 33554432000 4194304 4196468 140725773117040 139915011947280 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25622] ppid=25617 vsize=26538700 memory=1948 CPUtime=0.16 cores=0-7
/proc/25619/task/25622/stat : 25622 (java) S 25617 25617 25317 0 -1 1077944384 1782 0 0 0 13 3 0 0 20 0 19 0 115266730 27175628800 51143 33554432000 4194304 4196468 140725773117040 139915010894736 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25623] ppid=25617 vsize=26538700 memory=800 CPUtime=0.15 cores=0-7
/proc/25619/task/25623/stat : 25623 (java) S 25617 25617 25317 0 -1 1077944384 1777 0 0 0 12 3 0 0 20 0 19 0 115266730 27175628800 51143 33554432000 4194304 4196468 140725773117040 139915009842192 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25624] ppid=25617 vsize=26538700 memory=12068 CPUtime=0.16 cores=0-7
/proc/25619/task/25624/stat : 25624 (java) S 25617 25617 25317 0 -1 1077944384 2586 0 0 0 13 3 0 0 20 0 19 0 115266730 27175628800 51143 33554432000 4194304 4196468 140725773117040 139915008789648 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25625] ppid=25617 vsize=26538700 memory=1440 CPUtime=0.16 cores=0-7
/proc/25619/task/25625/stat : 25625 (java) S 25617 25617 25317 0 -1 1077944384 2139 0 0 0 13 3 0 0 20 0 19 0 115266730 27175628800 51143 33554432000 4194304 4196468 140725773117040 139915007736080 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25626] ppid=25617 vsize=26538700 memory=5792 CPUtime=0.17 cores=0-7
/proc/25619/task/25626/stat : 25626 (java) S 25617 25617 25317 0 -1 1077944384 1727 0 0 0 14 3 0 0 20 0 19 0 115266730 27175628800 51143 33554432000 4194304 4196468 140725773117040 139915006683536 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25627] ppid=25617 vsize=26538700 memory=3711 CPUtime=0.16 cores=0-7
/proc/25619/task/25627/stat : 25627 (java) S 25617 25617 25317 0 -1 1077944384 1654 0 0 0 13 3 0 0 20 0 19 0 115266730 27175628800 51143 33554432000 4194304 4196468 140725773117040 139915005630992 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25628] ppid=25617 vsize=26538700 memory=278 CPUtime=0.16 cores=0-7
/proc/25619/task/25628/stat : 25628 (java) S 25617 25617 25317 0 -1 1077944384 1316 0 0 0 13 3 0 0 20 0 19 0 115266730 27175628800 51143 33554432000 4194304 4196468 140725773117040 139915004578448 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25629] ppid=25617 vsize=26538700 memory=592 CPUtime=0.09 cores=0-7
/proc/25619/task/25629/stat : 25629 (java) S 25617 25617 25317 0 -1 1077944384 4315 0 0 0 7 2 0 0 20 0 19 0 115266731 27175628800 51143 33554432000 4194304 4196468 140725773117040 139914252335808 139915059337858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25630] ppid=25617 vsize=26538700 memory=37 CPUtime=0 cores=0-7
/proc/25619/task/25630/stat : 25630 (java) S 25617 25617 25317 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 115266732 27175628800 51143 33554432000 4194304 4196468 140725773117040 139914251281824 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25631] ppid=25617 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/25619/task/25631/stat : 25631 (java) S 25617 25617 25317 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 115266732 27175628800 51143 33554432000 4194304 4196468 140725773117040 139914250229232 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25632] ppid=25617 vsize=26538700 memory=62 CPUtime=0 cores=0-7
/proc/25619/task/25632/stat : 25632 (java) S 25617 25617 25317 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 115266734 27175628800 51143 33554432000 4194304 4196468 140725773117040 139914249177456 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25633] ppid=25617 vsize=26538700 memory=4 CPUtime=2.16 cores=0-7
/proc/25619/task/25633/stat : 25633 (java) S 25617 25617 25317 0 -1 1077944384 14008 0 0 0 214 2 0 0 20 0 19 0 115266734 27175628800 51143 33554432000 4194304 4196468 140725773117040 139914248124400 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25634] ppid=25617 vsize=26538700 memory=205084 CPUtime=1.87 cores=0-7
/proc/25619/task/25634/stat : 25634 (java) S 25617 25617 25317 0 -1 1077944384 10504 0 0 0 185 2 0 0 20 0 19 0 115266735 27175628800 51143 33554432000 4194304 4196468 140725773117040 139914247071856 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25635] ppid=25617 vsize=26538700 memory=1004 CPUtime=2.37 cores=0-7
/proc/25619/task/25635/stat : 25635 (java) S 25617 25617 25317 0 -1 1077944384 17280 0 0 0 235 2 0 0 20 0 19 0 115266735 27175628800 51143 33554432000 4194304 4196468 140725773117040 139914246003824 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25636] ppid=25617 vsize=26538700 memory=1200 CPUtime=0.62 cores=0-7
/proc/25619/task/25636/stat : 25636 (java) S 25617 25617 25317 0 -1 1077944384 8670 0 0 0 60 2 0 0 20 0 19 0 115266735 27175628800 51143 33554432000 4194304 4196468 140725773117040 139914244966768 139915059337858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
[pid=25619/tid=25637] ppid=25617 vsize=26538700 memory=15872 CPUtime=0 cores=0-7
/proc/25619/task/25637/stat : 25637 (java) S 25617 25617 25317 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 115266735 27175628800 51143 33554432000 4194304 4196468 140725773117040 139914243914464 139915059336917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35237888 140725773124754 140725773124931 140725773124931 140725773127631 0
Current children cumulated CPU time: 2917.43 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 205956 KiB
Child status: 0
Real time (s): 366.416
CPU time (s): 2917.45
CPU user time (s): 2916.78
CPU system time (s): 0.672746
CPU usage (%): 796.214
Max. virtual memory (cumulated for all children) (KiB): 26552020
Max. memory (cumulated for all children) (KiB): 288856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2916.78
system time used= 0.672746
maximum resident set size= 287472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16347
involuntary context switches= 30203
# summary of solver processes directly reported to runsolver:
# pid: 25617
# total CPU time (s): 2917.45
# total CPU user time (s): 2916.78
# total CPU system time (s): 0.672746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.00669 second user time and 3.47081 second system time
The end
Begin job on node113 at 2017-08-15 20:15:32
IDJOB=4270996
IDBENCH=138969
IDSOLVER=2662
FILE ID=node113/4270996-1502821791
RUNJOBID= node113-1502818235-25344
PBS_JOBID= 20629827
Free space on /tmp= 61792 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-15.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-4270996-1502821791/watcher-4270996-1502821791 -o /tmp/evaluation-result-4270996-1502821791/solver-4270996-1502821791 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502818235-25344 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 979948956 HOME/instance-4270996-1502821791.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= fdd30079817c8a7e676a6353b2e6ebba
RANDOM SEED=979948956
node113.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.89
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.89
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.89
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.89
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: 31464244 kB
MemAvailable: 31978324 kB
Buffers: 204616 kB
Cached: 590724 kB
SwapCached: 0 kB
Active: 604212 kB
Inactive: 245956 kB
Active(anon): 4916 kB
Inactive(anon): 77668 kB
Active(file): 599296 kB
Inactive(file): 168288 kB
Unevictable: 6588 kB
Mlocked: 6588 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 7660 kB
Writeback: 0 kB
AnonPages: 73004 kB
Mapped: 45600 kB
Shmem: 25224 kB
Slab: 151340 kB
SReclaimable: 124664 kB
SUnreclaim: 26676 kB
KernelStack: 3520 kB
PageTables: 4792 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 324040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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= 61784 MiB
End job on node113 at 2017-08-15 20:21:39